runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3366028-1305325422/watcher-3366028-1305325422 -o /tmp/evaluation-result-3366028-1305325422/solver-3366028-1305325422 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3366028-1305325422.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: 0.89 1.52 1.81 3/365 11780
/proc/meminfo: memFree=10296336/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/11780/stat : 11780 (runsolver) S 11778 11780 11272 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 644139987 12079104 49 33554432000 4194304 5432360 140736168263504 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/11780/statm: 2949 49 30 303 0 2643 0

[startup+0.068858 s]
/proc/loadavg: 0.89 1.52 1.81 3/365 11780
/proc/meminfo: memFree=10296336/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 644139987 8912896 252 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11780/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100859 s]
/proc/loadavg: 0.89 1.52 1.81 3/365 11780
/proc/meminfo: memFree=10296336/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 644139987 8912896 252 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11780/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300904 s]
/proc/loadavg: 0.89 1.52 1.81 3/365 11780
/proc/meminfo: memFree=10296336/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8704

[startup+0.700846 s]
/proc/loadavg: 0.89 1.52 1.81 3/365 11780
/proc/meminfo: memFree=10296336/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8704

[startup+1.50065 s]
/proc/loadavg: 0.89 1.52 1.81 3/373 11790
/proc/meminfo: memFree=10256908/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=16672 CPUtime=1.3 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 3984 0 0 0 130 0 0 0 25 0 1 0 644140006 17072128 3939 33554432000 134512640 135217611 4286672000 18446744073709551615 134533304 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 4168 3939 76 173 0 3993 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 25376

[startup+3.10039 s]
/proc/loadavg: 0.89 1.52 1.81 3/373 11790
/proc/meminfo: memFree=10250584/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=18696 CPUtime=2.9 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 4496 0 0 0 290 0 0 0 25 0 1 0 644140006 19144704 4451 33554432000 134512640 135217611 4286672000 18446744073709551615 134532918 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 4674 4451 76 173 0 4499 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 27400

[startup+6.30079 s]
/proc/loadavg: 0.98 1.53 1.81 3/373 11790
/proc/meminfo: memFree=10246296/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=20992 CPUtime=6.1 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 5054 0 0 0 610 0 0 0 25 0 1 0 644140006 21495808 5009 33554432000 134512640 135217611 4286672000 18446744073709551615 134533283 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 5248 5009 76 173 0 5073 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 29696

[startup+12.7006 s]
/proc/loadavg: 1.06 1.54 1.81 3/373 11790
/proc/meminfo: memFree=10240280/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=22932 CPUtime=12.5 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 5539 0 0 0 1250 0 0 0 25 0 1 0 644140006 23482368 5494 33554432000 134512640 135217611 4286672000 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 5733 5494 76 173 0 5558 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31636

[startup+25.5003 s]
/proc/loadavg: 1.27 1.56 1.81 3/373 11790
/proc/meminfo: memFree=10236192/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=25000 CPUtime=25.3 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 6035 0 0 0 2530 0 0 0 25 0 1 0 644140006 25600000 5990 33554432000 134512640 135217611 4286672000 18446744073709551615 134533055 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 6250 5990 76 173 0 6075 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33704

[startup+51.1006 s]
/proc/loadavg: 1.52 1.59 1.82 3/373 11791
/proc/meminfo: memFree=10228772/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=28748 CPUtime=50.9 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 6938 0 0 0 5089 1 0 0 25 0 1 0 644140006 29437952 6893 33554432000 134512640 135217611 4286672000 18446744073709551615 134533152 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 7187 6893 76 173 0 7012 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 37452

[startup+102.314 s]
/proc/loadavg: 1.79 1.65 1.82 3/373 11792
/proc/meminfo: memFree=10215844/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=34808 CPUtime=102.11 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 8430 0 0 0 10210 1 0 0 25 0 1 0 644140006 35643392 8385 33554432000 134512640 135217611 4286672000 18446744073709551615 134532965 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 8702 8385 77 173 0 8527 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43512

