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-3748444-1339172020/watcher-3748444-1339172020 -o /tmp/evaluation-result-3748444-1339172020/solver-3748444-1339172020 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748444-1339172020.opb 1580690056 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: 2.00 2.02 2.11 3/171 23894
/proc/meminfo: memFree=28810616/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[startup+0.0369341 s]
/proc/loadavg: 2.00 2.02 2.11 3/171 23894
/proc/meminfo: memFree=28810616/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100289 s]
/proc/loadavg: 2.00 2.02 2.11 3/171 23894
/proc/meminfo: memFree=28810616/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 2.00 2.02 2.11 3/171 23894
/proc/meminfo: memFree=28810616/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 2.00 2.02 2.11 3/171 23894
/proc/meminfo: memFree=28810616/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 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.00 2.02 2.10 3/179 23906
/proc/meminfo: memFree=28525052/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=240080 CPUtime=1.49 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) R 23894 23894 23680 0 -1 4202496 22273 0 0 0 143 6 0 0 20 0 1 0 383330597 245841920 44682 33554432000 4194304 6004724 140737455244176 140737455239144 4536305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 60020 44682 153 442 0 59574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249228
[startup+3.10035 s]
/proc/loadavg: 2.00 2.02 2.10 3/181 23908
/proc/meminfo: memFree=28357696/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=1.88 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23097 0 0 0 165 23 0 0 20 0 1 0 383330597 171773952 30108 33554432000 4194304 6004724 140737455244176 140737455238640 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30108 162 442 0 41491 0
[pid=23907] ppid=23895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23907/stat : 23907 (cp2_pre.sh) S 23895 23894 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383330785 9367552 277 33554432000 4194304 5064252 140736123411120 140736123409824 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23907/statm: 2287 277 234 213 0 72 0
[pid=23908] ppid=23907 vsize=133108 CPUtime=1.2 cores=0,2,4,6
/proc/23908/stat : 23908 (coprocessor) R 23907 23894 23680 0 -1 4202496 11513 0 0 0 114 6 0 0 20 0 1 0 383330785 136302592 31788 33554432000 4194304 6586260 140736595886368 140736595883128 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23908/statm: 33277 31788 138 584 0 32689 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 319152
[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 2.10 3/183 23910
/proc/meminfo: memFree=27494200/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=1.88 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23097 0 0 0 165 23 0 0 20 0 1 0 383330597 171773952 30108 33554432000 4194304 6004724 140737455244176 140737455238640 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30108 162 442 0 41491 0
[pid=23907] ppid=23895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23907/stat : 23907 (cp2_pre.sh) S 23895 23894 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383330785 9367552 277 33554432000 4194304 5064252 140736123411120 140736123409824 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23907/statm: 2287 277 234 213 0 72 0
[pid=23908] ppid=23907 vsize=405480 CPUtime=4.4 cores=0,2,4,6
/proc/23908/stat : 23908 (coprocessor) R 23907 23894 23680 0 -1 4202496 50762 0 0 0 426 14 0 0 20 0 1 0 383330785 415211520 99142 33554432000 4194304 6586260 140736595886368 140736595882392 4775781 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23908/statm: 101370 99142 182 584 0 100782 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 591524
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.11 3/182 23912
/proc/meminfo: memFree=27520976/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=172400 CPUtime=3.77 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 31073 0 0 0 370 7 0 0 20 0 1 0 383331489 176537600 38627 33554432000 4194304 5654031 140736529147904 140736529145512 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 43100 38627 131 357 0 42740 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 349296
[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.11 3/183 23957
/proc/meminfo: memFree=28096184/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=172400 CPUtime=16.56 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 31075 0 0 0 1649 7 0 0 20 0 1 0 383331489 176537600 38629 33554432000 4194304 5654031 140736529147904 140736529145512 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 43100 38629 131 357 0 42740 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 349296
[startup+51.1005 s]
/proc/loadavg: 2.09 2.04 2.11 3/182 23959
/proc/meminfo: memFree=28036248/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=172400 CPUtime=42.16 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 31076 0 0 0 4209 7 0 0 20 0 1 0 383331489 176537600 38630 33554432000 4194304 5654031 140736529147904 140736529145512 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 43100 38630 131 357 0 42740 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 349296
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.10 3/181 23960
/proc/meminfo: memFree=28036008/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=172400 CPUtime=93.36 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 31091 0 0 0 9329 7 0 0 20 0 1 0 383331489 176537600 38645 33554432000 4194304 5654031 140736529147904 140736529145512 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 43100 38645 131 357 0 42740 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 349296
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.09 3/181 23960
/proc/meminfo: memFree=28026140/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=177552 CPUtime=153.34 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 32140 0 0 0 15327 7 0 0 20 0 1 0 383331489 181813248 39720 33554432000 4194304 5654031 140736529147904 140736529135720 4215168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 44388 39720 140 357 0 44028 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 354448
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.08 3/181 23960
/proc/meminfo: memFree=28019216/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=199936 CPUtime=213.33 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 33223 0 0 0 21326 7 0 0 20 0 1 0 383331489 204734464 41358 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 49984 41358 141 357 0 49624 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/loadavg: 2.08 2.04 2.01 3/181 23973
/proc/meminfo: memFree=27012704/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=203512 CPUtime=1353.15 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 35914 0 0 0 135304 11 0 0 20 0 1 0 383331489 208396288 45291 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 50878 45291 142 357 0 50518 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 380408
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 23973
/proc/meminfo: memFree=27008388/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=203712 CPUtime=1413.14 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 35972 0 0 0 141303 11 0 0 20 0 1 0 383331489 208601088 46371 33554432000 4194304 5654031 140736529147904 140736529135720 4215206 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 50928 46371 142 357 0 50568 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 380608
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23973
/proc/meminfo: memFree=27007176/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=204044 CPUtime=1473.13 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36280 0 0 0 147302 11 0 0 20 0 1 0 383331489 208941056 46679 33554432000 4194304 5654031 140736529147904 140736529145592 4215061 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 51011 46679 142 357 0 50651 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 380940
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 23973
/proc/meminfo: memFree=27004032/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=234864 CPUtime=1533.12 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36593 0 0 0 153301 11 0 0 20 0 1 0 383331489 240500736 47503 33554432000 4194304 5654031 140736529147904 140736529135720 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58716 47503 142 357 0 58356 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 411760
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23976
/proc/meminfo: memFree=27003660/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=234864 CPUtime=1593.1 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36618 0 0 0 159299 11 0 0 20 0 1 0 383331489 240500736 47528 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58716 47528 142 357 0 58356 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 411760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23977
/proc/meminfo: memFree=26998912/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=235344 CPUtime=1653.09 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36732 0 0 0 165298 11 0 0 20 0 1 0 383331489 240992256 48664 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58836 48664 142 357 0 58476 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 412240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23977
/proc/meminfo: memFree=26994760/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=235496 CPUtime=1713.08 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36779 0 0 0 171297 11 0 0 20 0 1 0 383331489 241147904 49733 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58874 49733 142 357 0 58514 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 412392
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 23977
/proc/meminfo: memFree=26989792/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=235684 CPUtime=1773.07 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36836 0 0 0 177296 11 0 0 20 0 1 0 383331489 241340416 50812 33554432000 4194304 5654031 140736529147904 140736529135720 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58921 50812 142 357 0 58561 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 412580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 23977
/proc/meminfo: memFree=26989716/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=235824 CPUtime=1791.18 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36862 0 0 0 179107 11 0 0 20 0 1 0 383331489 241483776 50838 33554432000 4194304 5654031 140736529147904 140736529145592 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58956 50838 142 357 0 58596 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 412720
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.06 2.02 2.00 3/181 23977
/proc/meminfo: memFree=26989716/32873844 swapFree=7372/7372
[pid=23894] ppid=23892 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23894/stat : 23894 (npSolver-pbo-I.) S 23892 23894 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383330597 9367552 275 33554432000 4194304 5064252 140735234607456 140735234606368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23894/statm: 2287 275 233 213 0 72 0
[pid=23895] ppid=23894 vsize=167748 CPUtime=8.9 cores=0,2,4,6
/proc/23895/stat : 23895 (npSolver-pbo) S 23894 23894 23680 0 -1 4202496 23114 58515 0 0 165 23 670 32 20 0 1 0 383330597 171773952 30112 33554432000 4194304 6004724 140737455244176 140737455230456 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23895/statm: 41937 30112 166 442 0 41491 0
[pid=23912] ppid=23895 vsize=235824 CPUtime=1791.18 cores=0,2,4,6
/proc/23912/stat : 23912 (glucosInc) R 23895 23894 23680 0 -1 4202496 36862 0 0 0 179107 11 0 0 20 0 1 0 383331489 241483776 50838 33554432000 4194304 5654031 140736529147904 140736529145592 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23912/statm: 58956 50838 142 357 0 58596 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 412720
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23894 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=357729
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=561914
# CPU time returned by wait4() is 8.91964
# while last known CPU time is 1800.08
#
# 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.08
CPU user time (s): 1799.42
CPU system time (s): 0.66
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 635912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.35773
system time used= 0.561914
maximum resident set size= 454624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 235176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 23
runsolver used 4.34734 second user time and 12.997 second system time
The end