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 /var/tmp/evaluation-result-3498813-1307972462/watcher-3498813-1307972462 -o /var/tmp/evaluation-result-3498813-1307972462/solver-3498813-1307972462 -C 5000 -W 5100 -M 15500 HOME/ebglucose.sh HOME/instance-3498813-1307972462.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 1.92 1.98 1.99 3/175 4798
/proc/meminfo: memFree=14270428/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 354 232 0 0 0 0 0 0 25 0 1 0 908846577 8912896 252 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4798/statm: 2176 252 211 178 0 69 0

[startup+0.067148 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 4798
/proc/meminfo: memFree=14270428/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 354 232 0 0 0 0 0 0 25 0 1 0 908846577 8912896 252 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4798/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101135 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 4798
/proc/meminfo: memFree=14270428/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 354 232 0 0 0 0 0 0 25 0 1 0 908846577 8912896 252 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4798/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301116 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 4798
/proc/meminfo: memFree=14270428/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8704

[startup+0.701028 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 4798
/proc/meminfo: memFree=14270428/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8704

[startup+1.50089 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 4802
/proc/meminfo: memFree=14250976/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=19644 CPUtime=1.32 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 4426 0 0 0 132 0 0 0 25 0 1 0 908846594 20115456 4367 33554432000 134512640 134556542 4289492720 18446744073709551615 134536831 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 4911 4367 212 11 0 4245 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28348

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 4802
/proc/meminfo: memFree=14249240/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=20704 CPUtime=2.92 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 4696 0 0 0 292 0 0 0 25 0 1 0 908846594 21200896 4637 33554432000 134512640 134556542 4289492720 18446744073709551615 134537180 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 5176 4637 212 11 0 4510 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29408

[startup+6.30101 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 4803
/proc/meminfo: memFree=14246760/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=22456 CPUtime=6.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 5120 0 0 0 612 0 0 0 25 0 1 0 908846594 22994944 5061 33554432000 134512640 134556542 4289492720 18446744073709551615 134537507 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 5614 5061 212 11 0 4948 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31160

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 4803
/proc/meminfo: memFree=14244696/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=24528 CPUtime=12.52 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 5625 0 0 0 1252 0 0 0 25 0 1 0 908846594 25116672 5566 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 6132 5566 212 11 0 5466 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33232

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4803
/proc/meminfo: memFree=14239876/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=28892 CPUtime=25.32 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 6724 0 0 0 2532 0 0 0 25 0 1 0 908846594 29585408 6665 33554432000 134512640 134556542 4289492720 18446744073709551615 134536950 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 7223 6665 214 11 0 6557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37596

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 4804
/proc/meminfo: memFree=14233300/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=35352 CPUtime=50.93 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 8274 0 0 0 5092 1 0 0 25 0 1 0 908846594 36200448 8215 33554432000 134512640 134556542 4289492720 18446744073709551615 134534144 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 8838 8215 214 11 0 8172 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44056

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 4805
/proc/meminfo: memFree=14224340/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=44332 CPUtime=102.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 10463 0 0 0 10211 1 0 0 25 0 1 0 908846594 45395968 10404 33554432000 134512640 134556542 4289492720 18446744073709551615 134537188 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 11083 10404 214 11 0 10417 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53036

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 4807
/proc/meminfo: memFree=14215748/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=53388 CPUtime=162.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 12640 0 0 0 16210 2 0 0 25 0 1 0 908846594 54669312 12581 33554432000 134512640 134556542 4289492720 18446744073709551615 134536911 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 13347 12581 214 11 0 12681 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 62092

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 4808
/proc/meminfo: memFree=14208256/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=60320 CPUtime=222.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 14370 0 0 0 22210 2 0 0 25 0 1 0 908846594 61767680 14311 33554432000 134512640 134556542 4289492720 18446744073709551615 134537387 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4802/statm: 15080 14311 214 11 0 14414 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 69024

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 4810
/proc/meminfo: memFree=14155644/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=66180 CPUtime=282.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 15860 0 0 0 28209 3 0 0 25 0 1 0 908846594 67768320 15801 33554432000 134512640 134556542 4289492720 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 16545 15801 214 11 0 15879 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 74884

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 4812
/proc/meminfo: memFree=14130684/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=72032 CPUtime=342.12 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 17146 0 0 0 34209 3 0 0 25 0 1 0 908846594 73760768 17087 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 18008 17087 214 11 0 17342 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 80736

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 4813
/proc/meminfo: memFree=14126924/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7

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


[startup+4242.3 s]
/proc/loadavg: 1.02 1.45 1.77 2/170 4953
/proc/meminfo: memFree=14877596/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=217392 CPUtime=4242.24 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 52036 0 0 0 424211 13 0 0 25 0 1 0 908846594 222609408 51977 33554432000 134512640 134556542 4289492720 18446744073709551615 134537898 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 54348 51977 214 11 0 53682 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 226096

[startup+4302.3 s]
/proc/loadavg: 1.00 1.36 1.72 2/170 4954
/proc/meminfo: memFree=14876068/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=223548 CPUtime=4302.24 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 52429 0 0 0 430211 13 0 0 25 0 1 0 908846594 228913152 52370 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 55887 52370 214 11 0 55221 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 232252

[startup+4362.3 s]
/proc/loadavg: 1.00 1.29 1.67 2/170 4956
/proc/meminfo: memFree=14875164/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=224924 CPUtime=4362.24 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 52765 0 0 0 436211 13 0 0 25 0 1 0 908846594 230322176 52706 33554432000 134512640 134556542 4289492720 18446744073709551615 134537837 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 56231 52706 214 11 0 55565 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 233628

[startup+4422.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/170 4957
/proc/meminfo: memFree=14873284/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=226564 CPUtime=4422.24 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 53156 0 0 0 442211 13 0 0 25 0 1 0 908846594 232001536 53097 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 56641 53097 214 11 0 55975 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 235268

[startup+4482.3 s]
/proc/loadavg: 1.07 1.21 1.59 2/170 4959
/proc/meminfo: memFree=14872632/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=227132 CPUtime=4482.25 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 53332 0 0 0 448211 14 0 0 25 0 1 0 908846594 232583168 53273 33554432000 134512640 134556542 4289492720 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 56783 53273 214 11 0 56117 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 235836

[startup+4542.3 s]
/proc/loadavg: 1.02 1.17 1.55 2/170 4961
/proc/meminfo: memFree=14870736/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=229264 CPUtime=4542.25 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 53833 0 0 0 454211 14 0 0 25 0 1 0 908846594 234766336 53774 33554432000 134512640 134556542 4289492720 18446744073709551615 134537504 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57316 53774 214 11 0 56650 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 237968

[startup+4602.3 s]
/proc/loadavg: 1.01 1.13 1.51 2/170 4962
/proc/meminfo: memFree=14869464/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=230336 CPUtime=4602.25 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54126 0 0 0 460211 14 0 0 25 0 1 0 908846594 235864064 54067 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57584 54067 214 11 0 56918 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 239040

[startup+4662.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/170 4964
/proc/meminfo: memFree=14868936/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231136 CPUtime=4662.25 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54321 0 0 0 466211 14 0 0 25 0 1 0 908846594 236683264 54262 33554432000 134512640 134556542 4289492720 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57784 54262 214 11 0 57118 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 239840

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

[startup+4665.5 s]
/proc/loadavg: 1.00 1.11 1.47 2/170 4964
/proc/meminfo: memFree=14868936/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231136 CPUtime=4665.45 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54321 0 0 0 466531 14 0 0 25 0 1 0 908846594 236683264 54262 33554432000 134512640 134556542 4289492720 18446744073709551615 134537339 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57784 54262 214 11 0 57118 0
Current children cumulated CPU time (s) 4665.61
Current children cumulated vsize (KiB) 239840

[startup+4668.7 s]
/proc/loadavg: 1.00 1.10 1.47 2/170 4964
/proc/meminfo: memFree=14868688/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231280 CPUtime=4668.65 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54349 0 0 0 466851 14 0 0 25 0 1 0 908846594 236830720 54290 33554432000 134512640 134556542 4289492720 18446744073709551615 134537369 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57820 54290 214 11 0 57154 0
Current children cumulated CPU time (s) 4668.81
Current children cumulated vsize (KiB) 239984

[startup+4671.9 s]
/proc/loadavg: 1.00 1.10 1.47 2/170 4964
/proc/meminfo: memFree=14868800/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231280 CPUtime=4671.85 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54350 0 0 0 467171 14 0 0 25 0 1 0 908846594 236830720 54291 33554432000 134512640 134556542 4289492720 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57820 54291 214 11 0 57154 0
Current children cumulated CPU time (s) 4672.01
Current children cumulated vsize (KiB) 239984

[startup+4672.7 s]
/proc/loadavg: 1.00 1.10 1.47 2/170 4964
/proc/meminfo: memFree=14868800/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231280 CPUtime=4672.65 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54350 0 0 0 467251 14 0 0 25 0 1 0 908846594 236830720 54291 33554432000 134512640 134556542 4289492720 18446744073709551615 134537526 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57820 54291 214 11 0 57154 0
Current children cumulated CPU time (s) 4672.81
Current children cumulated vsize (KiB) 239984

[startup+4673.5 s]
/proc/loadavg: 1.00 1.10 1.47 2/170 4964
/proc/meminfo: memFree=14868800/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231280 CPUtime=4673.45 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54350 0 0 0 467331 14 0 0 25 0 1 0 908846594 236830720 54291 33554432000 134512640 134556542 4289492720 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57820 54291 214 11 0 57154 0
Current children cumulated CPU time (s) 4673.61
Current children cumulated vsize (KiB) 239984

[startup+4673.7 s]
/proc/loadavg: 1.00 1.10 1.47 2/170 4964
/proc/meminfo: memFree=14868800/32951124 swapFree=67060180/67111528
[pid=4798] ppid=4796 vsize=8704 CPUtime=0.16 cores=1,3,5,7
/proc/4798/stat : 4798 (ebglucose.sh) S 4796 4798 3094 0 -1 4202496 381 3415 0 0 0 0 15 1 24 0 1 0 908846577 8912896 255 33554432000 4194304 4922060 140734351462640 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4798/statm: 2176 255 211 178 0 69 0
[pid=4802] ppid=4798 vsize=231280 CPUtime=4673.65 cores=1,3,5,7
/proc/4802/stat : 4802 (ebglucose_stati) R 4798 4798 3094 0 -1 4202496 54350 0 0 0 467351 14 0 0 25 0 1 0 908846594 236830720 54291 33554432000 134512640 134556542 4289492720 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/4802/statm: 57820 54291 214 11 0 57154 0
Current children cumulated CPU time (s) 4673.81
Current children cumulated vsize (KiB) 239984

Child status: 10
Real time (s): 4673.8
CPU time (s): 4673.92
CPU user time (s): 4673.75
CPU system time (s): 0.172973
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 239984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4673.75
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 10172

runsolver used 7.77682 second user time and 16.4255 second system time

The end