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 (5060 MiB free)
memory of node 1: 16384 MiB (3233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306222-1534075848/watcher-4306222-1534075848 -o /tmp/evaluation-result-4306222-1534075848/solver-4306222-1534075848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534062958-15436 --watchdog 2580 BTD 12 2520 HOME/instance-4306222-1534075848.xml
running on 4 cores: 1,3,5,7
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=17534, runsolver pid=17531
Current StackSize limit: 8192 KiB
[startup+0.101042 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8470092/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=56448 memory=25260 CPUtime=0.1 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 6931 0 0 0 9 1 0 0 20 0 1 0 225147926 57802752 6315 33554432000 4194304 36388936 140726828552976 140726828550152 7657254 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 14112 6315 418 7861 0 6216 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56448 KiB
Current children cumulated memory: 25260 KiB
[startup+0.210093 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8469348/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=57108 memory=26052 CPUtime=0.21 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 7080 0 0 0 20 1 0 0 20 0 1 0 225147926 58478592 6513 33554432000 4194304 36388936 140726828552976 140726828550152 4212725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 14277 6513 443 7861 0 6381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57108 KiB
Current children cumulated memory: 26052 KiB
[startup+0.309413 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8468976/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=57372 memory=26316 CPUtime=0.31 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 7144 0 0 0 30 1 0 0 20 0 1 0 225147926 58748928 6579 33554432000 4194304 36388936 140726828552976 140726828550152 4195856 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 14343 6579 443 7861 0 6447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57372 KiB
Current children cumulated memory: 26316 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8468480/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=58032 memory=26844 CPUtime=0.69 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 7307 0 0 0 68 1 0 0 20 0 1 0 225147926 59424768 6711 33554432000 4194304 36388936 140726828552976 140726828546248 4212725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 14508 6711 443 7861 0 6612 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58032 KiB
Current children cumulated memory: 26844 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8467340/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=58824 memory=27636 CPUtime=1.49 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 7521 0 0 0 148 1 0 0 20 0 1 0 225147926 60235776 6909 33554432000 4194304 36388936 140726828552976 140726828547192 4212540 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 14706 6909 443 7861 0 6810 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58824 KiB
Current children cumulated memory: 27636 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8465860/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=60012 memory=29020 CPUtime=3.1 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 11422 0 0 0 309 1 0 0 20 0 1 0 225147926 61452288 7255 33554432000 4194304 36388936 140726828552976 140726828546936 4212721 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 15003 7255 443 7861 0 7107 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60012 KiB
Current children cumulated memory: 29020 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8464040/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=62520 memory=31432 CPUtime=6.29 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 17596 0 0 0 628 1 0 0 20 0 1 0 225147926 64020480 7858 33554432000 4194304 36388936 140726828552976 140726828547352 4212812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 15630 7858 443 7861 0 7734 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 31432 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8456348/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=70836 memory=39816 CPUtime=12.69 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 25351 0 0 0 1267 2 0 0 20 0 1 0 225147926 72536064 9954 33554432000 4194304 36388936 140726828552976 140726828546248 7747092 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 17709 9954 443 7861 0 9813 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 70836 KiB
Current children cumulated memory: 39816 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=8446252/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=81264 memory=50184 CPUtime=25.48 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 40024 0 0 0 2546 2 0 0 20 0 1 0 225147926 83214336 12546 33554432000 4194304 36388936 140726828552976 140726828546840 7934425 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 20316 12546 444 7861 0 12420 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 81264 KiB
Current children cumulated memory: 50184 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 17535
/proc/meminfo: memFree=7552288/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=974284 memory=942136 CPUtime=51.09 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 276112 0 0 0 5078 31 0 0 20 0 1 0 225147926 997666816 235534 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 243571 235534 496 7861 0 235675 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 974284 KiB
Current children cumulated memory: 942136 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17537
/proc/meminfo: memFree=7549952/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=976632 memory=944676 CPUtime=102.26 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 279513 0 0 0 10192 34 0 0 20 0 1 0 225147926 1000071168 236169 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244158 236169 500 7861 0 236262 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 976632 KiB
Current children cumulated memory: 944676 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 17539
/proc/meminfo: memFree=7548544/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=976632 memory=944716 CPUtime=162.25 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 280380 0 0 0 16189 36 0 0 20 0 1 0 225147926 1000071168 236179 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244158 236179 508 7861 0 236262 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 976632 KiB
Current children cumulated memory: 944716 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 17540
/proc/meminfo: memFree=7548128/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=976632 memory=944780 CPUtime=222.25 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 281560 0 0 0 22184 41 0 0 20 0 1 0 225147926 1000071168 236195 33554432000 4194304 36388936 140726828552976 140726828551816 4661918 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244158 236195 509 7861 0 236262 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 976632 KiB
Current children cumulated memory: 944780 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 17541
/proc/meminfo: memFree=7548360/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=976812 memory=944920 CPUtime=282.25 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 282870 0 0 0 28181 44 0 0 20 0 1 0 225147926 1000255488 236230 33554432000 4194304 36388936 140726828552976 140726828551816 4661893 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244203 236230 510 7861 0 236307 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 976812 KiB
Current children cumulated memory: 944920 KiB
[startup+342.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/192 17543
/proc/meminfo: memFree=7547516/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=977552 memory=945620 CPUtime=342.24 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 284366 0 0 0 34176 48 0 0 20 0 1 0 225147926 1001013248 236405 33554432000 4194304 36388936 140726828552976 140726828551816 8047831 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244388 236405 510 7861 0 236492 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 977552 KiB
Current children cumulated memory: 945620 KiB
[startup+402.3 s]
/proc/loadavg: 2.31 2.15 2.09 3/192 17544
/proc/meminfo: memFree=7546652/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=978140 memory=946268 CPUtime=402.23 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 285798 0 0 0 40170 53 0 0 20 0 1 0 225147926 1001615360 236567 33554432000 4194304 36388936 140726828552976 140726828551816 4661803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244535 236567 510 7861 0 236639 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 978140 KiB
Current children cumulated memory: 946268 KiB
[startup+462.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/192 17606
/proc/meminfo: memFree=7547208/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=978320 memory=946508 CPUtime=462.23 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 288197 0 0 0 46166 57 0 0 20 0 1 0 225147926 1001799680 236627 33554432000 4194304 36388936 140726828552976 140726828551816 4635163 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 244580 236627 510 7861 0 236684 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 978320 KiB
Current children cumulated memory: 946508 KiB
################
# More data... #
################
/proc/17534/statm: 246756 239097 510 7861 0 238860 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 987024 KiB
Current children cumulated memory: 956388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 17654
/proc/meminfo: memFree=7533372/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=987452 memory=956856 CPUtime=1782.18 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 315717 0 0 0 178074 144 0 0 20 0 1 0 225147926 1011150848 239214 33554432000 4194304 36388936 140726828552976 140726828551816 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 246863 239214 510 7861 0 238967 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 987452 KiB
Current children cumulated memory: 956856 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 17655
/proc/meminfo: memFree=7533236/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988044 memory=957464 CPUtime=1842.18 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 316802 0 0 0 184071 147 0 0 20 0 1 0 225147926 1011757056 239366 33554432000 4194304 36388936 140726828552976 140726828551816 4661829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247011 239366 510 7861 0 239115 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 988044 KiB
Current children cumulated memory: 957464 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 17656
/proc/meminfo: memFree=7532656/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988044 memory=957584 CPUtime=1902.19 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 317613 0 0 0 190067 152 0 0 20 0 1 0 225147926 1011757056 239396 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247011 239396 510 7861 0 239115 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 988044 KiB
Current children cumulated memory: 957584 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 17657
/proc/meminfo: memFree=7532788/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988252 memory=957824 CPUtime=1962.19 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 318540 0 0 0 196065 154 0 0 20 0 1 0 225147926 1011970048 239456 33554432000 4194304 36388936 140726828552976 140726828551816 4635171 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247063 239456 510 7861 0 239167 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 988252 KiB
Current children cumulated memory: 957824 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 17659
/proc/meminfo: memFree=7532752/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988408 memory=957980 CPUtime=2022.2 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 319416 0 0 0 202062 158 0 0 20 0 1 0 225147926 1012129792 239495 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247102 239495 510 7861 0 239206 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 988408 KiB
Current children cumulated memory: 957980 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 17660
/proc/meminfo: memFree=7532856/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988408 memory=957980 CPUtime=2082.2 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 320175 0 0 0 208059 161 0 0 20 0 1 0 225147926 1012129792 239495 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247102 239495 510 7861 0 239206 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 988408 KiB
Current children cumulated memory: 957980 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 17661
/proc/meminfo: memFree=7532348/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=988920 memory=958432 CPUtime=2142.2 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 321167 0 0 0 214055 165 0 0 20 0 1 0 225147926 1012654080 239608 33554432000 4194304 36388936 140726828552976 140726828551816 4661893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247230 239608 510 7861 0 239334 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 988920 KiB
Current children cumulated memory: 958432 KiB
[startup+2202.3 s]
/proc/loadavg: 2.17 2.04 2.05 3/192 17662
/proc/meminfo: memFree=7531992/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=989456 memory=958896 CPUtime=2202.21 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 322200 0 0 0 220052 169 0 0 20 0 1 0 225147926 1013202944 239724 33554432000 4194304 36388936 140726828552976 140726828551816 4661829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247364 239724 510 7861 0 239468 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 989456 KiB
Current children cumulated memory: 958896 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/192 17663
/proc/meminfo: memFree=7531880/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=989456 memory=958964 CPUtime=2262.21 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 322999 0 0 0 226049 172 0 0 20 0 1 0 225147926 1013202944 239741 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247364 239741 510 7861 0 239468 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 989456 KiB
Current children cumulated memory: 958964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 17664
/proc/meminfo: memFree=7531412/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=989812 memory=959424 CPUtime=2322.22 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 324040 0 0 0 232046 176 0 0 20 0 1 0 225147926 1013567488 239856 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247453 239856 510 7861 0 239557 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 989812 KiB
Current children cumulated memory: 959424 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 17674
/proc/meminfo: memFree=7530748/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=989812 memory=959424 CPUtime=2382.22 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 324868 0 0 0 238043 179 0 0 20 0 1 0 225147926 1013567488 239856 33554432000 4194304 36388936 140726828552976 140726828551816 4661886 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247453 239856 510 7861 0 239557 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 989812 KiB
Current children cumulated memory: 959424 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/192 17675
/proc/meminfo: memFree=7530384/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=990020 memory=959596 CPUtime=2442.23 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 325849 0 0 0 244040 183 0 0 20 0 1 0 225147926 1013780480 239899 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247505 239899 510 7861 0 239609 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 990020 KiB
Current children cumulated memory: 959596 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 17676
/proc/meminfo: memFree=7530736/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=990188 memory=959760 CPUtime=2502.23 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 326818 0 0 0 250036 187 0 0 20 0 1 0 225147926 1013952512 239940 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247547 239940 510 7861 0 239651 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 990188 KiB
Current children cumulated memory: 959760 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.04 2.05 3/192 17677
/proc/meminfo: memFree=7530152/32770624 swapFree=67108856/67108860
[pid=17534] ppid=17531 vsize=990188 memory=959760 CPUtime=2519.94 cores=1,3,5,7
/proc/17534/stat : 17534 (BTD) R 17531 17534 15404 0 -1 4202496 326893 0 0 0 251806 188 0 0 20 0 1 0 225147926 1013952512 239940 33554432000 4194304 36388936 140726828552976 140726828551816 4661824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 60350464 140726828557500 140726828557579 140726828557579 140726828560337 0
/proc/17534/statm: 247547 239940 510 7861 0 239651 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 990188 KiB
Current children cumulated memory: 959760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 17534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.07 s, system=1.88797 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.96
CPU user time (s): 2518.07
CPU system time (s): 1.88797
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 990188
Max. memory (cumulated for all children) (KiB): 959760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.07
system time used= 1.88797
maximum resident set size= 959760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326893
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= 37
involuntary context switches= 1467
# summary of solver processes directly reported to runsolver:
# pid: 17534
# total CPU time (s): 2519.96
# total CPU user time (s): 2518.07
# total CPU system time (s): 1.88797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1461 second user time and 18.791 second system time
The end