runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742424-1338788505/watcher-3742424-1338788505 -o /tmp/evaluation-result-3742424-1338788505/solver-3742424-1338788505 -C 1800 -W 1900 -M 15500 pbclasp instance-3742424-1338788505.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 15747
/proc/meminfo: memFree=27112860/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) R 15745 15747 15309 0 -1 4202496 549 0 0 0 0 0 0 0 20 0 1 0 344974936 26206208 479 33554432000 4194304 4198148 140735052272544 140735052269992 213419265940 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6398 481 355 1 0 193 0
[startup+0.097749 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 15747
/proc/meminfo: memFree=27112860/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.100198 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 15747
/proc/meminfo: memFree=27112860/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.300111 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 15747
/proc/meminfo: memFree=27112860/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.70011 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 15747
/proc/meminfo: memFree=27112860/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 1.94 3/184 15752
/proc/meminfo: memFree=27105480/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=21072 CPUtime=0.38 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 5231 0 0 0 37 1 0 0 20 0 1 0 344974939 21577728 4650 33554432000 134512640 134847168 4291630384 4291629152 134617513 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/15751/statm: 5268 4650 270 82 0 4509 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 82076
[startup+3.10033 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 15752
/proc/meminfo: memFree=27093576/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=21508 CPUtime=1.97 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 5250 0 0 0 196 1 0 0 20 0 1 0 344974939 22024192 4669 33554432000 134512640 134847168 4291630384 4291629152 134617488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 5377 4669 270 82 0 4618 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 82512
[startup+6.30035 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 15752
/proc/meminfo: memFree=27092840/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=21508 CPUtime=5.17 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 5321 0 0 0 516 1 0 0 20 0 1 0 344974939 22024192 4740 33554432000 134512640 134847168 4291630384 4291629120 134741030 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 5377 4740 270 82 0 4618 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 82512
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 15752
/proc/meminfo: memFree=27092492/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=21972 CPUtime=11.57 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 5389 0 0 0 1156 1 0 0 20 0 1 0 344974939 22499328 4808 33554432000 134512640 134847168 4291630384 4291629124 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 5493 4808 270 82 0 4734 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.85
Current children cumulated vsize (KiB) 82976
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 15752
/proc/meminfo: memFree=27092136/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=22368 CPUtime=24.37 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 5568 0 0 0 2436 1 0 0 20 0 1 0 344974939 22904832 4987 33554432000 134512640 134847168 4291630384 4291629008 134784656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 5592 4987 270 82 0 4833 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.65
Current children cumulated vsize (KiB) 83372
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 15753
/proc/meminfo: memFree=27085688/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=28580 CPUtime=49.97 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 7075 0 0 0 4995 2 0 0 20 0 1 0 344974939 29265920 6494 33554432000 134512640 134847168 4291630384 4291628768 134735814 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 7145 6494 270 82 0 6386 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 89584
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 15753
/proc/meminfo: memFree=27073660/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=40616 CPUtime=101.17 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 10018 0 0 0 10113 4 0 0 20 0 1 0 344974939 41590784 9437 33554432000 134512640 134847168 4291630384 4291629152 134737277 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 10154 9437 270 82 0 9395 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 101620
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 15753
/proc/meminfo: memFree=27064356/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=49568 CPUtime=161.15 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/183 15839
/proc/meminfo: memFree=26960784/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=234456 CPUtime=1360.92 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 57837 0 0 0 136071 21 0 0 20 0 1 0 344974939 240082944 57998 33554432000 134512640 134847168 4291630384 4291629024 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 58614 57998 270 82 0 57855 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.2
Current children cumulated vsize (KiB) 295460
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 15839
/proc/meminfo: memFree=26960164/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=235176 CPUtime=1420.92 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 58012 0 0 0 142071 21 0 0 20 0 1 0 344974939 240820224 58173 33554432000 134512640 134847168 4291630384 4291629024 134782425 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 58794 58173 270 82 0 58035 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.2
Current children cumulated vsize (KiB) 296180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 15839
/proc/meminfo: memFree=26956796/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=239632 CPUtime=1480.9 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 59055 0 0 0 148069 21 0 0 20 0 1 0 344974939 245383168 59216 33554432000 134512640 134847168 4291630384 4291629140 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 59908 59216 270 82 0 59149 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 300636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 15839
/proc/meminfo: memFree=26914064/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=281148 CPUtime=1540.89 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 69276 0 0 0 154064 25 0 0 20 0 1 0 344974939 287895552 69437 33554432000 134512640 134847168 4291630384 4291629152 134737660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 70287 69437 270 82 0 69528 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 342152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 15840
/proc/meminfo: memFree=26912700/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=281148 CPUtime=1600.88 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 69300 0 0 0 160063 25 0 0 20 0 1 0 344974939 287895552 69461 33554432000 134512640 134847168 4291630384 4291629024 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 70287 69461 270 82 0 69528 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 342152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 15840
/proc/meminfo: memFree=26848420/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=310400 CPUtime=1660.86 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 76385 0 0 0 166059 27 0 0 20 0 1 0 344974939 317849600 76706 33554432000 134512640 134847168 4291630384 4291629024 134782626 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 77600 76706 270 82 0 76841 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 371404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/184 15843
/proc/meminfo: memFree=26831396/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=310400 CPUtime=1720.84 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 76399 0 0 0 172057 27 0 0 20 0 1 0 344974939 317849600 77017 33554432000 134512640 134847168 4291630384 4291629024 134782441 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 77600 77017 270 82 0 76841 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 371404
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/183 15843
/proc/meminfo: memFree=26831276/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=310400 CPUtime=1780.83 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 76399 0 0 0 178056 27 0 0 20 0 1 0 344974939 317849600 77017 33554432000 134512640 134847168 4291630384 4291629152 134737535 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 77600 77017 270 82 0 76841 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 371404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 2.02 2.01 1.96 3/183 15843
/proc/meminfo: memFree=26830328/32873844 swapFree=6608/6608
[pid=15747] ppid=15745 vsize=26396 CPUtime=0.02 cores=1,3,5,7
/proc/15747/stat : 15747 (pbclasp) S 15745 15747 15309 0 -1 4202496 768 0 0 0 2 0 0 0 20 0 1 0 344974936 27029504 679 33554432000 4194304 4198148 140735052272544 140735052271432 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15747/statm: 6599 679 364 1 0 394 0
[pid=15749] ppid=15747 vsize=9148 CPUtime=1.26 cores=1,3,5,7
/proc/15749/stat : 15749 (sh) S 15747 15747 15309 0 -1 4202496 371 627 0 0 0 0 126 0 20 0 1 0 344974938 9367552 262 33554432000 4194304 5064252 140735788655456 140735788653712 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15749/statm: 2287 262 223 213 0 72 0
[pid=15751] ppid=15749 vsize=310400 CPUtime=1798.74 cores=1,3,5,7
/proc/15751/stat : 15751 (clasp-1.0) R 15749 15747 15309 0 -1 4202496 76399 0 0 0 179847 27 0 0 20 0 1 0 344974939 317849600 77017 33554432000 134512640 134847168 4291630384 4291629024 134782975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15751/statm: 77600 77017 270 82 0 76841 0
[pid=15752] ppid=15749 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (pboutclasp.pl) S 15749 15747 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344974939 26071040 437 33554432000 4194304 4198148 140734368521808 140734368512344 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15752/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 371404
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.04
CPU user time (s): 1799.76
CPU system time (s): 0.282956
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 371404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.282956
maximum resident set size= 308068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 617
involuntary context switches= 1877
runsolver used 3.40448 second user time and 8.45371 second system time
The end