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 (14307 MiB free)
memory of node 1: 16384 MiB (13169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300679-1532850442/watcher-4300679-1532850442 -o /tmp/evaluation-result-4300679-1532850442/solver-4300679-1532850442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532842880-18200 --watchdog 2580 minimacht 2520 HOME/instance-4300679-1532850442.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=19050, runsolver pid=19047
[startup+0.100119 s]*
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28113392/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=50268 memory=25440 CPUtime=0.1 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 7011 0 0 0 9 1 0 0 20 0 1 0 102607423 51474432 6360 33554432000 4194304 5224576 140726905623776 140726905620776 140680058055653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 12567 6360 571 252 0 6113 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50268 KiB
Current children cumulated memory: 25440 KiB
[startup+0.209477 s]*
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28112276/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=51200 memory=26496 CPUtime=0.21 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 7268 0 0 0 20 1 0 0 20 0 1 0 102607423 52428800 6624 33554432000 4194304 5224576 140726905623776 140726905620776 4224392 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 12800 6624 593 252 0 6346 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 26496 KiB
[startup+0.30886 s]*
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28111612/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=51464 memory=26760 CPUtime=0.31 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 7339 0 0 0 30 1 0 0 20 0 1 0 102607423 52699136 6690 33554432000 4194304 5224576 140726905623776 140726905620776 4224496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 12866 6690 593 252 0 6412 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51464 KiB
Current children cumulated memory: 26760 KiB
[startup+0.700232 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28111080/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=52124 memory=27552 CPUtime=0.69 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 7502 0 0 0 68 1 0 0 20 0 1 0 102607423 53374976 6888 33554432000 4194304 5224576 140726905623776 140726905617896 4224464 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 13031 6888 593 252 0 6577 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52124 KiB
Current children cumulated memory: 27552 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28110336/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=53048 memory=28344 CPUtime=1.49 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 7715 0 0 0 148 1 0 0 20 0 1 0 102607423 54321152 7086 33554432000 4194304 5224576 140726905623776 140726905618024 4224328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 13262 7086 593 252 0 6808 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53048 KiB
Current children cumulated memory: 28344 KiB
[startup+3.10898 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28108848/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=54104 memory=29628 CPUtime=3.1 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 11521 0 0 0 309 1 0 0 20 0 1 0 102607423 55402496 7407 33554432000 4194304 5224576 140726905623776 140726905617640 4224396 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 13526 7407 593 252 0 7072 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 29628 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 19051
/proc/meminfo: memFree=28106024/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=56480 memory=31904 CPUtime=6.29 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 17753 0 0 0 626 3 0 0 20 0 1 0 102607423 57835520 7976 33554432000 4194304 5224576 140726905623776 140726905617432 140680058979651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 14120 7976 593 252 0 7666 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56480 KiB
Current children cumulated memory: 31904 KiB
[startup+12.7002 s]
/proc/loadavg: 1.92 2.00 2.02 3/187 19112
/proc/meminfo: memFree=28135384/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=64664 memory=40152 CPUtime=12.68 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 25448 0 0 0 1263 5 0 0 20 0 1 0 102607423 66215936 10038 33554432000 4194304 5224576 140726905623776 140726905617896 4224392 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 16166 10038 593 252 0 9712 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 64664 KiB
Current children cumulated memory: 40152 KiB
[startup+25.5002 s]
/proc/loadavg: 1.93 2.00 2.02 3/187 19112
/proc/meminfo: memFree=28124848/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=74564 memory=50232 CPUtime=25.48 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 32549 0 0 0 2542 6 0 0 20 0 1 0 102607423 76353536 12558 33554432000 4194304 5224576 140726905623776 140726905617736 4224392 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 18641 12558 596 252 0 12187 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 74564 KiB
Current children cumulated memory: 50232 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.02 3/187 19112
/proc/meminfo: memFree=28087496/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=111976 memory=87288 CPUtime=51.08 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 43281 0 0 0 5101 7 0 0 20 0 1 0 102607423 114663424 21822 33554432000 4194304 5224576 140726905623776 140726905435656 4634245 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 27994 21822 630 252 0 21540 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 111976 KiB
Current children cumulated memory: 87288 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.02 3/187 19113
/proc/meminfo: memFree=28086776/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=113416 memory=88776 CPUtime=102.26 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 44668 0 0 0 10217 9 0 0 20 0 1 0 102607423 116137984 22194 33554432000 4194304 5224576 140726905623776 140726905435656 4634181 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28354 22194 632 252 0 21900 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 113416 KiB
Current children cumulated memory: 88776 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/187 19121
/proc/meminfo: memFree=28083748/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=113416 memory=89544 CPUtime=162.26 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 46040 0 0 0 16212 14 0 0 20 0 1 0 102607423 116137984 22386 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28354 22386 641 252 0 21900 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 113416 KiB
Current children cumulated memory: 89544 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/187 19122
/proc/meminfo: memFree=28082384/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=114728 memory=90764 CPUtime=222.26 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 47060 0 0 0 22209 17 0 0 20 0 1 0 102607423 117481472 22691 33554432000 4194304 5224576 140726905623776 140726905435656 4634181 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28682 22691 642 252 0 22228 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 114728 KiB
Current children cumulated memory: 90764 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/187 19123
/proc/meminfo: memFree=28082432/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=115168 memory=91168 CPUtime=282.26 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 47942 0 0 0 28207 19 0 0 20 0 1 0 102607423 117932032 22792 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28792 22792 642 252 0 22338 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 115168 KiB
Current children cumulated memory: 91168 KiB
[startup+342.3 s]
/proc/loadavg: 2.39 2.09 2.06 3/187 19124
/proc/meminfo: memFree=28082300/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=115804 memory=91756 CPUtime=342.25 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 48868 0 0 0 34204 21 0 0 20 0 1 0 102607423 118583296 22939 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28951 22939 642 252 0 22497 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 91756 KiB
[startup+402.3 s]
/proc/loadavg: 2.33 2.15 2.08 3/187 19125
/proc/meminfo: memFree=28082060/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=115804 memory=91876 CPUtime=402.25 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 49329 0 0 0 40200 25 0 0 20 0 1 0 102607423 118583296 22969 33554432000 4194304 5224576 140726905623776 140726905435656 4634120 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 28951 22969 642 252 0 22497 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 91876 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.12 2.07 3/187 19127
/proc/meminfo: memFree=28081132/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=116100 memory=92244 CPUtime=462.25 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 49945 0 0 0 46197 28 0 0 20 0 1 0 102607423 118886400 23061 33554432000 4194304 5224576 140726905623776 140726905435656 4634146 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 29025 23061 642 252 0 22571 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 116100 KiB
Current children cumulated memory: 92244 KiB
################
# More data... #
################
/proc/19050/statm: 31678 25694 642 252 0 25224 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 126712 KiB
Current children cumulated memory: 102776 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19190
/proc/meminfo: memFree=28070120/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=127192 memory=103236 CPUtime=1782.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 64366 0 0 0 178131 89 0 0 20 0 1 0 102607423 130244608 25809 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 31798 25809 642 252 0 25344 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 127192 KiB
Current children cumulated memory: 103236 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19191
/proc/meminfo: memFree=28069940/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=127192 memory=103236 CPUtime=1842.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 64768 0 0 0 184129 91 0 0 20 0 1 0 102607423 130244608 25809 33554432000 4194304 5224576 140726905623776 140726905435656 4560795 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 31798 25809 642 252 0 25344 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 127192 KiB
Current children cumulated memory: 103236 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19192
/proc/meminfo: memFree=28069644/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=127480 memory=103624 CPUtime=1902.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 65419 0 0 0 190126 94 0 0 20 0 1 0 102607423 130539520 25906 33554432000 4194304 5224576 140726905623776 140726905435656 140680058319228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 31870 25906 642 252 0 25416 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 127480 KiB
Current children cumulated memory: 103624 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19201
/proc/meminfo: memFree=28067644/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=127944 memory=103828 CPUtime=1962.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 66014 0 0 0 196123 97 0 0 20 0 1 0 102607423 131014656 25957 33554432000 4194304 5224576 140726905623776 140726905435656 140680058319228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 31986 25957 642 252 0 25532 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 103828 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19202
/proc/meminfo: memFree=28068228/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=128088 memory=103996 CPUtime=2022.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 66539 0 0 0 202120 100 0 0 20 0 1 0 102607423 131162112 25999 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32022 25999 642 252 0 25568 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 103996 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19203
/proc/meminfo: memFree=28068252/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=128088 memory=104140 CPUtime=2082.2 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 66931 0 0 0 208118 102 0 0 20 0 1 0 102607423 131162112 26035 33554432000 4194304 5224576 140726905623776 140726905435656 4634181 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32022 26035 642 252 0 25568 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 104140 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19204
/proc/meminfo: memFree=28067620/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=128624 memory=104764 CPUtime=2142.19 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 67627 0 0 0 214114 105 0 0 20 0 1 0 102607423 131710976 26191 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32156 26191 642 252 0 25702 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 128624 KiB
Current children cumulated memory: 104764 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19205
/proc/meminfo: memFree=28067852/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=128624 memory=104780 CPUtime=2202.19 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 68090 0 0 0 220111 108 0 0 20 0 1 0 102607423 131710976 26195 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32156 26195 642 252 0 25702 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 128624 KiB
Current children cumulated memory: 104780 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19207
/proc/meminfo: memFree=28067080/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=128800 memory=104936 CPUtime=2262.19 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 68620 0 0 0 226109 110 0 0 20 0 1 0 102607423 131891200 26234 33554432000 4194304 5224576 140726905623776 140726905435656 4634245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32200 26234 642 252 0 25746 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 128800 KiB
Current children cumulated memory: 104936 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19208
/proc/meminfo: memFree=28066844/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=129112 memory=105124 CPUtime=2322.18 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 69234 0 0 0 232106 112 0 0 20 0 1 0 102607423 132210688 26281 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32278 26281 642 252 0 25824 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 129112 KiB
Current children cumulated memory: 105124 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19209
/proc/meminfo: memFree=28066476/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=129112 memory=105244 CPUtime=2382.18 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 69637 0 0 0 238103 115 0 0 20 0 1 0 102607423 132210688 26311 33554432000 4194304 5224576 140726905623776 140726905435656 140680058319228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32278 26311 642 252 0 25824 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 129112 KiB
Current children cumulated memory: 105244 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19211
/proc/meminfo: memFree=28066216/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=129260 memory=105328 CPUtime=2442.18 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 70168 0 0 0 244101 117 0 0 20 0 1 0 102607423 132362240 26332 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32315 26332 642 252 0 25861 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 129260 KiB
Current children cumulated memory: 105328 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19212
/proc/meminfo: memFree=28066772/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=129428 memory=105460 CPUtime=2502.19 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 70691 0 0 0 250099 120 0 0 20 0 1 0 102607423 132534272 26365 33554432000 4194304 5224576 140726905623776 140726905435656 140680064348679 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32357 26365 642 252 0 25903 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 129428 KiB
Current children cumulated memory: 105460 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19212
/proc/meminfo: memFree=28067008/32770624 swapFree=67108860/67108860
[pid=19050] ppid=19047 vsize=129428 memory=105500 CPUtime=2519.89 cores=0,2,4,6
/proc/19050/stat : 19050 (minimacht) R 19047 19050 18169 0 -1 4202496 71020 0 0 0 251869 120 0 0 20 0 1 0 102607423 132534272 26375 33554432000 4194304 5224576 140726905623776 140726905435656 4634176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19128320 140726905631923 140726905632005 140726905632005 140726905634763 0
/proc/19050/statm: 32357 26375 642 252 0 25903 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 129428 KiB
Current children cumulated memory: 105500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 19050 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.69 s, system=1.20995 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.9
CPU user time (s): 2518.69
CPU system time (s): 1.20995
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 129428
Max. memory (cumulated for all children) (KiB): 105500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.69
system time used= 1.20995
maximum resident set size= 105500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71021
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= 912
# summary of solver processes directly reported to runsolver:
# pid: 19050
# total CPU time (s): 2519.9
# total CPU user time (s): 2518.69
# total CPU system time (s): 1.20995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18307 second user time and 18.878 second system time
The end