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-3498812-1307972284/watcher-3498812-1307972284 -o /var/tmp/evaluation-result-3498812-1307972284/solver-3498812-1307972284 -C 5000 -W 5100 -M 15500 HOME/ebglucose.sh HOME/instance-3498812-1307972284.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: 2.03 2.01 2.00 2/175 4917
/proc/meminfo: memFree=7137868/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 354 233 0 0 0 0 0 0 18 0 1 0 889644017 8912896 253 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4917/statm: 2176 253 211 178 0 69 0

[startup+0.0896761 s]
/proc/loadavg: 2.03 2.01 2.00 2/175 4917
/proc/meminfo: memFree=7137868/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 354 233 0 0 0 0 0 0 18 0 1 0 889644017 8912896 253 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4917/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100683 s]
/proc/loadavg: 2.03 2.01 2.00 2/175 4917
/proc/meminfo: memFree=7137868/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 354 233 0 0 0 0 0 0 18 0 1 0 889644017 8912896 253 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/4917/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300649 s]
/proc/loadavg: 2.03 2.01 2.00 2/175 4917
/proc/meminfo: memFree=7137868/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.70056 s]
/proc/loadavg: 2.03 2.01 2.00 2/175 4917
/proc/meminfo: memFree=7137868/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50041 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4921
/proc/meminfo: memFree=7119904/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=19464 CPUtime=1.33 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 4350 0 0 0 133 0 0 0 21 0 1 0 889644032 19931136 4290 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 4866 4290 212 11 0 4200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28168

