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-3365718-1305317000/watcher-3365718-1305317000 -o /tmp/evaluation-result-3365718-1305317000/solver-3365718-1305317000 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3365718-1305317000.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.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[startup+0.0326029 s]
/proc/loadavg: 1.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100596 s]
/proc/loadavg: 1.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300582 s]
/proc/loadavg: 1.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700383 s]
/proc/loadavg: 1.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.7802 s]
/proc/loadavg: 1.92 1.98 1.67 2/386 23062
/proc/meminfo: memFree=26845604/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+3.11409 s]
/proc/loadavg: 2.01 2.00 1.68 3/388 23065
/proc/meminfo: memFree=26438144/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=449364 CPUtime=3.1 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 101860 0 0 0 293 17 0 0 25 0 1 0 643299158 460148736 101814 33554432000 134512640 135217611 4288021056 18446744073709551615 134527984 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 112341 101814 73 173 0 112166 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 458068
[startup+6.30057 s]
/proc/loadavg: 2.01 2.00 1.68 3/388 23066
/proc/meminfo: memFree=26436672/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=450956 CPUtime=6.3 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 102254 0 0 0 613 17 0 0 25 0 1 0 643299158 461778944 102208 33554432000 134512640 135217611 4288021056 18446744073709551615 134528056 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 112739 102208 74 173 0 112564 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 459660
[startup+12.7005 s]
/proc/loadavg: 2.09 2.02 1.69 3/388 23066
/proc/meminfo: memFree=26433572/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=454060 CPUtime=12.69 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 103053 0 0 0 1252 17 0 0 25 0 1 0 643299158 464957440 103007 33554432000 134512640 135217611 4288021056 18446744073709551615 134527868 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 113515 103007 74 173 0 113340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 462764
[startup+25.5013 s]
/proc/loadavg: 2.07 2.02 1.69 3/388 23066
/proc/meminfo: memFree=26428024/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=460488 CPUtime=25.49 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 104637 0 0 0 2532 17 0 0 25 0 1 0 643299158 471539712 104591 33554432000 134512640 135217611 4288021056 18446744073709551615 134527911 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 115122 104591 74 173 0 114947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 469192
[startup+51.101 s]
/proc/loadavg: 2.05 2.01 1.70 3/388 23069
/proc/meminfo: memFree=26407540/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=479728 CPUtime=51.08 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 109405 0 0 0 5090 18 0 0 25 0 1 0 643299158 491241472 109359 33554432000 134512640 135217611 4288021056 18446744073709551615 134528190 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 119932 109359 76 173 0 119757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 488432
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.72 3/388 23071
/proc/meminfo: memFree=26371676/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=516256 CPUtime=102.28 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 118485 0 0 0 10209 19 0 0 25 0 1 0 643299158 528646144 118409 33554432000 134512640 135217611 4288021056 18446744073709551615 134528159 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 129064 118409 76 173 0 128889 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 524960
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/388 23073
/proc/meminfo: memFree=26269340/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=618996 CPUtime=162.28 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 144120 0 0 0 16205 23 0 0 25 0 1 0 643299158 633851904 144044 33554432000 134512640 135217611 4288021056 18446744073709551615 134527896 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 154749 144044 76 173 0 154574 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 627700
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/388 23074
/proc/meminfo: memFree=26201588/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=685056 CPUtime=222.28 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 160799 0 0 0 22203 25 0 0 25 0 1 0 643299158 701497344 160606 33554432000 134512640 135217611 4288021056 18446744073709551615 134532731 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 171264 160606 76 173 0 171089 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 693760
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.75 3/388 23076
/proc/meminfo: memFree=26169196/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=716796 CPUtime=282.29 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 168759 0 0 0 28203 26 0 0 25 0 1 0 643299158 733999104 168504 33554432000 134512640 135217611 4288021056 18446744073709551615 134528170 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 179199 168504 76 173 0 179024 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 725500
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/388 23078
/proc/meminfo: memFree=26169908/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=716796 CPUtime=342.29 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 168759 0 0 0 34203 26 0 0 25 0 1 0 643299158 733999104 168504 33554432000 134512640 135217611 4288021056 18446744073709551615 134527845 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 179199 168504 76 173 0 179024 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 725500
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/388 23079
/proc/meminfo: memFree=26168380/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=716796 CPUtime=402.3 cores=0,2,4,6
################
# More data... #
################
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4362.36
Current children cumulated vsize (KiB) 1001620
[startup+4422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/388 23198
/proc/meminfo: memFree=25720816/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4422.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 442195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134537229 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4422.35
Current children cumulated vsize (KiB) 1001620
[startup+4482.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/388 23200
/proc/meminfo: memFree=25720664/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4482.36 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 448196 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527905 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4482.36
Current children cumulated vsize (KiB) 1001620
[startup+4542.3 s]
/proc/loadavg: 1.92 1.99 1.99 2/385 23203
/proc/meminfo: memFree=26059796/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4542.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 454195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134528185 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4542.35
Current children cumulated vsize (KiB) 1001620
[startup+4602.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/388 23233
/proc/meminfo: memFree=26069796/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4602.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 460195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527984 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4602.35
Current children cumulated vsize (KiB) 1001620
[startup+4662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/388 23235
/proc/meminfo: memFree=26064076/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4662.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 466195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527881 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4662.35
Current children cumulated vsize (KiB) 1001620
[startup+4722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/388 23236
/proc/meminfo: memFree=26060212/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4722.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 472195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527899 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4722.35
Current children cumulated vsize (KiB) 1001620
[startup+4782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/388 23238
/proc/meminfo: memFree=26057220/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4782.35 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 478195 40 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134532690 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4782.35
Current children cumulated vsize (KiB) 1001620
[startup+4842.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/388 23240
/proc/meminfo: memFree=26054712/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4842.36 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 484195 41 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134528159 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4842.36
Current children cumulated vsize (KiB) 1001620
[startup+4902.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/388 23241
/proc/meminfo: memFree=26053072/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4902.36 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 490195 41 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527868 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4902.36
Current children cumulated vsize (KiB) 1001620
[startup+4962.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/388 23243
/proc/meminfo: memFree=26051064/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=4962.36 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 496195 41 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134527905 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 4962.36
Current children cumulated vsize (KiB) 1001620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5000 s]
/proc/loadavg: 2.00 2.02 2.00 3/388 23244
/proc/meminfo: memFree=26049192/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=5000.07 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 499966 41 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134528138 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 1001620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5000 s]
/proc/loadavg: 2.00 2.02 2.00 3/388 23244
/proc/meminfo: memFree=26049192/32950928 swapFree=44388876/67111528
[pid=23062] ppid=23060 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23062/stat : 23062 (glucose.sh) S 23060 23062 22754 0 -1 4202496 359 110 0 0 0 0 0 0 24 0 1 0 643299158 8912896 255 33554432000 4194304 4922060 140733854724304 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23062/statm: 2176 255 211 178 0 69 0
[pid=23064] ppid=23062 vsize=992916 CPUtime=5000.07 cores=0,2,4,6
/proc/23064/stat : 23064 (glucose_static) R 23062 23062 22754 0 -1 4202496 237819 0 0 0 499966 41 0 0 25 0 1 0 643299158 1016745984 237564 33554432000 134512640 135217611 4288021056 18446744073709551615 134528138 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/23064/statm: 248229 237564 76 173 0 248054 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 1001620
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23062 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 5000.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5000.02
CPU time (s): 5000.07
CPU user time (s): 4999.66
CPU system time (s): 0.41
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1001620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469
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= 5
runsolver used 18.6992 second user time and 40.4069 second system time
The end