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-3699264-1338127104/watcher-3699264-1338127104 -o /tmp/evaluation-result-3699264-1338127104/solver-3699264-1338127104 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699264-1338127104.opb 406543267 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.18 2.05 2.01 3/179 19124
/proc/meminfo: memFree=30862204/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[startup+0.0920419 s]
/proc/loadavg: 2.18 2.05 2.01 3/179 19124
/proc/meminfo: memFree=30862204/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.18 2.05 2.01 3/179 19124
/proc/meminfo: memFree=30862204/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 2.18 2.05 2.01 3/179 19124
/proc/meminfo: memFree=30862204/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700249 s]
/proc/loadavg: 2.18 2.05 2.01 3/179 19124
/proc/meminfo: memFree=30862204/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.18 2.05 2.01 3/183 19128
/proc/meminfo: memFree=30761760/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=62300 CPUtime=0.85 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4202496 10466 0 0 0 79 6 0 0 20 0 1 0 278834963 63795200 14030 33554432000 4194304 5992684 140736558808640 140736558803088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 15575 14030 174 440 0 15131 0
[pid=19127] ppid=19125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (cp2_pre.sh) S 19125 19124 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278835049 9367552 277 33554432000 4194304 5064252 140735271697968 140735271696672 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19127/statm: 2287 277 234 213 0 72 0
[pid=19128] ppid=19127 vsize=127892 CPUtime=0.62 cores=1,3,5,7
/proc/19128/stat : 19128 (coprocessor) R 19127 19124 18146 0 -1 4202496 21176 0 0 0 58 4 0 0 20 0 1 0 278835049 130961408 28612 33554432000 4194304 6586260 140733541647920 140733541644680 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19128/statm: 31973 28613 166 584 0 31385 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 208488
[startup+3.10039 s]
/proc/loadavg: 2.18 2.05 2.01 3/183 19128
/proc/meminfo: memFree=30641128/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=62300 CPUtime=0.85 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4202496 10466 0 0 0 79 6 0 0 20 0 1 0 278834963 63795200 14030 33554432000 4194304 5992684 140736558808640 140736558803088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 15575 14030 174 440 0 15131 0
[pid=19127] ppid=19125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (cp2_pre.sh) S 19125 19124 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278835049 9367552 277 33554432000 4194304 5064252 140735271697968 140735271696672 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19127/statm: 2287 277 234 213 0 72 0
[pid=19128] ppid=19127 vsize=175648 CPUtime=2.21 cores=1,3,5,7
/proc/19128/stat : 19128 (coprocessor) D 19127 19124 18146 0 -1 4202496 31921 0 0 0 213 8 0 0 20 0 1 0 278835049 179863552 42719 33554432000 4194304 6586260 140733541647920 140733541643672 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 5 0 0 0 0 0
/proc/19128/statm: 43912 42719 204 584 0 43324 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 256244
[startup+6.3003 s]
/proc/loadavg: 2.17 2.05 2.01 2/183 19131
/proc/meminfo: memFree=30610536/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=66216 CPUtime=3.79 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4204032 11954 32823 0 0 90 13 264 12 20 0 1 0 278834963 67805184 15059 33554432000 4194304 5992684 140736558808640 140736558803176 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 16554 15059 194 440 0 16110 0
[pid=19130] ppid=19125 vsize=71832 CPUtime=0.85 cores=1,3,5,7
/proc/19130/stat : 19130 (glucosInc) S 19125 19124 18146 0 -1 4202496 14136 0 0 0 82 3 0 0 20 0 1 0 278835344 73555968 15152 33554432000 4194304 5654031 140735633887008 140735633885320 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19130/statm: 17958 15152 146 357 0 17598 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 147196
heavy processes:
%CPU=14 pid=19131 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+6.5003 s]
/proc/loadavg: 2.17 2.05 2.01 2/183 19131
/proc/meminfo: memFree=30610528/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=66216 CPUtime=3.79 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4204032 11954 32823 0 0 90 13 264 12 20 0 1 0 278834963 67805184 15059 33554432000 4194304 5992684 140736558808640 140736558803176 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 16554 15059 194 440 0 16110 0
[pid=19130] ppid=19125 vsize=71832 CPUtime=0.85 cores=1,3,5,7
/proc/19130/stat : 19130 (glucosInc) S 19125 19124 18146 0 -1 4202496 14136 0 0 0 82 3 0 0 20 0 1 0 278835344 73555968 15152 33554432000 4194304 5654031 140735633887008 140735633885320 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19130/statm: 17958 15152 146 357 0 17598 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 147196
[startup+6.7003 s]
/proc/loadavg: 2.17 2.05 2.01 2/183 19131
/proc/meminfo: memFree=30611644/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=66216 CPUtime=3.79 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4204032 11954 32823 0 0 90 13 264 12 20 0 1 0 278834963 67805184 15059 33554432000 4194304 5992684 140736558808640 140736558803176 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 16554 15059 194 440 0 16110 0
[pid=19130] ppid=19125 vsize=71832 CPUtime=0.85 cores=1,3,5,7
/proc/19130/stat : 19130 (glucosInc) S 19125 19124 18146 0 -1 4202496 14136 0 0 0 82 3 0 0 20 0 1 0 278835344 73555968 15152 33554432000 4194304 5654031 140735633887008 140735633885320 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19130/statm: 17958 15152 146 357 0 17598 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 147196
[startup+6.80635 s]
/proc/loadavg: 2.17 2.05 2.01 2/183 19131
/proc/meminfo: memFree=30611644/32873844 swapFree=7900/7900
[pid=19124] ppid=19122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19124/stat : 19124 (npSolver-pbo-I.) S 19122 19124 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278834962 9367552 275 33554432000 4194304 5064252 140734785590640 140734785589552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19124/statm: 2287 275 233 213 0 72 0
[pid=19125] ppid=19124 vsize=66216 CPUtime=3.79 cores=1,3,5,7
/proc/19125/stat : 19125 (npSolver-pbo) S 19124 19124 18146 0 -1 4204032 11954 32823 0 0 90 13 264 12 20 0 1 0 278834963 67805184 15059 33554432000 4194304 5992684 140736558808640 140736558803176 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19125/statm: 16554 15059 194 440 0 16110 0
[pid=19130] ppid=19125 vsize=71832 CPUtime=0.85 cores=1,3,5,7
/proc/19130/stat : 19130 (glucosInc) S 19125 19124 18146 0 -1 4202496 14136 0 0 0 82 3 0 0 20 0 1 0 278835344 73555968 15152 33554432000 4194304 5654031 140735633887008 140735633885320 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19130/statm: 17958 15152 146 357 0 17598 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 147196
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19124 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=541461
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=262960
# CPU time returned by wait4() is 3.80442
# while last known CPU time is 4.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 6.89623
CPU time (s): 4.64
CPU user time (s): 4.36
CPU system time (s): 0.28
CPU usage (%): 67.2832
Max. virtual memory (cumulated for all children) (KiB): 256244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.54146
system time used= 0.26296
maximum resident set size= 175812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15602
involuntary context switches= 11
runsolver used 0.022996 second user time and 0.072988 second system time
The end