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 (9085 MiB free)
memory of node 1: 16384 MiB (11743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300282-1532796882/watcher-4300282-1532796882 -o /tmp/evaluation-result-4300282-1532796882/solver-4300282-1532796882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580 nacre_mini_release HOME/instance-4300282-1532796882.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=23271, runsolver pid=23268
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21323808/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=32244 memory=8744 CPUtime=0.1 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2394 0 0 0 10 0 0 0 20 0 1 0 97251347 33017856 2186 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8061 2186 600 181 0 1678 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 8744 KiB
[startup+0.209612 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21322692/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=33428 memory=10064 CPUtime=0.21 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2683 0 0 0 21 0 0 0 20 0 1 0 97251347 34230272 2516 33554432000 4194304 4933779 140733267549072 140733267546072 4380275 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8357 2516 600 181 0 1974 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33428 KiB
Current children cumulated memory: 10064 KiB
[startup+0.309241 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21321516/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=34352 memory=10856 CPUtime=0.31 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 2927 0 0 0 31 0 0 0 20 0 1 0 97251347 35176448 2714 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 8588 2714 600 181 0 2205 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34352 KiB
Current children cumulated memory: 10856 KiB
[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21320028/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=37884 memory=14488 CPUtime=0.69 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 3787 0 0 0 69 0 0 0 20 0 1 0 97251347 38793216 3622 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 9471 3622 600 181 0 3088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37884 KiB
Current children cumulated memory: 14488 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21315936/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=43596 memory=20028 CPUtime=1.49 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 5238 0 0 0 148 1 0 0 20 0 1 0 97251347 44642304 5007 33554432000 4194304 4933779 140733267549072 140733267546072 140714730843109 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 10899 5007 600 181 0 4516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43596 KiB
Current children cumulated memory: 20028 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21306760/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=49456 memory=25884 CPUtime=3.09 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 11277 0 0 0 308 1 0 0 20 0 1 0 97251347 50642944 6471 33554432000 4194304 4933779 140733267549072 140733267546840 4437572 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 12364 6471 600 181 0 5981 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49456 KiB
Current children cumulated memory: 25884 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21299880/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=55880 memory=32560 CPUtime=6.29 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 18831 0 0 0 627 2 0 0 20 0 1 0 97251347 57221120 8140 33554432000 4194304 4933779 140733267549072 140733267546840 4380182 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 13970 8140 600 181 0 7587 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 55880 KiB
Current children cumulated memory: 32560 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23272
/proc/meminfo: memFree=21292440/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=64792 memory=40808 CPUtime=12.69 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 28423 0 0 0 1266 3 0 0 20 0 1 0 97251347 66347008 10202 33554432000 4194304 4933779 140733267549072 140733267546824 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 16198 10202 600 181 0 9815 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 64792 KiB
Current children cumulated memory: 40808 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23273
/proc/meminfo: memFree=21281700/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=75428 memory=51640 CPUtime=25.49 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 51497 0 0 0 2544 5 0 0 20 0 1 0 97251347 77238272 12910 33554432000 4194304 4933779 140733267549072 140733267546760 4380629 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 18857 12910 600 181 0 12474 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75428 KiB
Current children cumulated memory: 51640 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23273
/proc/meminfo: memFree=21267196/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=89036 memory=65464 CPUtime=51.09 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 68741 0 0 0 5103 6 0 0 20 0 1 0 97251347 91172864 16366 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 22259 16366 600 181 0 15876 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 89036 KiB
Current children cumulated memory: 65464 KiB
[startup+102.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 23274
/proc/meminfo: memFree=21250084/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=107756 memory=83204 CPUtime=102.29 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 90248 0 0 0 10220 9 0 0 20 0 1 0 97251347 110342144 20801 33554432000 4194304 4933779 140733267549072 140733267546760 4437445 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 26939 20801 600 181 0 20556 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 107756 KiB
Current children cumulated memory: 83204 KiB
[startup+162.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 23275
/proc/meminfo: memFree=21237564/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=119980 memory=95368 CPUtime=162.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 113655 0 0 0 16216 12 0 0 20 0 1 0 97251347 122859520 23842 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 29995 23842 600 181 0 23612 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 119980 KiB
Current children cumulated memory: 95368 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 23277
/proc/meminfo: memFree=21225940/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=129560 memory=105176 CPUtime=222.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 139380 0 0 0 22214 14 0 0 20 0 1 0 97251347 132669440 26294 33554432000 4194304 4933779 140733267549072 140733267546760 4437585 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 32390 26294 600 181 0 26007 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 129560 KiB
Current children cumulated memory: 105176 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/186 23278
/proc/meminfo: memFree=21217924/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=137984 memory=113660 CPUtime=282.28 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 167179 0 0 0 28211 17 0 0 20 0 1 0 97251347 141295616 28415 33554432000 4194304 4933779 140733267549072 140733267546776 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 34496 28415 600 181 0 28113 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 137984 KiB
Current children cumulated memory: 113660 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 23288
/proc/meminfo: memFree=21207396/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=146284 memory=121976 CPUtime=342.27 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 196942 0 0 0 34208 19 0 0 20 0 1 0 97251347 149794816 30494 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 36571 30494 600 181 0 30188 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 146284 KiB
Current children cumulated memory: 121976 KiB
[startup+402.3 s]
/proc/loadavg: 2.40 2.15 2.09 3/189 23312
/proc/meminfo: memFree=21200568/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=152636 memory=128536 CPUtime=402.27 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 228260 0 0 0 40205 22 0 0 20 0 1 0 97251347 156299264 32134 33554432000 4194304 4933779 140733267549072 140733267546776 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 38159 32134 600 181 0 31776 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 152636 KiB
Current children cumulated memory: 128536 KiB
[startup+462.3 s]
/proc/loadavg: 2.29 2.18 2.11 3/189 23313
/proc/meminfo: memFree=21194600/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=158604 memory=134396 CPUtime=462.26 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 260959 0 0 0 46202 24 0 0 20 0 1 0 97251347 162410496 33599 33554432000 4194304 4933779 140733267549072 140733267546776 4437839 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 39651 33599 600 181 0 33268 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 158604 KiB
Current children cumulated memory: 134396 KiB
################
# More data... #
################
/proc/23271/statm: 59683 53535 600 181 0 53300 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 238732 KiB
Current children cumulated memory: 214140 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23475
/proc/meminfo: memFree=21858608/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=240784 memory=216116 CPUtime=1782.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 415704 0 0 0 178171 45 0 0 20 0 1 0 97251347 246562816 54029 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 60196 54029 600 181 0 53813 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 240784 KiB
Current children cumulated memory: 216116 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23477
/proc/meminfo: memFree=21854336/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=242868 memory=218212 CPUtime=1842.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 418603 0 0 0 184170 46 0 0 20 0 1 0 97251347 248696832 54553 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 60717 54553 600 181 0 54334 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 242868 KiB
Current children cumulated memory: 218212 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23478
/proc/meminfo: memFree=21848944/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=245396 memory=220816 CPUtime=1902.16 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 422060 0 0 0 190169 47 0 0 20 0 1 0 97251347 251285504 55204 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 61349 55204 600 181 0 54966 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 245396 KiB
Current children cumulated memory: 220816 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23479
/proc/meminfo: memFree=21843848/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=247092 memory=222552 CPUtime=1962.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 425872 0 0 0 196168 47 0 0 20 0 1 0 97251347 253022208 55638 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 61773 55638 600 181 0 55390 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 247092 KiB
Current children cumulated memory: 222552 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23481
/proc/meminfo: memFree=21839368/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=249476 memory=224856 CPUtime=2022.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 427302 0 0 0 202168 47 0 0 20 0 1 0 97251347 255463424 56214 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 62369 56214 600 181 0 55986 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 249476 KiB
Current children cumulated memory: 224856 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23482
/proc/meminfo: memFree=21833696/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=251152 memory=226380 CPUtime=2082.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 429035 0 0 0 208167 48 0 0 20 0 1 0 97251347 257179648 56595 33554432000 4194304 4933779 140733267549072 140733267546760 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 62788 56595 600 181 0 56405 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 251152 KiB
Current children cumulated memory: 226380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23490
/proc/meminfo: memFree=21829168/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=253064 memory=228376 CPUtime=2142.15 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 431304 0 0 0 214167 48 0 0 20 0 1 0 97251347 259137536 57094 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 63266 57094 600 181 0 56883 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 253064 KiB
Current children cumulated memory: 228376 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23491
/proc/meminfo: memFree=21825744/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=255364 memory=230236 CPUtime=2202.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 434063 0 0 0 220166 48 0 0 20 0 1 0 97251347 261492736 57559 33554432000 4194304 4933779 140733267549072 140733267546632 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 63841 57559 600 181 0 57458 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 255364 KiB
Current children cumulated memory: 230236 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23492
/proc/meminfo: memFree=21821900/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=256472 memory=231564 CPUtime=2262.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 436917 0 0 0 226166 48 0 0 20 0 1 0 97251347 262627328 57891 33554432000 4194304 4933779 140733267549072 140733267546760 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64118 57891 600 181 0 57735 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 256472 KiB
Current children cumulated memory: 231564 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23493
/proc/meminfo: memFree=21817932/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=258196 memory=233528 CPUtime=2322.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 438543 0 0 0 232165 49 0 0 20 0 1 0 97251347 264392704 58382 33554432000 4194304 4933779 140733267549072 140733267546584 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64549 58382 600 181 0 58166 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 258196 KiB
Current children cumulated memory: 233528 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23494
/proc/meminfo: memFree=21813868/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=259836 memory=235140 CPUtime=2382.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 440507 0 0 0 238165 49 0 0 20 0 1 0 97251347 266072064 58785 33554432000 4194304 4933779 140733267549072 140733267546776 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 64959 58785 600 181 0 58576 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 259836 KiB
Current children cumulated memory: 235140 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23495
/proc/meminfo: memFree=21809660/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=262052 memory=237212 CPUtime=2442.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 443034 0 0 0 244164 50 0 0 20 0 1 0 97251347 268341248 59303 33554432000 4194304 4933779 140733267549072 140733267546760 4437445 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 65513 59303 600 181 0 59130 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 262052 KiB
Current children cumulated memory: 237212 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23496
/proc/meminfo: memFree=21805568/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=264168 memory=239352 CPUtime=2502.14 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 445994 0 0 0 250164 50 0 0 20 0 1 0 97251347 270508032 59838 33554432000 4194304 4933779 140733267549072 140733267546776 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 66042 59838 600 181 0 59659 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 264168 KiB
Current children cumulated memory: 239352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23496
/proc/meminfo: memFree=21804452/32770624 swapFree=67108796/67108860
[pid=23271] ppid=23268 vsize=265120 memory=240408 CPUtime=2519.85 cores=0,2,4,6
/proc/23271/stat : 23271 (nacre_mini_rele) R 23268 23271 24279 0 -1 4202496 449062 0 0 0 251934 51 0 0 20 0 1 0 97251347 271482880 60102 33554432000 4194304 4933779 140733267549072 140733267546760 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 26193920 140733267555480 140733267555580 140733267555580 140733267558338 0
/proc/23271/statm: 66280 60102 600 181 0 59897 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 265120 KiB
Current children cumulated memory: 240408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23271 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.35 s, system=0.512983 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.86
CPU user time (s): 2519.35
CPU system time (s): 0.512983
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 265120
Max. memory (cumulated for all children) (KiB): 240408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.35
system time used= 0.512983
maximum resident set size= 240484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449104
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= 116
involuntary context switches= 1489
# summary of solver processes directly reported to runsolver:
# pid: 23271
# total CPU time (s): 2519.86
# total CPU user time (s): 2519.35
# total CPU system time (s): 0.512983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65591 second user time and 19.0304 second system time
The end