runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3303380-1303899343/watcher-3303380-1303899343 -o /tmp/evaluation-result-3303380-1303899343/solver-3303380-1303899343 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303380-1303899343.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: 0.00 0.00 0.00 2/174 32735
/proc/meminfo: memFree=15378828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501533000 8912896 253 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32735/statm: 2176 253 211 178 0 69 0

[startup+0.0436351 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 32735
/proc/meminfo: memFree=15378828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501533000 8912896 253 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32735/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100701 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 32735
/proc/meminfo: memFree=15378828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501533000 8912896 253 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32735/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300647 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 32735
/proc/meminfo: memFree=15378828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501533000 8912896 253 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32735/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700579 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 32735
/proc/meminfo: memFree=15378828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501533000 8912896 253 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32735/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50045 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 32744
/proc/meminfo: memFree=15330916/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 8704

[startup+3.10118 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 32746
/proc/meminfo: memFree=15329552/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=46232 CPUtime=2.07 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 16284 0 0 0 205 2 0 0 25 0 1 0 501533103 47341568 7686 33554432000 4194304 4260849 140734413913904 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32745/statm: 11558 7686 250 17 0 8199 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 54936

[startup+6.30058 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 32746
/proc/meminfo: memFree=15269772/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=64908 CPUtime=5.27 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 21045 0 0 0 524 3 0 0 25 0 1 0 501533103 66465792 12163 33554432000 4194304 4260849 140734413913904 18446744073709551615 4225424 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32745/statm: 16227 12163 250 17 0 12868 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73612

[startup+12.7005 s]
/proc/loadavg: 0.44 0.10 0.03 3/180 32747
/proc/meminfo: memFree=15261232/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=64908 CPUtime=11.66 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 26839 0 0 0 1163 3 0 0 25 0 1 0 501533103 66465792 13072 33554432000 4194304 4260849 140734413913904 18446744073709551615 4209295 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32745/statm: 16227 13072 250 17 0 12868 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 73612

[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 32747
/proc/meminfo: memFree=15225880/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=83764 CPUtime=24.46 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 31798 0 0 0 2443 3 0 0 25 0 1 0 501533103 85774336 17742 33554432000 4194304 4260849 140734413913904 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 20941 17742 250 17 0 17582 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92468

[startup+51.1011 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 32748
/proc/meminfo: memFree=15192340/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=83764 CPUtime=50.06 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 39522 0 0 0 5002 4 0 0 25 0 1 0 501533103 85774336 17786 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 20941 17786 250 17 0 17582 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92468

[startup+102.306 s]
/proc/loadavg: 1.72 0.60 0.21 3/180 32749
/proc/meminfo: memFree=15223704/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=83764 CPUtime=101.26 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 80374 0 0 0 10116 10 0 0 25 0 1 0 501533103 85774336 17786 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 20941 17786 250 17 0 17582 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 92468

[startup+162.3 s]
/proc/loadavg: 1.90 0.86 0.32 3/180 32751
/proc/meminfo: memFree=15132296/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=145536 CPUtime=161.26 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 130833 0 0 0 16109 17 0 0 25 0 1 0 501533103 149028864 28843 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 36384 28843 250 17 0 33025 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 154240

[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.43 3/180 32752
/proc/meminfo: memFree=15155592/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=145536 CPUtime=221.26 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 167345 0 0 0 22103 23 0 0 25 0 1 0 501533103 149028864 31973 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 36384 31973 250 17 0 33025 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 154240

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/180 32754
/proc/meminfo: memFree=15153580/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=145536 CPUtime=281.27 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 207809 0 0 0 28097 30 0 0 25 0 1 0 501533103 149028864 32697 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 36384 32697 250 17 0 33025 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 154240

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/180 32756
/proc/meminfo: memFree=15167828/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=96216 CPUtime=341.27 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 237462 0 0 0 34091 36 0 0 25 0 1 0 501533103 98525184 20899 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 24054 20899 250 17 0 20695 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 104920

[startup+402.301 s]
/proc/loadavg: 1.99 1.48 0.69 3/180 32757
/proc/meminfo: memFree=15124284/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=145536 CPUtime=401.26 cores=1,3,5,7

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

/proc/32745/statm: 63155 50677 251 17 0 59796 0
Current children cumulated CPU time (s) 4302.34
Current children cumulated vsize (KiB) 261324

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 416
/proc/meminfo: memFree=14898612/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=303276 CPUtime=4361.33 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1750796 0 0 0 435745 388 0 0 25 0 1 0 501533103 310554624 67567 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 75819 67567 251 17 0 72460 0
Current children cumulated CPU time (s) 4362.34
Current children cumulated vsize (KiB) 311980

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 417
/proc/meminfo: memFree=14856440/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=304396 CPUtime=4421.33 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1781246 0 0 0 441739 394 0 0 25 0 1 0 501533103 311701504 62346 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 76099 62346 251 17 0 72740 0
Current children cumulated CPU time (s) 4422.34
Current children cumulated vsize (KiB) 313100

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 419
/proc/meminfo: memFree=14926868/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=255836 CPUtime=4481.33 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1808733 0 0 0 447732 401 0 0 25 0 1 0 501533103 261976064 53680 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 63959 53680 251 17 0 60600 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 264540

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 421
/proc/meminfo: memFree=14811908/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=388628 CPUtime=4541.33 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1827652 0 0 0 453728 405 0 0 25 0 1 0 501533103 397955072 72400 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 97157 72400 251 17 0 93798 0
Current children cumulated CPU time (s) 4542.34
Current children cumulated vsize (KiB) 397332

[startup+4602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/180 422
/proc/meminfo: memFree=14896716/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=308808 CPUtime=4601.35 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1856883 0 0 0 459722 413 0 0 25 0 1 0 501533103 316219392 64267 33554432000 4194304 4260849 140734413913904 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 77202 64267 251 17 0 73843 0
Current children cumulated CPU time (s) 4602.36
Current children cumulated vsize (KiB) 317512

[startup+4662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 424
/proc/meminfo: memFree=14891996/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=260308 CPUtime=4661.34 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1884972 0 0 0 465716 418 0 0 25 0 1 0 501533103 266555392 55985 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 65077 55985 251 17 0 61718 0
Current children cumulated CPU time (s) 4662.35
Current children cumulated vsize (KiB) 269012

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 425
/proc/meminfo: memFree=14882312/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=312788 CPUtime=4721.35 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1898352 0 0 0 471713 422 0 0 25 0 1 0 501533103 320294912 69218 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 78197 69218 251 17 0 74838 0
Current children cumulated CPU time (s) 4722.36
Current children cumulated vsize (KiB) 321492

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 427
/proc/meminfo: memFree=14871888/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=263684 CPUtime=4781.34 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1921003 0 0 0 477707 427 0 0 25 0 1 0 501533103 270012416 57060 33554432000 4194304 4260849 140734413913904 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 65921 57060 251 17 0 62562 0
Current children cumulated CPU time (s) 4782.35
Current children cumulated vsize (KiB) 272388

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 429
/proc/meminfo: memFree=14862440/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=315760 CPUtime=4841.34 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1931243 0 0 0 483703 431 0 0 25 0 1 0 501533103 323338240 67188 33554432000 4194304 4260849 140734413913904 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 78940 67188 251 17 0 75581 0
Current children cumulated CPU time (s) 4842.35
Current children cumulated vsize (KiB) 324464

[startup+4902.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/180 430
/proc/meminfo: memFree=14792492/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=398700 CPUtime=4901.34 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1938463 0 0 0 489701 433 0 0 25 0 1 0 501533103 408268800 74324 33554432000 4194304 4260849 140734413913904 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 99675 74324 251 17 0 96316 0
Current children cumulated CPU time (s) 4902.35
Current children cumulated vsize (KiB) 407404

[startup+4962.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 432
/proc/meminfo: memFree=14878900/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=317688 CPUtime=4961.34 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1961042 0 0 0 495696 438 0 0 25 0 1 0 501533103 325312512 62804 33554432000 4194304 4260849 140734413913904 18446744073709551615 4225391 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 79422 62804 251 17 0 76063 0
Current children cumulated CPU time (s) 4962.35
Current children cumulated vsize (KiB) 326392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 433
/proc/meminfo: memFree=14833140/32950928 swapFree=67111528/67111528
[pid=32735] ppid=32733 vsize=8704 CPUtime=1.01 cores=1,3,5,7
/proc/32735/stat : 32735 (glucose.sh) S 32733 32735 32703 0 -1 4202496 360 5479 0 0 0 0 100 1 18 0 1 0 501533000 8912896 255 33554432000 4194304 4922060 140734621206352 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/32735/statm: 2176 255 211 178 0 69 0
[pid=32745] ppid=32735 vsize=319276 CPUtime=4999.05 cores=1,3,5,7
/proc/32745/stat : 32745 (glucose_static) R 32735 32735 32703 0 -1 4202496 1966042 0 0 0 499465 440 0 0 25 0 1 0 501533103 326938624 67744 33554432000 4194304 4260849 140734413913904 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32745/statm: 79819 67744 251 17 0 76460 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 327980

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32735 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=8846
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 1.02984
# while last known CPU time is 5000.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5000.01
CPU time (s): 5000.06
CPU user time (s): 4995.65
CPU system time (s): 4.41
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 487544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00885
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5839
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= 8
involuntary context switches= 6

runsolver used 7.94779 second user time and 18.7042 second system time

The end