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-3702696-1338051090/watcher-3702696-1338051090 -o /tmp/evaluation-result-3702696-1338051090/solver-3702696-1338051090 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702696-1338051090.opb 510077727 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.11 3/177 14958
/proc/meminfo: memFree=27658976/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[startup+0.075818 s]
/proc/loadavg: 2.02 2.01 2.11 3/177 14958
/proc/meminfo: memFree=27658976/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 2.02 2.01 2.11 3/177 14958
/proc/meminfo: memFree=27658976/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300314 s]
/proc/loadavg: 2.02 2.01 2.11 3/177 14958
/proc/meminfo: memFree=27658976/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700335 s]
/proc/loadavg: 2.02 2.01 2.11 3/177 14958
/proc/meminfo: memFree=27658976/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27560700/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=122940 CPUtime=1.48 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) R 14958 14958 5668 0 -1 4202496 14484 0 0 0 145 3 0 0 20 0 1 0 271236228 125890560 26202 33554432000 4194304 5992684 140733780830880 140733780822856 4228139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 30735 26202 163 440 0 30291 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132088
[startup+3.10034 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27456644/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=238244 CPUtime=3.09 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) R 14958 14958 5668 0 -1 4202496 27067 0 0 0 302 7 0 0 20 0 1 0 271236228 243961856 54083 33554432000 4194304 5992684 140733780830880 140733780823304 4571354 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 59561 54083 163 440 0 59117 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 247392
[startup+6.30035 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27131516/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=469516 CPUtime=6.28 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) R 14958 14958 5668 0 -1 4202496 50198 0 0 0 615 13 0 0 20 0 1 0 271236228 480784384 110365 33554432000 4194304 5992684 140733780830880 140733780823304 4228058 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 117379 110365 163 440 0 116935 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 478664
[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.12 3/181 14962
/proc/meminfo: memFree=25878652/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=931144 CPUtime=12.69 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) R 14958 14958 5668 0 -1 4202496 95720 0 0 0 1242 27 0 0 20 0 1 0 271236228 953491456 222700 33554432000 4194304 5992684 140733780830880 140733780823304 5045351 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 232786 222700 163 440 0 232342 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 940292
[startup+25.5004 s]
/proc/loadavg: 2.15 2.04 2.12 3/183 14964
/proc/meminfo: memFree=23867008/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1642300 CPUtime=20.04 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4202496 138786 0 0 0 1856 148 0 0 20 0 1 0 271236228 1681715200 329711 33554432000 4194304 5992684 140733780830880 140733780825328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 410575 329711 170 440 0 410131 0
[pid=14963] ppid=14959 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14963/stat : 14963 (cp2_pre.sh) S 14959 14958 5668 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 271238233 9367552 276 33554432000 4194304 5064252 140736724536160 140736724534864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14963/statm: 2287 276 234 213 0 72 0
[pid=14964] ppid=14963 vsize=826832 CPUtime=5.42 cores=1,3,5,7
/proc/14964/stat : 14964 (coprocessor) R 14963 14958 5668 0 -1 4202496 19635 0 0 0 519 23 0 0 20 0 1 0 271238235 846675968 189970 33554432000 4194304 6586260 140734261105568 140734261102328 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/14964/statm: 206708 189970 137 584 0 206120 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2487428
[startup+51.1004 s]
/proc/loadavg: 2.46 2.12 2.14 3/182 14966
/proc/meminfo: memFree=22372436/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1642300 CPUtime=20.04 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4202496 138786 0 0 0 1856 148 0 0 20 0 1 0 271236228 1681715200 329711 33554432000 4194304 5992684 140733780830880 140733780825328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14959/statm: 410575 329711 170 440 0 410131 0
[pid=14963] ppid=14959 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14963/stat : 14963 (cp2_pre.sh) S 14959 14958 5668 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 271238233 9367552 276 33554432000 4194304 5064252 140736724536160 140736724534864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14963/statm: 2287 276 234 213 0 72 0
[pid=14964] ppid=14963 vsize=2384892 CPUtime=30.6 cores=1,3,5,7
/proc/14964/stat : 14964 (coprocessor) R 14963 14958 5668 0 -1 4202496 25121 0 0 0 2901 159 0 0 20 0 1 0 271238235 2442129408 470868 33554432000 4194304 6586260 140734261105568 140734261101320 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 40 0 0
/proc/14964/statm: 596223 470868 158 584 0 595635 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 4045488
[startup+102.307 s]
/proc/loadavg: 2.58 2.19 2.16 2/184 14979
/proc/meminfo: memFree=18383172/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.88 2.27 2.19 2/184 14987
/proc/meminfo: memFree=18397240/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+127.9 s]
/proc/loadavg: 3.27 2.38 2.23 2/184 14987
/proc/meminfo: memFree=18378204/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+134.3 s]
/proc/loadavg: 3.41 2.43 2.24 2/184 14994
/proc/meminfo: memFree=18423476/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+135.9 s]
/proc/loadavg: 3.54 2.47 2.26 2/184 14994
/proc/meminfo: memFree=18419508/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+137.507 s]
/proc/loadavg: 3.54 2.47 2.26 2/184 14994
/proc/meminfo: memFree=18482376/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+137.9 s]
/proc/loadavg: 3.54 2.47 2.26 2/184 14994
/proc/meminfo: memFree=18482376/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+138.3 s]
/proc/loadavg: 3.54 2.47 2.26 2/184 14994
/proc/meminfo: memFree=18482376/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=1820920 CPUtime=63.14 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) S 14958 14958 5668 0 -1 4204032 147676 26022 0 0 1951 246 3888 229 20 0 1 0 271236228 1864622080 374359 33554432000 4194304 5992684 140733780830880 140733780825416 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 455230 374359 190 440 0 454786 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.09
Current children cumulated vsize (KiB) 5187652
[startup+138.4 s]
/proc/loadavg: 3.54 2.47 2.26 2/184 14994
/proc/meminfo: memFree=18482376/32873648 swapFree=6336/6336
[pid=14958] ppid=14956 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14958/stat : 14958 (npSolver-pbo-It) S 14956 14958 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236228 9367552 275 33554432000 4194304 5064252 140733538946992 140733538945904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14958/statm: 2287 275 233 213 0 72 0
[pid=14959] ppid=14958 vsize=0 CPUtime=63.15 cores=1,3,5,7
/proc/14959/stat : 14959 (npSolver-pbo) R 14958 14958 5668 0 -1 4204036 147676 26022 0 0 1951 247 3888 229 20 0 1 0 271236228 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14959/statm: 0 0 0 0 0 0 0
[pid=14971] ppid=14959 vsize=3357584 CPUtime=25.95 cores=1,3,5,7
/proc/14971/stat : 14971 (glucosInc) S 14959 14958 5668 0 -1 4202496 335271 0 0 0 2499 96 0 0 20 0 1 0 271242396 3438166016 708869 33554432000 4194304 5654031 140736984840960 140736984839272 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14971/statm: 839396 708869 146 357 0 839036 0
Current children cumulated CPU time (s) 89.1
Current children cumulated vsize (KiB) 3366732
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14958 and gives
# childrusage.ru_utime.tv_sec=58
# childrusage.ru_utime.tv_usec=405121
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=794271
# CPU time returned by wait4() is 63.1994
# while last known CPU time is 89.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 138.422
CPU time (s): 89.1
CPU user time (s): 83.38
CPU system time (s): 5.72
CPU usage (%): 64.3683
Max. virtual memory (cumulated for all children) (KiB): 5218788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.4051
system time used= 4.79427
maximum resident set size= 2043132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174073
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2894912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442533
involuntary context switches= 125
runsolver used 0.202969 second user time and 0.564914 second system time
The end