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-3748047-1339159050/watcher-3748047-1339159050 -o /tmp/evaluation-result-3748047-1339159050/solver-3748047-1339159050 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748047-1339159050.opb 1184147201 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: 0.92 1.06 1.46 4/175 32387
/proc/meminfo: memFree=30933208/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[startup+0.0218069 s]
/proc/loadavg: 0.92 1.06 1.46 4/175 32387
/proc/meminfo: memFree=30933208/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 0.92 1.06 1.46 4/175 32387
/proc/meminfo: memFree=30933208/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300277 s]
/proc/loadavg: 0.92 1.06 1.46 4/175 32387
/proc/meminfo: memFree=30933208/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 0.92 1.06 1.46 4/175 32387
/proc/meminfo: memFree=30933208/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 0.92 1.06 1.46 4/180 32392
/proc/meminfo: memFree=30677940/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=188048 CPUtime=1.48 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) R 32387 32387 28157 0 -1 4202496 13446 0 0 0 135 13 0 0 20 0 1 0 382030513 192561152 46433 33554432000 4194304 6004724 140734639878320 140734639872952 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32389/statm: 47012 46433 156 442 0 46566 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 197196
[startup+3.10043 s]
/proc/loadavg: 0.92 1.06 1.46 4/182 32394
/proc/meminfo: memFree=30390940/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=1.52 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13453 0 0 0 135 17 0 0 20 0 1 0 382030513 126517248 30315 33554432000 4194304 6004724 140734639878320 140734639872784 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32389/statm: 30888 30315 162 442 0 30442 0
[pid=32393] ppid=32389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32393/stat : 32393 (cp2_pre.sh) S 32389 32387 28157 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382030666 9367552 277 33554432000 4194304 5064252 140734329240960 140734329239664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32393/statm: 2287 277 234 213 0 72 0
[pid=32394] ppid=32393 vsize=346744 CPUtime=1.55 cores=1,3,5,7
/proc/32394/stat : 32394 (coprocessor) R 32393 32387 28157 0 -1 4202496 36707 0 0 0 146 9 0 0 20 0 1 0 382030666 355065856 77163 33554432000 4194304 6586260 140734217985184 140734217981448 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/32394/statm: 86686 77163 165 584 0 86098 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 488592
[startup+6.30041 s]
/proc/loadavg: 1.01 1.08 1.46 4/181 32396
/proc/meminfo: memFree=30209184/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=1.52 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13453 0 0 0 135 17 0 0 20 0 1 0 382030513 126517248 30315 33554432000 4194304 6004724 140734639878320 140734639872784 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32389/statm: 30888 30315 162 442 0 30442 0
[pid=32393] ppid=32389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32393/stat : 32393 (cp2_pre.sh) S 32389 32387 28157 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382030666 9367552 277 33554432000 4194304 5064252 140734329240960 140734329239664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32393/statm: 2287 277 234 213 0 72 0
[pid=32394] ppid=32393 vsize=441748 CPUtime=4.75 cores=1,3,5,7
/proc/32394/stat : 32394 (coprocessor) R 32393 32387 28157 0 -1 4202496 54971 0 0 0 461 14 0 0 20 0 1 0 382030666 452349952 107691 33554432000 4194304 6586260 140734217985184 140734217981208 4685176 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/32394/statm: 110437 107691 191 584 0 109849 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 583596
[startup+12.7004 s]
/proc/loadavg: 1.09 1.09 1.47 4/180 32398
/proc/meminfo: memFree=30545152/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=124128 CPUtime=3.98 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 21677 0 0 0 394 4 0 0 20 0 1 0 382031383 127107072 26311 33554432000 4194304 5654031 140734585192912 140734585190808 4232491 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 31032 26311 131 357 0 30672 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 256828
[startup+25.5004 s]
/proc/loadavg: 1.29 1.14 1.47 4/180 32398
/proc/meminfo: memFree=30536216/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=125328 CPUtime=16.78 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 22259 0 0 0 1673 5 0 0 20 0 1 0 382031383 128335872 27906 33554432000 4194304 5654031 140734585192912 140734585190696 4216213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 31332 27906 140 357 0 30972 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 258028
[startup+51.1004 s]
/proc/loadavg: 1.53 1.21 1.49 4/179 32398
/proc/meminfo: memFree=30528464/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=127132 CPUtime=42.37 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 23127 0 0 0 4232 5 0 0 20 0 1 0 382031383 130183168 28087 33554432000 4194304 5654031 140734585192912 140734585180728 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 31783 28087 141 357 0 31423 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 259832
[startup+102.307 s]
/proc/loadavg: 1.83 1.34 1.52 4/179 32398
/proc/meminfo: memFree=30492972/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=159240 CPUtime=93.57 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 24693 0 0 0 9351 6 0 0 20 0 1 0 382031383 163061760 34393 33554432000 4194304 5654031 140734585192912 140734585180728 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 39810 34393 141 357 0 39450 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 291940
[startup+162.3 s]
/proc/loadavg: 1.94 1.46 1.55 4/180 32401
/proc/meminfo: memFree=30469352/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=196700 CPUtime=153.55 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26000 0 0 0 15347 8 0 0 20 0 1 0 382031383 201420800 39719 33554432000 4194304 5654031 140734585192912 140734585190792 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 49175 39719 141 357 0 48815 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 329400
[startup+222.3 s]
/proc/loadavg: 1.97 1.55 1.57 4/179 32401
/proc/meminfo: memFree=30449588/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=196700 CPUtime=213.54 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26101 0 0 0 21345 9 0 0 20 0 1 0 382031383 201420800 42866 33554432000 4194304 5654031 140734585192912 140734585180728 4232710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 49175 42866 141 357 0 48815 0
Current children cumulated CPU time (s) 222.22
################
# More data... #
################
/proc/loadavg: 2.00 1.98 1.84 3/179 32494
/proc/meminfo: memFree=30405800/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208664 CPUtime=1293.36 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26868 0 0 0 129327 9 0 0 20 0 1 0 382031383 213671936 49424 33554432000 4194304 5654031 140734585192912 140734585180728 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52166 49424 141 357 0 51806 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 341364
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.84 3/180 32497
/proc/meminfo: memFree=30405472/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208664 CPUtime=1353.34 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26869 0 0 0 135325 9 0 0 20 0 1 0 382031383 213671936 49424 33554432000 4194304 5654031 140734585192912 140734585180728 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52166 49424 141 357 0 51806 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 341364
[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 1.85 3/180 32520
/proc/meminfo: memFree=30405456/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208664 CPUtime=1413.34 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26869 0 0 0 141325 9 0 0 20 0 1 0 382031383 213671936 49424 33554432000 4194304 5654031 140734585192912 140734585180728 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52166 49424 141 357 0 51806 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 341364
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.86 3/179 32521
/proc/meminfo: memFree=30405496/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208664 CPUtime=1473.32 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 26869 0 0 0 147323 9 0 0 20 0 1 0 382031383 213671936 49424 33554432000 4194304 5654031 140734585192912 140734585180728 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52166 49424 141 357 0 51806 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 341364
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/179 32521
/proc/meminfo: memFree=30457068/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=159348 CPUtime=1533.32 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 27305 0 0 0 153321 11 0 0 20 0 1 0 382031383 163172352 36434 33554432000 4194304 5654031 140734585192912 140734585180728 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 39837 36434 141 357 0 39477 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 292048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 32521
/proc/meminfo: memFree=30411204/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208668 CPUtime=1593.31 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 27603 0 0 0 159319 12 0 0 20 0 1 0 382031383 213676032 47971 33554432000 4194304 5654031 140734585192912 140734585180728 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52167 47971 141 357 0 51807 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 341368
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 32521
/proc/meminfo: memFree=30421444/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208668 CPUtime=1653.3 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 27745 0 0 0 165318 12 0 0 20 0 1 0 382031383 213676032 45411 33554432000 4194304 5654031 140734585192912 140734585180728 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52167 45411 141 357 0 51807 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 341368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 32521
/proc/meminfo: memFree=30402456/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=239488 CPUtime=1713.29 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 28339 0 0 0 171315 14 0 0 20 0 1 0 382031383 245235712 50086 33554432000 4194304 5654031 140734585192912 140734585191000 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 59872 50086 141 357 0 59512 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 372188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 32522
/proc/meminfo: memFree=30417116/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208668 CPUtime=1773.28 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 28481 0 0 0 177313 15 0 0 20 0 1 0 382031383 213676032 46435 33554432000 4194304 5654031 140734585192912 140734585180728 4232659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52167 46435 141 357 0 51807 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 341368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 32522
/proc/meminfo: memFree=30410972/32873852 swapFree=7632/7632
[pid=32387] ppid=32385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32387/stat : 32387 (npSolver-pbo-I.) S 32385 32387 28157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382030513 9367552 275 33554432000 4194304 5064252 140734292126000 140734292124912 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32387/statm: 2287 275 233 213 0 72 0
[pid=32389] ppid=32387 vsize=123552 CPUtime=8.68 cores=1,3,5,7
/proc/32389/stat : 32389 (npSolver-pbo) S 32387 32387 28157 0 -1 4202496 13469 58099 0 0 135 17 650 66 20 0 1 0 382030513 126517248 30319 33554432000 4194304 6004724 140734639878320 140734639864600 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32389/statm: 30888 30319 166 442 0 30442 0
[pid=32398] ppid=32389 vsize=208668 CPUtime=1791.39 cores=1,3,5,7
/proc/32398/stat : 32398 (glucosInc) R 32389 32387 28157 0 -1 4202496 28484 0 0 0 179124 15 0 0 20 0 1 0 382031383 213676032 47971 33554432000 4194304 5654031 140734585192912 140734585180728 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32398/statm: 52167 47971 141 357 0 51807 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 341368
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32387 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=864804
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=840872
# CPU time returned by wait4() is 8.70568
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.09
CPU system time (s): 0.98
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 612140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8648
system time used= 0.840872
maximum resident set size= 453988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 49
runsolver used 3.70644 second user time and 8.74367 second system time
The end