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 (8632 MiB free)
memory of node 1: 16384 MiB (9471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305859-1534136245/watcher-4305859-1534136245 -o /tmp/evaluation-result-4305859-1534136245/solver-4305859-1534136245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534131203-19677 --watchdog 2580 macht 2520 HOME/instance-4305859-1534136245.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=20250, runsolver pid=20247
[startup+0.100113 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18531248/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=39596 memory=9484 CPUtime=0.1 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 2513 0 0 0 10 0 0 0 20 0 1 0 231187744 40546304 2371 33554432000 4194304 36388816 140736391519344 140736391519344 6634158 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 9899 2371 440 7860 0 2004 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39596 KiB
Current children cumulated memory: 9484 KiB
[startup+0.209492 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18529016/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41588 memory=11332 CPUtime=0.21 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 3003 0 0 0 21 0 0 0 20 0 1 0 231187744 42586112 2833 33554432000 4194304 36388816 140736391519344 140736391519344 4420287 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10397 2833 486 7860 0 2502 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 11332 KiB
[startup+0.309283 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18528676/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41720 memory=11332 CPUtime=0.31 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 3011 0 0 0 31 0 0 0 20 0 1 0 231187744 42721280 2833 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10430 2833 486 7860 0 2535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 11332 KiB
[startup+0.700242 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18528764/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41720 memory=11596 CPUtime=0.69 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 3027 0 0 0 69 0 0 0 20 0 1 0 231187744 42721280 2899 33554432000 4194304 36388816 140736391519344 140736391514696 6663731 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10430 2899 489 7860 0 2535 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 11596 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18528772/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41720 memory=11596 CPUtime=1.49 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 3030 0 0 0 149 0 0 0 20 0 1 0 231187744 42721280 2899 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10430 2899 489 7860 0 2535 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 11596 KiB
[startup+3.10884 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 20251
/proc/meminfo: memFree=18527176/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41720 memory=11620 CPUtime=3.1 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 3994 0 0 0 310 0 0 0 20 0 1 0 231187744 42721280 2905 33554432000 4194304 36388816 140736391519344 140736391514696 4420525 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10430 2905 489 7860 0 2535 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 11620 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 1.98 3/186 20251
/proc/meminfo: memFree=18526796/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=41984 memory=11784 CPUtime=6.28 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 4664 0 0 0 625 3 0 0 20 0 1 0 231187744 42991616 2946 33554432000 4194304 36388816 140736391519344 140736391514696 4420521 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10496 2946 490 7860 0 2601 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41984 KiB
Current children cumulated memory: 11784 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 1.98 3/186 20251
/proc/meminfo: memFree=18527404/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42116 memory=12048 CPUtime=12.69 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 5352 0 0 0 1265 4 0 0 20 0 1 0 231187744 43126784 3012 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10529 3012 501 7860 0 2634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 12048 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 1.99 3/186 20312
/proc/meminfo: memFree=18532488/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42248 memory=12200 CPUtime=25.49 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 6680 0 0 0 2545 4 0 0 20 0 1 0 231187744 43261952 3050 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10562 3050 501 7860 0 2667 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 42248 KiB
Current children cumulated memory: 12200 KiB
[startup+51.1089 s]
/proc/loadavg: 2.09 2.04 1.99 3/186 20313
/proc/meminfo: memFree=18532736/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42380 memory=12276 CPUtime=51.09 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 7543 0 0 0 5105 4 0 0 20 0 1 0 231187744 43397120 3069 33554432000 4194304 36388816 140736391519344 140736391514696 4420516 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10595 3069 501 7860 0 2700 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 42380 KiB
Current children cumulated memory: 12276 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/187 20315
/proc/meminfo: memFree=18531288/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42512 memory=12632 CPUtime=102.27 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 8131 0 0 0 10223 4 0 0 20 0 1 0 231187744 43532288 3158 33554432000 4194304 36388816 140736391519344 140736391514696 4420447 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10628 3158 501 7860 0 2733 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 12632 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/188 20324
/proc/meminfo: memFree=18530084/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42512 memory=12724 CPUtime=162.27 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 8725 0 0 0 16223 4 0 0 20 0 1 0 231187744 43532288 3181 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10628 3181 501 7860 0 2733 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 12724 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/188 20347
/proc/meminfo: memFree=18529288/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42644 memory=12772 CPUtime=222.27 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 9325 0 0 0 22222 5 0 0 20 0 1 0 231187744 43667456 3193 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10661 3193 501 7860 0 2766 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 12772 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/188 20348
/proc/meminfo: memFree=18529996/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42644 memory=12832 CPUtime=282.26 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 9944 0 0 0 28221 5 0 0 20 0 1 0 231187744 43667456 3208 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10661 3208 501 7860 0 2766 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 12832 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 20349
/proc/meminfo: memFree=18530264/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42644 memory=12860 CPUtime=342.26 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 10559 0 0 0 34221 5 0 0 20 0 1 0 231187744 43667456 3215 33554432000 4194304 36388816 140736391519344 140736391514696 4420462 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10661 3215 501 7860 0 2766 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 12860 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 20350
/proc/meminfo: memFree=18530456/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42644 memory=12884 CPUtime=402.25 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 11157 0 0 0 40220 5 0 0 20 0 1 0 231187744 43667456 3221 33554432000 4194304 36388816 140736391519344 140736391514696 4420525 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10661 3221 501 7860 0 2766 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 12884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 20351
/proc/meminfo: memFree=18530316/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42776 memory=12900 CPUtime=462.25 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 11775 0 0 0 46219 6 0 0 20 0 1 0 231187744 43802624 3225 33554432000 4194304 36388816 140736391519344 140736391514696 6663748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10694 3225 501 7860 0 2799 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 12900 KiB
################
# More data... #
################
/proc/20250/statm: 10727 3270 501 7860 0 2832 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13080 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/180 20439
/proc/meminfo: memFree=18586336/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13084 CPUtime=1782.13 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 25007 0 0 0 178201 12 0 0 20 0 1 0 231187744 43937792 3271 33554432000 4194304 36388816 140736391519344 140736391514696 6663773 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3271 501 7860 0 2832 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13084 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/180 20441
/proc/meminfo: memFree=18586088/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13092 CPUtime=1842.13 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 25637 0 0 0 184200 13 0 0 20 0 1 0 231187744 43937792 3273 33554432000 4194304 36388816 140736391519344 140736391514696 4420521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3273 501 7860 0 2832 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13092 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/180 20442
/proc/meminfo: memFree=18586088/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13092 CPUtime=1902.12 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 26181 0 0 0 190199 13 0 0 20 0 1 0 231187744 43937792 3273 33554432000 4194304 36388816 140736391519344 140736391514696 4420521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3273 501 7860 0 2832 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13092 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/180 20450
/proc/meminfo: memFree=18584996/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13092 CPUtime=1962.12 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 26735 0 0 0 196198 14 0 0 20 0 1 0 231187744 43937792 3273 33554432000 4194304 36388816 140736391519344 140736391514696 6663760 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3273 501 7860 0 2832 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13092 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/180 20451
/proc/meminfo: memFree=18585172/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13108 CPUtime=2022.11 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 27388 0 0 0 202197 14 0 0 20 0 1 0 231187744 43937792 3277 33554432000 4194304 36388816 140736391519344 140736391514696 4420521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3277 501 7860 0 2832 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13108 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/180 20452
/proc/meminfo: memFree=18585328/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13108 CPUtime=2082.11 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 27937 0 0 0 208196 15 0 0 20 0 1 0 231187744 43937792 3277 33554432000 4194304 36388816 140736391519344 140736391514696 4420525 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3277 501 7860 0 2832 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13108 KiB
[startup+2142.3 s]
/proc/loadavg: 1.04 1.03 1.22 2/180 20453
/proc/meminfo: memFree=18585768/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13108 CPUtime=2142.11 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 28495 0 0 0 214196 15 0 0 20 0 1 0 231187744 43937792 3277 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3277 501 7860 0 2832 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13108 KiB
[startup+2202.3 s]
/proc/loadavg: 1.01 1.02 1.20 2/180 20454
/proc/meminfo: memFree=18585644/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13124 CPUtime=2202.1 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 29152 0 0 0 220195 15 0 0 20 0 1 0 231187744 43937792 3281 33554432000 4194304 36388816 140736391519344 140736391514696 4420528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3281 501 7860 0 2832 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13124 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/180 20455
/proc/meminfo: memFree=18585768/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13124 CPUtime=2262.09 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 29714 0 0 0 226194 15 0 0 20 0 1 0 231187744 43937792 3281 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3281 501 7860 0 2832 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13124 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 20456
/proc/meminfo: memFree=18585868/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13124 CPUtime=2322.09 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 30245 0 0 0 232193 16 0 0 20 0 1 0 231187744 43937792 3281 33554432000 4194304 36388816 140736391519344 140736391514696 4420516 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3281 501 7860 0 2832 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13124 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/180 20457
/proc/meminfo: memFree=18586016/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13132 CPUtime=2382.09 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 30893 0 0 0 238192 17 0 0 20 0 1 0 231187744 43937792 3283 33554432000 4194304 36388816 140736391519344 140736391514696 4420516 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3283 501 7860 0 2832 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13132 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/180 20458
/proc/meminfo: memFree=18586040/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13132 CPUtime=2442.08 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 31456 0 0 0 244191 17 0 0 20 0 1 0 231187744 43937792 3283 33554432000 4194304 36388816 140736391519344 140736391514696 4420504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3283 501 7860 0 2832 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13132 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/180 20459
/proc/meminfo: memFree=18586040/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13132 CPUtime=2502.08 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 32008 0 0 0 250190 18 0 0 20 0 1 0 231187744 43937792 3283 33554432000 4194304 36388816 140736391519344 140736391514696 4420521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3283 501 7860 0 2832 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13132 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.14 2/180 20460
/proc/meminfo: memFree=18586012/32770624 swapFree=67108196/67108860
[pid=20250] ppid=20247 vsize=42908 memory=13132 CPUtime=2519.78 cores=0,2,4,6
/proc/20250/stat : 20250 (macht) R 20247 20250 19646 0 -1 4202496 32568 0 0 0 251960 18 0 0 20 0 1 0 231187744 43937792 3283 33554432000 4194304 36388816 140736391519344 140736391514696 4420528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 48758784 140736391525563 140736391525641 140736391525641 140736391528399 0
/proc/20250/statm: 10727 3283 501 7860 0 2832 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 13132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.61 s, system=0.185984 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.79
CPU user time (s): 2519.61
CPU system time (s): 0.185984
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 42908
Max. memory (cumulated for all children) (KiB): 13132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.185984
maximum resident set size= 13132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32568
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= 4
involuntary context switches= 3175
# summary of solver processes directly reported to runsolver:
# pid: 20250
# total CPU time (s): 2519.79
# total CPU user time (s): 2519.61
# total CPU system time (s): 0.185984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48531 second user time and 15.7294 second system time
The end