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 (4463 MiB free)
memory of node 1: 16384 MiB (15389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389702-1568323351/watcher-4389702-1568323351 -o /tmp/evaluation-result-4389702-1568323351/solver-4389702-1568323351 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15586 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389702-1568323351.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=17710, runsolver pid=17707
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 2.05 2.01 2.05 3/201 17711
/proc/meminfo: memFree=20326408/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=28740 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 1457 0 0 0 10 0 0 0 20 0 1 0 408573839 29429760 1252 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 7185 1252 844 493 0 490 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209707 s]*
/proc/loadavg: 2.05 2.01 2.05 3/201 17711
/proc/meminfo: memFree=20323804/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=29988 memory=6328 CPUtime=0.21 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 1775 0 0 0 21 0 0 0 20 0 1 0 408573839 30707712 1582 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 7497 1582 845 493 0 802 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29988 KiB
Current children cumulated memory: 6328 KiB
[startup+0.310158 s]*
/proc/loadavg: 2.05 2.01 2.05 4/201 17711
/proc/meminfo: memFree=20321356/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=31084 memory=7384 CPUtime=0.31 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2063 0 0 0 31 0 0 0 20 0 1 0 408573839 31830016 1846 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 7771 1846 845 493 0 1076 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31084 KiB
Current children cumulated memory: 7384 KiB
[startup+0.700292 s]
/proc/loadavg: 2.05 2.01 2.05 3/201 17711
/proc/meminfo: memFree=20316568/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=35516 memory=11952 CPUtime=0.69 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3165 0 0 0 69 0 0 0 20 0 1 0 408573839 36368384 2988 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 8879 2988 845 493 0 2184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 11952 KiB
[startup+1.50028 s]
/proc/loadavg: 2.05 2.01 2.05 3/201 17711
/proc/meminfo: memFree=20302740/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=44704 memory=21084 CPUtime=1.48 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 5458 0 0 0 147 1 0 0 20 0 1 0 408573839 45776896 5271 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 11176 5271 845 493 0 4481 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 21084 KiB
[startup+3.10953 s]
/proc/loadavg: 2.05 2.01 2.05 3/201 17711
/proc/meminfo: memFree=20251216/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=63596 memory=39656 CPUtime=3.1 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 10160 0 0 0 308 2 0 0 20 0 1 0 408573839 65122304 9914 33554432000 4194304 6210612 140729596157904 140729596139304 5442952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 15899 9914 845 493 0 9204 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63596 KiB
Current children cumulated memory: 39656 KiB
[startup+6.30029 s]
/proc/loadavg: 2.36 2.08 2.07 3/201 17712
/proc/meminfo: memFree=20170692/32770624 swapFree=66940156/67108860
[pid=17710] ppid=17707 vsize=101252 memory=76456 CPUtime=6.28 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 19440 0 0 0 625 3 0 0 20 0 1 0 408573839 103682048 19114 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 25313 19114 845 493 0 18618 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 101252 KiB
Current children cumulated memory: 76456 KiB
[startup+12.7002 s]
/proc/loadavg: 2.41 2.10 2.07 3/200 17715
/proc/meminfo: memFree=20827820/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=177404 memory=150572 CPUtime=12.68 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 38020 0 0 0 1263 5 0 0 20 0 1 0 408573839 181661696 37643 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 44351 37643 845 493 0 37656 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 177404 KiB
Current children cumulated memory: 150572 KiB
[startup+25.5094 s]
/proc/loadavg: 2.32 2.09 2.07 3/200 17715
/proc/meminfo: memFree=20502836/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=323780 memory=299020 CPUtime=25.49 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 74237 0 0 0 2539 10 0 0 20 0 1 0 408573839 331550720 74755 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 80945 74755 845 493 0 74250 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 323780 KiB
Current children cumulated memory: 299020 KiB
[startup+51.1002 s]
/proc/loadavg: 2.13 2.07 2.06 3/200 17717
/proc/meminfo: memFree=19873124/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=624828 memory=595676 CPUtime=51.08 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 145880 0 0 0 5090 18 0 0 20 0 1 0 408573839 639823872 148919 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 156207 148919 845 493 0 149512 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 624828 KiB
Current children cumulated memory: 595676 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/201 17722
/proc/meminfo: memFree=18583376/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=1231668 memory=1188084 CPUtime=102.27 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 288365 0 0 0 10191 36 0 0 20 0 1 0 408573839 1261228032 297021 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 307917 297021 845 493 0 301222 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1231668 KiB
Current children cumulated memory: 1188084 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/201 17726
/proc/meminfo: memFree=17067692/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=1931780 memory=1882088 CPUtime=162.26 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 454770 0 0 0 16170 56 0 0 20 0 1 0 408573839 1978142720 470522 33554432000 4194304 6210612 140729596157904 140729596139304 140077213076286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 482945 470522 845 493 0 476250 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1931780 KiB
Current children cumulated memory: 1882088 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 17733
/proc/meminfo: memFree=15551656/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=2650988 memory=2575888 CPUtime=222.25 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 621155 0 0 0 22149 76 0 0 20 0 1 0 408573839 2714611712 643972 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 662747 643972 845 493 0 656052 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2650988 KiB
Current children cumulated memory: 2575888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 17737
/proc/meminfo: memFree=14035776/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=3313628 memory=3270052 CPUtime=282.24 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 787134 0 0 0 28129 95 0 0 20 0 1 0 408573839 3393155072 817513 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 828407 817513 845 493 0 821712 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3313628 KiB
Current children cumulated memory: 3270052 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 17741
/proc/meminfo: memFree=12520908/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=4060752 memory=3964996 CPUtime=342.22 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 953866 0 0 0 34105 117 0 0 20 0 1 0 408573839 4158210048 991249 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 1015188 991249 845 493 0 1008493 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 4060752 KiB
Current children cumulated memory: 3964996 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 17748
/proc/meminfo: memFree=11004708/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=4722996 memory=4658620 CPUtime=402.21 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 1119745 0 0 0 40083 138 0 0 20 0 1 0 408573839 4836347904 1164655 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 1180749 1164655 845 493 0 1174054 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 4722996 KiB
Current children cumulated memory: 4658620 KiB
[startup+462.3 s]
/proc/loadavg: 2.28 2.12 2.08 3/199 17816
/proc/meminfo: memFree=25807620/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=5387532 memory=5352564 CPUtime=462.19 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 1285745 0 0 0 46057 162 0 0 20 0 1 0 408573839 5516832768 1338141 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 1346883 1338141 845 493 0 1340188 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 5387532 KiB
Current children cumulated memory: 5352564 KiB
################
# More data... #
################
Current children cumulated vsize: 9014208 KiB
Current children cumulated memory: 8822368 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 17853
/proc/meminfo: memFree=21636956/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=9676320 memory=9515324 CPUtime=822.06 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2282122 0 0 0 81888 318 0 0 20 0 1 0 408573839 9908551680 2378831 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 2419080 2378831 845 493 0 2412385 0
Current children cumulated CPU time: 822.06 s
Current children cumulated vsize: 9676320 KiB
Current children cumulated memory: 9515324 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 17857
/proc/meminfo: memFree=20941076/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=10343820 memory=10209560 CPUtime=882.04 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2448277 0 0 0 87861 343 0 0 20 0 1 0 408573839 10592071680 2552390 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 2585955 2552390 845 493 0 2579260 0
Current children cumulated CPU time: 882.04 s
Current children cumulated vsize: 10343820 KiB
Current children cumulated memory: 10209560 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 17863
/proc/meminfo: memFree=20243472/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=11005800 memory=10905460 CPUtime=942.03 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2614318 0 0 0 93829 374 0 0 20 0 1 0 408573839 11269939200 2726365 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 2751450 2726365 845 493 0 2744755 0
Current children cumulated CPU time: 942.03 s
Current children cumulated vsize: 11005800 KiB
Current children cumulated memory: 10905460 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 17867
/proc/meminfo: memFree=19551548/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=11667912 memory=11598208 CPUtime=1002 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2780115 0 0 0 99799 401 0 0 20 0 1 0 408573839 11947941888 2899552 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 2916978 2899552 845 493 0 2910283 0
Current children cumulated CPU time: 1002 s
Current children cumulated vsize: 11667912 KiB
Current children cumulated memory: 11598208 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 17871
/proc/meminfo: memFree=18857484/32770624 swapFree=66940644/67108860
[pid=17710] ppid=17707 vsize=12329760 memory=12290956 CPUtime=1061.98 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 2945933 0 0 0 105765 433 0 0 20 0 1 0 408573839 12625674240 3072739 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3082440 3072739 845 493 0 3075745 0
Current children cumulated CPU time: 1061.98 s
Current children cumulated vsize: 12329760 KiB
Current children cumulated memory: 12290956 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17885
/proc/meminfo: memFree=18161616/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=13271624 memory=12983712 CPUtime=1121.97 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3112186 0 0 0 111733 464 0 0 20 0 1 0 408573839 13590142976 3245928 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3317906 3245928 845 493 0 3311211 0
Current children cumulated CPU time: 1121.97 s
Current children cumulated vsize: 13271624 KiB
Current children cumulated memory: 12983712 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17889
/proc/meminfo: memFree=17464544/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=13940632 memory=13679024 CPUtime=1181.94 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3278083 0 0 0 117699 495 0 0 20 0 1 0 408573839 14275207168 3419756 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3485158 3419756 845 493 0 3478463 0
Current children cumulated CPU time: 1181.94 s
Current children cumulated vsize: 13940632 KiB
Current children cumulated memory: 13679024 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17893
/proc/meminfo: memFree=16770600/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=14602612 memory=14371772 CPUtime=1241.93 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3443853 0 0 0 123668 525 0 0 20 0 1 0 408573839 14953074688 3592943 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3650653 3592943 845 493 0 3643958 0
Current children cumulated CPU time: 1241.93 s
Current children cumulated vsize: 14602612 KiB
Current children cumulated memory: 14371772 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17899
/proc/meminfo: memFree=16077108/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15264064 memory=15063728 CPUtime=1301.91 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3609492 0 0 0 129635 556 0 0 20 0 1 0 408573839 15630401536 3765932 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3816016 3765932 845 493 0 3809321 0
Current children cumulated CPU time: 1301.91 s
Current children cumulated vsize: 15264064 KiB
Current children cumulated memory: 15063728 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1357.51 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17903
/proc/meminfo: memFree=15429732/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15872584 memory=15701048 CPUtime=1357.1 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) R 17707 17710 15554 0 -1 4202496 3761858 0 0 0 135124 586 0 0 20 0 1 0 408573839 16253526016 3925262 33554432000 4194304 6210612 140729596157904 140729596139304 140077213080549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3968146 3925262 845 493 0 3961451 0
Current children cumulated CPU time: 1357.1 s
Current children cumulated vsize: 15872584 KiB
Current children cumulated memory: 15701048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1360.26 s]
# the end of solver process 17710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1351.4 s, system=6.64784 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1358.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17903
/proc/meminfo: memFree=15429732/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15872584 memory=15701048 CPUtime=1357.21 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) S 17707 17710 15554 0 -1 512 3761863 0 0 0 135133 588 0 0 20 0 1 0 408573839 16253526016 3925262 33554432000 4194304 6210612 140729596157904 140729596139304 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3968146 3925262 845 493 0 3961451 0
Current children cumulated CPU time: 1357.21 s
Current children cumulated vsize: 15872584 KiB
Current children cumulated memory: 15701048 KiB
[startup+1359 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 17904
/proc/meminfo: memFree=14901216/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15872584 memory=15701048 CPUtime=1357.25 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) S 17707 17710 15554 0 -1 512 3761863 0 0 0 135137 588 0 0 20 0 1 0 408573839 16253526016 3925262 33554432000 4194304 6210612 140729596157904 140729596139304 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3968146 3925262 845 493 0 3961451 0
Current children cumulated CPU time: 1357.25 s
Current children cumulated vsize: 15872584 KiB
Current children cumulated memory: 15701048 KiB
[startup+1359.4 s]*
/proc/loadavg: 2.08 2.03 2.05 4/201 17904
/proc/meminfo: memFree=14809560/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15872584 memory=15701048 CPUtime=1357.27 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) S 17707 17710 15554 0 -1 512 3761863 0 0 0 135138 589 0 0 20 0 1 0 408573839 16253526016 3925262 33554432000 4194304 6210612 140729596157904 140729596139304 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3968146 3925262 845 493 0 3961451 0
Current children cumulated CPU time: 1357.27 s
Current children cumulated vsize: 15872584 KiB
Current children cumulated memory: 15701048 KiB
[startup+1359.51 s]
/proc/loadavg: 2.08 2.03 2.05 4/201 17904
/proc/meminfo: memFree=14809560/32770624 swapFree=66940648/67108860
[pid=17710] ppid=17707 vsize=15872584 memory=15701048 CPUtime=1357.29 cores=1,3,5,7
/proc/17710/stat : 17710 (cosoco) S 17707 17710 15554 0 -1 512 3761863 0 0 0 135140 589 0 0 20 0 1 0 408573839 16253526016 3925262 33554432000 4194304 6210612 140729596157904 140729596139304 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 21159936 140729596163083 140729596163185 140729596163185 140729596166094 0
/proc/17710/statm: 3968146 3925262 845 493 0 3961451 0
Current children cumulated CPU time: 1357.29 s
Current children cumulated vsize: 15872584 KiB
Current children cumulated memory: 15701048 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1360.26
CPU time (s): 1358.05
CPU user time (s): 1351.4
CPU system time (s): 6.64784
CPU usage (%): 99.8373
Max. virtual memory (cumulated for all children) (KiB): 15872584
Max. memory (cumulated for all children) (KiB): 15701048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1351.4
system time used= 6.64784
maximum resident set size= 15701168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761863
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= 78321
involuntary context switches= 1656
# summary of solver processes directly reported to runsolver:
# pid: 17710
# total CPU time (s): 1358.05
# total CPU user time (s): 1351.4
# total CPU system time (s): 6.64784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42947 second user time and 8.52873 second system time
The end