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-3701395-1338065907/watcher-3701395-1338065907 -o /tmp/evaluation-result-3701395-1338065907/solver-3701395-1338065907 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701395-1338065907.opb 1935546310 HOME HOME
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: 1.95 1.98 2.08 3/177 7557
/proc/meminfo: memFree=22887620/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[startup+0.008179 s]
/proc/loadavg: 1.95 1.98 2.08 3/177 7557
/proc/meminfo: memFree=22887620/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 1.95 1.98 2.08 3/177 7557
/proc/meminfo: memFree=22887620/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 1.95 1.98 2.08 3/177 7557
/proc/meminfo: memFree=22887620/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 1.95 1.98 2.08 3/177 7557
/proc/meminfo: memFree=22887620/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.95 1.98 2.08 3/181 7564
/proc/meminfo: memFree=22863400/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23196 CPUtime=0.32 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 5906 2553 0 0 17 1 13 1 20 0 1 0 272719294 23752704 5437 33554432000 4194304 5992684 140736396783184 140736396778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7558/statm: 5799 5437 173 440 0 5355 0
[pid=7563] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7563/stat : 7563 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272719328 9367552 267 33554432000 4194304 5064252 140736409973712 140736409972624 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7563/statm: 2287 267 226 213 0 72 0
[pid=7564] ppid=7563 vsize=7316 CPUtime=1.15 cores=1,3,5,7
/proc/7564/stat : 7564 (glucose) R 7563 7557 5140 0 -1 4202496 1619 0 0 0 115 0 0 0 20 0 1 0 272719329 7491584 1021 33554432000 4194304 5208918 140733498218176 140733498216024 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7564/statm: 1829 1021 101 248 0 1578 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 48808
[startup+3.1003 s]
/proc/loadavg: 1.95 1.98 2.08 3/181 7564
/proc/meminfo: memFree=22861160/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23196 CPUtime=2.15 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6028 7936 0 0 18 2 193 2 20 0 1 0 272719294 23752704 5447 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5799 5447 183 440 0 5355 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 32344
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 1.95 1.98 2.08 3/181 7578
/proc/meminfo: memFree=22857708/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=6 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6239 17898 0 0 18 2 576 4 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 32476
[startup+12.7003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7592
/proc/meminfo: memFree=22857572/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=12.42 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6410 28342 0 0 18 3 1214 7 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 32476
[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7613
/proc/meminfo: memFree=22860284/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=23 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6582 39246 0 0 18 3 2268 11 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
[pid=7612] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272721598 9367552 265 33554432000 4194304 5064252 140735375930160 140735375929072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7612/statm: 2287 265 226 213 0 72 0
[pid=7613] ppid=7612 vsize=7796 CPUtime=2.45 cores=1,3,5,7
/proc/7613/stat : 7613 (glucose) R 7612 7557 5140 0 -1 4202496 1932 0 0 0 245 0 0 0 20 0 1 0 272721598 7983104 1460 33554432000 4194304 5208918 140736935502672 140736935500616 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7613/statm: 1949 1460 96 248 0 1698 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 49420
Solver just ended. Dumping a history of the last processes samples
[startup+26.3003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7613
/proc/meminfo: memFree=22859316/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=23 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6582 39246 0 0 18 3 2268 11 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
[pid=7612] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272721598 9367552 265 33554432000 4194304 5064252 140735375930160 140735375929072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7612/statm: 2287 265 226 213 0 72 0
[pid=7613] ppid=7612 vsize=9444 CPUtime=3.26 cores=1,3,5,7
/proc/7613/stat : 7613 (glucose) R 7612 7557 5140 0 -1 4202496 2069 0 0 0 326 0 0 0 20 0 1 0 272721598 9670656 1592 33554432000 4194304 5208918 140736935502672 140736935500536 4222349 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7613/statm: 2361 1592 96 248 0 2110 0
Current children cumulated CPU time (s) 26.26
Current children cumulated vsize (KiB) 51068
[startup+26.7003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7613
/proc/meminfo: memFree=22859316/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=23 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6582 39246 0 0 18 3 2268 11 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
[pid=7612] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272721598 9367552 265 33554432000 4194304 5064252 140735375930160 140735375929072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7612/statm: 2287 265 226 213 0 72 0
[pid=7613] ppid=7612 vsize=9444 CPUtime=3.65 cores=1,3,5,7
/proc/7613/stat : 7613 (glucose) R 7612 7557 5140 0 -1 4202496 2069 0 0 0 365 0 0 0 20 0 1 0 272721598 9670656 1592 33554432000 4194304 5208918 140736935502672 140736935500536 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7613/statm: 2361 1592 96 248 0 2110 0
Current children cumulated CPU time (s) 26.65
Current children cumulated vsize (KiB) 51068
[startup+27.1003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7613
/proc/meminfo: memFree=22859316/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=23 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6582 39246 0 0 18 3 2268 11 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
[pid=7612] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272721598 9367552 265 33554432000 4194304 5064252 140735375930160 140735375929072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7612/statm: 2287 265 226 213 0 72 0
[pid=7613] ppid=7612 vsize=9444 CPUtime=4.05 cores=1,3,5,7
/proc/7613/stat : 7613 (glucose) R 7612 7557 5140 0 -1 4202496 2091 0 0 0 405 0 0 0 20 0 1 0 272721598 9670656 1613 33554432000 4194304 5208918 140736935502672 140736935500616 4212757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7613/statm: 2361 1613 96 248 0 2110 0
Current children cumulated CPU time (s) 27.05
Current children cumulated vsize (KiB) 51068
[startup+27.2003 s]
/proc/loadavg: 1.96 1.98 2.08 3/181 7613
/proc/meminfo: memFree=22859316/32873844 swapFree=7364/7364
[pid=7557] ppid=7555 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (npSolver-pbo.sh) S 7555 7557 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272719294 9367552 275 33554432000 4194304 5064252 140733768550144 140733768549056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7557/statm: 2287 275 233 213 0 72 0
[pid=7558] ppid=7557 vsize=23328 CPUtime=23 cores=1,3,5,7
/proc/7558/stat : 7558 (npSolver-pbo) S 7557 7557 5140 0 -1 4202496 6582 39246 0 0 18 3 2268 11 20 0 1 0 272719294 23887872 5457 33554432000 4194304 5992684 140736396783184 140736396775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7558/statm: 5832 5457 183 440 0 5388 0
[pid=7612] ppid=7558 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (satsolver.sh) S 7558 7557 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272721598 9367552 265 33554432000 4194304 5064252 140735375930160 140735375929072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7612/statm: 2287 265 226 213 0 72 0
[pid=7613] ppid=7612 vsize=9444 CPUtime=4.15 cores=1,3,5,7
/proc/7613/stat : 7613 (glucose) R 7612 7557 5140 0 -1 4202496 2091 0 0 0 415 0 0 0 20 0 1 0 272721598 9670656 1613 33554432000 4194304 5208918 140736935502672 140736935500616 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7613/statm: 2361 1613 96 248 0 2110 0
Current children cumulated CPU time (s) 27.15
Current children cumulated vsize (KiB) 51068
Child status: 0
Real time (s): 27.2469
CPU time (s): 27.2329
CPU user time (s): 27.0649
CPU system time (s): 0.167974
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 54668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0649
system time used= 0.167974
maximum resident set size= 22500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139
involuntary context switches= 117
runsolver used 0.049992 second user time and 0.165974 second system time
The end