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 (14522 MiB free)
memory of node 1: 16384 MiB (13714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306458-1534077023/watcher-4306458-1534077023 -o /tmp/evaluation-result-4306458-1534077023/solver-4306458-1534077023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534061432-19466 --watchdog 2580 BTD 3 2520 HOME/instance-4306458-1534077023.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=22139, runsolver pid=22136
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28890816/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=56580 memory=25524 CPUtime=0.1 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 6946 0 0 0 9 1 0 0 20 0 1 0 225265448 57937920 6381 33554432000 4194304 36388936 140727051153040 140727051149128 4212528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 14145 6381 443 7861 0 6249 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56580 KiB
Current children cumulated memory: 25524 KiB
[startup+0.209711 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 22140
/proc/meminfo: memFree=28890196/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=57108 memory=26052 CPUtime=0.21 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 7088 0 0 0 20 1 0 0 20 0 1 0 225265448 58478592 6513 33554432000 4194304 36388936 140727051153040 140727051146872 4212546 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 14277 6513 443 7861 0 6381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57108 KiB
Current children cumulated memory: 26052 KiB
[startup+0.309266 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28889884/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=57372 memory=26316 CPUtime=0.31 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 7152 0 0 0 30 1 0 0 20 0 1 0 225265448 58748928 6579 33554432000 4194304 36388936 140727051153040 140727051146872 4195856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 14343 6579 443 7861 0 6447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57372 KiB
Current children cumulated memory: 26316 KiB
[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28889512/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=58032 memory=26844 CPUtime=0.7 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 7308 0 0 0 69 1 0 0 20 0 1 0 225265448 59424768 6711 33554432000 4194304 36388936 140727051153040 140727051146872 4212725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 14508 6711 443 7861 0 6612 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 58032 KiB
Current children cumulated memory: 26844 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28888768/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=58824 memory=27636 CPUtime=1.5 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 7522 0 0 0 149 1 0 0 20 0 1 0 225265448 60235776 6909 33554432000 4194304 36388936 140727051153040 140727051147064 4212725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 14706 6909 443 7861 0 6810 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 58824 KiB
Current children cumulated memory: 27636 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28886912/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=60012 memory=29024 CPUtime=3.1 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 11424 0 0 0 309 1 0 0 20 0 1 0 225265448 61452288 7256 33554432000 4194304 36388936 140727051153040 140727051146872 4212721 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 15003 7256 443 7861 0 7107 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60012 KiB
Current children cumulated memory: 29024 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28883524/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=62520 memory=31328 CPUtime=6.29 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 17484 0 0 0 628 1 0 0 20 0 1 0 225265448 64020480 7832 33554432000 4194304 36388936 140727051153040 140727051146376 4212725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 15630 7832 443 7861 0 7734 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 31328 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28875840/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=70704 memory=39636 CPUtime=12.69 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 24596 0 0 0 1268 1 0 0 20 0 1 0 225265448 72400896 9909 33554432000 4194304 36388936 140727051153040 140727051146872 4212725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 17676 9909 443 7861 0 9780 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 70704 KiB
Current children cumulated memory: 39636 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=28864808/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=81924 memory=51200 CPUtime=25.48 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 34330 0 0 0 2546 2 0 0 20 0 1 0 225265448 83890176 12800 33554432000 4194304 36388936 140727051153040 140727051146344 4195856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 20481 12800 444 7861 0 12585 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 81924 KiB
Current children cumulated memory: 51200 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22140
/proc/meminfo: memFree=27971348/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=974276 memory=942128 CPUtime=51.09 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 259325 0 0 0 5078 31 0 0 20 0 1 0 225265448 997658624 235532 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 243569 235532 497 7861 0 235673 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 974276 KiB
Current children cumulated memory: 942128 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22141
/proc/meminfo: memFree=27971908/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=974276 memory=942352 CPUtime=102.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 259408 0 0 0 10195 32 0 0 20 0 1 0 225265448 997658624 235588 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 243569 235588 497 7861 0 235673 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 974276 KiB
Current children cumulated memory: 942352 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22142
/proc/meminfo: memFree=27967100/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=979204 memory=947304 CPUtime=162.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 262165 0 0 0 16192 35 0 0 20 0 1 0 225265448 1002704896 236826 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 244801 236826 499 7861 0 236905 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 979204 KiB
Current children cumulated memory: 947304 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22143
/proc/meminfo: memFree=27967068/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=979204 memory=947304 CPUtime=222.28 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 263792 0 0 0 22190 38 0 0 20 0 1 0 225265448 1002704896 236826 33554432000 4194304 36388936 140727051153040 140727051151880 4658425 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 244801 236826 499 7861 0 236905 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 979204 KiB
Current children cumulated memory: 947304 KiB
[startup+282.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/187 22144
/proc/meminfo: memFree=27965996/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=980356 memory=948548 CPUtime=282.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 266330 0 0 0 28186 41 0 0 20 0 1 0 225265448 1003884544 237137 33554432000 4194304 36388936 140727051153040 140727051151880 4658425 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 245089 237137 499 7861 0 237193 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 980356 KiB
Current children cumulated memory: 948548 KiB
[startup+342.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/187 22145
/proc/meminfo: memFree=27965652/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=980356 memory=948548 CPUtime=342.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 268176 0 0 0 34183 44 0 0 20 0 1 0 225265448 1003884544 237137 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 245089 237137 499 7861 0 237193 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 980356 KiB
Current children cumulated memory: 948548 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 22146
/proc/meminfo: memFree=27964812/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=981208 memory=949392 CPUtime=402.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 270546 0 0 0 40180 47 0 0 20 0 1 0 225265448 1004756992 237348 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 245302 237348 499 7861 0 237406 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 981208 KiB
Current children cumulated memory: 949392 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 22147
/proc/meminfo: memFree=27964344/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=981344 memory=949528 CPUtime=462.27 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 274311 0 0 0 46179 48 0 0 20 0 1 0 225265448 1004896256 237382 33554432000 4194304 36388936 140727051153040 140727051151880 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 245336 237382 499 7861 0 237440 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 981344 KiB
Current children cumulated memory: 949528 KiB
################
# More data... #
################
/proc/22139/statm: 247222 239581 499 7861 0 239326 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 988888 KiB
Current children cumulated memory: 958324 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22257
/proc/meminfo: memFree=27952200/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=988888 memory=958324 CPUtime=1782.24 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 300747 0 0 0 178125 99 0 0 20 0 1 0 225265448 1012621312 239581 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247222 239581 499 7861 0 239326 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 988888 KiB
Current children cumulated memory: 958324 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 22281
/proc/meminfo: memFree=27951992/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989048 memory=958484 CPUtime=1842.24 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 301728 0 0 0 184123 101 0 0 20 0 1 0 225265448 1012785152 239621 33554432000 4194304 36388936 140727051153040 140727051151880 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247262 239621 499 7861 0 239366 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 989048 KiB
Current children cumulated memory: 958484 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 22282
/proc/meminfo: memFree=27952072/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989048 memory=958484 CPUtime=1902.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 302409 0 0 0 190119 104 0 0 20 0 1 0 225265448 1012785152 239621 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247262 239621 499 7861 0 239366 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 989048 KiB
Current children cumulated memory: 958484 KiB
[startup+1962.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/189 22283
/proc/meminfo: memFree=27952076/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989292 memory=958728 CPUtime=1962.24 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 303273 0 0 0 196117 107 0 0 20 0 1 0 225265448 1013035008 239682 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247323 239682 499 7861 0 239427 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 989292 KiB
Current children cumulated memory: 958728 KiB
[startup+2022.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/189 22284
/proc/meminfo: memFree=27952324/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989292 memory=958728 CPUtime=2022.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 304047 0 0 0 202113 110 0 0 20 0 1 0 225265448 1013035008 239682 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247323 239682 499 7861 0 239427 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 989292 KiB
Current children cumulated memory: 958728 KiB
[startup+2082.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/189 22285
/proc/meminfo: memFree=27951456/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989904 memory=959344 CPUtime=2082.24 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 304975 0 0 0 208110 114 0 0 20 0 1 0 225265448 1013661696 239836 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247476 239836 499 7861 0 239580 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 989904 KiB
Current children cumulated memory: 959344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 22286
/proc/meminfo: memFree=27951808/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=989904 memory=959344 CPUtime=2142.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 305844 0 0 0 214107 116 0 0 20 0 1 0 225265448 1013661696 239836 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247476 239836 499 7861 0 239580 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 989904 KiB
Current children cumulated memory: 959344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 22287
/proc/meminfo: memFree=27951908/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=990268 memory=959704 CPUtime=2202.24 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 306753 0 0 0 220105 119 0 0 20 0 1 0 225265448 1014034432 239926 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247567 239926 499 7861 0 239671 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 990268 KiB
Current children cumulated memory: 959704 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 22288
/proc/meminfo: memFree=27951800/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=990268 memory=959704 CPUtime=2262.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 307416 0 0 0 226102 121 0 0 20 0 1 0 225265448 1014034432 239926 33554432000 4194304 36388936 140727051153040 140727051151880 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247567 239926 499 7861 0 239671 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 990268 KiB
Current children cumulated memory: 959704 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 22289
/proc/meminfo: memFree=27951428/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=990648 memory=960084 CPUtime=2322.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 308356 0 0 0 232100 123 0 0 20 0 1 0 225265448 1014423552 240021 33554432000 4194304 36388936 140727051153040 140727051151880 4658359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247662 240021 499 7861 0 239766 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 990648 KiB
Current children cumulated memory: 960084 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 22297
/proc/meminfo: memFree=27950388/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=990648 memory=960084 CPUtime=2382.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 309062 0 0 0 238097 126 0 0 20 0 1 0 225265448 1014423552 240021 33554432000 4194304 36388936 140727051153040 140727051151880 4658339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247662 240021 499 7861 0 239766 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 990648 KiB
Current children cumulated memory: 960084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22298
/proc/meminfo: memFree=27949792/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=991368 memory=960804 CPUtime=2442.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 310080 0 0 0 244094 129 0 0 20 0 1 0 225265448 1015160832 240201 33554432000 4194304 36388936 140727051153040 140727051151880 4658388 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247842 240201 499 7861 0 239946 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 991368 KiB
Current children cumulated memory: 960804 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22299
/proc/meminfo: memFree=27949900/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=991368 memory=960804 CPUtime=2502.23 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 310748 0 0 0 250092 131 0 0 20 0 1 0 225265448 1015160832 240201 33554432000 4194304 36388936 140727051153040 140727051151880 4658296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247842 240201 499 7861 0 239946 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 991368 KiB
Current children cumulated memory: 960804 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 22299
/proc/meminfo: memFree=27950024/32770624 swapFree=67030652/67108860
[pid=22139] ppid=22136 vsize=991368 memory=960804 CPUtime=2519.94 cores=0,2,4,6
/proc/22139/stat : 22139 (BTD) R 22136 22139 19435 0 -1 4202496 310819 0 0 0 251861 133 0 0 20 0 1 0 225265448 1015160832 240201 33554432000 4194304 36388936 140727051153040 140727051151880 6663879 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 52310016 140727051158717 140727051158795 140727051158795 140727051161553 0
/proc/22139/statm: 247842 240201 499 7861 0 239946 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 991368 KiB
Current children cumulated memory: 960804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 22139 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.62 s, system=1.33498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.95
CPU user time (s): 2518.62
CPU system time (s): 1.33498
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 991368
Max. memory (cumulated for all children) (KiB): 960804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.62
system time used= 1.33498
maximum resident set size= 960804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310819
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= 27
involuntary context switches= 3356
# summary of solver processes directly reported to runsolver:
# pid: 22139
# total CPU time (s): 2519.95
# total CPU user time (s): 2518.62
# total CPU system time (s): 1.33498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.86384 second user time and 18.498 second system time
The end