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-3749146-1339159965/watcher-3749146-1339159965 -o /tmp/evaluation-result-3749146-1339159965/solver-3749146-1339159965 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749146-1339159965.opb 1938010786 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.12 1.52 1.49 3/179 8914
/proc/meminfo: memFree=31336940/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[startup+0.070316 s]
/proc/loadavg: 2.12 1.52 1.49 3/179 8914
/proc/meminfo: memFree=31336940/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 2.12 1.52 1.49 3/179 8914
/proc/meminfo: memFree=31336940/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300317 s]
/proc/loadavg: 2.12 1.52 1.49 3/179 8914
/proc/meminfo: memFree=31336940/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700299 s]
/proc/loadavg: 2.12 1.52 1.49 3/179 8914
/proc/meminfo: memFree=31336940/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.12 1.52 1.49 3/181 8916
/proc/meminfo: memFree=31203416/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126508 CPUtime=1.1 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4202496 13390 0 0 0 99 11 0 0 20 0 1 0 382122599 129544192 24279 33554432000 4194304 6004724 140734855265808 140734855260272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31627 24279 163 442 0 31181 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 135656
[startup+3.10044 s]
/proc/loadavg: 2.12 1.52 1.49 3/183 8918
/proc/meminfo: memFree=30996556/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126508 CPUtime=1.1 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4202496 13390 0 0 0 99 11 0 0 20 0 1 0 382122599 129544192 24279 33554432000 4194304 6004724 140734855265808 140734855260272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31627 24279 163 442 0 31181 0
[pid=8917] ppid=8915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8917/stat : 8917 (cp2_pre.sh) S 8915 8914 4304 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 382122722 9367552 276 33554432000 4194304 5064252 140735574084400 140735574083104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8917/statm: 2287 276 234 213 0 72 0
[pid=8918] ppid=8917 vsize=287020 CPUtime=1.84 cores=1,3,5,7
/proc/8918/stat : 8918 (coprocessor) R 8917 8914 4304 0 -1 4202496 40219 0 0 0 175 9 0 0 20 0 1 0 382122723 293908480 64793 33554432000 4194304 6586260 140735855573744 140735855570008 4495243 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8918/statm: 71755 64793 170 584 0 71167 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 431824
[startup+6.30037 s]
/proc/loadavg: 2.11 1.53 1.49 3/183 8918
/proc/meminfo: memFree=30882068/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126508 CPUtime=1.1 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4202496 13390 0 0 0 99 11 0 0 20 0 1 0 382122599 129544192 24279 33554432000 4194304 6004724 140734855265808 140734855260272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31627 24279 163 442 0 31181 0
[pid=8917] ppid=8915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8917/stat : 8917 (cp2_pre.sh) S 8915 8914 4304 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 382122722 9367552 276 33554432000 4194304 5064252 140735574084400 140735574083104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8917/statm: 2287 276 234 213 0 72 0
[pid=8918] ppid=8917 vsize=336348 CPUtime=4.89 cores=1,3,5,7
/proc/8918/stat : 8918 (coprocessor) R 8917 8914 4304 0 -1 4202496 47519 0 0 0 466 23 0 0 20 0 1 0 382122723 344420352 81864 33554432000 4194304 6586260 140735855573744 140735855569368 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 15 0 0
/proc/8918/statm: 84087 81864 202 584 0 83499 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 481152
Solver just ended. Dumping a history of the last processes samples
[startup+8.10042 s]
/proc/loadavg: 2.11 1.53 1.49 3/182 8920
/proc/meminfo: memFree=31115928/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126512 CPUtime=7.22 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4204032 16381 48422 0 0 117 22 546 37 20 0 1 0 382122599 129548288 24307 33554432000 4194304 6004724 140734855265808 140734855260360 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31628 24307 188 442 0 31182 0
[pid=8920] ppid=8915 vsize=116336 CPUtime=0.48 cores=1,3,5,7
/proc/8920/stat : 8920 (glucosInc) S 8915 8914 4304 0 -1 4202496 22188 0 0 0 43 5 0 0 20 0 1 0 382123322 119128064 25565 33554432000 4194304 5654031 140735769380224 140735769378536 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8920/statm: 29084 25565 146 357 0 28724 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 251996
[startup+8.90031 s]
/proc/loadavg: 2.10 1.54 1.49 2/183 8921
/proc/meminfo: memFree=30948520/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126512 CPUtime=7.28 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4204032 16382 48422 0 0 117 28 546 37 20 0 1 0 382122599 129548288 24308 33554432000 4194304 6004724 140734855265808 140734855260360 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31628 24308 189 442 0 31182 0
[pid=8920] ppid=8915 vsize=116336 CPUtime=0.48 cores=1,3,5,7
/proc/8920/stat : 8920 (glucosInc) S 8915 8914 4304 0 -1 4202496 22188 0 0 0 43 5 0 0 20 0 1 0 382123322 119128064 25565 33554432000 4194304 5654031 140735769380224 140735769378536 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8920/statm: 29084 25565 146 357 0 28724 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 251996
[startup+9.30031 s]
/proc/loadavg: 2.10 1.54 1.49 2/183 8921
/proc/meminfo: memFree=30948520/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126512 CPUtime=7.28 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4204032 16382 48422 0 0 117 28 546 37 20 0 1 0 382122599 129548288 24308 33554432000 4194304 6004724 140734855265808 140734855260360 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31628 24308 189 442 0 31182 0
[pid=8920] ppid=8915 vsize=116336 CPUtime=0.48 cores=1,3,5,7
/proc/8920/stat : 8920 (glucosInc) S 8915 8914 4304 0 -1 4202496 22188 0 0 0 43 5 0 0 20 0 1 0 382123322 119128064 25565 33554432000 4194304 5654031 140735769380224 140735769378536 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8920/statm: 29084 25565 146 357 0 28724 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 251996
[startup+9.70033 s]
/proc/loadavg: 2.10 1.54 1.49 2/183 8921
/proc/meminfo: memFree=30948520/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126512 CPUtime=7.28 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4204032 16382 48422 0 0 117 28 546 37 20 0 1 0 382122599 129548288 24308 33554432000 4194304 6004724 140734855265808 140734855260360 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31628 24308 189 442 0 31182 0
[pid=8920] ppid=8915 vsize=116336 CPUtime=0.48 cores=1,3,5,7
/proc/8920/stat : 8920 (glucosInc) S 8915 8914 4304 0 -1 4202496 22188 0 0 0 43 5 0 0 20 0 1 0 382123322 119128064 25565 33554432000 4194304 5654031 140735769380224 140735769378536 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8920/statm: 29084 25565 146 357 0 28724 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 251996
[startup+9.80033 s]
/proc/loadavg: 2.10 1.54 1.49 2/183 8921
/proc/meminfo: memFree=30948520/32873844 swapFree=7380/7380
[pid=8914] ppid=8912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8914/stat : 8914 (npSolver-pbo-I.) S 8912 8914 4304 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382122598 9367552 274 33554432000 4194304 5064252 140736744161136 140736744160048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8914/statm: 2287 274 233 213 0 72 0
[pid=8915] ppid=8914 vsize=126512 CPUtime=7.28 cores=1,3,5,7
/proc/8915/stat : 8915 (npSolver-pbo) S 8914 8914 4304 0 -1 4204032 16382 48422 0 0 117 28 546 37 20 0 1 0 382122599 129548288 24308 33554432000 4194304 6004724 140734855265808 140734855260360 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/8915/statm: 31628 24308 189 442 0 31182 0
[pid=8920] ppid=8915 vsize=116336 CPUtime=0.48 cores=1,3,5,7
/proc/8920/stat : 8920 (glucosInc) S 8915 8914 4304 0 -1 4202496 22188 0 0 0 43 5 0 0 20 0 1 0 382123322 119128064 25565 33554432000 4194304 5654031 140735769380224 140735769378536 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8920/statm: 29084 25565 146 357 0 28724 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 251996
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8914 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=641990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=666898
# CPU time returned by wait4() is 7.30889
# while last known CPU time is 7.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 9.8074
CPU time (s): 7.76
CPU user time (s): 7.06
CPU system time (s): 0.7
CPU usage (%): 79.124
Max. virtual memory (cumulated for all children) (KiB): 491124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.64199
system time used= 0.666898
maximum resident set size= 337428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26449
involuntary context switches= 16
runsolver used 0.018997 second user time and 0.043993 second system time
The end