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-3713556-1338185030/watcher-3713556-1338185030 -o /tmp/evaluation-result-3713556-1338185030/solver-3713556-1338185030 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713556-1338185030.wbo 991749234 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.91 1.98 1.99 3/179 31462
/proc/meminfo: memFree=29086776/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[startup+0.0699631 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 31462
/proc/meminfo: memFree=29086776/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100292 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 31462
/proc/meminfo: memFree=29086776/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 31462
/proc/meminfo: memFree=29086776/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700256 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 31462
/proc/meminfo: memFree=29086776/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.91 1.98 1.99 3/183 31490
/proc/meminfo: memFree=29073168/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=1.29 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3406 26060 0 0 9 3 106 11 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 14476
[startup+3.10034 s]
/proc/loadavg: 1.91 1.98 1.99 3/183 31497
/proc/meminfo: memFree=29075092/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=1.29 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3406 26060 0 0 9 3 106 11 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31496] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284630547 9367552 267 33554432000 4194304 5064252 140733717779840 140733717778752 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31496/statm: 2287 267 226 213 0 72 0
[pid=31497] ppid=31496 vsize=11704 CPUtime=1.77 cores=1,3,5,7
/proc/31497/stat : 31497 (glucose) R 31496 31462 26029 0 -1 4202496 2845 0 0 0 177 0 0 0 20 0 1 0 284630547 11984896 2477 33554432000 4194304 5208918 140736053433424 140736053431368 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 2926 2477 104 248 0 2675 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35328
[startup+6.30033 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 31504
/proc/meminfo: memFree=29074016/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=3.78 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3522 32572 0 0 9 3 354 12 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31503] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31503/stat : 31503 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284630797 9367552 267 33554432000 4194304 5064252 140737466448512 140737466447424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31503/statm: 2287 267 226 213 0 72 0
[pid=31504] ppid=31503 vsize=11836 CPUtime=2.48 cores=1,3,5,7
/proc/31504/stat : 31504 (glucose) R 31503 31462 26029 0 -1 4202496 2561 0 0 0 248 0 0 0 20 0 1 0 284630797 12120064 1926 33554432000 4194304 5208918 140736652856816 140736652854664 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31504/statm: 2959 1926 103 248 0 2708 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35460
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 31511
/proc/meminfo: memFree=29069820/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=12.62 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3700 44419 0 0 9 3 1235 15 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 14476
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31532
/proc/meminfo: memFree=29067600/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=22.52 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3799 57925 0 0 9 3 2222 18 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31531] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31531/stat : 31531 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284632671 9367552 267 33554432000 4194304 5064252 140737316534048 140737316532960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31531/statm: 2287 267 226 213 0 72 0
[pid=31532] ppid=31531 vsize=9960 CPUtime=2.94 cores=1,3,5,7
/proc/31532/stat : 31532 (glucose) R 31531 31462 26029 0 -1 4202496 2326 0 0 0 294 0 0 0 20 0 1 0 284632671 10199040 2124 33554432000 4194304 5208918 140734525540816 140734525538760 4229471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31532/statm: 2490 2124 103 248 0 2239 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 33584
Solver just ended. Dumping a history of the last processes samples
[startup+27.1003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31532
/proc/meminfo: memFree=29067600/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=26.57 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3852 63417 0 0 9 3 2625 20 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
Current children cumulated CPU time (s) 26.57
Current children cumulated vsize (KiB) 14476
[startup+27.9003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31539
/proc/meminfo: memFree=29071376/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=26.57 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3852 63417 0 0 9 3 2625 20 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31538] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284633076 9367552 266 33554432000 4194304 5064252 140734950824912 140734950823824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31538/statm: 2287 266 226 213 0 72 0
[pid=31539] ppid=31538 vsize=8264 CPUtime=1.29 cores=1,3,5,7
/proc/31539/stat : 31539 (glucose) R 31538 31462 26029 0 -1 4202496 2330 0 0 0 129 0 0 0 20 0 1 0 284633076 8462336 1596 33554432000 4194304 5208918 140734601501792 140734601499640 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31539/statm: 2066 1596 102 248 0 1815 0
Current children cumulated CPU time (s) 27.86
Current children cumulated vsize (KiB) 31888
[startup+28.1003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31539
/proc/meminfo: memFree=29071376/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=26.57 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3852 63417 0 0 9 3 2625 20 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31538] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284633076 9367552 266 33554432000 4194304 5064252 140734950824912 140734950823824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31538/statm: 2287 266 226 213 0 72 0
[pid=31539] ppid=31538 vsize=8264 CPUtime=1.49 cores=1,3,5,7
/proc/31539/stat : 31539 (glucose) R 31538 31462 26029 0 -1 4202496 2344 0 0 0 149 0 0 0 20 0 1 0 284633076 8462336 1608 33554432000 4194304 5208918 140734601501792 140734601499640 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31539/statm: 2066 1608 102 248 0 1815 0
Current children cumulated CPU time (s) 28.06
Current children cumulated vsize (KiB) 31888
[startup+28.2003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31539
/proc/meminfo: memFree=29071376/32873648 swapFree=7116/7116
[pid=31462] ppid=31460 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31462/stat : 31462 (npSolver-wbo.sh) S 31460 31462 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284630416 9367552 275 33554432000 4194304 5064252 140736452884720 140736452883632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31462/statm: 2287 275 233 213 0 72 0
[pid=31463] ppid=31462 vsize=5328 CPUtime=26.57 cores=1,3,5,7
/proc/31463/stat : 31463 (npSolver-wbo) S 31462 31462 26029 0 -1 4202496 3852 63417 0 0 9 3 2625 20 20 0 1 0 284630416 5455872 900 33554432000 4194304 5990268 140734989422672 140734989414112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31463/statm: 1332 900 160 439 0 889 0
[pid=31538] ppid=31463 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (satsolver.sh) S 31463 31462 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284633076 9367552 266 33554432000 4194304 5064252 140734950824912 140734950823824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31538/statm: 2287 266 226 213 0 72 0
[pid=31539] ppid=31538 vsize=8264 CPUtime=1.59 cores=1,3,5,7
/proc/31539/stat : 31539 (glucose) R 31538 31462 26029 0 -1 4202496 2378 0 0 0 159 0 0 0 20 0 1 0 284633076 8462336 1642 33554432000 4194304 5208918 140734601501792 140734601499640 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31539/statm: 2066 1642 102 248 0 1815 0
Current children cumulated CPU time (s) 28.16
Current children cumulated vsize (KiB) 31888
Child status: 0
Real time (s): 28.2853
CPU time (s): 28.2817
CPU user time (s): 28.0267
CPU system time (s): 0.254961
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 36264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.0267
system time used= 0.254961
maximum resident set size= 17764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267
involuntary context switches= 156
runsolver used 0.06099 second user time and 0.165974 second system time
The end