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 (10330 MiB free)
memory of node 1: 16384 MiB (12646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299714-1532786659/watcher-4299714-1532786659 -o /tmp/evaluation-result-4299714-1532786659/solver-4299714-1532786659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4299714-1532786659.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
solver pid=28975, runsolver pid=28972
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23515124/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=39620 memory=15968 CPUtime=0.1 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 4305 0 0 0 10 0 0 0 20 0 1 0 96229044 40570880 3992 33554432000 4194304 4933779 140732149894224 140732149891224 4273636 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 9905 3992 570 181 0 3522 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39620 KiB
Current children cumulated memory: 15968 KiB
[startup+0.209755 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23499200/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=56396 memory=32600 CPUtime=0.21 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 8471 0 0 0 20 1 0 0 20 0 1 0 96229044 57749504 8150 33554432000 4194304 4933779 140732149894224 140732149888824 140230481570789 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 14099 8150 570 181 0 7716 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 32600 KiB
[startup+0.309651 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23490272/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=66992 memory=42580 CPUtime=0.3 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 11171 0 0 0 29 1 0 0 20 0 1 0 96229044 68599808 10645 33554432000 4194304 4933779 140732149894224 140732149891800 140230482433041 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 16748 10645 571 181 0 10365 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66992 KiB
Current children cumulated memory: 42580 KiB
[startup+0.700361 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23454932/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=100504 memory=75424 CPUtime=0.69 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 19467 0 0 0 67 2 0 0 20 0 1 0 96229044 102916096 18856 33554432000 4194304 4933779 140732149894224 140732149891800 140230481579964 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25126 18856 571 181 0 18743 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 75424 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23454932/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=100504 memory=75424 CPUtime=1.49 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 19483 0 0 0 147 2 0 0 20 0 1 0 96229044 102916096 18856 33554432000 4194304 4933779 140732149894224 140732149892744 4377379 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25126 18856 571 181 0 18743 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 75424 KiB
[startup+3.10957 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23454312/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=100504 memory=75560 CPUtime=3.1 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 36380 0 0 0 307 3 0 0 20 0 1 0 96229044 102916096 18890 33554432000 4194304 4933779 140732149894224 140732149892744 140230482433021 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25126 18890 604 181 0 18743 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 75560 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23454212/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=100504 memory=75560 CPUtime=6.29 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 51763 0 0 0 625 4 0 0 20 0 1 0 96229044 102916096 18890 33554432000 4194304 4933779 140732149894224 140732149892744 140230481563438 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25126 18890 604 181 0 18743 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 75560 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23453472/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=100504 memory=75560 CPUtime=12.69 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 69712 0 0 0 1264 5 0 0 20 0 1 0 96229044 102916096 18890 33554432000 4194304 4933779 140732149894224 140732149892744 140230481579916 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25126 18890 604 181 0 18743 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 75560 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23453348/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=101036 memory=76032 CPUtime=25.48 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 102522 0 0 0 2542 6 0 0 20 0 1 0 96229044 103460864 19008 33554432000 4194304 4933779 140732149894224 140732149891976 140230482433021 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 25259 19008 604 181 0 18876 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 101036 KiB
Current children cumulated memory: 76032 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28976
/proc/meminfo: memFree=23447988/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=106376 memory=81412 CPUtime=51.09 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 124135 0 0 0 5101 8 0 0 20 0 1 0 96229044 108929024 20353 33554432000 4194304 4933779 140732149894224 140732149891976 4377598 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 26594 20353 604 181 0 20211 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 106376 KiB
Current children cumulated memory: 81412 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28977
/proc/meminfo: memFree=23434384/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=117952 memory=92936 CPUtime=102.27 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 146129 0 0 0 10218 9 0 0 20 0 1 0 96229044 120782848 23234 33554432000 4194304 4933779 140732149894224 140732149891992 4376528 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 29488 23234 604 181 0 23105 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 117952 KiB
Current children cumulated memory: 92936 KiB
[startup+162.3 s]
/proc/loadavg: 2.61 2.17 2.10 3/187 28978
/proc/meminfo: memFree=23422992/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=126800 memory=101600 CPUtime=162.26 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 169315 0 0 0 16215 11 0 0 20 0 1 0 96229044 129843200 25400 33554432000 4194304 4933779 140732149894224 140732149891992 4377379 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 31700 25400 604 181 0 25317 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 126800 KiB
Current children cumulated memory: 101600 KiB
[startup+222.3 s]
/proc/loadavg: 2.22 2.14 2.09 3/187 28979
/proc/meminfo: memFree=23404172/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=138524 memory=113604 CPUtime=222.24 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 194823 0 0 0 22211 13 0 0 20 0 1 0 96229044 141848576 28401 33554432000 4194304 4933779 140732149894224 140732149891976 4377580 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 34631 28401 604 181 0 28248 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 138524 KiB
Current children cumulated memory: 113604 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 28980
/proc/meminfo: memFree=23385888/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=147916 memory=124484 CPUtime=282.24 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 214677 0 0 0 28209 15 0 0 20 0 1 0 96229044 151465984 31121 33554432000 4194304 4933779 140732149894224 140732149891976 4212112 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 36979 31121 604 181 0 30596 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124484 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 28981
/proc/meminfo: memFree=23373532/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=153516 memory=129980 CPUtime=342.23 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 217698 0 0 0 34208 15 0 0 20 0 1 0 96229044 157200384 32495 33554432000 4194304 4933779 140732149894224 140732149891928 140230482436413 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 38379 32495 604 181 0 31996 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 153516 KiB
Current children cumulated memory: 129980 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 28990
/proc/meminfo: memFree=23359276/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=159324 memory=135740 CPUtime=402.23 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 221869 0 0 0 40207 16 0 0 20 0 1 0 96229044 163147776 33935 33554432000 4194304 4933779 140732149894224 140732149891912 140230482435130 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 39831 33935 604 181 0 33448 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 159324 KiB
Current children cumulated memory: 135740 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 28991
/proc/meminfo: memFree=23352324/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=162264 memory=138880 CPUtime=462.22 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 226135 0 0 0 46206 16 0 0 20 0 1 0 96229044 166158336 34720 33554432000 4194304 4933779 140732149894224 140732149891928 140230481569887 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 40566 34720 604 181 0 34183 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 162264 KiB
Current children cumulated memory: 138880 KiB
################
# More data... #
################
Current children cumulated memory: 202368 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 29220
/proc/meminfo: memFree=23362220/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=228544 memory=204992 CPUtime=1782.15 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 299545 0 0 0 178185 30 0 0 20 0 1 0 96229044 234029056 51248 33554432000 4194304 4933779 140732149894224 140732149891992 140230481563446 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 57136 51248 604 181 0 50753 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 228544 KiB
Current children cumulated memory: 204992 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29221
/proc/meminfo: memFree=23355884/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=231216 memory=207828 CPUtime=1842.15 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 303430 0 0 0 184184 31 0 0 20 0 1 0 96229044 236765184 51957 33554432000 4194304 4933779 140732149894224 140732149891928 4377638 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 57804 51957 604 181 0 51421 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 231216 KiB
Current children cumulated memory: 207828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29222
/proc/meminfo: memFree=23351036/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=232424 memory=209164 CPUtime=1902.14 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 304904 0 0 0 190183 31 0 0 20 0 1 0 96229044 238002176 52291 33554432000 4194304 4933779 140732149894224 140732149891976 140230482435101 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 58106 52291 604 181 0 51723 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 232424 KiB
Current children cumulated memory: 209164 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29245
/proc/meminfo: memFree=23346388/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=235400 memory=211912 CPUtime=1962.13 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 306857 0 0 0 196182 31 0 0 20 0 1 0 96229044 241049600 52978 33554432000 4194304 4933779 140732149894224 140732149891928 140230481563221 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 58850 52978 604 181 0 52467 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 235400 KiB
Current children cumulated memory: 211912 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29246
/proc/meminfo: memFree=23341248/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=236864 memory=213444 CPUtime=2022.13 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 308877 0 0 0 202181 32 0 0 20 0 1 0 96229044 242548736 53361 33554432000 4194304 4933779 140732149894224 140732149891976 140230482435101 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 59216 53361 604 181 0 52833 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 236864 KiB
Current children cumulated memory: 213444 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29247
/proc/meminfo: memFree=23335880/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=238872 memory=215576 CPUtime=2082.13 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 311176 0 0 0 208181 32 0 0 20 0 1 0 96229044 244604928 53894 33554432000 4194304 4933779 140732149894224 140732149891928 4377379 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 59718 53894 604 181 0 53335 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 238872 KiB
Current children cumulated memory: 215576 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29256
/proc/meminfo: memFree=23326044/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=243208 memory=219824 CPUtime=2142.12 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 314775 0 0 0 214180 32 0 0 20 0 1 0 96229044 249044992 54956 33554432000 4194304 4933779 140732149894224 140732149891912 4377379 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 60802 54956 604 181 0 54419 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 243208 KiB
Current children cumulated memory: 219824 KiB
[startup+2188.44 s]
# the end of solver process 28975 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2187.94 s, system=0.333977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29256
/proc/meminfo: memFree=23325620/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=243484 memory=220140 CPUtime=2150.23 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 314869 0 0 0 214990 33 0 0 20 0 1 0 96229044 249327616 55035 33554432000 4194304 4933779 140732149894224 140732149891928 140230482433021 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 60871 55035 604 181 0 54488 0
Current children cumulated CPU time: 2150.23 s
Current children cumulated vsize: 243484 KiB
Current children cumulated memory: 220140 KiB
[startup+2163.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29256
/proc/meminfo: memFree=23325496/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=243620 memory=220284 CPUtime=2163.02 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317414 0 0 0 216269 33 0 0 20 0 1 0 96229044 249466880 55071 33554432000 4194304 4933779 140732149894224 140732149891928 4377382 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 60905 55071 604 181 0 54522 0
Current children cumulated CPU time: 2163.02 s
Current children cumulated vsize: 243620 KiB
Current children cumulated memory: 220284 KiB
[startup+2176 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23325008/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244028 memory=220556 CPUtime=2175.83 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317765 0 0 0 217550 33 0 0 20 0 1 0 96229044 249884672 55139 33554432000 4194304 4933779 140732149894224 140732149891928 4377638 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61007 55139 604 181 0 54624 0
Current children cumulated CPU time: 2175.83 s
Current children cumulated vsize: 244028 KiB
Current children cumulated memory: 220556 KiB
[startup+2182.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23324388/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244296 memory=220976 CPUtime=2182.22 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317907 0 0 0 218189 33 0 0 20 0 1 0 96229044 250159104 55244 33554432000 4194304 4933779 140732149894224 140732149891976 140230482435101 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61074 55244 604 181 0 54691 0
Current children cumulated CPU time: 2182.22 s
Current children cumulated vsize: 244296 KiB
Current children cumulated memory: 220976 KiB
[startup+2185.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23324388/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244432 memory=220976 CPUtime=2185.42 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317932 0 0 0 218509 33 0 0 20 0 1 0 96229044 250298368 55244 33554432000 4194304 4933779 140732149894224 140732149891976 4377824 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61108 55244 604 181 0 54725 0
Current children cumulated CPU time: 2185.42 s
Current children cumulated vsize: 244432 KiB
Current children cumulated memory: 220976 KiB
[startup+2187.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23323892/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244432 memory=220976 CPUtime=2187.02 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317949 0 0 0 218669 33 0 0 20 0 1 0 96229044 250298368 55244 33554432000 4194304 4933779 140732149894224 140732149891928 4377379 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61108 55244 604 181 0 54725 0
Current children cumulated CPU time: 2187.02 s
Current children cumulated vsize: 244432 KiB
Current children cumulated memory: 220976 KiB
[startup+2188 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23323892/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244432 memory=220976 CPUtime=2187.83 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317952 0 0 0 218750 33 0 0 20 0 1 0 96229044 250298368 55244 33554432000 4194304 4933779 140732149894224 140732149891928 140230482435101 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61108 55244 604 181 0 54725 0
Current children cumulated CPU time: 2187.83 s
Current children cumulated vsize: 244432 KiB
Current children cumulated memory: 220976 KiB
[startup+2188.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29257
/proc/meminfo: memFree=23323892/32770624 swapFree=67108860/67108860
[pid=28975] ppid=28972 vsize=244432 memory=220976 CPUtime=2188.22 cores=1,3,5,7
/proc/28975/stat : 28975 (nacre_mini_rele) R 28972 28975 27398 0 -1 4202496 317952 0 0 0 218789 33 0 0 20 0 1 0 96229044 250298368 55244 33554432000 4194304 4933779 140732149894224 140732149891928 140230487772112 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 9433088 140732149896344 140732149896444 140732149896444 140732149899202 0
/proc/28975/statm: 61108 55244 604 181 0 54725 0
Current children cumulated CPU time: 2188.22 s
Current children cumulated vsize: 244432 KiB
Current children cumulated memory: 220976 KiB
Child status: 20
Real time (s): 2188.44
CPU time (s): 2188.27
CPU user time (s): 2187.94
CPU system time (s): 0.333977
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 244432
Max. memory (cumulated for all children) (KiB): 220976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2187.94
system time used= 0.333977
maximum resident set size= 221168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318030
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= 38
involuntary context switches= 2075
# summary of solver processes directly reported to runsolver:
# pid: 28975
# total CPU time (s): 2188.27
# total CPU user time (s): 2187.94
# total CPU system time (s): 0.333977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12604 second user time and 16.6454 second system time
The end