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-3701488-1338070612/watcher-3701488-1338070612 -o /tmp/evaluation-result-3701488-1338070612/solver-3701488-1338070612 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701488-1338070612.opb 757461714 HOME HOME
running on 4 cores: 0,2,4,6
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.14 2.30 2.14 3/180 12540
/proc/meminfo: memFree=30462156/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[startup+0.020982 s]
/proc/loadavg: 2.14 2.30 2.14 3/180 12540
/proc/meminfo: memFree=30462156/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 2.14 2.30 2.14 3/180 12540
/proc/meminfo: memFree=30462156/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.14 2.30 2.14 3/180 12540
/proc/meminfo: memFree=30462156/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.14 2.30 2.14 3/180 12540
/proc/meminfo: memFree=30462156/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.13 2.29 2.14 3/184 12561
/proc/meminfo: memFree=30454552/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4340 CPUtime=0.55 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 1510 9955 0 0 2 0 51 2 20 0 1 0 273185615 4444160 696 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1085 696 179 440 0 641 0
[pid=12560] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12560/stat : 12560 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273185672 9367552 266 33554432000 4194304 5064252 140733263052768 140733263051680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12560/statm: 2287 266 226 213 0 72 0
[pid=12561] ppid=12560 vsize=10208 CPUtime=0.92 cores=0,2,4,6
/proc/12561/stat : 12561 (glucose) R 12560 12540 9087 0 -1 4202496 2561 0 0 0 92 0 0 0 20 0 1 0 273185672 10452992 1716 33554432000 4194304 5208918 140737123696944 140733263051704 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12561/statm: 2552 1716 96 248 0 2301 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32844
[startup+3.10029 s]
/proc/loadavg: 2.13 2.29 2.14 3/184 12561
/proc/meminfo: memFree=30450964/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4332 CPUtime=2.26 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 2047 16457 0 0 4 0 219 3 20 0 1 0 273185615 4435968 679 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1083 679 179 440 0 639 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 13480
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 2.12 2.29 2.14 3/184 12575
/proc/meminfo: memFree=30453204/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4340 CPUtime=4.58 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 2577 21659 0 0 5 0 449 4 20 0 1 0 273185615 4444160 696 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1085 696 179 440 0 641 0
[pid=12574] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12574/stat : 12574 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273186076 9367552 267 33554432000 4194304 5064252 140734180271792 140734180270704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12574/statm: 2287 267 226 213 0 72 0
[pid=12575] ppid=12574 vsize=12872 CPUtime=1.67 cores=0,2,4,6
/proc/12575/stat : 12575 (glucose) R 12574 12540 9087 0 -1 4202496 2974 0 0 0 167 0 0 0 20 0 1 0 273186076 13180928 2756 33554432000 4194304 5208918 140733443866336 140733443864280 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12575/statm: 3218 2756 102 248 0 2967 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35508
[startup+12.7004 s]
/proc/loadavg: 2.11 2.28 2.14 3/184 12589
/proc/meminfo: memFree=30450608/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4332 CPUtime=10.31 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 3627 33366 0 0 8 1 1015 7 20 0 1 0 273185615 4435968 679 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1083 679 179 440 0 639 0
[pid=12588] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273186647 9367552 267 33554432000 4194304 5064252 140734087243584 140734087242496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12588/statm: 2287 267 226 213 0 72 0
[pid=12589] ppid=12588 vsize=13028 CPUtime=2.36 cores=0,2,4,6
/proc/12589/stat : 12589 (glucose) R 12588 12540 9087 0 -1 4202496 2902 0 0 0 236 0 0 0 20 0 1 0 273186647 13340672 2873 33554432000 4194304 5208918 140734287116672 140734287114536 4222484 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12589/statm: 3257 2873 104 248 0 3006 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 35656
[startup+25.5003 s]
/proc/loadavg: 2.16 2.29 2.14 3/184 12624
/proc/meminfo: memFree=30450428/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4332 CPUtime=23.56 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 6240 63215 0 0 14 2 2324 16 20 0 1 0 273185615 4435968 679 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1083 679 179 440 0 639 0
[pid=12623] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12623/stat : 12623 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273187981 9367552 267 33554432000 4194304 5064252 140736249956464 140736249955376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12623/statm: 2287 267 226 213 0 72 0
[pid=12624] ppid=12623 vsize=12928 CPUtime=1.83 cores=0,2,4,6
/proc/12624/stat : 12624 (glucose) R 12623 12540 9087 0 -1 4202496 2537 0 0 0 183 0 0 0 20 0 1 0 273187981 13238272 2351 33554432000 4194304 5208918 140735622640128 140735622638072 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12624/statm: 3232 2351 104 248 0 2981 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 35556
Solver just ended. Dumping a history of the last processes samples
[startup+25.9004 s]
/proc/loadavg: 2.16 2.29 2.14 3/184 12624
/proc/meminfo: memFree=30450428/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4332 CPUtime=23.56 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 6240 63215 0 0 14 2 2324 16 20 0 1 0 273185615 4435968 679 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1083 679 179 440 0 639 0
[pid=12623] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12623/stat : 12623 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273187981 9367552 267 33554432000 4194304 5064252 140736249956464 140736249955376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12623/statm: 2287 267 226 213 0 72 0
[pid=12624] ppid=12623 vsize=12928 CPUtime=2.23 cores=0,2,4,6
/proc/12624/stat : 12624 (glucose) R 12623 12540 9087 0 -1 4202496 2569 0 0 0 223 0 0 0 20 0 1 0 273187981 13238272 2381 33554432000 4194304 5208918 140735622640128 140735622638072 4229456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12624/statm: 3232 2381 104 248 0 2981 0
Current children cumulated CPU time (s) 25.79
Current children cumulated vsize (KiB) 35556
[startup+26.0004 s]
/proc/loadavg: 2.16 2.29 2.14 3/184 12624
/proc/meminfo: memFree=30450428/32873844 swapFree=7388/7388
[pid=12540] ppid=12538 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12540/stat : 12540 (npSolver-pbo.sh) S 12538 12540 9087 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273185615 9367552 275 33554432000 4194304 5064252 140734596846208 140734596845120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12540/statm: 2287 275 233 213 0 72 0
[pid=12541] ppid=12540 vsize=4332 CPUtime=23.56 cores=0,2,4,6
/proc/12541/stat : 12541 (npSolver-pbo) S 12540 12540 9087 0 -1 4202496 6240 63215 0 0 14 2 2324 16 20 0 1 0 273185615 4435968 679 33554432000 4194304 5992684 140733917016784 140733917009104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12541/statm: 1083 679 179 440 0 639 0
[pid=12623] ppid=12541 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12623/stat : 12623 (satsolver.sh) S 12541 12540 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273187981 9367552 267 33554432000 4194304 5064252 140736249956464 140736249955376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12623/statm: 2287 267 226 213 0 72 0
[pid=12624] ppid=12623 vsize=12928 CPUtime=2.33 cores=0,2,4,6
/proc/12624/stat : 12624 (glucose) R 12623 12540 9087 0 -1 4202496 2569 0 0 0 233 0 0 0 20 0 1 0 273187981 13238272 2381 33554432000 4194304 5208918 140735622640128 140735622638072 4229377 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12624/statm: 3232 2381 104 248 0 2981 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 35556
Child status: 0
Real time (s): 26.0483
CPU time (s): 25.9671
CPU user time (s): 25.7641
CPU system time (s): 0.202969
CPU usage (%): 99.6882
Max. virtual memory (cumulated for all children) (KiB): 37368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.7641
system time used= 0.202969
maximum resident set size= 12004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 158
runsolver used 0.049992 second user time and 0.166974 second system time
The end