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-3700943-1338137615/watcher-3700943-1338137615 -o /tmp/evaluation-result-3700943-1338137615/solver-3700943-1338137615 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700943-1338137615.opb 1983861748 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.00 2.00 2.00 3/179 23131
/proc/meminfo: memFree=29318204/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[startup+0.040575 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23131
/proc/meminfo: memFree=29318204/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23131
/proc/meminfo: memFree=29318204/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23131
/proc/meminfo: memFree=29318204/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23131
/proc/meminfo: memFree=29318204/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23135
/proc/meminfo: memFree=29096144/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=54660 CPUtime=0.56 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 8631 0 0 0 50 6 0 0 20 0 1 0 279888833 55971840 10337 33554432000 4194304 5992684 140736265276400 140736265270432 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23132/statm: 13665 10337 172 440 0 13221 0
[pid=23134] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23134/stat : 23134 (cp2_pre.sh) S 23132 23131 21157 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279888890 9367552 277 33554432000 4194304 5064252 140735057735712 140735057734416 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23134/statm: 2287 277 234 213 0 72 0
[pid=23135] ppid=23134 vsize=223212 CPUtime=0.92 cores=1,3,5,7
/proc/23135/stat : 23135 (coprocessor) R 23134 23131 21157 0 -1 4202496 33088 0 0 0 85 7 0 0 20 0 1 0 279888890 228569088 49976 33554432000 4194304 6586260 140735323752736 140735323749064 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23135/statm: 55803 49976 166 584 0 55215 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 296168
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23135
/proc/meminfo: memFree=29021964/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=54660 CPUtime=0.56 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 8631 0 0 0 50 6 0 0 20 0 1 0 279888833 55971840 10337 33554432000 4194304 5992684 140736265276400 140736265270432 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23132/statm: 13665 10337 172 440 0 13221 0
[pid=23134] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23134/stat : 23134 (cp2_pre.sh) S 23132 23131 21157 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279888890 9367552 277 33554432000 4194304 5064252 140735057735712 140735057734416 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23134/statm: 2287 277 234 213 0 72 0
[pid=23135] ppid=23134 vsize=290948 CPUtime=2.52 cores=1,3,5,7
/proc/23135/stat : 23135 (coprocessor) R 23134 23131 21157 0 -1 4202496 44691 0 0 0 214 38 0 0 20 0 1 0 279888890 297930752 71377 33554432000 4194304 6586260 140735323752736 140735323748760 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23135/statm: 72737 71377 203 584 0 72149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 363904
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23138
/proc/meminfo: memFree=29148376/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=54660 CPUtime=3.94 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 8638 45595 0 0 50 6 295 43 20 0 1 0 279888833 55971840 10337 33554432000 4194304 5992684 140736265276400 140736265271520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23132/statm: 13665 10337 172 440 0 13221 0
[pid=23137] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279889229 9367552 267 33554432000 4194304 5064252 140735398553168 140735398552080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23137/statm: 2287 267 226 213 0 72 0
[pid=23138] ppid=23137 vsize=114876 CPUtime=2.33 cores=1,3,5,7
/proc/23138/stat : 23138 (glucose) R 23137 23131 21157 0 -1 4202496 24378 0 0 0 229 4 0 0 20 0 1 0 279889229 117633024 26526 33554432000 4194304 5208918 140734688741920 140734688739752 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23138/statm: 28719 26526 103 248 0 28468 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 187832
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23145
/proc/meminfo: memFree=28637952/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=327480 CPUtime=10.96 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 21357 78184 0 0 288 156 597 55 20 0 1 0 279888833 335339520 52512 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23132/statm: 81870 52512 189 440 0 81426 0
[pid=23144] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23144/stat : 23144 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279889931 9367552 267 33554432000 4194304 5064252 140734637888128 140734637887040 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23144/statm: 2287 267 226 213 0 72 0
[pid=23145] ppid=23144 vsize=478520 CPUtime=1.7 cores=1,3,5,7
/proc/23145/stat : 23145 (glucose) R 23144 23131 21157 0 -1 4202496 63557 0 0 0 153 17 0 0 20 0 1 0 279889931 490004480 104226 33554432000 4194304 5208918 140737244872848 140737243822248 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23145/statm: 119630 104227 70 248 0 119379 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 824296
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23145
/proc/meminfo: memFree=28418216/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=327480 CPUtime=25.2 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 21364 160590 0 0 288 156 1993 83 20 0 1 0 279888833 335339520 52512 33554432000 4194304 5992684 140736265276400 140736265268208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23132/statm: 81870 52512 189 440 0 81426 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 336628
[startup+51.1067 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 23152
/proc/meminfo: memFree=28507280/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=327080 CPUtime=29.09 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 33381 170025 0 0 489 184 2091 145 20 0 1 0 279888833 334929920 48316 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 81770 48316 189 440 0 81326 0
[pid=23151] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23151/stat : 23151 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279891743 9367552 267 33554432000 4194304 5064252 140736960726448 140736960725360 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23151/statm: 2287 267 226 213 0 72 0
[pid=23152] ppid=23151 vsize=521792 CPUtime=21.99 cores=1,3,5,7
/proc/23152/stat : 23152 (glucose) R 23151 23131 21157 0 -1 4202496 77766 0 0 0 2177 22 0 0 20 0 1 0 279891744 534315008 108037 33554432000 4194304 5208918 140736802251952 140736802249704 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 130448 108037 104 248 0 130197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 867168
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 23212
/proc/meminfo: memFree=27994940/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=385644 CPUtime=46.52 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 63881 0 0 0 4636 16 0 0 20 0 1 0 279894409 394899456 87982 33554432000 4194304 5208918 140733240895712 140733240893384 4211521 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 96411 87982 105 248 0 96160 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 636028
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23219
/proc/meminfo: memFree=28123856/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=385644 CPUtime=106.51 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 64976 0 0 0 10633 18 0 0 20 0 1 0 279894409 394899456 89227 33554432000 4194304 5208918 140733240895712 140733240893800 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 96411 89227 105 248 0 96160 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 117187 0 0 0 136356 269 0 0 20 0 1 0 279894409 910610432 174306 33554432000 4194304 5208918 140733240895712 140733240893864 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 222317 174306 105 248 0 222066 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1139652
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23259
/proc/meminfo: memFree=27784568/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=674344 CPUtime=1426.25 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 118335 0 0 0 142345 280 0 0 20 0 1 0 279894409 690528256 150323 33554432000 4194304 5208918 140733240895712 140733240893864 4229538 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 168586 150323 105 248 0 168335 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 924728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23259
/proc/meminfo: memFree=27506172/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=889696 CPUtime=1486.23 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 118994 0 0 0 148338 285 0 0 20 0 1 0 279894409 911048704 210769 33554432000 4194304 5208918 140733240895712 140733240893560 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 222424 210769 105 248 0 222173 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1140080
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23262
/proc/meminfo: memFree=27575492/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=889696 CPUtime=1546.23 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 120577 0 0 0 154326 297 0 0 20 0 1 0 279894409 911048704 188753 33554432000 4194304 5208918 140733240895712 140733240893864 4211668 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 222424 188753 105 248 0 222173 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1140080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23270
/proc/meminfo: memFree=28058068/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=677092 CPUtime=1606.22 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 122089 0 0 0 160317 305 0 0 20 0 1 0 279894409 693342208 134974 33554432000 4194304 5208918 140733240895712 140733240893464 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 169273 134974 105 248 0 169022 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 927476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23270
/proc/meminfo: memFree=28051912/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=677092 CPUtime=1666.21 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 122271 0 0 0 166316 305 0 0 20 0 1 0 279894409 693342208 138222 33554432000 4194304 5208918 140733240895712 140733240893464 4211834 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 169273 138222 105 248 0 169022 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 927476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23270
/proc/meminfo: memFree=27998544/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=677224 CPUtime=1726.2 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 122318 0 0 0 172315 305 0 0 20 0 1 0 279894409 693477376 141335 33554432000 4194304 5208918 140733240895712 140733240893560 4211635 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 169306 141335 105 248 0 169055 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 927608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 23270
/proc/meminfo: memFree=28016156/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=677224 CPUtime=1744.3 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 122336 0 0 0 174125 305 0 0 20 0 1 0 279894409 693477376 141864 33554432000 4194304 5208918 140733240895712 140733240893560 4211635 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 169306 141864 105 248 0 169055 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 927608
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/183 23270
/proc/meminfo: memFree=28016156/32873648 swapFree=7116/7116
[pid=23131] ppid=23129 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23131/stat : 23131 (npSolver-pbo.sh) S 23129 23131 21157 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279888833 9367552 274 33554432000 4194304 5064252 140735815621600 140735815620512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23131/statm: 2287 274 233 213 0 72 0
[pid=23132] ppid=23131 vsize=232088 CPUtime=55.74 cores=1,3,5,7
/proc/23132/stat : 23132 (npSolver-pbo) S 23131 23131 21157 0 -1 4202496 44078 258318 0 0 640 203 4503 228 20 0 1 0 279888833 237658112 48088 33554432000 4194304 5992684 140736265276400 140736265268720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23132/statm: 58022 48088 189 440 0 57578 0
[pid=23158] ppid=23132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23158/stat : 23158 (satsolver.sh) S 23132 23131 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279894409 9367552 267 33554432000 4194304 5064252 140737473644528 140737473643440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23158/statm: 2287 267 226 213 0 72 0
[pid=23159] ppid=23158 vsize=677224 CPUtime=1744.3 cores=1,3,5,7
/proc/23159/stat : 23159 (glucose) R 23158 23131 21157 0 -1 4202496 122336 0 0 0 174125 305 0 0 20 0 1 0 279894409 693477376 141864 33554432000 4194304 5208918 140733240895712 140733240893560 4211635 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 169306 141864 105 248 0 169055 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 927608
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23131 and gives
# childrusage.ru_utime.tv_sec=51
# childrusage.ru_utime.tv_usec=445179
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=326342
# CPU time returned by wait4() is 55.7715
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.04
CPU user time (s): 1792.68
CPU system time (s): 7.36
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1351696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.4452
system time used= 4.32634
maximum resident set size= 576304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1069992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5155
involuntary context switches= 164
runsolver used 3.18252 second user time and 9.50955 second system time
The end