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-3714310-1338187703/watcher-3714310-1338187703 -o /tmp/evaluation-result-3714310-1338187703/solver-3714310-1338187703 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714310-1338187703.wbo 2035851403 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.02 2.01 2.00 2/179 26507
/proc/meminfo: memFree=30333664/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0

[startup+0.051654 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 26507
/proc/meminfo: memFree=30333664/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100274 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 26507
/proc/meminfo: memFree=30333664/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300263 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 26507
/proc/meminfo: memFree=30333664/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700274 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 26507
/proc/meminfo: memFree=30333664/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26509
/proc/meminfo: memFree=30261856/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=134560 CPUtime=1.49 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 4611 0 0 0 146 3 0 0 20 0 1 0 284894839 137789440 27025 33554432000 4194304 5990268 140735033798128 140735033792424 4568004 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 33640 27025 143 439 0 33197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143708

[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26509
/proc/meminfo: memFree=30183156/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=265632 CPUtime=3.09 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 5243 0 0 0 303 6 0 0 20 0 1 0 284894839 272007168 56209 33554432000 4194304 5990268 140735033798128 140735033792424 4569535 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 66408 56209 143 439 0 65965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 274780

[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26509
/proc/meminfo: memFree=29938824/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=527776 CPUtime=6.28 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 5998 0 0 0 616 12 0 0 20 0 1 0 284894839 540442624 115601 33554432000 4194304 5990268 140735033798128 140735033792424 4521667 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 131944 115601 143 439 0 131501 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 536924

[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.01 3/181 26509
/proc/meminfo: memFree=28220956/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2132640 CPUtime=12.69 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 13934 0 0 0 1200 69 0 0 20 0 1 0 284894839 2183823360 423991 33554432000 4194304 5990268 140735033798128 140735033793848 4527280 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 533160 423991 145 439 0 532717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2141788

[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 26509
/proc/meminfo: memFree=28633284/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2132640 CPUtime=25.49 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 13934 0 0 0 2480 69 0 0 20 0 1 0 284894839 2183823360 423991 33554432000 4194304 5990268 140735033798128 140735033794008 4547439 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 533160 423991 145 439 0 532717 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2141788

[startup+51.1003 s]
/proc/loadavg: 2.17 2.05 2.01 3/181 26509
/proc/meminfo: memFree=28633284/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2132640 CPUtime=51.08 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 13934 0 0 0 5039 69 0 0 20 0 1 0 284894839 2183823360 423991 33554432000 4194304 5990268 140735033798128 140735033794008 4521650 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 533160 423991 145 439 0 532717 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2141788

[startup+102.307 s]
/proc/loadavg: 2.55 2.16 2.05 3/184 26514
/proc/meminfo: memFree=23826040/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2132640 CPUtime=66.15 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 14770 0 0 0 6404 211 0 0 20 0 1 0 284894839 2183823360 451647 33554432000 4194304 5990268 140735033798128 140735033791280 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 533160 451647 153 439 0 532717 0
[pid=26510] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26510/stat : 26510 (cp2_pre.sh) S 26508 26507 21914 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284901456 9367552 277 33554432000 4194304 5064252 140735123875504 140735123874208 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26510/statm: 2287 277 234 213 0 72 0
[pid=26511] ppid=26510 vsize=4405668 CPUtime=35.89 cores=0,2,4,6
/proc/26511/stat : 26511 (coprocessor) R 26510 26507 21914 0 -1 4202496 26407 0 0 0 3387 202 0 0 20 0 1 0 284901456 4511404032 791966 33554432000 4194304 6586260 140734304160192 140734304155944 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 22 0 0
/proc/26511/statm: 1101417 791966 158 584 0 1100829 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 6556604

[startup+162.3 s]
/proc/loadavg: 2.46 2.22 2.08 3/183 26518
/proc/meminfo: memFree=25539872/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2132640 CPUtime=161.36 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 14784 577755 0 0 6404 211 8994 527 20 0 1 0 284894839 2183823360 451649 33554432000 4194304 5990268 140735033798128 140735033791856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26508/statm: 533160 451649 155 439 0 532717 0
Current children cumulated CPU time (s) 161.36
Current children cumulated vsize (KiB) 2141788

[startup+222.3 s]
/proc/loadavg: 2.77 2.34 2.13 3/181 26522
/proc/meminfo: memFree=26511656/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2299976 CPUtime=221.69 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) R 26507 26507 21914 0 -1 4202496 23231 590421 0 0 7359 4063 10146 601 20 0 1 0 284894839 2355175424 493485 33554432000 4194304 5990268 140735033798128 140735033791432 5177872 0 0 4096 0 0 0 0 17 0 0 0 35 0 0
/proc/26508/statm: 574994 493485 157 439 0 574551 0
Current children cumulated CPU time (s) 221.69
Current children cumulated vsize (KiB) 2309124

[startup+282.3 s]
/proc/loadavg: 2.63 2.40 2.16 3/183 26712
/proc/meminfo: memFree=21694296/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2299980 CPUtime=240.94 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 25629 590935 0 0 7659 5512 10146 777 20 0 1 0 284894839 2355179520 493489 33554432000 4194304 5990268 140735033798128 140735033789568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/26508/statm: 574995 493489 160 439 0 574552 0
[pid=26524] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26524/stat : 26524 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284919095 9367552 267 33554432000 4194304 5064252 140736952068016 140736952066928 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26524/statm: 2287 267 226 213 0 72 0
[pid=26525] ppid=26524 vsize=5758016 CPUtime=39.71 cores=0,2,4,6
/proc/26525/stat : 26525 (glucose) R 26524 26507 21914 0 -1 4202496 553268 0 0 0 3785 186 0 0 20 0 1 0 284919095 5896208384 1308607 33554432000 4194304 5208918 140736524205072 140736524203016 4232575 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26525/statm: 1439504 1308608 95 248 0 1439253 0
Current children cumulated CPU time (s) 280.65
Current children cumulated vsize (KiB) 8076292

[startup+342.3 s]
/proc/loadavg: 2.57 2.40 2.17 3/183 26726
/proc/meminfo: memFree=23649808/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26853] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26853/stat : 26853 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284939787 9367552 267 33554432000 4194304 5064252 140733233225792 140733233224704 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26853/statm: 2287 267 226 213 0 72 0
[pid=26854] ppid=26853 vsize=0 CPUtime=11.46 cores=0,2,4,6
/proc/26854/stat : 26854 (glucose) R 26853 26507 21914 0 -1 4202500 476367 0 0 0 983 163 0 0 20 0 1 0 284939787 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 133 0 0
/proc/26854/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 455.89
Current children cumulated vsize (KiB) 2327392

[startup+522.3 s]
/proc/loadavg: 2.65 2.47 2.23 3/183 26960
/proc/meminfo: memFree=21777296/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=457.99 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 40824 2222049 0 0 8018 5559 30108 2114 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033789568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26860] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26860/stat : 26860 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284942397 9367552 267 33554432000 4194304 5064252 140733918205104 140733918204016 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26860/statm: 2287 267 226 213 0 72 0
[pid=26861] ppid=26860 vsize=5724752 CPUtime=46.7 cores=0,2,4,6
/proc/26861/stat : 26861 (glucose) R 26860 26507 21914 0 -1 4202496 557751 0 0 0 4489 181 0 0 20 0 1 0 284942397 5862146048 1287524 33554432000 4194304 5208918 140735172890752 140735172888696 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26861/statm: 1431188 1287524 95 248 0 1430937 0
Current children cumulated CPU time (s) 504.69
Current children cumulated vsize (KiB) 8052144

[startup+582.3 s]
/proc/loadavg: 2.22 2.37 2.21 3/183 26967
/proc/meminfo: memFree=21709436/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=457.99 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 40824 2222049 0 0 8018 5559 30108 2114 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033789568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26860] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26860/stat : 26860 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284942397 9367552 267 33554432000 4194304 5064252 140733918205104 140733918204016 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26860/statm: 2287 267 226 213 0 72 0
[pid=26861] ppid=26860 vsize=5754756 CPUtime=106.69 cores=0,2,4,6
/proc/26861/stat : 26861 (glucose) R 26860 26507 21914 0 -1 4202496 579761 0 0 0 10479 190 0 0 20 0 1 0 284942397 5892870144 1300711 33554432000 4194304 5208918 140735172890752 140735172888696 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26861/statm: 1438689 1300711 95 248 0 1438438 0
Current children cumulated CPU time (s) 564.68
Current children cumulated vsize (KiB) 8082148

Solver just ended. Dumping a history of the last processes samples

[startup+588.7 s]
/proc/loadavg: 2.20 2.37 2.21 3/183 26967
/proc/meminfo: memFree=21661484/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=457.99 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 40824 2222049 0 0 8018 5559 30108 2114 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033789568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26860] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26860/stat : 26860 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284942397 9367552 267 33554432000 4194304 5064252 140733918205104 140733918204016 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26860/statm: 2287 267 226 213 0 72 0
[pid=26861] ppid=26860 vsize=5778112 CPUtime=113.08 cores=0,2,4,6
/proc/26861/stat : 26861 (glucose) R 26860 26507 21914 0 -1 4202496 580479 0 0 0 11114 194 0 0 20 0 1 0 284942397 5916786688 1308072 33554432000 4194304 5208918 140735172890752 140735172887272 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26861/statm: 1444528 1308072 104 248 0 1444277 0
Current children cumulated CPU time (s) 571.07
Current children cumulated vsize (KiB) 8105504

