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-3717094-1338185988/watcher-3717094-1338185988 -o /tmp/evaluation-result-3717094-1338185988/solver-3717094-1338185988 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717094-1338185988.wbo 1502763477 HOME HOME 

running on 4 cores: 1,3,5,7

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.03 2.03 2.00 3/179 30583
/proc/meminfo: memFree=30789292/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0

[startup+0.05378 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30583
/proc/meminfo: memFree=30789292/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100269 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30583
/proc/meminfo: memFree=30789292/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300234 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30583
/proc/meminfo: memFree=30789292/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700237 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30583
/proc/meminfo: memFree=30789292/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 30585
/proc/meminfo: memFree=30776492/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=34772 CPUtime=1.49 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) R 30583 30583 25434 0 -1 4202496 2815 0 0 0 148 1 0 0 20 0 1 0 284723715 35606528 4832 33554432000 4194304 5872148 140735326459904 140735326456760 4745470 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 8693 4832 144 410 0 8275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43920

[startup+3.10026 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 30585
/proc/meminfo: memFree=30759676/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=67540 CPUtime=3.09 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) R 30583 30583 25434 0 -1 4202496 3352 0 0 0 307 2 0 0 20 0 1 0 284723715 69160960 9952 33554432000 4194304 5872148 140735326459904 140735326456296 4727554 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 16885 9952 144 410 0 16467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76688

[startup+6.30027 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 30585
/proc/meminfo: memFree=30718204/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=133076 CPUtime=6.28 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) R 30583 30583 25434 0 -1 4202496 3915 0 0 0 624 4 0 0 20 0 1 0 284723715 136269824 20192 33554432000 4194304 5872148 140735326459904 140735326456344 4995153 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 33269 20192 144 410 0 32851 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142224

[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 30587
/proc/meminfo: memFree=30441924/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=264616 CPUtime=12.67 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) R 30583 30583 25434 0 -1 4202496 9066 15465 0 0 1112 40 109 6 20 0 1 0 284723715 270966784 45431 33554432000 4194304 5872148 140735326459904 140735326454792 5126832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 66154 45431 162 410 0 65736 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 273764

