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 (15048 MiB free)
memory of node 1: 16384 MiB (15509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265128-1502737940/watcher-4265128-1502737940 -o /tmp/evaluation-result-4265128-1502737940/solver-4265128-1502737940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580 BTD 2520 HOME/instance-4265128-1502737940.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=13747, runsolver pid=13744
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31290256/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=32532 memory=2988 CPUtime=0.02 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 879 0 0 0 2 0 0 0 20 0 1 0 75987302 33312768 747 18446744073709551615 4194304 35031035 140735948350512 140735948350512 4632139 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 8133 747 234 7529 0 580 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 2988 KiB
[startup+0.209158 s]*
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31288396/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=34200 memory=4404 CPUtime=0.13 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 1337 0 0 0 13 0 0 0 20 0 1 0 75987302 35020800 1101 18446744073709551615 4194304 35031035 140735948350512 140735948350512 4890381 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 8550 1101 242 7529 0 997 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 34200 KiB
Current children cumulated memory: 4404 KiB
[startup+0.308826 s]*
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31287404/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=35508 memory=5636 CPUtime=0.23 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 1742 0 0 0 23 0 0 0 20 0 1 0 75987302 36360192 1409 18446744073709551615 4194304 35031035 140735948350512 140735948350512 6429792 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 8877 1409 242 7529 0 1324 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 35508 KiB
Current children cumulated memory: 5636 KiB
[startup+0.70036 s]
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31284924/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=41244 memory=10652 CPUtime=0.61 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 3516 0 0 0 61 0 0 0 20 0 1 0 75987302 42233856 2663 18446744073709551615 4194304 35031035 140735948350512 140735948347688 7408826 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 10311 2663 242 7529 0 2758 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 10652 KiB
[startup+1.50035 s]
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31278852/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=51576 memory=21776 CPUtime=1.4 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 6056 0 0 0 140 0 0 0 20 0 1 0 75987302 52813824 5444 18446744073709551615 4194304 35031035 140735948350512 140735948347688 7408826 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 12894 5444 242 7529 0 5341 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 51576 KiB
Current children cumulated memory: 21776 KiB
[startup+3.10921 s]
/proc/loadavg: 2.08 2.12 2.08 3/181 13748
/proc/meminfo: memFree=31248216/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=78352 memory=46452 CPUtime=3.01 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 12432 0 0 0 300 1 0 0 20 0 1 0 75987302 80232448 11613 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 19588 11613 269 7529 0 12035 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 78352 KiB
Current children cumulated memory: 46452 KiB
[startup+6.30037 s]
/proc/loadavg: 2.15 2.13 2.09 3/181 13748
/proc/meminfo: memFree=31227068/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=98596 memory=66796 CPUtime=6.2 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 23478 0 0 0 617 3 0 0 20 0 1 0 75987302 100962304 16699 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256545 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 24649 16699 269 7529 0 17096 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 98596 KiB
Current children cumulated memory: 66796 KiB
[startup+12.7004 s]
/proc/loadavg: 2.14 2.13 2.09 3/181 13748
/proc/meminfo: memFree=31211072/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=115284 memory=83320 CPUtime=12.61 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 37315 0 0 0 1257 4 0 0 20 0 1 0 75987302 118050816 20830 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 28821 20830 269 7529 0 21268 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 115284 KiB
Current children cumulated memory: 83320 KiB
[startup+25.5004 s]
/proc/loadavg: 2.11 2.13 2.09 3/181 13748
/proc/meminfo: memFree=31189620/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=136172 memory=104236 CPUtime=25.4 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 72746 0 0 0 2535 5 0 0 20 0 1 0 75987302 139440128 26059 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256528 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 34043 26059 269 7529 0 26490 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136172 KiB
Current children cumulated memory: 104236 KiB
[startup+51.1096 s]
/proc/loadavg: 2.07 2.12 2.08 3/181 13749
/proc/meminfo: memFree=31161108/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=163172 memory=131228 CPUtime=51.01 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 101727 0 0 0 5094 7 0 0 20 0 1 0 75987302 167088128 32807 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 40793 32807 269 7529 0 33240 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 163172 KiB
Current children cumulated memory: 131228 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/181 13751
/proc/meminfo: memFree=31124028/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=200596 memory=168856 CPUtime=102.18 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 139032 0 0 0 10208 10 0 0 20 0 1 0 75987302 205410304 42214 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4255432 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 50149 42214 269 7529 0 42596 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 200596 KiB
Current children cumulated memory: 168856 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/185 13768
/proc/meminfo: memFree=31084208/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=236664 memory=204876 CPUtime=162.16 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 164715 0 0 0 16204 12 0 0 20 0 1 0 75987302 242343936 51219 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256442 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 59166 51219 269 7529 0 51613 0
Current children cumulated CPU time: 162.16 s
Current children cumulated vsize: 236664 KiB
Current children cumulated memory: 204876 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 2.05 2.06 3/186 13795
/proc/meminfo: memFree=31052556/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=267796 memory=235840 CPUtime=222.15 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 173403 0 0 0 22202 13 0 0 20 0 1 0 75987302 274223104 58960 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 66949 58960 269 7529 0 59396 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 267796 KiB
Current children cumulated memory: 235840 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 13797
/proc/meminfo: memFree=31029776/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=293768 memory=261848 CPUtime=282.14 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 187190 0 0 0 28200 14 0 0 20 0 1 0 75987302 300818432 65462 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 73442 65462 269 7529 0 65889 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 293768 KiB
Current children cumulated memory: 261848 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/183 13799
/proc/meminfo: memFree=31006816/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=317196 memory=285356 CPUtime=342.13 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 206773 0 0 0 34197 16 0 0 20 0 1 0 75987302 324808704 71339 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 79299 71339 269 7529 0 71746 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 317196 KiB
Current children cumulated memory: 285356 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/183 13801
/proc/meminfo: memFree=30985012/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=339160 memory=307200 CPUtime=402.12 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 212279 0 0 0 40195 17 0 0 20 0 1 0 75987302 347299840 76800 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 84790 76800 269 7529 0 77237 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 339160 KiB
Current children cumulated memory: 307200 KiB
[startup+462.3 s]
/proc/loadavg: 2.44 2.17 2.09 3/182 13803
/proc/meminfo: memFree=30964696/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=360280 memory=328332 CPUtime=462.1 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 219404 0 0 0 46193 17 0 0 20 0 1 0 75987302 368926720 82083 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 90070 82083 269 7529 0 82517 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 360280 KiB
Current children cumulated memory: 328332 KiB
################
# More data... #
################
Current children cumulated memory: 523040 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14699
/proc/meminfo: memFree=30728496/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=568704 memory=536792 CPUtime=1301.99 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 404985 0 0 0 130167 32 0 0 20 0 1 0 75987302 582352896 134198 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4255416 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 142176 134198 269 7529 0 134623 0
Current children cumulated CPU time: 1301.99 s
Current children cumulated vsize: 568704 KiB
Current children cumulated memory: 536792 KiB
[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/184 14715
/proc/meminfo: memFree=30715216/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=580540 memory=548792 CPUtime=1361.99 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 407584 0 0 0 136166 33 0 0 20 0 1 0 75987302 594472960 137198 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4255429 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 145135 137198 269 7529 0 137582 0
Current children cumulated CPU time: 1361.99 s
Current children cumulated vsize: 580540 KiB
Current children cumulated memory: 548792 KiB
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 14717
/proc/meminfo: memFree=30706536/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=590216 memory=558504 CPUtime=1421.99 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 421923 0 0 0 142165 34 0 0 20 0 1 0 75987302 604381184 139626 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 147554 139626 269 7529 0 140001 0
Current children cumulated CPU time: 1421.99 s
Current children cumulated vsize: 590216 KiB
Current children cumulated memory: 558504 KiB
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 14719
/proc/meminfo: memFree=30694320/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=602560 memory=570796 CPUtime=1481.97 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 439471 0 0 0 148163 34 0 0 20 0 1 0 75987302 617021440 142699 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256446 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 150640 142699 269 7529 0 143087 0
Current children cumulated CPU time: 1481.97 s
Current children cumulated vsize: 602560 KiB
Current children cumulated memory: 570796 KiB
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 14721
/proc/meminfo: memFree=30684536/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=612644 memory=580932 CPUtime=1541.97 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 458452 0 0 0 154161 36 0 0 20 0 1 0 75987302 627347456 145233 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 153161 145233 269 7529 0 145608 0
Current children cumulated CPU time: 1541.97 s
Current children cumulated vsize: 612644 KiB
Current children cumulated memory: 580932 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14723
/proc/meminfo: memFree=30674096/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=622924 memory=591216 CPUtime=1601.96 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 462257 0 0 0 160160 36 0 0 20 0 1 0 75987302 637874176 147804 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256528 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 155731 147804 269 7529 0 148178 0
Current children cumulated CPU time: 1601.96 s
Current children cumulated vsize: 622924 KiB
Current children cumulated memory: 591216 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14726
/proc/meminfo: memFree=30663876/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=633388 memory=601688 CPUtime=1661.95 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 468197 0 0 0 166159 36 0 0 20 0 1 0 75987302 648589312 150422 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256442 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158347 150422 269 7529 0 150794 0
Current children cumulated CPU time: 1661.95 s
Current children cumulated vsize: 633388 KiB
Current children cumulated memory: 601688 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14727
/proc/meminfo: memFree=30652900/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=644056 memory=612348 CPUtime=1721.95 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 475820 0 0 0 172158 37 0 0 20 0 1 0 75987302 659513344 153087 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 161014 153087 269 7529 0 153461 0
Current children cumulated CPU time: 1721.95 s
Current children cumulated vsize: 644056 KiB
Current children cumulated memory: 612348 KiB
[startup+1746.9 s]
# the end of solver process 13747 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1746.18 s, system=0.376963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30650296/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=646752 memory=615000 CPUtime=1727.66 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 476490 0 0 0 172729 37 0 0 20 0 1 0 75987302 662274048 153750 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 161688 153750 269 7529 0 154135 0
Current children cumulated CPU time: 1727.66 s
Current children cumulated vsize: 646752 KiB
Current children cumulated memory: 615000 KiB
[startup+1734.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30650296/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=646752 memory=615000 CPUtime=1734.05 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 476495 0 0 0 173368 37 0 0 20 0 1 0 75987302 662274048 153750 18446744073709551615 4194304 35031035 140735948350512 140735948343288 4256494 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 161688 153750 269 7529 0 154135 0
Current children cumulated CPU time: 1734.05 s
Current children cumulated vsize: 646752 KiB
Current children cumulated memory: 615000 KiB
[startup+1740.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30659232/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=634460 memory=605140 CPUtime=1740.45 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 477183 0 0 0 174008 37 0 0 20 0 1 0 75987302 649687040 151285 18446744073709551615 4194304 35031035 140735948350512 140735948347688 4255429 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158615 151285 296 7529 0 151062 0
Current children cumulated CPU time: 1740.45 s
Current children cumulated vsize: 634460 KiB
Current children cumulated memory: 605140 KiB
[startup+1744 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30659232/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=634460 memory=605140 CPUtime=1743.66 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 477183 0 0 0 174329 37 0 0 20 0 1 0 75987302 649687040 151285 18446744073709551615 4194304 35031035 140735948350512 140735948347688 4256416 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158615 151285 296 7529 0 151062 0
Current children cumulated CPU time: 1743.66 s
Current children cumulated vsize: 634460 KiB
Current children cumulated memory: 605140 KiB
[startup+1745.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30659232/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=634460 memory=605612 CPUtime=1745.25 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 477322 0 0 0 174488 37 0 0 20 0 1 0 75987302 649687040 151403 18446744073709551615 4194304 35031035 140735948350512 140735948347688 4256436 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158615 151403 414 7529 0 151062 0
Current children cumulated CPU time: 1745.25 s
Current children cumulated vsize: 634460 KiB
Current children cumulated memory: 605612 KiB
[startup+1746.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30659232/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=634460 memory=605612 CPUtime=1746.05 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 477329 0 0 0 174568 37 0 0 20 0 1 0 75987302 649687040 151403 18446744073709551615 4194304 35031035 140735948350512 140735948347688 7398297 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158615 151403 414 7529 0 151062 0
Current children cumulated CPU time: 1746.05 s
Current children cumulated vsize: 634460 KiB
Current children cumulated memory: 605612 KiB
[startup+1746.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14728
/proc/meminfo: memFree=30659232/32770624 swapFree=67108860/67108860
[pid=13747] ppid=13744 vsize=634460 memory=605612 CPUtime=1746.45 cores=0,2,4,6
/proc/13747/stat : 13747 (BTD) R 13744 13747 17093 0 -1 4202496 477329 0 0 0 174608 37 0 0 20 0 1 0 75987302 649687040 151403 18446744073709551615 4194304 35031035 140735948350512 140735948347688 7392000 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 45801472 140735948354015 140735948354091 140735948354091 140735948357585 0
/proc/13747/statm: 158615 151403 414 7529 0 151062 0
Current children cumulated CPU time: 1746.45 s
Current children cumulated vsize: 634460 KiB
Current children cumulated memory: 605612 KiB
Child status: 1
Real time (s): 1746.9
CPU time (s): 1746.56
CPU user time (s): 1746.18
CPU system time (s): 0.376963
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 646752
Max. memory (cumulated for all children) (KiB): 615000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.18
system time used= 0.376963
maximum resident set size= 615060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477344
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= 148
involuntary context switches= 2194
# summary of solver processes directly reported to runsolver:
# pid: 13747
# total CPU time (s): 1746.56
# total CPU user time (s): 1746.18
# total CPU system time (s): 0.376963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58128 second user time and 12.2921 second system time
The end