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 (9088 MiB free)
memory of node 1: 16384 MiB (11680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299261-1532783732/watcher-4299261-1532783732 -o /tmp/evaluation-result-4299261-1532783732/solver-4299261-1532783732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580 nacre_mini_release HOME/instance-4299261-1532783732.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
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
solver pid=21646, runsolver pid=21643
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21266396/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=27440 memory=4180 CPUtime=0.1 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 1237 0 0 0 10 0 0 0 20 0 1 0 95936375 28098560 1045 33554432000 4194304 4933779 140730747690336 140730747687336 140249970985957 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 6860 1045 610 181 0 477 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4180 KiB
[startup+0.209354 s]*
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21265652/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=28700 memory=5236 CPUtime=0.21 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 1530 0 0 0 21 0 0 0 20 0 1 0 95936375 29388800 1309 33554432000 4194304 4933779 140730747690336 140730747687336 140249970985957 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 7175 1309 610 181 0 792 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28700 KiB
Current children cumulated memory: 5236 KiB
[startup+0.308919 s]*
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21264464/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=29624 memory=6292 CPUtime=0.31 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 1773 0 0 0 31 0 0 0 20 0 1 0 95936375 30334976 1573 33554432000 4194304 4933779 140730747690336 140730747687336 140249970985957 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 7406 1573 610 181 0 1023 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29624 KiB
Current children cumulated memory: 6292 KiB
[startup+0.700347 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21261928/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=33772 memory=10288 CPUtime=0.69 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 2779 0 0 0 69 0 0 0 20 0 1 0 95936375 34582528 2572 33554432000 4194304 4933779 140730747690336 140730747688088 4333246 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 8443 2572 610 181 0 2060 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33772 KiB
Current children cumulated memory: 10288 KiB
[startup+1.50035 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21255852/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=40916 memory=17436 CPUtime=1.49 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 4588 0 0 0 149 0 0 0 20 0 1 0 95936375 41897984 4359 33554432000 4194304 4933779 140730747690336 140730747688088 140249970985957 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 10229 4359 610 181 0 3846 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40916 KiB
Current children cumulated memory: 17436 KiB
[startup+3.10943 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21246840/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=47324 memory=23072 CPUtime=3.1 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 10346 0 0 0 309 1 0 0 20 0 1 0 95936375 48459776 5768 33554432000 4194304 4933779 140730747690336 140730747688088 4357281 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 11831 5768 610 181 0 5448 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47324 KiB
Current children cumulated memory: 23072 KiB
[startup+6.30037 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21241636/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=51700 memory=27632 CPUtime=6.29 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 17076 0 0 0 628 1 0 0 20 0 1 0 95936375 52940800 6908 33554432000 4194304 4933779 140730747690336 140730747688024 4437430 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 12925 6908 610 181 0 6542 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 51700 KiB
Current children cumulated memory: 27632 KiB
[startup+12.7004 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 21647
/proc/meminfo: memFree=21232460/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=60748 memory=36856 CPUtime=12.69 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 26067 0 0 0 1267 2 0 0 20 0 1 0 95936375 62205952 9214 33554432000 4194304 4933779 140730747690336 140730747688024 4437839 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 15187 9214 610 181 0 8804 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 60748 KiB
Current children cumulated memory: 36856 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 21647
/proc/meminfo: memFree=21218324/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=72112 memory=47064 CPUtime=25.49 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 47916 0 0 0 2546 3 0 0 20 0 1 0 95936375 73842688 11766 33554432000 4194304 4933779 140730747690336 140730747688088 4357539 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 18028 11766 610 181 0 11645 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 72112 KiB
Current children cumulated memory: 47064 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 21647
/proc/meminfo: memFree=21195140/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=88752 memory=63652 CPUtime=51.09 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 65501 0 0 0 5105 4 0 0 20 0 1 0 95936375 90882048 15913 33554432000 4194304 4933779 140730747690336 140730747688024 4475930 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 22188 15913 610 181 0 15805 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 88752 KiB
Current children cumulated memory: 63652 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 21648
/proc/meminfo: memFree=21159184/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=114896 memory=89916 CPUtime=102.29 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 89198 0 0 0 10222 7 0 0 20 0 1 0 95936375 117653504 22479 33554432000 4194304 4933779 140730747690336 140730747688024 4437536 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 28724 22479 610 181 0 22341 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 114896 KiB
Current children cumulated memory: 89916 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 21649
/proc/meminfo: memFree=21129912/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=132152 memory=106904 CPUtime=162.29 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 115646 0 0 0 16220 9 0 0 20 0 1 0 95936375 135323648 26726 33554432000 4194304 4933779 140730747690336 140730747688024 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 33038 26726 610 181 0 26655 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 132152 KiB
Current children cumulated memory: 106904 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 21650
/proc/meminfo: memFree=21100540/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=153236 memory=125296 CPUtime=222.29 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 147699 0 0 0 22217 12 0 0 20 0 1 0 95936375 156913664 31324 33554432000 4194304 4933779 140730747690336 140730747688024 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 38309 31324 610 181 0 31926 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 153236 KiB
Current children cumulated memory: 125296 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21659
/proc/meminfo: memFree=21076788/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=163652 memory=136144 CPUtime=282.28 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 180468 0 0 0 28214 14 0 0 20 0 1 0 95936375 167579648 34036 33554432000 4194304 4933779 140730747690336 140730747688024 4437386 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 40913 34036 610 181 0 34530 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 163652 KiB
Current children cumulated memory: 136144 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 21661
/proc/meminfo: memFree=21056204/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=175048 memory=147736 CPUtime=342.28 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 216751 0 0 0 34211 17 0 0 20 0 1 0 95936375 179249152 36934 33554432000 4194304 4933779 140730747690336 140730747688024 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 43762 36934 610 181 0 37379 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 175048 KiB
Current children cumulated memory: 147736 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 21662
/proc/meminfo: memFree=21033392/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=186084 memory=158548 CPUtime=402.28 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 255703 0 0 0 40209 19 0 0 20 0 1 0 95936375 190550016 39637 33554432000 4194304 4933779 140730747690336 140730747688024 4475935 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 46521 39637 610 181 0 40138 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 186084 KiB
Current children cumulated memory: 158548 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 21663
/proc/meminfo: memFree=21008620/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=196516 memory=169220 CPUtime=462.28 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 296818 0 0 0 46206 22 0 0 20 0 1 0 95936375 201232384 42305 33554432000 4194304 4933779 140730747690336 140730747688040 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 49129 42305 610 181 0 42746 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 196516 KiB
Current children cumulated memory: 169220 KiB
################
# More data... #
################
/proc/21646/statm: 85108 79190 610 181 0 78725 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 340432 KiB
Current children cumulated memory: 316760 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21947
/proc/meminfo: memFree=21721192/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=346276 memory=322564 CPUtime=1782.11 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 494826 0 0 0 178170 41 0 0 20 0 1 0 95936375 354586624 80641 33554432000 4194304 4933779 140730747690336 140730747688024 4357408 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 86569 80641 610 181 0 80186 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 346276 KiB
Current children cumulated memory: 322564 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21948
/proc/meminfo: memFree=21712748/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=351120 memory=326988 CPUtime=1842.11 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 503846 0 0 0 184170 41 0 0 20 0 1 0 95936375 359546880 81747 33554432000 4194304 4933779 140730747690336 140730747688024 4365282 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 87780 81747 610 181 0 81397 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 351120 KiB
Current children cumulated memory: 326988 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 21949
/proc/meminfo: memFree=21703168/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=355028 memory=331596 CPUtime=1902.1 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 506101 0 0 0 190168 42 0 0 20 0 1 0 95936375 363548672 82899 33554432000 4194304 4933779 140730747690336 140730747688024 4357532 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 88757 82899 610 181 0 82374 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 355028 KiB
Current children cumulated memory: 331596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21950
/proc/meminfo: memFree=21697904/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=357228 memory=333572 CPUtime=1962.1 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 508112 0 0 0 196168 42 0 0 20 0 1 0 95936375 365801472 83393 33554432000 4194304 4933779 140730747690336 140730747688024 4437581 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 89307 83393 610 181 0 82924 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 357228 KiB
Current children cumulated memory: 333572 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21951
/proc/meminfo: memFree=21689216/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=360800 memory=337112 CPUtime=2022.09 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 511248 0 0 0 202167 42 0 0 20 0 1 0 95936375 369459200 84278 33554432000 4194304 4933779 140730747690336 140730747688024 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 90200 84278 610 181 0 83817 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 360800 KiB
Current children cumulated memory: 337112 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21959
/proc/meminfo: memFree=21679912/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=364328 memory=340640 CPUtime=2082.1 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 515331 0 0 0 208167 43 0 0 20 0 1 0 95936375 373071872 85160 33554432000 4194304 4933779 140730747690336 140730747688024 4357518 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 91082 85160 610 181 0 84699 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 364328 KiB
Current children cumulated memory: 340640 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21960
/proc/meminfo: memFree=21671744/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=368060 memory=344340 CPUtime=2142.09 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 520404 0 0 0 214166 43 0 0 20 0 1 0 95936375 376893440 86085 33554432000 4194304 4933779 140730747690336 140730747688024 140249977280782 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 92015 86085 610 181 0 85632 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 368060 KiB
Current children cumulated memory: 344340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21961
/proc/meminfo: memFree=21664436/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=372276 memory=348348 CPUtime=2202.08 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 526198 0 0 0 220165 43 0 0 20 0 1 0 95936375 381210624 87087 33554432000 4194304 4933779 140730747690336 140730747688024 4437453 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 93069 87087 610 181 0 86686 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 372276 KiB
Current children cumulated memory: 348348 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21962
/proc/meminfo: memFree=21657972/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=375380 memory=351692 CPUtime=2262.09 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 532883 0 0 0 226165 44 0 0 20 0 1 0 95936375 384389120 87923 33554432000 4194304 4933779 140730747690336 140730747688024 4437830 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 93845 87923 610 181 0 87462 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 375380 KiB
Current children cumulated memory: 351692 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21963
/proc/meminfo: memFree=21647336/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=382008 memory=358528 CPUtime=2322.07 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 535856 0 0 0 232163 44 0 0 20 0 1 0 95936375 391176192 89632 33554432000 4194304 4933779 140730747690336 140730747688024 4437567 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 95502 89632 610 181 0 89119 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 382008 KiB
Current children cumulated memory: 358528 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21965
/proc/meminfo: memFree=21641020/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=385776 memory=362188 CPUtime=2382.07 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 538997 0 0 0 238162 45 0 0 20 0 1 0 95936375 395034624 90547 33554432000 4194304 4933779 140730747690336 140730747688088 4437581 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 96444 90547 610 181 0 90061 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 385776 KiB
Current children cumulated memory: 362188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21966
/proc/meminfo: memFree=21629984/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=393696 memory=369644 CPUtime=2442.07 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 544600 0 0 0 244161 46 0 0 20 0 1 0 95936375 403144704 92411 33554432000 4194304 4933779 140730747690336 140730747688024 140249977278922 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 98424 92411 610 181 0 92041 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 393696 KiB
Current children cumulated memory: 369644 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21967
/proc/meminfo: memFree=21624872/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=394548 memory=370688 CPUtime=2502.07 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 549032 0 0 0 250161 46 0 0 20 0 1 0 95936375 404017152 92672 33554432000 4194304 4933779 140730747690336 140730747688024 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 98637 92672 610 181 0 92254 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 394548 KiB
Current children cumulated memory: 370688 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 21967
/proc/meminfo: memFree=21621152/32770624 swapFree=67108796/67108860
[pid=21646] ppid=21643 vsize=397312 memory=373248 CPUtime=2519.78 cores=0,2,4,6
/proc/21646/stat : 21646 (nacre_mini_rele) R 21643 21646 24279 0 -1 4202496 549912 0 0 0 251931 47 0 0 20 0 1 0 95936375 406847488 93312 33554432000 4194304 4933779 140730747690336 140730747687848 140249970983678 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39542784 140730747692184 140730747692284 140730747692284 140730747695042 0
/proc/21646/statm: 99328 93312 610 181 0 92945 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 397312 KiB
Current children cumulated memory: 373248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.32 s, system=0.474988 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.79
CPU user time (s): 2519.32
CPU system time (s): 0.474988
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 397312
Max. memory (cumulated for all children) (KiB): 373248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.32
system time used= 0.474988
maximum resident set size= 373372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549954
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= 171
involuntary context switches= 1351
# summary of solver processes directly reported to runsolver:
# pid: 21646
# total CPU time (s): 2519.79
# total CPU user time (s): 2519.32
# total CPU system time (s): 0.474988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48683 second user time and 18.9187 second system time
The end