[startup+25.5005 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 30593
/proc/meminfo: memFree=30167992/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=301388 CPUtime=15.52 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 13346 15980 0 0 1202 217 109 24 20 0 1 0 284723715 308621312 53717 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 75347 53717 175 410 0 74929 0
[pid=30592] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30592/stat : 30592 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284725270 9367552 266 33554432000 4194304 5064252 140733748374624 140733748373536 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30592/statm: 2287 266 226 213 0 72 0
[pid=30593] ppid=30592 vsize=229684 CPUtime=9.93 cores=1,3,5,7
/proc/30593/stat : 30593 (glucose_static) R 30592 30583 25434 0 -1 4202496 25543 0 0 0 984 9 0 0 20 0 1 0 284725271 235196416 46461 33554432000 4194304 4896791 140735264533024 140735264530232 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 57421 46461 77 172 0 57247 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 549368

[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.01 3/182 30634
/proc/meminfo: memFree=30154020/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=301388 CPUtime=15.52 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 13346 15980 0 0 1202 217 109 24 20 0 1 0 284723715 308621312 53717 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 75347 53717 175 410 0 74929 0
[pid=30592] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30592/stat : 30592 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284725270 9367552 266 33554432000 4194304 5064252 140733748374624 140733748373536 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30592/statm: 2287 266 226 213 0 72 0
[pid=30593] ppid=30592 vsize=229684 CPUtime=35.53 cores=1,3,5,7
/proc/30593/stat : 30593 (glucose_static) R 30592 30583 25434 0 -1 4202496 25543 0 0 0 3544 9 0 0 20 0 1 0 284725271 235196416 46461 33554432000 4194304 4896791 140735264533024 140735264530232 4223862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 57421 46461 77 172 0 57247 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 549368

[startup+102.307 s]
/proc/loadavg: 2.14 2.08 2.02 3/181 30692
/proc/meminfo: memFree=28875108/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=301388 CPUtime=15.52 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 13346 15980 0 0 1202 217 109 24 20 0 1 0 284723715 308621312 53717 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 75347 53717 175 410 0 74929 0
[pid=30592] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30592/stat : 30592 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284725270 9367552 266 33554432000 4194304 5064252 140733748374624 140733748373536 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30592/statm: 2287 266 226 213 0 72 0
[pid=30593] ppid=30592 vsize=236304 CPUtime=86.72 cores=1,3,5,7
/proc/30593/stat : 30593 (glucose_static) R 30592 30583 25434 0 -1 4202496 26792 0 0 0 8663 9 0 0 20 0 1 0 284725271 241975296 48732 33554432000 4194304 4896791 140735264533024 140735264530552 4224960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 59076 48732 77 172 0 58902 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 555988

[startup+162.3 s]
/proc/loadavg: 2.25 2.11 2.03 3/181 30698
/proc/meminfo: memFree=27707268/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=335020 CPUtime=161.41 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 18262 49747 0 0 1244 223 14618 56 20 0 1 0 284723715 343060480 61584 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 83755 61584 175 410 0 83337 0
[pid=30697] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30697/stat : 30697 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284739863 9367552 266 33554432000 4194304 5064252 140737312572176 140737312571088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30697/statm: 2287 266 226 213 0 72 0
[pid=30698] ppid=30697 vsize=108444 CPUtime=0.81 cores=1,3,5,7
/proc/30698/stat : 30698 (glucose_static) R 30697 30583 25434 0 -1 4202496 10313 0 0 0 76 5 0 0 20 0 1 0 284739863 111046656 22371 33554432000 4194304 4896791 140734956309392 140734955258472 4226243 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30698/statm: 27111 22371 58 172 0 26937 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 461760

[startup+222.3 s]
/proc/loadavg: 2.30 2.15 2.04 3/183 30701
/proc/meminfo: memFree=23547560/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=335020 CPUtime=161.41 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 18262 49747 0 0 1244 223 14618 56 20 0 1 0 284723715 343060480 61584 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30584/statm: 83755 61584 175 410 0 83337 0
[pid=30697] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30697/stat : 30697 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284739863 9367552 266 33554432000 4194304 5064252 140737312572176 140737312571088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30697/statm: 2287 266 226 213 0 72 0
[pid=30698] ppid=30697 vsize=223872 CPUtime=60.8 cores=1,3,5,7
/proc/30698/stat : 30698 (glucose_static) R 30697 30583 25434 0 -1 4202496 24744 0 0 0 6070 10 0 0 20 0 1 0 284739863 229244928 45196 33554432000 4194304 4896791 140734956309392 140734956306600 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30698/statm: 55968 45196 77 172 0 55794 0
Current children cumulated CPU time (s) 222.21

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

/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=335020 CPUtime=546.69 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 31742 145306 0 0 1346 235 52937 151 20 0 1 0 284723715 343060480 59536 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 83755 59536 175 410 0 83337 0
[pid=30759] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30759/stat : 30759 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284778423 9367552 266 33554432000 4194304 5064252 140734658784432 140734658783344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30759/statm: 2287 266 226 213 0 72 0
[pid=30760] ppid=30759 vsize=202780 CPUtime=35.2 cores=1,3,5,7
/proc/30760/stat : 30760 (glucose_static) R 30759 30583 25434 0 -1 4202496 21101 0 0 0 3512 8 0 0 20 0 1 0 284778423 207646720 39048 33554432000 4194304 4896791 140737131885488 140737131882696 4204129 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30760/statm: 50695 39048 76 172 0 50521 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 556096

[startup+642.3 s]
/proc/loadavg: 2.51 2.27 2.12 3/184 30876
/proc/meminfo: memFree=29605236/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=335020 CPUtime=546.69 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 31742 145306 0 0 1346 235 52937 151 20 0 1 0 284723715 343060480 59536 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 83755 59536 175 410 0 83337 0
[pid=30759] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30759/stat : 30759 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284778423 9367552 266 33554432000 4194304 5064252 140734658784432 140734658783344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30759/statm: 2287 266 226 213 0 72 0
[pid=30760] ppid=30759 vsize=203044 CPUtime=95.19 cores=1,3,5,7
/proc/30760/stat : 30760 (glucose_static) R 30759 30583 25434 0 -1 4202496 21179 0 0 0 9511 8 0 0 20 0 1 0 284778423 207917056 39333 33554432000 4194304 4896791 140737131885488 140737131882744 4203058 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30760/statm: 50761 39333 76 172 0 50587 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 556360

[startup+702.3 s]
/proc/loadavg: 2.18 2.22 2.10 3/183 30876
/proc/meminfo: memFree=29592916/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=335020 CPUtime=546.69 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 31742 145306 0 0 1346 235 52937 151 20 0 1 0 284723715 343060480 59536 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 83755 59536 175 410 0 83337 0
[pid=30759] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30759/stat : 30759 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284778423 9367552 266 33554432000 4194304 5064252 140734658784432 140734658783344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30759/statm: 2287 266 226 213 0 72 0
[pid=30760] ppid=30759 vsize=215660 CPUtime=155.18 cores=1,3,5,7
/proc/30760/stat : 30760 (glucose_static) R 30759 30583 25434 0 -1 4202496 24107 0 0 0 15509 9 0 0 20 0 1 0 284778423 220835840 42027 33554432000 4194304 4896791 140737131885488 140737131882920 4203064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30760/statm: 53915 42027 77 172 0 53741 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 568976

[startup+762.307 s]
/proc/loadavg: 2.07 2.17 2.09 3/183 30880
/proc/meminfo: memFree=29631112/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=732.83 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 35671 174195 0 0 1367 237 71499 180 20 0 1 0 284723715 309506048 54834 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54834 175 410 0 75145 0
[pid=30878] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30878/stat : 30878 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284797042 9367552 267 33554432000 4194304 5064252 140734024657232 140734024656144 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30878/statm: 2287 267 226 213 0 72 0
[pid=30879] ppid=30878 vsize=205524 CPUtime=29.01 cores=1,3,5,7
/proc/30879/stat : 30879 (glucose_static) R 30878 30583 25434 0 -1 4202496 20485 0 0 0 2892 9 0 0 20 0 1 0 284797043 210456576 38304 33554432000 4194304 4896791 140735565198128 140735565195560 4203064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30879/statm: 51381 38304 78 172 0 51207 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 526072

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

[startup+767.901 s]
/proc/loadavg: 2.06 2.17 2.09 3/183 30880
/proc/meminfo: memFree=29624168/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=732.83 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 35671 174195 0 0 1367 237 71499 180 20 0 1 0 284723715 309506048 54834 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54834 175 410 0 75145 0
[pid=30878] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30878/stat : 30878 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284797042 9367552 267 33554432000 4194304 5064252 140734024657232 140734024656144 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30878/statm: 2287 267 226 213 0 72 0
[pid=30879] ppid=30878 vsize=212064 CPUtime=34.61 cores=1,3,5,7
/proc/30879/stat : 30879 (glucose_static) R 30878 30583 25434 0 -1 4202496 22083 0 0 0 3451 10 0 0 20 0 1 0 284797043 217153536 39866 33554432000 4194304 4896791 140735565198128 140735565195336 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30879/statm: 53016 39866 78 172 0 52842 0
Current children cumulated CPU time (s) 767.44
Current children cumulated vsize (KiB) 532612

[startup+774.3 s]
/proc/loadavg: 2.05 2.17 2.09 3/183 30880
/proc/meminfo: memFree=29620384/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=732.83 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 35671 174195 0 0 1367 237 71499 180 20 0 1 0 284723715 309506048 54834 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54834 175 410 0 75145 0
[pid=30878] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30878/stat : 30878 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284797042 9367552 267 33554432000 4194304 5064252 140734024657232 140734024656144 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30878/statm: 2287 267 226 213 0 72 0
[pid=30879] ppid=30878 vsize=214088 CPUtime=41.02 cores=1,3,5,7
/proc/30879/stat : 30879 (glucose_static) R 30878 30583 25434 0 -1 4202496 22486 0 0 0 4092 10 0 0 20 0 1 0 284797043 219226112 40780 33554432000 4194304 4896791 140735565198128 140735565195384 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30879/statm: 53522 40780 78 172 0 53348 0
Current children cumulated CPU time (s) 773.85
Current children cumulated vsize (KiB) 534636

[startup+777.5 s]
/proc/loadavg: 2.05 2.17 2.09 3/183 30883
/proc/meminfo: memFree=29655636/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=774.25 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 38825 197803 0 0 1373 238 75605 209 20 0 1 0 284723715 309506048 54836 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54836 177 410 0 75145 0
[pid=30882] ppid=30584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30882/stat : 30882 (satsolver.sh) S 30584 30583 25434 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284801185 9367552 266 33554432000 4194304 5064252 140733606976800 140733606975712 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30882/statm: 2287 266 226 213 0 72 0
[pid=30883] ppid=30882 vsize=145096 CPUtime=2.79 cores=1,3,5,7
/proc/30883/stat : 30883 (glucose_static) R 30882 30583 25434 0 -1 4202496 17585 0 0 0 271 8 0 0 20 0 1 0 284801185 148578304 33551 33554432000 4194304 4896791 140733817923632 140733817921064 4203877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30883/statm: 36274 33551 76 172 0 36100 0
Current children cumulated CPU time (s) 777.04
Current children cumulated vsize (KiB) 465644

[startup+780.7 s]
/proc/loadavg: 2.05 2.16 2.09 3/183 30886
/proc/meminfo: memFree=29675632/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=779.55 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 39873 238034 0 0 1374 239 76097 245 20 0 1 0 284723715 309506048 54836 33554432000 4194304 5872148 140735326459904 140735326453672 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54836 177 410 0 75145 0
Current children cumulated CPU time (s) 779.55
Current children cumulated vsize (KiB) 311400

[startup+781.5 s]
/proc/loadavg: 2.05 2.16 2.09 2/182 30887
/proc/meminfo: memFree=29792472/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=779.72 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 39988 238549 0 0 1374 239 76097 262 20 0 1 0 284723715 309506048 54836 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54836 177 410 0 75145 0
Current children cumulated CPU time (s) 779.72
Current children cumulated vsize (KiB) 311400

[startup+781.9 s]
/proc/loadavg: 2.05 2.16 2.09 2/182 30887
/proc/meminfo: memFree=29792472/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=779.72 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 39988 238549 0 0 1374 239 76097 262 20 0 1 0 284723715 309506048 54836 33554432000 4194304 5872148 140735326459904 140735326453176 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54836 177 410 0 75145 0
Current children cumulated CPU time (s) 779.72
Current children cumulated vsize (KiB) 311400

[startup+782.3 s]
/proc/loadavg: 2.05 2.16 2.09 3/183 30889
/proc/meminfo: memFree=29697676/32873844 swapFree=7116/7116
[pid=30583] ppid=30581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30583/stat : 30583 (runWbo2satCp2.s) S 30581 30583 25434 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284723715 9367552 274 33554432000 4194304 5064252 140734966419104 140734966418016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30583/statm: 2287 274 233 213 0 72 0
[pid=30584] ppid=30583 vsize=302252 CPUtime=780.75 cores=1,3,5,7
/proc/30584/stat : 30584 (wbo2sat) S 30583 30583 25434 0 -1 4202496 40012 251413 0 0 1374 239 76193 269 20 0 1 0 284723715 309506048 54836 33554432000 4194304 5872148 140735326459904 140735326453672 5123914 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/30584/statm: 75563 54836 177 410 0 75145 0
Current children cumulated CPU time (s) 780.75
Current children cumulated vsize (KiB) 311400

Child status: 0
Real time (s): 782.369
CPU time (s): 780.98
CPU user time (s): 775.683
CPU system time (s): 5.29719
CPU usage (%): 99.8225
Max. virtual memory (cumulated for all children) (KiB): 615412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 775.683
system time used= 5.29719
maximum resident set size= 306420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292779
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2458024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155
involuntary context switches= 1007

runsolver used 1.84172 second user time and 5.05523 second system time

The end