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-3699062-1338138555/watcher-3699062-1338138555 -o /tmp/evaluation-result-3699062-1338138555/solver-3699062-1338138555 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699062-1338138555.opb 2065084585 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: 2.09 2.14 2.06 3/176 13992
/proc/meminfo: memFree=31255428/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[startup+0.0411359 s]
/proc/loadavg: 2.09 2.14 2.06 3/176 13992
/proc/meminfo: memFree=31255428/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 2.09 2.14 2.06 3/176 13992
/proc/meminfo: memFree=31255428/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 2.09 2.14 2.06 3/176 13992
/proc/meminfo: memFree=31255428/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700188 s]
/proc/loadavg: 2.09 2.14 2.06 3/176 13992
/proc/meminfo: memFree=31255428/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 2.09 2.14 2.06 3/178 13994
/proc/meminfo: memFree=31246424/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=19772 CPUtime=1.49 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) R 13992 13992 12301 0 -1 4202496 2941 0 0 0 148 1 0 0 20 0 1 0 279984152 20246528 2912 33554432000 4194304 5992684 140733822002496 140733821998232 4951515 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 4943 2912 145 440 0 4499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28920
[startup+3.10027 s]
/proc/loadavg: 2.09 2.14 2.06 3/178 13994
/proc/meminfo: memFree=31239336/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=36816 CPUtime=3.09 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) R 13992 13992 12301 0 -1 4202496 3614 0 0 0 307 2 0 0 20 0 1 0 279984152 37699584 5621 33554432000 4194304 5992684 140733822002496 140733821998616 4476806 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 9204 5621 145 440 0 8760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45964
[startup+6.30022 s]
/proc/loadavg: 2.24 2.18 2.07 3/178 13994
/proc/meminfo: memFree=31217056/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=70772 CPUtime=6.28 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) R 13992 13992 12301 0 -1 4202496 4450 0 0 0 624 4 0 0 20 0 1 0 279984152 72470528 11040 33554432000 4194304 5992684 140733822002496 140733821998232 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 17693 11040 145 440 0 17249 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79920
[startup+12.7003 s]
/proc/loadavg: 2.30 2.19 2.08 3/180 13996
/proc/meminfo: memFree=30814140/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=93000 CPUtime=12.39 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) S 13992 13992 12301 0 -1 4202496 10242 43294 0 0 747 17 434 41 20 0 1 0 279984152 95232000 21239 33554432000 4194304 5992684 140733822002496 140733821988760 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 23250 21239 166 440 0 22806 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 102148
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.30 2.19 2.08 3/180 13996
/proc/meminfo: memFree=30814140/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=96584 CPUtime=12.39 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) R 13992 13992 12301 0 -1 4202496 11204 43294 0 0 747 17 434 41 20 0 1 0 279984152 98902016 22063 33554432000 4194304 5992684 140733822002496 140733821988760 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 24146 22064 166 440 0 23702 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 105732
[startup+16.0002 s]
/proc/loadavg: 2.28 2.19 2.08 3/179 13998
/proc/meminfo: memFree=31055932/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=103376 CPUtime=15.57 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) R 13992 13992 12301 0 -1 4202496 11999 43294 0 0 1062 20 434 41 20 0 1 0 279984152 105857024 23855 33554432000 4194304 5992684 140733822002496 140733821997272 4964477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13993/statm: 25844 23855 172 440 0 25400 0
[pid=13998] ppid=13993 vsize=99216 CPUtime=0.4 cores=1,3,5,7
/proc/13998/stat : 13998 (glucosInc) S 13993 13992 12301 0 -1 4202496 19547 0 0 0 35 5 0 0 20 0 1 0 279985394 101597184 22280 33554432000 4194304 5654031 140736899552256 140736899550568 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13998/statm: 24804 22280 147 357 0 24444 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 211740
[startup+16.8003 s]
/proc/loadavg: 2.28 2.19 2.08 2/180 13999
/proc/meminfo: memFree=30860748/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=103380 CPUtime=15.76 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) S 13992 13992 12301 0 -1 4204032 12013 43294 0 0 1076 25 434 41 20 0 1 0 279984152 105861120 23868 33554432000 4194304 5992684 140733822002496 140733821997032 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13993/statm: 25845 23868 184 440 0 25401 0
[pid=13998] ppid=13993 vsize=99216 CPUtime=0.4 cores=1,3,5,7
/proc/13998/stat : 13998 (glucosInc) S 13993 13992 12301 0 -1 4202496 19547 0 0 0 35 5 0 0 20 0 1 0 279985394 101597184 22280 33554432000 4194304 5654031 140736899552256 140736899550568 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13998/statm: 24804 22280 147 357 0 24444 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 211744
[startup+17.2003 s]
/proc/loadavg: 2.28 2.19 2.08 2/180 13999
/proc/meminfo: memFree=30860748/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=103380 CPUtime=15.76 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) S 13992 13992 12301 0 -1 4204032 12013 43294 0 0 1076 25 434 41 20 0 1 0 279984152 105861120 23868 33554432000 4194304 5992684 140733822002496 140733821997032 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13993/statm: 25845 23868 184 440 0 25401 0
[pid=13998] ppid=13993 vsize=99216 CPUtime=0.4 cores=1,3,5,7
/proc/13998/stat : 13998 (glucosInc) S 13993 13992 12301 0 -1 4202496 19547 0 0 0 35 5 0 0 20 0 1 0 279985394 101597184 22280 33554432000 4194304 5654031 140736899552256 140736899550568 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13998/statm: 24804 22280 147 357 0 24444 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 211744
[startup+17.6003 s]
/proc/loadavg: 2.28 2.19 2.08 2/180 13999
/proc/meminfo: memFree=30857892/32873844 swapFree=6088/6088
[pid=13992] ppid=13990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13992/stat : 13992 (npSolver-pbo-I.) S 13990 13992 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279984152 9367552 275 33554432000 4194304 5064252 140737406760784 140737406759696 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 2287 275 233 213 0 72 0
[pid=13993] ppid=13992 vsize=103380 CPUtime=15.76 cores=1,3,5,7
/proc/13993/stat : 13993 (npSolver-pbo) S 13992 13992 12301 0 -1 4204032 12013 43294 0 0 1076 25 434 41 20 0 1 0 279984152 105861120 23868 33554432000 4194304 5992684 140733822002496 140733821997032 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13993/statm: 25845 23868 184 440 0 25401 0
[pid=13998] ppid=13993 vsize=99216 CPUtime=0.4 cores=1,3,5,7
/proc/13998/stat : 13998 (glucosInc) S 13993 13992 12301 0 -1 4202496 19547 0 0 0 35 5 0 0 20 0 1 0 279985394 101597184 22280 33554432000 4194304 5654031 140736899552256 140736899550568 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13998/statm: 24804 22280 147 357 0 24444 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 211744
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13992 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=115702
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=676897
# CPU time returned by wait4() is 15.7926
# while last known CPU time is 16.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 17.6189
CPU time (s): 16.16
CPU user time (s): 15.45
CPU system time (s): 0.71
CPU usage (%): 91.7196
Max. virtual memory (cumulated for all children) (KiB): 405664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1157
system time used= 0.676897
maximum resident set size= 296960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 148824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24739
involuntary context switches= 54
runsolver used 0.038994 second user time and 0.12598 second system time
The end