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 (8768 MiB free)
memory of node 1: 16384 MiB (10159 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299938-1532792476/watcher-4299938-1532792476 -o /tmp/evaluation-result-4299938-1532792476/solver-4299938-1532792476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580 nacre_mini_release HOME/instance-4299938-1532792476.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=29527, runsolver pid=29524
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19375612/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=33340 memory=9364 CPUtime=0.1 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 2827 0 0 0 10 0 0 0 20 0 1 0 96810765 34140160 2341 33554432000 4194304 4933779 140722115975536 140722115973304 4362431 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 8335 2341 612 181 0 1952 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9364 KiB
[startup+0.209555 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19373728/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=35072 memory=11212 CPUtime=0.21 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 3270 0 0 0 21 0 0 0 20 0 1 0 96810765 35913728 2803 33554432000 4194304 4933779 140722115975536 140722115973304 4393104 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 8768 2803 612 181 0 2385 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35072 KiB
Current children cumulated memory: 11212 KiB
[startup+0.309221 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19372240/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=36672 memory=12796 CPUtime=0.31 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 3658 0 0 0 31 0 0 0 20 0 1 0 96810765 37552128 3199 33554432000 4194304 4933779 140722115975536 140722115973304 140320184537848 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 9168 3199 612 181 0 2785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36672 KiB
Current children cumulated memory: 12796 KiB
[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19369016/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=42668 memory=18604 CPUtime=0.69 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 5157 0 0 0 69 0 0 0 20 0 1 0 96810765 43692032 4651 33554432000 4194304 4933779 140722115975536 140722115973304 140320184646043 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 10667 4651 612 181 0 4284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 18604 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19361204/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=55496 memory=31540 CPUtime=1.48 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 8383 0 0 0 148 0 0 0 20 0 1 0 96810765 56827904 7885 33554432000 4194304 4933779 140722115975536 140722115973288 4475923 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 13874 7885 612 181 0 7491 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55496 KiB
Current children cumulated memory: 31540 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19329956/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=80692 memory=56760 CPUtime=3.1 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 21744 0 0 0 308 2 0 0 20 0 1 0 96810765 82628608 14190 33554432000 4194304 4933779 140722115975536 140722115973288 140320184646051 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 20173 14190 612 181 0 13790 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 80692 KiB
Current children cumulated memory: 56760 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19300112/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=108436 memory=84424 CPUtime=6.29 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 43215 0 0 0 625 4 0 0 20 0 1 0 96810765 111038464 21106 33554432000 4194304 4933779 140722115975536 140722115973240 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 27109 21106 612 181 0 20726 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 108436 KiB
Current children cumulated memory: 84424 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19278660/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=129904 memory=105872 CPUtime=12.69 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 69597 0 0 0 1263 6 0 0 20 0 1 0 96810765 133021696 26468 33554432000 4194304 4933779 140722115975536 140722115973240 140320184646051 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 32476 26468 612 181 0 26093 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 129904 KiB
Current children cumulated memory: 105872 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19252496/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=154588 memory=130160 CPUtime=25.48 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 123973 0 0 0 2538 10 0 0 20 0 1 0 96810765 158298112 32540 33554432000 4194304 4933779 140722115975536 140722115973288 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 38647 32540 612 181 0 32264 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 154588 KiB
Current children cumulated memory: 130160 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29528
/proc/meminfo: memFree=19216164/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=186140 memory=161668 CPUtime=51.1 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 173960 0 0 0 5095 15 0 0 20 0 1 0 96810765 190607360 40417 33554432000 4194304 4933779 140722115975536 140722115973240 140320184537848 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 46535 40417 612 181 0 40152 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 186140 KiB
Current children cumulated memory: 161668 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29529
/proc/meminfo: memFree=19175512/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=219356 memory=194796 CPUtime=102.28 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 223333 0 0 0 10209 19 0 0 20 0 1 0 96810765 224620544 48699 33554432000 4194304 4933779 140722115975536 140722115973288 4472608 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 54839 48699 612 181 0 48456 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 219356 KiB
Current children cumulated memory: 194796 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29530
/proc/meminfo: memFree=19136056/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=252532 memory=227804 CPUtime=162.29 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 279164 0 0 0 16205 24 0 0 20 0 1 0 96810765 258592768 56951 33554432000 4194304 4933779 140722115975536 140722115973240 4388468 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 63133 56951 612 181 0 56750 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 252532 KiB
Current children cumulated memory: 227804 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29531
/proc/meminfo: memFree=19097796/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=280768 memory=254988 CPUtime=222.29 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 340328 0 0 0 22199 30 0 0 20 0 1 0 96810765 287506432 63747 33554432000 4194304 4933779 140722115975536 140722115973048 4393080 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 70192 63747 612 181 0 63809 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 280768 KiB
Current children cumulated memory: 254988 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29532
/proc/meminfo: memFree=19068040/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=303232 memory=277376 CPUtime=282.28 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 405604 0 0 0 28193 35 0 0 20 0 1 0 96810765 310509568 69344 33554432000 4194304 4933779 140722115975536 140722115973288 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 75808 69344 612 181 0 69425 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 303232 KiB
Current children cumulated memory: 277376 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29594
/proc/meminfo: memFree=19878696/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=322520 memory=296344 CPUtime=342.28 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 470564 0 0 0 34187 41 0 0 20 0 1 0 96810765 330260480 74086 33554432000 4194304 4933779 140722115975536 140722115973288 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 80630 74086 612 181 0 74247 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 322520 KiB
Current children cumulated memory: 296344 KiB
[startup+402.3 s]
/proc/loadavg: 2.51 2.15 2.09 3/187 29655
/proc/meminfo: memFree=19707980/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=340404 memory=314180 CPUtime=402.26 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 483916 0 0 0 40183 43 0 0 20 0 1 0 96810765 348573696 78545 33554432000 4194304 4933779 140722115975536 140722115973288 4437581 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 85101 78545 612 181 0 78718 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 340404 KiB
Current children cumulated memory: 314180 KiB
[startup+462.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 29656
/proc/meminfo: memFree=19619416/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=361024 memory=335100 CPUtime=462.23 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 534202 0 0 0 46175 48 0 0 20 0 1 0 96810765 369688576 83775 33554432000 4194304 4933779 140722115975536 140722115973288 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 90256 83775 612 181 0 83873 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 361024 KiB
Current children cumulated memory: 335100 KiB
################
# More data... #
################
/proc/29527/statm: 209074 202304 612 181 0 202691 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 836296 KiB
Current children cumulated memory: 809216 KiB
[startup+1782.3 s]
/proc/loadavg: 2.34 2.15 2.09 3/188 29727
/proc/meminfo: memFree=18626364/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=951676 memory=923792 CPUtime=1782.13 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1302640 0 0 0 178062 151 0 0 20 0 1 0 96810765 974516224 230948 33554432000 4194304 4933779 140722115975536 140722115973048 140320184646067 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 237919 230948 612 181 0 231536 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 951676 KiB
Current children cumulated memory: 923792 KiB
[startup+1842.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/188 29728
/proc/meminfo: memFree=18514712/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1037568 memory=1009644 CPUtime=1842.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1373947 0 0 0 184051 161 0 0 20 0 1 0 96810765 1062469632 252411 33554432000 4194304 4933779 140722115975536 140722115973288 4437558 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 259392 252411 612 181 0 253009 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 1037568 KiB
Current children cumulated memory: 1009644 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 29729
/proc/meminfo: memFree=18453600/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1078148 memory=1050048 CPUtime=1902.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1452001 0 0 0 190045 167 0 0 20 0 1 0 96810765 1104023552 262512 33554432000 4194304 4933779 140722115975536 140722115973048 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 269537 262512 612 181 0 263154 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 1078148 KiB
Current children cumulated memory: 1050048 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 29730
/proc/meminfo: memFree=18433700/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1078604 memory=1050532 CPUtime=1962.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1513419 0 0 0 196040 172 0 0 20 0 1 0 96810765 1104490496 262633 33554432000 4194304 4933779 140722115975536 140722115973224 4437567 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 269651 262633 612 181 0 263268 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 1078604 KiB
Current children cumulated memory: 1050532 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 29731
/proc/meminfo: memFree=18417956/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1078932 memory=1050788 CPUtime=2022.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1577526 0 0 0 202035 177 0 0 20 0 1 0 96810765 1104826368 262697 33554432000 4194304 4933779 140722115975536 140722115973224 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 269733 262697 612 181 0 263350 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 1078932 KiB
Current children cumulated memory: 1050788 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 29732
/proc/meminfo: memFree=18410784/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1079320 memory=1051196 CPUtime=2082.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1649804 0 0 0 208028 184 0 0 20 0 1 0 96810765 1105223680 262799 33554432000 4194304 4933779 140722115975536 140722115973224 4393104 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 269830 262799 612 181 0 263447 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 1079320 KiB
Current children cumulated memory: 1051196 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 29733
/proc/meminfo: memFree=18409544/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1079676 memory=1051628 CPUtime=2142.12 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1719504 0 0 0 214023 189 0 0 20 0 1 0 96810765 1105588224 262907 33554432000 4194304 4933779 140722115975536 140722115973224 4437547 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 269919 262907 612 181 0 263536 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 1079676 KiB
Current children cumulated memory: 1051628 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29734
/proc/meminfo: memFree=18401268/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1080224 memory=1054312 CPUtime=2202.11 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1780255 0 0 0 220015 196 0 0 20 0 1 0 96810765 1106149376 263578 33554432000 4194304 4933779 140722115975536 140722115973224 4437389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 270056 263578 612 181 0 263673 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 1080224 KiB
Current children cumulated memory: 1054312 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29735
/proc/meminfo: memFree=18399556/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1081220 memory=1055716 CPUtime=2262.1 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1819728 0 0 0 226010 200 0 0 20 0 1 0 96810765 1107169280 263929 33554432000 4194304 4933779 140722115975536 140722115973224 4475561 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 270305 263929 612 181 0 263922 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 1081220 KiB
Current children cumulated memory: 1055716 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29736
/proc/meminfo: memFree=18390960/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1082180 memory=1056980 CPUtime=2322.09 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1844678 0 0 0 232007 202 0 0 20 0 1 0 96810765 1108152320 264245 33554432000 4194304 4933779 140722115975536 140722115973224 4475895 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 270545 264245 612 181 0 264162 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 1082180 KiB
Current children cumulated memory: 1056980 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 29745
/proc/meminfo: memFree=18369844/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1082780 memory=1058304 CPUtime=2382.09 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1847453 0 0 0 238007 202 0 0 20 0 1 0 96810765 1108766720 264576 33554432000 4194304 4933779 140722115975536 140722115973224 4388720 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 270695 264576 612 181 0 264312 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 1082780 KiB
Current children cumulated memory: 1058304 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29746
/proc/meminfo: memFree=18359816/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1083856 memory=1059244 CPUtime=2442.09 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1849407 0 0 0 244007 202 0 0 20 0 1 0 96810765 1109868544 264811 33554432000 4194304 4933779 140722115975536 140722115973224 4472608 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 270964 264811 612 181 0 264581 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 1083856 KiB
Current children cumulated memory: 1059244 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29747
/proc/meminfo: memFree=18356596/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1085764 memory=1060784 CPUtime=2502.08 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1851643 0 0 0 250006 202 0 0 20 0 1 0 96810765 1111822336 265196 33554432000 4194304 4933779 140722115975536 140722115973224 4392992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 271441 265196 612 181 0 265058 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 1085764 KiB
Current children cumulated memory: 1060784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29747
/proc/meminfo: memFree=18354612/32770624 swapFree=67108860/67108860
[pid=29527] ppid=29524 vsize=1085764 memory=1060832 CPUtime=2519.79 cores=1,3,5,7
/proc/29527/stat : 29527 (nacre_mini_rele) R 29524 29527 26996 0 -1 4202496 1851910 0 0 0 251777 202 0 0 20 0 1 0 96810765 1111822336 265208 33554432000 4194304 4933779 140722115975536 140722115973224 4437370 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 38260736 140722115982488 140722115982588 140722115982588 140722115985346 0
/proc/29527/statm: 271441 265208 612 181 0 265058 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 1085764 KiB
Current children cumulated memory: 1060832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 29527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.78 s, system=2.03097 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.81
CPU user time (s): 2517.78
CPU system time (s): 2.03097
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 1085764
Max. memory (cumulated for all children) (KiB): 1060832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.78
system time used= 2.03097
maximum resident set size= 1060888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1851954
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= 377
involuntary context switches= 2317
# summary of solver processes directly reported to runsolver:
# pid: 29527
# total CPU time (s): 2519.81
# total CPU user time (s): 2517.78
# total CPU system time (s): 2.03097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95491 second user time and 18.335 second system time
The end