[startup+614.3 s]
/proc/loadavg: 2.21 2.35 2.21 3/183 26981
/proc/meminfo: memFree=25541120/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=593.38 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48507 2815457 0 0 8198 5582 42927 2631 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033789568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26980] ppid=26508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26980/stat : 26980 (satsolver.sh) S 26508 26507 21914 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284955883 9367552 266 33554432000 4194304 5064252 140733850345888 140733850344800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26980/statm: 2287 266 226 213 0 72 0
[pid=26981] ppid=26980 vsize=2727756 CPUtime=1.85 cores=0,2,4,6
/proc/26981/stat : 26981 (glucose) R 26980 26507 21914 0 -1 4202496 61204 0 0 0 121 64 0 0 20 0 1 0 284955883 2793222144 504911 33554432000 4194304 5208918 140733492792928 140733491742568 4234555 0 0 4096 0 0 0 0 17 2 0 0 199 0 0
/proc/26981/statm: 681939 504911 69 248 0 681688 0
Current children cumulated CPU time (s) 595.23
Current children cumulated vsize (KiB) 5055148

[startup+627.1 s]
/proc/loadavg: 2.38 2.38 2.22 2/182 26986
/proc/meminfo: memFree=27469480/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=605.18 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48538 3292245 0 0 8198 5582 43914 2824 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033790144 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26986] ppid=26508 vsize=16712 CPUtime=0.13 cores=0,2,4,6
/proc/26986/stat : 26986 (cp) D 26508 26507 21914 0 -1 4202496 502 0 0 0 0 13 0 0 20 0 1 0 284957264 17113088 186 33554432000 4194304 4305796 140734181535440 140734181533384 225444709264 0 0 4096 0 18446744071580543392 0 0 17 6 0 0 233 0 0
/proc/26986/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 605.31
Current children cumulated vsize (KiB) 2334956

