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 (13588 MiB free)
memory of node 1: 16384 MiB (14212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391486-1568311604/watcher-4391486-1568311604 -o /tmp/evaluation-result-4391486-1568311604/solver-4391486-1568311604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391486-1568311604.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=26154, runsolver pid=26151
[startup+0.100167 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28465752/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=28660 memory=5208 CPUtime=0.1 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 1500 0 0 0 10 0 0 0 20 0 1 0 407428217 29347840 1302 33554432000 4194304 4935366 140731408336640 140731408333640 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 7165 1302 612 181 0 782 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28660 KiB
Current children cumulated memory: 5208 KiB
[startup+0.209574 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28464376/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=29924 memory=6536 CPUtime=0.21 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 1834 0 0 0 21 0 0 0 20 0 1 0 407428217 30642176 1634 33554432000 4194304 4935366 140731408336640 140731408333640 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 7481 1634 612 181 0 1098 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29924 KiB
Current children cumulated memory: 6536 KiB
[startup+0.308977 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28462888/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=31348 memory=8008 CPUtime=0.31 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 2190 0 0 0 31 0 0 0 20 0 1 0 407428217 32100352 2002 33554432000 4194304 4935366 140731408336640 140731408333640 139816374010411 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 7837 2002 612 181 0 1454 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31348 KiB
Current children cumulated memory: 8008 KiB
[startup+0.700296 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28459540/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=37328 memory=13980 CPUtime=0.69 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 3665 0 0 0 69 0 0 0 20 0 1 0 407428217 38223872 3495 33554432000 4194304 4935366 140731408336640 140731408334392 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 9332 3495 612 181 0 2949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37328 KiB
Current children cumulated memory: 13980 KiB
[startup+1.50032 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28452348/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=45780 memory=22328 CPUtime=1.49 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 5811 0 0 0 148 1 0 0 20 0 1 0 407428217 46878720 5582 33554432000 4194304 4935366 140731408336640 140731408334392 139816374756766 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 11445 5582 612 181 0 5062 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 22328 KiB
[startup+3.10956 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28436132/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=59580 memory=35768 CPUtime=3.1 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 15206 0 0 0 309 1 0 0 20 0 1 0 407428217 61009920 8942 33554432000 4194304 4935366 140731408336640 140731408334392 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 14895 8942 612 181 0 8512 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59580 KiB
Current children cumulated memory: 35768 KiB
[startup+6.30034 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 26155
/proc/meminfo: memFree=28419484/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=76840 memory=52936 CPUtime=6.29 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 29240 0 0 0 627 2 0 0 20 0 1 0 407428217 78684160 13234 33554432000 4194304 4935366 140731408336640 140731408334328 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 19210 13234 612 181 0 12827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 76840 KiB
Current children cumulated memory: 52936 KiB
[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.05 3/199 26155
/proc/meminfo: memFree=28398756/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=97520 memory=73760 CPUtime=12.68 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 47983 0 0 0 1264 4 0 0 20 0 1 0 407428217 99860480 18440 33554432000 4194304 4935366 140731408336640 140731408334344 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 24380 18440 612 181 0 17997 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 97520 KiB
Current children cumulated memory: 73760 KiB
[startup+25.5004 s]
/proc/loadavg: 2.48 2.14 2.08 3/199 26156
/proc/meminfo: memFree=28369632/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=127244 memory=102384 CPUtime=25.47 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 85014 0 0 0 2540 7 0 0 20 0 1 0 407428217 130297856 25596 33554432000 4194304 4935366 140731408336640 140731408334152 139816380204266 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 31811 25596 612 181 0 25428 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 127244 KiB
Current children cumulated memory: 102384 KiB
[startup+51.1097 s]
/proc/loadavg: 2.92 2.27 2.12 3/199 26158
/proc/meminfo: memFree=28333412/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=160896 memory=136388 CPUtime=51.06 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 107074 0 0 0 5096 10 0 0 20 0 1 0 407428217 164757504 34097 33554432000 4194304 4935366 140731408336640 140731408334328 4461244 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 40224 34097 612 181 0 33841 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 160896 KiB
Current children cumulated memory: 136388 KiB
[startup+102.3 s]
/proc/loadavg: 2.40 2.23 2.12 3/203 26183
/proc/meminfo: memFree=28288084/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=199900 memory=175992 CPUtime=102.21 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 129591 0 0 0 10208 13 0 0 20 0 1 0 407428217 204697600 43998 33554432000 4194304 4935366 140731408336640 140731408334392 4461358 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 49975 43998 612 181 0 43592 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 199900 KiB
Current children cumulated memory: 175992 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 2.20 2.12 3/200 26189
/proc/meminfo: memFree=28250480/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=239384 memory=215256 CPUtime=162.2 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 141749 0 0 0 16202 18 0 0 20 0 1 0 407428217 245129216 53814 33554432000 4194304 4935366 140731408336640 140731408334344 139816374012901 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 59846 53814 612 181 0 53463 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 239384 KiB
Current children cumulated memory: 215256 KiB
[startup+222.3 s]
/proc/loadavg: 2.10 2.18 2.12 3/200 26195
/proc/meminfo: memFree=28219412/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=269560 memory=245308 CPUtime=222.21 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 161169 0 0 0 22199 22 0 0 20 0 1 0 407428217 276029440 61327 33554432000 4194304 4935366 140731408336640 140731408334392 4427102 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 67390 61327 612 181 0 61007 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 269560 KiB
Current children cumulated memory: 245308 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 2.16 2.12 3/200 26206
/proc/meminfo: memFree=28194128/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=294684 memory=270444 CPUtime=282.2 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 186483 0 0 0 28195 25 0 0 20 0 1 0 407428217 301756416 67611 33554432000 4194304 4935366 140731408336640 140731408334152 4461244 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 73671 67611 612 181 0 67288 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 294684 KiB
Current children cumulated memory: 270444 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.13 2.11 4/213 26239
/proc/meminfo: memFree=28357400/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=321624 memory=295328 CPUtime=342.2 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 214970 0 0 0 34192 28 0 0 20 0 1 0 407428217 329342976 73832 33554432000 4194304 4935366 140731408336640 140731408334344 4416367 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 80406 73832 612 181 0 74023 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 321624 KiB
Current children cumulated memory: 295328 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 2.09 2.10 3/200 26276
/proc/meminfo: memFree=28217932/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=343512 memory=317060 CPUtime=402.2 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 228866 0 0 0 40189 31 0 0 20 0 1 0 407428217 351756288 79265 33554432000 4194304 4935366 140731408336640 140731408334152 4461069 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 85878 79265 612 181 0 79495 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 317060 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.09 2.10 3/200 26281
/proc/meminfo: memFree=28157308/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=363272 memory=337272 CPUtime=462.18 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 272115 0 0 0 46182 36 0 0 20 0 1 0 407428217 371990528 84318 33554432000 4194304 4935366 140731408336640 140731408334392 4461472 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 90818 84318 612 181 0 84435 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 363272 KiB
Current children cumulated memory: 337272 KiB
################
# More data... #
################
/proc/26154/statm: 149913 143746 612 181 0 143530 0
Current children cumulated CPU time: 1662.04 s
Current children cumulated vsize: 599652 KiB
Current children cumulated memory: 574984 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26396
/proc/meminfo: memFree=27119016/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=607456 memory=582900 CPUtime=1722.03 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 669094 0 0 0 172113 90 0 0 20 0 1 0 407428217 622034944 145725 33554432000 4194304 4935366 140731408336640 140731408334344 4417752 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 151864 145725 612 181 0 145481 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 607456 KiB
Current children cumulated memory: 582900 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26400
/proc/meminfo: memFree=27106548/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=616992 memory=592356 CPUtime=1782.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 687586 0 0 0 178111 93 0 0 20 0 1 0 407428217 631799808 148089 33554432000 4194304 4935366 140731408336640 140731408334344 4461216 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 154248 148089 612 181 0 147865 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 616992 KiB
Current children cumulated memory: 592356 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26406
/proc/meminfo: memFree=27067768/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=625944 memory=601136 CPUtime=1842.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 708116 0 0 0 184108 96 0 0 20 0 1 0 407428217 640966656 150284 33554432000 4194304 4935366 140731408336640 140731408334328 4461238 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 156486 150284 612 181 0 150103 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 625944 KiB
Current children cumulated memory: 601136 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26410
/proc/meminfo: memFree=27041092/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=632732 memory=607592 CPUtime=1902.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 730253 0 0 0 190105 99 0 0 20 0 1 0 407428217 647917568 151898 33554432000 4194304 4935366 140731408336640 140731408334392 4427176 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 158183 151898 612 181 0 151800 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 632732 KiB
Current children cumulated memory: 607592 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 26414
/proc/meminfo: memFree=27034504/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=638124 memory=613116 CPUtime=1962.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 753018 0 0 0 196102 102 0 0 20 0 1 0 407428217 653438976 153279 33554432000 4194304 4935366 140731408336640 140731408334328 4476302 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 159531 153279 612 181 0 153148 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 638124 KiB
Current children cumulated memory: 613116 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 26420
/proc/meminfo: memFree=27027796/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=644360 memory=619428 CPUtime=2022.03 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 777464 0 0 0 202099 104 0 0 20 0 1 0 407428217 659824640 154857 33554432000 4194304 4935366 140731408336640 140731408334392 4461129 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 161090 154857 612 181 0 154707 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 644360 KiB
Current children cumulated memory: 619428 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 26432
/proc/meminfo: memFree=27020508/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=652980 memory=627936 CPUtime=2082.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 804495 0 0 0 208097 107 0 0 20 0 1 0 407428217 668651520 156984 33554432000 4194304 4935366 140731408336640 140731408334152 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 163245 156984 612 181 0 156862 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 652980 KiB
Current children cumulated memory: 627936 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 26436
/proc/meminfo: memFree=27006116/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=658224 memory=633232 CPUtime=2142.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 831463 0 0 0 214093 111 0 0 20 0 1 0 407428217 674021376 158308 33554432000 4194304 4935366 140731408336640 140731408334392 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 164556 158308 612 181 0 158173 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 658224 KiB
Current children cumulated memory: 633232 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 26442
/proc/meminfo: memFree=26988052/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=669708 memory=640836 CPUtime=2202.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 862004 0 0 0 220091 113 0 0 20 0 1 0 407428217 685780992 160209 33554432000 4194304 4935366 140731408336640 140731408334344 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 167427 160209 612 181 0 161044 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 669708 KiB
Current children cumulated memory: 640836 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26446
/proc/meminfo: memFree=26972644/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=675148 memory=646232 CPUtime=2262.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 892593 0 0 0 226089 115 0 0 20 0 1 0 407428217 691351552 161558 33554432000 4194304 4935366 140731408336640 140731408334392 4427386 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 168787 161558 612 181 0 162404 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 675148 KiB
Current children cumulated memory: 646232 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26450
/proc/meminfo: memFree=26952240/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=682520 memory=653532 CPUtime=2322.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 925275 0 0 0 232085 119 0 0 20 0 1 0 407428217 698900480 163383 33554432000 4194304 4935366 140731408336640 140731408334344 4461472 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 170630 163383 612 181 0 164247 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 682520 KiB
Current children cumulated memory: 653532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26456
/proc/meminfo: memFree=26898016/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=689292 memory=660172 CPUtime=2382.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 959366 0 0 0 238081 123 0 0 20 0 1 0 407428217 705835008 165043 33554432000 4194304 4935366 140731408336640 140731408334344 4461504 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 172323 165043 612 181 0 165940 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 689292 KiB
Current children cumulated memory: 660172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26457
/proc/meminfo: memFree=26894936/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=691360 memory=662464 CPUtime=2400.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 961104 0 0 0 239880 124 0 0 20 0 1 0 407428217 707952640 165616 33554432000 4194304 4935366 140731408336640 140731408334328 139816380214030 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 172840 165616 612 181 0 166457 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 691360 KiB
Current children cumulated memory: 662464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 26154 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.81 s, system=1.25199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26457
/proc/meminfo: memFree=26894936/32770624 swapFree=67004752/67108860
[pid=26154] ppid=26151 vsize=691360 memory=662464 CPUtime=2400.04 cores=1,3,5,7
/proc/26154/stat : 26154 (nacre_mini_rele) R 26151 26154 11220 0 -1 4202496 961104 0 0 0 239880 124 0 0 20 0 1 0 407428217 707952640 165616 33554432000 4194304 4935366 140731408336640 140731408334328 139816380214030 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 38801408 140731408339969 140731408340069 140731408340069 140731408342978 0
/proc/26154/statm: 172840 165616 612 181 0 166457 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 691360 KiB
Current children cumulated memory: 662464 KiB
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2398.81
CPU system time (s): 1.25199
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 691360
Max. memory (cumulated for all children) (KiB): 662464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.81
system time used= 1.25199
maximum resident set size= 662548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961147
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= 259
involuntary context switches= 1627
# summary of solver processes directly reported to runsolver:
# pid: 26154
# total CPU time (s): 2400.06
# total CPU user time (s): 2398.81
# total CPU system time (s): 1.25199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37033 second user time and 21.1303 second system time
The end