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-3701589-1338101395/watcher-3701589-1338101395 -o /tmp/evaluation-result-3701589-1338101395/solver-3701589-1338101395 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701589-1338101395.opb 999155915 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.42 2.10 2.03 3/180 19285
/proc/meminfo: memFree=28436624/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[startup+0.0654609 s]
/proc/loadavg: 2.42 2.10 2.03 3/180 19285
/proc/meminfo: memFree=28436624/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 2.42 2.10 2.03 3/180 19285
/proc/meminfo: memFree=28436624/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300237 s]
/proc/loadavg: 2.42 2.10 2.03 3/180 19285
/proc/meminfo: memFree=28436624/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.42 2.10 2.03 3/180 19285
/proc/meminfo: memFree=28436624/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.42 2.10 2.03 3/182 19287
/proc/meminfo: memFree=28384812/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=118884 CPUtime=1.49 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) R 19285 19285 16531 0 -1 4202496 16595 0 0 0 145 4 0 0 20 0 1 0 276263898 121737216 25748 33554432000 4194304 5992684 140733639276992 140733639267128 4957503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 29721 25748 158 440 0 29277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128032
[startup+3.10032 s]
/proc/loadavg: 2.42 2.10 2.03 3/182 19287
/proc/meminfo: memFree=28281160/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=260980 CPUtime=3.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) R 19285 19285 16531 0 -1 4202496 36312 0 0 0 298 11 0 0 20 0 1 0 276263898 267243520 64340 33554432000 4194304 5992684 140733639276992 140733639266088 4523474 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 65245 64340 158 440 0 64801 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 270128
[startup+6.30032 s]
/proc/loadavg: 2.39 2.09 2.03 3/182 19287
/proc/meminfo: memFree=27956492/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=805864 CPUtime=6.28 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) R 19285 19285 16531 0 -1 4202496 75515 0 0 0 604 24 0 0 20 0 1 0 276263898 825204736 140654 33554432000 4194304 5992684 140733639276992 140733639265912 4523474 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 201466 140654 158 440 0 201022 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 815012
[startup+12.7004 s]
/proc/loadavg: 2.36 2.09 2.03 3/184 19291
/proc/meminfo: memFree=26423384/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=820724 CPUtime=7.06 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4202496 79778 0 0 0 638 68 0 0 20 0 1 0 276263898 840421376 147432 33554432000 4194304 5992684 140733639276992 140733639271024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 205181 147432 165 440 0 204737 0
[pid=19290] ppid=19286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19290/stat : 19290 (cp2_pre.sh) S 19286 19285 16531 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276264605 9367552 277 33554432000 4194304 5064252 140736517113296 140736517112000 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19290/statm: 2287 277 234 213 0 72 0
[pid=19291] ppid=19290 vsize=1435980 CPUtime=5.61 cores=0,2,4,6
/proc/19291/stat : 19291 (coprocessor) R 19290 19285 16531 0 -1 4202496 21330 0 0 0 529 32 0 0 20 0 1 0 276264606 1470443520 274095 33554432000 4194304 6586260 140736309393440 140736309389192 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19291/statm: 358995 274095 158 584 0 358407 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2275000
[startup+25.5002 s]
/proc/loadavg: 2.49 2.13 2.04 3/184 19291
/proc/meminfo: memFree=26165884/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=820724 CPUtime=24.8 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4202496 79786 22235 0 0 638 68 1678 96 20 0 1 0 276263898 840421376 147432 33554432000 4194304 5992684 140733639276992 140733639272112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 205181 147432 165 440 0 204737 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 829872
[startup+51.1002 s]
/proc/loadavg: 2.71 2.20 2.07 2/183 19299
/proc/meminfo: memFree=26016228/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
heavy processes:
%CPU=20 pid=19299 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+51.8003 s]
/proc/loadavg: 2.71 2.20 2.07 2/183 19299
/proc/meminfo: memFree=26016228/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+58.2003 s]
/proc/loadavg: 2.81 2.23 2.08 2/183 19299
/proc/meminfo: memFree=26013560/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+59.8003 s]
/proc/loadavg: 2.91 2.26 2.09 2/183 19299
/proc/meminfo: memFree=26013312/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+60.6003 s]
/proc/loadavg: 2.91 2.26 2.09 2/183 19299
/proc/meminfo: memFree=26013684/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+61.4003 s]
/proc/loadavg: 2.91 2.26 2.09 2/183 19299
/proc/meminfo: memFree=26014552/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+61.8003 s]
/proc/loadavg: 2.91 2.26 2.09 2/183 19299
/proc/meminfo: memFree=26014552/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
[startup+61.9003 s]
/proc/loadavg: 2.91 2.26 2.09 2/183 19299
/proc/meminfo: memFree=26014552/32873844 swapFree=7612/7612
[pid=19285] ppid=19283 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19285/stat : 19285 (npSolver-pbo.sh) S 19283 19285 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276263898 9367552 274 33554432000 4194304 5064252 140734153157664 140734153156576 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19285/statm: 2287 274 233 213 0 72 0
[pid=19286] ppid=19285 vsize=940580 CPUtime=37.09 cores=0,2,4,6
/proc/19286/stat : 19286 (npSolver-pbo) S 19285 19285 16531 0 -1 4204032 86808 267936 0 0 710 128 2672 199 20 0 1 0 276263898 963153920 177414 33554432000 4194304 5992684 140733639276992 140733639271112 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19286/statm: 235145 177414 183 440 0 234701 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 949728
Child status: 0
Real time (s): 61.9653
CPU time (s): 37.1274
CPU user time (s): 33.8239
CPU system time (s): 3.3035
CPU usage (%): 59.9164
Max. virtual memory (cumulated for all children) (KiB): 2765448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8239
system time used= 3.3035
maximum resident set size= 1723632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1402616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247458
involuntary context switches= 93
runsolver used 0.090986 second user time and 0.283956 second system time
The end