[startup+633.5 s]
/proc/loadavg: 2.43 2.39 2.22 2/182 26986
/proc/meminfo: memFree=27782588/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=605.18 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48538 3292245 0 0 8198 5582 43914 2824 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033790144 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26986] ppid=26508 vsize=16712 CPUtime=0.2 cores=0,2,4,6
/proc/26986/stat : 26986 (cp) D 26508 26507 21914 0 -1 4202496 502 0 0 0 0 20 0 0 20 0 1 0 284957264 17113088 186 33554432000 4194304 4305796 140734181535440 140734181533384 225444709264 0 0 4096 0 18446744071580543392 0 0 17 6 0 0 871 0 0
/proc/26986/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 605.38
Current children cumulated vsize (KiB) 2334956

[startup+635.1 s]
/proc/loadavg: 2.43 2.39 2.22 3/182 26986
/proc/meminfo: memFree=27775148/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=605.18 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48538 3292245 0 0 8198 5582 43914 2824 20 0 1 0 284894839 2364514304 495768 33554432000 4194304 5990268 140735033798128 140735033790144 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495768 160 439 0 576831 0
[pid=26986] ppid=26508 vsize=16712 CPUtime=0.89 cores=0,2,4,6
/proc/26986/stat : 26986 (cp) R 26508 26507 21914 0 -1 4202496 514 0 0 0 0 89 0 0 20 0 1 0 284957264 17113088 198 33554432000 4194304 4305796 140734181535440 140734181533384 225444709856 0 0 4096 0 0 0 0 17 0 0 0 988 0 0
/proc/26986/statm: 4178 198 157 28 0 74 0
Current children cumulated CPU time (s) 606.07
Current children cumulated vsize (KiB) 2334956

