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-3701522-1338080420/watcher-3701522-1338080420 -o /tmp/evaluation-result-3701522-1338080420/solver-3701522-1338080420 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701522-1338080420.opb 888354127 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.08 2.04 2.01 3/180 20342
/proc/meminfo: memFree=29058740/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[startup+0.0449351 s]
/proc/loadavg: 2.08 2.04 2.01 3/180 20342
/proc/meminfo: memFree=29058740/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.08 2.04 2.01 3/180 20342
/proc/meminfo: memFree=29058740/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.08 2.04 2.01 3/180 20342
/proc/meminfo: memFree=29058740/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.08 2.04 2.01 3/180 20342
/proc/meminfo: memFree=29058740/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.08 2.04 2.01 3/182 20344
/proc/meminfo: memFree=28952176/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=218764 CPUtime=1.49 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) R 20342 20342 15154 0 -1 4202496 25320 0 0 0 142 7 0 0 20 0 1 0 274166874 224014336 40667 33554432000 4194304 5992684 140735456613824 140735456606664 4957503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 54691 40667 158 440 0 54247 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 227912
[startup+3.10032 s]
/proc/loadavg: 2.08 2.04 2.01 3/184 20346
/proc/meminfo: memFree=28737500/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=1.78 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27905 0 0 0 158 20 0 0 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456607856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20345] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20345/stat : 20345 (cp2_pre.sh) S 20343 20342 15154 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274167053 9367552 277 33554432000 4194304 5064252 140736381646368 140736381645072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 2287 277 234 213 0 72 0
[pid=20346] ppid=20345 vsize=442420 CPUtime=1.29 cores=0,2,4,6
/proc/20346/stat : 20346 (coprocessor) R 20345 20342 15154 0 -1 4202496 17770 0 0 0 120 9 0 0 20 0 1 0 274167054 453038080 79255 33554432000 4194304 6586260 140734929406272 140734929402152 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20346/statm: 110605 79255 158 584 0 110017 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 688464
[startup+6.30029 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 20346
/proc/meminfo: memFree=28434336/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=1.78 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27905 0 0 0 158 20 0 0 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456607856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20345] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20345/stat : 20345 (cp2_pre.sh) S 20343 20342 15154 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274167053 9367552 277 33554432000 4194304 5064252 140736381646368 140736381645072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 2287 277 234 213 0 72 0
[pid=20346] ppid=20345 vsize=442420 CPUtime=4.37 cores=0,2,4,6
/proc/20346/stat : 20346 (coprocessor) R 20345 20342 15154 0 -1 4202496 17770 0 0 0 415 22 0 0 20 0 1 0 274167054 453038080 79255 33554432000 4194304 6586260 140734929406272 140734929402024 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 11 0 0
/proc/20346/statm: 110605 79255 158 584 0 110017 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 688464
[startup+12.7004 s]
/proc/loadavg: 2.31 2.09 2.02 3/184 20349
/proc/meminfo: memFree=28224516/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=592492 CPUtime=5.21 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 89383 0 0 0 503 18 0 0 20 0 1 0 274167621 606711808 134436 33554432000 4194304 5208918 140734088222096 140734088220040 4229288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 148123 134436 103 248 0 147872 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 838536
[startup+25.5004 s]
/proc/loadavg: 2.24 2.08 2.02 3/184 20349
/proc/meminfo: memFree=28238992/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=608484 CPUtime=18.01 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 93494 0 0 0 1782 19 0 0 20 0 1 0 274167621 623087616 138547 33554432000 4194304 5208918 140734088222096 140734088219944 4229010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 152121 138547 103 248 0 151870 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 854528
[startup+51.1004 s]
/proc/loadavg: 2.16 2.08 2.02 3/185 20372
/proc/meminfo: memFree=28233780/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=610104 CPUtime=43.61 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 94105 0 0 0 4341 20 0 0 20 0 1 0 274167621 624746496 139664 33554432000 4194304 5208918 140734088222096 140734088220056 4229157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 152526 139664 103 248 0 152275 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 856148
[startup+102.307 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 20372
/proc/meminfo: memFree=28187508/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=662824 CPUtime=94.81 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 95364 0 0 0 9460 21 0 0 20 0 1 0 274167621 678731776 143475 33554432000 4194304 5208918 140734088222096 140734088220056 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 165706 143475 103 248 0 165455 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 908868
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/184 20372
/proc/meminfo: memFree=28207236/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=663904 CPUtime=154.79 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 95638 0 0 0 15458 21 0 0 20 0 1 0 274167621 679837696 146815 33554432000 4194304 5208918 140734088222096 140734088219944 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 165976 146815 103 248 0 165725 0
Current children cumulated CPU time (s) 162.12
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20592
/proc/meminfo: memFree=28115616/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=702728 CPUtime=1354.51 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 111069 0 0 0 135406 45 0 0 20 0 1 0 274167621 719593472 159830 33554432000 4194304 5208918 140734088222096 140734088220040 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 175682 159830 104 248 0 175431 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 948772
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20592
/proc/meminfo: memFree=28176396/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=704100 CPUtime=1414.51 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 111743 0 0 0 141404 47 0 0 20 0 1 0 274167621 720998400 153277 33554432000 4194304 5208918 140734088222096 140734088220184 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 176025 153277 104 248 0 175774 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 950144
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20592
/proc/meminfo: memFree=28096464/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=706848 CPUtime=1474.49 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 112350 0 0 0 147402 47 0 0 20 0 1 0 274167621 723812352 158483 33554432000 4194304 5208918 140734088222096 140734088217864 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 176712 158483 104 248 0 176461 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 952892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20593
/proc/meminfo: memFree=28112988/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=706848 CPUtime=1534.48 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 113009 0 0 0 153400 48 0 0 20 0 1 0 274167621 723812352 156140 33554432000 4194304 5208918 140734088222096 140734088220184 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 176712 156140 104 248 0 176461 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 952892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20645
/proc/meminfo: memFree=27515360/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=706848 CPUtime=1594.47 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 113014 0 0 0 159399 48 0 0 20 0 1 0 274167621 723812352 158700 33554432000 4194304 5208918 140734088222096 140734088217784 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 176712 158700 104 248 0 176461 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 952892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20645
/proc/meminfo: memFree=27558368/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=707436 CPUtime=1654.46 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 113542 0 0 0 165397 49 0 0 20 0 1 0 274167621 724414464 156103 33554432000 4194304 5208918 140734088222096 140734088219944 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 176859 156103 104 248 0 176608 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 953480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20645
/proc/meminfo: memFree=27541168/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=708828 CPUtime=1714.46 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 113863 0 0 0 171396 50 0 0 20 0 1 0 274167621 725839872 160342 33554432000 4194304 5208918 140734088222096 140734088219944 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 177207 160342 104 248 0 176956 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 954872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20648
/proc/meminfo: memFree=27549548/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=709892 CPUtime=1774.45 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 114671 0 0 0 177394 51 0 0 20 0 1 0 274167621 726929408 157648 33554432000 4194304 5208918 140734088222096 140734088219944 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 177473 157648 104 248 0 177222 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 955936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20648
/proc/meminfo: memFree=27543768/32873844 swapFree=6856/6856
[pid=20342] ppid=20340 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (npSolver-pbo.sh) S 20340 20342 15154 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274166874 9367552 275 33554432000 4194304 5064252 140737310503088 140737310502000 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20342/statm: 2287 275 233 213 0 72 0
[pid=20343] ppid=20342 vsize=227748 CPUtime=7.33 cores=0,2,4,6
/proc/20343/stat : 20343 (npSolver-pbo) S 20342 20342 15154 0 -1 4202496 27912 18674 0 0 158 20 525 30 20 0 1 0 274166874 233213952 44966 33554432000 4194304 5992684 140735456613824 140735456608944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20343/statm: 56937 44966 165 440 0 56493 0
[pid=20348] ppid=20343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20348/stat : 20348 (satsolver.sh) S 20343 20342 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274167621 9367552 266 33554432000 4194304 5064252 140736717155056 140736717153968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20348/statm: 2287 266 226 213 0 72 0
[pid=20349] ppid=20348 vsize=709892 CPUtime=1792.75 cores=0,2,4,6
/proc/20349/stat : 20349 (glucose) R 20348 20342 15154 0 -1 4202496 114717 0 0 0 179224 51 0 0 20 0 1 0 274167621 726929408 159227 33554432000 4194304 5208918 140734088222096 140734088219944 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20349/statm: 177473 159227 104 248 0 177222 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 955936
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.62
CPU time (s): 1800.12
CPU user time (s): 1799.09
CPU system time (s): 1.03584
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1085416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.03584
maximum resident set size= 742008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162293
page faults= 0
swaps= 0
block input operations= 8
block output operations= 332392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 1922
runsolver used 3.49947 second user time and 9.56355 second system time
The end