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 (9712 MiB free)
memory of node 1: 16384 MiB (12643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300002-1532794302/watcher-4300002-1532794302 -o /tmp/evaluation-result-4300002-1532794302/solver-4300002-1532794302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4300002-1532794302.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=29831, runsolver pid=29828
[startup+0.100174 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22876056/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=43184 memory=19732 CPUtime=0.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 5836 0 0 0 10 0 0 0 20 0 1 0 96993381 44220416 4933 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432427 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 10796 4933 612 181 0 4413 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43184 KiB
Current children cumulated memory: 19732 KiB
[startup+0.209932 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22874940/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=44324 memory=21052 CPUtime=0.21 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 6141 0 0 0 21 0 0 0 20 0 1 0 96993381 45387776 5263 33554432000 4194304 4933779 140728046249104 140728046246104 4388720 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 11081 5263 612 181 0 4698 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 21052 KiB
[startup+0.309792 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22873824/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=45320 memory=22108 CPUtime=0.31 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 6382 0 0 0 31 0 0 0 20 0 1 0 96993381 46407680 5527 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432403 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 11330 5527 612 181 0 4947 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45320 KiB
Current children cumulated memory: 22108 KiB
[startup+0.700412 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22871220/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=49600 memory=26332 CPUtime=0.69 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 7455 0 0 0 69 0 0 0 20 0 1 0 96993381 50790400 6583 33554432000 4194304 4933779 140728046249104 140728046246104 139757106432427 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 12400 6583 612 181 0 6017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49600 KiB
Current children cumulated memory: 26332 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22866172/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=58864 memory=35572 CPUtime=1.49 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 9766 0 0 0 148 1 0 0 20 0 1 0 96993381 60276736 8893 33554432000 4194304 4933779 140728046249104 140728046246872 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 14716 8893 612 181 0 8333 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58864 KiB
Current children cumulated memory: 35572 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22843308/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=76780 memory=53388 CPUtime=3.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 19665 0 0 0 308 2 0 0 20 0 1 0 96993381 78622720 13347 33554432000 4194304 4933779 140728046249104 140728046246856 4475575 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 19195 13347 612 181 0 12812 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 53388 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22810104/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=111432 memory=88056 CPUtime=6.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 36764 0 0 0 624 5 0 0 20 0 1 0 96993381 114106368 22014 33554432000 4194304 4933779 140728046249104 140728046246872 139757106432387 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 27858 22014 612 181 0 21475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111432 KiB
Current children cumulated memory: 88056 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22747360/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=177212 memory=153592 CPUtime=12.69 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 64175 0 0 0 1259 10 0 0 20 0 1 0 96993381 181465088 38398 33554432000 4194304 4933779 140728046249104 140728046246872 4475561 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 44303 38398 612 181 0 37920 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 177212 KiB
Current children cumulated memory: 153592 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22682828/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=236372 memory=212868 CPUtime=25.49 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 125069 0 0 0 2533 16 0 0 20 0 1 0 96993381 242044928 53217 33554432000 4194304 4933779 140728046249104 140728046246856 139757106432435 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 59093 53217 612 181 0 52710 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 236372 KiB
Current children cumulated memory: 212868 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22628392/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=289516 memory=266036 CPUtime=51.1 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 196802 0 0 0 5084 26 0 0 20 0 1 0 96993381 296464384 66509 33554432000 4194304 4933779 140728046249104 140728046246808 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 72379 66509 612 181 0 65996 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 289516 KiB
Current children cumulated memory: 266036 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29833
/proc/meminfo: memFree=22569536/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=347712 memory=323688 CPUtime=102.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 295749 0 0 0 10188 41 0 0 20 0 1 0 96993381 356057088 80922 33554432000 4194304 4933779 140728046249104 140728046246856 4388388 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 86928 80922 612 181 0 80545 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 347712 KiB
Current children cumulated memory: 323688 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29834
/proc/meminfo: memFree=22513640/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=395616 memory=371660 CPUtime=162.29 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 380703 0 0 0 16177 52 0 0 20 0 1 0 96993381 405110784 92915 33554432000 4194304 4933779 140728046249104 140728046246856 4475761 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 98904 92915 612 181 0 92521 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 395616 KiB
Current children cumulated memory: 371660 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29835
/proc/meminfo: memFree=22477948/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=425344 memory=401292 CPUtime=222.27 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 473682 0 0 0 22162 65 0 0 20 0 1 0 96993381 435552256 100323 33554432000 4194304 4933779 140728046249104 140728046246856 4475930 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 106336 100323 612 181 0 99953 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 425344 KiB
Current children cumulated memory: 401292 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29836
/proc/meminfo: memFree=22442644/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=452828 memory=428812 CPUtime=282.23 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 546660 0 0 0 28146 77 0 0 20 0 1 0 96993381 463695872 107203 33554432000 4194304 4933779 140728046249104 140728046246856 4437456 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 113207 107203 612 181 0 106824 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 452828 KiB
Current children cumulated memory: 428812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29837
/proc/meminfo: memFree=22403984/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=478320 memory=454304 CPUtime=342.2 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 610353 0 0 0 34133 87 0 0 20 0 1 0 96993381 489799680 113576 33554432000 4194304 4933779 140728046249104 140728046246856 4393121 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 119580 113576 612 181 0 113197 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 478320 KiB
Current children cumulated memory: 454304 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29838
/proc/meminfo: memFree=22347816/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=511308 memory=487660 CPUtime=402.17 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 656390 0 0 0 40124 93 0 0 20 0 1 0 96993381 523579392 121915 33554432000 4194304 4933779 140728046249104 140728046246808 4437572 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 127827 121915 612 181 0 121444 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 511308 KiB
Current children cumulated memory: 487660 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29839
/proc/meminfo: memFree=22318192/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=526796 memory=503500 CPUtime=462.15 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 678098 0 0 0 46118 97 0 0 20 0 1 0 96993381 539439104 125875 33554432000 4194304 4933779 140728046249104 140728046246856 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 131699 125875 612 181 0 125316 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 526796 KiB
Current children cumulated memory: 503500 KiB
################
# More data... #
################
/proc/29831/statm: 205029 198980 612 181 0 198646 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 820116 KiB
Current children cumulated memory: 795920 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30007
/proc/meminfo: memFree=21677244/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=831052 memory=806648 CPUtime=1782.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1105596 0 0 0 178027 179 0 0 20 0 1 0 96993381 850997248 201662 33554432000 4194304 4933779 140728046249104 140728046246856 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 207763 201662 612 181 0 201380 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 831052 KiB
Current children cumulated memory: 806648 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30008
/proc/meminfo: memFree=21629176/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=845412 memory=821060 CPUtime=1842.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1133644 0 0 0 184022 184 0 0 20 0 1 0 96993381 865701888 205265 33554432000 4194304 4933779 140728046249104 140728046246856 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 211353 205265 612 181 0 204970 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 845412 KiB
Current children cumulated memory: 821060 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30009
/proc/meminfo: memFree=21599312/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=863952 memory=839484 CPUtime=1902.06 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1166324 0 0 0 190017 189 0 0 20 0 1 0 96993381 884686848 209871 33554432000 4194304 4933779 140728046249104 140728046246616 4393171 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 215988 209871 612 181 0 209605 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 863952 KiB
Current children cumulated memory: 839484 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30010
/proc/meminfo: memFree=21566488/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=891256 memory=866488 CPUtime=1962.05 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1214015 0 0 0 196008 197 0 0 20 0 1 0 96993381 912646144 216622 33554432000 4194304 4933779 140728046249104 140728046246856 4335693 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 222814 216622 612 181 0 216431 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 891256 KiB
Current children cumulated memory: 866488 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30011
/proc/meminfo: memFree=21524956/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=907052 memory=882300 CPUtime=2022.05 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1252176 0 0 0 202004 201 0 0 20 0 1 0 96993381 928821248 220575 33554432000 4194304 4933779 140728046249104 140728046246808 4475930 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 226763 220575 612 181 0 220380 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 907052 KiB
Current children cumulated memory: 882300 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30012
/proc/meminfo: memFree=21410756/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=921368 memory=896684 CPUtime=2082.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1301398 0 0 0 207995 209 0 0 20 0 1 0 96993381 943480832 224171 33554432000 4194304 4933779 140728046249104 140728046246856 4388399 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 230342 224171 612 181 0 223959 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 921368 KiB
Current children cumulated memory: 896684 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30013
/proc/meminfo: memFree=21359548/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=945504 memory=920504 CPUtime=2142.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1358626 0 0 0 213986 218 0 0 20 0 1 0 96993381 968196096 230126 33554432000 4194304 4933779 140728046249104 140728046246872 4388736 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 236376 230126 612 181 0 229993 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 945504 KiB
Current children cumulated memory: 920504 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30014
/proc/meminfo: memFree=21338108/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=962768 memory=937744 CPUtime=2202.04 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1417308 0 0 0 219977 227 0 0 20 0 1 0 96993381 985874432 234436 33554432000 4194304 4933779 140728046249104 140728046246856 4393121 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240692 234436 612 181 0 234309 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 962768 KiB
Current children cumulated memory: 937744 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30015
/proc/meminfo: memFree=21307396/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=963208 memory=938144 CPUtime=2262.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1468775 0 0 0 225969 234 0 0 20 0 1 0 96993381 986324992 234536 33554432000 4194304 4933779 140728046249104 140728046246792 4388630 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240802 234536 612 181 0 234419 0
Current children cumulated CPU time: 2262.03 s
Current children cumulated vsize: 963208 KiB
Current children cumulated memory: 938144 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 30023
/proc/meminfo: memFree=21223492/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=963532 memory=938436 CPUtime=2322.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1523483 0 0 0 231960 243 0 0 20 0 1 0 96993381 986656768 234609 33554432000 4194304 4933779 140728046249104 140728046246792 4475935 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 240883 234609 612 181 0 234500 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 963532 KiB
Current children cumulated memory: 938436 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 30024
/proc/meminfo: memFree=21191664/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=968364 memory=943376 CPUtime=2382.03 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1577094 0 0 0 237951 252 0 0 20 0 1 0 96993381 991604736 235844 33554432000 4194304 4933779 140728046249104 140728046246856 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 242091 235844 612 181 0 235708 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 968364 KiB
Current children cumulated memory: 943376 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30025
/proc/meminfo: memFree=21157936/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=968844 memory=943712 CPUtime=2442.02 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1631552 0 0 0 243942 260 0 0 20 0 1 0 96993381 992096256 235928 33554432000 4194304 4933779 140728046249104 140728046246792 4388743 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 242211 235928 612 181 0 235828 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 968844 KiB
Current children cumulated memory: 943712 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30026
/proc/meminfo: memFree=21153976/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=972376 memory=947372 CPUtime=2502.02 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1685775 0 0 0 249932 270 0 0 20 0 1 0 96993381 995713024 236843 33554432000 4194304 4933779 140728046249104 140728046246856 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 243094 236843 612 181 0 236711 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 972376 KiB
Current children cumulated memory: 947372 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30026
/proc/meminfo: memFree=21141420/32770624 swapFree=67108860/67108860
[pid=29831] ppid=29828 vsize=974548 memory=949632 CPUtime=2519.73 cores=1,3,5,7
/proc/29831/stat : 29831 (nacre_mini_rele) R 29828 29831 27398 0 -1 4202496 1699274 0 0 0 251701 272 0 0 20 0 1 0 96993381 997937152 237408 33554432000 4194304 4933779 140728046249104 140728046246792 4388738 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7733248 140728046257304 140728046257404 140728046257404 140728046260162 0
/proc/29831/statm: 243637 237408 612 181 0 237254 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 974548 KiB
Current children cumulated memory: 949632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 29831 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.01 s, system=2.7409 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.03
CPU time (s): 2519.75
CPU user time (s): 2517.01
CPU system time (s): 2.7409
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 974548
Max. memory (cumulated for all children) (KiB): 949632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.01
system time used= 2.7409
maximum resident set size= 949688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1699318
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= 238
involuntary context switches= 1799
# summary of solver processes directly reported to runsolver:
# pid: 29831
# total CPU time (s): 2519.75
# total CPU user time (s): 2517.01
# total CPU system time (s): 2.7409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7104 second user time and 18.1952 second system time
The end