[startup+636.7 s]
/proc/loadavg: 2.43 2.39 2.22 3/182 26986
/proc/meminfo: memFree=27096744/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=606.98 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48552 3292761 0 0 8198 5582 43915 3003 20 0 1 0 284894839 2364514304 495769 33554432000 4194304 5990268 140735033798128 140735033793584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495769 161 439 0 576831 0
Current children cumulated CPU time (s) 606.98
Current children cumulated vsize (KiB) 2318244

[startup+637.1 s]
/proc/loadavg: 2.48 2.40 2.23 2/182 26987
/proc/meminfo: memFree=26960096/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=606.98 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48552 3292761 0 0 8198 5582 43915 3003 20 0 1 0 284894839 2364514304 495769 33554432000 4194304 5990268 140735033798128 140735033793584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495769 161 439 0 576831 0
[pid=26987] ppid=26508 vsize=4008 CPUtime=0.02 cores=0,2,4,6
/proc/26987/stat : 26987 (rm) D 26508 26507 21914 0 -1 4202496 429 0 0 0 0 2 0 0 20 0 1 0 284958438 4104192 124 33554432000 4194304 4244100 140735626780192 140735626779416 225444714397 0 0 4096 0 18446744071580543392 0 0 17 0 0 0 105 0 0
/proc/26987/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 607
Current children cumulated vsize (KiB) 2322252

[startup+637.5 s]
/proc/loadavg: 2.48 2.40 2.23 2/182 26987
/proc/meminfo: memFree=26960096/32873844 swapFree=7900/7900
[pid=26507] ppid=26505 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (npSolver-wbo-I.) S 26505 26507 21914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284894838 9367552 275 33554432000 4194304 5064252 140733703295696 140733703294608 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26507/statm: 2287 275 233 213 0 72 0
[pid=26508] ppid=26507 vsize=2309096 CPUtime=606.98 cores=0,2,4,6
/proc/26508/stat : 26508 (npSolver-wbo) S 26507 26507 21914 0 -1 4202496 48552 3292761 0 0 8198 5582 43915 3003 20 0 1 0 284894839 2364514304 495769 33554432000 4194304 5990268 140735033798128 140735033793584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 233 0 0
/proc/26508/statm: 577274 495769 161 439 0 576831 0
[pid=26987] ppid=26508 vsize=4008 CPUtime=0.23 cores=0,2,4,6
/proc/26987/stat : 26987 (rm) R 26508 26507 21914 0 -1 4202496 429 0 0 0 0 23 0 0 20 0 1 0 284958438 4104192 124 33554432000 4194304 4244100 140735626780192 140735626779416 225444714397 0 0 4096 0 0 0 0 17 0 0 0 127 0 0
/proc/26987/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 607.21
Current children cumulated vsize (KiB) 2322252

Child status: 0
Real time (s): 637.54
CPU time (s): 607.282
CPU user time (s): 521.143
CPU system time (s): 86.1389
CPU usage (%): 95.2538
Max. virtual memory (cumulated for all children) (KiB): 8170428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 521.143
system time used= 86.1389
maximum resident set size= 5289548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3342248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20287776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208317
involuntary context switches= 1159

runsolver used 1.10983 second user time and 2.6626 second system time

The end