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 (15229 MiB free)
memory of node 1: 16384 MiB (14860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391449-1568315254/watcher-4391449-1568315254 -o /tmp/evaluation-result-4391449-1568315254/solver-4391449-1568315254 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27781 --watchdog 2560 nacre_mini_release HOME/instance-4391449-1568315254.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29897, runsolver pid=29894
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 2.39 2.12 2.08 3/203 29898
/proc/meminfo: memFree=30804572/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=33488 memory=10064 CPUtime=0.1 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 2708 0 0 0 10 0 0 0 20 0 1 0 407774929 34291712 2516 33554432000 4194304 4935366 140727096571808 140727096568808 139921370328037 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 8372 2516 607 181 0 1989 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33488 KiB
Current children cumulated memory: 10064 KiB
[startup+0.210152 s]*
/proc/loadavg: 2.39 2.12 2.08 3/203 29898
/proc/meminfo: memFree=30803828/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=34284 memory=10856 CPUtime=0.21 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 2893 0 0 0 21 0 0 0 20 0 1 0 407774929 35106816 2714 33554432000 4194304 4935366 140727096571808 140727096568808 4389978 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 8571 2714 607 181 0 2188 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34284 KiB
Current children cumulated memory: 10856 KiB
[startup+0.309575 s]*
/proc/loadavg: 2.39 2.12 2.08 3/203 29898
/proc/meminfo: memFree=30803084/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=35032 memory=11648 CPUtime=0.31 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 3088 0 0 0 31 0 0 0 20 0 1 0 407774929 35872768 2912 33554432000 4194304 4935366 140727096571808 140727096568808 139921370328037 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 8758 2912 608 181 0 2375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35032 KiB
Current children cumulated memory: 11648 KiB
[startup+0.700239 s]
/proc/loadavg: 2.39 2.12 2.08 3/203 29898
/proc/meminfo: memFree=30801628/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=37012 memory=13496 CPUtime=0.69 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 3581 0 0 0 69 0 0 0 20 0 1 0 407774929 37900288 3374 33554432000 4194304 4935366 140727096571808 140727096569560 4475457 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 9253 3374 608 181 0 2870 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37012 KiB
Current children cumulated memory: 13496 KiB
[startup+1.50025 s]
/proc/loadavg: 2.39 2.12 2.08 3/203 29898
/proc/meminfo: memFree=30799232/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=41020 memory=17464 CPUtime=1.49 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 4576 0 0 0 148 1 0 0 20 0 1 0 407774929 42004480 4366 33554432000 4194304 4935366 140727096571808 140727096569368 4461252 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 10255 4366 608 181 0 3872 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41020 KiB
Current children cumulated memory: 17464 KiB
[startup+3.10988 s]
/proc/loadavg: 2.36 2.12 2.08 3/204 29900
/proc/meminfo: memFree=30790384/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=46948 memory=23436 CPUtime=3.1 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 11090 0 0 0 309 1 0 0 20 0 1 0 407774929 48074752 5859 33554432000 4194304 4935366 140727096571808 140727096569560 4389978 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 11737 5859 608 181 0 5354 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46948 KiB
Current children cumulated memory: 23436 KiB
[startup+6.30038 s]
/proc/loadavg: 2.36 2.12 2.08 3/203 29900
/proc/meminfo: memFree=30783624/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=54912 memory=30704 CPUtime=6.29 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 19321 0 0 0 627 2 0 0 20 0 1 0 407774929 56229888 7676 33554432000 4194304 4935366 140727096571808 140727096569576 4390687 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 13728 7676 608 181 0 7345 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54912 KiB
Current children cumulated memory: 30704 KiB
[startup+12.7003 s]
/proc/loadavg: 2.30 2.11 2.07 3/203 29900
/proc/meminfo: memFree=30774292/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=64256 memory=40432 CPUtime=12.69 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 29761 0 0 0 1266 3 0 0 20 0 1 0 407774929 65798144 10108 33554432000 4194304 4935366 140727096571808 140727096569496 4389978 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 16064 10108 608 181 0 9681 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 64256 KiB
Current children cumulated memory: 40432 KiB
[startup+25.5004 s]
/proc/loadavg: 2.26 2.11 2.07 3/203 29900
/proc/meminfo: memFree=30761160/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=76680 memory=53168 CPUtime=25.48 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 54764 0 0 0 2544 4 0 0 20 0 1 0 407774929 78520320 13292 33554432000 4194304 4935366 140727096571808 140727096569496 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 19170 13292 608 181 0 12787 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 76680 KiB
Current children cumulated memory: 53168 KiB
[startup+51.1101 s]
/proc/loadavg: 2.17 2.10 2.07 3/204 29903
/proc/meminfo: memFree=30742156/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=94612 memory=71040 CPUtime=51.09 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 74540 0 0 0 5103 6 0 0 20 0 1 0 407774929 96882688 17760 33554432000 4194304 4935366 140727096571808 140727096569560 4461244 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 23653 17760 608 181 0 17270 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 94612 KiB
Current children cumulated memory: 71040 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.08 2.07 3/203 29906
/proc/meminfo: memFree=30708860/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=117720 memory=92896 CPUtime=102.28 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 99929 0 0 0 10220 8 0 0 20 0 1 0 407774929 120545280 23224 33554432000 4194304 4935366 140727096571808 140727096569560 4461261 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 29430 23224 608 181 0 23047 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 117720 KiB
Current children cumulated memory: 92896 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/203 29910
/proc/meminfo: memFree=30693540/32770624 swapFree=66965952/67108860
[pid=29897] ppid=29894 vsize=131588 memory=106916 CPUtime=162.27 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 126362 0 0 0 16217 10 0 0 20 0 1 0 407774929 134746112 26729 33554432000 4194304 4935366 140727096571808 140727096569512 4461483 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 32897 26729 608 181 0 26514 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 106916 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/203 29922
/proc/meminfo: memFree=30672300/32770624 swapFree=66965956/67108860
[pid=29897] ppid=29894 vsize=151440 memory=127380 CPUtime=222.23 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 148449 0 0 0 22211 12 0 0 20 0 1 0 407774929 155074560 31845 33554432000 4194304 4935366 140727096571808 140727096569512 4461244 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 37860 31845 608 181 0 31477 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 151440 KiB
Current children cumulated memory: 127380 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/203 29928
/proc/meminfo: memFree=30646316/32770624 swapFree=66965956/67108860
[pid=29897] ppid=29894 vsize=167200 memory=143012 CPUtime=282.23 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 153728 0 0 0 28209 14 0 0 20 0 1 0 407774929 171212800 35753 33554432000 4194304 4935366 140727096571808 140727096569512 139921376621428 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 41800 35753 608 181 0 35417 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 167200 KiB
Current children cumulated memory: 143012 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 29932
/proc/meminfo: memFree=30634160/32770624 swapFree=66965956/67108860
[pid=29897] ppid=29894 vsize=180256 memory=156032 CPUtime=342.22 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 162830 0 0 0 34207 15 0 0 20 0 1 0 407774929 184582144 39008 33554432000 4194304 4935366 140727096571808 140727096569512 4389978 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 45064 39008 608 181 0 38681 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 180256 KiB
Current children cumulated memory: 156032 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 29936
/proc/meminfo: memFree=30620860/32770624 swapFree=66965956/67108860
[pid=29897] ppid=29894 vsize=190108 memory=165772 CPUtime=402.22 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 174059 0 0 0 40205 17 0 0 20 0 1 0 407774929 194670592 41443 33554432000 4194304 4935366 140727096571808 140727096569512 4390308 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 47527 41443 608 181 0 41144 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 190108 KiB
Current children cumulated memory: 165772 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/204 29943
/proc/meminfo: memFree=30607388/32770624 swapFree=66965956/67108860
[pid=29897] ppid=29894 vsize=199888 memory=175488 CPUtime=462.22 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 187384 0 0 0 46204 18 0 0 20 0 1 0 407774929 204685312 43872 33554432000 4194304 4935366 140727096571808 140727096569496 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 49972 43872 608 181 0 43589 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 199888 KiB
Current children cumulated memory: 175488 KiB
################
# More data... #
################
/proc/29897/statm: 75613 69361 608 181 0 69230 0
Current children cumulated CPU time: 1602.14 s
Current children cumulated vsize: 302452 KiB
Current children cumulated memory: 277444 KiB
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/204 30240
/proc/meminfo: memFree=30083452/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=304896 memory=279880 CPUtime=1662.14 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 328039 0 0 0 166177 37 0 0 20 0 1 0 407774929 312213504 69970 33554432000 4194304 4935366 140727096571808 140727096569496 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 76224 69970 608 181 0 69841 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 304896 KiB
Current children cumulated memory: 279880 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/203 30246
/proc/meminfo: memFree=29861768/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=312776 memory=287752 CPUtime=1722.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 333239 0 0 0 172175 38 0 0 20 0 1 0 407774929 320282624 71938 33554432000 4194304 4935366 140727096571808 140727096569560 4461238 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 78194 71938 608 181 0 71811 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 312776 KiB
Current children cumulated memory: 287752 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30250
/proc/meminfo: memFree=29657108/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=315020 memory=290168 CPUtime=1782.14 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 336167 0 0 0 178175 39 0 0 20 0 1 0 407774929 322580480 72542 33554432000 4194304 4935366 140727096571808 140727096569512 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 78755 72542 608 181 0 72372 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 315020 KiB
Current children cumulated memory: 290168 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30255
/proc/meminfo: memFree=29484416/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=315504 memory=290712 CPUtime=1842.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 338660 0 0 0 184174 39 0 0 20 0 1 0 407774929 323076096 72678 33554432000 4194304 4935366 140727096571808 140727096569560 4461227 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 78876 72678 608 181 0 72493 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 315504 KiB
Current children cumulated memory: 290712 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30261
/proc/meminfo: memFree=29349876/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=320020 memory=295140 CPUtime=1902.14 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 343108 0 0 0 190174 40 0 0 20 0 1 0 407774929 327700480 73785 33554432000 4194304 4935366 140727096571808 140727096569560 4461069 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 80005 73785 608 181 0 73622 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 320020 KiB
Current children cumulated memory: 295140 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/204 30266
/proc/meminfo: memFree=29136388/32770624 swapFree=66965976/67108860
[pid=29897] ppid=29894 vsize=321832 memory=296944 CPUtime=1962.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 347502 0 0 0 196173 40 0 0 20 0 1 0 407774929 329555968 74236 33554432000 4194304 4935366 140727096571808 140727096569496 4331578 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 80458 74236 608 181 0 74075 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 321832 KiB
Current children cumulated memory: 296944 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/205 30278
/proc/meminfo: memFree=28950744/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=326344 memory=301596 CPUtime=2022.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 353272 0 0 0 202172 41 0 0 20 0 1 0 407774929 334176256 75399 33554432000 4194304 4935366 140727096571808 140727096569560 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 81586 75399 608 181 0 75203 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 326344 KiB
Current children cumulated memory: 301596 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/205 30284
/proc/meminfo: memFree=28806464/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=329488 memory=304716 CPUtime=2082.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 360163 0 0 0 208171 42 0 0 20 0 1 0 407774929 337395712 76179 33554432000 4194304 4935366 140727096571808 140727096569496 4461069 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 82372 76179 608 181 0 75989 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 329488 KiB
Current children cumulated memory: 304716 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/204 30288
/proc/meminfo: memFree=28618456/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=330780 memory=306012 CPUtime=2142.12 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 366569 0 0 0 214170 42 0 0 20 0 1 0 407774929 338718720 76503 33554432000 4194304 4935366 140727096571808 140727096569560 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 82695 76503 608 181 0 76312 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 330780 KiB
Current children cumulated memory: 306012 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/204 30292
/proc/meminfo: memFree=28439644/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=338072 memory=313228 CPUtime=2202.12 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 375278 0 0 0 220169 43 0 0 20 0 1 0 407774929 346185728 78307 33554432000 4194304 4935366 140727096571808 140727096569560 4461247 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 84518 78307 608 181 0 78135 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 338072 KiB
Current children cumulated memory: 313228 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30298
/proc/meminfo: memFree=28207352/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=346284 memory=321400 CPUtime=2262.13 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 387110 0 0 0 226167 46 0 0 20 0 1 0 407774929 354594816 80350 33554432000 4194304 4935366 140727096571808 140727096569496 4461252 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 86571 80350 608 181 0 80188 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 346284 KiB
Current children cumulated memory: 321400 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30303
/proc/meminfo: memFree=28017556/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=346780 memory=321796 CPUtime=2322.12 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 397542 0 0 0 232166 46 0 0 20 0 1 0 407774929 355102720 80449 33554432000 4194304 4935366 140727096571808 140727096569496 4461069 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 86695 80449 608 181 0 80312 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 346780 KiB
Current children cumulated memory: 321796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30307
/proc/meminfo: memFree=27874088/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=346976 memory=322008 CPUtime=2382.12 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 407596 0 0 0 238165 47 0 0 20 0 1 0 407774929 355303424 80502 33554432000 4194304 4935366 140727096571808 140727096569496 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 86744 80502 608 181 0 80361 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 346976 KiB
Current children cumulated memory: 322008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30310
/proc/meminfo: memFree=27843060/32770624 swapFree=66965980/67108860
[pid=29897] ppid=29894 vsize=346976 memory=322024 CPUtime=2400.02 cores=0,2,4,6
/proc/29897/stat : 29897 (nacre_mini_rele) R 29894 29897 25882 0 -1 4202496 408373 0 0 0 239955 47 0 0 20 0 1 0 407774929 355303424 80506 33554432000 4194304 4935366 140727096571808 140727096569496 4390278 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 36421632 140727096574977 140727096575077 140727096575077 140727096577986 0
/proc/29897/statm: 86744 80506 608 181 0 80361 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 346976 KiB
Current children cumulated memory: 322024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 29897 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.56 s, system=0.477985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.04
CPU user time (s): 2399.56
CPU system time (s): 0.477985
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 346976
Max. memory (cumulated for all children) (KiB): 322024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.56
system time used= 0.477985
maximum resident set size= 322100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408417
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= 144
involuntary context switches= 1340
# summary of solver processes directly reported to runsolver:
# pid: 29897
# total CPU time (s): 2400.04
# total CPU user time (s): 2399.56
# total CPU system time (s): 0.477985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52882 second user time and 18.4642 second system time
The end