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-3365882-1305320642/watcher-3365882-1305320642 -o /tmp/evaluation-result-3365882-1305320642/solver-3365882-1305320642 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3365882-1305320642.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: 1.93 2.01 1.98 2/359 23303
/proc/meminfo: memFree=24118444/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 643664633 8912896 252 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23303/statm: 2176 252 211 178 0 69 0
[startup+0.0390009 s]
/proc/loadavg: 1.93 2.01 1.98 2/359 23303
/proc/meminfo: memFree=24118444/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 643664633 8912896 252 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23303/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100987 s]
/proc/loadavg: 1.93 2.01 1.98 2/359 23303
/proc/meminfo: memFree=24118444/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 643664633 8912896 252 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23303/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300951 s]
/proc/loadavg: 1.93 2.01 1.98 2/359 23303
/proc/meminfo: memFree=24118444/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 643664633 8912896 252 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23303/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.70088 s]
/proc/loadavg: 1.93 2.01 1.98 2/359 23303
/proc/meminfo: memFree=24118444/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 8704
[startup+1.50073 s]
/proc/loadavg: 1.93 2.01 1.98 3/361 23306
/proc/meminfo: memFree=24100936/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=12648 CPUtime=0.87 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 3022 0 0 0 87 0 0 0 22 0 1 0 643664696 12951552 2976 33554432000 134512640 135217611 4291226480 18446744073709551615 134542157 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 3162 2976 77 173 0 2987 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21352
[startup+3.10044 s]
/proc/loadavg: 1.93 2.01 1.98 3/361 23306
/proc/meminfo: memFree=24098828/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=14852 CPUtime=2.47 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 3570 0 0 0 247 0 0 0 25 0 1 0 643664696 15208448 3524 33554432000 134512640 135217611 4291226480 18446744073709551615 134533271 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 3713 3524 77 173 0 3538 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23556
[startup+6.30087 s]
/proc/loadavg: 2.02 2.02 1.98 3/361 23307
/proc/meminfo: memFree=24095612/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=16872 CPUtime=5.67 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 4080 0 0 0 567 0 0 0 25 0 1 0 643664696 17276928 4034 33554432000 134512640 135217611 4291226480 18446744073709551615 134532965 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 4218 4034 77 173 0 4043 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25576
[startup+12.7007 s]
/proc/loadavg: 2.01 2.02 1.98 3/361 23307
/proc/meminfo: memFree=24092616/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=18992 CPUtime=12.06 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 4599 0 0 0 1206 0 0 0 25 0 1 0 643664696 19447808 4553 33554432000 134512640 135217611 4291226480 18446744073709551615 134537031 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 4748 4553 77 173 0 4573 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27696
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 1.98 3/361 23307
/proc/meminfo: memFree=24090372/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=21240 CPUtime=24.86 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 5175 0 0 0 2486 0 0 0 25 0 1 0 643664696 21749760 5129 33554432000 134512640 135217611 4291226480 18446744073709551615 134532614 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 5310 5129 77 173 0 5135 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29944
[startup+51.1007 s]
/proc/loadavg: 2.01 2.02 1.98 3/361 23308
/proc/meminfo: memFree=24087816/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=23876 CPUtime=50.47 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 5813 0 0 0 5046 1 0 0 25 0 1 0 643664696 24449024 5767 33554432000 134512640 135217611 4291226480 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 5969 5767 77 173 0 5794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32580
[startup+102.313 s]
/proc/loadavg: 2.00 2.01 1.98 3/361 23309
/proc/meminfo: memFree=24084312/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=27692 CPUtime=101.68 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 6716 0 0 0 10167 1 0 0 25 0 1 0 643664696 28356608 6670 33554432000 134512640 135217611 4291226480 18446744073709551615 134532965 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 6923 6670 77 173 0 6748 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 36396
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/361 23311
/proc/meminfo: memFree=24078680/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=31896 CPUtime=161.67 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 7752 0 0 0 16166 1 0 0 25 0 1 0 643664696 32661504 7706 33554432000 134512640 135217611 4291226480 18446744073709551615 134533316 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 7974 7706 77 173 0 7799 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 40600
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/361 23312
/proc/meminfo: memFree=24076644/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=35064 CPUtime=221.67 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 8513 0 0 0 22166 1 0 0 25 0 1 0 643664696 35905536 8467 33554432000 134512640 135217611 4291226480 18446744073709551615 134533327 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 8766 8467 77 173 0 8591 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 43768
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/361 23314
/proc/meminfo: memFree=24072868/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=38336 CPUtime=281.68 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 9282 0 0 0 28166 2 0 0 25 0 1 0 643664696 39256064 9236 33554432000 134512640 135217611 4291226480 18446744073709551615 134532629 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 9584 9236 77 173 0 9409 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 47040
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/361 23315
/proc/meminfo: memFree=24071080/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=40084 CPUtime=341.68 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 9713 0 0 0 34166 2 0 0 25 0 1 0 643664696 41046016 9667 33554432000 134512640 135217611 4291226480 18446744073709551615 134532731 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 10021 9667 77 173 0 9846 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48788
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/361 23317
/proc/meminfo: memFree=24067552/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
################
# More data... #
################
/proc/23306/statm: 27692 25717 77 173 0 27517 0
Current children cumulated CPU time (s) 4362.41
Current children cumulated vsize (KiB) 119472
[startup+4422.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/361 23466
/proc/meminfo: memFree=24042520/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=111880 CPUtime=4421.8 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26031 0 0 0 442174 6 0 0 25 0 1 0 643664696 114565120 25921 33554432000 134512640 135217611 4291226480 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 27970 25921 77 173 0 27795 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 120584
[startup+4482.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/361 23468
/proc/meminfo: memFree=24042336/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=112120 CPUtime=4481.8 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26109 0 0 0 448174 6 0 0 25 0 1 0 643664696 114810880 25999 33554432000 134512640 135217611 4291226480 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28030 25999 77 173 0 27855 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 120824
[startup+4542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/361 23469
/proc/meminfo: memFree=24041908/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=112408 CPUtime=4541.8 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26181 0 0 0 454174 6 0 0 25 0 1 0 643664696 115105792 26071 33554432000 134512640 135217611 4291226480 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28102 26071 77 173 0 27927 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 121112
[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/361 23471
/proc/meminfo: memFree=24039012/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=113180 CPUtime=4601.82 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26326 0 0 0 460175 7 0 0 25 0 1 0 643664696 115896320 26216 33554432000 134512640 135217611 4291226480 18446744073709551615 134533316 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28295 26216 77 173 0 28120 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 121884
[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/361 23473
/proc/meminfo: memFree=24039336/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=113688 CPUtime=4661.81 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26424 0 0 0 466174 7 0 0 25 0 1 0 643664696 116416512 26314 33554432000 134512640 135217611 4291226480 18446744073709551615 134533146 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28422 26314 77 173 0 28247 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 122392
[startup+4722.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/361 23474
/proc/meminfo: memFree=24038544/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=114244 CPUtime=4721.82 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26563 0 0 0 472175 7 0 0 25 0 1 0 643664696 116985856 26453 33554432000 134512640 135217611 4291226480 18446744073709551615 134532985 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28561 26453 77 173 0 28386 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 122948
[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/361 23476
/proc/meminfo: memFree=24037116/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=115072 CPUtime=4781.81 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 26724 0 0 0 478174 7 0 0 25 0 1 0 643664696 117833728 26614 33554432000 134512640 135217611 4291226480 18446744073709551615 134533327 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 28768 26614 77 173 0 28593 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 123776
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/361 23477
/proc/meminfo: memFree=24032344/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=119692 CPUtime=4841.81 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 27882 0 0 0 484174 7 0 0 25 0 1 0 643664696 122564608 27772 33554432000 134512640 135217611 4291226480 18446744073709551615 134533155 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 29923 27772 77 173 0 29748 0
Current children cumulated CPU time (s) 4842.42
Current children cumulated vsize (KiB) 128396
[startup+4902.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/361 23479
/proc/meminfo: memFree=24031672/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=119872 CPUtime=4901.81 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 27922 0 0 0 490174 7 0 0 25 0 1 0 643664696 122748928 27812 33554432000 134512640 135217611 4291226480 18446744073709551615 134533112 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 29968 27812 77 173 0 29793 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 128576
[startup+4962.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/361 23481
/proc/meminfo: memFree=24031252/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=120032 CPUtime=4961.81 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 27950 0 0 0 496174 7 0 0 25 0 1 0 643664696 122912768 27840 33554432000 134512640 135217611 4291226480 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 30008 27840 77 173 0 29833 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 128736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/361 23482
/proc/meminfo: memFree=24031088/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=120248 CPUtime=4999.42 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 28011 0 0 0 499935 7 0 0 25 0 1 0 643664696 123133952 27901 33554432000 134512640 135217611 4291226480 18446744073709551615 134522544 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 30062 27901 77 173 0 29887 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 128952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/361 23482
/proc/meminfo: memFree=24031088/32951124 swapFree=56449224/67111528
[pid=23303] ppid=23301 vsize=8704 CPUtime=0.61 cores=1,3,5,7
/proc/23303/stat : 23303 (glucose.sh) S 23301 23303 22854 0 -1 4202496 358 7442 0 0 0 0 59 2 19 0 1 0 643664633 8912896 254 33554432000 4194304 4922060 140737251613952 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23303/statm: 2176 254 211 178 0 69 0
[pid=23306] ppid=23303 vsize=120248 CPUtime=4999.42 cores=1,3,5,7
/proc/23306/stat : 23306 (glucose_static) R 23303 23303 22854 0 -1 4202496 28011 0 0 0 499935 7 0 0 25 0 1 0 643664696 123133952 27901 33554432000 134512640 135217611 4291226480 18446744073709551615 134522544 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/23306/statm: 30062 27901 77 173 0 29887 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 128952
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23303 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=595909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.622904
# while last known CPU time is 5000.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4999.92
CPU time (s): 5000.03
CPU user time (s): 4999.94
CPU system time (s): 0.09
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 128952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.595909
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7800
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= 10
involuntary context switches= 5
runsolver used 16.9224 second user time and 41.3427 second system time
The end