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-3748566-1339173599/watcher-3748566-1339173599 -o /tmp/evaluation-result-3748566-1339173599/solver-3748566-1339173599 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748566-1339173599.opb 1976884151 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: 4.73 3.39 2.54 4/179 26888
/proc/meminfo: memFree=17428124/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[startup+0.0130459 s]
/proc/loadavg: 4.73 3.39 2.54 4/179 26888
/proc/meminfo: memFree=17428124/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 4.73 3.39 2.54 4/179 26888
/proc/meminfo: memFree=17428124/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 4.73 3.39 2.54 4/179 26888
/proc/meminfo: memFree=17428124/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 4.73 3.39 2.54 4/179 26888
/proc/meminfo: memFree=17428124/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 4.73 3.39 2.54 4/183 26892
/proc/meminfo: memFree=23122244/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=97188 CPUtime=0.69 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 12459 0 0 0 63 6 0 0 20 0 1 0 383484323 99520512 22825 33554432000 4194304 6004724 140737249983536 140737249978000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26889/statm: 24297 22825 164 442 0 23851 0
[pid=26891] ppid=26889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26891/stat : 26891 (cp2_pre.sh) S 26889 26888 26543 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383484393 9367552 277 33554432000 4194304 5064252 140734805565408 140734805564112 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26891/statm: 2287 277 234 213 0 72 0
[pid=26892] ppid=26891 vsize=186968 CPUtime=0.79 cores=0,2,4,6
/proc/26892/stat : 26892 (coprocessor) R 26891 26888 26543 0 -1 4202496 30788 0 0 0 74 5 0 0 20 0 1 0 383484393 191455232 45184 33554432000 4194304 6586260 140736932176464 140736932172392 4771281 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26892/statm: 46742 45184 175 584 0 46154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 302452
[startup+3.10037 s]
/proc/loadavg: 4.73 3.39 2.54 3/182 26894
/proc/meminfo: memFree=24121976/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=97188 CPUtime=0.69 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 12459 0 0 0 63 6 0 0 20 0 1 0 383484323 99520512 22825 33554432000 4194304 6004724 140737249983536 140737249978000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26889/statm: 24297 22825 164 442 0 23851 0
[pid=26891] ppid=26889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26891/stat : 26891 (cp2_pre.sh) S 26889 26888 26543 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383484393 9367552 277 33554432000 4194304 5064252 140734805565408 140734805564112 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26891/statm: 2287 277 234 213 0 72 0
[pid=26892] ppid=26891 vsize=212112 CPUtime=2.39 cores=0,2,4,6
/proc/26892/stat : 26892 (coprocessor) R 26891 26888 26543 0 -1 4202496 34299 0 0 0 221 18 0 0 20 0 1 0 383484393 217202688 51818 33554432000 4194304 6586260 140736932176464 140736932171784 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26892/statm: 53028 51818 204 584 0 52440 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 327596
[startup+6.30033 s]
/proc/loadavg: 4.51 3.36 2.54 3/181 26896
/proc/meminfo: memFree=24009664/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=179108 CPUtime=6.27 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) R 26888 26888 26543 0 -1 4202496 19893 53278 0 0 152 79 371 25 20 0 1 0 383484323 183406592 37340 33554432000 4194304 6004724 140737249983536 140737249978096 4534728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26889/statm: 44777 37340 182 442 0 44331 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 188256
[startup+12.7003 s]
/proc/loadavg: 4.31 3.34 2.54 3/181 26899
/proc/meminfo: memFree=22508840/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=540956 CPUtime=4.11 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 82288 0 0 0 387 24 0 0 20 0 1 0 383485182 553938944 121437 33554432000 4194304 5654031 140734341963808 140734341961592 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26899/statm: 135239 121437 141 357 0 134879 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 663676
[startup+25.5066 s]
/proc/loadavg: 3.95 3.31 2.54 3/183 26902
/proc/meminfo: memFree=20686432/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=547808 CPUtime=16.91 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 83348 0 0 0 1667 24 0 0 20 0 1 0 383485182 560955392 124030 33554432000 4194304 5654031 140734341963808 140734341951624 4209096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 136952 124030 142 357 0 136592 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 670528
[startup+51.1004 s]
/proc/loadavg: 3.60 3.28 2.55 3/183 26902
/proc/meminfo: memFree=20097516/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=553184 CPUtime=42.5 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 83729 0 0 0 4225 25 0 0 20 0 1 0 383485182 566460416 129010 33554432000 4194304 5654031 140734341963808 140734341951624 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 138296 129010 142 357 0 137936 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 675904
[startup+102.3 s]
/proc/loadavg: 2.69 3.08 2.52 3/181 26904
/proc/meminfo: memFree=20237912/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=553184 CPUtime=93.69 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 84756 0 0 0 9341 28 0 0 20 0 1 0 383485182 566460416 130768 33554432000 4194304 5654031 140734341963808 140734341951624 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 138296 130768 142 357 0 137936 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 675904
[startup+162.3 s]
/proc/loadavg: 2.25 2.88 2.49 3/181 26904
/proc/meminfo: memFree=20241268/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=554708 CPUtime=153.69 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 86727 0 0 0 15338 31 0 0 20 0 1 0 383485182 568020992 127831 33554432000 4194304 5654031 140734341963808 140734341951624 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 138677 127831 142 357 0 138317 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 677428
[startup+222.3 s]
/proc/loadavg: 2.09 2.72 2.45 3/181 26904
/proc/meminfo: memFree=20215148/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=639504 CPUtime=213.67 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 89267 0 0 0 21332 35 0 0 20 0 1 0 383485182 654852096 133340 33554432000 4194304 5654031 140734341963808 140734341951624 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 159876 133340 142 357 0 159516 0
Current children cumulated CPU time (s) 222.22
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.11 3/181 26938
/proc/meminfo: memFree=20152384/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=593224 CPUtime=1353.44 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 106678 0 0 0 135262 82 0 0 20 0 1 0 383485182 607461376 141540 33554432000 4194304 5654031 140734341963808 140734341951624 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 148306 141540 142 357 0 147946 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 715944
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/181 26938
/proc/meminfo: memFree=20132928/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=679560 CPUtime=1413.43 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 107344 0 0 0 141260 83 0 0 20 0 1 0 383485182 695869440 146284 33554432000 4194304 5654031 140734341963808 140734341951624 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 169890 146284 142 357 0 169530 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 802280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 26938
/proc/meminfo: memFree=20117504/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=679560 CPUtime=1473.43 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 107509 0 0 0 147260 83 0 0 20 0 1 0 383485182 695869440 150026 33554432000 4194304 5654031 140734341963808 140734341951624 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 169890 150026 142 357 0 169530 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 802280
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.09 3/180 26938
/proc/meminfo: memFree=20155044/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=598172 CPUtime=1533.42 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 108020 0 0 0 153255 87 0 0 20 0 1 0 383485182 612528128 140642 33554432000 4194304 5654031 140734341963808 140734341951624 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 149543 140642 142 357 0 149183 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 720892
[startup+1602.31 s]
/proc/loadavg: 2.01 2.01 2.08 3/181 26939
/proc/meminfo: memFree=20135876/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=679560 CPUtime=1593.42 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 108710 0 0 0 159253 89 0 0 20 0 1 0 383485182 695869440 144906 33554432000 4194304 5654031 140734341963808 140734341951624 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 169890 144906 142 357 0 169530 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 802280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 26939
/proc/meminfo: memFree=20162344/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=598172 CPUtime=1653.4 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 109211 0 0 0 165248 92 0 0 20 0 1 0 383485182 612528128 138082 33554432000 4194304 5654031 140734341963808 140734341961832 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 149543 138082 142 357 0 149183 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 720892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 26939
/proc/meminfo: memFree=20126012/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=679560 CPUtime=1713.39 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 109911 0 0 0 171246 93 0 0 20 0 1 0 383485182 695869440 146954 33554432000 4194304 5654031 140734341963808 140734341951624 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 169890 146954 142 357 0 169530 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 802280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 26939
/proc/meminfo: memFree=20096152/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=684488 CPUtime=1773.38 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 110435 0 0 0 177244 94 0 0 20 0 1 0 383485182 700915712 153610 33554432000 4194304 5654031 140734341963808 140734341951624 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 171122 153610 142 357 0 170762 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 807208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 26939
/proc/meminfo: memFree=20131952/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=684488 CPUtime=1791.48 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 111616 0 0 0 179049 99 0 0 20 0 1 0 383485182 700915712 144394 33554432000 4194304 5654031 140734341963808 140734341961896 4232398 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 171122 144394 142 357 0 170762 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 807208
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 26939
/proc/meminfo: memFree=20131952/32873844 swapFree=7628/7628
[pid=26888] ppid=26886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26888/stat : 26888 (npSolver-pbo-I.) S 26886 26888 26543 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383484323 9367552 275 33554432000 4194304 5064252 140734301480432 140734301479344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26888/statm: 2287 275 233 213 0 72 0
[pid=26889] ppid=26888 vsize=113572 CPUtime=8.55 cores=0,2,4,6
/proc/26889/stat : 26889 (npSolver-pbo) S 26888 26888 26543 0 -1 4202496 22011 53793 0 0 346 111 371 27 20 0 1 0 383484323 116297728 26940 33554432000 4194304 6004724 140737249983536 140737249968456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26889/statm: 28393 26940 183 442 0 27947 0
[pid=26899] ppid=26889 vsize=684488 CPUtime=1791.48 cores=0,2,4,6
/proc/26899/stat : 26899 (glucosInc) R 26889 26888 26543 0 -1 4202496 111616 0 0 0 179049 99 0 0 20 0 1 0 383485182 700915712 144394 33554432000 4194304 5654031 140734341963808 140734341961896 4232398 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26899/statm: 171122 144394 142 357 0 170762 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 807208
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26888 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=188907
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=401786
# CPU time returned by wait4() is 8.59069
# while last known CPU time is 1800.03
#
# 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.03
CPU user time (s): 1797.66
CPU system time (s): 2.37
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 937436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.18891
system time used= 1.40179
maximum resident set size= 476228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 628
involuntary context switches= 32
runsolver used 2.75958 second user time and 7.07292 second system time
The end