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 (8928 MiB free)
memory of node 1: 16384 MiB (12642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300274-1532796823/watcher-4300274-1532796823 -o /tmp/evaluation-result-4300274-1532796823/solver-4300274-1532796823 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4300274-1532796823.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=30086, runsolver pid=30083
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22082004/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=33728 memory=10328 CPUtime=0.1 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 2766 0 0 0 10 0 0 0 20 0 1 0 97245437 34537472 2582 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8432 2582 599 181 0 2049 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33728 KiB
Current children cumulated memory: 10328 KiB
[startup+0.209617 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22080888/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=34780 memory=11336 CPUtime=0.21 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 3041 0 0 0 21 0 0 0 20 0 1 0 97245437 35614720 2834 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8695 2834 600 181 0 2312 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34780 KiB
Current children cumulated memory: 11336 KiB
[startup+0.30906 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22079772/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=35704 memory=12388 CPUtime=0.31 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 3281 0 0 0 31 0 0 0 20 0 1 0 97245437 36560896 3097 33554432000 4194304 4933779 140731958786368 140731958783368 140275571321829 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 8926 3097 600 181 0 2543 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35704 KiB
Current children cumulated memory: 12388 KiB
[startup+0.700303 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22077772/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=39268 memory=15804 CPUtime=0.69 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 4153 0 0 0 69 0 0 0 20 0 1 0 97245437 40210432 3951 33554432000 4194304 4933779 140731958786368 140731958784136 4336062 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 9817 3951 600 181 0 3434 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 15804 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22073680/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=45052 memory=21740 CPUtime=1.48 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 5607 0 0 0 148 0 0 0 20 0 1 0 97245437 46133248 5435 33554432000 4194304 4933779 140731958786368 140731958784136 4437839 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 11263 5435 600 181 0 4880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 21740 KiB
[startup+3.10947 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22052972/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=52508 memory=29040 CPUtime=3.09 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 12213 0 0 0 308 1 0 0 20 0 1 0 97245437 53768192 7260 33554432000 4194304 4933779 140731958786368 140731958784136 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 13127 7260 600 181 0 6744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52508 KiB
Current children cumulated memory: 29040 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22043176/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=60096 memory=36560 CPUtime=6.29 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 20505 0 0 0 627 2 0 0 20 0 1 0 97245437 61538304 9140 33554432000 4194304 4933779 140731958786368 140731958784120 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 15024 9140 600 181 0 8641 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 60096 KiB
Current children cumulated memory: 36560 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22034480/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=69716 memory=45836 CPUtime=12.69 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 31079 0 0 0 1265 4 0 0 20 0 1 0 97245437 71389184 11459 33554432000 4194304 4933779 140731958786368 140731958784056 4335134 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 17429 11459 600 181 0 11046 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 69716 KiB
Current children cumulated memory: 45836 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22022312/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=82140 memory=58268 CPUtime=25.48 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 56907 0 0 0 2543 5 0 0 20 0 1 0 97245437 84111360 14567 33554432000 4194304 4933779 140731958786368 140731958784120 4380182 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 20535 14567 600 181 0 14152 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 58268 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30087
/proc/meminfo: memFree=22006372/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=96996 memory=73628 CPUtime=51.09 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 76051 0 0 0 5102 7 0 0 20 0 1 0 97245437 99323904 18407 33554432000 4194304 4933779 140731958786368 140731958784056 4380267 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 24249 18407 600 181 0 17866 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 96996 KiB
Current children cumulated memory: 73628 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30089
/proc/meminfo: memFree=21988000/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=117028 memory=92588 CPUtime=102.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 99805 0 0 0 10219 9 0 0 20 0 1 0 97245437 119836672 23147 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 29257 23147 600 181 0 22874 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 117028 KiB
Current children cumulated memory: 92588 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 30090
/proc/meminfo: memFree=21957488/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=133260 memory=108864 CPUtime=162.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 126615 0 0 0 16216 12 0 0 20 0 1 0 97245437 136458240 27216 33554432000 4194304 4933779 140731958786368 140731958784120 4437581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 33315 27216 600 181 0 26932 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 133260 KiB
Current children cumulated memory: 108864 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 30091
/proc/meminfo: memFree=21940708/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=143780 memory=119428 CPUtime=222.28 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 155597 0 0 0 22213 15 0 0 20 0 1 0 97245437 147230720 29857 33554432000 4194304 4933779 140731958786368 140731958784056 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 35945 29857 600 181 0 29562 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 143780 KiB
Current children cumulated memory: 119428 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 30093
/proc/meminfo: memFree=21866436/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=152736 memory=128456 CPUtime=282.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 186752 0 0 0 28210 17 0 0 20 0 1 0 97245437 156401664 32114 33554432000 4194304 4933779 140731958786368 140731958784056 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 38184 32114 600 181 0 31801 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 152736 KiB
Current children cumulated memory: 128456 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30095
/proc/meminfo: memFree=21819800/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=161608 memory=137568 CPUtime=342.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 220132 0 0 0 34207 20 0 0 20 0 1 0 97245437 165486592 34392 33554432000 4194304 4933779 140731958786368 140731958784056 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 40402 34392 600 181 0 34019 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 161608 KiB
Current children cumulated memory: 137568 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30103
/proc/meminfo: memFree=21752836/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=169536 memory=145464 CPUtime=402.27 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 255509 0 0 0 40204 23 0 0 20 0 1 0 97245437 173604864 36366 33554432000 4194304 4933779 140731958786368 140731958784120 4380793 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 42384 36366 600 181 0 36001 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 169536 KiB
Current children cumulated memory: 145464 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30126
/proc/meminfo: memFree=21692020/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=176280 memory=152320 CPUtime=462.26 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 292384 0 0 0 46200 26 0 0 20 0 1 0 97245437 180510720 38080 33554432000 4194304 4933779 140731958786368 140731958784072 4437796 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 44070 38080 600 181 0 37687 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 176280 KiB
Current children cumulated memory: 152320 KiB
################
# More data... #
################
/proc/30086/statm: 66285 60006 600 181 0 59902 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 265140 KiB
Current children cumulated memory: 240024 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30223
/proc/meminfo: memFree=23471664/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=267812 memory=242764 CPUtime=1782.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 681020 0 0 0 178143 64 0 0 20 0 1 0 97245437 274239488 60691 33554432000 4194304 4933779 140731958786368 140731958784120 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 66953 60691 600 181 0 60570 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 267812 KiB
Current children cumulated memory: 242764 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30224
/proc/meminfo: memFree=23465700/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=270744 memory=245668 CPUtime=1842.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 683200 0 0 0 184142 65 0 0 20 0 1 0 97245437 277241856 61417 33554432000 4194304 4933779 140731958786368 140731958784072 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 67686 61417 600 181 0 61303 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 270744 KiB
Current children cumulated memory: 245668 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30226
/proc/meminfo: memFree=23459276/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=273012 memory=247904 CPUtime=1902.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 685848 0 0 0 190142 65 0 0 20 0 1 0 97245437 279564288 61976 33554432000 4194304 4933779 140731958786368 140731958783880 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 68253 61976 600 181 0 61870 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 273012 KiB
Current children cumulated memory: 247904 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30227
/proc/meminfo: memFree=23453664/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=275508 memory=250600 CPUtime=1962.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 689166 0 0 0 196141 65 0 0 20 0 1 0 97245437 282120192 62650 33554432000 4194304 4933779 140731958786368 140731958784120 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 68877 62650 600 181 0 62494 0
Current children cumulated CPU time: 1962.06 s
Current children cumulated vsize: 275508 KiB
Current children cumulated memory: 250600 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30228
/proc/meminfo: memFree=23448288/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=277772 memory=252644 CPUtime=2022.07 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 692982 0 0 0 202141 66 0 0 20 0 1 0 97245437 284438528 63161 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 69443 63161 600 181 0 63060 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 277772 KiB
Current children cumulated memory: 252644 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30230
/proc/meminfo: memFree=23443268/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=280476 memory=255532 CPUtime=2082.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 697575 0 0 0 208140 66 0 0 20 0 1 0 97245437 287207424 63883 33554432000 4194304 4933779 140731958786368 140731958784072 4380451 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 70119 63883 600 181 0 63736 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 280476 KiB
Current children cumulated memory: 255532 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30231
/proc/meminfo: memFree=23437612/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=282864 memory=257940 CPUtime=2142.06 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 700168 0 0 0 214139 67 0 0 20 0 1 0 97245437 289652736 64485 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 70716 64485 600 181 0 64333 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 282864 KiB
Current children cumulated memory: 257940 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30239
/proc/meminfo: memFree=23431160/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=286656 memory=261628 CPUtime=2202.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 702753 0 0 0 220137 68 0 0 20 0 1 0 97245437 293535744 65407 33554432000 4194304 4933779 140731958786368 140731958784072 4437370 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 71664 65407 600 181 0 65281 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 286656 KiB
Current children cumulated memory: 261628 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30240
/proc/meminfo: memFree=23425316/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=289588 memory=264464 CPUtime=2262.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 706023 0 0 0 226137 68 0 0 20 0 1 0 97245437 296538112 66116 33554432000 4194304 4933779 140731958786368 140731958783880 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 72397 66116 600 181 0 66014 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 289588 KiB
Current children cumulated memory: 264464 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30241
/proc/meminfo: memFree=23421696/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=291236 memory=266004 CPUtime=2322.04 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 706420 0 0 0 232136 68 0 0 20 0 1 0 97245437 298225664 66501 33554432000 4194304 4933779 140731958786368 140731958783880 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 72809 66501 600 181 0 66426 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 291236 KiB
Current children cumulated memory: 266004 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30242
/proc/meminfo: memFree=23417744/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=293164 memory=267660 CPUtime=2382.05 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 710175 0 0 0 238136 69 0 0 20 0 1 0 97245437 300199936 66915 33554432000 4194304 4933779 140731958786368 140731958783928 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 73291 66915 600 181 0 66908 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 293164 KiB
Current children cumulated memory: 267660 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30243
/proc/meminfo: memFree=23411460/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=295828 memory=271212 CPUtime=2442.04 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 714848 0 0 0 244134 70 0 0 20 0 1 0 97245437 302927872 67803 33554432000 4194304 4933779 140731958786368 140731958784072 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 73957 67803 600 181 0 67574 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 295828 KiB
Current children cumulated memory: 271212 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30244
/proc/meminfo: memFree=23408252/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=297588 memory=272788 CPUtime=2502.03 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 716722 0 0 0 250133 70 0 0 20 0 1 0 97245437 304730112 68197 33554432000 4194304 4933779 140731958786368 140731958784072 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 74397 68197 600 181 0 68014 0
Current children cumulated CPU time: 2502.03 s
Current children cumulated vsize: 297588 KiB
Current children cumulated memory: 272788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30244
/proc/meminfo: memFree=23407128/32770624 swapFree=67108860/67108860
[pid=30086] ppid=30083 vsize=298460 memory=273508 CPUtime=2519.73 cores=1,3,5,7
/proc/30086/stat : 30086 (nacre_mini_rele) R 30083 30086 27398 0 -1 4202496 717200 0 0 0 251903 70 0 0 20 0 1 0 97245437 305623040 68377 33554432000 4194304 4933779 140731958786368 140731958784056 4437678 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 13676544 140731958793368 140731958793468 140731958793468 140731958796226 0
/proc/30086/statm: 74615 68377 600 181 0 68232 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 298460 KiB
Current children cumulated memory: 273508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30086 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.04 s, system=0.710961 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.75
CPU user time (s): 2519.04
CPU system time (s): 0.710961
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 298460
Max. memory (cumulated for all children) (KiB): 273508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.04
system time used= 0.710961
maximum resident set size= 273792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717244
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= 137
involuntary context switches= 2514
# summary of solver processes directly reported to runsolver:
# pid: 30086
# total CPU time (s): 2519.75
# total CPU user time (s): 2519.04
# total CPU system time (s): 0.710961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0195 second user time and 18.5962 second system time
The end