[startup+162.3 s]
/proc/loadavg: 2.05 1.76 1.84 3/373 11794
/proc/meminfo: memFree=10205528/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=39760 CPUtime=162.1 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 9603 0 0 0 16209 1 0 0 25 0 1 0 644140006 40714240 9558 33554432000 134512640 135217611 4286672000 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 9940 9558 77 173 0 9765 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48464

[startup+222.3 s]
/proc/loadavg: 2.02 1.80 1.85 3/373 11796
/proc/meminfo: memFree=10195968/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=44348 CPUtime=222.11 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 10738 0 0 0 22209 2 0 0 25 0 1 0 644140006 45412352 10693 33554432000 134512640 135217611 4286672000 18446744073709551615 134533307 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 11087 10693 77 173 0 10912 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 53052

[startup+282.3 s]
/proc/loadavg: 2.00 1.83 1.86 3/373 11797
/proc/meminfo: memFree=10188640/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=48536 CPUtime=282.11 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 11751 0 0 0 28209 2 0 0 25 0 1 0 644140006 49700864 11706 33554432000 134512640 135217611 4286672000 18446744073709551615 134533552 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 12134 11706 77 173 0 11959 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 57240

[startup+342.301 s]
/proc/loadavg: 2.00 1.86 1.86 3/373 11799
/proc/meminfo: memFree=10181424/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=52632 CPUtime=342.11 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 12670 0 0 0 34209 2 0 0 25 0 1 0 644140006 53895168 12625 33554432000 134512640 135217611 4286672000 18446744073709551615 134533347 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 13158 12625 77 173 0 12983 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 61336

[startup+402.3 s]
/proc/loadavg: 2.00 1.88 1.87 3/373 11800
/proc/meminfo: memFree=10175332/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/373 11826
/proc/meminfo: memFree=10112652/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=86676 CPUtime=1362.14 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 20817 0 0 0 136209 5 0 0 25 0 1 0 644140006 88756224 20772 33554432000 134512640 135217611 4286672000 18446744073709551615 134533007 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 21669 20772 77 173 0 21494 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 95380

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.93 3/373 11828
/proc/meminfo: memFree=10109884/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=88120 CPUtime=1422.15 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 21160 0 0 0 142210 5 0 0 25 0 1 0 644140006 90234880 21115 33554432000 134512640 135217611 4286672000 18446744073709551615 134527787 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 22030 21115 77 173 0 21855 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 96824

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11829
/proc/meminfo: memFree=10107012/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=89804 CPUtime=1482.14 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 21555 0 0 0 148209 5 0 0 25 0 1 0 644140006 91959296 21510 33554432000 134512640 135217611 4286672000 18446744073709551615 134533171 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 22451 21510 77 173 0 22276 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 98508

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11831
/proc/meminfo: memFree=10104392/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=90956 CPUtime=1542.14 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 21847 0 0 0 154209 5 0 0 25 0 1 0 644140006 93138944 21802 33554432000 134512640 135217611 4286672000 18446744073709551615 134533037 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 22739 21802 77 173 0 22564 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 99660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11832
/proc/meminfo: memFree=10100912/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=93112 CPUtime=1602.15 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 22355 0 0 0 160209 6 0 0 25 0 1 0 644140006 95346688 22310 33554432000 134512640 135217611 4286672000 18446744073709551615 134539806 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 23278 22310 77 173 0 23103 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 101816

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11834
/proc/meminfo: memFree=10097792/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=95060 CPUtime=1662.15 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 22679 0 0 0 166209 6 0 0 25 0 1 0 644140006 97341440 22634 33554432000 134512640 135217611 4286672000 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 23765 22634 77 173 0 23590 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 103764

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11836
/proc/meminfo: memFree=10095296/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=96200 CPUtime=1722.15 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 22944 0 0 0 172209 6 0 0 25 0 1 0 644140006 98508800 22899 33554432000 134512640 135217611 4286672000 18446744073709551615 134537005 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24050 22899 77 173 0 23875 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 104904

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

