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 (5584 MiB free)
memory of node 1: 16384 MiB (9950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305986-1534075745/watcher-4305986-1534075745 -o /tmp/evaluation-result-4305986-1534075745/solver-4305986-1534075745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534062754-29403 --watchdog 2580 macht 2520 HOME/instance-4305986-1534075745.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=31083, runsolver pid=31080
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15884816/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=56576 memory=25524 CPUtime=0.1 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 6944 0 0 0 10 0 0 0 20 0 1 0 225137821 57933824 6381 33554432000 4194304 36388816 140733196434752 140733196430840 7746931 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 14144 6381 442 7860 0 6249 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56576 KiB
Current children cumulated memory: 25524 KiB
[startup+0.209486 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15884072/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=57104 memory=26052 CPUtime=0.2 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 7086 0 0 0 20 0 0 0 20 0 1 0 225137821 58474496 6513 33554432000 4194304 36388816 140733196434752 140733196430840 7657110 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 14276 6513 442 7860 0 6381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57104 KiB
Current children cumulated memory: 26052 KiB
[startup+0.308852 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15883700/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=57368 memory=26316 CPUtime=0.3 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 7143 0 0 0 30 0 0 0 20 0 1 0 225137821 58744832 6579 33554432000 4194304 36388816 140733196434752 140733196430840 4212581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 14342 6579 442 7860 0 6447 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57368 KiB
Current children cumulated memory: 26316 KiB
[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15882628/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=58028 memory=26844 CPUtime=0.7 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 7306 0 0 0 69 1 0 0 20 0 1 0 225137821 59420672 6711 33554432000 4194304 36388816 140733196434752 140733196428024 4212581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 14507 6711 442 7860 0 6612 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 58028 KiB
Current children cumulated memory: 26844 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15881884/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=58820 memory=27636 CPUtime=1.49 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 7520 0 0 0 148 1 0 0 20 0 1 0 225137821 60231680 6909 33554432000 4194304 36388816 140733196434752 140733196428024 7657110 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 14705 6909 442 7860 0 6810 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58820 KiB
Current children cumulated memory: 27636 KiB
[startup+3.10901 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15880644/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=60008 memory=28960 CPUtime=3.1 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 11419 0 0 0 309 1 0 0 20 0 1 0 225137821 61448192 7240 33554432000 4194304 36388816 140733196434752 140733196428712 4212568 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 15002 7240 442 7860 0 7107 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60008 KiB
Current children cumulated memory: 28960 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15877592/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=62516 memory=31428 CPUtime=6.29 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 17596 0 0 0 628 1 0 0 20 0 1 0 225137821 64016384 7857 33554432000 4194304 36388816 140733196434752 140733196428024 7746912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 15629 7857 442 7860 0 7734 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62516 KiB
Current children cumulated memory: 31428 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15869532/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=70700 memory=39608 CPUtime=12.69 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 25334 0 0 0 1267 2 0 0 20 0 1 0 225137821 72396800 9902 33554432000 4194304 36388816 140733196434752 140733196428024 7750656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 17675 9902 442 7860 0 9780 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 70700 KiB
Current children cumulated memory: 39608 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15859116/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=81260 memory=50204 CPUtime=25.49 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 40017 0 0 0 2546 3 0 0 20 0 1 0 225137821 83210240 12551 33554432000 4194304 36388816 140733196434752 140733196428056 4195856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 20315 12551 444 7860 0 12420 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 81260 KiB
Current children cumulated memory: 50204 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31084
/proc/meminfo: memFree=15821972/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=117876 memory=86336 CPUtime=51.09 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 63000 0 0 0 5103 6 0 0 20 0 1 0 225137821 120705024 21584 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 29469 21584 476 7860 0 21574 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 117876 KiB
Current children cumulated memory: 86336 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31093
/proc/meminfo: memFree=15818368/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=119248 memory=88752 CPUtime=102.26 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 68521 0 0 0 10217 9 0 0 20 0 1 0 225137821 122109952 22188 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 29812 22188 478 7860 0 21917 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 88752 KiB
[startup+162.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/188 31094
/proc/meminfo: memFree=15818388/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=119248 memory=88828 CPUtime=162.25 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 69138 0 0 0 16214 11 0 0 20 0 1 0 225137821 122109952 22207 33554432000 4194304 36388816 140733196434752 140733196246488 4661742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 29812 22207 486 7860 0 21917 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 88828 KiB
[startup+222.3 s]
/proc/loadavg: 2.36 2.16 2.10 3/188 31095
/proc/meminfo: memFree=15817068/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=120548 memory=90108 CPUtime=222.24 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 70311 0 0 0 22211 13 0 0 20 0 1 0 225137821 123441152 22527 33554432000 4194304 36388816 140733196434752 140733196246488 4635019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 30137 22527 487 7860 0 22242 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 120548 KiB
Current children cumulated memory: 90108 KiB
[startup+282.3 s]
/proc/loadavg: 2.51 2.25 2.13 3/188 31096
/proc/meminfo: memFree=15816976/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=120984 memory=90432 CPUtime=282.23 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 70918 0 0 0 28208 15 0 0 20 0 1 0 225137821 123887616 22608 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 30246 22608 487 7860 0 22351 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 120984 KiB
Current children cumulated memory: 90432 KiB
[startup+342.3 s]
/proc/loadavg: 2.19 2.21 2.13 3/188 31097
/proc/meminfo: memFree=15816852/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=121624 memory=91044 CPUtime=342.23 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 71571 0 0 0 34204 19 0 0 20 0 1 0 225137821 124542976 22761 33554432000 4194304 36388816 140733196434752 140733196246488 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 30406 22761 488 7860 0 22511 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 121624 KiB
Current children cumulated memory: 91044 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.17 2.12 3/187 31098
/proc/meminfo: memFree=15816248/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=121624 memory=91168 CPUtime=402.22 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 72062 0 0 0 40201 21 0 0 20 0 1 0 225137821 124542976 22792 33554432000 4194304 36388816 140733196434752 140733196246488 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 30406 22792 488 7860 0 22511 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 121624 KiB
Current children cumulated memory: 91168 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.14 2.12 3/186 31099
/proc/meminfo: memFree=15817172/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=121920 memory=91536 CPUtime=462.22 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 72726 0 0 0 46197 25 0 0 20 0 1 0 225137821 124846080 22884 33554432000 4194304 36388816 140733196434752 140733196246488 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 30480 22884 488 7860 0 22585 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 121920 KiB
Current children cumulated memory: 91536 KiB
################
# More data... #
################
/proc/31083/statm: 33113 25516 488 7860 0 25218 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 132452 KiB
Current children cumulated memory: 102064 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 31748
/proc/meminfo: memFree=15803972/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133016 memory=102524 CPUtime=1782.1 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 87433 0 0 0 178129 81 0 0 20 0 1 0 225137821 136208384 25631 33554432000 4194304 36388816 140733196434752 140733196246488 4661749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33254 25631 488 7860 0 25359 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 133016 KiB
Current children cumulated memory: 102524 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 31749
/proc/meminfo: memFree=15803724/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133016 memory=102524 CPUtime=1842.1 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 87826 0 0 0 184126 84 0 0 20 0 1 0 225137821 136208384 25631 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33254 25631 488 7860 0 25359 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 133016 KiB
Current children cumulated memory: 102524 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/188 31758
/proc/meminfo: memFree=15802948/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133320 memory=102912 CPUtime=1902.09 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 88429 0 0 0 190123 86 0 0 20 0 1 0 225137821 136519680 25728 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33330 25728 488 7860 0 25435 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 102912 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 31759
/proc/meminfo: memFree=15802956/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133776 memory=103172 CPUtime=1962.09 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 89026 0 0 0 196121 88 0 0 20 0 1 0 225137821 136986624 25793 33554432000 4194304 36388816 140733196434752 140733196246488 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33444 25793 488 7860 0 25549 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 133776 KiB
Current children cumulated memory: 103172 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 31760
/proc/meminfo: memFree=15802964/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133920 memory=103284 CPUtime=2022.09 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 89557 0 0 0 202119 90 0 0 20 0 1 0 225137821 137134080 25821 33554432000 4194304 36388816 140733196434752 140733196246488 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33480 25821 488 7860 0 25585 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 133920 KiB
Current children cumulated memory: 103284 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 31761
/proc/meminfo: memFree=15802840/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=133920 memory=103428 CPUtime=2082.08 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 89942 0 0 0 208116 92 0 0 20 0 1 0 225137821 137134080 25857 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33480 25857 488 7860 0 25585 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 133920 KiB
Current children cumulated memory: 103428 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 31762
/proc/meminfo: memFree=15802096/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=134456 memory=104068 CPUtime=2142.08 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 90642 0 0 0 214112 96 0 0 20 0 1 0 225137821 137682944 26017 33554432000 4194304 36388816 140733196434752 140733196246488 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33614 26017 488 7860 0 25719 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 134456 KiB
Current children cumulated memory: 104068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 31763
/proc/meminfo: memFree=15801856/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=134456 memory=104068 CPUtime=2202.08 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 91114 0 0 0 220110 98 0 0 20 0 1 0 225137821 137682944 26017 33554432000 4194304 36388816 140733196434752 140733196246488 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33614 26017 488 7860 0 25719 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 134456 KiB
Current children cumulated memory: 104068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31764
/proc/meminfo: memFree=15801740/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=134636 memory=104224 CPUtime=2262.07 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 91653 0 0 0 226108 99 0 0 20 0 1 0 225137821 137867264 26056 33554432000 4194304 36388816 140733196434752 140733196246488 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33659 26056 488 7860 0 25764 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 134636 KiB
Current children cumulated memory: 104224 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31765
/proc/meminfo: memFree=15800684/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=134944 memory=104380 CPUtime=2322.07 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 92269 0 0 0 232105 102 0 0 20 0 1 0 225137821 138182656 26095 33554432000 4194304 36388816 140733196434752 140733196246488 4661802 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33736 26095 488 7860 0 25841 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 134944 KiB
Current children cumulated memory: 104380 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31766
/proc/meminfo: memFree=15801244/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=134944 memory=104532 CPUtime=2382.06 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 92671 0 0 0 238101 105 0 0 20 0 1 0 225137821 138182656 26133 33554432000 4194304 36388816 140733196434752 140733196246488 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33736 26133 488 7860 0 25841 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 134944 KiB
Current children cumulated memory: 104532 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31767
/proc/meminfo: memFree=15801120/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=135092 memory=104668 CPUtime=2442.05 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 93197 0 0 0 244097 108 0 0 20 0 1 0 225137821 138334208 26167 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33773 26167 488 7860 0 25878 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 104668 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31776
/proc/meminfo: memFree=15801136/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=135256 memory=104728 CPUtime=2502.04 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 93700 0 0 0 250093 111 0 0 20 0 1 0 225137821 138502144 26182 33554432000 4194304 36388816 140733196434752 140733196246488 6663735 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33814 26182 488 7860 0 25919 0
Current children cumulated CPU time: 2502.04 s
Current children cumulated vsize: 135256 KiB
Current children cumulated memory: 104728 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31777
/proc/meminfo: memFree=15800640/32770624 swapFree=67108792/67108860
[pid=31083] ppid=31080 vsize=135256 memory=104800 CPUtime=2519.76 cores=0,2,4,6
/proc/31083/stat : 31083 (macht) R 31080 31083 29372 0 -1 4202496 94028 0 0 0 251864 112 0 0 20 0 1 0 225137821 138502144 26200 33554432000 4194304 36388816 140733196434752 140733196246488 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 42700800 140733196436667 140733196436745 140733196436745 140733196439503 0
/proc/31083/statm: 33814 26200 488 7860 0 25919 0
Current children cumulated CPU time: 2519.76 s
Current children cumulated vsize: 135256 KiB
Current children cumulated memory: 104800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31083 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.12391 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.77
CPU user time (s): 2518.64
CPU system time (s): 1.12391
CPU usage (%): 99.9904
Max. virtual memory (cumulated for all children) (KiB): 135256
Max. memory (cumulated for all children) (KiB): 104800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.12391
maximum resident set size= 104800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94028
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= 40
involuntary context switches= 3153
# summary of solver processes directly reported to runsolver:
# pid: 31083
# total CPU time (s): 2519.77
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.12391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0647 second user time and 17.9021 second system time
The end