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-3741244-1338775475/watcher-3741244-1338775475 -o /tmp/evaluation-result-3741244-1338775475/solver-3741244-1338775475 -C 1800 -W 1900 -M 15500 pbclasp instance-3741244-1338775475.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.00 2.00 1.87 3/177 6482
/proc/meminfo: memFree=27466160/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25728 CPUtime=0 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) R 6480 6482 5924 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 343672983 26345472 516 33554432000 4194304 4198148 140734540469136 140736986153592 252288138164 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6432 516 361 1 0 227 0
[startup+0.025571 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 6482
/proc/meminfo: memFree=27466160/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25864 CPUtime=0.01 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 343672983 26484736 575 33554432000 4194304 4198148 140734540469136 140734540468024 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6466 575 368 1 0 261 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25864
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 6482
/proc/meminfo: memFree=27466160/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25864 CPUtime=0.01 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 343672983 26484736 575 33554432000 4194304 4198148 140734540469136 140734540468024 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6466 575 368 1 0 261 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25864
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 6482
/proc/meminfo: memFree=27466160/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 25996
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 6482
/proc/meminfo: memFree=27466160/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 25996
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27461044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=6328 CPUtime=1.34 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1150 0 0 0 134 0 0 0 20 0 1 0 343672998 6479872 1048 33554432000 134512640 134847168 4292394848 4292393532 134715919 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 1582 1048 270 82 0 823 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41472
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27459928/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=6852 CPUtime=2.94 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1298 0 0 0 294 0 0 0 20 0 1 0 343672998 7016448 1196 33554432000 134512640 134847168 4292394848 4292393424 134714368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 1713 1196 270 82 0 954 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 41996
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27456948/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=7632 CPUtime=6.14 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1494 0 0 0 614 0 0 0 20 0 1 0 343672998 7815168 1392 33554432000 134512640 134847168 4292394848 4292393488 134782705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 1908 1392 270 82 0 1149 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42776
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27453252/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8148 CPUtime=12.54 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1624 0 0 0 1254 0 0 0 20 0 1 0 343672998 8343552 1522 33554432000 134512640 134847168 4292394848 4292393488 134782453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2037 1522 270 82 0 1278 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43292
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27451276/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=18.93 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1769 0 0 0 1893 0 0 0 20 0 1 0 343672998 8998912 1667 33554432000 134512640 134847168 4292394848 4292393488 134782437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1667 270 82 0 1438 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 43932
[startup+22.3003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27449044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=22.13 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1770 0 0 0 2213 0 0 0 20 0 1 0 343672998 8998912 1668 33554432000 134512640 134847168 4292394848 4292393424 134714504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1668 270 82 0 1438 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 43932
[startup+23.1063 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27449044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=22.94 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1770 0 0 0 2294 0 0 0 20 0 1 0 343672998 8998912 1668 33554432000 134512640 134847168 4292394848 4292393488 134782626 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1668 270 82 0 1438 0
Current children cumulated CPU time (s) 23.07
Current children cumulated vsize (KiB) 43932
[startup+23.5003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27449044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=23.33 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1770 0 0 0 2333 0 0 0 20 0 1 0 343672998 8998912 1668 33554432000 134512640 134847168 4292394848 4292393588 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1668 270 82 0 1438 0
Current children cumulated CPU time (s) 23.46
Current children cumulated vsize (KiB) 43932
[startup+23.9003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27449044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=23.73 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1770 0 0 0 2373 0 0 0 20 0 1 0 343672998 8998912 1668 33554432000 134512640 134847168 4292394848 4292393488 134782435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1668 270 82 0 1438 0
Current children cumulated CPU time (s) 23.86
Current children cumulated vsize (KiB) 43932
[startup+24.0003 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 6492
/proc/meminfo: memFree=27449044/32873852 swapFree=7624/7624
[pid=6482] ppid=6480 vsize=25996 CPUtime=0.13 cores=1,3,5,7
/proc/6482/stat : 6482 (pbclasp) S 6480 6482 5924 0 -1 4202496 794 2106 0 0 1 0 12 0 20 0 1 0 343672983 26619904 620 33554432000 4194304 4198148 140734540469136 140734540468064 252266475550 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6482/statm: 6499 620 387 1 0 294 0
[pid=6490] ppid=6482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6490/stat : 6490 (sh) S 6482 6482 5924 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343672998 9367552 264 33554432000 4194304 5064252 140733834709552 140733834707808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6490/statm: 2287 264 223 213 0 72 0
[pid=6492] ppid=6490 vsize=8788 CPUtime=23.83 cores=1,3,5,7
/proc/6492/stat : 6492 (clasp-1.0) R 6490 6482 5924 0 -1 4202496 1770 0 0 0 2383 0 0 0 20 0 1 0 343672998 8998912 1668 33554432000 134512640 134847168 4292394848 4292393532 134715812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6492/statm: 2197 1668 270 82 0 1438 0
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (KiB) 43932
Child status: 0
Real time (s): 24.0685
CPU time (s): 24.0613
CPU user time (s): 24.0403
CPU system time (s): 0.020996
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 43932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0403
system time used= 0.020996
maximum resident set size= 6752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 53
runsolver used 0.039993 second user time and 0.099984 second system time
The end