runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4241083-1500626229/watcher-4241083-1500626229 -o /tmp/evaluation-result-4241083-1500626229/solver-4241083-1500626229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500623775-3731 --watchdog 2560 BTD 2400 HOME/instance-4241083-1500626229.xml
pid=4841
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.02 1.87 3/186 4844
/proc/meminfo: memFree=26696864/32770624 swapFree=6172/1908036
[pid=4844] ppid=4841 vsize=30840 CPUtime=0 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 16055405 31580160 260 33554432000 4194304 35031059 140728992556048 140728992553224 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 7710 260 229 7529 0 157 0
[startup+0.100171 s]
/proc/loadavg: 2.04 2.02 1.87 3/186 4844
/proc/meminfo: memFree=26696864/32770624 swapFree=6172/1908036
[pid=4844] ppid=4841 vsize=33348 CPUtime=0.09 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 1172 0 0 0 9 0 0 0 20 0 1 0 16055405 34148352 892 33554432000 4194304 35031059 140728992556048 140728992553224 6429808 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 8337 892 241 7529 0 784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33348
[startup+0.200367 s]
/proc/loadavg: 2.04 2.02 1.87 3/186 4844
/proc/meminfo: memFree=26696864/32770624 swapFree=6172/1908036
[pid=4844] ppid=4841 vsize=36892 CPUtime=0.19 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 2277 0 0 0 19 0 0 0 20 0 1 0 16055405 37777408 1770 33554432000 4194304 35031059 140728992556048 140728992553224 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 9223 1770 253 7529 0 1670 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36892
[startup+0.300365 s]
/proc/loadavg: 2.04 2.02 1.87 3/186 4844
/proc/meminfo: memFree=26696864/32770624 swapFree=6172/1908036
[pid=4844] ppid=4841 vsize=88944 CPUtime=0.29 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 15238 0 0 0 27 2 0 0 20 0 1 0 16055405 91078656 14706 33554432000 4194304 35031059 140728992556048 140728992548264 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 22236 14706 258 7529 0 14683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88944
[startup+0.700342 s]
/proc/loadavg: 2.04 2.02 1.87 3/186 4844
/proc/meminfo: memFree=26696864/32770624 swapFree=6172/1908036
[pid=4844] ppid=4841 vsize=275064 CPUtime=0.69 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 61779 0 0 0 62 7 0 0 20 0 1 0 16055405 281665536 61302 33554432000 4194304 35031059 140728992556048 140728992548200 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 68766 61302 258 7529 0 61213 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 275064
[startup+1.50034 s]
/proc/loadavg: 2.04 2.02 1.87 3/187 4845
/proc/meminfo: memFree=25877332/32770624 swapFree=6172/1907840
[pid=4844] ppid=4841 vsize=649416 CPUtime=1.49 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 155380 0 0 0 132 17 0 0 20 0 1 0 16055405 665001984 154890 33554432000 4194304 35031059 140728992556048 140728992548200 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 162354 154890 258 7529 0 154801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 649416
[startup+3.10033 s]
/proc/loadavg: 2.04 2.02 1.87 3/187 4845
/proc/meminfo: memFree=25362288/32770624 swapFree=6172/1907848
[pid=4844] ppid=4841 vsize=1392972 CPUtime=3.09 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 348996 0 0 0 271 38 0 0 20 0 1 0 16055405 1426403328 340740 33554432000 4194304 35031059 140728992556048 140728992548264 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 348243 340740 258 7529 0 340690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1392972
[startup+6.30035 s]
/proc/loadavg: 2.03 2.02 1.88 3/187 4845
/proc/meminfo: memFree=23822548/32770624 swapFree=6172/1907852
[pid=4844] ppid=4841 vsize=2885100 CPUtime=6.29 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 722120 0 0 0 547 82 0 0 20 0 1 0 16055405 2954342400 713790 33554432000 4194304 35031059 140728992556048 140728992548200 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 721275 713790 258 7529 0 713722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2885100
[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 1.88 3/187 4845
/proc/meminfo: memFree=22815968/32770624 swapFree=6172/1907856
[pid=4844] ppid=4841 vsize=3513904 CPUtime=12.69 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 1655049 0 0 0 1137 132 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3513904
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.88 3/187 4845
/proc/meminfo: memFree=22816076/32770624 swapFree=6172/1907868
[pid=4844] ppid=4841 vsize=3513904 CPUtime=25.47 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 2411980 0 0 0 2387 160 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3513904
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 1.88 3/187 4845
/proc/meminfo: memFree=22815512/32770624 swapFree=6172/1907884
[pid=4844] ppid=4841 vsize=3513904 CPUtime=51.06 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 3388133 0 0 0 4909 197 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 3513904
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.88 3/187 4846
/proc/meminfo: memFree=22815716/32770624 swapFree=6172/1907920
[pid=4844] ppid=4841 vsize=3513904 CPUtime=102.23 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 4449556 0 0 0 9985 238 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 3513904
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 4847
/proc/meminfo: memFree=22814908/32770624 swapFree=6172/1907952
[pid=4844] ppid=4841 vsize=3513904 CPUtime=162.19 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 5293809 0 0 0 15946 273 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 3513904
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.90 3/188 4856
/proc/meminfo: memFree=22814856/32770624 swapFree=6172/1907988
[pid=4844] ppid=4841 vsize=3513904 CPUtime=222.15 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 6177864 0 0 0 21907 308 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 3513904
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/188 4857
/proc/meminfo: memFree=22815520/32770624 swapFree=6172/1908012
[pid=4844] ppid=4841 vsize=3513904 CPUtime=282.1 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 6981760 0 0 0 27868 342 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 3513904
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 4858
/proc/meminfo: memFree=22814960/32770624 swapFree=6172/1908052
[pid=4844] ppid=4841 vsize=3513904 CPUtime=342.06 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 7891203 0 0 0 33830 376 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7407372 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 3513904
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 4859
/proc/meminfo: memFree=22814880/32770624 swapFree=6172/1908076
[pid=4844] ppid=4841 vsize=3513904 CPUtime=402.03 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 8636168 0 0 0 39797 406 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7401211 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 3513904
[startup+462.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/188 4860
/proc/meminfo: memFree=22814808/32770624 swapFree=6172/1908108
[pid=4844] ppid=4841 vsize=3513904 CPUtime=461.99 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 9593839 0 0 0 45754 445 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 3513904
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/187 4861
/proc/meminfo: memFree=22814880/32770624 swapFree=6172/1908136
[pid=4844] ppid=4841 vsize=3513904 CPUtime=521.95 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 10400613 0 0 0 51717 478 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 3513904
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/187 4862
/proc/meminfo: memFree=22814808/32770624 swapFree=6172/1908164
[pid=4844] ppid=4841 vsize=3513904 CPUtime=581.91 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 11201003 0 0 0 57680 511 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376700 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 3513904
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4916
/proc/meminfo: memFree=22813276/32770624 swapFree=6172/1908708
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1541.28 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 24145251 0 0 0 153111 1017 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376827 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 3513904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 4917
/proc/meminfo: memFree=22814396/32770624 swapFree=6172/1908732
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1601.23 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 24930664 0 0 0 159077 1046 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1601.23
Current children cumulated vsize (KiB) 3513904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4919
/proc/meminfo: memFree=22813044/32770624 swapFree=6172/1908764
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1661.19 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 25748664 0 0 0 165042 1077 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7407332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1661.19
Current children cumulated vsize (KiB) 3513904
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4920
/proc/meminfo: memFree=22813256/32770624 swapFree=6172/1908792
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1721.15 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 26451305 0 0 0 171011 1104 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7415438 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1721.15
Current children cumulated vsize (KiB) 3513904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4921
/proc/meminfo: memFree=22812708/32770624 swapFree=6172/1908820
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1781.11 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 27236801 0 0 0 176977 1134 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (KiB) 3513904
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4922
/proc/meminfo: memFree=22812872/32770624 swapFree=6172/1908856
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1841.07 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 27925145 0 0 0 182947 1160 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7408603 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1841.07
Current children cumulated vsize (KiB) 3513904
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4923
/proc/meminfo: memFree=22812588/32770624 swapFree=6172/1908888
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1901.03 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 28626387 0 0 0 188918 1185 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376745 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1901.03
Current children cumulated vsize (KiB) 3513904
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 4924
/proc/meminfo: memFree=22812036/32770624 swapFree=6172/1908912
[pid=4844] ppid=4841 vsize=3513904 CPUtime=1961 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 29572334 0 0 0 194877 1223 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 1961
Current children cumulated vsize (KiB) 3513904
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/187 4932
/proc/meminfo: memFree=22811820/32770624 swapFree=6172/1908956
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2020.95 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 30471400 0 0 0 200836 1259 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2020.95
Current children cumulated vsize (KiB) 3513904
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 4933
/proc/meminfo: memFree=22812404/32770624 swapFree=6172/1908984
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2080.92 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 31308767 0 0 0 206802 1290 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2080.92
Current children cumulated vsize (KiB) 3513904
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4934
/proc/meminfo: memFree=22812280/32770624 swapFree=6172/1909020
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2140.88 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 32092012 0 0 0 212766 1322 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2140.88
Current children cumulated vsize (KiB) 3513904
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4935
/proc/meminfo: memFree=22811852/32770624 swapFree=6172/1909048
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2200.84 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 32759177 0 0 0 218736 1348 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2200.84
Current children cumulated vsize (KiB) 3513904
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 4936
/proc/meminfo: memFree=22813128/32770624 swapFree=6172/1909072
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2260.8 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 33710169 0 0 0 224693 1387 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2260.8
Current children cumulated vsize (KiB) 3513904
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/187 4937
/proc/meminfo: memFree=22813284/32770624 swapFree=6172/1909108
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2320.75 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 34460440 0 0 0 230659 1416 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 7407360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2320.75
Current children cumulated vsize (KiB) 3513904
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 4938
/proc/meminfo: memFree=22813472/32770624 swapFree=6172/1909132
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2380.7 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 35254470 0 0 0 236621 1449 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4346792 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2380.7
Current children cumulated vsize (KiB) 3513904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.7 s]
/proc/loadavg: 1.93 2.00 1.98 3/187 4999
/proc/meminfo: memFree=26313408/32770624 swapFree=6172/1909184
[pid=4844] ppid=4841 vsize=3513904 CPUtime=2400.09 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4202496 35511656 0 0 0 238548 1461 0 0 20 0 1 0 16055405 3598237696 871146 33554432000 4194304 35031059 140728992556048 140728992555048 4376551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 56868864 140728992564474 140728992564550 140728992564550 140728992567249 0
/proc/4844/statm: 878476 871146 296 7529 0 870923 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 3513904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4844 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.8 s]
/proc/loadavg: 1.93 2.00 1.98 3/187 4999
/proc/meminfo: memFree=26313408/32770624 swapFree=6172/1909184
[pid=4844] ppid=4841 vsize=0 CPUtime=2400.19 cores=0,2,4,6
/proc/4844/stat : 4844 (BTD) R 4841 4844 3700 0 -1 4203524 35511656 0 0 0 238548 1471 0 0 20 0 1 0 16055405 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/4844/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.9
CPU time (s): 2400.3
CPU user time (s): 2385.49
CPU system time (s): 14.8082
CPU usage (%): 99.9334
Max. virtual memory (cumulated for all children) (KiB): 3513904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.49
system time used= 14.8082
maximum resident set size= 3487136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35511656
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= 13
involuntary context switches= 120717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31013 second user time and 10.3594 second system time
The end