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-3749647-1339164292/watcher-3749647-1339164292 -o /tmp/evaluation-result-3749647-1339164292/solver-3749647-1339164292 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749647-1339164292.opb 157255544 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23059
/proc/meminfo: memFree=28986620/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[startup+0.0515271 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23059
/proc/meminfo: memFree=28986620/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23059
/proc/meminfo: memFree=28986620/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23059
/proc/meminfo: memFree=28986620/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23059
/proc/meminfo: memFree=28986620/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 23061
/proc/meminfo: memFree=28861648/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=217252 CPUtime=1.49 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) R 23059 23059 17323 0 -1 4202496 11917 0 0 0 144 5 0 0 20 0 1 0 382557808 222466048 39857 33554432000 4194304 6004724 140733222931040 140733222925672 4209089 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 54313 39857 154 442 0 53867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226400
[startup+3.10036 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23063
/proc/meminfo: memFree=28726140/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=1.98 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12629 0 0 0 178 20 0 0 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222925088 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23062] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (cp2_pre.sh) S 23060 23059 17323 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382558007 9367552 276 33554432000 4194304 5064252 140733697633856 140733697632560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23062/statm: 2287 276 234 213 0 72 0
[pid=23063] ppid=23062 vsize=134128 CPUtime=1.09 cores=0,2,4,6
/proc/23063/stat : 23063 (coprocessor) R 23062 23059 17323 0 -1 4202496 10920 0 0 0 105 4 0 0 20 0 1 0 382558008 137347072 31958 33554432000 4194304 6586260 140735748742336 140735748739096 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23063/statm: 33532 31958 137 584 0 32944 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 333380
[startup+6.30041 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23063
/proc/meminfo: memFree=28307480/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=1.98 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12629 0 0 0 178 20 0 0 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222925088 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23062] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (cp2_pre.sh) S 23060 23059 17323 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382558007 9367552 276 33554432000 4194304 5064252 140733697633856 140733697632560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23062/statm: 2287 276 234 213 0 72 0
[pid=23063] ppid=23062 vsize=489172 CPUtime=4.29 cores=0,2,4,6
/proc/23063/stat : 23063 (coprocessor) R 23062 23059 17323 0 -1 4202496 58571 0 0 0 414 15 0 0 20 0 1 0 382558008 500912128 118956 33554432000 4194304 6586260 140735748742336 140735748738360 5432672 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23063/statm: 122293 118956 179 584 0 121705 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 688424
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 23066
/proc/meminfo: memFree=28692520/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=169268 CPUtime=3.18 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 27188 0 0 0 313 5 0 0 20 0 1 0 382558760 173330432 32760 33554432000 4194304 5208918 140735822061248 140735822059080 4228982 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 42317 32760 103 248 0 42066 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 368520
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 23066
/proc/meminfo: memFree=28687424/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=169268 CPUtime=15.97 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 27925 0 0 0 1592 5 0 0 20 0 1 0 382558760 173330432 33496 33554432000 4194304 5208918 140735822061248 140735822059336 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 42317 33496 104 248 0 42066 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 368520
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 23066
/proc/meminfo: memFree=28684136/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=170980 CPUtime=41.57 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 29110 0 0 0 4151 6 0 0 20 0 1 0 382558760 175083520 34620 33554432000 4194304 5208918 140735822061248 140735822059096 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 42745 34620 104 248 0 42494 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 370232
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23066
/proc/meminfo: memFree=28635608/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=220104 CPUtime=92.77 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 30910 0 0 0 9269 8 0 0 20 0 1 0 382558760 225386496 46519 33554432000 4194304 5208918 140735822061248 140735822059112 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 55026 46519 104 248 0 54775 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 419356
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23066
/proc/meminfo: memFree=28659252/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=220108 CPUtime=152.75 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 31461 0 0 0 15267 8 0 0 20 0 1 0 382558760 225390592 40887 33554432000 4194304 5208918 140735822061248 140735822057016 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 55027 40887 104 248 0 54776 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23150
/proc/meminfo: memFree=28442512/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=232152 CPUtime=1352.53 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 34396 0 0 0 135234 19 0 0 20 0 1 0 382558760 237723648 50460 33554432000 4194304 5208918 140735822061248 140735822057624 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 58038 50460 104 248 0 57787 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 431404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23151
/proc/meminfo: memFree=28418884/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=232152 CPUtime=1412.53 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 35091 0 0 0 141232 21 0 0 20 0 1 0 382558760 237723648 50460 33554432000 4194304 5208918 140735822061248 140735822059336 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 58038 50460 104 248 0 57787 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 431404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23151
/proc/meminfo: memFree=28371904/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=281472 CPUtime=1472.5 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 35192 0 0 0 147229 21 0 0 20 0 1 0 382558760 288227328 62314 33554432000 4194304 5208918 140735822061248 140735822059240 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 70368 62314 104 248 0 70117 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 480724
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 23154
/proc/meminfo: memFree=28379856/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=281472 CPUtime=1532.5 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 35884 0 0 0 153227 23 0 0 20 0 1 0 382558760 288227328 60266 33554432000 4194304 5208918 140735822061248 140735822059240 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 70368 60266 104 248 0 70117 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 480724
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 23154
/proc/meminfo: memFree=28416868/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=232152 CPUtime=1592.49 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 36475 0 0 0 159225 24 0 0 20 0 1 0 382558760 237723648 50460 33554432000 4194304 5208918 140735822061248 140735822057016 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 58038 50460 104 248 0 57787 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 431404
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23154
/proc/meminfo: memFree=28365804/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=312292 CPUtime=1652.48 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 37139 0 0 0 165223 25 0 0 20 0 1 0 382558760 319787008 62868 33554432000 4194304 5208918 140735822061248 140735822059400 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 78073 62868 104 248 0 77822 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 511544
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23155
/proc/meminfo: memFree=28367832/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=281472 CPUtime=1712.47 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 37265 0 0 0 171221 26 0 0 20 0 1 0 382558760 288227328 60778 33554432000 4194304 5208918 140735822061248 140735822059240 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 70368 60778 104 248 0 70117 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 480724
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23155
/proc/meminfo: memFree=28400540/32873844 swapFree=7376/7376
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=232152 CPUtime=1772.46 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 37859 0 0 0 177218 28 0 0 20 0 1 0 382558760 237723648 50460 33554432000 4194304 5208918 140735822061248 140735822059336 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 58038 50460 104 248 0 57787 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 431404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23155
/proc/meminfo: memFree=28363676/32873844 swapFree=7372/7372
[pid=23059] ppid=23057 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23059/stat : 23059 (npSolver-pbo.sh) S 23057 23059 17323 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382557808 9367552 275 33554432000 4194304 5064252 140733984448176 140733984447088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23059/statm: 2287 275 233 213 0 72 0
[pid=23060] ppid=23059 vsize=180956 CPUtime=9.48 cores=0,2,4,6
/proc/23060/stat : 23060 (npSolver-pbo) S 23059 23059 17323 0 -1 4202496 12636 61593 0 0 178 20 692 58 20 0 1 0 382557808 185298944 36456 33554432000 4194304 6004724 140733222931040 140733222926176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23060/statm: 45239 36456 163 442 0 44793 0
[pid=23065] ppid=23060 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23065/stat : 23065 (satsolver.sh) S 23060 23059 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382558759 9367552 266 33554432000 4194304 5064252 140733996502176 140733996501088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23065/statm: 2287 266 226 213 0 72 0
[pid=23066] ppid=23065 vsize=281472 CPUtime=1790.56 cores=0,2,4,6
/proc/23066/stat : 23066 (glucose) R 23065 23059 17323 0 -1 4202496 37955 0 0 0 179028 28 0 0 20 0 1 0 382558760 288227328 59754 33554432000 4194304 5208918 140735822061248 140735822057624 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23066/statm: 70368 59754 104 248 0 70117 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 480724
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799
CPU system time (s): 1.08683
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 743020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.08683
maximum resident set size= 533352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 229664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 1949
runsolver used 3.2605 second user time and 9.78851 second system time
The end