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

running on 4 cores: 0,2,4,6

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.89 1.97 1.99 2/176 13941
/proc/meminfo: memFree=31084456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 354 233 0 0 0 0 0 0 25 0 1 0 908812484 8912896 252 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13941/statm: 2176 252 211 178 0 69 0

[startup+0.089854 s]
/proc/loadavg: 1.89 1.97 1.99 2/176 13941
/proc/meminfo: memFree=31084456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 354 233 0 0 0 0 0 0 25 0 1 0 908812484 8912896 252 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13941/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100862 s]
/proc/loadavg: 1.89 1.97 1.99 2/176 13941
/proc/meminfo: memFree=31084456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 354 233 0 0 0 0 0 0 25 0 1 0 908812484 8912896 252 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13941/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30082 s]
/proc/loadavg: 1.89 1.97 1.99 2/176 13941
/proc/meminfo: memFree=31084456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8704

[startup+0.700748 s]
/proc/loadavg: 1.89 1.97 1.99 2/176 13941
/proc/meminfo: memFree=31084456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8704

[startup+1.50062 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 13945
/proc/meminfo: memFree=31069336/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=15964 CPUtime=1.36 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 3548 0 0 0 136 0 0 0 25 0 1 0 908812497 16347136 3489 33554432000 134512640 134556542 4293857952 18446744073709551615 134531294 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/13945/statm: 3991 3489 212 11 0 3325 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24668

[startup+3.10034 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 13945
/proc/meminfo: memFree=31068096/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=17320 CPUtime=2.96 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 3879 0 0 0 296 0 0 0 25 0 1 0 908812497 17735680 3820 33554432000 134512640 134556542 4293857952 18446744073709551615 134529857 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/13945/statm: 4330 3820 212 11 0 3664 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26024

[startup+6.30078 s]
/proc/loadavg: 2.06 2.00 2.00 3/178 13945
/proc/meminfo: memFree=31065376/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=19012 CPUtime=6.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 4267 0 0 0 616 0 0 0 25 0 1 0 908812497 19468288 4208 33554432000 134512640 134556542 4293857952 18446744073709551615 134537495 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/13945/statm: 4753 4208 212 11 0 4087 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27716

[startup+12.7007 s]
/proc/loadavg: 2.06 2.00 2.00 3/178 13945
/proc/meminfo: memFree=31062788/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=21412 CPUtime=12.56 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 4867 0 0 0 1256 0 0 0 25 0 1 0 908812497 21925888 4808 33554432000 134512640 134556542 4293857952 18446744073709551615 134537230 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/13945/statm: 5353 4808 212 11 0 4687 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30116

[startup+25.5005 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 13945
/proc/meminfo: memFree=31058456/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=25744 CPUtime=25.36 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 5928 0 0 0 2536 0 0 0 25 0 1 0 908812497 26361856 5869 33554432000 134512640 134556542 4293857952 18446744073709551615 134529850 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/13945/statm: 6436 5869 214 11 0 5770 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34448

[startup+51.1011 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 13945
/proc/meminfo: memFree=31053204/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=31812 CPUtime=50.95 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 7415 0 0 0 5095 0 0 0 25 0 1 0 908812497 32575488 7356 33554432000 134512640 134556542 4293857952 18446744073709551615 134537387 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 7953 7356 214 11 0 7287 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40516

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 13947
/proc/meminfo: memFree=31042524/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=40984 CPUtime=102.17 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 9665 0 0 0 10215 2 0 0 25 0 1 0 908812497 41967616 9606 33554432000 134512640 134556542 4293857952 18446744073709551615 134537188 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 10246 9606 214 11 0 9580 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 49688

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13949
/proc/meminfo: memFree=31035196/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=48824 CPUtime=162.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 11494 0 0 0 16214 2 0 0 25 0 1 0 908812497 49995776 11435 33554432000 134512640 134556542 4293857952 18446744073709551615 134537398 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 12206 11435 214 11 0 11540 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 57528

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13951
/proc/meminfo: memFree=31028860/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=54996 CPUtime=222.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 13049 0 0 0 22213 3 0 0 25 0 1 0 908812497 56315904 12990 33554432000 134512640 134556542 4293857952 18446744073709551615 134537546 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 13749 12990 214 11 0 13083 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 63700

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13952
/proc/meminfo: memFree=31022900/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=60148 CPUtime=282.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 14362 0 0 0 28213 3 0 0 25 0 1 0 908812497 61591552 14303 33554432000 134512640 134556542 4293857952 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 15037 14303 214 11 0 14371 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 68852

[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 13953
/proc/meminfo: memFree=31018664/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=65176 CPUtime=342.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 15399 0 0 0 34213 3 0 0 25 0 1 0 908812497 66740224 15340 33554432000 134512640 134556542 4293857952 18446744073709551615 134537162 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 16294 15340 214 11 0 15628 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 73880

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

[startup+358.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31017668/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=66332 CPUtime=358.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 15673 0 0 0 35813 3 0 0 25 0 1 0 908812497 67923968 15614 33554432000 134512640 134556542 4293857952 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 16583 15614 214 11 0 15917 0
Current children cumulated CPU time (s) 358.28
Current children cumulated vsize (KiB) 75036

[startup+383.907 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31015804/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=68284 CPUtime=383.77 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16150 0 0 0 38374 3 0 0 25 0 1 0 908812497 69922816 16091 33554432000 134512640 134556542 4293857952 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17071 16091 214 11 0 16405 0
Current children cumulated CPU time (s) 383.89
Current children cumulated vsize (KiB) 76988

[startup+390.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31015184/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=68856 CPUtime=390.16 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16296 0 0 0 39013 3 0 0 25 0 1 0 908812497 70508544 16237 33554432000 134512640 134556542 4293857952 18446744073709551615 134537876 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17214 16237 214 11 0 16548 0
Current children cumulated CPU time (s) 390.28
Current children cumulated vsize (KiB) 77560

[startup+396.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014936/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=69172 CPUtime=396.56 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16356 0 0 0 39653 3 0 0 25 0 1 0 908812497 70832128 16297 33554432000 134512640 134556542 4293857952 18446744073709551615 134537454 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17293 16297 214 11 0 16627 0
Current children cumulated CPU time (s) 396.68
Current children cumulated vsize (KiB) 77876

[startup+399.901 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014812/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=69172 CPUtime=399.76 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16380 0 0 0 39973 3 0 0 25 0 1 0 908812497 70832128 16321 33554432000 134512640 134556542 4293857952 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17293 16321 214 11 0 16627 0
Current children cumulated CPU time (s) 399.88
Current children cumulated vsize (KiB) 77876

[startup+400.701 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014812/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=69172 CPUtime=400.56 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16389 0 0 0 40053 3 0 0 25 0 1 0 908812497 70832128 16330 33554432000 134512640 134556542 4293857952 18446744073709551615 134537188 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17293 16330 214 11 0 16627 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 77876

[startup+401.507 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014812/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=69172 CPUtime=401.36 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16389 0 0 0 40133 3 0 0 25 0 1 0 908812497 70832128 16330 33554432000 134512640 134556542 4293857952 18446744073709551615 134537339 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17293 16330 214 11 0 16627 0
Current children cumulated CPU time (s) 401.48
Current children cumulated vsize (KiB) 77876

[startup+401.901 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014812/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=69172 CPUtime=401.76 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202496 16391 0 0 0 40173 3 0 0 25 0 1 0 908812497 70832128 16332 33554432000 134512640 134556542 4293857952 18446744073709551615 134537601 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/13945/statm: 17293 16332 214 11 0 16627 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 77876

[startup+402.001 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13955
/proc/meminfo: memFree=31014812/32951132 swapFree=67052544/67111528
[pid=13941] ppid=13939 vsize=8704 CPUtime=0.12 cores=0,2,4,6
/proc/13941/stat : 13941 (ebglucose.sh) S 13939 13941 12590 0 -1 4202496 379 2548 0 0 0 0 12 0 24 0 1 0 908812484 8912896 255 33554432000 4194304 4922060 140734434646752 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/13941/statm: 2176 255 211 178 0 69 0
[pid=13945] ppid=13941 vsize=0 CPUtime=401.87 cores=0,2,4,6
/proc/13945/stat : 13945 (ebglucose_stati) R 13941 13941 12590 0 -1 4202500 16405 0 0 0 40183 4 0 0 25 0 1 0 908812497 0 0 33554432000 0 0 0 0 0 0 0 4096 8388611 18446744073709551615 0 0 17 0 0 0 0
/proc/13945/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 8704

Child status: 10
Real time (s): 402.011
CPU time (s): 402.007
CPU user time (s): 401.956
CPU system time (s): 0.050992
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 77876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 401.956
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19748
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= 587

runsolver used 0.670898 second user time and 1.3248 second system time

The end