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/large2.cudf.cudf_set.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/cudf_set/large2.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/large2.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 4/36 7926 /proc/meminfo: memFree=843804/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4268 CPUtime=0.01 /proc/7926/stat : 7926 (python) R 7925 7926 3447 769 3447 4202496 910 0 0 0 0 1 0 0 25 0 1 0 527107787 4370432 680 1283457024 134512640 135539072 4287345616 18446744073709551615 135044192 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/7926/statm: 1067 680 353 251 0 368 0 [startup+0.170704 s] /proc/loadavg: 0.85 0.97 0.99 4/36 7926 /proc/meminfo: memFree=843804/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 4712 [startup+0.210703 s] /proc/loadavg: 0.85 0.97 0.99 4/36 7926 /proc/meminfo: memFree=843804/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 4712 [startup+0.31072 s] /proc/loadavg: 0.85 0.97 0.99 4/36 7926 /proc/meminfo: memFree=843804/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 4712 [startup+0.710796 s] /proc/loadavg: 0.85 0.97 0.99 4/36 7926 /proc/meminfo: memFree=843804/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 4712 [startup+1.51092 s] /proc/loadavg: 0.85 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839728/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=1.38 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 957 0 0 0 138 0 0 0 25 0 1 0 527107800 4460544 727 1283457024 134512640 136195415 4287360080 18446744073709551615 134631506 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 727 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 13988 [startup+3.11117 s] /proc/loadavg: 0.86 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839728/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=2.98 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 957 0 0 0 298 0 0 0 25 0 1 0 527107800 4460544 727 1283457024 134512640 136195415 4287360080 18446744073709551615 134775173 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 727 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 13988 [startup+6.31165 s] /proc/loadavg: 0.86 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839604/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=6.18 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 957 0 0 0 618 0 0 0 25 0 1 0 527107800 4460544 727 1283457024 134512640 136195415 4287360080 18446744073709551615 134780515 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 727 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 13988 [startup+12.7125 s] /proc/loadavg: 0.88 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839604/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=12.58 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 957 0 0 0 1258 0 0 0 25 0 1 0 527107800 4460544 727 1283457024 134512640 136195415 4287360080 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 727 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 13988 [startup+25.5052 s] /proc/loadavg: 0.90 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839480/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=25.37 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 957 0 0 0 2537 0 0 0 25 0 1 0 527107800 4460544 727 1283457024 134512640 136195415 4287360080 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 727 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 13988 [startup+51.1115 s] /proc/loadavg: 0.93 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839480/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=50.97 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 958 0 0 0 5097 0 0 0 25 0 1 0 527107800 4460544 728 1283457024 134512640 136195415 4287360080 18446744073709551615 134775224 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 728 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2536 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 477 0 0 0 0 0 0 0 25 0 1 0 527107803 2596864 384 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 634 384 147 383 0 249 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 13988 [startup+102.303 s] /proc/loadavg: 0.97 0.97 0.99 2/40 7931 /proc/meminfo: memFree=839356/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=0 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 0 0 0 0 0 0 0 25 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7930] ppid=7929 vsize=4356 CPUtime=102.11 /proc/7930/stat : 7930 (bingo) R 7929 7926 3447 769 3447 4202496 959 0 0 0 10211 0 0 0 25 0 1 0 527107800 4460544 729 1283457024 134512640 136195415 4287360080 18446744073709551615 135604609 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7930/statm: 1089 729 220 411 0 676 0 [pid=7931] ppid=7929 vsize=2668 CPUtime=0 /proc/7931/stat : 7931 (clasp) S 7929 7926 3447 769 3447 4202496 485 0 0 0 0 0 0 0 18 0 1 0 527107803 2732032 392 1283457024 134512640 136080129 4291500064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/7931/statm: 667 392 147 383 0 282 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 14120 [startup+162.308 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=838256/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=5856 CPUtime=25 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1363 0 0 0 2498 2 0 0 25 0 1 0 527107803 5996544 1236 1283457024 134512640 136080129 4291500064 18446744073709551615 134589242 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1464 1236 190 383 0 1079 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 12952 [startup+222.311 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836768/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7316 CPUtime=84.97 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1745 0 0 0 8494 3 0 0 25 0 1 0 527107803 7491584 1618 1283457024 134512640 136080129 4291500064 18446744073709551615 134850395 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1829 1618 190 383 0 1444 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 14412 Solver just ended. Dumping a history of the last processes samples [startup+230.403 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836520/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7448 CPUtime=93.06 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1783 0 0 0 9303 3 0 0 25 0 1 0 527107803 7626752 1656 1283457024 134512640 136080129 4291500064 18446744073709551615 134850021 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1862 1656 190 383 0 1477 0 Current children cumulated CPU time (s) 230.28 Current children cumulated vsize (KiB) 14544 [startup+236.814 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836520/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=99.48 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1802 0 0 0 9945 3 0 0 25 0 1 0 527107803 7761920 1675 1283457024 134512640 136080129 4291500064 18446744073709551615 134849678 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1675 190 383 0 1510 0 Current children cumulated CPU time (s) 236.7 Current children cumulated vsize (KiB) 14676 [startup+238.414 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836520/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=101.08 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1802 0 0 0 10105 3 0 0 25 0 1 0 527107803 7761920 1675 1283457024 134512640 136080129 4291500064 18446744073709551615 134606562 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1675 190 383 0 1510 0 Current children cumulated CPU time (s) 238.3 Current children cumulated vsize (KiB) 14676 [startup+239.215 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836520/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=101.88 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1807 0 0 0 10185 3 0 0 25 0 1 0 527107803 7761920 1680 1283457024 134512640 136080129 4291500064 18446744073709551615 134849989 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1680 190 383 0 1510 0 Current children cumulated CPU time (s) 239.1 Current children cumulated vsize (KiB) 14676 [startup+239.615 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836520/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=102.28 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1811 0 0 0 10225 3 0 0 25 0 1 0 527107803 7761920 1684 1283457024 134512640 136080129 4291500064 18446744073709551615 134589227 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1684 190 383 0 1510 0 Current children cumulated CPU time (s) 239.5 Current children cumulated vsize (KiB) 14676 [startup+240.015 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836396/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=102.68 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1811 0 0 0 10265 3 0 0 25 0 1 0 527107803 7761920 1684 1283457024 134512640 136080129 4291500064 18446744073709551615 134589230 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1684 190 383 0 1510 0 Current children cumulated CPU time (s) 239.9 Current children cumulated vsize (KiB) 14676 [startup+240.115 s] /proc/loadavg: 0.99 0.97 0.99 2/39 7931 /proc/meminfo: memFree=836396/1048576 swapFree=2092224/2097144 [pid=7926] ppid=7925 vsize=4712 CPUtime=0.13 /proc/7926/stat : 7926 (python) S 7925 7926 3447 769 3447 4202496 1217 1011 0 0 2 1 8 2 25 0 1 0 527107787 4825088 837 1283457024 134512640 135539072 4287345616 18446744073709551615 4159628206 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/7926/statm: 1178 837 402 251 0 436 0 [pid=7929] ppid=7926 vsize=2384 CPUtime=137.09 /proc/7929/stat : 7929 (sh) S 7926 7926 3447 769 3447 4194304 444 4196 0 0 0 0 13708 1 18 0 1 0 527107800 2441216 252 1283457024 134512640 135191968 4294468208 18446744073709551615 4159117726 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7929/statm: 596 252 214 166 0 28 0 [pid=7931] ppid=7929 vsize=7580 CPUtime=102.78 /proc/7931/stat : 7931 (clasp) R 7929 7926 3447 769 3447 4202496 1811 0 0 0 10275 3 0 0 25 0 1 0 527107803 7761920 1684 1283457024 134512640 136080129 4291500064 18446744073709551615 134849493 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/7931/statm: 1895 1684 190 383 0 1510 0 Current children cumulated CPU time (s) 240 Current children cumulated vsize (KiB) 14676 Child status: 0 Real time (s): 240.183 CPU time (s): 240.087 CPU user time (s): 239.999 CPU system time (s): 0.088005 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 30464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 239.999 system time used= 0.088005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9632 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= 92 involuntary context switches= 3010 runsolver used 0 second user time and 0 second system time The end