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-3498808-1307971964/watcher-3498808-1307971964 -o /var/tmp/evaluation-result-3498808-1307971964/solver-3498808-1307971964 -C 5000 -W 5100 -M 15500 HOME/ebglucose.sh HOME/instance-3498808-1307971964.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.98 1.99 1.99 2/178 19573
/proc/meminfo: memFree=13569912/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 353 233 0 0 0 0 0 0 25 0 1 0 908794351 8912896 252 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 252 211 178 0 69 0

[startup+0.0127021 s]
/proc/loadavg: 1.98 1.99 1.99 2/178 19573
/proc/meminfo: memFree=13569912/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 353 233 0 0 0 0 0 0 25 0 1 0 908794351 8912896 252 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100687 s]
/proc/loadavg: 1.98 1.99 1.99 2/178 19573
/proc/meminfo: memFree=13569912/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 353 233 0 0 0 0 0 0 25 0 1 0 908794351 8912896 252 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19573/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300653 s]
/proc/loadavg: 1.98 1.99 1.99 2/178 19573
/proc/meminfo: memFree=13569912/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8704

[startup+0.700578 s]
/proc/loadavg: 1.98 1.99 1.99 2/178 19573
/proc/meminfo: memFree=13569912/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8704

[startup+1.50046 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 19577
/proc/meminfo: memFree=13553156/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=17436 CPUtime=1.35 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 3932 0 0 0 135 0 0 0 25 0 1 0 908794365 17854464 3872 33554432000 134512640 134556542 4289918960 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 4359 3872 212 11 0 3693 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26140

[startup+3.10117 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 19577
/proc/meminfo: memFree=13551172/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=18948 CPUtime=2.94 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 4298 0 0 0 294 0 0 0 25 0 1 0 908794365 19402752 4238 33554432000 134512640 134556542 4289918960 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 4737 4238 212 11 0 4071 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 27652

[startup+6.30059 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 19577
/proc/meminfo: memFree=13548836/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=20408 CPUtime=6.14 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 4677 0 0 0 614 0 0 0 25 0 1 0 908794365 20897792 4617 33554432000 134512640 134556542 4289918960 18446744073709551615 134543413 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 5102 4617 212 11 0 4436 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29112

[startup+12.7004 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 19577
/proc/meminfo: memFree=13546736/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=22360 CPUtime=12.54 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 5177 0 0 0 1254 0 0 0 25 0 1 0 908794365 22896640 5117 33554432000 134512640 134556542 4289918960 18446744073709551615 134537160 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 5590 5117 214 11 0 4924 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31064

[startup+25.5011 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 19577
/proc/meminfo: memFree=13542892/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=26244 CPUtime=25.35 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 6124 0 0 0 2534 1 0 0 25 0 1 0 908794365 26873856 6064 33554432000 134512640 134556542 4289918960 18446744073709551615 134536913 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 6561 6064 214 11 0 5895 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34948

[startup+51.1005 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 19578
/proc/meminfo: memFree=13535884/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=33468 CPUtime=50.95 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 7857 0 0 0 5094 1 0 0 25 0 1 0 908794365 34271232 7797 33554432000 134512640 134556542 4289918960 18446744073709551615 134537174 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 8367 7797 214 11 0 7701 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42172

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 19579
/proc/meminfo: memFree=13526656/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=42776 CPUtime=102.16 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 10150 0 0 0 10214 2 0 0 25 0 1 0 908794365 43802624 10090 33554432000 134512640 134556542 4289918960 18446744073709551615 134536950 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 10694 10090 214 11 0 10028 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 51480

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/180 19581
/proc/meminfo: memFree=13514840/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=51148 CPUtime=162.15 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 12131 0 0 0 16213 2 0 0 25 0 1 0 908794365 52375552 12071 33554432000 134512640 134556542 4289918960 18446744073709551615 134537512 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 12787 12071 214 11 0 12121 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 59852

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/180 19583
/proc/meminfo: memFree=13507740/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=57780 CPUtime=222.16 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 13812 0 0 0 22213 3 0 0 25 0 1 0 908794365 59166720 13752 33554432000 134512640 134556542 4289918960 18446744073709551615 134537396 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 14445 13752 214 11 0 13779 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 66484

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19584
/proc/meminfo: memFree=13500148/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=63236 CPUtime=282.16 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 15167 0 0 0 28213 3 0 0 25 0 1 0 908794365 64753664 15107 33554432000 134512640 134556542 4289918960 18446744073709551615 134534144 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 15809 15107 214 11 0 15143 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 71940

[startup+342.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 19586
/proc/meminfo: memFree=13493780/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=68724 CPUtime=342.15 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 16339 0 0 0 34212 3 0 0 25 0 1 0 908794365 70373376 16279 33554432000 134512640 134556542 4289918960 18446744073709551615 134532040 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 17181 16279 214 11 0 16515 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 77428

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 19587
/proc/meminfo: memFree=13488540/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6

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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19616
/proc/meminfo: memFree=13420352/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=129364 CPUtime=1482.19 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 30834 0 0 0 148213 6 0 0 25 0 1 0 908794365 132468736 30774 33554432000 134512640 134556542 4289918960 18446744073709551615 134536807 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 32341 30774 214 11 0 31675 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 138068

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19618
/proc/meminfo: memFree=13413856/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=131440 CPUtime=1542.19 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 31329 0 0 0 154213 6 0 0 25 0 1 0 908794365 134594560 31269 33554432000 134512640 134556542 4289918960 18446744073709551615 134525280 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 32860 31269 214 11 0 32194 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 140144

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19619
/proc/meminfo: memFree=13411352/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=133464 CPUtime=1602.19 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 31872 0 0 0 160213 6 0 0 25 0 1 0 908794365 136667136 31812 33554432000 134512640 134556542 4289918960 18446744073709551615 134537349 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 33366 31812 214 11 0 32700 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 142168

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19621
/proc/meminfo: memFree=13409080/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=135684 CPUtime=1662.19 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 32444 0 0 0 166213 6 0 0 25 0 1 0 908794365 138940416 32384 33554432000 134512640 134556542 4289918960 18446744073709551615 134537162 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 33921 32384 214 11 0 33255 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 144388

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19632
/proc/meminfo: memFree=13406276/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=137904 CPUtime=1722.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 33013 0 0 0 172213 7 0 0 25 0 1 0 908794365 141213696 32953 33554432000 134512640 134556542 4289918960 18446744073709551615 134537218 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 34476 32953 214 11 0 33810 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 146608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19633
/proc/meminfo: memFree=13403752/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=140320 CPUtime=1782.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 33652 0 0 0 178213 7 0 0 25 0 1 0 908794365 143687680 33592 33554432000 134512640 134556542 4289918960 18446744073709551615 134537352 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 35080 33592 214 11 0 34414 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 149024

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19635
/proc/meminfo: memFree=13402484/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=141420 CPUtime=1842.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 33933 0 0 0 184213 7 0 0 25 0 1 0 908794365 144814080 33873 33554432000 134512640 134556542 4289918960 18446744073709551615 134537504 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 35355 33873 214 11 0 34689 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 150124

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19639
/proc/meminfo: memFree=13399444/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=143976 CPUtime=1902.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34545 0 0 0 190213 7 0 0 25 0 1 0 908794365 147431424 34485 33554432000 134512640 134556542 4289918960 18446744073709551615 134537330 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 35994 34485 214 11 0 35328 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 152680

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

[startup+1907.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19639
/proc/meminfo: memFree=13399680/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=143976 CPUtime=1907 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34569 0 0 0 190693 7 0 0 25 0 1 0 908794365 147431424 34509 33554432000 134512640 134556542 4289918960 18446744073709551615 134537526 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 35994 34509 214 11 0 35328 0
Current children cumulated CPU time (s) 1907.13
Current children cumulated vsize (KiB) 152680

[startup+1910.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19640
/proc/meminfo: memFree=13399696/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=143976 CPUtime=1910.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34573 0 0 0 191013 7 0 0 25 0 1 0 908794365 147431424 34513 33554432000 134512640 134556542 4289918960 18446744073709551615 134537236 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 35994 34513 214 11 0 35328 0
Current children cumulated CPU time (s) 1910.33
Current children cumulated vsize (KiB) 152680

[startup+1911.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19640
/proc/meminfo: memFree=13399572/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=144168 CPUtime=1911.8 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34592 0 0 0 191173 7 0 0 25 0 1 0 908794365 147628032 34532 33554432000 134512640 134556542 4289918960 18446744073709551615 134530183 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 36042 34532 214 11 0 35376 0
Current children cumulated CPU time (s) 1911.93
Current children cumulated vsize (KiB) 152872

[startup+1913.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19640
/proc/meminfo: memFree=13399200/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=144168 CPUtime=1913.4 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34611 0 0 0 191333 7 0 0 25 0 1 0 908794365 147628032 34551 33554432000 134512640 134556542 4289918960 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 36042 34551 214 11 0 35376 0
Current children cumulated CPU time (s) 1913.53
Current children cumulated vsize (KiB) 152872

[startup+1914.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19640
/proc/meminfo: memFree=13399320/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=144168 CPUtime=1914.2 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34612 0 0 0 191413 7 0 0 25 0 1 0 908794365 147628032 34552 33554432000 134512640 134556542 4289918960 18446744073709551615 134537412 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 36042 34552 214 11 0 35376 0
Current children cumulated CPU time (s) 1914.33
Current children cumulated vsize (KiB) 152872

[startup+1914.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19640
/proc/meminfo: memFree=13399320/32951124 swapFree=67051728/67111528
[pid=19573] ppid=19571 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/19573/stat : 19573 (ebglucose.sh) S 19571 19573 18249 0 -1 4202496 381 2957 0 0 0 0 13 0 24 0 1 0 908794351 8912896 255 33554432000 4194304 4922060 140733256589088 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19573/statm: 2176 255 211 178 0 69 0
[pid=19577] ppid=19573 vsize=144168 CPUtime=1914.4 cores=0,2,4,6
/proc/19577/stat : 19577 (ebglucose_stati) R 19573 19573 18249 0 -1 4202496 34612 0 0 0 191433 7 0 0 25 0 1 0 908794365 147628032 34552 33554432000 134512640 134556542 4289918960 18446744073709551615 134530928 0 0 4096 8388611 0 0 0 17 2 0 0 0
/proc/19577/statm: 36042 34552 214 11 0 35376 0
Current children cumulated CPU time (s) 1914.53
Current children cumulated vsize (KiB) 152872

Child status: 10
Real time (s): 1914.52
CPU time (s): 1914.58
CPU user time (s): 1914.48
CPU system time (s): 0.093985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 152872

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

runsolver used 3.40948 second user time and 6.38703 second system time

The end