runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15319 MiB free)
memory of node 1: 16384 MiB (15656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386834-1568281626/watcher-4386834-1568281626 -o /tmp/evaluation-result-4386834-1568281626/solver-4386834-1568281626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568280859-14385 --watchdog 2580 BTD 2520 HOME/instance-4386834-1568281626.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14606, runsolver pid=14603
[startup+0.100353 s]*
/proc/loadavg: 2.00 1.82 1.10 4/204 14607
/proc/meminfo: memFree=31655060/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=99180 memory=67832 CPUtime=0.09 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 17108 0 0 0 8 1 0 0 20 0 1 0 404402256 101560320 16958 33554432000 4194304 36700936 140723408377312 140723408373096 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 24795 16958 254 7937 0 16823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99180 KiB
Current children cumulated memory: 67832 KiB
[startup+0.210078 s]*
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31586776/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=171028 memory=139640 CPUtime=0.2 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 35078 0 0 0 16 4 0 0 20 0 1 0 404402256 175132672 34910 33554432000 4194304 36700936 140723408377312 140723408373096 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 42757 34910 254 7937 0 34785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 171028 KiB
Current children cumulated memory: 139640 KiB
[startup+0.310041 s]*
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31522420/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=229484 memory=198776 CPUtime=0.3 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 49885 0 0 0 24 6 0 0 20 0 1 0 404402256 234991616 49694 33554432000 4194304 36700936 140723408377312 140723408373096 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 57371 49694 405 7937 0 49399 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 229484 KiB
Current children cumulated memory: 198776 KiB
[startup+0.700368 s]
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31519816/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=234240 memory=203792 CPUtime=0.68 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 51091 0 0 0 62 6 0 0 20 0 1 0 404402256 239861760 50948 33554432000 4194304 36700936 140723408377312 140723408373096 8226798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 58560 50948 440 7937 0 50588 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 234240 KiB
Current children cumulated memory: 203792 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31513988/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=243352 memory=212768 CPUtime=1.48 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 53373 0 0 0 142 6 0 0 20 0 1 0 404402256 249192448 53192 33554432000 4194304 36700936 140723408377312 140723408373096 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 60838 53192 441 7937 0 52866 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 243352 KiB
Current children cumulated memory: 212768 KiB
[startup+3.10957 s]
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31488772/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=263424 memory=232880 CPUtime=3.09 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 60277 0 0 0 301 8 0 0 20 0 1 0 404402256 269746176 58220 33554432000 4194304 36700936 140723408377312 140723408365080 8045103 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 65856 58220 441 7937 0 57884 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 263424 KiB
Current children cumulated memory: 232880 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 1.82 1.10 3/204 14607
/proc/meminfo: memFree=31447352/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=306336 memory=275920 CPUtime=6.28 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 72670 0 0 0 619 9 0 0 20 0 1 0 404402256 313688064 68980 33554432000 4194304 36700936 140723408377312 140723408365080 8039475 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 76584 68980 443 7937 0 68612 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 306336 KiB
Current children cumulated memory: 275920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.83 1.11 3/204 14607
/proc/meminfo: memFree=31366348/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=392556 memory=362132 CPUtime=12.68 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 96960 0 0 0 1255 13 0 0 20 0 1 0 404402256 401977344 90533 33554432000 4194304 36700936 140723408377312 140723408371560 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 98139 90533 443 7937 0 90167 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 392556 KiB
Current children cumulated memory: 362132 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 1.83 1.12 3/204 14609
/proc/meminfo: memFree=31192236/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=562756 memory=532196 CPUtime=25.48 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 144023 0 0 0 2529 19 0 0 20 0 1 0 404402256 576262144 133049 33554432000 4194304 36700936 140723408377312 140723408365016 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 140689 133049 443 7937 0 132717 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 562756 KiB
Current children cumulated memory: 532196 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 1.85 1.14 3/204 14610
/proc/meminfo: memFree=30147204/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1599896 memory=1569624 CPUtime=51.09 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 440526 0 0 0 5058 51 0 0 20 0 1 0 404402256 1638293504 392406 33554432000 4194304 36700936 140723408377312 140723408375704 4313787 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 399974 392406 493 7937 0 392002 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1599896 KiB
Current children cumulated memory: 1569624 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.87 1.19 3/205 14615
/proc/meminfo: memFree=30101160/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1646228 memory=1616016 CPUtime=102.27 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 464477 0 0 0 10174 53 0 0 20 0 1 0 404402256 1685737472 404004 33554432000 4194304 36700936 140723408377312 140723408375704 4313820 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 411557 404004 493 7937 0 403585 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1646228 KiB
Current children cumulated memory: 1616016 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.89 1.24 3/205 14622
/proc/meminfo: memFree=29848412/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1935028 memory=1867200 CPUtime=162.27 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 681407 0 0 0 16157 70 0 0 20 0 1 0 404402256 1981468672 466800 33554432000 4194304 36700936 140723408377312 140723408376360 4692272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 483757 466800 513 7937 0 475785 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1935028 KiB
Current children cumulated memory: 1867200 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.91 1.29 3/206 14634
/proc/meminfo: memFree=29847572/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1935780 memory=1867700 CPUtime=222.27 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 748294 0 0 0 22154 73 0 0 20 0 1 0 404402256 1982238720 466925 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 483945 466925 513 7937 0 475973 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1935780 KiB
Current children cumulated memory: 1867700 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 1.95 1.34 3/206 14638
/proc/meminfo: memFree=29847072/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1936780 memory=1868232 CPUtime=282.28 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 807520 0 0 0 28150 78 0 0 20 0 1 0 404402256 1983262720 467058 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 484195 467058 513 7937 0 476223 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1936780 KiB
Current children cumulated memory: 1868232 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 1.96 1.38 3/206 14645
/proc/meminfo: memFree=29846996/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1936780 memory=1868752 CPUtime=342.27 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 856675 0 0 0 34146 81 0 0 20 0 1 0 404402256 1983262720 467188 33554432000 4194304 36700936 140723408377312 140723408376360 4692322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 484195 467188 514 7937 0 476223 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1936780 KiB
Current children cumulated memory: 1868752 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.96 1.42 3/205 14649
/proc/meminfo: memFree=29845472/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1938780 memory=1869808 CPUtime=402.26 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 892937 0 0 0 40142 84 0 0 20 0 1 0 404402256 1985310720 467452 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 484695 467452 515 7937 0 476723 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 1938780 KiB
Current children cumulated memory: 1869808 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/204 14653
/proc/meminfo: memFree=29845124/32770624 swapFree=67003232/67108860
[pid=14606] ppid=14603 vsize=1938780 memory=1869812 CPUtime=462.26 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 920523 0 0 0 46139 87 0 0 20 0 1 0 404402256 1985310720 467453 33554432000 4194304 36700936 140723408377312 140723408376360 4692322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 484695 467453 515 7937 0 476723 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 1938780 KiB
Current children cumulated memory: 1869812 KiB
################
# More data... #
################
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/203 14806
/proc/meminfo: memFree=29837552/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=1842.35 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1151552 0 0 0 184133 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692287 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/204 14812
/proc/meminfo: memFree=29837208/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=1902.36 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1152686 0 0 0 190134 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14818
/proc/meminfo: memFree=29837708/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=1962.36 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1153540 0 0 0 196134 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2022.3 s]
/proc/loadavg: 2.16 2.05 1.91 3/204 14890
/proc/meminfo: memFree=29850088/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2022.36 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1154596 0 0 0 202134 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.04 1.92 3/204 14894
/proc/meminfo: memFree=29849560/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2082.37 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1155736 0 0 0 208135 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 1.92 3/204 14900
/proc/meminfo: memFree=29850040/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2142.37 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1156590 0 0 0 214135 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/204 14906
/proc/meminfo: memFree=29849988/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2202.38 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1157643 0 0 0 220136 102 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2262.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/204 14910
/proc/meminfo: memFree=29849388/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2262.39 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1158778 0 0 0 226136 103 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2322.3 s]
/proc/loadavg: 2.11 2.06 1.96 3/204 14917
/proc/meminfo: memFree=29848860/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2322.39 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1159631 0 0 0 232136 103 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/204 14921
/proc/meminfo: memFree=29849168/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1878972 CPUtime=2382.4 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1160687 0 0 0 238137 103 0 0 20 0 1 0 404402256 1990639616 469743 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 469743 528 7937 0 478024 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1878972 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/204 14925
/proc/meminfo: memFree=29846884/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1881020 CPUtime=2442.4 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1161824 0 0 0 244137 103 0 0 20 0 1 0 404402256 1990639616 470255 33554432000 4194304 36700936 140723408377312 140723408376360 4468772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 470255 528 7937 0 478024 0
Current children cumulated CPU time: 2442.4 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1881020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/203 14933
/proc/meminfo: memFree=29846656/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1881024 CPUtime=2502.4 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1162686 0 0 0 250137 103 0 0 20 0 1 0 404402256 1990639616 470256 33554432000 4194304 36700936 140723408377312 140723408376360 4692315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 470256 528 7937 0 478024 0
Current children cumulated CPU time: 2502.4 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1881024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 1.96 3/203 14933
/proc/meminfo: memFree=29847212/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1881024 CPUtime=2520 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1162977 0 0 0 251897 103 0 0 20 0 1 0 404402256 1990639616 470256 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 470256 528 7937 0 478024 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1881024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 14606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.98 s, system=1.04207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 1.96 3/203 14933
/proc/meminfo: memFree=29847212/32770624 swapFree=67003236/67108860
[pid=14606] ppid=14603 vsize=1943984 memory=1881024 CPUtime=2520 cores=1,3,5,7
/proc/14606/stat : 14606 (BTD) R 14603 14606 14353 0 -1 4202496 1162977 0 0 0 251897 103 0 0 20 0 1 0 404402256 1990639616 470256 33554432000 4194304 36700936 140723408377312 140723408376360 4692291 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 57909248 140723408385064 140723408385140 140723408385140 140723408388049 0
/proc/14606/statm: 485996 470256 528 7937 0 478024 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 1943984 KiB
Current children cumulated memory: 1881024 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.02
CPU user time (s): 2518.98
CPU system time (s): 1.04207
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1943984
Max. memory (cumulated for all children) (KiB): 1881024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.98
system time used= 1.04207
maximum resident set size= 1882296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1162977
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= 84
involuntary context switches= 1046
# summary of solver processes directly reported to runsolver:
# pid: 14606
# total CPU time (s): 2520.02
# total CPU user time (s): 2518.98
# total CPU system time (s): 1.04207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6337 second user time and 18.8475 second system time
The end