0.00/0.27 c old isEQ: 36, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.33 c old isEQ: 0, new EQ is 0
0.00/0.33 c old isEQ: 0, new EQ is 0
0.00/0.33 c old isEQ: 0, new EQ is 0
0.00/0.33 c old isEQ: 0, new EQ is 0
0.00/0.33 c old isEQ: 0, new EQ is 0
0.00/0.34 c old isEQ: 0, new EQ is 0
0.00/0.34 c old isEQ: 0, new EQ is 0
0.00/0.34 c old isEQ: 0, new EQ is 0
0.00/0.34 c old isEQ: 0, new EQ is 0
0.00/0.35 c old isEQ: 0, new EQ is 0
0.00/0.35 c old isEQ: 0, new EQ is 0
0.00/0.35 c old isEQ: 0, new EQ is 0
0.00/0.35 c old isEQ: 0, new EQ is 0
0.00/0.35 c old isEQ: 0, new EQ is 0
0.00/0.36 c old isEQ: 0, new EQ is 0
0.00/0.36 c old isEQ: 0, new EQ is 0
0.00/0.36 c old isEQ: 0, new EQ is 0
0.00/0.36 c old isEQ: 0, new EQ is 0
0.00/0.37 c old isEQ: 0, new EQ is 0
0.00/0.37 c old isEQ: 0, new EQ is 0
0.00/0.37 c old isEQ: 0, new EQ is 0
0.00/0.37 c old isEQ: 0, new EQ is 0
0.00/0.37 c old isEQ: 0, new EQ is 0
0.00/0.38 c old isEQ: 0, new EQ is 0
0.00/0.38 c old isEQ: 0, new EQ is 0
0.00/0.38 c old isEQ: 0, new EQ is 0
0.00/0.38 c old isEQ: 0, new EQ is 0
0.00/0.39 c old isEQ: 0, new EQ is 0
0.00/0.39 c old isEQ: 0, new EQ is 0
0.00/0.39 c old isEQ: 0, new EQ is 0
0.00/0.39 c old isEQ: 0, new EQ is 0
0.00/0.39 c old isEQ: 0, new EQ is 0
0.00/0.40 c old isEQ: 0, new EQ is 0
0.00/0.40 c old isEQ: 0, new EQ is 0
0.00/0.40 c old isEQ: 0, new EQ is 0
0.00/0.40 c old isEQ: 0, new EQ is 0
0.00/0.41 c old isEQ: 0, new EQ is 0
0.00/0.41 c old isEQ: 0, new EQ is 0
0.00/0.41 c old isEQ: 0, new EQ is 0
0.00/0.41 c old isEQ: 0, new EQ is 0
0.00/0.41 c old isEQ: 0, new EQ is 0
0.00/0.42 c old isEQ: 0, new EQ is 0
0.00/0.42 c old isEQ: 0, new EQ is 0
0.00/0.42 c old isEQ: 0, new EQ is 0
0.00/0.42 c old isEQ: 0, new EQ is 0
0.00/0.43 c old isEQ: 0, new EQ is 0
0.00/0.43 c old isEQ: 0, new EQ is 0
0.00/0.43 c old isEQ: 0, new EQ is 0
0.00/0.43 c old isEQ: 0, new EQ is 0
0.00/0.43 c old isEQ: 0, new EQ is 0
0.00/0.44 c old isEQ: 0, new EQ is 0
0.00/0.44 c old isEQ: 0, new EQ is 0
0.00/0.44 c old isEQ: 0, new EQ is 0
0.00/0.44 c old isEQ: 0, new EQ is 0
0.00/0.44 c old isEQ: 0, new EQ is 0
0.00/0.45 c old isEQ: 0, new EQ is 0
0.00/0.45 c old isEQ: 0, new EQ is 0
0.00/0.45 c old isEQ: 0, new EQ is 0
0.00/0.45 c old isEQ: 0, new EQ is 0
0.00/0.46 c old isEQ: 0, new EQ is 0
0.00/0.46 c old isEQ: 0, new EQ is 0
0.00/0.46 c old isEQ: 0, new EQ is 0
0.00/0.46 c old isEQ: 0, new EQ is 0
0.00/0.46 c old isEQ: 0, new EQ is 0
0.00/0.47 c old isEQ: 0, new EQ is 0
0.00/0.47 c old isEQ: 0, new EQ is 0
0.00/0.47 c old isEQ: 0, new EQ is 0
0.00/0.47 c old isEQ: 0, new EQ is 0
0.00/0.48 c old isEQ: 0, new EQ is 0
0.00/0.48 c old isEQ: 0, new EQ is 0
0.00/0.48 c old isEQ: 0, new EQ is 0
0.00/0.48 c old isEQ: 0, new EQ is 0
0.00/0.48 c old isEQ: 0, new EQ is 0
0.00/0.49 c old isEQ: 0, new EQ is 0
0.00/0.49 c old isEQ: 0, new EQ is 0
0.00/0.49 c old isEQ: 0, new EQ is 0
0.00/0.49 c old isEQ: 0, new EQ is 0
0.00/0.50 c old isEQ: 0, new EQ is 0
0.00/0.50 c old isEQ: 0, new EQ is 0
0.00/0.50 c old isEQ: 0, new EQ is 0
0.00/0.50 c old isEQ: 0, new EQ is 0
0.00/0.50 c old isEQ: 0, new EQ is 0
0.00/0.51 c old isEQ: 0, new EQ is 0
0.00/0.51 c old isEQ: 0, new EQ is 0
0.00/0.51 c old isEQ: 0, new EQ is 0
0.00/0.51 c old isEQ: 0, new EQ is 0
0.00/0.52 c old isEQ: 0, new EQ is 0
0.00/0.52 c old isEQ: 0, new EQ is 0
0.00/0.52 c old isEQ: 0, new EQ is 0
0.00/0.53 c old isEQ: 0, new EQ is 0
0.00/0.53 c old isEQ: 0, new EQ is 0
0.00/0.53 c old isEQ: 0, new EQ is 0
0.00/0.53 c old isEQ: 0, new EQ is 0
0.00/0.53 c old isEQ: 0, new EQ is 0
0.00/0.54 c old isEQ: 0, new EQ is 0
0.00/0.54 c old isEQ: 0, new EQ is 0
0.00/0.54 c old isEQ: 0, new EQ is 0
0.00/0.54 c old isEQ: 0, new EQ is 0
0.00/0.55 c old isEQ: 0, new EQ is 0
0.00/0.55 c old isEQ: 0, new EQ is 0
0.00/0.55 c old isEQ: 0, new EQ is 0
0.00/0.55 c old isEQ: 0, new EQ is 0
0.00/0.55 c old isEQ: 0, new EQ is 0
0.00/0.56 c old isEQ: 0, new EQ is 0
0.00/0.56 c old isEQ: 0, new EQ is 0
0.00/0.56 c old isEQ: 0, new EQ is 0
0.00/0.56 c old isEQ: 0, new EQ is 0
0.00/0.57 c old isEQ: 0, new EQ is 0
0.00/0.57 c old isEQ: 0, new EQ is 0
0.00/0.57 c old isEQ: 0, new EQ is 0
0.00/0.57 c old isEQ: 0, new EQ is 0
0.00/0.57 c old isEQ: 0, new EQ is 0
0.00/0.58 c old isEQ: 0, new EQ is 0
0.00/0.58 c old isEQ: 0, new EQ is 0
0.00/0.58 c old isEQ: 0, new EQ is 0
0.00/0.58 c old isEQ: 0, new EQ is 0
0.00/0.59 c old isEQ: 0, new EQ is 0
0.00/0.59 c old isEQ: 0, new EQ is 0
0.00/0.59 c old isEQ: 0, new EQ is 0
0.00/0.59 c old isEQ: 0, new EQ is 0
0.00/0.59 c old isEQ: 0, new EQ is 0
0.00/0.60 c old isEQ: 0, new EQ is 0
0.00/0.60 c old isEQ: 0, new EQ is 0
0.00/0.60 c old isEQ: 0, new EQ is 0
0.00/0.60 c old isEQ: 0, new EQ is 0
0.00/0.61 c old isEQ: 0, new EQ is 0
0.00/0.61 c old isEQ: 0, new EQ is 0
0.00/0.61 c old isEQ: 0, new EQ is 0
0.00/0.61 c old isEQ: 0, new EQ is 0
0.00/0.61 c old isEQ: 0, new EQ is 0
0.00/0.62 c old isEQ: 0, new EQ is 0
0.00/0.62 c old isEQ: 0, new EQ is 0
0.00/0.62 c old isEQ: 0, new EQ is 0
0.00/0.62 c old isEQ: 0, new EQ is 0
0.00/0.64 c run inc solver
0.00/0.64 c [INC SYSTEM] run initial solver
0.00/0.64 c [INC SYSTEM] preprocess with white file
3.77/3.83 c [INC SYSTEM] finished preprocessing in 3 s
3.77/3.83 c [INC SYSTEM] execute solver
1800.05/1800.41 HOME/npSolver-pbo-Itd.sh: line 18: 9808 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1
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-3746347-1339098177/watcher-3746347-1339098177 -o /tmp/evaluation-result-3746347-1339098177/solver-3746347-1339098177 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746347-1339098177.opb 110511787 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: 0.12 0.03 0.01 2/173 9805
/proc/meminfo: memFree=25853700/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[startup+0.065904 s]
/proc/loadavg: 0.12 0.03 0.01 2/173 9805
/proc/meminfo: memFree=25853700/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 0.12 0.03 0.01 2/173 9805
/proc/meminfo: memFree=25853700/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 0.12 0.03 0.01 2/173 9805
/proc/meminfo: memFree=25853700/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 0.12 0.03 0.01 2/173 9805
/proc/meminfo: memFree=25853700/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/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: 0.12 0.03 0.01 3/182 9817
/proc/meminfo: memFree=25704436/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=0.63 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6567 0 0 0 61 2 0 0 20 0 1 0 375946330 44253184 9309 33554432000 4194304 6004724 140736810055792 140736810050256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9808/statm: 10804 9309 157 442 0 10358 0
[pid=9816] ppid=9808 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9816/stat : 9816 (cp2_pre.sh) S 9808 9805 9764 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 375946394 9367552 276 33554432000 4194304 5064252 140737395905232 140737395903936 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 2287 276 234 213 0 72 0
[pid=9817] ppid=9816 vsize=136168 CPUtime=0.84 cores=0,2,4,6
/proc/9817/stat : 9817 (coprocessor) R 9816 9805 9764 0 -1 4202496 26072 0 0 0 79 5 0 0 20 0 1 0 375946394 139436032 32997 33554432000 4194304 6586260 140734606915984 140734606911704 4768619 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/9817/statm: 34042 32997 174 584 0 33454 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 197680
[startup+3.10034 s]
/proc/loadavg: 0.12 0.03 0.01 3/182 9817
/proc/meminfo: memFree=25654572/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=0.63 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6567 0 0 0 61 2 0 0 20 0 1 0 375946330 44253184 9309 33554432000 4194304 6004724 140736810055792 140736810050256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9808/statm: 10804 9309 157 442 0 10358 0
[pid=9816] ppid=9808 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9816/stat : 9816 (cp2_pre.sh) S 9808 9805 9764 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 375946394 9367552 276 33554432000 4194304 5064252 140737395905232 140737395903936 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 2287 276 234 213 0 72 0
[pid=9817] ppid=9816 vsize=147896 CPUtime=2.44 cores=0,2,4,6
/proc/9817/stat : 9817 (coprocessor) R 9816 9805 9764 0 -1 4202496 27207 0 0 0 239 5 0 0 20 0 1 0 375946394 151445504 36176 33554432000 4194304 6586260 140734606915984 140734606911304 5599344 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/9817/statm: 36974 36176 190 584 0 36386 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 209408
[startup+6.3003 s]
/proc/loadavg: 0.35 0.08 0.02 3/181 9819
/proc/meminfo: memFree=25729848/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=72620 CPUtime=2.46 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 13586 0 0 0 244 2 0 0 20 0 1 0 375946713 74362880 14521 33554432000 4194304 5654031 140734555624800 140734555622584 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 18155 14521 141 357 0 17795 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 124984
[startup+12.7004 s]
/proc/loadavg: 0.57 0.13 0.04 3/181 9819
/proc/meminfo: memFree=25695388/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=103620 CPUtime=8.86 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 16176 0 0 0 882 4 0 0 20 0 1 0 375946713 106106880 23133 33554432000 4194304 5654031 140734555624800 140734555622680 4215290 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 25905 23133 141 357 0 25545 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 155984
[startup+25.5004 s]
/proc/loadavg: 0.88 0.22 0.07 3/181 9819
/proc/meminfo: memFree=25650672/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=152940 CPUtime=21.65 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 16633 0 0 0 2159 6 0 0 20 0 1 0 375946713 156610560 32074 33554432000 4194304 5654031 140734555624800 140734555622728 4215088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 38235 32074 141 357 0 37875 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 205304
[startup+51.1004 s]
/proc/loadavg: 1.26 0.36 0.12 3/181 9819
/proc/meminfo: memFree=25644204/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=152940 CPUtime=47.24 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 18692 0 0 0 4714 10 0 0 20 0 1 0 375946713 156610560 33099 33554432000 4194304 5654031 140734555624800 140734555622728 4215126 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 38235 33099 141 357 0 37875 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 205304
[startup+102.3 s]
/proc/loadavg: 1.68 0.61 0.22 3/180 9819
/proc/meminfo: memFree=25611196/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=183760 CPUtime=98.44 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 22903 0 0 0 9825 19 0 0 20 0 1 0 375946713 188170240 39310 33554432000 4194304 5654031 140734555624800 140734555622888 4215188 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 45940 39310 141 357 0 45580 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 236124
[startup+162.3 s]
/proc/loadavg: 1.88 0.86 0.33 3/181 9820
/proc/meminfo: memFree=25602680/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=183760 CPUtime=158.42 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 28974 0 0 0 15813 29 0 0 20 0 1 0 375946713 188170240 38195 33554432000 4194304 5654031 140734555624800 140734555622888 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 45940 38195 141 357 0 45580 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 236124
[startup+222.307 s]
/proc/loadavg: 1.95 1.07 0.43 3/181 9820
/proc/meminfo: memFree=25592032/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=183760 CPUtime=218.41 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.51 3/181 9853
/proc/meminfo: memFree=25404428/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=315236 CPUtime=1358.21 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 88511 0 0 0 135668 153 0 0 20 0 1 0 375946713 322801664 75973 33554432000 4194304 5654031 140734555624800 140734555612616 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 78809 75973 142 357 0 78449 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 367600
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/181 9853
/proc/meminfo: memFree=25303276/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=453308 CPUtime=1418.21 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 90337 0 0 0 141665 156 0 0 20 0 1 0 375946713 464187392 101305 33554432000 4194304 5654031 140734555624800 140734555622584 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 113327 101305 142 357 0 112967 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 505672
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/181 9853
/proc/meminfo: memFree=25475228/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=243332 CPUtime=1478.19 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 91965 0 0 0 147659 160 0 0 20 0 1 0 375946713 249171968 58351 33554432000 4194304 5654031 140734555624800 140734555622824 4215353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 60833 58351 142 357 0 60473 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 295696
[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.59 3/181 9853
/proc/meminfo: memFree=25354456/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=460868 CPUtime=1538.18 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 93842 0 0 0 153655 163 0 0 20 0 1 0 375946713 471928832 88630 33554432000 4194304 5654031 140734555624800 140734555622584 4215248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 115217 88630 142 357 0 114857 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 513232
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/181 9853
/proc/meminfo: memFree=25265712/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=465768 CPUtime=1598.16 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 94934 0 0 0 159652 164 0 0 20 0 1 0 375946713 476946432 111183 33554432000 4194304 5654031 140734555624800 140734555622584 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 116442 111183 142 357 0 116082 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 518132
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/182 9857
/proc/meminfo: memFree=25461632/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=336496 CPUtime=1658.16 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 97169 0 0 0 165647 169 0 0 20 0 1 0 375946713 344571904 61867 33554432000 4194304 5654031 140734555624800 140734555622824 4215307 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 84124 61867 142 357 0 83764 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 388860
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/181 9857
/proc/meminfo: memFree=25358684/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=469104 CPUtime=1718.15 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 97814 0 0 0 171644 171 0 0 20 0 1 0 375946713 480362496 87551 33554432000 4194304 5654031 140734555624800 140734555622584 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 117276 87551 142 357 0 116916 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 521468
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/181 9857
/proc/meminfo: memFree=25275028/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=470620 CPUtime=1778.14 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 98181 0 0 0 177642 172 0 0 20 0 1 0 375946713 481914880 108358 33554432000 4194304 5654031 140734555624800 140734555622584 4215040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 117655 108358 142 357 0 117295 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 522984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 9857
/proc/meminfo: memFree=25246420/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=473416 CPUtime=1796.25 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 98760 0 0 0 179452 173 0 0 20 0 1 0 375946713 484777984 115069 33554432000 4194304 5654031 140734555624800 140734555622584 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 118354 115069 142 357 0 117994 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 525780
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 1.97 1.68 3/181 9857
/proc/meminfo: memFree=25246420/32873844 swapFree=7628/7628
[pid=9805] ppid=9801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9805/stat : 9805 (npSolver-pbo-It) S 9801 9805 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946329 9367552 275 33554432000 4194304 5064252 140734361654432 140734361653344 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9805/statm: 2287 275 233 213 0 72 0
[pid=9808] ppid=9805 vsize=43216 CPUtime=3.8 cores=0,2,4,6
/proc/9808/stat : 9808 (npSolver-pbo) S 9805 9805 9764 0 -1 4202496 6584 28872 0 0 61 2 303 14 20 0 1 0 375946330 44253184 9312 33554432000 4194304 6004724 140736810055792 140736810042072 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9808/statm: 10804 9312 160 442 0 10358 0
[pid=9819] ppid=9808 vsize=473416 CPUtime=1796.25 cores=0,2,4,6
/proc/9819/stat : 9819 (glucosInc) R 9808 9805 9764 0 -1 4202496 98760 0 0 0 179452 173 0 0 20 0 1 0 375946713 484777984 115069 33554432000 4194304 5654031 140734555624800 140734555622584 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 118354 115069 142 357 0 117994 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 525780
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9805 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=646445
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=179972
# CPU time returned by wait4() is 3.82642
# while last known CPU time is 1800.05
#
# 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.05
CPU user time (s): 1798.16
CPU system time (s): 1.89
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 866272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.64644
system time used= 0.179972
maximum resident set size= 149784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 26
runsolver used 2.85556 second user time and 10.4054 second system time
The end