runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/large1.cudf.cudf_set.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/cudf_set/large1.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/large1.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 7/37 6973 /proc/meminfo: memFree=862092/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.02 /proc/6972/stat : 6972 (python) R 6971 6972 3447 769 3447 4202496 1072 0 0 0 2 0 0 0 25 0 1 0 526954943 4820992 832 1283457024 134512640 135539072 4286700336 18446744073709551615 4158845344 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/6972/statm: 1177 832 398 251 0 435 0 [pid=6973] ppid=6972 vsize=4708 CPUtime=0 /proc/6973/stat : 6973 (python) R 6972 6972 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 1 0 526954945 4820992 442 1283457024 134512640 135539072 4286700336 18446744073709551615 4158845344 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/6973/statm: 1177 442 8 251 0 435 0 [startup+0.194886 s] /proc/loadavg: 0.85 0.97 0.99 7/37 6973 /proc/meminfo: memFree=862092/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 4708 [startup+0.214884 s] /proc/loadavg: 0.85 0.97 0.99 7/37 6973 /proc/meminfo: memFree=862092/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 4708 [startup+0.314901 s] /proc/loadavg: 0.85 0.97 0.99 7/37 6973 /proc/meminfo: memFree=862092/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 4708 [startup+0.715021 s] /proc/loadavg: 0.85 0.97 0.99 7/37 6973 /proc/meminfo: memFree=862092/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 4708 [startup+1.51518 s] /proc/loadavg: 0.85 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858496/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=1.36 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 956 0 0 0 136 0 0 0 25 0 1 0 526954957 4460544 726 1283457024 134512640 136195415 4294527776 18446744073709551615 135604599 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 726 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 13988 [startup+3.11551 s] /proc/loadavg: 0.85 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858496/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=2.96 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 956 0 0 0 296 0 0 0 25 0 1 0 526954957 4460544 726 1283457024 134512640 136195415 4294527776 18446744073709551615 135604611 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 726 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 13988 [startup+6.30604 s] /proc/loadavg: 0.86 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858372/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=6.15 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 956 0 0 0 615 0 0 0 25 0 1 0 526954957 4460544 726 1283457024 134512640 136195415 4294527776 18446744073709551615 134631496 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 726 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 13988 [startup+12.7071 s] /proc/loadavg: 0.87 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858248/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=12.55 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 956 0 0 0 1255 0 0 0 25 0 1 0 526954957 4460544 726 1283457024 134512640 136195415 4294527776 18446744073709551615 134787373 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 726 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 13988 [startup+25.5087 s] /proc/loadavg: 0.90 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858248/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=25.35 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 956 0 0 0 2535 0 0 0 25 0 1 0 526954957 4460544 726 1283457024 134512640 136195415 4294527776 18446744073709551615 135604571 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 726 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 25.51 Current children cumulated vsize (KiB) 13988 [startup+51.1036 s] /proc/loadavg: 0.93 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858248/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=50.94 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 957 0 0 0 5094 0 0 0 25 0 1 0 526954957 4460544 727 1283457024 134512640 136195415 4294527776 18446744073709551615 134652930 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 727 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2540 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 480 0 0 0 2 0 0 0 24 0 1 0 526954960 2600960 387 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 635 387 147 383 0 250 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 13988 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/40 6977 /proc/meminfo: memFree=858124/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=0 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 0 0 0 0 0 0 0 24 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6976] ppid=6975 vsize=4356 CPUtime=102.13 /proc/6976/stat : 6976 (bingo) R 6975 6972 3447 769 3447 4202496 958 0 0 0 10211 2 0 0 25 0 1 0 526954957 4460544 728 1283457024 134512640 136195415 4294527776 18446744073709551615 134775395 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6976/statm: 1089 728 220 411 0 676 0 [pid=6977] ppid=6975 vsize=2672 CPUtime=0.02 /proc/6977/stat : 6977 (clasp) S 6975 6972 3447 769 3447 4202496 487 0 0 0 2 0 0 0 18 0 1 0 526954960 2736128 394 1283457024 134512640 136080129 4288306448 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6977/statm: 668 394 147 383 0 283 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 14120 [startup+162.311 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=856900/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=5960 CPUtime=27.04 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1376 0 0 0 2704 0 0 0 25 0 1 0 526954960 6103040 1283 1283457024 134512640 136080129 4288306448 18446744073709551615 134849631 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1490 1283 190 383 0 1105 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 13052 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855288/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7568 CPUtime=87 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1753 0 0 0 8700 0 0 0 25 0 1 0 526954960 7749632 1660 1283457024 134512640 136080129 4288306448 18446744073709551615 134846230 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1892 1660 190 383 0 1507 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14660 Solver just ended. Dumping a history of the last processes samples [startup+230.414 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855164/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7700 CPUtime=95.11 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1802 0 0 0 9511 0 0 0 25 0 1 0 526954960 7884800 1709 1283457024 134512640 136080129 4288306448 18446744073709551615 134588697 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1925 1709 190 383 0 1540 0 Current children cumulated CPU time (s) 230.34 Current children cumulated vsize (KiB) 14792 [startup+236.815 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=101.5 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1814 0 0 0 10150 0 0 0 25 0 1 0 526954960 7999488 1721 1283457024 134512640 136080129 4288306448 18446744073709551615 134849614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1721 190 383 0 1568 0 Current children cumulated CPU time (s) 236.73 Current children cumulated vsize (KiB) 14904 [startup+238.406 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=103.09 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1816 0 0 0 10309 0 0 0 25 0 1 0 526954960 7999488 1723 1283457024 134512640 136080129 4288306448 18446744073709551615 134850025 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1723 190 383 0 1568 0 Current children cumulated CPU time (s) 238.32 Current children cumulated vsize (KiB) 14904 [startup+239.206 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=103.89 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1824 0 0 0 10389 0 0 0 25 0 1 0 526954960 7999488 1731 1283457024 134512640 136080129 4288306448 18446744073709551615 134849991 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1731 190 383 0 1568 0 Current children cumulated CPU time (s) 239.12 Current children cumulated vsize (KiB) 14904 [startup+239.606 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=104.29 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1826 0 0 0 10429 0 0 0 25 0 1 0 526954960 7999488 1733 1283457024 134512640 136080129 4288306448 18446744073709551615 134588668 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1733 190 383 0 1568 0 Current children cumulated CPU time (s) 239.52 Current children cumulated vsize (KiB) 14904 [startup+240.006 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=104.69 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1826 0 0 0 10469 0 0 0 25 0 1 0 526954960 7999488 1733 1283457024 134512640 136080129 4288306448 18446744073709551615 134592813 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1733 190 383 0 1568 0 Current children cumulated CPU time (s) 239.92 Current children cumulated vsize (KiB) 14904 [startup+240.106 s] /proc/loadavg: 0.99 0.97 0.99 2/39 6977 /proc/meminfo: memFree=855040/1048576 swapFree=2092216/2097144 [pid=6972] ppid=6971 vsize=4708 CPUtime=0.14 /proc/6972/stat : 6972 (python) S 6971 6972 3447 769 3447 4202496 1217 1009 0 0 2 0 10 2 24 0 1 0 526954943 4820992 836 1283457024 134512640 135539072 4286700336 18446744073709551615 4159783854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6972/statm: 1177 836 402 251 0 435 0 [pid=6975] ppid=6972 vsize=2384 CPUtime=135.09 /proc/6975/stat : 6975 (sh) S 6972 6972 3447 769 3447 4194304 444 4188 0 0 0 0 13507 2 18 0 1 0 526954957 2441216 253 1283457024 134512640 135191968 4294884048 18446744073709551615 4159064478 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6975/statm: 596 253 214 166 0 28 0 [pid=6977] ppid=6975 vsize=7812 CPUtime=104.79 /proc/6977/stat : 6977 (clasp) R 6975 6972 3447 769 3447 4202496 1826 0 0 0 10479 0 0 0 25 0 1 0 526954960 7999488 1733 1283457024 134512640 136080129 4288306448 18446744073709551615 134606379 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6977/statm: 1953 1733 190 383 0 1568 0 Current children cumulated CPU time (s) 240.02 Current children cumulated vsize (KiB) 14904 Child status: 0 Real time (s): 240.174 CPU time (s): 240.091 CPU user time (s): 240.051 CPU system time (s): 0.040002 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 20636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.051 system time used= 0.040002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9634 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 95 involuntary context switches= 3018 runsolver used 0 second user time and 0 second system time The end