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 (10098 MiB free)
memory of node 1: 16384 MiB (15802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298831-1532781144/watcher-4298831-1532781144 -o /tmp/evaluation-result-4298831-1532781144/solver-4298831-1532781144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29944 --watchdog 2580 nacre_mini_release HOME/instance-4298831-1532781144.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=30399, runsolver pid=30396
[startup+0.100105 s]*
/proc/loadavg: 2.00 2.01 2.03 3/187 30400
/proc/meminfo: memFree=26519716/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=28776 memory=5396 CPUtime=0.1 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 1563 0 0 0 10 0 0 0 20 0 1 0 95677587 29466624 1349 33554432000 4194304 4933779 140728752195024 140728752192024 139902412889061 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 7194 1349 613 181 0 811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28776 KiB
Current children cumulated memory: 5396 KiB
[startup+0.209397 s]*
/proc/loadavg: 2.00 2.01 2.03 3/187 30400
/proc/meminfo: memFree=26518228/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=30112 memory=6712 CPUtime=0.21 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 1877 0 0 0 21 0 0 0 20 0 1 0 95677587 30834688 1678 33554432000 4194304 4933779 140728752195024 140728752192024 139902412889061 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 7528 1678 613 181 0 1145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30112 KiB
Current children cumulated memory: 6712 KiB
[startup+0.308918 s]*
/proc/loadavg: 2.00 2.01 2.03 2/185 30400
/proc/meminfo: memFree=26793824/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=31560 memory=8280 CPUtime=0.31 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2234 0 0 0 31 0 0 0 20 0 1 0 95677587 32317440 2070 33554432000 4194304 4933779 140728752195024 140728752192776 139902412889061 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 7890 2070 613 181 0 1507 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31560 KiB
Current children cumulated memory: 8280 KiB
[startup+0.700283 s]
/proc/loadavg: 1.84 1.98 2.02 3/200 30429
/proc/meminfo: memFree=26780260/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=38508 memory=15176 CPUtime=0.69 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 3966 0 0 0 69 0 0 0 20 0 1 0 95677587 39432192 3794 33554432000 4194304 4933779 140728752195024 140728752192776 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 9627 3794 613 181 0 3244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38508 KiB
Current children cumulated memory: 15176 KiB
[startup+1.5003 s]
/proc/loadavg: 1.84 1.98 2.02 4/187 30461
/proc/meminfo: memFree=26771816/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=50988 memory=27500 CPUtime=1.48 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 7096 0 0 0 147 1 0 0 20 0 1 0 95677587 52211712 6875 33554432000 4194304 4933779 140728752195024 140728752192712 139902412889061 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 12747 6875 613 181 0 6364 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50988 KiB
Current children cumulated memory: 27500 KiB
[startup+3.10953 s]
/proc/loadavg: 1.84 1.98 2.02 3/187 30461
/proc/meminfo: memFree=26729236/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=71292 memory=47788 CPUtime=3.09 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 14868 0 0 0 307 2 0 0 20 0 1 0 95677587 73003008 11947 33554432000 4194304 4933779 140728752195024 140728752192776 139902412889061 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 17823 11947 613 181 0 11440 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71292 KiB
Current children cumulated memory: 47788 KiB
[startup+6.30032 s]
/proc/loadavg: 1.86 1.98 2.02 3/187 30461
/proc/meminfo: memFree=26674852/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=99348 memory=75392 CPUtime=6.29 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 28317 0 0 0 625 4 0 0 20 0 1 0 95677587 101732352 18848 33554432000 4194304 4933779 140728752195024 140728752192776 4437547 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 24837 18848 613 181 0 18454 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 99348 KiB
Current children cumulated memory: 75392 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.02 3/187 30461
/proc/meminfo: memFree=26583448/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=137828 memory=113628 CPUtime=12.68 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 49296 0 0 0 1262 6 0 0 20 0 1 0 95677587 141135872 28407 33554432000 4194304 4933779 140728752195024 140728752192536 4437547 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 34457 28407 613 181 0 28074 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 137828 KiB
Current children cumulated memory: 113628 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.02 3/187 30461
/proc/meminfo: memFree=26410576/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=192116 memory=168144 CPUtime=25.46 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 87702 0 0 0 2538 8 0 0 20 0 1 0 95677587 196726784 42036 33554432000 4194304 4933779 140728752195024 140728752192776 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 48029 42036 613 181 0 41646 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 192116 KiB
Current children cumulated memory: 168144 KiB
[startup+51.1095 s]
/proc/loadavg: 1.93 1.99 2.02 3/187 30461
/proc/meminfo: memFree=26182352/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=276232 memory=252616 CPUtime=51.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 138204 0 0 0 5092 14 0 0 20 0 1 0 95677587 282861568 63154 33554432000 4194304 4933779 140728752195024 140728752192712 4437456 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 69058 63154 613 181 0 62675 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 276232 KiB
Current children cumulated memory: 252616 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.02 3/187 30462
/proc/meminfo: memFree=25878444/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=391464 memory=366488 CPUtime=102.22 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 207036 0 0 0 10199 23 0 0 20 0 1 0 95677587 400859136 91622 33554432000 4194304 4933779 140728752195024 140728752192712 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 97866 91622 613 181 0 91483 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 391464 KiB
Current children cumulated memory: 366488 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/187 30463
/proc/meminfo: memFree=25643000/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=463236 memory=438388 CPUtime=162.19 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 257583 0 0 0 16190 29 0 0 20 0 1 0 95677587 474353664 109597 33554432000 4194304 4933779 140728752195024 140728752192712 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 115809 109597 613 181 0 109426 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 463236 KiB
Current children cumulated memory: 438388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 30464
/proc/meminfo: memFree=25413792/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=539956 memory=515356 CPUtime=222.17 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 302272 0 0 0 22180 37 0 0 20 0 1 0 95677587 552914944 128839 33554432000 4194304 4933779 140728752195024 140728752192776 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 134989 128839 613 181 0 128606 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 539956 KiB
Current children cumulated memory: 515356 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 30465
/proc/meminfo: memFree=25242148/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=589076 memory=564968 CPUtime=282.14 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 333126 0 0 0 28171 43 0 0 20 0 1 0 95677587 603213824 141242 33554432000 4194304 4933779 140728752195024 140728752192712 139902412886549 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 147269 141242 613 181 0 140886 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 589076 KiB
Current children cumulated memory: 564968 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 30466
/proc/meminfo: memFree=25074640/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=641776 memory=618104 CPUtime=342.12 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 360104 0 0 0 34163 49 0 0 20 0 1 0 95677587 657178624 154526 33554432000 4194304 4933779 140728752195024 140728752192712 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 160444 154526 613 181 0 154061 0
Current children cumulated CPU time: 342.12 s
Current children cumulated vsize: 641776 KiB
Current children cumulated memory: 618104 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 30467
/proc/meminfo: memFree=24921516/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=704572 memory=681152 CPUtime=402.08 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 380710 0 0 0 40154 54 0 0 20 0 1 0 95677587 721481728 170288 33554432000 4194304 4933779 140728752195024 140728752192712 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 176143 170288 613 181 0 169760 0
Current children cumulated CPU time: 402.08 s
Current children cumulated vsize: 704572 KiB
Current children cumulated memory: 681152 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 30475
/proc/meminfo: memFree=24773840/32770624 swapFree=67028236/67108860
[pid=30399] ppid=30396 vsize=740476 memory=716812 CPUtime=462.07 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 394198 0 0 0 46150 57 0 0 20 0 1 0 95677587 758247424 179203 33554432000 4194304 4933779 140728752195024 140728752192712 4423380 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 185119 179203 613 181 0 178736 0
Current children cumulated CPU time: 462.07 s
Current children cumulated vsize: 740476 KiB
Current children cumulated memory: 716812 KiB
################
# More data... #
################
/proc/30399/statm: 303899 296847 613 181 0 297516 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 1215596 KiB
Current children cumulated memory: 1187388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.56 2.14 2.07 3/189 30538
/proc/meminfo: memFree=22956608/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1228876 memory=1200620 CPUtime=1782.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 1831356 0 0 0 178005 201 0 0 20 0 1 0 95677587 1258369024 300155 33554432000 4194304 4933779 140728752195024 140728752192776 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 307219 300155 613 181 0 300836 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 1228876 KiB
Current children cumulated memory: 1200620 KiB
[startup+1842.3 s]
/proc/loadavg: 2.20 2.12 2.06 3/189 30539
/proc/meminfo: memFree=22903032/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1241752 memory=1213424 CPUtime=1842.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 1930417 0 0 0 183997 209 0 0 20 0 1 0 95677587 1271554048 303356 33554432000 4194304 4933779 140728752195024 140728752192776 4437436 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 310438 303356 613 181 0 304055 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 1241752 KiB
Current children cumulated memory: 1213424 KiB
[startup+1902.3 s]
/proc/loadavg: 2.13 2.11 2.06 3/189 30540
/proc/meminfo: memFree=22839332/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1253988 memory=1225556 CPUtime=1902.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2038302 0 0 0 189988 218 0 0 20 0 1 0 95677587 1284083712 306389 33554432000 4194304 4933779 140728752195024 140728752192776 4437466 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 313497 306389 613 181 0 307114 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 1253988 KiB
Current children cumulated memory: 1225556 KiB
[startup+1962.3 s]
/proc/loadavg: 2.11 2.10 2.06 3/188 30541
/proc/meminfo: memFree=22763240/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1272048 memory=1243648 CPUtime=1962.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2158900 0 0 0 195978 228 0 0 20 0 1 0 95677587 1302577152 310912 33554432000 4194304 4933779 140728752195024 140728752192776 4437581 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 318012 310912 613 181 0 311629 0
Current children cumulated CPU time: 1962.06 s
Current children cumulated vsize: 1272048 KiB
Current children cumulated memory: 1243648 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.09 2.06 3/187 30542
/proc/meminfo: memFree=22709136/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1286964 memory=1258568 CPUtime=2022.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2269602 0 0 0 201969 237 0 0 20 0 1 0 95677587 1317851136 314642 33554432000 4194304 4933779 140728752195024 140728752192776 4437547 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 321741 314642 613 181 0 315358 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 1286964 KiB
Current children cumulated memory: 1258568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/187 30543
/proc/meminfo: memFree=22645192/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1302112 memory=1273780 CPUtime=2082.07 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2389649 0 0 0 207958 249 0 0 20 0 1 0 95677587 1333362688 318445 33554432000 4194304 4933779 140728752195024 140728752192776 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 325528 318445 613 181 0 319145 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 1302112 KiB
Current children cumulated memory: 1273780 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/187 30544
/proc/meminfo: memFree=22593204/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1317636 memory=1289392 CPUtime=2142.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2515787 0 0 0 213945 261 0 0 20 0 1 0 95677587 1349259264 322348 33554432000 4194304 4933779 140728752195024 140728752192776 4437547 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 329409 322348 613 181 0 323026 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 1317636 KiB
Current children cumulated memory: 1289392 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 30545
/proc/meminfo: memFree=22524428/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1330176 memory=1301976 CPUtime=2202.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2631417 0 0 0 219937 269 0 0 20 0 1 0 95677587 1362100224 325494 33554432000 4194304 4933779 140728752195024 140728752192712 4437389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 332544 325494 613 181 0 326161 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 1330176 KiB
Current children cumulated memory: 1301976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 30554
/proc/meminfo: memFree=22473204/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1343928 memory=1315788 CPUtime=2262.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2759193 0 0 0 225926 280 0 0 20 0 1 0 95677587 1376182272 328947 33554432000 4194304 4933779 140728752195024 140728752192712 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 335982 328947 613 181 0 329599 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 1343928 KiB
Current children cumulated memory: 1315788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/188 30555
/proc/meminfo: memFree=22423432/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1354532 memory=1326476 CPUtime=2322.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2853971 0 0 0 231920 286 0 0 20 0 1 0 95677587 1387040768 331619 33554432000 4194304 4933779 140728752195024 140728752192776 4437389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 338633 331619 613 181 0 332250 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 1354532 KiB
Current children cumulated memory: 1326476 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 30556
/proc/meminfo: memFree=22371352/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1368920 memory=1340868 CPUtime=2382.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 2995054 0 0 0 237910 296 0 0 20 0 1 0 95677587 1401774080 335217 33554432000 4194304 4933779 140728752195024 140728752192776 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 342230 335217 613 181 0 335847 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 1368920 KiB
Current children cumulated memory: 1340868 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 30557
/proc/meminfo: memFree=22326864/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1376852 memory=1348904 CPUtime=2442.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 3103865 0 0 0 243901 305 0 0 20 0 1 0 95677587 1409896448 337226 33554432000 4194304 4933779 140728752195024 140728752192776 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 344213 337226 613 181 0 337830 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 1376852 KiB
Current children cumulated memory: 1348904 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30558
/proc/meminfo: memFree=22284460/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1386496 memory=1358544 CPUtime=2502.06 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 3226095 0 0 0 249893 313 0 0 20 0 1 0 95677587 1419771904 339636 33554432000 4194304 4933779 140728752195024 140728752192776 4437547 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 346624 339636 613 181 0 340241 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 1386496 KiB
Current children cumulated memory: 1358544 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 30558
/proc/meminfo: memFree=22269020/32770624 swapFree=67028240/67108860
[pid=30399] ppid=30396 vsize=1390588 memory=1362628 CPUtime=2519.77 cores=1,3,5,7
/proc/30399/stat : 30399 (nacre_mini_rele) R 30396 30399 29912 0 -1 4202496 3273088 0 0 0 251660 317 0 0 20 0 1 0 95677587 1423962112 340657 33554432000 4194304 4933779 140728752195024 140728752192712 4436080 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 14606336 140728752198808 140728752198908 140728752198908 140728752201666 0
/proc/30399/statm: 347647 340657 613 181 0 341264 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 1390588 KiB
Current children cumulated memory: 1362628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 30399 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.61 s, system=3.21195 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.05
CPU time (s): 2519.82
CPU user time (s): 2516.61
CPU system time (s): 3.21195
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 1390588
Max. memory (cumulated for all children) (KiB): 1362628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.61
system time used= 3.21195
maximum resident set size= 1362704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3273130
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= 328
involuntary context switches= 3047
# summary of solver processes directly reported to runsolver:
# pid: 30399
# total CPU time (s): 2519.82
# total CPU user time (s): 2516.61
# total CPU system time (s): 3.21195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91134 second user time and 18.1886 second system time
The end