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 (11145 MiB free)
memory of node 1: 16384 MiB (8855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390234-1568336094/watcher-4390234-1568336094 -o /tmp/evaluation-result-4390234-1568336094/solver-4390234-1568336094 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568328837-13394 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390234-1568336094.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=14699, runsolver pid=14696
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20478300/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=28720 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 1462 0 0 0 10 0 0 0 20 0 1 0 409545907 29409280 1252 33554432000 4194304 6210612 140727969061472 140727969058008 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 7180 1252 845 493 0 485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28720 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209381 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20476208/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=30248 memory=6608 CPUtime=0.21 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 1818 0 0 0 21 0 0 0 20 0 1 0 409545907 30973952 1652 33554432000 4194304 6210612 140727969061472 140727969058008 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 7562 1652 845 493 0 867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6608 KiB
[startup+0.308984 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20473604/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=31628 memory=7676 CPUtime=0.31 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2143 0 0 0 31 0 0 0 20 0 1 0 409545907 32387072 1919 33554432000 4194304 6210612 140727969061472 140727969058008 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 7907 1919 845 493 0 1212 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31628 KiB
Current children cumulated memory: 7676 KiB
[startup+0.700339 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20468396/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=36828 memory=12768 CPUtime=0.69 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 3393 0 0 0 69 0 0 0 20 0 1 0 409545907 37711872 3192 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 9207 3192 845 493 0 2512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36828 KiB
Current children cumulated memory: 12768 KiB
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20456992/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=47800 memory=23160 CPUtime=1.49 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 6001 0 0 0 149 0 0 0 20 0 1 0 409545907 48947200 5790 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 11950 5790 845 493 0 5255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 23160 KiB
[startup+3.1096 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 14700
/proc/meminfo: memFree=20406900/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=68224 memory=44184 CPUtime=3.1 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 11290 0 0 0 309 1 0 0 20 0 1 0 409545907 69861376 11046 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 17056 11046 845 493 0 10361 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68224 KiB
Current children cumulated memory: 44184 KiB
[startup+6.30033 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 14702
/proc/meminfo: memFree=20331236/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=111236 memory=85892 CPUtime=6.29 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 21764 0 0 0 626 3 0 0 20 0 1 0 409545907 113905664 21473 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 27809 21473 845 493 0 21114 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111236 KiB
Current children cumulated memory: 85892 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 14702
/proc/meminfo: memFree=20182364/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=198944 memory=170828 CPUtime=12.69 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 41487 0 0 0 1264 5 0 0 20 0 1 0 409545907 203718656 42707 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 49736 42707 845 493 0 43041 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 198944 KiB
Current children cumulated memory: 170828 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/199 14702
/proc/meminfo: memFree=19856596/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=361204 memory=336808 CPUtime=25.49 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 79974 0 0 0 2538 11 0 0 20 0 1 0 409545907 369872896 84202 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 90301 84202 845 493 0 83606 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 361204 KiB
Current children cumulated memory: 336808 KiB
[startup+51.1097 s]
/proc/loadavg: 1.97 2.00 2.04 3/200 14707
/proc/meminfo: memFree=19203372/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=705036 memory=671908 CPUtime=51.1 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 156640 0 0 0 5089 21 0 0 20 0 1 0 409545907 721956864 167977 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 176259 167977 845 493 0 169564 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 705036 KiB
Current children cumulated memory: 671908 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/200 14712
/proc/meminfo: memFree=17925416/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=1403360 memory=1340992 CPUtime=102.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 309091 0 0 0 10189 39 0 0 20 0 1 0 409545907 1437040640 335248 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 350840 335248 845 493 0 344145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1403360 KiB
Current children cumulated memory: 1340992 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 14716
/proc/meminfo: memFree=16419736/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=2200572 memory=2128452 CPUtime=162.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 487028 0 0 0 16167 61 0 0 20 0 1 0 409545907 2253385728 532113 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 550143 532113 845 493 0 543448 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2200572 KiB
Current children cumulated memory: 2128452 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14720
/proc/meminfo: memFree=14917864/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=3037840 memory=2910720 CPUtime=222.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 664287 0 0 0 22143 85 0 0 20 0 1 0 409545907 3110748160 727680 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 759460 727680 845 493 0 752765 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 3037840 KiB
Current children cumulated memory: 2910720 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14727
/proc/meminfo: memFree=13416580/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=3743644 memory=3694624 CPUtime=282.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 840842 0 0 0 28119 109 0 0 20 0 1 0 409545907 3833491456 923656 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 935911 923656 845 493 0 929216 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3743644 KiB
Current children cumulated memory: 3694624 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14731
/proc/meminfo: memFree=11915116/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=4646844 memory=4479104 CPUtime=342.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 1018184 0 0 0 34094 134 0 0 20 0 1 0 409545907 4758368256 1119776 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 1161711 1119776 845 493 0 1155016 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 4646844 KiB
Current children cumulated memory: 4479104 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14743
/proc/meminfo: memFree=10414532/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=5352120 memory=5262364 CPUtime=402.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 1194628 0 0 0 40072 156 0 0 20 0 1 0 409545907 5480570880 1315591 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 1338030 1315591 845 493 0 1331335 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 5352120 KiB
Current children cumulated memory: 5262364 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14771
/proc/meminfo: memFree=8911820/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=6337940 memory=6046212 CPUtime=462.28 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 1371803 0 0 0 46045 183 0 0 20 0 1 0 409545907 6490050560 1511553 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 1584485 1511553 845 493 0 1577790 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 6337940 KiB
Current children cumulated memory: 6046212 KiB
################
# More data... #
################
Current children cumulated vsize: 8494380 KiB
Current children cumulated memory: 8396604 KiB
[startup+702.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 14789
/proc/meminfo: memFree=2899532/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=9620344 memory=9181724 CPUtime=702.27 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2078981 0 0 0 69936 291 0 0 20 0 1 0 409545907 9851232256 2295431 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 2405086 2295431 845 493 0 2398391 0
Current children cumulated CPU time: 702.27 s
Current children cumulated vsize: 9620344 KiB
Current children cumulated memory: 9181724 KiB
[startup+762.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/200 14793
/proc/meminfo: memFree=1400956/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=10325488 memory=9964760 CPUtime=762.27 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2255467 0 0 0 75907 320 0 0 20 0 1 0 409545907 10573299712 2491190 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 2581372 2491190 845 493 0 2574677 0
Current children cumulated CPU time: 762.27 s
Current children cumulated vsize: 10325488 KiB
Current children cumulated memory: 9964760 KiB
[startup+822.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/200 14799
/proc/meminfo: memFree=182016/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=11029708 memory=10746652 CPUtime=822.27 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2432168 0 0 0 81877 350 0 0 20 0 1 0 409545907 11294420992 2686663 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 2757427 2686663 845 493 0 2750732 0
Current children cumulated CPU time: 822.27 s
Current children cumulated vsize: 11029708 KiB
Current children cumulated memory: 10746652 KiB
[startup+882.3 s]
/proc/loadavg: 2.14 2.12 2.09 4/200 14803
/proc/meminfo: memFree=208492/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=11770048 memory=11528128 CPUtime=882.27 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2608752 0 0 0 87838 389 0 0 20 0 1 0 409545907 12052529152 2882032 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 2942512 2882032 845 493 0 2935817 0
Current children cumulated CPU time: 882.27 s
Current children cumulated vsize: 11770048 KiB
Current children cumulated memory: 11528128 KiB
[startup+942.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/200 14807
/proc/meminfo: memFree=207644/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=12473080 memory=12310992 CPUtime=942.26 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2785650 0 0 0 93797 429 0 0 20 0 1 0 409545907 12772433920 3077748 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3118270 3077748 845 493 0 3111575 0
Current children cumulated CPU time: 942.26 s
Current children cumulated vsize: 12473080 KiB
Current children cumulated memory: 12310992 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/200 14818
/proc/meminfo: memFree=185012/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=13177168 memory=13091088 CPUtime=1002.26 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 2961821 0 0 0 99762 464 0 0 20 0 1 0 409545907 13493420032 3272772 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3294292 3272772 845 493 0 3287597 0
Current children cumulated CPU time: 1002.26 s
Current children cumulated vsize: 13177168 KiB
Current children cumulated memory: 13091088 KiB
[startup+1062.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/200 14822
/proc/meminfo: memFree=205484/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=14509644 memory=13872680 CPUtime=1062.25 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 3138382 0 0 0 105719 506 0 0 20 0 1 0 409545907 14857875456 3468170 33554432000 4194304 6210612 140727969061472 140727969049400 140017797088830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3627411 3468170 845 493 0 3620716 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 14509644 KiB
Current children cumulated memory: 13872680 KiB
[startup+1122.3 s]
/proc/loadavg: 2.44 2.20 2.12 3/200 14826
/proc/meminfo: memFree=187256/32770624 swapFree=66997592/67108860
[pid=14699] ppid=14696 vsize=15209112 memory=14650052 CPUtime=1122.25 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 3313872 0 0 0 111659 566 0 0 20 0 1 0 409545907 15574130688 3662513 33554432000 4194304 6210612 140727969061472 140727969049400 140017796164581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3802278 3662513 845 493 0 3795583 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 15209112 KiB
Current children cumulated memory: 14650052 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1179.11 s]
/proc/loadavg: 2.17 2.17 2.11 3/200 14832
/proc/meminfo: memFree=189816/32770624 swapFree=66749324/67108860
[pid=14699] ppid=14696 vsize=15872016 memory=15383744 CPUtime=1179.05 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) R 14696 14699 13363 0 -1 4202496 3481848 0 0 0 117292 613 0 0 20 0 1 0 409545907 16252944384 3784244 33554432000 4194304 6210612 140727969061472 140727969049400 5451435 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968004 3784244 515 493 0 3961309 0
Current children cumulated CPU time: 1179.05 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15383744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1182.16 s]
# the end of solver process 14699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1172.98 s, system=7.30376 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1179.24 s]
/proc/loadavg: 2.17 2.17 2.11 3/200 14832
/proc/meminfo: memFree=189816/32770624 swapFree=66749324/67108860
[pid=14699] ppid=14696 vsize=15872544 memory=15384008 CPUtime=1179.09 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) D 14696 14699 13363 0 -1 4194304 3481960 0 1 0 117296 613 0 0 20 0 1 0 409545907 16253485056 3784310 33554432000 4194304 6210612 140727969061472 140727969049400 140017796103139 0 16384 4096 8405026 18446744071580431491 0 0 17 0 0 0 5 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968136 3784310 515 493 0 3961441 0
Current children cumulated CPU time: 1179.09 s
Current children cumulated vsize: 15872544 KiB
Current children cumulated memory: 15384008 KiB
[startup+1180 s]*
/proc/loadavg: 2.17 2.17 2.11 2/201 14833
/proc/meminfo: memFree=197928/32770624 swapFree=66749332/67108860
[pid=14699] ppid=14696 vsize=15872544 memory=15384260 CPUtime=1179.09 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) S 14696 14699 13363 0 -1 512 3481966 0 3 0 117296 613 0 0 20 0 1 0 409545907 16253485056 3784374 33554432000 4194304 6210612 140727969061472 140727969049400 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 35 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968136 3784374 516 493 0 3961441 0
Current children cumulated CPU time: 1179.09 s
Current children cumulated vsize: 15872544 KiB
Current children cumulated memory: 15384260 KiB
[startup+1180.8 s]
/proc/loadavg: 2.17 2.17 2.11 2/201 14833
/proc/meminfo: memFree=197928/32770624 swapFree=66749332/67108860
[pid=14699] ppid=14696 vsize=15872544 memory=15384272 CPUtime=1179.16 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) D 14696 14699 13363 0 -1 512 3487798 0 725 0 117296 620 0 0 20 0 1 0 409545907 16253485056 3785629 33554432000 4194304 6210612 140727969061472 140727969049400 5188952 0 16384 4096 8405026 18446744071580419444 0 0 17 2 0 0 67 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968136 3785629 519 493 0 3961441 0
Current children cumulated CPU time: 1179.16 s
Current children cumulated vsize: 15872544 KiB
Current children cumulated memory: 15384272 KiB
[startup+1181 s]*
/proc/loadavg: 2.16 2.17 2.11 3/201 14833
/proc/meminfo: memFree=185668/32770624 swapFree=66660608/67108860
[pid=14699] ppid=14696 vsize=15872544 memory=15384272 CPUtime=1179.19 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) D 14696 14699 13363 0 -1 512 3490780 0 1144 0 117297 622 0 0 20 0 1 0 409545907 16253485056 3772099 33554432000 4194304 6210612 140727969061472 140727969049400 5188952 0 16384 4096 8405026 18446744071580419444 0 0 17 0 0 0 84 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968136 3772099 519 493 0 3961441 0
Current children cumulated CPU time: 1179.19 s
Current children cumulated vsize: 15872544 KiB
Current children cumulated memory: 15384272 KiB
[startup+1181.11 s]
/proc/loadavg: 2.16 2.17 2.11 3/201 14833
/proc/meminfo: memFree=185668/32770624 swapFree=66660608/67108860
[pid=14699] ppid=14696 vsize=15872544 memory=15384272 CPUtime=1179.22 cores=0,2,4,6
/proc/14699/stat : 14699 (cosoco) D 14696 14699 13363 0 -1 512 3493130 0 1479 0 117297 625 0 0 20 0 1 0 409545907 16253485056 3774805 33554432000 4194304 6210612 140727969061472 140727969049400 5188952 0 16384 4096 8405026 18446744071580419444 0 0 17 0 0 0 91 0 0 8308220 8313664 34766848 140727969068043 140727969068145 140727969068145 140727969071054 0
/proc/14699/statm: 3968136 3774805 519 493 0 3961441 0
Current children cumulated CPU time: 1179.22 s
Current children cumulated vsize: 15872544 KiB
Current children cumulated memory: 15384272 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1182.16
CPU time (s): 1180.28
CPU user time (s): 1172.98
CPU system time (s): 7.30376
CPU usage (%): 99.8411
Max. virtual memory (cumulated for all children) (KiB): 15872544
Max. memory (cumulated for all children) (KiB): 15384272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1172.98
system time used= 7.30376
maximum resident set size= 15166584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3493130
page faults= 1480
swaps= 0
block input operations= 99912
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3927
involuntary context switches= 1581
# summary of solver processes directly reported to runsolver:
# pid: 14699
# total CPU time (s): 1180.28
# total CPU user time (s): 1172.98
# total CPU system time (s): 7.30376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46334 second user time and 8.14667 second system time
The end