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-3697822-1338126215/watcher-3697822-1338126215 -o /tmp/evaluation-result-3697822-1338126215/solver-3697822-1338126215 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697822-1338126215.opb 341769589 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.88 2.49 2.76 2/179 15264
/proc/meminfo: memFree=28984548/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[startup+0.058853 s]
/proc/loadavg: 2.88 2.49 2.76 2/179 15264
/proc/meminfo: memFree=28984548/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 2.88 2.49 2.76 2/179 15264
/proc/meminfo: memFree=28984548/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.88 2.49 2.76 2/179 15264
/proc/meminfo: memFree=28984548/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700216 s]
/proc/loadavg: 2.88 2.49 2.76 2/179 15264
/proc/meminfo: memFree=28984548/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.88 2.49 2.76 3/181 15266
/proc/meminfo: memFree=28971256/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=90076 CPUtime=1.49 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) R 15264 15264 14200 0 -1 4202496 9478 0 0 0 146 3 0 0 20 0 1 0 278746570 92237824 14392 33554432000 4194304 5992684 140735018936672 140735018932792 4613408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 22519 14392 165 440 0 22075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99224
[startup+3.10035 s]
/proc/loadavg: 2.89 2.50 2.76 3/181 15266
/proc/meminfo: memFree=28871064/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=224496 CPUtime=3.08 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) R 15264 15264 14200 0 -1 4202496 27259 0 0 0 299 9 0 0 20 0 1 0 278746570 229883904 52070 33554432000 4194304 5992684 140735018936672 140735018930344 5044375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 56124 52070 165 440 0 55680 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 233644
[startup+6.30037 s]
/proc/loadavg: 2.89 2.50 2.76 3/183 15268
/proc/meminfo: memFree=28374820/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=380308 CPUtime=4.03 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4202496 34230 0 0 0 360 43 0 0 20 0 1 0 278746570 389435392 65434 33554432000 4194304 5992684 140735018936672 140735018931120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 95077 65434 172 440 0 94633 0
[pid=15267] ppid=15265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15267/stat : 15267 (cp2_pre.sh) S 15265 15264 14200 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278746975 9367552 277 33554432000 4194304 5064252 140734367382112 140734367380816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15267/statm: 2287 277 234 213 0 72 0
[pid=15268] ppid=15267 vsize=504116 CPUtime=2.24 cores=1,3,5,7
/proc/15268/stat : 15268 (coprocessor) R 15267 15264 14200 0 -1 4202496 17542 0 0 0 210 14 0 0 20 0 1 0 278746975 516214784 99025 33554432000 4194304 6586260 140737057446448 140737057442200 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15268/statm: 126029 99025 158 584 0 125441 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 902720
[startup+12.7004 s]
/proc/loadavg: 2.75 2.48 2.75 3/183 15268
/proc/meminfo: memFree=28048840/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=380308 CPUtime=12.25 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4202496 34246 18446 0 0 360 43 776 46 20 0 1 0 278746570 389435392 65436 33554432000 4194304 5992684 140735018936672 140735018922936 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 95077 65436 174 440 0 94633 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 389456
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.75 2.48 2.75 3/182 15270
/proc/meminfo: memFree=27940432/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=437184 CPUtime=12.7 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) R 15264 15264 14200 0 -1 4202496 37818 18446 0 0 404 44 776 46 20 0 1 0 278746570 447676416 79661 33554432000 4194304 5992684 140735018936672 140735018922936 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 109296 79661 180 440 0 108852 0
[pid=15270] ppid=15265 vsize=650948 CPUtime=3.03 cores=1,3,5,7
/proc/15270/stat : 15270 (glucosInc) S 15265 15264 14200 0 -1 4202496 95829 0 0 0 278 25 0 0 20 0 1 0 278747813 666570752 151936 33554432000 4194304 5654031 140734333345872 140734333344184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15270/statm: 162737 151936 147 357 0 162377 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 1097280
[startup+19.1003 s]
/proc/loadavg: 2.69 2.47 2.75 2/183 15271
/proc/meminfo: memFree=27321088/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=437188 CPUtime=13.36 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4204032 37833 18446 0 0 424 90 776 46 20 0 1 0 278746570 447680512 79674 33554432000 4194304 5992684 140735018936672 140735018931208 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 109297 79674 192 440 0 108853 0
[pid=15270] ppid=15265 vsize=650948 CPUtime=3.03 cores=1,3,5,7
/proc/15270/stat : 15270 (glucosInc) S 15265 15264 14200 0 -1 4202496 95829 0 0 0 278 25 0 0 20 0 1 0 278747813 666570752 151936 33554432000 4194304 5654031 140734333345872 140734333344184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15270/statm: 162737 151936 147 357 0 162377 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 1097284
[startup+19.9003 s]
/proc/loadavg: 2.69 2.47 2.75 2/183 15271
/proc/meminfo: memFree=27321088/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=437188 CPUtime=13.36 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4204032 37833 18446 0 0 424 90 776 46 20 0 1 0 278746570 447680512 79674 33554432000 4194304 5992684 140735018936672 140735018931208 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 109297 79674 192 440 0 108853 0
[pid=15270] ppid=15265 vsize=650948 CPUtime=3.03 cores=1,3,5,7
/proc/15270/stat : 15270 (glucosInc) S 15265 15264 14200 0 -1 4202496 95829 0 0 0 278 25 0 0 20 0 1 0 278747813 666570752 151936 33554432000 4194304 5654031 140734333345872 140734333344184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15270/statm: 162737 151936 147 357 0 162377 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 1097284
[startup+20.3003 s]
/proc/loadavg: 2.69 2.47 2.75 2/183 15271
/proc/meminfo: memFree=27321088/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=437188 CPUtime=13.36 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4204032 37833 18446 0 0 424 90 776 46 20 0 1 0 278746570 447680512 79674 33554432000 4194304 5992684 140735018936672 140735018931208 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 109297 79674 192 440 0 108853 0
[pid=15270] ppid=15265 vsize=650948 CPUtime=3.03 cores=1,3,5,7
/proc/15270/stat : 15270 (glucosInc) S 15265 15264 14200 0 -1 4202496 95829 0 0 0 278 25 0 0 20 0 1 0 278747813 666570752 151936 33554432000 4194304 5654031 140734333345872 140734333344184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15270/statm: 162737 151936 147 357 0 162377 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 1097284
[startup+20.7003 s]
/proc/loadavg: 2.69 2.47 2.75 2/183 15271
/proc/meminfo: memFree=27321088/32873844 swapFree=7116/7116
[pid=15264] ppid=15262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15264/stat : 15264 (npSolver-pbo-It) S 15262 15264 14200 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278746570 9367552 274 33554432000 4194304 5064252 140736827654304 140736827653216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15264/statm: 2287 274 233 213 0 72 0
[pid=15265] ppid=15264 vsize=437188 CPUtime=13.36 cores=1,3,5,7
/proc/15265/stat : 15265 (npSolver-pbo) S 15264 15264 14200 0 -1 4204032 37833 18446 0 0 424 90 776 46 20 0 1 0 278746570 447680512 79674 33554432000 4194304 5992684 140735018936672 140735018931208 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15265/statm: 109297 79674 192 440 0 108853 0
[pid=15270] ppid=15265 vsize=650948 CPUtime=3.03 cores=1,3,5,7
/proc/15270/stat : 15270 (glucosInc) S 15265 15264 14200 0 -1 4202496 95829 0 0 0 278 25 0 0 20 0 1 0 278747813 666570752 151936 33554432000 4194304 5654031 140734333345872 140734333344184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15270/statm: 162737 151936 147 357 0 162377 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 1097284
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15264 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=10174
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=377790
# CPU time returned by wait4() is 13.388
# while last known CPU time is 16.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 20.7219
CPU time (s): 16.39
CPU user time (s): 14.78
CPU system time (s): 1.61
CPU usage (%): 79.0949
Max. virtual memory (cumulated for all children) (KiB): 1097284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0102
system time used= 1.37779
maximum resident set size= 405532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 565456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90030
involuntary context switches= 40
runsolver used 0.049992 second user time and 0.089986 second system time
The end