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-3753811-1339200971/watcher-3753811-1339200971 -o /tmp/evaluation-result-3753811-1339200971/solver-3753811-1339200971 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753811-1339200971.wbo 591399085 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.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[startup+0.006895 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100144 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300144 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700107 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27478524/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=28248 CPUtime=1.29 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6647 0 0 0 128 1 0 0 20 0 1 0 386223076 28925952 6370 33554432000 4194304 5208918 140735649146048 140735649143896 4211122 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 7062 6370 104 248 0 6811 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 66672
[startup+3.10027 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27477400/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=29248 CPUtime=2.89 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6952 0 0 0 288 1 0 0 20 0 1 0 386223076 29949952 6674 33554432000 4194304 5208918 140735649146048 140735649143896 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 7312 6674 105 248 0 7061 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 67672
[startup+6.3002 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27460344/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=48460 CPUtime=6.09 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8682 0 0 0 607 2 0 0 20 0 1 0 386223076 49623040 10655 33554432000 4194304 5208918 140735649146048 140735649143912 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 12115 10655 105 248 0 11864 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86884
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27458072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=48460 CPUtime=12.49 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8739 0 0 0 1247 2 0 0 20 0 1 0 386223076 49623040 11223 33554432000 4194304 5208918 140735649146048 140735649143912 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 12115 11223 105 248 0 11864 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86884
[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 25596
/proc/meminfo: memFree=27474188/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=18.3 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 6628 17984 0 0 26 3 1794 7 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25595] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25595/stat : 25595 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386224889 9367552 267 33554432000 4194304 5064252 140734677000144 140734676999056 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25595/statm: 2287 267 226 213 0 72 0
[pid=25596] ppid=25595 vsize=42036 CPUtime=7.16 cores=0,2,4,6
/proc/25596/stat : 25596 (glucose) R 25595 25575 19535 0 -1 4202496 7976 0 0 0 714 2 0 0 20 0 1 0 386224889 43044864 9272 33554432000 4194304 5208918 140736379053616 140736379051464 4228947 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25596/statm: 10509 9272 105 248 0 10258 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 80460
[startup+51.1003 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 25617
/proc/meminfo: memFree=27471576/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=45.67 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 13633 54194 0 0 65 6 4468 28 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25616] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25616/stat : 25616 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386227626 9367552 267 33554432000 4194304 5064252 140733958215808 140733958214720 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25616/statm: 2287 267 226 213 0 72 0
[pid=25617] ppid=25616 vsize=30620 CPUtime=5.38 cores=0,2,4,6
/proc/25617/stat : 25617 (glucose) R 25616 25575 19535 0 -1 4202496 8786 0 0 0 537 1 0 0 20 0 1 0 386227627 31354880 6872 33554432000 4194304 5208918 140735939003872 140735939001960 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25617/statm: 7655 6872 105 248 0 7404 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69044
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25652
/proc/meminfo: memFree=27471424/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=97.27 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 25308 116534 0 0 128 13 9528 58 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25651] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25651/stat : 25651 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386232795 9367552 267 33554432000 4194304 5064252 140735873857968 140735873856880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25651/statm: 2287 267 226 213 0 72 0
[pid=25652] ppid=25651 vsize=30320 CPUtime=4.9 cores=0,2,4,6
/proc/25652/stat : 25652 (glucose) R 25651 25575 19535 0 -1 4202496 8123 0 0 0 488 2 0 0 20 0 1 0 386232796 31047680 6860 33554432000 4194304 5208918 140734634609168 140734634607016 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 7580 6860 105 248 0 7329 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 68744
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 25709
/proc/meminfo: memFree=27468920/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=161.35 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 43988 211809 0 0 230 23 15771 111 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25708] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26801
/proc/meminfo: memFree=24508976/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1417.19 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 382909 1850901 0 0 1904 195 138591 1029 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=26800] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26800/stat : 26800 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386364858 9367552 267 33554432000 4194304 5064252 140736888329344 140736888328256 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26800/statm: 2287 267 226 213 0 72 0
[pid=26801] ppid=26800 vsize=28808 CPUtime=4.27 cores=0,2,4,6
/proc/26801/stat : 26801 (glucose) R 26800 25575 19535 0 -1 4202496 6389 0 0 0 426 1 0 0 20 0 1 0 386364859 29499392 6053 33554432000 4194304 5208918 140734925108512 140734925106456 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26801/statm: 7202 6053 104 248 0 6951 0
Current children cumulated CPU time (s) 1421.46
Current children cumulated vsize (KiB) 67232
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26972
/proc/meminfo: memFree=24515336/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1481.02 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 436425 2045732 0 0 2079 214 144677 1132 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1481.02
Current children cumulated vsize (KiB) 29276
Solver just ended. Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26986
/proc/meminfo: memFree=24517720/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1483.84 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 439919 2060677 0 0 2092 215 144939 1138 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1483.84
Current children cumulated vsize (KiB) 29276
[startup+1510.41 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27084
/proc/meminfo: memFree=24518944/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1508.72 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 462617 2157430 0 0 2167 224 147293 1188 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27083] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27083/stat : 27083 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386374018 9367552 267 33554432000 4194304 5064252 140734487480800 140734487479712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27083/statm: 2287 267 226 213 0 72 0
[pid=27084] ppid=27083 vsize=15476 CPUtime=0.77 cores=0,2,4,6
/proc/27084/stat : 27084 (glucose) R 27083 25575 19535 0 -1 4202496 3400 0 0 0 77 0 0 0 20 0 1 0 386374018 15847424 3150 33554432000 4194304 5208918 140737212279936 140737212277688 4228952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27084/statm: 3869 3150 104 248 0 3618 0
Current children cumulated CPU time (s) 1509.49
Current children cumulated vsize (KiB) 53900
[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27140
/proc/meminfo: memFree=24520248/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1521.35 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 476584 2212481 0 0 2210 228 148484 1213 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27139] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27139/stat : 27139 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386375281 9367552 266 33554432000 4194304 5064252 140733584740400 140733584739312 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27139/statm: 2287 266 226 213 0 72 0
[pid=27140] ppid=27139 vsize=15024 CPUtime=0.93 cores=0,2,4,6
/proc/27140/stat : 27140 (glucose) R 27139 25575 19535 0 -1 4202496 3833 0 0 0 93 0 0 0 20 0 1 0 386375281 15384576 3026 33554432000 4194304 5208918 140737125158880 140737125156712 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27140/statm: 3756 3026 104 248 0 3505 0
Current children cumulated CPU time (s) 1522.28
Current children cumulated vsize (KiB) 53448
[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27175
/proc/meminfo: memFree=24518376/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1528.5 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 487058 2253241 0 0 2238 232 149149 1231 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1528.5
Current children cumulated vsize (KiB) 29276
[startup+1536 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27224
/proc/meminfo: memFree=24519364/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1534.51 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 497534 2292119 0 0 2265 235 149704 1247 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27223] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27223/stat : 27223 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386376600 9367552 266 33554432000 4194304 5064252 140733660733008 140733660731920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27223/statm: 2287 266 226 213 0 72 0
[pid=27224] ppid=27223 vsize=12352 CPUtime=0.54 cores=0,2,4,6
/proc/27224/stat : 27224 (glucose) R 27223 25575 19535 0 -1 4202496 2283 0 0 0 54 0 0 0 20 0 1 0 386376600 12648448 2686 33554432000 4194304 5208918 140733470808960 140733660731944 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27224/statm: 3088 2686 105 248 0 2837 0
Current children cumulated CPU time (s) 1535.05
Current children cumulated vsize (KiB) 50776
[startup+1537.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27231
/proc/meminfo: memFree=24518792/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1536.07 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 501026 2304197 0 0 2273 235 149847 1252 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1536.07
Current children cumulated vsize (KiB) 29276
[startup+1538.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27245
/proc/meminfo: memFree=24521164/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1537.43 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 505178 2329476 0 0 2283 237 149962 1261 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1537.43
Current children cumulated vsize (KiB) 29276
[startup+1539.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.22 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 509231 2364051 0 0 2292 238 150021 1271 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1538.22
Current children cumulated vsize (KiB) 29276
[startup+1539.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.61 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 511466 2381175 0 0 2297 239 150049 1276 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4646 180 443 0 4585 0
Current children cumulated CPU time (s) 1538.61
Current children cumulated vsize (KiB) 29276
[startup+1539.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.73 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 512439 2384427 0 0 2299 239 150054 1281 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4646 180 443 0 4585 0
Current children cumulated CPU time (s) 1538.73
Current children cumulated vsize (KiB) 29276
Child status: 0
Real time (s): 1539.79
CPU time (s): 1538.85
CPU user time (s): 1523.62
CPU system time (s): 15.2297
CPU usage (%): 99.9386
Max. virtual memory (cumulated for all children) (KiB): 98560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1523.62
system time used= 15.2297
maximum resident set size= 48752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2903960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3065648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16116
involuntary context switches= 4625
runsolver used 3.47247 second user time and 8.42272 second system time
The end