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 (10675 MiB free)
memory of node 1: 16384 MiB (12488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300502-1532800241/watcher-4300502-1532800241 -o /tmp/evaluation-result-4300502-1532800241/solver-4300502-1532800241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4300502-1532800241.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=30585, runsolver pid=30582
Current StackSize limit: 8192 KiB
[startup+0.100192 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23715768/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=29496 memory=5960 CPUtime=0.1 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 1693 0 0 0 10 0 0 0 20 0 1 0 97587282 30203904 1490 33554432000 4194304 4933779 140729816281120 140729816278120 139797005359507 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 7374 1490 613 181 0 991 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 5960 KiB
[startup+0.209646 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23714652/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=30812 memory=7412 CPUtime=0.21 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 2015 0 0 0 21 0 0 0 20 0 1 0 97587282 31551488 1853 33554432000 4194304 4933779 140729816281120 140729816278120 139797004964844 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 7703 1853 613 181 0 1320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30812 KiB
Current children cumulated memory: 7412 KiB
[startup+0.30928 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23712892/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=31860 memory=8328 CPUtime=0.31 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 2298 0 0 0 31 0 0 0 20 0 1 0 97587282 32624640 2082 33554432000 4194304 4933779 140729816281120 140729816278120 4435272 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 7965 2082 613 181 0 1582 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8328 KiB
[startup+0.700339 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23710660/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=36380 memory=12828 CPUtime=0.69 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 3402 0 0 0 69 0 0 0 20 0 1 0 97587282 37253120 3207 33554432000 4194304 4933779 140729816281120 140729816278120 4388436 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 9095 3207 613 181 0 2712 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36380 KiB
Current children cumulated memory: 12828 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23705508/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=44644 memory=21164 CPUtime=1.49 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 5459 0 0 0 149 0 0 0 20 0 1 0 97587282 45715456 5291 33554432000 4194304 4933779 140729816281120 140729816278872 139797004504037 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 11161 5291 613 181 0 4778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44644 KiB
Current children cumulated memory: 21164 KiB
[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23686412/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=59652 memory=35848 CPUtime=3.1 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 14749 0 0 0 309 1 0 0 20 0 1 0 97587282 61083648 8962 33554432000 4194304 4933779 140729816281120 140729816278808 139797004504037 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 14913 8962 613 181 0 8530 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59652 KiB
Current children cumulated memory: 35848 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23673080/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=73220 memory=49584 CPUtime=6.28 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 27561 0 0 0 627 1 0 0 20 0 1 0 97587282 74977280 12396 33554432000 4194304 4933779 140729816281120 140729816278824 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 18305 12396 613 181 0 11922 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 49584 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23650388/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=95256 memory=71324 CPUtime=12.69 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 41895 0 0 0 1266 3 0 0 20 0 1 0 97587282 97542144 17831 33554432000 4194304 4933779 140729816281120 140729816278824 139797005359491 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 23814 17831 613 181 0 17431 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 95256 KiB
Current children cumulated memory: 71324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23622088/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=121924 memory=98168 CPUtime=25.47 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 75429 0 0 0 2542 5 0 0 20 0 1 0 97587282 124850176 24542 33554432000 4194304 4933779 140729816281120 140729816278808 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 30481 24542 613 181 0 24098 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 121924 KiB
Current children cumulated memory: 98168 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30586
/proc/meminfo: memFree=23587820/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=154124 memory=130436 CPUtime=51.07 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 96124 0 0 0 5099 8 0 0 20 0 1 0 97587282 157822976 32609 33554432000 4194304 4933779 140729816281120 140729816278808 139797004513290 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 38531 32609 613 181 0 32148 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 130436 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30587
/proc/meminfo: memFree=23540460/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=200348 memory=176028 CPUtime=102.22 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 115375 0 0 0 10210 12 0 0 20 0 1 0 97587282 205156352 44007 33554432000 4194304 4933779 140729816281120 140729816278808 139797010797451 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 50087 44007 613 181 0 43704 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 200348 KiB
Current children cumulated memory: 176028 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30588
/proc/meminfo: memFree=23504344/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=232728 memory=208412 CPUtime=162.21 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 125563 0 0 0 16206 15 0 0 20 0 1 0 97587282 238313472 52103 33554432000 4194304 4933779 140729816281120 140729816278808 4388559 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 58182 52103 613 181 0 51799 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 232728 KiB
Current children cumulated memory: 208412 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30589
/proc/meminfo: memFree=23475616/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=258744 memory=234616 CPUtime=222.21 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 141598 0 0 0 22204 17 0 0 20 0 1 0 97587282 264953856 58654 33554432000 4194304 4933779 140729816281120 140729816278824 139797004501636 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 64686 58654 613 181 0 58303 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 258744 KiB
Current children cumulated memory: 234616 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30591
/proc/meminfo: memFree=23452724/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=278576 memory=254688 CPUtime=282.21 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 161558 0 0 0 28202 19 0 0 20 0 1 0 97587282 285261824 63672 33554432000 4194304 4933779 140729816281120 140729816278824 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 69644 63672 613 181 0 63261 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 278576 KiB
Current children cumulated memory: 254688 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30592
/proc/meminfo: memFree=23431860/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=296752 memory=272696 CPUtime=342.2 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 185353 0 0 0 34197 23 0 0 20 0 1 0 97587282 303874048 68174 33554432000 4194304 4933779 140729816281120 140729816278808 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 74188 68174 613 181 0 67805 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 296752 KiB
Current children cumulated memory: 272696 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30593
/proc/meminfo: memFree=23400320/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=324676 memory=300788 CPUtime=402.18 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 212787 0 0 0 40191 27 0 0 20 0 1 0 97587282 332468224 75197 33554432000 4194304 4933779 140729816281120 140729816278808 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 81169 75197 613 181 0 74786 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 324676 KiB
Current children cumulated memory: 300788 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30595
/proc/meminfo: memFree=23381236/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=341844 memory=317972 CPUtime=462.15 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 226749 0 0 0 46185 30 0 0 20 0 1 0 97587282 350048256 79493 33554432000 4194304 4933779 140729816281120 140729816278824 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 85461 79493 613 181 0 79078 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 341844 KiB
Current children cumulated memory: 317972 KiB
################
# More data... #
################
/proc/30585/statm: 139633 133450 613 181 0 133250 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 558532 KiB
Current children cumulated memory: 533800 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30723
/proc/meminfo: memFree=23057652/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=565196 memory=540536 CPUtime=1782.01 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 483912 0 0 0 178128 73 0 0 20 0 1 0 97587282 578760704 135134 33554432000 4194304 4933779 140729816281120 140729816278872 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 141299 135134 613 181 0 134916 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 565196 KiB
Current children cumulated memory: 540536 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30724
/proc/meminfo: memFree=23011300/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=572452 memory=547820 CPUtime=1841.98 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 500194 0 0 0 184123 75 0 0 20 0 1 0 97587282 586190848 136955 33554432000 4194304 4933779 140729816281120 140729816278824 139797010798862 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 143113 136955 613 181 0 136730 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 572452 KiB
Current children cumulated memory: 547820 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30725
/proc/meminfo: memFree=22965260/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=582680 memory=557904 CPUtime=1901.98 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 504387 0 0 0 190121 77 0 0 20 0 1 0 97587282 596664320 139476 33554432000 4194304 4933779 140729816281120 140729816278872 139797005247902 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 145670 139476 613 181 0 139287 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 582680 KiB
Current children cumulated memory: 557904 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30726
/proc/meminfo: memFree=22925988/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=590612 memory=565976 CPUtime=1961.97 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 508872 0 0 0 196119 78 0 0 20 0 1 0 97587282 604786688 141494 33554432000 4194304 4933779 140729816281120 140729816278824 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 147653 141494 613 181 0 141270 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 590612 KiB
Current children cumulated memory: 565976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30727
/proc/meminfo: memFree=22888488/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=606084 memory=581432 CPUtime=2021.97 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 518875 0 0 0 202117 80 0 0 20 0 1 0 97587282 620630016 145358 33554432000 4194304 4933779 140729816281120 140729816278824 4475930 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 151521 145358 613 181 0 145138 0
Current children cumulated CPU time: 2021.97 s
Current children cumulated vsize: 606084 KiB
Current children cumulated memory: 581432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30729
/proc/meminfo: memFree=22856164/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=615112 memory=590468 CPUtime=2081.97 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 530314 0 0 0 208115 82 0 0 20 0 1 0 97587282 629874688 147617 33554432000 4194304 4933779 140729816281120 140729816278808 4437824 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 153778 147617 613 181 0 147395 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 615112 KiB
Current children cumulated memory: 590468 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30730
/proc/meminfo: memFree=22831272/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=615776 memory=591220 CPUtime=2141.97 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 539317 0 0 0 214113 84 0 0 20 0 1 0 97587282 630554624 147805 33554432000 4194304 4933779 140729816281120 140729816278872 4437824 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 153944 147805 613 181 0 147561 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 615776 KiB
Current children cumulated memory: 591220 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30731
/proc/meminfo: memFree=22801780/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=617788 memory=593040 CPUtime=2201.96 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 549352 0 0 0 220111 85 0 0 20 0 1 0 97587282 632614912 148260 33554432000 4194304 4933779 140729816281120 140729816278632 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 154447 148260 613 181 0 148064 0
Current children cumulated CPU time: 2201.96 s
Current children cumulated vsize: 617788 KiB
Current children cumulated memory: 593040 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30733
/proc/meminfo: memFree=22762848/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=634728 memory=610020 CPUtime=2261.95 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 566057 0 0 0 226107 88 0 0 20 0 1 0 97587282 649961472 152505 33554432000 4194304 4933779 140729816281120 140729816278872 4437567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 158682 152505 613 181 0 152299 0
Current children cumulated CPU time: 2261.95 s
Current children cumulated vsize: 634728 KiB
Current children cumulated memory: 610020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30734
/proc/meminfo: memFree=22720180/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=645916 memory=621116 CPUtime=2321.95 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 582782 0 0 0 232105 90 0 0 20 0 1 0 97587282 661417984 155279 33554432000 4194304 4933779 140729816281120 140729816278888 4437538 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 161479 155279 613 181 0 155096 0
Current children cumulated CPU time: 2321.95 s
Current children cumulated vsize: 645916 KiB
Current children cumulated memory: 621116 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30743
/proc/meminfo: memFree=22681732/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=656888 memory=632060 CPUtime=2381.95 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 602253 0 0 0 238103 92 0 0 20 0 1 0 97587282 672653312 158015 33554432000 4194304 4933779 140729816281120 140729816278824 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 164222 158015 613 181 0 157839 0
Current children cumulated CPU time: 2381.95 s
Current children cumulated vsize: 656888 KiB
Current children cumulated memory: 632060 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30744
/proc/meminfo: memFree=22667332/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=660468 memory=635640 CPUtime=2441.94 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 621793 0 0 0 244099 95 0 0 20 0 1 0 97587282 676319232 158910 33554432000 4194304 4933779 140729816281120 140729816278808 4212208 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 165117 158910 613 181 0 158734 0
Current children cumulated CPU time: 2441.94 s
Current children cumulated vsize: 660468 KiB
Current children cumulated memory: 635640 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30745
/proc/meminfo: memFree=22639240/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=661340 memory=636512 CPUtime=2501.94 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 640732 0 0 0 250096 98 0 0 20 0 1 0 97587282 677212160 159128 33554432000 4194304 4933779 140729816281120 140729816278824 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 165335 159128 613 181 0 158952 0
Current children cumulated CPU time: 2501.94 s
Current children cumulated vsize: 661340 KiB
Current children cumulated memory: 636512 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 30745
/proc/meminfo: memFree=22635580/32770624 swapFree=67108860/67108860
[pid=30585] ppid=30582 vsize=661744 memory=636944 CPUtime=2519.64 cores=0,2,4,6
/proc/30585/stat : 30585 (nacre_mini_rele) R 30582 30585 27398 0 -1 4202496 642345 0 0 0 251866 98 0 0 20 0 1 0 97587282 677625856 159236 33554432000 4194304 4933779 140729816281120 140729816278824 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 18857984 140729816286360 140729816286460 140729816286460 140729816289218 0
/proc/30585/statm: 165436 159236 613 181 0 159053 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 661744 KiB
Current children cumulated memory: 636944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 30585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.66 s, system=0.997932 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.66
CPU user time (s): 2518.66
CPU system time (s): 0.997932
CPU usage (%): 99.9858
Max. virtual memory (cumulated for all children) (KiB): 661744
Max. memory (cumulated for all children) (KiB): 636944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.66
system time used= 0.997932
maximum resident set size= 637000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642387
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= 273
involuntary context switches= 3156
# summary of solver processes directly reported to runsolver:
# pid: 30585
# total CPU time (s): 2519.66
# total CPU user time (s): 2518.66
# total CPU system time (s): 0.997932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5056 second user time and 18.2082 second system time
The end