[startup+3.10111 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4921
/proc/meminfo: memFree=7117796/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=20568 CPUtime=2.93 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 4626 0 0 0 293 0 0 0 25 0 1 0 889644032 21061632 4566 33554432000 134512640 134556542 4289907856 18446744073709551615 3055796 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 5142 4566 212 11 0 4476 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29272

[startup+6.30051 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4921
/proc/meminfo: memFree=7115836/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=21900 CPUtime=6.13 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 4968 0 0 0 613 0 0 0 25 0 1 0 889644032 22425600 4908 33554432000 134512640 134556542 4289907856 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 5475 4908 212 11 0 4809 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30604

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 4921
/proc/meminfo: memFree=7114008/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=23712 CPUtime=12.54 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 5416 0 0 0 1253 1 0 0 25 0 1 0 889644032 24281088 5356 33554432000 134512640 134556542 4289907856 18446744073709551615 134537115 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 5928 5356 214 11 0 5262 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32416

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4921
/proc/meminfo: memFree=7109676/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=27988 CPUtime=25.34 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 6461 0 0 0 2533 1 0 0 25 0 1 0 889644032 28659712 6401 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 6997 6401 214 11 0 6331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36692

[startup+51.101 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4922
/proc/meminfo: memFree=7104016/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=34188 CPUtime=50.94 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 7951 0 0 0 5092 2 0 0 25 0 1 0 889644032 35008512 7891 33554432000 134512640 134556542 4289907856 18446744073709551615 134537454 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 8547 7891 214 11 0 7881 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42892

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4923
/proc/meminfo: memFree=7093656/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=43940 CPUtime=102.15 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 10360 0 0 0 10213 2 0 0 25 0 1 0 889644032 44994560 10300 33554432000 134512640 134556542 4289907856 18446744073709551615 134537188 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 10985 10300 214 11 0 10319 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 52644

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4925
/proc/meminfo: memFree=7085312/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=52532 CPUtime=162.15 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 12430 0 0 0 16212 3 0 0 25 0 1 0 889644032 53792768 12370 33554432000 134512640 134556542 4289907856 18446744073709551615 134537180 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 13133 12370 214 11 0 12467 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 61236

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4927
/proc/meminfo: memFree=7078468/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=59156 CPUtime=222.14 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 14102 0 0 0 22211 3 0 0 25 0 1 0 889644032 60575744 14042 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 14789 14042 214 11 0 14123 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 67860

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4928
/proc/meminfo: memFree=7073096/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=64420 CPUtime=282.15 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 15406 0 0 0 28211 4 0 0 25 0 1 0 889644032 65966080 15346 33554432000 134512640 134556542 4289907856 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 16105 15346 214 11 0 15439 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 73124

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4930
/proc/meminfo: memFree=7067728/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=70288 CPUtime=342.15 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 16678 0 0 0 34211 4 0 0 25 0 1 0 889644032 71974912 16618 33554432000 134512640 134556542 4289907856 18446744073709551615 134537347 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 17572 16618 214 11 0 16906 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 78992

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4931
/proc/meminfo: memFree=7063484/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7

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


[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5209
/proc/meminfo: memFree=6969612/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=171348 CPUtime=2562.23 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 40447 0 0 0 256211 12 0 0 25 0 1 0 889644032 175460352 40387 33554432000 134512640 134556542 4289907856 18446744073709551615 134537203 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 42837 40387 214 11 0 42171 0
Current children cumulated CPU time (s) 2562.37
Current children cumulated vsize (KiB) 180052

[startup+2622.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 5211
/proc/meminfo: memFree=6966956/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=172992 CPUtime=2622.24 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 40859 0 0 0 262211 13 0 0 25 0 1 0 889644032 177143808 40799 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 43248 40799 214 11 0 42582 0
Current children cumulated CPU time (s) 2622.38
Current children cumulated vsize (KiB) 181696

[startup+2682.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 5212
/proc/meminfo: memFree=6965548/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=173876 CPUtime=2682.24 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 41078 0 0 0 268211 13 0 0 25 0 1 0 889644032 178049024 41018 33554432000 134512640 134556542 4289907856 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 43469 41018 214 11 0 42803 0
Current children cumulated CPU time (s) 2682.38
Current children cumulated vsize (KiB) 182580

[startup+2742.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5214
/proc/meminfo: memFree=6961792/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=176520 CPUtime=2742.25 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 41805 0 0 0 274212 13 0 0 25 0 1 0 889644032 180756480 41745 33554432000 134512640 134556542 4289907856 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 44130 41745 214 11 0 43464 0
Current children cumulated CPU time (s) 2742.39
Current children cumulated vsize (KiB) 185224

[startup+2802.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 5216
/proc/meminfo: memFree=6960640/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=177548 CPUtime=2802.24 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42054 0 0 0 280211 13 0 0 25 0 1 0 889644032 181809152 41994 33554432000 134512640 134556542 4289907856 18446744073709551615 134536831 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 44387 41994 214 11 0 43721 0
Current children cumulated CPU time (s) 2802.38
Current children cumulated vsize (KiB) 186252

[startup+2862.3 s]
/proc/loadavg: 2.15 2.04 2.01 4/177 5220
/proc/meminfo: memFree=6958136/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=179000 CPUtime=2862.24 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42434 0 0 0 286211 13 0 0 25 0 1 0 889644032 183296000 42374 33554432000 134512640 134556542 4289907856 18446744073709551615 134537195 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 44750 42374 214 11 0 44084 0
Current children cumulated CPU time (s) 2862.38
Current children cumulated vsize (KiB) 187704

[startup+2922.3 s]
/proc/loadavg: 2.06 2.03 2.01 4/177 5222
/proc/meminfo: memFree=6955632/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=180756 CPUtime=2922.24 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42843 0 0 0 292211 13 0 0 25 0 1 0 889644032 185094144 42783 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45189 42783 214 11 0 44523 0
Current children cumulated CPU time (s) 2922.38
Current children cumulated vsize (KiB) 189460

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

[startup+2943.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5222
/proc/meminfo: memFree=6955000/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181036 CPUtime=2943.84 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42925 0 0 0 294371 13 0 0 25 0 1 0 889644032 185380864 42865 33554432000 134512640 134556542 4289907856 18446744073709551615 134532717 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45259 42865 214 11 0 44593 0
Current children cumulated CPU time (s) 2943.98
Current children cumulated vsize (KiB) 189740

[startup+2956.7 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 5223
/proc/meminfo: memFree=6954996/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181036 CPUtime=2956.65 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42945 0 0 0 295652 13 0 0 25 0 1 0 889644032 185380864 42885 33554432000 134512640 134556542 4289907856 18446744073709551615 134537184 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45259 42885 214 11 0 44593 0
Current children cumulated CPU time (s) 2956.79
Current children cumulated vsize (KiB) 189740

[startup+2959.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5223
/proc/meminfo: memFree=6954748/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181216 CPUtime=2959.85 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42963 0 0 0 295972 13 0 0 25 0 1 0 889644032 185565184 42903 33554432000 134512640 134556542 4289907856 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45304 42903 214 11 0 44638 0
Current children cumulated CPU time (s) 2959.99
Current children cumulated vsize (KiB) 189920

[startup+2963.1 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 5223
/proc/meminfo: memFree=6954736/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181216 CPUtime=2963.04 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42984 0 0 0 296291 13 0 0 25 0 1 0 889644032 185565184 42924 33554432000 134512640 134556542 4289907856 18446744073709551615 134529895 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45304 42924 214 11 0 44638 0
Current children cumulated CPU time (s) 2963.18
Current children cumulated vsize (KiB) 189920

[startup+2964.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5223
/proc/meminfo: memFree=6954736/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181216 CPUtime=2964.64 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42999 0 0 0 296451 13 0 0 25 0 1 0 889644032 185565184 42939 33554432000 134512640 134556542 4289907856 18446744073709551615 134536831 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45304 42939 214 11 0 44638 0
Current children cumulated CPU time (s) 2964.78
Current children cumulated vsize (KiB) 189920

[startup+2965.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5223
/proc/meminfo: memFree=6954736/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181216 CPUtime=2965.04 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 42999 0 0 0 296491 13 0 0 25 0 1 0 889644032 185565184 42939 33554432000 134512640 134556542 4289907856 18446744073709551615 134538032 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45304 42939 214 11 0 44638 0
Current children cumulated CPU time (s) 2965.18
Current children cumulated vsize (KiB) 189920

[startup+2965.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5223
/proc/meminfo: memFree=6954736/32951124 swapFree=67064576/67111528
[pid=4917] ppid=4915 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/4917/stat : 4917 (ebglucose.sh) S 4915 4917 3763 0 -1 4202496 382 3182 0 0 0 0 14 0 17 0 1 0 889644017 8912896 256 33554432000 4194304 4922060 140736688471536 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/4917/statm: 2176 256 211 178 0 69 0
[pid=4921] ppid=4917 vsize=181408 CPUtime=2965.25 cores=1,3,5,7
/proc/4921/stat : 4921 (ebglucose_stati) R 4917 4917 3763 0 -1 4202496 43010 0 0 0 296512 13 0 0 25 0 1 0 889644032 185761792 42950 33554432000 134512640 134556542 4289907856 18446744073709551615 134537454 0 0 4096 8388611 0 0 0 17 5 0 0 0
/proc/4921/statm: 45352 42950 214 11 0 44686 0
Current children cumulated CPU time (s) 2965.39
Current children cumulated vsize (KiB) 190112

Child status: 10
Real time (s): 2965.35
CPU time (s): 2965.45
CPU user time (s): 2965.29
CPU system time (s): 0.155976
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 190112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2965.29
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47007
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= 52
involuntary context switches= 2881

runsolver used 4.92125 second user time and 11.1173 second system time

The end