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 (15096 MiB free)
memory of node 1: 16384 MiB (15119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265070-1502685577/watcher-4265070-1502685577 -o /tmp/evaluation-result-4265070-1502685577/solver-4265070-1502685577 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580 BTD 2520 HOME/instance-4265070-1502685577.xml
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=590, runsolver pid=586
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 2.00 2.01 2.02 3/181 592
/proc/meminfo: memFree=30939788/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=32260 memory=2680 CPUtime=0.01 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 818 0 0 0 1 0 0 0 20 0 1 0 70751000 33034240 670 18446744073709551615 4194304 35031035 140721601129536 140721601129536 7408826 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 8065 670 232 7529 0 512 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 32260 KiB
Current children cumulated memory: 2680 KiB
[startup+0.209241 s]*
/proc/loadavg: 2.00 2.01 2.02 3/181 592
/proc/meminfo: memFree=30931728/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=40884 memory=11272 CPUtime=0.11 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 3035 0 0 0 11 0 0 0 20 0 1 0 70751000 41865216 2818 18446744073709551615 4194304 35031035 140721601129536 140721601129536 7408826 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 10221 2818 232 7529 0 2668 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40884 KiB
Current children cumulated memory: 11272 KiB
[startup+0.309426 s]*
/proc/loadavg: 2.00 2.01 2.02 3/181 592
/proc/meminfo: memFree=30921684/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=50484 memory=20872 CPUtime=0.21 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 5460 0 0 0 21 0 0 0 20 0 1 0 70751000 51695616 5218 18446744073709551615 4194304 35031035 140721601129536 140721601129536 7408826 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 12621 5218 232 7529 0 5068 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 20872 KiB
[startup+0.700409 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 592
/proc/meminfo: memFree=30895892/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=85804 memory=56092 CPUtime=0.6 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 34036 0 0 0 56 4 0 0 20 0 1 0 70751000 87863296 14023 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632139 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 21451 14023 232 7529 0 13898 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 85804 KiB
Current children cumulated memory: 56092 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 592
/proc/meminfo: memFree=30883332/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=90492 memory=60816 CPUtime=1.4 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 240747 0 0 0 113 27 0 0 20 0 1 0 70751000 92663808 15204 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632191 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 22623 15204 232 7529 0 15070 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 60816 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 593
/proc/meminfo: memFree=30874512/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=96588 memory=67000 CPUtime=3.01 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 559258 0 0 0 243 58 0 0 20 0 1 0 70751000 98906112 16750 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4846306 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 24147 16750 232 7529 0 16594 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 96588 KiB
Current children cumulated memory: 67000 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 593
/proc/meminfo: memFree=30866256/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=105640 memory=75620 CPUtime=6.19 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 802668 0 0 0 538 81 0 0 20 0 1 0 70751000 108175360 18905 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632139 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 26410 18905 232 7529 0 18857 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 105640 KiB
Current children cumulated memory: 75620 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 593
/proc/meminfo: memFree=30853872/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=118008 memory=88344 CPUtime=12.6 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 885245 0 0 0 1169 91 0 0 20 0 1 0 70751000 120840192 22086 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632368 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 29502 22086 232 7529 0 21949 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 118008 KiB
Current children cumulated memory: 88344 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 593
/proc/meminfo: memFree=30835920/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=134136 memory=104500 CPUtime=25.4 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 994848 0 0 0 2436 104 0 0 20 0 1 0 70751000 137355264 26125 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632248 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 33534 26125 232 7529 0 25981 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 134136 KiB
Current children cumulated memory: 104500 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 593
/proc/meminfo: memFree=30811736/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=154484 memory=124888 CPUtime=51 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1133039 0 0 0 4979 121 0 0 20 0 1 0 70751000 158191616 31222 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 38621 31222 232 7529 0 31068 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 154484 KiB
Current children cumulated memory: 124888 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 595
/proc/meminfo: memFree=30778692/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=181864 memory=152248 CPUtime=102.19 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1284834 0 0 0 10074 145 0 0 20 0 1 0 70751000 186228736 38062 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632328 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 45466 38062 232 7529 0 37913 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 181864 KiB
Current children cumulated memory: 152248 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 598
/proc/meminfo: memFree=30747760/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=204644 memory=175012 CPUtime=162.19 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1393883 0 0 0 16056 163 0 0 20 0 1 0 70751000 209555456 43753 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632328 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 51161 43753 232 7529 0 43608 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 204644 KiB
Current children cumulated memory: 175012 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 600
/proc/meminfo: memFree=30725064/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=222624 memory=192928 CPUtime=222.18 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1468866 0 0 0 22042 176 0 0 20 0 1 0 70751000 227966976 48232 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4215448 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 55656 48232 232 7529 0 48103 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 222624 KiB
Current children cumulated memory: 192928 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/185 632
/proc/meminfo: memFree=30697624/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=238400 memory=208744 CPUtime=282.18 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1533027 0 0 0 28030 188 0 0 20 0 1 0 70751000 244121600 52186 18446744073709551615 4194304 35031035 140721601129536 140721601125256 4632132 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 59600 52186 232 7529 0 52047 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 238400 KiB
Current children cumulated memory: 208744 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/185 634
/proc/meminfo: memFree=30658752/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=274320 memory=242712 CPUtime=342.17 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1554330 0 0 0 34026 191 0 0 20 0 1 0 70751000 280903680 60678 18446744073709551615 4194304 35031035 140721601129536 140721601122360 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 68580 60678 294 7529 0 61027 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 274320 KiB
Current children cumulated memory: 242712 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/182 636
/proc/meminfo: memFree=30638020/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=291000 memory=259372 CPUtime=402.17 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1560738 0 0 0 40025 192 0 0 20 0 1 0 70751000 297984000 64843 18446744073709551615 4194304 35031035 140721601129536 140721601122360 7544962 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 72750 64843 294 7529 0 65197 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 291000 KiB
Current children cumulated memory: 259372 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/182 638
/proc/meminfo: memFree=30621272/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=303152 memory=271704 CPUtime=462.16 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1569738 0 0 0 46023 193 0 0 20 0 1 0 70751000 310427648 67926 18446744073709551615 4194304 35031035 140721601129536 140721601122360 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 75788 67926 294 7529 0 68235 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 303152 KiB
Current children cumulated memory: 271704 KiB
################
# More data... #
################
Current children cumulated memory: 353068 KiB
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 681
/proc/meminfo: memFree=30397900/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=386072 memory=356716 CPUtime=1302.1 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1718506 0 0 0 130008 202 0 0 20 0 1 0 70751000 395337728 89179 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 96518 89179 294 7529 0 88965 0
Current children cumulated CPU time: 1302.1 s
Current children cumulated vsize: 386072 KiB
Current children cumulated memory: 356716 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 683
/proc/meminfo: memFree=30387452/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=391496 memory=362020 CPUtime=1362.1 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1728502 0 0 0 136008 202 0 0 20 0 1 0 70751000 400891904 90505 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7501369 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 97874 90505 294 7529 0 90321 0
Current children cumulated CPU time: 1362.1 s
Current children cumulated vsize: 391496 KiB
Current children cumulated memory: 362020 KiB
[startup+1422.3 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 746
/proc/meminfo: memFree=30862644/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=394752 memory=365356 CPUtime=1422.09 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1738114 0 0 0 142007 202 0 0 20 0 1 0 70751000 404226048 91339 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254121 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 98688 91339 294 7529 0 91135 0
Current children cumulated CPU time: 1422.09 s
Current children cumulated vsize: 394752 KiB
Current children cumulated memory: 365356 KiB
[startup+1482.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 763
/proc/meminfo: memFree=30803420/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=396920 memory=367568 CPUtime=1482.09 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1747736 0 0 0 148006 203 0 0 20 0 1 0 70751000 406446080 91892 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4195696 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 99230 91892 294 7529 0 91677 0
Current children cumulated CPU time: 1482.09 s
Current children cumulated vsize: 396920 KiB
Current children cumulated memory: 367568 KiB
[startup+1542.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 765
/proc/meminfo: memFree=30773096/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=399092 memory=369736 CPUtime=1542.08 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1748641 0 0 0 154005 203 0 0 20 0 1 0 70751000 408670208 92434 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7501369 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 99773 92434 294 7529 0 92220 0
Current children cumulated CPU time: 1542.08 s
Current children cumulated vsize: 399092 KiB
Current children cumulated memory: 369736 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 767
/proc/meminfo: memFree=30754904/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=401260 memory=371904 CPUtime=1602.07 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1750081 0 0 0 160004 203 0 0 20 0 1 0 70751000 410890240 92976 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254133 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 100315 92976 294 7529 0 92762 0
Current children cumulated CPU time: 1602.07 s
Current children cumulated vsize: 401260 KiB
Current children cumulated memory: 371904 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 769
/proc/meminfo: memFree=30736884/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=403432 memory=374076 CPUtime=1662.07 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1751851 0 0 0 166004 203 0 0 20 0 1 0 70751000 413114368 93519 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 100858 93519 294 7529 0 93305 0
Current children cumulated CPU time: 1662.07 s
Current children cumulated vsize: 403432 KiB
Current children cumulated memory: 374076 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 771
/proc/meminfo: memFree=30721960/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=404516 memory=375160 CPUtime=1722.06 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1753590 0 0 0 172003 203 0 0 20 0 1 0 70751000 414224384 93790 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254078 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101129 93790 294 7529 0 93576 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 404516 KiB
Current children cumulated memory: 375160 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 774
/proc/meminfo: memFree=30707028/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=406688 memory=377100 CPUtime=1782.05 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1755520 0 0 0 178002 203 0 0 20 0 1 0 70751000 416448512 94275 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7501369 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101672 94275 294 7529 0 94119 0
Current children cumulated CPU time: 1782.05 s
Current children cumulated vsize: 406688 KiB
Current children cumulated memory: 377100 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30694924/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378416 CPUtime=1842.06 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1757022 0 0 0 184002 204 0 0 20 0 1 0 70751000 417558528 94604 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7501372 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94604 294 7529 0 94390 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378416 KiB
[startup+1844.79 s]
# the end of solver process 590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1842.51 s, system=2.04285 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30693560/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378416 CPUtime=1842.96 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1757028 0 0 0 184092 204 0 0 20 0 1 0 70751000 417558528 94604 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94604 294 7529 0 94390 0
Current children cumulated CPU time: 1842.96 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378416 KiB
[startup+1844 s]*
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30693560/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378416 CPUtime=1843.76 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1757028 0 0 0 184172 204 0 0 20 0 1 0 70751000 417558528 94604 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4254068 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94604 294 7529 0 94390 0
Current children cumulated CPU time: 1843.76 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378416 KiB
[startup+1844.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30693560/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378948 CPUtime=1844.16 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1757290 0 0 0 184212 204 0 0 20 0 1 0 70751000 417558528 94737 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7392062 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94737 427 7529 0 94390 0
Current children cumulated CPU time: 1844.16 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378948 KiB
[startup+1844.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30693560/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378956 CPUtime=1844.36 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1758160 0 0 0 184232 204 0 0 20 0 1 0 70751000 417558528 94739 18446744073709551615 4194304 35031035 140721601129536 140721601122312 4628022 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94739 429 7529 0 94390 0
Current children cumulated CPU time: 1844.36 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378956 KiB
[startup+1844.7 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 776
/proc/meminfo: memFree=30693560/32770624 swapFree=67108860/67108860
[pid=590] ppid=586 vsize=407772 memory=378956 CPUtime=1844.46 cores=0,2,4,6
/proc/590/stat : 590 (BTD) R 586 590 17093 0 -1 4202496 1758160 0 0 0 184242 204 0 0 20 0 1 0 70751000 417558528 94739 18446744073709551615 4194304 35031035 140721601129536 140721601122312 7391996 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 48726016 140721601135071 140721601135147 140721601135147 140721601138641 0
/proc/590/statm: 101943 94739 429 7529 0 94390 0
Current children cumulated CPU time: 1844.46 s
Current children cumulated vsize: 407772 KiB
Current children cumulated memory: 378956 KiB
Child status: 1
Real time (s): 1844.79
CPU time (s): 1844.55
CPU user time (s): 1842.51
CPU system time (s): 2.04285
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 407772
Max. memory (cumulated for all children) (KiB): 378956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1842.51
system time used= 2.04285
maximum resident set size= 378956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1758177
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= 18
involuntary context switches= 2308
# summary of solver processes directly reported to runsolver:
# pid: 590
# total CPU time (s): 1844.55
# total CPU user time (s): 1842.51
# total CPU system time (s): 2.04285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15344 second user time and 13.8734 second system time
The end