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 (10802 MiB free)
memory of node 1: 16384 MiB (6882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305985-1534071599/watcher-4305985-1534071599 -o /tmp/evaluation-result-4305985-1534071599/solver-4305985-1534071599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534061174-3821 --watchdog 2580 macht 2520 HOME/instance-4305985-1534071599.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
Current StackSize limit: 8192 KiB
solver pid=6331, runsolver pid=6328
[startup+0.100378 s]*
/proc/loadavg: 1.97 1.97 2.02 3/191 6332
/proc/meminfo: memFree=18094808/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=46980 memory=16584 CPUtime=0.1 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 4454 0 0 0 10 0 0 0 20 0 1 0 224723162 48107520 4146 33554432000 4194304 36388816 140723509799040 140723509792872 7934275 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 11745 4146 442 7860 0 3850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 16584 KiB
[startup+0.209584 s]*
/proc/loadavg: 1.97 1.97 2.02 3/191 6332
/proc/meminfo: memFree=18094560/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=47376 memory=17112 CPUtime=0.2 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 4549 0 0 0 20 0 0 0 20 0 1 0 224723162 48513024 4278 33554432000 4194304 36388816 140723509799040 140723509792872 4212528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 11844 4278 442 7860 0 3949 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47376 KiB
Current children cumulated memory: 17112 KiB
[startup+0.308984 s]*
/proc/loadavg: 1.97 1.97 2.02 3/191 6332
/proc/meminfo: memFree=18094188/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=47640 memory=17376 CPUtime=0.3 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 4610 0 0 0 30 0 0 0 20 0 1 0 224723162 48783360 4344 33554432000 4194304 36388816 140723509799040 140723509792872 7752559 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 11910 4344 442 7860 0 4015 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47640 KiB
Current children cumulated memory: 17376 KiB
[startup+0.700224 s]
/proc/loadavg: 1.97 1.97 2.02 3/191 6332
/proc/meminfo: memFree=18093816/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=48300 memory=17904 CPUtime=0.69 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 4761 0 0 0 69 0 0 0 20 0 1 0 224723162 49459200 4476 33554432000 4194304 36388816 140723509799040 140723509792440 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 12075 4476 442 7860 0 4180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 17904 KiB
[startup+1.50024 s]
/proc/loadavg: 1.97 1.97 2.02 3/191 6332
/proc/meminfo: memFree=18093320/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=49092 memory=18696 CPUtime=1.49 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 4968 0 0 0 149 0 0 0 20 0 1 0 224723162 50270208 4674 33554432000 4194304 36388816 140723509799040 140723509792808 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 12273 4674 442 7860 0 4378 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49092 KiB
Current children cumulated memory: 18696 KiB
[startup+3.10931 s]
/proc/loadavg: 1.97 1.97 2.02 3/192 6340
/proc/meminfo: memFree=18088808/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=51468 memory=21124 CPUtime=3.09 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 8869 0 0 0 309 0 0 0 20 0 1 0 224723162 52703232 5281 33554432000 4194304 36388816 140723509799040 140723509792808 7934000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 12867 5281 442 7860 0 4972 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51468 KiB
Current children cumulated memory: 21124 KiB
[startup+6.30022 s]
/proc/loadavg: 1.97 1.97 2.02 3/192 6340
/proc/meminfo: memFree=18084012/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=57012 memory=26600 CPUtime=6.28 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 13475 0 0 0 627 1 0 0 20 0 1 0 224723162 58380288 6650 33554432000 4194304 36388816 140723509799040 140723509792504 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 14253 6650 442 7860 0 6358 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57012 KiB
Current children cumulated memory: 26600 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.97 2.02 3/192 6340
/proc/meminfo: memFree=18074032/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=67176 memory=36696 CPUtime=12.69 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 20701 0 0 0 1267 2 0 0 20 0 1 0 224723162 68788224 9174 33554432000 4194304 36388816 140723509799040 140723509792408 4212591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 16794 9174 444 7860 0 8899 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 36696 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 1.97 2.02 3/192 6340
/proc/meminfo: memFree=18056176/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=84556 memory=54044 CPUtime=25.49 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 40531 0 0 0 2546 3 0 0 20 0 1 0 224723162 86585344 13511 33554432000 4194304 36388816 140723509799040 140723509682840 4635027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 21139 13511 476 7860 0 13244 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 84556 KiB
Current children cumulated memory: 54044 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 1.97 2.02 3/192 6340
/proc/meminfo: memFree=18052200/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=85784 memory=55444 CPUtime=51.09 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 48084 0 0 0 5104 5 0 0 20 0 1 0 224723162 87842816 13861 33554432000 4194304 36388816 140723509799040 140723509682840 4661742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 21446 13861 487 7860 0 13551 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 55444 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/193 6364
/proc/meminfo: memFree=18051968/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=86760 memory=56528 CPUtime=102.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 49197 0 0 0 10217 10 0 0 20 0 1 0 224723162 88842240 14132 33554432000 4194304 36388816 140723509799040 140723509682840 4661749 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 21690 14132 488 7860 0 13795 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 86760 KiB
Current children cumulated memory: 56528 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/193 6365
/proc/meminfo: memFree=18050632/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=88116 memory=57880 CPUtime=162.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 50319 0 0 0 16213 14 0 0 20 0 1 0 224723162 90230784 14470 33554432000 4194304 36388816 140723509799040 140723509682840 4661685 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22029 14470 488 7860 0 14134 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 88116 KiB
Current children cumulated memory: 57880 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/193 6366
/proc/meminfo: memFree=18048892/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=89336 memory=59072 CPUtime=222.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 51486 0 0 0 22209 18 0 0 20 0 1 0 224723162 91480064 14768 33554432000 4194304 36388816 140723509799040 140723509682840 6663744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22334 14768 488 7860 0 14439 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 89336 KiB
Current children cumulated memory: 59072 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/192 6367
/proc/meminfo: memFree=18047604/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=90140 memory=59872 CPUtime=282.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 52276 0 0 0 28205 22 0 0 20 0 1 0 224723162 92303360 14968 33554432000 4194304 36388816 140723509799040 140723509682840 4635019 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22535 14968 488 7860 0 14640 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 59872 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/191 6368
/proc/meminfo: memFree=18047080/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=90636 memory=60456 CPUtime=342.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 52952 0 0 0 34200 26 0 0 20 0 1 0 224723162 92811264 15114 33554432000 4194304 36388816 140723509799040 140723509682840 4635027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22659 15114 488 7860 0 14764 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 90636 KiB
Current children cumulated memory: 60456 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/190 6369
/proc/meminfo: memFree=18047028/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=91220 memory=61020 CPUtime=402.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 53547 0 0 0 40197 30 0 0 20 0 1 0 224723162 93409280 15255 33554432000 4194304 36388816 140723509799040 140723509682840 4661676 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22805 15255 488 7860 0 14910 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 91220 KiB
Current children cumulated memory: 61020 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/191 6371
/proc/meminfo: memFree=18046560/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=91724 memory=61612 CPUtime=462.27 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 54055 0 0 0 46192 35 0 0 20 0 1 0 224723162 93925376 15403 33554432000 4194304 36388816 140723509799040 140723509682840 4635027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 22931 15403 488 7860 0 15036 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 61612 KiB
################
# More data... #
################
/proc/6331/statm: 23867 16348 489 7860 0 15972 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 95468 KiB
Current children cumulated memory: 65392 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/191 6417
/proc/meminfo: memFree=18152660/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65412 CPUtime=1782.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 63852 0 0 0 178100 126 0 0 20 0 1 0 224723162 97898496 16353 33554432000 4194304 36388816 140723509799040 140723509682840 4661685 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16353 489 7860 0 16006 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65412 KiB
[startup+1842.3 s]
/proc/loadavg: 2.61 2.22 2.12 3/192 6426
/proc/meminfo: memFree=18152684/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65488 CPUtime=1842.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 64130 0 0 0 184096 130 0 0 20 0 1 0 224723162 97898496 16372 33554432000 4194304 36388816 140723509799040 140723509682840 4251152 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16372 489 7860 0 16006 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65488 KiB
[startup+1902.3 s]
/proc/loadavg: 2.22 2.18 2.11 3/192 6427
/proc/meminfo: memFree=18152460/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65532 CPUtime=1902.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 64429 0 0 0 190091 135 0 0 20 0 1 0 224723162 97898496 16383 33554432000 4194304 36388816 140723509799040 140723509682840 4661781 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16383 489 7860 0 16006 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65532 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.15 2.10 3/192 6428
/proc/meminfo: memFree=18152700/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65556 CPUtime=1962.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 64755 0 0 0 196086 139 0 0 20 0 1 0 224723162 97898496 16389 33554432000 4194304 36388816 140723509799040 140723509682840 6663735 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16389 489 7860 0 16006 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65556 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.12 2.10 3/191 6429
/proc/meminfo: memFree=18152336/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65556 CPUtime=2022.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 65000 0 0 0 202083 142 0 0 20 0 1 0 224723162 97898496 16389 33554432000 4194304 36388816 140723509799040 140723509682840 6663735 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16389 489 7860 0 16006 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65556 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.10 2.09 3/191 6430
/proc/meminfo: memFree=18152688/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95604 memory=65556 CPUtime=2082.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 65240 0 0 0 208080 146 0 0 20 0 1 0 224723162 97898496 16389 33554432000 4194304 36388816 140723509799040 140723509682840 4598724 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23901 16389 489 7860 0 16006 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/190 6431
/proc/meminfo: memFree=18152556/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95744 memory=65556 CPUtime=2142.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 65561 0 0 0 214077 148 0 0 20 0 1 0 224723162 98041856 16389 33554432000 4194304 36388816 140723509799040 140723509682840 4661749 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23936 16389 489 7860 0 16041 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65556 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/190 6432
/proc/meminfo: memFree=18152640/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95744 memory=65676 CPUtime=2202.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 65857 0 0 0 220073 152 0 0 20 0 1 0 224723162 98041856 16419 33554432000 4194304 36388816 140723509799040 140723509682840 4661790 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23936 16419 489 7860 0 16041 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65676 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/191 6434
/proc/meminfo: memFree=18152432/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95744 memory=65676 CPUtime=2262.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 66136 0 0 0 226070 156 0 0 20 0 1 0 224723162 98041856 16419 33554432000 4194304 36388816 140723509799040 140723509682840 4661680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23936 16419 489 7860 0 16041 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65676 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/191 6435
/proc/meminfo: memFree=18152084/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95744 memory=65700 CPUtime=2322.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 66509 0 0 0 232065 160 0 0 20 0 1 0 224723162 98041856 16425 33554432000 4194304 36388816 140723509799040 140723509682840 4661680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23936 16425 489 7860 0 16041 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65700 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/191 6436
/proc/meminfo: memFree=18151968/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95896 memory=65768 CPUtime=2382.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 66907 0 0 0 238060 165 0 0 20 0 1 0 224723162 98197504 16442 33554432000 4194304 36388816 140723509799040 140723509682840 4661680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23974 16442 489 7860 0 16079 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 95896 KiB
Current children cumulated memory: 65768 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/192 6505
/proc/meminfo: memFree=18189072/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=95896 memory=65768 CPUtime=2442.26 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 67226 0 0 0 244056 170 0 0 20 0 1 0 224723162 98197504 16442 33554432000 4194304 36388816 140723509799040 140723509682840 4661680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 23974 16442 489 7860 0 16079 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 95896 KiB
Current children cumulated memory: 65768 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/192 6506
/proc/meminfo: memFree=18189072/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=96028 memory=65916 CPUtime=2502.25 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 67595 0 0 0 250050 175 0 0 20 0 1 0 224723162 98332672 16479 33554432000 4194304 36388816 140723509799040 140723509682840 4635008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 24007 16479 489 7860 0 16112 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 65916 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.03 2.06 3/192 6507
/proc/meminfo: memFree=18188832/32770624 swapFree=67108688/67108860
[pid=6331] ppid=6328 vsize=96028 memory=65976 CPUtime=2519.96 cores=0,2,4,6
/proc/6331/stat : 6331 (macht) R 6328 6331 3790 0 -1 4202496 67853 0 0 0 251819 177 0 0 20 0 1 0 224723162 98332672 16494 33554432000 4194304 36388816 140723509799040 140723509682840 4661628 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 50380800 140723509806267 140723509806345 140723509806345 140723509809103 0
/proc/6331/statm: 24007 16494 489 7860 0 16112 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 65976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6331 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.2 s, system=1.77599 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.97
CPU user time (s): 2518.2
CPU system time (s): 1.77599
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 96028
Max. memory (cumulated for all children) (KiB): 65976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.2
system time used= 1.77599
maximum resident set size= 65976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67853
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= 28
involuntary context switches= 945
# summary of solver processes directly reported to runsolver:
# pid: 6331
# total CPU time (s): 2519.97
# total CPU user time (s): 2518.2
# total CPU system time (s): 1.77599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69379 second user time and 20.4282 second system time
The end