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-3698410-1338084877/watcher-3698410-1338084877 -o /tmp/evaluation-result-3698410-1338084877/solver-3698410-1338084877 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698410-1338084877.opb 1304621122 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.50 2.35 2.21 3/181 10002
/proc/meminfo: memFree=19019976/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[startup+0.0811251 s]
/proc/loadavg: 2.50 2.35 2.21 3/181 10002
/proc/meminfo: memFree=19019976/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.50 2.35 2.21 3/181 10002
/proc/meminfo: memFree=19019976/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300194 s]
/proc/loadavg: 2.50 2.35 2.21 3/181 10002
/proc/meminfo: memFree=19019976/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 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.50 2.35 2.21 3/181 10002
/proc/meminfo: memFree=19019976/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.50 2.35 2.21 3/183 10004
/proc/meminfo: memFree=18965640/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=116044 CPUtime=1.34 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4202496 16281 0 0 0 125 9 0 0 20 0 1 0 274613072 118829056 22300 33554432000 4194304 5992684 140735729090192 140735729084640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10003/statm: 29011 22300 165 440 0 28567 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 125192
[startup+3.10038 s]
/proc/loadavg: 2.50 2.35 2.21 3/185 10006
/proc/meminfo: memFree=18558332/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=116044 CPUtime=1.34 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4202496 16281 0 0 0 125 9 0 0 20 0 1 0 274613072 118829056 22300 33554432000 4194304 5992684 140735729090192 140735729084640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10003/statm: 29011 22300 165 440 0 28567 0
[pid=10005] ppid=10003 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10005/stat : 10005 (cp2_pre.sh) S 10003 10002 4265 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274613207 9367552 277 33554432000 4194304 5064252 140735160084464 140735160083168 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10005/statm: 2287 277 234 213 0 72 0
[pid=10006] ppid=10005 vsize=515912 CPUtime=1.73 cores=0,2,4,6
/proc/10006/stat : 10006 (coprocessor) R 10005 10002 4265 0 -1 4202496 55972 0 0 0 161 12 0 0 20 0 1 0 274613207 528293888 113801 33554432000 4194304 6586260 140735279219168 140735279215432 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10006/statm: 128978 113802 164 584 0 128390 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 650252
[startup+6.30036 s]
/proc/loadavg: 2.46 2.35 2.21 3/185 10006
/proc/meminfo: memFree=18299376/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=116044 CPUtime=1.34 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4202496 16281 0 0 0 125 9 0 0 20 0 1 0 274613072 118829056 22300 33554432000 4194304 5992684 140735729090192 140735729084640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10003/statm: 29011 22300 165 440 0 28567 0
[pid=10005] ppid=10003 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10005/stat : 10005 (cp2_pre.sh) S 10003 10002 4265 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274613207 9367552 277 33554432000 4194304 5064252 140735160084464 140735160083168 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10005/statm: 2287 277 234 213 0 72 0
[pid=10006] ppid=10005 vsize=638896 CPUtime=4.93 cores=0,2,4,6
/proc/10006/stat : 10006 (coprocessor) R 10005 10002 4265 0 -1 4202496 67689 0 0 0 477 16 0 0 20 0 1 0 274613207 654229504 156170 33554432000 4194304 6586260 140735279219168 140735279215496 4406902 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10006/statm: 159724 156170 194 584 0 159136 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 773236
[startup+12.7004 s]
/proc/loadavg: 2.42 2.34 2.21 3/184 10008
/proc/meminfo: memFree=18711708/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=132172 CPUtime=11.14 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4202496 18113 70395 0 0 126 9 723 256 20 0 1 0 274613072 135344128 26089 33554432000 4194304 5992684 140735729090192 140735729076456 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 33043 26089 167 440 0 32599 0
[pid=10008] ppid=10003 vsize=204552 CPUtime=1.54 cores=0,2,4,6
/proc/10008/stat : 10008 (glucosInc) R 10003 10002 4265 0 -1 4202496 34432 0 0 0 148 6 0 0 20 0 1 0 274614187 209461248 45786 33554432000 4194304 5654031 140733225409904 140733225406376 4976752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10008/statm: 51138 45786 141 357 0 50778 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 345872
Solver just ended. Dumping a history of the last processes samples
[startup+14.4067 s]
/proc/loadavg: 2.39 2.33 2.21 2/185 10009
/proc/meminfo: memFree=18444968/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=141464 CPUtime=11.57 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4204032 19178 70395 0 0 162 16 723 256 20 0 1 0 274613072 144859136 28675 33554432000 4194304 5992684 140735729090192 140735729084728 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 35366 28675 185 440 0 34922 0
[pid=10008] ppid=10003 vsize=204556 CPUtime=1.55 cores=0,2,4,6
/proc/10008/stat : 10008 (glucosInc) S 10003 10002 4265 0 -1 4202496 34437 0 0 0 149 6 0 0 20 0 1 0 274614187 209465344 45791 33554432000 4194304 5654031 140733225409904 140733225408216 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10008/statm: 51139 45791 146 357 0 50779 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 355168
[startup+15.2003 s]
/proc/loadavg: 2.39 2.33 2.21 2/185 10009
/proc/meminfo: memFree=18444968/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=141464 CPUtime=11.57 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4204032 19178 70395 0 0 162 16 723 256 20 0 1 0 274613072 144859136 28675 33554432000 4194304 5992684 140735729090192 140735729084728 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 35366 28675 185 440 0 34922 0
[pid=10008] ppid=10003 vsize=204556 CPUtime=1.55 cores=0,2,4,6
/proc/10008/stat : 10008 (glucosInc) S 10003 10002 4265 0 -1 4202496 34437 0 0 0 149 6 0 0 20 0 1 0 274614187 209465344 45791 33554432000 4194304 5654031 140733225409904 140733225408216 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10008/statm: 51139 45791 146 357 0 50779 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 355168
[startup+15.4003 s]
/proc/loadavg: 2.39 2.33 2.21 2/185 10009
/proc/meminfo: memFree=18447944/32873844 swapFree=7124/7124
[pid=10002] ppid=10000 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (npSolver-pbo-It) S 10000 10002 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274613071 9367552 274 33554432000 4194304 5064252 140734842330528 140734842329440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10002/statm: 2287 274 233 213 0 72 0
[pid=10003] ppid=10002 vsize=141464 CPUtime=11.57 cores=0,2,4,6
/proc/10003/stat : 10003 (npSolver-pbo) S 10002 10002 4265 0 -1 4204032 19178 70395 0 0 162 16 723 256 20 0 1 0 274613072 144859136 28675 33554432000 4194304 5992684 140735729090192 140735729084728 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 35366 28675 185 440 0 34922 0
[pid=10008] ppid=10003 vsize=204556 CPUtime=1.55 cores=0,2,4,6
/proc/10008/stat : 10008 (glucosInc) S 10003 10002 4265 0 -1 4202496 34437 0 0 0 149 6 0 0 20 0 1 0 274614187 209465344 45791 33554432000 4194304 5654031 140733225409904 140733225408216 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10008/statm: 51139 45791 146 357 0 50779 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 355168
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10002 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=862652
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=731584
# CPU time returned by wait4() is 11.5942
# while last known CPU time is 13.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 15.4311
CPU time (s): 13.12
CPU user time (s): 10.34
CPU system time (s): 2.78
CPU usage (%): 85.0229
Max. virtual memory (cumulated for all children) (KiB): 872264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.86265
system time used= 2.73158
maximum resident set size= 714804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 162184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32675
involuntary context switches= 23
runsolver used 0.026995 second user time and 0.065989 second system time
The end