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 (15016 MiB free)
memory of node 1: 16384 MiB (15551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391756-1568305699/watcher-4391756-1568305699 -o /tmp/evaluation-result-4391756-1568305699/solver-4391756-1568305699 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21708 --watchdog 2560 nacre_mini_release HOME/instance-4391756-1568305699.xml -complete -l100 -cm
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21859, runsolver pid=21856
[startup+0.100571 s]*
/proc/loadavg: 1.15 1.61 1.87 3/200 21860
/proc/meminfo: memFree=31205748/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=113188 memory=79224 CPUtime=0.1 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 14806 0 0 0 8 2 0 0 20 0 1 0 406841406 115904512 19806 33554432000 4194304 4935366 140732228682256 140732228678488 140069840464869 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 28330 19806 512 181 0 21947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 79224 KiB
[startup+0.209844 s]*
/proc/loadavg: 1.15 1.61 1.87 4/200 21860
/proc/meminfo: memFree=31122504/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=169448 memory=135456 CPUtime=0.2 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 28907 0 0 0 16 4 0 0 20 0 1 0 406841406 173514752 33864 33554432000 4194304 4935366 140732228682256 140732228678488 140069840460606 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 42362 33864 579 181 0 35979 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 169448 KiB
Current children cumulated memory: 135456 KiB
[startup+0.309513 s]*
/proc/loadavg: 1.15 1.61 1.87 3/200 21860
/proc/meminfo: memFree=31051452/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=211732 memory=177432 CPUtime=0.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 39401 0 0 0 25 5 0 0 20 0 1 0 406841406 216813568 44358 33554432000 4194304 4935366 140732228682256 140732228678488 4451955 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 52933 44358 594 181 0 46550 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 211732 KiB
Current children cumulated memory: 177432 KiB
[startup+0.700383 s]
/proc/loadavg: 1.15 1.61 1.87 3/205 21881
/proc/meminfo: memFree=31187840/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=211732 memory=177432 CPUtime=0.68 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 39401 0 0 0 63 5 0 0 20 0 1 0 406841406 216813568 44358 33554432000 4194304 4935366 140732228682256 140732228680504 4451449 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 52933 44358 594 181 0 46550 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 211732 KiB
Current children cumulated memory: 177432 KiB
[startup+1.50045 s]
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31195504/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=211732 memory=177432 CPUtime=1.48 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 39401 0 0 0 143 5 0 0 20 0 1 0 406841406 216813568 44358 33554432000 4194304 4935366 140732228682256 140732228680504 4420619 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 52933 44358 594 181 0 46550 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 211732 KiB
Current children cumulated memory: 177432 KiB
[startup+3.10967 s]
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31192188/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=212392 memory=178216 CPUtime=3.1 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 50032 0 0 0 304 6 0 0 20 0 1 0 406841406 217489408 44554 33554432000 4194304 4935366 140732228682256 140732228679656 4386600 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 53098 44554 612 181 0 46715 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 212392 KiB
Current children cumulated memory: 178216 KiB
[startup+6.30043 s]
/proc/loadavg: 1.06 1.58 1.86 3/200 21921
/proc/meminfo: memFree=31190444/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=212920 memory=178752 CPUtime=6.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 66220 0 0 0 622 7 0 0 20 0 1 0 406841406 218030080 44688 33554432000 4194304 4935366 140732228682256 140732228679400 4420836 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 53230 44688 612 181 0 46847 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 212920 KiB
Current children cumulated memory: 178752 KiB
[startup+12.7005 s]
/proc/loadavg: 1.13 1.59 1.86 3/200 21921
/proc/meminfo: memFree=31190180/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=212920 memory=178752 CPUtime=12.68 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 79037 0 0 0 1261 7 0 0 20 0 1 0 406841406 218030080 44688 33554432000 4194304 4935366 140732228682256 140732228679400 4385712 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 53230 44688 612 181 0 46847 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 212920 KiB
Current children cumulated memory: 178752 KiB
[startup+25.5005 s]
/proc/loadavg: 1.33 1.61 1.86 3/200 21924
/proc/meminfo: memFree=31188376/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=212920 memory=179208 CPUtime=25.48 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 104290 0 0 0 2539 9 0 0 20 0 1 0 406841406 218030080 44802 33554432000 4194304 4935366 140732228682256 140732228679400 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 53230 44802 612 181 0 46847 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 212920 KiB
Current children cumulated memory: 179208 KiB
[startup+51.11 s]
/proc/loadavg: 1.42 1.61 1.86 3/200 21924
/proc/meminfo: memFree=31185916/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=214240 memory=180560 CPUtime=51.08 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 116949 0 0 0 5098 10 0 0 20 0 1 0 406841406 219381760 45140 33554432000 4194304 4935366 140732228682256 140732228679688 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 53560 45140 612 181 0 47177 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 214240 KiB
Current children cumulated memory: 180560 KiB
[startup+102.3 s]
/proc/loadavg: 1.75 1.67 1.87 3/200 21928
/proc/meminfo: memFree=31182532/32770624 swapFree=66933156/67108860
[pid=21859] ppid=21856 vsize=216880 memory=183608 CPUtime=102.27 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 123659 0 0 0 10216 11 0 0 20 0 1 0 406841406 222085120 45902 33554432000 4194304 4935366 140732228682256 140732228679688 4420960 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 54220 45902 612 181 0 47837 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 216880 KiB
Current children cumulated memory: 183608 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.73 1.87 3/202 21943
/proc/meminfo: memFree=31176632/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=221632 memory=188524 CPUtime=162.27 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 126178 0 0 0 16214 13 0 0 20 0 1 0 406841406 226951168 47131 33554432000 4194304 4935366 140732228682256 140732228679400 4513846 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 55408 47131 612 181 0 49025 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 221632 KiB
Current children cumulated memory: 188524 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.78 1.88 3/202 21947
/proc/meminfo: memFree=31175576/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=222028 memory=188824 CPUtime=222.27 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 128008 0 0 0 22214 13 0 0 20 0 1 0 406841406 227356672 47206 33554432000 4194304 4935366 140732228682256 140732228679304 4451939 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 55507 47206 612 181 0 49124 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 222028 KiB
Current children cumulated memory: 188824 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.83 1.89 3/201 21951
/proc/meminfo: memFree=31171548/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=227176 memory=193796 CPUtime=282.27 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 131531 0 0 0 28213 14 0 0 20 0 1 0 406841406 232628224 48449 33554432000 4194304 4935366 140732228682256 140732228679688 4385656 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 56794 48449 612 181 0 50411 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 227176 KiB
Current children cumulated memory: 193796 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.86 1.89 3/201 21957
/proc/meminfo: memFree=31170616/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=227176 memory=194064 CPUtime=342.28 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 132816 0 0 0 34213 15 0 0 20 0 1 0 406841406 232628224 48516 33554432000 4194304 4935366 140732228682256 140732228679400 4451012 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 56794 48516 612 181 0 50411 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 227176 KiB
Current children cumulated memory: 194064 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.90 3/201 21961
/proc/meminfo: memFree=31169700/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=227704 memory=194384 CPUtime=402.28 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 133911 0 0 0 40213 15 0 0 20 0 1 0 406841406 233168896 48596 33554432000 4194304 4935366 140732228682256 140732228679304 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 56926 48596 612 181 0 50543 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 227704 KiB
Current children cumulated memory: 194384 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.91 3/199 21965
/proc/meminfo: memFree=31168432/32770624 swapFree=66933164/67108860
[pid=21859] ppid=21856 vsize=229156 memory=195956 CPUtime=462.28 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 135368 0 0 0 46213 15 0 0 20 0 1 0 406841406 234655744 48989 33554432000 4194304 4935366 140732228682256 140732228679400 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 57289 48989 612 181 0 50906 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 229156 KiB
Current children cumulated memory: 195956 KiB
################
# More data... #
################
/proc/21859/statm: 60523 52197 612 181 0 54140 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 242092 KiB
Current children cumulated memory: 208788 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 22076
/proc/meminfo: memFree=31154048/32770624 swapFree=66933180/67108860
[pid=21859] ppid=21856 vsize=242092 memory=208960 CPUtime=1662.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 159447 0 0 0 166210 19 0 0 20 0 1 0 406841406 247902208 52240 33554432000 4194304 4935366 140732228682256 140732228679688 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60523 52240 612 181 0 54140 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 242092 KiB
Current children cumulated memory: 208960 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 22080
/proc/meminfo: memFree=31153952/32770624 swapFree=66933180/67108860
[pid=21859] ppid=21856 vsize=242620 memory=209460 CPUtime=1722.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 160640 0 0 0 172210 19 0 0 20 0 1 0 406841406 248442880 52365 33554432000 4194304 4935366 140732228682256 140732228679656 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60655 52365 612 181 0 54272 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 242620 KiB
Current children cumulated memory: 209460 KiB
[startup+1782.3 s]
/proc/loadavg: 2.25 2.08 1.99 3/199 22086
/proc/meminfo: memFree=31152744/32770624 swapFree=66933180/67108860
[pid=21859] ppid=21856 vsize=243412 memory=210280 CPUtime=1782.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 161893 0 0 0 178210 20 0 0 20 0 1 0 406841406 249253888 52570 33554432000 4194304 4935366 140732228682256 140732228679304 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60853 52570 612 181 0 54470 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 243412 KiB
Current children cumulated memory: 210280 KiB
[startup+1842.3 s]
/proc/loadavg: 2.48 2.19 2.04 3/199 22091
/proc/meminfo: memFree=31153240/32770624 swapFree=66933184/67108860
[pid=21859] ppid=21856 vsize=243412 memory=210280 CPUtime=1842.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 162911 0 0 0 184210 20 0 0 20 0 1 0 406841406 249253888 52570 33554432000 4194304 4935366 140732228682256 140732228679304 4451756 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60853 52570 612 181 0 54470 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 243412 KiB
Current children cumulated memory: 210280 KiB
[startup+1902.3 s]
/proc/loadavg: 2.18 2.16 2.04 3/199 22095
/proc/meminfo: memFree=31153504/32770624 swapFree=66933184/67108860
[pid=21859] ppid=21856 vsize=243676 memory=210432 CPUtime=1902.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 163014 0 0 0 190210 20 0 0 20 0 1 0 406841406 249524224 52608 33554432000 4194304 4935366 140732228682256 140732228679656 4420960 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60919 52608 612 181 0 54536 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 243676 KiB
Current children cumulated memory: 210432 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.13 2.04 3/200 22109
/proc/meminfo: memFree=31152548/32770624 swapFree=66933196/67108860
[pid=21859] ppid=21856 vsize=243676 memory=210564 CPUtime=1962.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 163818 0 0 0 196210 20 0 0 20 0 1 0 406841406 249524224 52641 33554432000 4194304 4935366 140732228682256 140732228679656 4514688 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60919 52641 612 181 0 54536 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 243676 KiB
Current children cumulated memory: 210564 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.10 2.04 3/201 22136
/proc/meminfo: memFree=31153072/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=243676 memory=210564 CPUtime=2022.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 164684 0 0 0 202210 20 0 0 20 0 1 0 406841406 249524224 52641 33554432000 4194304 4935366 140732228682256 140732228679656 140069840457723 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 60919 52641 612 181 0 54536 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 243676 KiB
Current children cumulated memory: 210564 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.09 2.04 3/201 22140
/proc/meminfo: memFree=31152564/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=244996 memory=211596 CPUtime=2082.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 165130 0 0 0 208209 20 0 0 20 0 1 0 406841406 250875904 52899 33554432000 4194304 4935366 140732228682256 140732228679656 4211440 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61249 52899 612 181 0 54866 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 244996 KiB
Current children cumulated memory: 211596 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/201 22146
/proc/meminfo: memFree=31151104/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=245524 memory=212336 CPUtime=2142.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 166116 0 0 0 214209 20 0 0 20 0 1 0 406841406 251416576 53084 33554432000 4194304 4935366 140732228682256 140732228679592 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61381 53084 612 181 0 54998 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 245524 KiB
Current children cumulated memory: 212336 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/201 22150
/proc/meminfo: memFree=31151248/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=245524 memory=212336 CPUtime=2202.29 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 166962 0 0 0 220209 20 0 0 20 0 1 0 406841406 251416576 53084 33554432000 4194304 4935366 140732228682256 140732228679592 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61381 53084 612 181 0 54998 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 245524 KiB
Current children cumulated memory: 212336 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.06 2.04 3/200 22154
/proc/meminfo: memFree=31151292/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=245788 memory=212596 CPUtime=2262.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 167950 0 0 0 226209 21 0 0 20 0 1 0 406841406 251686912 53149 33554432000 4194304 4935366 140732228682256 140732228679656 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61447 53149 612 181 0 55064 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 245788 KiB
Current children cumulated memory: 212596 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/199 22160
/proc/meminfo: memFree=31151188/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=245788 memory=212672 CPUtime=2322.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 168868 0 0 0 232209 21 0 0 20 0 1 0 406841406 251686912 53168 33554432000 4194304 4935366 140732228682256 140732228679656 140069841385393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61447 53168 612 181 0 55064 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 245788 KiB
Current children cumulated memory: 212672 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/199 22164
/proc/meminfo: memFree=31151224/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=245920 memory=212736 CPUtime=2382.3 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 169808 0 0 0 238209 21 0 0 20 0 1 0 406841406 251822080 53184 33554432000 4194304 4935366 140732228682256 140732228679400 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61480 53184 612 181 0 55097 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 245920 KiB
Current children cumulated memory: 212736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.04 2.04 3/200 22166
/proc/meminfo: memFree=31150868/32770624 swapFree=66933216/67108860
[pid=21859] ppid=21856 vsize=246052 memory=212932 CPUtime=2400.01 cores=1,3,5,7
/proc/21859/stat : 21859 (nacre_mini_rele) R 21856 21859 19999 0 -1 4202496 170719 0 0 0 239980 21 0 0 20 0 1 0 406841406 251957248 53233 33554432000 4194304 4935366 140732228682256 140732228679688 4329317 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31580160 140732228686843 140732228686949 140732228686949 140732228689858 0
/proc/21859/statm: 61513 53233 612 181 0 55130 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 246052 KiB
Current children cumulated memory: 212932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 21859 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.81 s, system=0.214002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.02
CPU user time (s): 2399.81
CPU system time (s): 0.214002
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 246052
Max. memory (cumulated for all children) (KiB): 212932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.81
system time used= 0.214002
maximum resident set size= 212972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170762
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= 37
involuntary context switches= 1323
# summary of solver processes directly reported to runsolver:
# pid: 21859
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.81
# total CPU system time (s): 0.214002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5389 second user time and 18.5011 second system time
The end