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 (10166 MiB free)
memory of node 1: 16384 MiB (12641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300542-1532801864/watcher-4300542-1532801864 -o /tmp/evaluation-result-4300542-1532801864/solver-4300542-1532801864 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4300542-1532801864.xml -ca -l100 -cm
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=30713, runsolver pid=30710
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23350744/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=31148 memory=7416 CPUtime=0.1 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 2172 0 0 0 10 0 0 0 20 0 1 0 97749544 31895552 1854 33554432000 4194304 4933779 140728063575728 140728063572728 4377382 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 7787 1854 613 181 0 1404 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7416 KiB
[startup+0.209541 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23349628/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=32352 memory=8736 CPUtime=0.21 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 2463 0 0 0 21 0 0 0 20 0 1 0 97749544 33128448 2184 33554432000 4194304 4933779 140728063575728 140728063572728 140621596248443 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 8088 2184 613 181 0 1705 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32352 KiB
Current children cumulated memory: 8736 KiB
[startup+0.309068 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23348468/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=33300 memory=9528 CPUtime=0.31 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 2707 0 0 0 31 0 0 0 20 0 1 0 97749544 34099200 2382 33554432000 4194304 4933779 140728063575728 140728063573496 140621595390576 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 8325 2382 613 181 0 1942 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33300 KiB
Current children cumulated memory: 9528 KiB
[startup+0.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23346236/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=37612 memory=14016 CPUtime=0.69 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 3775 0 0 0 69 0 0 0 20 0 1 0 97749544 38514688 3504 33554432000 4194304 4933779 140728063575728 140728063573496 4377576 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 9403 3504 613 181 0 3020 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37612 KiB
Current children cumulated memory: 14016 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23341028/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=46264 memory=22464 CPUtime=1.49 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 5918 0 0 0 148 1 0 0 20 0 1 0 97749544 47374336 5616 33554432000 4194304 4933779 140728063575728 140728063573480 140621596248443 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 11566 5616 613 181 0 5183 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46264 KiB
Current children cumulated memory: 22464 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23321576/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=60956 memory=37304 CPUtime=3.1 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 14395 0 0 0 308 2 0 0 20 0 1 0 97749544 62418944 9326 33554432000 4194304 4933779 140728063575728 140728063573496 140621596248451 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 15239 9326 613 181 0 8856 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 37304 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23296116/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=85152 memory=61424 CPUtime=6.29 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 29345 0 0 0 625 4 0 0 20 0 1 0 97749544 87195648 15356 33554432000 4194304 4933779 140728063575728 140728063573480 140621596248356 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 21288 15356 613 181 0 14905 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 85152 KiB
Current children cumulated memory: 61424 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23270580/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=110944 memory=87156 CPUtime=12.69 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 49959 0 0 0 1263 6 0 0 20 0 1 0 97749544 113606656 21789 33554432000 4194304 4933779 140728063575728 140728063573432 4388381 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 27736 21789 613 181 0 21353 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 110944 KiB
Current children cumulated memory: 87156 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23232512/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=146940 memory=122908 CPUtime=25.49 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 99512 0 0 0 2538 11 0 0 20 0 1 0 97749544 150466560 30727 33554432000 4194304 4933779 140728063575728 140728063573432 4437837 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 36735 30727 613 181 0 30352 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 146940 KiB
Current children cumulated memory: 122908 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30714
/proc/meminfo: memFree=23182916/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=193232 memory=169216 CPUtime=51.09 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 145755 0 0 0 5094 15 0 0 20 0 1 0 97749544 197869568 42304 33554432000 4194304 4933779 140728063575728 140728063573432 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 48308 42304 613 181 0 41925 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 193232 KiB
Current children cumulated memory: 169216 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 30715
/proc/meminfo: memFree=23111256/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=259148 memory=235436 CPUtime=102.28 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 204862 0 0 0 10205 23 0 0 20 0 1 0 97749544 265367552 58859 33554432000 4194304 4933779 140728063575728 140728063573480 140621596248483 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 64787 58859 613 181 0 58404 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 259148 KiB
Current children cumulated memory: 235436 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30723
/proc/meminfo: memFree=23055916/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=307804 memory=282996 CPUtime=162.28 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 269281 0 0 0 16198 30 0 0 20 0 1 0 97749544 315191296 70749 33554432000 4194304 4933779 140728063575728 140728063573496 4437691 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 76951 70749 613 181 0 70568 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 307804 KiB
Current children cumulated memory: 282996 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30724
/proc/meminfo: memFree=23009192/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=346352 memory=321628 CPUtime=222.28 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 331137 0 0 0 22190 38 0 0 20 0 1 0 97749544 354664448 80407 33554432000 4194304 4933779 140728063575728 140728063573480 4377609 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 86588 80407 613 181 0 80205 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 346352 KiB
Current children cumulated memory: 321628 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30725
/proc/meminfo: memFree=22963896/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=380556 memory=355840 CPUtime=282.24 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 356393 0 0 0 28181 43 0 0 20 0 1 0 97749544 389689344 88960 33554432000 4194304 4933779 140728063575728 140728063573432 4437830 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 95139 88960 613 181 0 88756 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 380556 KiB
Current children cumulated memory: 355840 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30726
/proc/meminfo: memFree=22924376/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=412380 memory=387940 CPUtime=342.19 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 411870 0 0 0 34167 52 0 0 20 0 1 0 97749544 422277120 96985 33554432000 4194304 4933779 140728063575728 140728063573432 140621596248459 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 103095 96985 613 181 0 96712 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 412380 KiB
Current children cumulated memory: 387940 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30727
/proc/meminfo: memFree=22887496/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=433832 memory=409572 CPUtime=402.14 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 453764 0 0 0 40156 58 0 0 20 0 1 0 97749544 444243968 102393 33554432000 4194304 4933779 140728063575728 140728063573480 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 108458 102393 613 181 0 102075 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 433832 KiB
Current children cumulated memory: 409572 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30729
/proc/meminfo: memFree=22853560/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=459052 memory=434880 CPUtime=462.1 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 476976 0 0 0 46146 64 0 0 20 0 1 0 97749544 470069248 108720 33554432000 4194304 4933779 140728063575728 140728063573416 4388361 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 114763 108720 613 181 0 108380 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 459052 KiB
Current children cumulated memory: 434880 KiB
################
# More data... #
################
/proc/30713/statm: 194768 188746 613 181 0 188385 0
Current children cumulated CPU time: 1721.95 s
Current children cumulated vsize: 779072 KiB
Current children cumulated memory: 754984 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 30828
/proc/meminfo: memFree=22136432/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=786480 memory=762392 CPUtime=1781.95 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 901503 0 0 0 178059 136 0 0 20 0 1 0 97749544 805355520 190598 33554432000 4194304 4933779 140728063575728 140728063573432 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 196620 190598 613 181 0 190237 0
Current children cumulated CPU time: 1781.95 s
Current children cumulated vsize: 786480 KiB
Current children cumulated memory: 762392 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 30829
/proc/meminfo: memFree=22093620/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=795088 memory=771028 CPUtime=1841.95 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 917017 0 0 0 184055 140 0 0 20 0 1 0 97749544 814170112 192757 33554432000 4194304 4933779 140728063575728 140728063573432 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 198772 192757 613 181 0 192389 0
Current children cumulated CPU time: 1841.95 s
Current children cumulated vsize: 795088 KiB
Current children cumulated memory: 771028 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30830
/proc/meminfo: memFree=22054108/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=807144 memory=783060 CPUtime=1901.95 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 933859 0 0 0 190052 143 0 0 20 0 1 0 97749544 826515456 195765 33554432000 4194304 4933779 140728063575728 140728063573432 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 201786 195765 613 181 0 195403 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 807144 KiB
Current children cumulated memory: 783060 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30838
/proc/meminfo: memFree=22006884/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=814536 memory=790532 CPUtime=1961.95 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 952317 0 0 0 196049 146 0 0 20 0 1 0 97749544 834084864 197633 33554432000 4194304 4933779 140728063575728 140728063573432 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 203634 197633 613 181 0 197251 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 814536 KiB
Current children cumulated memory: 790532 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30839
/proc/meminfo: memFree=21948808/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=824336 memory=800268 CPUtime=2021.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 970899 0 0 0 202046 148 0 0 20 0 1 0 97749544 844120064 200067 33554432000 4194304 4933779 140728063575728 140728063573480 4437581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 206084 200067 613 181 0 199701 0
Current children cumulated CPU time: 2021.94 s
Current children cumulated vsize: 824336 KiB
Current children cumulated memory: 800268 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30840
/proc/meminfo: memFree=21922660/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=832076 memory=808004 CPUtime=2081.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 985907 0 0 0 208043 151 0 0 20 0 1 0 97749544 852045824 202001 33554432000 4194304 4933779 140728063575728 140728063573432 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 208019 202001 613 181 0 201636 0
Current children cumulated CPU time: 2081.94 s
Current children cumulated vsize: 832076 KiB
Current children cumulated memory: 808004 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 30841
/proc/meminfo: memFree=21864504/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=844276 memory=820252 CPUtime=2141.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1009100 0 0 0 214040 154 0 0 20 0 1 0 97749544 864538624 205063 33554432000 4194304 4933779 140728063575728 140728063573480 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 211069 205063 613 181 0 204686 0
Current children cumulated CPU time: 2141.94 s
Current children cumulated vsize: 844276 KiB
Current children cumulated memory: 820252 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30842
/proc/meminfo: memFree=21840360/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=847648 memory=823684 CPUtime=2201.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1031166 0 0 0 220037 157 0 0 20 0 1 0 97749544 867991552 205921 33554432000 4194304 4933779 140728063575728 140728063573432 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 211912 205921 613 181 0 205529 0
Current children cumulated CPU time: 2201.94 s
Current children cumulated vsize: 847648 KiB
Current children cumulated memory: 823684 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30844
/proc/meminfo: memFree=21811220/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=853976 memory=829920 CPUtime=2261.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1054022 0 0 0 226034 160 0 0 20 0 1 0 97749544 874471424 207480 33554432000 4194304 4933779 140728063575728 140728063573416 4475923 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 213494 207480 613 181 0 207111 0
Current children cumulated CPU time: 2261.94 s
Current children cumulated vsize: 853976 KiB
Current children cumulated memory: 829920 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30845
/proc/meminfo: memFree=21777644/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=859988 memory=836064 CPUtime=2321.94 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1077005 0 0 0 232030 164 0 0 20 0 1 0 97749544 880627712 209016 33554432000 4194304 4933779 140728063575728 140728063573480 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 214997 209016 613 181 0 208614 0
Current children cumulated CPU time: 2321.94 s
Current children cumulated vsize: 859988 KiB
Current children cumulated memory: 836064 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30846
/proc/meminfo: memFree=21747960/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=866236 memory=842292 CPUtime=2381.93 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1102757 0 0 0 238025 168 0 0 20 0 1 0 97749544 887025664 210573 33554432000 4194304 4933779 140728063575728 140728063573480 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 216559 210573 613 181 0 210176 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 866236 KiB
Current children cumulated memory: 842292 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30848
/proc/meminfo: memFree=21712676/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=878320 memory=854300 CPUtime=2441.93 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1127752 0 0 0 244022 171 0 0 20 0 1 0 97749544 899399680 213575 33554432000 4194304 4933779 140728063575728 140728063573432 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 219580 213575 613 181 0 213197 0
Current children cumulated CPU time: 2441.93 s
Current children cumulated vsize: 878320 KiB
Current children cumulated memory: 854300 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30849
/proc/meminfo: memFree=21677204/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=892780 memory=868736 CPUtime=2501.91 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1152682 0 0 0 250017 174 0 0 20 0 1 0 97749544 914206720 217184 33554432000 4194304 4933779 140728063575728 140728063573432 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 223195 217184 613 181 0 216812 0
Current children cumulated CPU time: 2501.91 s
Current children cumulated vsize: 892780 KiB
Current children cumulated memory: 868736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 5/188 30850
/proc/meminfo: memFree=21665252/32770624 swapFree=67108860/67108860
[pid=30713] ppid=30710 vsize=896996 memory=873020 CPUtime=2519.61 cores=1,3,5,7
/proc/30713/stat : 30713 (nacre_mini_rele) R 30710 30713 27398 0 -1 4202496 1164271 0 0 0 251785 176 0 0 20 0 1 0 97749544 918523904 218255 33554432000 4194304 4933779 140728063575728 140728063573432 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25333760 140728063583384 140728063583484 140728063583484 140728063586242 0
/proc/30713/statm: 224249 218255 613 181 0 217866 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 896996 KiB
Current children cumulated memory: 873020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 30713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.86 s, system=1.77593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.63
CPU user time (s): 2517.86
CPU system time (s): 1.77593
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 896996
Max. memory (cumulated for all children) (KiB): 873020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.86
system time used= 1.77593
maximum resident set size= 873096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1164318
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= 386
involuntary context switches= 1217
# summary of solver processes directly reported to runsolver:
# pid: 30713
# total CPU time (s): 2519.63
# total CPU user time (s): 2517.86
# total CPU system time (s): 1.77593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3276 second user time and 18.3022 second system time
The end