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-3747937-1339111293/watcher-3747937-1339111293 -o /tmp/evaluation-result-3747937-1339111293/solver-3747937-1339111293 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747937-1339111293.opb 384264741 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: 1.24 1.65 1.86 3/181 9579
/proc/meminfo: memFree=30896248/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[startup+0.0667359 s]
/proc/loadavg: 1.24 1.65 1.86 3/181 9579
/proc/meminfo: memFree=30896248/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100171 s]
/proc/loadavg: 1.24 1.65 1.86 3/181 9579
/proc/meminfo: memFree=30896248/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300203 s]
/proc/loadavg: 1.24 1.65 1.86 3/181 9579
/proc/meminfo: memFree=30896248/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70021 s]
/proc/loadavg: 1.24 1.65 1.86 3/181 9579
/proc/meminfo: memFree=30896248/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30892224/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2696 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4202496 1922 2454 0 0 1 0 20 0 20 0 1 0 21096262 2760704 330 33554432000 4194304 6004724 140733350971344 140733350957624 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 674 330 167 442 0 228 0
[pid=9585] ppid=9580 vsize=7188 CPUtime=1.26 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) R 9580 9579 8001 0 -1 4202496 1700 0 0 0 126 0 0 0 20 0 1 0 21096285 7360512 1087 33554432000 4194304 5654031 140734989124400 140734989122280 4234964 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 1797 1087 132 357 0 1437 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19032
[startup+3.10027 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30887636/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2696 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4202496 1922 2454 0 0 1 0 20 0 20 0 1 0 21096262 2760704 330 33554432000 4194304 6004724 140733350971344 140733350957624 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 674 330 167 442 0 228 0
[pid=9585] ppid=9580 vsize=8780 CPUtime=2.85 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) R 9580 9579 8001 0 -1 4202496 2268 0 0 0 285 0 0 0 20 0 1 0 21096285 8990720 1635 33554432000 4194304 5654031 140734989124400 140734989122280 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 2195 1635 132 357 0 1835 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 20624
Solver just ended. Dumping a history of the last processes samples
[startup+3.90029 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30885340/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2696 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4202496 1922 2454 0 0 1 0 20 0 20 0 1 0 21096262 2760704 330 33554432000 4194304 6004724 140733350971344 140733350957624 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 674 330 167 442 0 228 0
[pid=9585] ppid=9580 vsize=8780 CPUtime=3.65 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) R 9580 9579 8001 0 -1 4202496 2274 0 0 0 365 0 0 0 20 0 1 0 21096285 8990720 1641 33554432000 4194304 5654031 140734989124400 140734989122280 4232830 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 2195 1641 138 357 0 1835 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 20624
[startup+4.30027 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30879756/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2696 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4202496 1922 2454 0 0 1 0 20 0 20 0 1 0 21096262 2760704 330 33554432000 4194304 6004724 140733350971344 140733350957624 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 674 330 167 442 0 228 0
[pid=9585] ppid=9580 vsize=13132 CPUtime=4.06 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) R 9580 9579 8001 0 -1 4202496 2413 0 0 0 406 0 0 0 20 0 1 0 21096285 13447168 2287 33554432000 4194304 5654031 140734989124400 140734989122280 4234964 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 3283 2287 138 357 0 2923 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 24976
[startup+4.50028 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30879756/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2696 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4202496 1922 2454 0 0 1 0 20 0 20 0 1 0 21096262 2760704 330 33554432000 4194304 6004724 140733350971344 140733350957624 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 674 330 167 442 0 228 0
[pid=9585] ppid=9580 vsize=13132 CPUtime=4.25 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) R 9580 9579 8001 0 -1 4202496 2414 0 0 0 425 0 0 0 20 0 1 0 21096285 13447168 2288 33554432000 4194304 5654031 140734989124400 140734989122280 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 3283 2288 138 357 0 2923 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 24976
[startup+4.60027 s]
/proc/loadavg: 1.24 1.65 1.86 3/184 9585
/proc/meminfo: memFree=30879756/32873844 swapFree=7124/7124
[pid=9579] ppid=9577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (npSolver-pbo-I.) S 9577 9579 8001 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 21096262 9367552 275 33554432000 4194304 5064252 140735624885760 140735624884672 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9579/statm: 2287 275 233 213 0 72 0
[pid=9580] ppid=9579 vsize=2700 CPUtime=0.21 cores=0,2,4,6
/proc/9580/stat : 9580 (npSolver-pbo) S 9579 9579 8001 0 -1 4204032 2007 2454 0 0 1 0 20 0 20 0 1 0 21096262 2764800 355 33554432000 4194304 6004724 140733350971344 140733350965896 5251733 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9580/statm: 675 355 189 442 0 229 0
[pid=9585] ppid=9580 vsize=13140 CPUtime=4.28 cores=0,2,4,6
/proc/9585/stat : 9585 (glucosInc) S 9580 9579 8001 0 -1 4202496 2423 0 0 0 428 0 0 0 20 0 1 0 21096285 13455360 2297 33554432000 4194304 5654031 140734989124400 140734989122712 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9585/statm: 3285 2297 146 357 0 2925 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 24988
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9579 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=220966
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.236963
# while last known CPU time is 4.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4.61497
CPU time (s): 4.49
CPU user time (s): 4.49
CPU system time (s): 0
CPU usage (%): 97.2922
Max. virtual memory (cumulated for all children) (KiB): 24988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.220966
system time used= 0.015997
maximum resident set size= 29728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 10
runsolver used 0.009998 second user time and 0.020996 second system time
The end