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-3700868-1338127898/watcher-3700868-1338127898 -o /tmp/evaluation-result-3700868-1338127898/solver-3700868-1338127898 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700868-1338127898.opb 495050345 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.11 2.04 1.95 3/179 23317
/proc/meminfo: memFree=27435328/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[startup+0.0667359 s]
/proc/loadavg: 2.11 2.04 1.95 3/179 23317
/proc/meminfo: memFree=27435328/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100267 s]
/proc/loadavg: 2.11 2.04 1.95 3/179 23317
/proc/meminfo: memFree=27435328/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.11 2.04 1.95 3/179 23317
/proc/meminfo: memFree=27435328/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 2.11 2.04 1.95 3/179 23317
/proc/meminfo: memFree=27435328/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/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.11 2.04 1.95 3/175 23348
/proc/meminfo: memFree=28834952/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=182944 CPUtime=1.49 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) R 23317 23317 23064 0 -1 4202496 16365 0 0 0 144 5 0 0 20 0 1 0 278914159 187334656 31244 33554432000 4194304 5992684 140737269749696 140737269744664 4525061 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23318/statm: 45736 31244 167 440 0 45292 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 192092
[startup+3.1004 s]
/proc/loadavg: 2.10 2.04 1.95 3/179 23359
/proc/meminfo: memFree=28667612/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=314016 CPUtime=2.56 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 17680 0 0 0 227 29 0 0 20 0 1 0 278914159 321552384 45587 33554432000 4194304 5992684 140737269749696 140737269743728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23318/statm: 78504 45587 174 440 0 78060 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 323164
[startup+6.30044 s]
/proc/loadavg: 2.10 2.04 1.95 3/183 23363
/proc/meminfo: memFree=27472192/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=314016 CPUtime=2.56 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 17680 0 0 0 227 29 0 0 20 0 1 0 278914159 321552384 45587 33554432000 4194304 5992684 140737269749696 140737269743728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23318/statm: 78504 45587 174 440 0 78060 0
[pid=23360] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23360/stat : 23360 (cp2_pre.sh) S 23318 23317 23064 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278914415 9367552 277 33554432000 4194304 5064252 140735285717456 140735285716160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23360/statm: 2287 277 234 213 0 72 0
[pid=23361] ppid=23360 vsize=563068 CPUtime=3.71 cores=0,2,4,6
/proc/23361/stat : 23361 (coprocessor) R 23360 23317 23064 0 -1 4202496 54307 0 0 0 356 15 0 0 20 0 1 0 278914416 576581632 126791 33554432000 4194304 6586260 140737095827584 140737095823848 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23361/statm: 140767 126792 164 584 0 140179 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 895380
[startup+12.7003 s]
/proc/loadavg: 2.16 2.05 1.95 3/183 23369
/proc/meminfo: memFree=28111828/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=314016 CPUtime=11.92 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 17688 71396 0 0 227 29 895 41 20 0 1 0 278914159 321552384 45587 33554432000 4194304 5992684 140737269749696 140737269744816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23318/statm: 78504 45587 174 440 0 78060 0
[pid=23365] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23365/stat : 23365 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278915353 9367552 267 33554432000 4194304 5064252 140734449866608 140734449865520 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23365/statm: 2287 267 226 213 0 72 0
[pid=23367] ppid=23365 vsize=251744 CPUtime=0.74 cores=0,2,4,6
/proc/23367/stat : 23367 (glucose) R 23365 23317 23064 0 -1 4202496 42160 0 0 0 65 9 0 0 20 0 1 0 278915353 257785856 53827 33554432000 4194304 5208918 140735867283056 140735866232552 4229872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23367/statm: 62936 53827 95 248 0 62685 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 584056
[startup+25.5004 s]
/proc/loadavg: 2.29 2.08 1.96 3/183 23383
/proc/meminfo: memFree=26478448/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=809456 CPUtime=2.68 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 88175 0 0 0 245 23 0 0 20 0 1 0 278916440 828882944 151788 33554432000 4194304 5208918 140737263159536 140737262108936 4222874 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 202364 151788 91 248 0 202113 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 1437080
[startup+51.1004 s]
/proc/loadavg: 2.25 2.09 1.97 3/183 23383
/proc/meminfo: memFree=26219352/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=629016 CPUtime=28.27 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 96730 0 0 0 2801 26 0 0 20 0 1 0 278916440 644112384 143411 33554432000 4194304 5208918 140737263159536 140737263157368 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 157254 143411 105 248 0 157003 0
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (KiB) 1256640
[startup+102.3 s]
/proc/loadavg: 2.10 2.07 1.97 3/183 23383
/proc/meminfo: memFree=26219972/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=629016 CPUtime=79.46 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 96730 0 0 0 7920 26 0 0 20 0 1 0 278916440 644112384 143411 33554432000 4194304 5208918 140737263159536 140737263157368 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 157254 143411 105 248 0 157003 0
Current children cumulated CPU time (s) 100.89
Current children cumulated vsize (KiB) 1256640
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 1.97 3/183 23384
/proc/meminfo: memFree=26215504/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=629016 CPUtime=139.46 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 96732 0 0 0 13919 27 0 0 20 0 1 0 278916440 644112384 144435 33554432000 4194304 5208918 140737263159536 140737263155912 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 157254 144435 105 248 0 157003 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 1256640
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/183 23384
/proc/meminfo: memFree=26209608/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 102957 0 0 0 139881 41 0 0 20 0 1 0 278916440 779358208 165425 33554432000 4194304 5208918 140737263159536 140737263155224 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 190273 165425 105 248 0 190022 0
Current children cumulated CPU time (s) 1420.65
Current children cumulated vsize (KiB) 1388716
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23395
/proc/meminfo: memFree=26038632/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=767332 CPUtime=1459.21 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 102965 0 0 0 145880 41 0 0 20 0 1 0 278916440 785747968 166963 33554432000 4194304 5208918 140737263159536 140737263155912 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 191833 166963 105 248 0 191582 0
Current children cumulated CPU time (s) 1480.64
Current children cumulated vsize (KiB) 1394956
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23395
/proc/meminfo: memFree=26044416/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=767332 CPUtime=1519.19 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 103187 0 0 0 151876 43 0 0 20 0 1 0 278916440 785747968 162105 33554432000 4194304 5208918 140737263159536 140737263155848 4229853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 191833 162105 105 248 0 191582 0
Current children cumulated CPU time (s) 1540.62
Current children cumulated vsize (KiB) 1394956
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23395
/proc/meminfo: memFree=26017180/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=767332 CPUtime=1579.19 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 103610 0 0 0 157875 44 0 0 20 0 1 0 278916440 785747968 166848 33554432000 4194304 5208918 140737263159536 140737263155912 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 191833 166848 105 248 0 191582 0
Current children cumulated CPU time (s) 1600.62
Current children cumulated vsize (KiB) 1394956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23396
/proc/meminfo: memFree=26043432/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=771140 CPUtime=1639.18 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 103871 0 0 0 163874 44 0 0 20 0 1 0 278916440 789647360 170175 33554432000 4194304 5208918 140737263159536 140737263155912 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 192785 170175 105 248 0 192534 0
Current children cumulated CPU time (s) 1660.61
Current children cumulated vsize (KiB) 1398764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 23399
/proc/meminfo: memFree=26021332/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=777872 CPUtime=1699.16 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 104136 0 0 0 169872 44 0 0 20 0 1 0 278916440 796540928 174017 33554432000 4194304 5208918 140737263159536 140737263155912 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 194468 174017 105 248 0 194217 0
Current children cumulated CPU time (s) 1720.59
Current children cumulated vsize (KiB) 1405496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23399
/proc/meminfo: memFree=26035740/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=777872 CPUtime=1759.16 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 104582 0 0 0 175869 47 0 0 20 0 1 0 278916440 796540928 169204 33554432000 4194304 5208918 140737263159536 140737263155240 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 194468 169204 105 248 0 194217 0
Current children cumulated CPU time (s) 1780.59
Current children cumulated vsize (KiB) 1405496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23399
/proc/meminfo: memFree=26021344/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=783192 CPUtime=1778.66 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 105198 0 0 0 177819 47 0 0 20 0 1 0 278916440 801988608 172375 33554432000 4194304 5208918 140737263159536 140737263157368 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 195798 172375 105 248 0 195547 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1410816
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 23399
/proc/meminfo: memFree=26021344/32873844 swapFree=7612/7612
[pid=23317] ppid=23315 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23317/stat : 23317 (npSolver-pbo.sh) S 23315 23317 23064 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278914158 9367552 275 33554432000 4194304 5064252 140734637026688 140734637025600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23317/statm: 2287 275 233 213 0 72 0
[pid=23318] ppid=23317 vsize=609328 CPUtime=21.43 cores=0,2,4,6
/proc/23318/stat : 23318 (npSolver-pbo) S 23317 23317 23064 0 -1 4202496 32631 124274 0 0 529 484 1064 66 20 0 1 0 278914159 623951872 95083 33554432000 4194304 5992684 140737269749696 140737269742016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 135 0 0
/proc/23318/statm: 152332 95083 183 440 0 151888 0
[pid=23382] ppid=23318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23382/stat : 23382 (satsolver.sh) S 23318 23317 23064 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278916439 9367552 266 33554432000 4194304 5064252 140735603106240 140735603105152 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23382/statm: 2287 266 226 213 0 72 0
[pid=23383] ppid=23382 vsize=783192 CPUtime=1778.66 cores=0,2,4,6
/proc/23383/stat : 23383 (glucose) R 23382 23317 23064 0 -1 4202496 105198 0 0 0 177819 47 0 0 20 0 1 0 278916440 801988608 172375 33554432000 4194304 5208918 140737263159536 140737263157368 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23383/statm: 195798 172375 105 248 0 195547 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1410816
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23317 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=937577
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=520160
# CPU time returned by wait4() is 21.4577
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.82
CPU time (s): 1800.09
CPU user time (s): 1794.12
CPU system time (s): 5.97
CPU usage (%): 99.9042
Max. virtual memory (cumulated for all children) (KiB): 1617112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9376
system time used= 5.52016
maximum resident set size= 661832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 903976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1446
involuntary context switches= 45
runsolver used 2.97555 second user time and 11.1613 second system time
The end