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 (10312 MiB free)
memory of node 1: 16384 MiB (12647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299277-1532784138/watcher-4299277-1532784138 -o /tmp/evaluation-result-4299277-1532784138/solver-4299277-1532784138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4299277-1532784138.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=28633, runsolver pid=28630
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28634
/proc/meminfo: memFree=23509260/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=27612 memory=4256 CPUtime=0.1 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 1262 0 0 0 10 0 0 0 20 0 1 0 95976990 28274688 1064 33554432000 4194304 4933779 140733253581040 140733253578040 140302235986917 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 6903 1064 610 181 0 520 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 4256 KiB
[startup+0.209316 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28634
/proc/meminfo: memFree=23508144/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=28824 memory=5312 CPUtime=0.21 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 1556 0 0 0 21 0 0 0 20 0 1 0 95976990 29515776 1328 33554432000 4194304 4933779 140733253581040 140733253578040 140302236734200 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 7206 1328 610 181 0 823 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28824 KiB
Current children cumulated memory: 5312 KiB
[startup+0.308875 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28634
/proc/meminfo: memFree=23507028/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=29896 memory=6588 CPUtime=0.31 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 1824 0 0 0 31 0 0 0 20 0 1 0 95976990 30613504 1647 33554432000 4194304 4933779 140733253581040 140733253578040 140302235986917 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 7474 1647 610 181 0 1091 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29896 KiB
Current children cumulated memory: 6588 KiB
[startup+0.700288 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28634
/proc/meminfo: memFree=23505168/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=33812 memory=10392 CPUtime=0.69 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 2784 0 0 0 69 0 0 0 20 0 1 0 95976990 34623488 2598 33554432000 4194304 4933779 140733253581040 140733253578040 140302235986917 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 8453 2598 610 181 0 2070 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33812 KiB
Current children cumulated memory: 10392 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28634
/proc/meminfo: memFree=23500292/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=41612 memory=17968 CPUtime=1.49 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 4742 0 0 0 148 1 0 0 20 0 1 0 95976990 42610688 4492 33554432000 4194304 4933779 140733253581040 140733253578792 4365279 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 10403 4492 610 181 0 4020 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41612 KiB
Current children cumulated memory: 17968 KiB
[startup+3.10944 s]
/proc/loadavg: 1.92 2.02 2.04 3/187 28634
/proc/meminfo: memFree=23488784/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=49036 memory=25388 CPUtime=3.09 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 11359 0 0 0 308 1 0 0 20 0 1 0 95976990 50212864 6347 33554432000 4194304 4933779 140733253581040 140733253578808 4437440 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 12259 6347 610 181 0 5876 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49036 KiB
Current children cumulated memory: 25388 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.02 2.04 3/187 28634
/proc/meminfo: memFree=23482952/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=54724 memory=30576 CPUtime=6.29 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 18816 0 0 0 627 2 0 0 20 0 1 0 95976990 56037376 7644 33554432000 4194304 4933779 140733253581040 140733253578744 4472608 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 13681 7644 610 181 0 7298 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54724 KiB
Current children cumulated memory: 30576 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.02 2.04 3/187 28634
/proc/meminfo: memFree=23474768/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=62660 memory=38736 CPUtime=12.69 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 28227 0 0 0 1266 3 0 0 20 0 1 0 95976990 64163840 9684 33554432000 4194304 4933779 140733253581040 140733253578728 4333231 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 15665 9684 610 181 0 9282 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62660 KiB
Current children cumulated memory: 38736 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 2.04 3/187 28634
/proc/meminfo: memFree=23461624/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=74012 memory=50164 CPUtime=25.49 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 51303 0 0 0 2545 4 0 0 20 0 1 0 95976990 75788288 12541 33554432000 4194304 4933779 140733253581040 140733253578728 4437311 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 18503 12541 610 181 0 12120 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 74012 KiB
Current children cumulated memory: 50164 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.02 2.04 3/187 28634
/proc/meminfo: memFree=23437196/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=97600 memory=72468 CPUtime=51.09 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 71960 0 0 0 5103 6 0 0 20 0 1 0 95976990 99942400 18117 33554432000 4194304 4933779 140733253581040 140733253578728 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 24400 18117 610 181 0 18017 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 72468 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/187 28635
/proc/meminfo: memFree=23407684/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=124100 memory=98620 CPUtime=102.29 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 97627 0 0 0 10220 9 0 0 20 0 1 0 95976990 127078400 24655 33554432000 4194304 4933779 140733253581040 140733253578744 140302235986917 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 31025 24655 610 181 0 24642 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 124100 KiB
Current children cumulated memory: 98620 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 28636
/proc/meminfo: memFree=23385976/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=139752 memory=114108 CPUtime=162.27 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 126142 0 0 0 16216 11 0 0 20 0 1 0 95976990 143106048 28527 33554432000 4194304 4933779 140733253581040 140733253578728 4357301 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 34938 28527 610 181 0 28555 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 139752 KiB
Current children cumulated memory: 114108 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28638
/proc/meminfo: memFree=23359328/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=158764 memory=135240 CPUtime=222.24 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 140359 0 0 0 22211 13 0 0 20 0 1 0 95976990 162574336 33810 33554432000 4194304 4933779 140733253581040 140733253578744 4439640 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 39691 33810 610 181 0 33308 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 158764 KiB
Current children cumulated memory: 135240 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28639
/proc/meminfo: memFree=23339920/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=176164 memory=150420 CPUtime=282.24 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 147939 0 0 0 28209 15 0 0 20 0 1 0 95976990 180391936 37605 33554432000 4194304 4933779 140733253581040 140733253578552 4357408 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 44041 37605 610 181 0 37658 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 176164 KiB
Current children cumulated memory: 150420 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28640
/proc/meminfo: memFree=23325420/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=188412 memory=161548 CPUtime=342.24 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 157084 0 0 0 34208 16 0 0 20 0 1 0 95976990 192933888 40387 33554432000 4194304 4933779 140733253581040 140733253578744 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 47103 40387 610 181 0 40720 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 161548 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28642
/proc/meminfo: memFree=23307060/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=203132 memory=176292 CPUtime=402.23 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 169668 0 0 0 40205 18 0 0 20 0 1 0 95976990 208007168 44073 33554432000 4194304 4933779 140733253581040 140733253578728 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 50783 44073 610 181 0 44400 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 203132 KiB
Current children cumulated memory: 176292 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28643
/proc/meminfo: memFree=23288080/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=219180 memory=192492 CPUtime=462.23 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 186290 0 0 0 46203 20 0 0 20 0 1 0 95976990 224440320 48123 33554432000 4194304 4933779 140733253581040 140733253578792 4437416 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 54795 48123 610 181 0 48412 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 219180 KiB
Current children cumulated memory: 192492 KiB
################
# More data... #
################
/proc/28633/statm: 88452 82309 610 181 0 82069 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 353808 KiB
Current children cumulated memory: 329236 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28871
/proc/meminfo: memFree=23280776/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=356796 memory=332096 CPUtime=1782.11 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 352292 0 0 0 178169 42 0 0 20 0 1 0 95976990 365359104 83024 33554432000 4194304 4933779 140733253581040 140733253578728 4437691 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 89199 83024 610 181 0 82816 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 356796 KiB
Current children cumulated memory: 332096 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28872
/proc/meminfo: memFree=23263208/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=363840 memory=338548 CPUtime=1842.1 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 358217 0 0 0 184167 43 0 0 20 0 1 0 95976990 372572160 84637 33554432000 4194304 4933779 140733253581040 140733253578744 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 90960 84637 610 181 0 84577 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 363840 KiB
Current children cumulated memory: 338548 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28873
/proc/meminfo: memFree=23246972/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=371776 memory=346292 CPUtime=1902.11 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 366187 0 0 0 190166 45 0 0 20 0 1 0 95976990 380698624 86573 33554432000 4194304 4933779 140733253581040 140733253578728 4365315 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 92944 86573 610 181 0 86561 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 371776 KiB
Current children cumulated memory: 346292 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28874
/proc/meminfo: memFree=23234456/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=378432 memory=352708 CPUtime=1962.1 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 375213 0 0 0 196164 46 0 0 20 0 1 0 95976990 387514368 88177 33554432000 4194304 4933779 140733253581040 140733253578728 4437311 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 94608 88177 610 181 0 88225 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 378432 KiB
Current children cumulated memory: 352708 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28876
/proc/meminfo: memFree=23221564/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=381080 memory=355160 CPUtime=2022.1 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 384301 0 0 0 202163 47 0 0 20 0 1 0 95976990 390225920 88790 33554432000 4194304 4933779 140733253581040 140733253578728 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 95270 88790 610 181 0 88887 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 381080 KiB
Current children cumulated memory: 355160 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28877
/proc/meminfo: memFree=23204916/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=388484 memory=364344 CPUtime=2082.09 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 387476 0 0 0 208161 48 0 0 20 0 1 0 95976990 397807616 91086 33554432000 4194304 4933779 140733253581040 140733253578744 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 97121 91086 610 181 0 90738 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 388484 KiB
Current children cumulated memory: 364344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28878
/proc/meminfo: memFree=23199212/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=389968 memory=365676 CPUtime=2142.08 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 390013 0 0 0 214160 48 0 0 20 0 1 0 95976990 399327232 91419 33554432000 4194304 4933779 140733253581040 140733253578744 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 97492 91419 610 181 0 91109 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 389968 KiB
Current children cumulated memory: 365676 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28880
/proc/meminfo: memFree=23188296/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=397292 memory=372704 CPUtime=2202.09 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 395458 0 0 0 220160 49 0 0 20 0 1 0 95976990 406827008 93176 33554432000 4194304 4933779 140733253581040 140733253578728 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 99323 93176 610 181 0 92940 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 397292 KiB
Current children cumulated memory: 372704 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28881
/proc/meminfo: memFree=23182080/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=397432 memory=372876 CPUtime=2262.08 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 399490 0 0 0 226159 49 0 0 20 0 1 0 95976990 406970368 93219 33554432000 4194304 4933779 140733253581040 140733253578728 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 99358 93219 610 181 0 92975 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 397432 KiB
Current children cumulated memory: 372876 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28889
/proc/meminfo: memFree=23171864/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=397796 memory=373124 CPUtime=2322.08 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 403632 0 0 0 232158 50 0 0 20 0 1 0 95976990 407343104 93281 33554432000 4194304 4933779 140733253581040 140733253578728 4337152 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 99449 93281 610 181 0 93066 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 397796 KiB
Current children cumulated memory: 373124 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28913
/proc/meminfo: memFree=23167572/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=400684 memory=376132 CPUtime=2382.07 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 408928 0 0 0 238157 50 0 0 20 0 1 0 95976990 410300416 94033 33554432000 4194304 4933779 140733253581040 140733253578792 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 100171 94033 610 181 0 93788 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 400684 KiB
Current children cumulated memory: 376132 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28914
/proc/meminfo: memFree=23158520/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=407412 memory=382636 CPUtime=2442.07 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 416765 0 0 0 244156 51 0 0 20 0 1 0 95976990 417189888 95659 33554432000 4194304 4933779 140733253581040 140733253578728 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 101853 95659 610 181 0 95470 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 407412 KiB
Current children cumulated memory: 382636 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28915
/proc/meminfo: memFree=23142400/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=414928 memory=389380 CPUtime=2502.07 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 426203 0 0 0 250155 52 0 0 20 0 1 0 95976990 424886272 97345 33554432000 4194304 4933779 140733253581040 140733253578728 4365295 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 103732 97345 610 181 0 97349 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 414928 KiB
Current children cumulated memory: 389380 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28915
/proc/meminfo: memFree=23139052/32770624 swapFree=67108860/67108860
[pid=28633] ppid=28630 vsize=416860 memory=391464 CPUtime=2519.78 cores=1,3,5,7
/proc/28633/stat : 28633 (nacre_mini_rele) R 28630 28633 27398 0 -1 4202496 427179 0 0 0 251925 53 0 0 20 0 1 0 95976990 426864640 97866 33554432000 4194304 4933779 140733253581040 140733253578744 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38412288 140733253588120 140733253588220 140733253588220 140733253590978 0
/proc/28633/statm: 104215 97866 610 181 0 97832 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 391464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.26 s, system=0.535977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.8
CPU user time (s): 2519.26
CPU system time (s): 0.535977
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 416860
Max. memory (cumulated for all children) (KiB): 391464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 0.535977
maximum resident set size= 391656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427223
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= 175
involuntary context switches= 1691
# summary of solver processes directly reported to runsolver:
# pid: 28633
# total CPU time (s): 2519.8
# total CPU user time (s): 2519.26
# total CPU system time (s): 0.535977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.56277 second user time and 18.7677 second system time
The end