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 (11599 MiB free)
memory of node 1: 16384 MiB (15505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408406-1569792319/watcher-4408406-1569792319 -o /tmp/evaluation-result-4408406-1569792319/solver-4408406-1569792319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25780 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408406-1569792319.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
Current StackSize limit: 8192 KiB
solver pid=26523, runsolver pid=26520
[startup+0.100159 s]*
/proc/loadavg: 2.17 2.05 2.04 3/201 26524
/proc/meminfo: memFree=27760764/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=28724 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 1475 0 0 0 10 0 0 0 20 0 1 0 555393484 29413376 1252 33554432000 4194304 6211132 140734684452528 140734684449064 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 7181 1252 845 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5008 KiB
[startup+0.210619 s]*
/proc/loadavg: 2.17 2.05 2.04 3/201 26524
/proc/meminfo: memFree=27753756/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=30140 memory=6592 CPUtime=0.21 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 1813 0 0 0 21 0 0 0 20 0 1 0 555393484 30863360 1648 33554432000 4194304 6211132 140734684452528 140734684449064 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 7535 1648 846 493 0 840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 6592 KiB
[startup+0.309589 s]*
/proc/loadavg: 2.17 2.05 2.04 3/201 26524
/proc/meminfo: memFree=27758192/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=31412 memory=7712 CPUtime=0.31 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2120 0 0 0 31 0 0 0 20 0 1 0 555393484 32165888 1928 33554432000 4194304 6211132 140734684452528 140734684449064 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 7853 1928 846 493 0 1158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31412 KiB
Current children cumulated memory: 7712 KiB
[startup+0.70034 s]
/proc/loadavg: 2.17 2.05 2.04 3/201 26524
/proc/meminfo: memFree=27756924/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=36084 memory=12360 CPUtime=0.69 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3253 0 0 0 67 2 0 0 20 0 1 0 555393484 36950016 3090 33554432000 4194304 6211132 140734684452528 140734684449064 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 9021 3090 846 493 0 2326 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36084 KiB
Current children cumulated memory: 12360 KiB
[startup+1.50032 s]
/proc/loadavg: 2.40 2.10 2.06 4/201 26524
/proc/meminfo: memFree=27784704/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=45740 memory=22124 CPUtime=1.48 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 5716 0 0 0 146 2 0 0 20 0 1 0 555393484 46837760 5531 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 11435 5531 846 493 0 4740 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 22124 KiB
[startup+3.10969 s]
/proc/loadavg: 2.40 2.10 2.06 3/203 26527
/proc/meminfo: memFree=28145356/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=65816 memory=41860 CPUtime=3.1 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 10729 0 0 0 307 3 0 0 20 0 1 0 555393484 67395584 10465 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 16454 10465 846 493 0 9759 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65816 KiB
Current children cumulated memory: 41860 KiB
[startup+6.30027 s]
/proc/loadavg: 2.36 2.10 2.06 3/200 26527
/proc/meminfo: memFree=28520880/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=105836 memory=81480 CPUtime=6.29 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 20650 0 0 0 625 4 0 0 20 0 1 0 555393484 108376064 20370 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 26459 20370 846 493 0 19764 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 81480 KiB
[startup+12.7003 s]
/proc/loadavg: 2.33 2.09 2.06 3/201 26529
/proc/meminfo: memFree=28446928/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=186908 memory=160752 CPUtime=12.69 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 40504 0 0 0 1262 7 0 0 20 0 1 0 555393484 191393792 40188 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 46727 40188 846 493 0 40032 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 186908 KiB
Current children cumulated memory: 160752 KiB
[startup+25.5003 s]
/proc/loadavg: 2.28 2.09 2.05 3/200 26531
/proc/meminfo: memFree=28286516/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=343036 memory=318888 CPUtime=25.48 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 79152 0 0 0 2536 12 0 0 20 0 1 0 555393484 351268864 79722 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 85759 79722 846 493 0 79064 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 343036 KiB
Current children cumulated memory: 318888 KiB
[startup+51.1095 s]
/proc/loadavg: 2.17 2.08 2.05 3/199 26531
/proc/meminfo: memFree=27962900/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=663944 memory=637080 CPUtime=51.1 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 155642 0 0 0 5084 26 0 0 20 0 1 0 555393484 679878656 159270 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 165986 159270 846 493 0 159291 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 663944 KiB
Current children cumulated memory: 637080 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/200 26537
/proc/meminfo: memFree=27329724/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=1310224 memory=1270604 CPUtime=102.28 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 307938 0 0 0 10181 47 0 0 20 0 1 0 555393484 1341669376 317651 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 327556 317651 846 493 0 320861 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1310224 KiB
Current children cumulated memory: 1270604 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/199 26601
/proc/meminfo: memFree=26155076/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=2056088 memory=2012648 CPUtime=162.26 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 485742 0 0 0 16154 72 0 0 20 0 1 0 555393484 2105434112 503162 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 514022 503162 846 493 0 507327 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2056088 KiB
Current children cumulated memory: 2012648 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 26606
/proc/meminfo: memFree=24859440/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=2820592 memory=2754604 CPUtime=222.23 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 663652 0 0 0 22123 100 0 0 20 0 1 0 555393484 2888286208 688651 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 705148 688651 846 493 0 698453 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2820592 KiB
Current children cumulated memory: 2754604 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 26612
/proc/meminfo: memFree=23562692/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=3530080 memory=3496028 CPUtime=282.21 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 840897 0 0 0 28093 128 0 0 20 0 1 0 555393484 3614801920 874007 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 882520 874007 846 493 0 875825 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 3530080 KiB
Current children cumulated memory: 3496028 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 26624
/proc/meminfo: memFree=22266852/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=4321040 memory=4236556 CPUtime=342.19 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 1018435 0 0 0 34063 156 0 0 20 0 1 0 555393484 4424744960 1059139 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 1080260 1059139 846 493 0 1073565 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 4321040 KiB
Current children cumulated memory: 4236556 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 26628
/proc/meminfo: memFree=20970676/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=5030984 memory=4978016 CPUtime=402.17 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 1195716 0 0 0 40030 187 0 0 20 0 1 0 555393484 5151727616 1244504 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 1257746 1244504 846 493 0 1251051 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 5030984 KiB
Current children cumulated memory: 4978016 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 26634
/proc/meminfo: memFree=19673380/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=5863468 memory=5721428 CPUtime=462.15 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 1373534 0 0 0 45998 217 0 0 20 0 1 0 555393484 6004191232 1430357 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 1465867 1430357 846 493 0 1459172 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 5863468 KiB
Current children cumulated memory: 5721428 KiB
################
# More data... #
################
Current children cumulated vsize: 7989532 KiB
Current children cumulated memory: 7944872 KiB
[startup+702.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/198 26652
/proc/meminfo: memFree=14490080/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=8883644 memory=8685688 CPUtime=702.07 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2082990 0 0 0 69864 343 0 0 20 0 1 0 555393484 9096851456 2171422 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 2220911 2171422 846 493 0 2214216 0
Current children cumulated CPU time: 702.07 s
Current children cumulated vsize: 8883644 KiB
Current children cumulated memory: 8685688 KiB
[startup+762.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 26657
/proc/meminfo: memFree=13191472/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=9595892 memory=9428644 CPUtime=762.06 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2260174 0 0 0 75832 374 0 0 20 0 1 0 555393484 9826193408 2357161 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 2398973 2357161 846 493 0 2392278 0
Current children cumulated CPU time: 762.06 s
Current children cumulated vsize: 9595892 KiB
Current children cumulated memory: 9428644 KiB
[startup+822.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 26663
/proc/meminfo: memFree=11896164/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=10303016 memory=10168552 CPUtime=822.04 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2437203 0 0 0 81798 406 0 0 20 0 1 0 555393484 10550288384 2542138 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 2575754 2542138 846 493 0 2569059 0
Current children cumulated CPU time: 822.04 s
Current children cumulated vsize: 10303016 KiB
Current children cumulated memory: 10168552 KiB
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 26667
/proc/meminfo: memFree=10601624/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=11010008 memory=10908364 CPUtime=882.01 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2614142 0 0 0 87760 441 0 0 20 0 1 0 555393484 11274248192 2727091 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 2752502 2727091 846 493 0 2745807 0
Current children cumulated CPU time: 882.01 s
Current children cumulated vsize: 11010008 KiB
Current children cumulated memory: 10908364 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 26679
/proc/meminfo: memFree=9307712/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=11717000 memory=11648008 CPUtime=941.99 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2791116 0 0 0 93722 477 0 0 20 0 1 0 555393484 11998208000 2912002 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 2929250 2912002 846 493 0 2922555 0
Current children cumulated CPU time: 941.99 s
Current children cumulated vsize: 11717000 KiB
Current children cumulated memory: 11648008 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 26685
/proc/meminfo: memFree=8010908/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=12423860 memory=12388180 CPUtime=1001.97 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 2968186 0 0 0 99682 515 0 0 20 0 1 0 555393484 12722032640 3097045 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3105965 3097045 846 493 0 3099270 0
Current children cumulated CPU time: 1001.97 s
Current children cumulated vsize: 12423860 KiB
Current children cumulated memory: 12388180 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26689
/proc/meminfo: memFree=6715552/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=13418028 memory=13130416 CPUtime=1061.95 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3145764 0 0 0 105642 553 0 0 20 0 1 0 555393484 13740060672 3282604 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3354507 3282604 846 493 0 3347812 0
Current children cumulated CPU time: 1061.95 s
Current children cumulated vsize: 13418028 KiB
Current children cumulated memory: 13130416 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26693
/proc/meminfo: memFree=5421356/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=14124624 memory=13869844 CPUtime=1121.93 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3322617 0 0 0 111602 591 0 0 20 0 1 0 555393484 14463614976 3467461 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3531156 3467461 846 493 0 3524461 0
Current children cumulated CPU time: 1121.93 s
Current children cumulated vsize: 14124624 KiB
Current children cumulated memory: 13869844 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26699
/proc/meminfo: memFree=4127796/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=14831088 memory=14611004 CPUtime=1181.91 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3499459 0 0 0 117562 629 0 0 20 0 1 0 555393484 15187034112 3652751 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3707772 3652751 846 493 0 3701077 0
Current children cumulated CPU time: 1181.91 s
Current children cumulated vsize: 14831088 KiB
Current children cumulated memory: 14611004 KiB
[startup+1242.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/199 26703
/proc/meminfo: memFree=2830372/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=15537420 memory=15352424 CPUtime=1241.89 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3676292 0 0 0 123523 666 0 0 20 0 1 0 555393484 15910318080 3838106 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3884355 3838106 846 493 0 3877660 0
Current children cumulated CPU time: 1241.89 s
Current children cumulated vsize: 15537420 KiB
Current children cumulated memory: 15352424 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1270.8 s]
/proc/loadavg: 2.44 2.12 2.08 3/200 26706
/proc/meminfo: memFree=2228680/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=15873096 memory=15702300 CPUtime=1270.39 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 4202496 3760335 0 0 0 126356 683 0 0 20 0 1 0 555393484 16254050304 3925575 33554432000 4194304 6211132 140734684452528 140734684434696 140128804719589 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3968274 3925575 846 493 0 3961579 0
Current children cumulated CPU time: 1270.39 s
Current children cumulated vsize: 15873096 KiB
Current children cumulated memory: 15702300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1273.55 s]
# the end of solver process 26523 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1263.86 s, system=7.60713 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1272 s]*
/proc/loadavg: 2.49 2.14 2.08 3/201 26707
/proc/meminfo: memFree=1511520/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=15873096 memory=15702300 CPUtime=1270.59 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) S 26520 26523 25748 0 -1 512 3760340 0 0 0 126375 684 0 0 20 0 1 0 555393484 16254050304 3925575 33554432000 4194304 6211132 140734684452528 140734684434696 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3968274 3925575 846 493 0 3961579 0
Current children cumulated CPU time: 1270.59 s
Current children cumulated vsize: 15873096 KiB
Current children cumulated memory: 15702300 KiB
[startup+1272.4 s]
/proc/loadavg: 2.49 2.14 2.08 3/201 26707
/proc/meminfo: memFree=1511520/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=15873096 memory=15702300 CPUtime=1270.65 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) R 26520 26523 25748 0 -1 512 3760340 0 0 0 126380 685 0 0 20 0 1 0 555393484 16254050304 3925575 33554432000 4194304 6211132 140734684452528 140734684434696 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3968274 3925575 846 493 0 3961579 0
Current children cumulated CPU time: 1270.65 s
Current children cumulated vsize: 15873096 KiB
Current children cumulated memory: 15702300 KiB
[startup+1272.8 s]
/proc/loadavg: 2.49 2.14 2.08 3/201 26707
/proc/meminfo: memFree=1511520/32770624 swapFree=67002732/67108860
[pid=26523] ppid=26520 vsize=15873096 memory=15702300 CPUtime=1270.71 cores=1,3,5,7
/proc/26523/stat : 26523 (cosoco) S 26520 26523 25748 0 -1 512 3760340 0 0 0 126385 686 0 0 20 0 1 0 555393484 16254050304 3925575 33554432000 4194304 6211132 140734684452528 140734684434696 5189800 0 16384 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15765504 140734684455947 140734684456049 140734684456049 140734684458958 0
/proc/26523/statm: 3968274 3925575 846 493 0 3961579 0
Current children cumulated CPU time: 1270.71 s
Current children cumulated vsize: 15873096 KiB
Current children cumulated memory: 15702300 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1273.55
CPU time (s): 1271.46
CPU user time (s): 1263.86
CPU system time (s): 7.60713
CPU usage (%): 99.8363
Max. virtual memory (cumulated for all children) (KiB): 15873096
Max. memory (cumulated for all children) (KiB): 15702300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1263.86
system time used= 7.60713
maximum resident set size= 15702484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760340
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= 125004
involuntary context switches= 1583
# summary of solver processes directly reported to runsolver:
# pid: 26523
# total CPU time (s): 1271.46
# total CPU user time (s): 1263.86
# total CPU system time (s): 7.60713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.62737 second user time and 8.28208 second system time
The end