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 (8448 MiB free)
memory of node 1: 16384 MiB (12651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300574-1532802596/watcher-4300574-1532802596 -o /tmp/evaluation-result-4300574-1532802596/solver-4300574-1532802596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4300574-1532802596.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=23922, runsolver pid=23919
[startup+0.100139 s]*
/proc/loadavg: 2.01 2.09 2.09 3/187 23923
/proc/meminfo: memFree=21603216/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=29644 memory=6144 CPUtime=0.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 1740 0 0 0 10 0 0 0 20 0 1 0 97822800 30355456 1536 33554432000 4194304 4933779 140725344476080 140725344473640 140610553990117 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 7411 1536 613 181 0 1028 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29644 KiB
Current children cumulated memory: 6144 KiB
[startup+0.209471 s]*
/proc/loadavg: 2.01 2.09 2.09 3/187 23923
/proc/meminfo: memFree=21601448/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=30688 memory=7184 CPUtime=0.21 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 1989 0 0 0 21 0 0 0 20 0 1 0 97822800 31424512 1796 33554432000 4194304 4933779 140725344476080 140725344473640 4472608 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 7672 1796 613 181 0 1289 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30688 KiB
Current children cumulated memory: 7184 KiB
[startup+0.308896 s]*
/proc/loadavg: 2.01 2.09 2.09 3/187 23923
/proc/meminfo: memFree=21600332/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=31872 memory=8500 CPUtime=0.31 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 2307 0 0 0 31 0 0 0 20 0 1 0 97822800 32636928 2125 33554432000 4194304 4933779 140725344476080 140725344473640 140610554845611 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 7968 2125 613 181 0 1585 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8500 KiB
[startup+0.700289 s]
/proc/loadavg: 2.01 2.09 2.09 3/187 23923
/proc/meminfo: memFree=21598472/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=35772 memory=12328 CPUtime=0.69 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 3260 0 0 0 69 0 0 0 20 0 1 0 97822800 36630528 3082 33554432000 4194304 4933779 140725344476080 140725344473768 140610554845611 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 8943 3082 613 181 0 2560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35772 KiB
Current children cumulated memory: 12328 KiB
[startup+1.5003 s]
/proc/loadavg: 2.01 2.09 2.09 3/187 23923
/proc/meminfo: memFree=21592520/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=44608 memory=20972 CPUtime=1.49 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 5441 0 0 0 148 1 0 0 20 0 1 0 97822800 45678592 5243 33554432000 4194304 4933779 140725344476080 140725344473768 140610553985854 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 11152 5243 613 181 0 4769 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44608 KiB
Current children cumulated memory: 20972 KiB
[startup+3.10937 s]
/proc/loadavg: 1.93 2.07 2.08 3/187 23923
/proc/meminfo: memFree=21573204/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=58520 memory=34732 CPUtime=3.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 14254 0 0 0 308 2 0 0 20 0 1 0 97822800 59924480 8683 33554432000 4194304 4933779 140725344476080 140725344473768 140610553990117 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 14630 8683 613 181 0 8247 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58520 KiB
Current children cumulated memory: 34732 KiB
[startup+6.30033 s]
/proc/loadavg: 1.93 2.07 2.08 3/187 23930
/proc/meminfo: memFree=21554232/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=75988 memory=52448 CPUtime=6.29 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 27966 0 0 0 625 4 0 0 20 0 1 0 97822800 77811712 13112 33554432000 4194304 4933779 140725344476080 140725344473848 140610553990117 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 18997 13112 613 181 0 12614 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75988 KiB
Current children cumulated memory: 52448 KiB
[startup+12.7004 s]
/proc/loadavg: 1.94 2.07 2.08 3/187 23930
/proc/meminfo: memFree=21533972/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=95184 memory=71308 CPUtime=12.69 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 45967 0 0 0 1263 6 0 0 20 0 1 0 97822800 97468416 17827 33554432000 4194304 4933779 140725344476080 140725344473784 140610554845563 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 23796 17827 613 181 0 17413 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 95184 KiB
Current children cumulated memory: 71308 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.07 2.08 3/187 23930
/proc/meminfo: memFree=21498756/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=122628 memory=98852 CPUtime=25.49 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 90006 0 0 0 2540 9 0 0 20 0 1 0 97822800 125571072 24713 33554432000 4194304 4933779 140725344476080 140725344473784 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 30657 24713 613 181 0 24274 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 98852 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.06 2.08 3/187 23930
/proc/meminfo: memFree=21440476/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=159452 memory=135740 CPUtime=51.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 128590 0 0 0 5097 13 0 0 20 0 1 0 97822800 163278848 33935 33554432000 4194304 4933779 140725344476080 140725344473832 4421375 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 39863 33935 613 181 0 33480 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 159452 KiB
Current children cumulated memory: 135740 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.05 2.07 3/187 23931
/proc/meminfo: memFree=21382672/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=202480 memory=179088 CPUtime=102.28 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 174478 0 0 0 10210 18 0 0 20 0 1 0 97822800 207339520 44772 33554432000 4194304 4933779 140725344476080 140725344473832 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 50620 44772 613 181 0 44237 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 202480 KiB
Current children cumulated memory: 179088 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.04 2.07 3/187 23932
/proc/meminfo: memFree=21325412/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=236396 memory=211764 CPUtime=162.29 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 225581 0 0 0 16204 25 0 0 20 0 1 0 97822800 242069504 52941 33554432000 4194304 4933779 140725344476080 140725344473784 4363913 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 59099 52941 613 181 0 52716 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 236396 KiB
Current children cumulated memory: 211764 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 23933
/proc/meminfo: memFree=21272244/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=259276 memory=234916 CPUtime=222.29 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 280194 0 0 0 22199 30 0 0 20 0 1 0 97822800 265498624 58729 33554432000 4194304 4933779 140725344476080 140725344473784 4437456 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 64819 58729 613 181 0 58436 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 259276 KiB
Current children cumulated memory: 234916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 23934
/proc/meminfo: memFree=21230096/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=284576 memory=260244 CPUtime=282.29 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 340532 0 0 0 28193 36 0 0 20 0 1 0 97822800 291405824 65061 33554432000 4194304 4933779 140725344476080 140725344473832 4422703 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 71144 65061 613 181 0 64761 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 284576 KiB
Current children cumulated memory: 260244 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23935
/proc/meminfo: memFree=21172620/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=303224 memory=279068 CPUtime=342.25 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 397720 0 0 0 34182 43 0 0 20 0 1 0 97822800 310501376 69767 33554432000 4194304 4933779 140725344476080 140725344473784 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 75806 69767 613 181 0 69423 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 303224 KiB
Current children cumulated memory: 279068 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23936
/proc/meminfo: memFree=21121808/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=320388 memory=296516 CPUtime=402.22 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 437955 0 0 0 40175 47 0 0 20 0 1 0 97822800 328077312 74129 33554432000 4194304 4933779 140725344476080 140725344473784 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 80097 74129 613 181 0 73714 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 320388 KiB
Current children cumulated memory: 296516 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 23937
/proc/meminfo: memFree=21078072/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=340524 memory=316616 CPUtime=462.18 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 459417 0 0 0 46167 51 0 0 20 0 1 0 97822800 348696576 79154 33554432000 4194304 4933779 140725344476080 140725344473784 4437572 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 85131 79154 613 181 0 78748 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 340524 KiB
Current children cumulated memory: 316616 KiB
################
# More data... #
################
/proc/23922/statm: 138056 132093 613 181 0 131673 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 552224 KiB
Current children cumulated memory: 528372 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23977
/proc/meminfo: memFree=20552328/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=559128 memory=535048 CPUtime=1782.11 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 875495 0 0 0 178096 115 0 0 20 0 1 0 97822800 572547072 133762 33554432000 4194304 4933779 140725344476080 140725344473768 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 139782 133762 613 181 0 133399 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 559128 KiB
Current children cumulated memory: 535048 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23986
/proc/meminfo: memFree=20537160/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=564184 memory=540244 CPUtime=1842.11 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 888658 0 0 0 184094 117 0 0 20 0 1 0 97822800 577724416 135061 33554432000 4194304 4933779 140725344476080 140725344473832 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 141046 135061 613 181 0 134663 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 564184 KiB
Current children cumulated memory: 540244 KiB
[startup+1902.3 s]
/proc/loadavg: 1.40 1.84 1.99 2/181 24055
/proc/meminfo: memFree=21718252/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=567032 memory=543108 CPUtime=1902.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 902234 0 0 0 190091 119 0 0 20 0 1 0 97822800 580640768 135777 33554432000 4194304 4933779 140725344476080 140725344473768 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 141758 135777 613 181 0 135375 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 567032 KiB
Current children cumulated memory: 543108 KiB
[startup+1962.3 s]
/proc/loadavg: 1.15 1.69 1.92 2/181 24056
/proc/meminfo: memFree=21714048/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=571288 memory=547280 CPUtime=1962.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 916960 0 0 0 196088 122 0 0 20 0 1 0 97822800 584998912 136820 33554432000 4194304 4933779 140725344476080 140725344473784 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 142822 136820 613 181 0 136439 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 571288 KiB
Current children cumulated memory: 547280 KiB
[startup+2022.3 s]
/proc/loadavg: 1.39 1.64 1.89 2/181 24057
/proc/meminfo: memFree=21708240/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=577316 memory=553444 CPUtime=2022.09 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 933023 0 0 0 202084 125 0 0 20 0 1 0 97822800 591171584 138361 33554432000 4194304 4933779 140725344476080 140725344473784 4437792 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 144329 138361 613 181 0 137946 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 577316 KiB
Current children cumulated memory: 553444 KiB
[startup+2082.3 s]
/proc/loadavg: 1.29 1.58 1.86 2/181 24058
/proc/meminfo: memFree=21697800/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=588188 memory=564236 CPUtime=2082.1 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 951798 0 0 0 208081 129 0 0 20 0 1 0 97822800 602304512 141059 33554432000 4194304 4933779 140725344476080 140725344473784 4475744 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 147047 141059 613 181 0 140664 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 588188 KiB
Current children cumulated memory: 564236 KiB
[startup+2142.3 s]
/proc/loadavg: 1.11 1.48 1.80 2/181 24059
/proc/meminfo: memFree=21689020/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=597312 memory=573348 CPUtime=2142.09 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 972928 0 0 0 214077 132 0 0 20 0 1 0 97822800 611647488 143337 33554432000 4194304 4933779 140725344476080 140725344473768 140610560168144 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 149328 143337 613 181 0 142945 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 597312 KiB
Current children cumulated memory: 573348 KiB
[startup+2202.3 s]
/proc/loadavg: 1.04 1.39 1.75 2/180 24060
/proc/meminfo: memFree=21677816/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=608804 memory=584720 CPUtime=2202.07 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 986125 0 0 0 220071 136 0 0 20 0 1 0 97822800 623415296 146180 33554432000 4194304 4933779 140725344476080 140725344473784 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 152201 146180 613 181 0 145818 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 608804 KiB
Current children cumulated memory: 584720 KiB
[startup+2262.3 s]
/proc/loadavg: 1.01 1.32 1.71 2/180 24061
/proc/meminfo: memFree=21675920/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=610452 memory=586548 CPUtime=2262.06 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 988135 0 0 0 226070 136 0 0 20 0 1 0 97822800 625102848 146637 33554432000 4194304 4933779 140725344476080 140725344473592 4437494 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 152613 146637 613 181 0 146230 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 610452 KiB
Current children cumulated memory: 586548 KiB
[startup+2322.3 s]
/proc/loadavg: 1.01 1.26 1.66 2/180 24062
/proc/meminfo: memFree=21671580/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=614608 memory=590636 CPUtime=2322.06 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 991498 0 0 0 232069 137 0 0 20 0 1 0 97822800 629358592 147659 33554432000 4194304 4933779 140725344476080 140725344473768 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 153652 147659 613 181 0 147269 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 614608 KiB
Current children cumulated memory: 590636 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.21 1.62 2/180 24063
/proc/meminfo: memFree=21669496/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=616900 memory=592968 CPUtime=2382.06 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 994816 0 0 0 238069 137 0 0 20 0 1 0 97822800 631705600 148242 33554432000 4194304 4933779 140725344476080 140725344473832 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 154225 148242 613 181 0 147842 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 616900 KiB
Current children cumulated memory: 592968 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.18 1.58 2/180 24071
/proc/meminfo: memFree=21665744/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=619532 memory=595472 CPUtime=2442.06 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 998728 0 0 0 244067 139 0 0 20 0 1 0 97822800 634400768 148868 33554432000 4194304 4933779 140725344476080 140725344473832 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 154883 148868 613 181 0 148500 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 619532 KiB
Current children cumulated memory: 595472 KiB
[startup+2502.3 s]
/proc/loadavg: 1.07 1.16 1.55 2/180 24072
/proc/meminfo: memFree=21662188/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=623052 memory=599144 CPUtime=2502.06 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 1003896 0 0 0 250066 140 0 0 20 0 1 0 97822800 638005248 149786 33554432000 4194304 4933779 140725344476080 140725344473832 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 155763 149786 613 181 0 149380 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 623052 KiB
Current children cumulated memory: 599144 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.05 1.15 1.54 2/180 24073
/proc/meminfo: memFree=21660476/32770624 swapFree=67108796/67108860
[pid=23922] ppid=23919 vsize=624920 memory=601008 CPUtime=2519.77 cores=1,3,5,7
/proc/23922/stat : 23922 (nacre_mini_rele) R 23919 23922 24279 0 -1 4202496 1004817 0 0 0 251836 141 0 0 20 0 1 0 97822800 639918080 150252 33554432000 4194304 4933779 140725344476080 140725344473784 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25575424 140725344478360 140725344478460 140725344478460 140725344481218 0
/proc/23922/statm: 156230 150252 613 181 0 149847 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 624920 KiB
Current children cumulated memory: 601008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23922 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.36 s, system=1.41597 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.78
CPU user time (s): 2518.36
CPU system time (s): 1.41597
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 624920
Max. memory (cumulated for all children) (KiB): 601008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.36
system time used= 1.41597
maximum resident set size= 601096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004862
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= 289
involuntary context switches= 882
# summary of solver processes directly reported to runsolver:
# pid: 23922
# total CPU time (s): 2519.78
# total CPU user time (s): 2518.36
# total CPU system time (s): 1.41597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0169 second user time and 18.1004 second system time
The end