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-3750012-1339220753/watcher-3750012-1339220753 -o /tmp/evaluation-result-3750012-1339220753/solver-3750012-1339220753 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750012-1339220753.opb 1412997139 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: 1.84 1.95 1.67 3/177 19560
/proc/meminfo: memFree=31283484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[startup+0.0350761 s]
/proc/loadavg: 1.84 1.95 1.67 3/177 19560
/proc/meminfo: memFree=31283484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100292 s]
/proc/loadavg: 1.84 1.95 1.67 3/177 19560
/proc/meminfo: memFree=31283484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 1.84 1.95 1.67 3/177 19560
/proc/meminfo: memFree=31283484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700156 s]
/proc/loadavg: 1.84 1.95 1.67 3/177 19560
/proc/meminfo: memFree=31283484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.84 1.95 1.67 3/181 19564
/proc/meminfo: memFree=31046456/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=26560 CPUtime=0.31 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 5892 0 0 0 24 7 0 0 20 0 1 0 388201282 27197440 6115 33554432000 4194304 6004724 140735710371840 140735710365888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19561/statm: 6640 6115 146 442 0 6194 0
[pid=19563] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19563/stat : 19563 (cp2_pre.sh) S 19561 19560 19387 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 388201314 9367552 277 33554432000 4194304 5064252 140734569576544 140734569575248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19563/statm: 2287 277 234 213 0 72 0
[pid=19564] ppid=19563 vsize=88932 CPUtime=1.16 cores=0,2,4,6
/proc/19564/stat : 19564 (coprocessor) R 19563 19560 19387 0 -1 4202496 17530 0 0 0 114 2 0 0 20 0 1 0 388201314 91066368 21508 33554432000 4194304 6586260 140733406225152 140733406221016 4676827 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/19564/statm: 22233 21508 190 584 0 21645 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 133788
[startup+3.10021 s]
/proc/loadavg: 1.84 1.95 1.67 3/181 19564
/proc/meminfo: memFree=30965976/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=26560 CPUtime=2.81 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 5900 19158 0 0 24 7 246 4 20 0 1 0 388201282 27197440 6115 33554432000 4194304 6004724 140735710371840 140735710366976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19561/statm: 6640 6115 146 442 0 6194 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 35708
[startup+6.30026 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 19572
/proc/meminfo: memFree=30683892/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=323268 CPUtime=6.27 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) R 19560 19560 19387 0 -1 4202496 17001 31098 0 0 244 65 310 8 20 0 1 0 388201282 331026432 51603 33554432000 4194304 6004724 140735710371840 140735710365160 4581160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19561/statm: 80817 51603 171 442 0 80371 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 332416
[startup+12.7003 s]
/proc/loadavg: 2.02 1.99 1.69 3/183 19576
/proc/meminfo: memFree=28646388/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=728692 CPUtime=3.77 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 98027 0 0 0 348 29 0 0 20 0 1 0 388202174 746180608 150559 33554432000 4194304 5208918 140736138417504 140736137366856 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 182173 150560 95 248 0 181922 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 1034988
[startup+25.5004 s]
/proc/loadavg: 2.09 2.00 1.70 3/183 19576
/proc/meminfo: memFree=28139396/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=735872 CPUtime=16.57 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 99966 0 0 0 1628 29 0 0 20 0 1 0 388202174 753532928 153009 33554432000 4194304 5208918 140736138417504 140736138415352 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 183968 153009 103 248 0 183717 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 1042168
[startup+51.1005 s]
/proc/loadavg: 2.06 2.00 1.70 3/183 19579
/proc/meminfo: memFree=28119016/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=738876 CPUtime=42.17 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 100811 0 0 0 4187 30 0 0 20 0 1 0 388202174 756609024 155382 33554432000 4194304 5208918 140736138417504 140736138413880 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 184719 155382 104 248 0 184468 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 1045172
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 1.72 3/183 19579
/proc/meminfo: memFree=28064020/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=738876 CPUtime=93.36 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 100841 0 0 0 9306 30 0 0 20 0 1 0 388202174 756609024 155412 33554432000 4194304 5208918 140736138417504 140736138413880 4211160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 184719 155412 104 248 0 184468 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 1045172
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.73 3/183 19580
/proc/meminfo: memFree=28045856/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=741148 CPUtime=153.35 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 101446 0 0 0 15305 30 0 0 20 0 1 0 388202174 758935552 157550 33554432000 4194304 5208918 140736138417504 140736138415256 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 185287 157550 104 248 0 185036 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 1047444
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.75 3/183 19580
/proc/meminfo: memFree=28017452/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 111568 0 0 0 141262 45 0 0 20 0 1 0 388202174 794726400 173984 33554432000 4194304 5208918 140736138417504 140736138413880 4229992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 194025 173984 104 248 0 193774 0
Current children cumulated CPU time (s) 1421.19
Current children cumulated vsize (KiB) 1082396
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/184 19617
/proc/meminfo: memFree=27798964/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=777144 CPUtime=1473.06 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 111909 0 0 0 147260 46 0 0 20 0 1 0 388202174 795795456 176369 33554432000 4194304 5208918 140736138417504 140736138415256 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 194286 176369 104 248 0 194035 0
Current children cumulated CPU time (s) 1481.18
Current children cumulated vsize (KiB) 1083440
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19617
/proc/meminfo: memFree=27802780/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=777708 CPUtime=1533.05 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 112330 0 0 0 153257 48 0 0 20 0 1 0 388202174 796372992 169716 33554432000 4194304 5208918 140736138417504 140736138415256 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 194427 169716 104 248 0 194176 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 1084004
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19617
/proc/meminfo: memFree=27854484/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=778968 CPUtime=1593.04 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 112676 0 0 0 159255 49 0 0 20 0 1 0 388202174 797663232 174150 33554432000 4194304 5208918 140736138417504 140736138415256 4211160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 194742 174150 104 248 0 194491 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 1085264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19617
/proc/meminfo: memFree=27825564/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=779936 CPUtime=1653.03 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 112940 0 0 0 165254 49 0 0 20 0 1 0 388202174 798654464 177480 33554432000 4194304 5208918 140736138417504 140736138415256 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 194984 177480 104 248 0 194733 0
Current children cumulated CPU time (s) 1661.15
Current children cumulated vsize (KiB) 1086232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19618
/proc/meminfo: memFree=27831596/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=780976 CPUtime=1713.02 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 113642 0 0 0 171251 51 0 0 20 0 1 0 388202174 799719424 171251 33554432000 4194304 5208918 140736138417504 140736138415256 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 195244 171251 104 248 0 194993 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 1087272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19618
/proc/meminfo: memFree=27797496/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=781760 CPUtime=1773.02 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 113851 0 0 0 177250 52 0 0 20 0 1 0 388202174 800522240 175548 33554432000 4194304 5208918 140736138417504 140736138415256 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 195440 175548 104 248 0 195189 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (KiB) 1088056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19618
/proc/meminfo: memFree=27787304/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=782156 CPUtime=1791.92 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 113923 0 0 0 179140 52 0 0 20 0 1 0 388202174 800927744 176131 33554432000 4194304 5208918 140736138417504 140736138415256 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 195539 176131 104 248 0 195288 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1088452
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 19618
/proc/meminfo: memFree=27787304/32873648 swapFree=7376/7376
[pid=19560] ppid=19558 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19560/stat : 19560 (npSolver-pbo.sh) S 19558 19560 19387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388201281 9367552 274 33554432000 4194304 5064252 140733760006960 140733760005872 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19560/statm: 2287 274 233 213 0 72 0
[pid=19561] ppid=19560 vsize=288000 CPUtime=8.12 cores=0,2,4,6
/proc/19561/stat : 19561 (npSolver-pbo) S 19560 19560 19387 0 -1 4202496 17596 31098 0 0 390 104 310 8 20 0 1 0 388201282 294912000 69956 33554432000 4194304 6004724 140735710371840 140735710364192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 76 0 0
/proc/19561/statm: 72000 69956 173 442 0 71554 0
[pid=19575] ppid=19561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19575/stat : 19575 (satsolver.sh) S 19561 19560 19387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388202173 9367552 267 33554432000 4194304 5064252 140733943085712 140733943084624 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19575/statm: 2287 267 226 213 0 72 0
[pid=19576] ppid=19575 vsize=782156 CPUtime=1791.92 cores=0,2,4,6
/proc/19576/stat : 19576 (glucose) R 19575 19560 19387 0 -1 4202496 113923 0 0 0 179140 52 0 0 20 0 1 0 388202174 800927744 176131 33554432000 4194304 5208918 140736138417504 140736138415256 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19576/statm: 195539 176131 104 248 0 195288 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1088452
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19560 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=10934
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=140826
# CPU time returned by wait4() is 8.15176
# 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): 1801.21
CPU time (s): 1800.04
CPU user time (s): 1798.4
CPU system time (s): 1.64
CPU usage (%): 99.9348
Max. virtual memory (cumulated for all children) (KiB): 1298536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.01093
system time used= 1.14083
maximum resident set size= 535432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 46
runsolver used 3.58245 second user time and 9.2046 second system time
The end