[startup+1740.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/373 11836
/proc/meminfo: memFree=10094304/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=96788 CPUtime=1740.55 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23102 0 0 0 174049 6 0 0 25 0 1 0 644140006 99110912 23057 33554432000 134512640 135217611 4286672000 18446744073709551615 134533327 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24197 23057 77 173 0 24022 0
Current children cumulated CPU time (s) 1740.7
Current children cumulated vsize (KiB) 105492

[startup+1753.5 s]
/proc/loadavg: 2.24 2.05 1.94 3/373 11836
/proc/meminfo: memFree=10094052/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97148 CPUtime=1753.35 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23154 0 0 0 175329 6 0 0 25 0 1 0 644140006 99479552 23109 33554432000 134512640 135217611 4286672000 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24287 23109 77 173 0 24112 0
Current children cumulated CPU time (s) 1753.5
Current children cumulated vsize (KiB) 105852

[startup+1756.71 s]
/proc/loadavg: 2.22 2.05 1.94 3/373 11837
/proc/meminfo: memFree=10094044/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97148 CPUtime=1756.56 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23156 0 0 0 175650 6 0 0 25 0 1 0 644140006 99479552 23111 33554432000 134512640 135217611 4286672000 18446744073709551615 134533131 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24287 23111 77 173 0 24112 0
Current children cumulated CPU time (s) 1756.71
Current children cumulated vsize (KiB) 105852

[startup+1759.9 s]
/proc/loadavg: 2.20 2.05 1.94 3/373 11837
/proc/meminfo: memFree=10093672/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97280 CPUtime=1759.75 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23209 0 0 0 175969 6 0 0 25 0 1 0 644140006 99614720 23164 33554432000 134512640 135217611 4286672000 18446744073709551615 134533142 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24320 23164 77 173 0 24145 0
Current children cumulated CPU time (s) 1759.9
Current children cumulated vsize (KiB) 105984

[startup+1760.7 s]
/proc/loadavg: 2.20 2.05 1.94 3/373 11837
/proc/meminfo: memFree=10093672/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97280 CPUtime=1760.55 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23209 0 0 0 176049 6 0 0 25 0 1 0 644140006 99614720 23164 33554432000 134512640 135217611 4286672000 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24320 23164 77 173 0 24145 0
Current children cumulated CPU time (s) 1760.7
Current children cumulated vsize (KiB) 105984

[startup+1761.5 s]
/proc/loadavg: 2.20 2.05 1.94 3/373 11837
/proc/meminfo: memFree=10093672/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97280 CPUtime=1761.35 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23209 0 0 0 176129 6 0 0 25 0 1 0 644140006 99614720 23164 33554432000 134512640 135217611 4286672000 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24320 23164 77 173 0 24145 0
Current children cumulated CPU time (s) 1761.5
Current children cumulated vsize (KiB) 105984

[startup+1761.9 s]
/proc/loadavg: 2.20 2.05 1.94 3/373 11837
/proc/meminfo: memFree=10093672/32951124 swapFree=67111348/67111528
[pid=11780] ppid=11778 vsize=8704 CPUtime=0.15 cores=0,2,4,6
/proc/11780/stat : 11780 (glucose.sh) S 11778 11780 11272 0 -1 4202496 358 2947 0 0 0 0 14 1 19 0 1 0 644139987 8912896 254 33554432000 4194304 4922060 140733788246608 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/11780/statm: 2176 254 211 178 0 69 0
[pid=11789] ppid=11780 vsize=97280 CPUtime=1761.75 cores=0,2,4,6
/proc/11789/stat : 11789 (glucose_static) R 11780 11780 11272 0 -1 4202496 23209 0 0 0 176169 6 0 0 25 0 1 0 644140006 99614720 23164 33554432000 134512640 135217611 4286672000 18446744073709551615 134532971 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/11789/statm: 24320 23164 77 173 0 24145 0
Current children cumulated CPU time (s) 1761.9
Current children cumulated vsize (KiB) 105984

Child status: 10
Real time (s): 1761.93
CPU time (s): 1761.96
CPU user time (s): 1761.86
CPU system time (s): 0.091986
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 105984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.86
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26942
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= 87
involuntary context switches= 2757

runsolver used 6.36803 second user time and 14.5018 second system time

The end