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 (8882 MiB free)
memory of node 1: 16384 MiB (12655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299850-1532789980/watcher-4299850-1532789980 -o /tmp/evaluation-result-4299850-1532789980/solver-4299850-1532789980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4299850-1532789980.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=22655, runsolver pid=22652
[startup+0.100158 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 22656
/proc/meminfo: memFree=22050152/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=30900 memory=7456 CPUtime=0.1 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 2078 0 0 0 10 0 0 0 20 0 1 0 96561145 31641600 1864 33554432000 4194304 4933779 140726958084208 140726958081208 140041981508581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 7725 1864 607 181 0 1342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30900 KiB
Current children cumulated memory: 7456 KiB
[startup+0.209474 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 22656
/proc/meminfo: memFree=22048664/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=32072 memory=8792 CPUtime=0.21 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 2381 0 0 0 21 0 0 0 20 0 1 0 96561145 32841728 2198 33554432000 4194304 4933779 140726958084208 140726958081208 140041981508581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 8018 2198 607 181 0 1635 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32072 KiB
Current children cumulated memory: 8792 KiB
[startup+0.308962 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 22656
/proc/meminfo: memFree=22047708/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=33296 memory=9848 CPUtime=0.31 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 2647 0 0 0 31 0 0 0 20 0 1 0 96561145 34095104 2462 33554432000 4194304 4933779 140726958084208 140726958081976 140041981508581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 8324 2462 607 181 0 1941 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9848 KiB
[startup+0.700294 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22656
/proc/meminfo: memFree=22045476/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=37016 memory=13528 CPUtime=0.69 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 3588 0 0 0 69 0 0 0 20 0 1 0 96561145 37904384 3382 33554432000 4194304 4933779 140726958084208 140726958081960 4362479 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 9254 3382 607 181 0 2871 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 13528 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 1.99 2.03 4/187 22656
/proc/meminfo: memFree=22041012/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=43896 memory=20556 CPUtime=1.49 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 5333 0 0 0 149 0 0 0 20 0 1 0 96561145 44949504 5139 33554432000 4194304 4933779 140726958084208 140726958081752 4475930 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 10974 5139 607 181 0 4591 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43896 KiB
Current children cumulated memory: 20556 KiB
[startup+3.10944 s]
/proc/loadavg: 1.92 1.97 2.03 3/187 22656
/proc/meminfo: memFree=22025940/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=54108 memory=30664 CPUtime=3.1 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 12753 0 0 0 309 1 0 0 20 0 1 0 96561145 55406592 7666 33554432000 4194304 4933779 140726958084208 140726958081752 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 13527 7666 607 181 0 7144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54108 KiB
Current children cumulated memory: 30664 KiB
[startup+6.30031 s]
/proc/loadavg: 1.92 1.97 2.03 3/187 22656
/proc/meminfo: memFree=22014284/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=66288 memory=42276 CPUtime=6.29 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 23324 0 0 0 627 2 0 0 20 0 1 0 96561145 67878912 10569 33554432000 4194304 4933779 140726958084208 140726958081896 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 16572 10569 607 181 0 10189 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 66288 KiB
Current children cumulated memory: 42276 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 2.03 3/187 22656
/proc/meminfo: memFree=21997376/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=81576 memory=57816 CPUtime=12.68 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 33878 0 0 0 1265 3 0 0 20 0 1 0 96561145 83533824 14454 33554432000 4194304 4933779 140726958084208 140726958081912 140041987699992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 20394 14454 607 181 0 14011 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 81576 KiB
Current children cumulated memory: 57816 KiB
[startup+25.5004 s]
/proc/loadavg: 1.86 1.95 2.02 3/187 22663
/proc/meminfo: memFree=21976776/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=99660 memory=76156 CPUtime=25.48 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 57754 0 0 0 2543 5 0 0 20 0 1 0 96561145 102051840 19039 33554432000 4194304 4933779 140726958084208 140726958081896 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 24915 19039 607 181 0 18532 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 99660 KiB
Current children cumulated memory: 76156 KiB
[startup+51.1096 s]
/proc/loadavg: 1.91 1.96 2.02 3/187 22663
/proc/meminfo: memFree=21949040/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=124140 memory=100560 CPUtime=51.07 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 69791 0 0 0 5100 7 0 0 20 0 1 0 96561145 127119360 25140 33554432000 4194304 4933779 140726958084208 140726958081912 4435152 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 31035 25140 607 181 0 24652 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 124140 KiB
Current children cumulated memory: 100560 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 1.98 2.03 3/188 22687
/proc/meminfo: memFree=21910472/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=158164 memory=133640 CPUtime=102.24 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 79242 0 0 0 10214 10 0 0 20 0 1 0 96561145 161959936 33410 33554432000 4194304 4933779 140726958084208 140726958081912 4388544 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 39541 33410 607 181 0 33158 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 158164 KiB
Current children cumulated memory: 133640 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/188 22688
/proc/meminfo: memFree=21879472/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=184236 memory=159860 CPUtime=162.25 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 93360 0 0 0 16211 14 0 0 20 0 1 0 96561145 188657664 39965 33554432000 4194304 4933779 140726958084208 140726958081960 4362483 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 46059 39965 607 181 0 39676 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 184236 KiB
Current children cumulated memory: 159860 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/188 22689
/proc/meminfo: memFree=21854424/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=203812 memory=179444 CPUtime=222.24 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 111546 0 0 0 22207 17 0 0 20 0 1 0 96561145 208703488 44861 33554432000 4194304 4933779 140726958084208 140726958081912 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 50953 44861 607 181 0 44570 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 203812 KiB
Current children cumulated memory: 179444 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/188 22690
/proc/meminfo: memFree=21830444/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=220676 memory=196576 CPUtime=282.24 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 133671 0 0 0 28204 20 0 0 20 0 1 0 96561145 225972224 49144 33554432000 4194304 4933779 140726958084208 140726958081912 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 55169 49144 607 181 0 48786 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 220676 KiB
Current children cumulated memory: 196576 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 22691
/proc/meminfo: memFree=21811760/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=237432 memory=213228 CPUtime=342.24 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 161165 0 0 0 34202 22 0 0 20 0 1 0 96561145 243130368 53307 33554432000 4194304 4933779 140726958084208 140726958081912 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 59358 53307 607 181 0 52975 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 237432 KiB
Current children cumulated memory: 213228 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 22692
/proc/meminfo: memFree=21793832/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=250272 memory=226324 CPUtime=402.21 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 183928 0 0 0 40197 24 0 0 20 0 1 0 96561145 256278528 56581 33554432000 4194304 4933779 140726958084208 140726958081912 4437792 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 62568 56581 607 181 0 56185 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 250272 KiB
Current children cumulated memory: 226324 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 22693
/proc/meminfo: memFree=21774648/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=266512 memory=242584 CPUtime=462.2 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 188639 0 0 0 46194 26 0 0 20 0 1 0 96561145 272908288 60646 33554432000 4194304 4933779 140726958084208 140726958081896 4365290 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 66628 60646 607 181 0 60245 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 266512 KiB
Current children cumulated memory: 242584 KiB
################
# More data... #
################
/proc/22655/statm: 107502 101520 607 181 0 101119 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 430008 KiB
Current children cumulated memory: 406080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22733
/proc/meminfo: memFree=21560076/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=434792 memory=411040 CPUtime=1782.11 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 390668 0 0 0 178148 63 0 0 20 0 1 0 96561145 445227008 102760 33554432000 4194304 4933779 140726958084208 140726958081912 4437416 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 108698 102760 607 181 0 102315 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 434792 KiB
Current children cumulated memory: 411040 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22741
/proc/meminfo: memFree=21548252/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=443468 memory=419620 CPUtime=1842.1 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 395706 0 0 0 184146 64 0 0 20 0 1 0 96561145 454111232 104905 33554432000 4194304 4933779 140726958084208 140726958081960 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 110867 104905 607 181 0 104484 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 443468 KiB
Current children cumulated memory: 419620 KiB
[startup+1902.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/188 22863
/proc/meminfo: memFree=21599924/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=446464 memory=422632 CPUtime=1902.11 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 400563 0 0 0 190146 65 0 0 20 0 1 0 96561145 457179136 105658 33554432000 4194304 4933779 140726958084208 140726958081896 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 111616 105658 607 181 0 105233 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 446464 KiB
Current children cumulated memory: 422632 KiB
[startup+1962.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/188 22864
/proc/meminfo: memFree=21495768/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=449980 memory=426104 CPUtime=1962.1 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 406023 0 0 0 196144 66 0 0 20 0 1 0 96561145 460779520 106526 33554432000 4194304 4933779 140726958084208 140726958081960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 112495 106526 607 181 0 106112 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 449980 KiB
Current children cumulated memory: 426104 KiB
[startup+2022.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/188 22865
/proc/meminfo: memFree=21433788/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=462544 memory=438632 CPUtime=2022.1 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 416119 0 0 0 202142 68 0 0 20 0 1 0 96561145 473645056 109658 33554432000 4194304 4933779 140726958084208 140726958081896 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 115636 109658 607 181 0 109253 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 462544 KiB
Current children cumulated memory: 438632 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/188 22866
/proc/meminfo: memFree=21405392/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=463360 memory=439272 CPUtime=2082.09 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 425157 0 0 0 208140 69 0 0 20 0 1 0 96561145 474480640 109818 33554432000 4194304 4933779 140726958084208 140726958081912 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 115840 109818 607 181 0 109457 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 463360 KiB
Current children cumulated memory: 439272 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 22867
/proc/meminfo: memFree=21331312/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=466016 memory=442128 CPUtime=2142.09 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 427053 0 0 0 214139 70 0 0 20 0 1 0 96561145 477200384 110532 33554432000 4194304 4933779 140726958084208 140726958081960 4437796 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 116504 110532 607 181 0 110121 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 466016 KiB
Current children cumulated memory: 442128 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 22868
/proc/meminfo: memFree=21279960/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=469344 memory=445608 CPUtime=2202.08 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 429459 0 0 0 220138 70 0 0 20 0 1 0 96561145 480608256 111402 33554432000 4194304 4933779 140726958084208 140726958081912 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 117336 111402 607 181 0 110953 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 469344 KiB
Current children cumulated memory: 445608 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 22869
/proc/meminfo: memFree=21239996/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=474224 memory=450336 CPUtime=2262.09 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 433267 0 0 0 226138 71 0 0 20 0 1 0 96561145 485605376 112584 33554432000 4194304 4933779 140726958084208 140726958081960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 118556 112584 607 181 0 112173 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 474224 KiB
Current children cumulated memory: 450336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22870
/proc/meminfo: memFree=21217908/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=493472 memory=469604 CPUtime=2322.08 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 445049 0 0 0 232135 73 0 0 20 0 1 0 96561145 505315328 117401 33554432000 4194304 4933779 140726958084208 140726958081896 4437558 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 123368 117401 607 181 0 116985 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 493472 KiB
Current children cumulated memory: 469604 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22871
/proc/meminfo: memFree=21129520/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=500864 memory=476980 CPUtime=2382.08 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 455016 0 0 0 238134 74 0 0 20 0 1 0 96561145 512884736 119245 33554432000 4194304 4933779 140726958084208 140726958081960 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 125216 119245 607 181 0 118833 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 500864 KiB
Current children cumulated memory: 476980 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22879
/proc/meminfo: memFree=21078660/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=509028 memory=485152 CPUtime=2442.07 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 465220 0 0 0 244131 76 0 0 20 0 1 0 96561145 521244672 121288 33554432000 4194304 4933779 140726958084208 140726958081960 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 127257 121288 607 181 0 120874 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 509028 KiB
Current children cumulated memory: 485152 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22880
/proc/meminfo: memFree=21022384/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=525472 memory=501304 CPUtime=2502.07 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 483472 0 0 0 250128 79 0 0 20 0 1 0 96561145 538083328 125326 33554432000 4194304 4933779 140726958084208 140726958081960 4437494 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 131368 125326 607 181 0 124985 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 525472 KiB
Current children cumulated memory: 501304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 22880
/proc/meminfo: memFree=21011572/32770624 swapFree=67108796/67108860
[pid=22655] ppid=22652 vsize=531900 memory=507624 CPUtime=2519.78 cores=1,3,5,7
/proc/22655/stat : 22655 (nacre_mini_rele) R 22652 22655 24279 0 -1 4202496 486055 0 0 0 251898 80 0 0 20 0 1 0 96561145 544665600 126906 33554432000 4194304 4933779 140726958084208 140726958081912 4331916 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 23015424 140726958089368 140726958089468 140726958089468 140726958092226 0
/proc/22655/statm: 132975 126906 607 181 0 126592 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 531900 KiB
Current children cumulated memory: 507624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22655 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.99 s, system=0.813975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.8
CPU user time (s): 2518.99
CPU system time (s): 0.813975
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 531900
Max. memory (cumulated for all children) (KiB): 507624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 0.813975
maximum resident set size= 507844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486097
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= 218
involuntary context switches= 1388
# summary of solver processes directly reported to runsolver:
# pid: 22655
# total CPU time (s): 2519.8
# total CPU user time (s): 2518.99
# total CPU system time (s): 0.813975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97494 second user time and 18.411 second system time
The end