0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.04 c
0.00/0.04 c This is cosoco 2.00 --
0.00/0.04 c
0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390314-1568356231.xml
0.00/0.04 c intension imp(eq(l[2][1],0),eq(i[2][1],7)) -> extension (support ? 0) - 7tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[4][1],0),eq(i[4][1],6)) -> extension (support ? 0) - 6tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[6][1],0),eq(i[6][1],5)) -> extension (support ? 0) - 5tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[8][1],0),eq(i[8][1],4)) -> extension (support ? 0) - 4tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[10][1],0),eq(i[10][1],3)) -> extension (support ? 0) - 3tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(eq(l[12][1],0),eq(i[12][1],2)) -> extension (support ? 0) - 2tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(eq(l[14][1],0),eq(i[14][1],1)) -> extension (support ? 0) - 1tuples
0.00/0.05 c intension imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 1212tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 910tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 651tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 435tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 262tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 132tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[14][1]),lt(i[14][0],i[14][1])) -> extension (support ? 1) - 45tuples
0.00/0.07 c intension imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 50tuples
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension xor(le(2,a[15][0]),eq(l[14][1],0)) -> extension (support ? 0) - 90tuples
0.10/0.17 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 1140tuples
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension xor(le(2,a[13][1]),le(3,a[13][0]),eq(l[12][2],0)) -> extension (support ? 1) - 1620tuples
0.20/0.23 c intension xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 17160tuples
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension xor(le(2,a[11][2]),le(3,a[11][1]),le(4,a[11][0]),eq(l[10][3],0)) -> extension (support ? 0) - 20040tuples
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 (13441 MiB free)
memory of node 1: 16384 MiB (15654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390314-1568356231/watcher-4390314-1568356231 -o /tmp/evaluation-result-4390314-1568356231/solver-4390314-1568356231 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568325638-27860 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390314-1568356231.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=2683, runsolver pid=2680
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 2684
/proc/meminfo: memFree=29792380/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=30444 memory=6788 CPUtime=0.1 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 1897 0 0 0 10 0 0 0 20 0 1 0 411890785 31174656 1697 33554432000 4194304 6210612 140722525776272 140722525770952 5817732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 7611 1697 862 493 0 916 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 6788 KiB
[startup+0.209617 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 2684
/proc/meminfo: memFree=29790520/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=32720 memory=9040 CPUtime=0.2 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 2434 0 0 0 20 0 0 0 20 0 1 0 411890785 33505280 2260 33554432000 4194304 6210612 140722525776272 140722525770952 5012488 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 8180 2260 862 493 0 1485 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9040 KiB
[startup+0.30921 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 2684
/proc/meminfo: memFree=29787952/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=33848 memory=10344 CPUtime=0.3 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 3558 0 0 0 30 0 0 0 20 0 1 0 411890785 34660352 2586 33554432000 4194304 6210612 140722525776272 140722525771912 140553531902798 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 8462 2586 863 493 0 1767 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 10344 KiB
[startup+0.700347 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 2684
/proc/meminfo: memFree=29783824/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=44912 memory=20876 CPUtime=0.68 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 6204 0 0 0 68 0 0 0 20 0 1 0 411890785 45989888 5219 33554432000 4194304 6210612 140722525776272 140722525771912 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 11228 5219 866 493 0 4533 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44912 KiB
Current children cumulated memory: 20876 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.02 2.05 4/198 2684
/proc/meminfo: memFree=29769948/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=68812 memory=42996 CPUtime=1.49 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 11751 0 0 0 148 1 0 0 20 0 1 0 411890785 70463488 10749 33554432000 4194304 6210612 140722525776272 140722525770168 140553521953598 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 17203 10749 866 493 0 10508 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68812 KiB
Current children cumulated memory: 42996 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.02 2.05 4/198 2684
/proc/meminfo: memFree=29710960/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=115252 memory=90468 CPUtime=3.1 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 22635 0 0 0 308 2 0 0 20 0 1 0 411890785 118018048 22617 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 28813 22617 866 493 0 22118 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 115252 KiB
Current children cumulated memory: 90468 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.02 2.05 4/198 2684
/proc/meminfo: memFree=29628120/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=210440 memory=177036 CPUtime=6.29 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 42283 0 0 0 624 5 0 0 20 0 1 0 411890785 215490560 44259 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 52610 44259 866 493 0 45915 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 210440 KiB
Current children cumulated memory: 177036 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 4/198 2684
/proc/meminfo: memFree=29463548/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=407548 memory=355876 CPUtime=12.69 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 79850 0 0 0 1259 10 0 0 20 0 1 0 411890785 417329152 88903 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 101887 88903 866 493 0 95192 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 407548 KiB
Current children cumulated memory: 355876 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 2686
/proc/meminfo: memFree=29098488/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=741480 memory=712352 CPUtime=25.48 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 152178 0 0 0 2528 20 0 0 20 0 1 0 411890785 759275520 178088 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 185370 178088 866 493 0 178675 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 741480 KiB
Current children cumulated memory: 712352 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 2687
/proc/meminfo: memFree=28374424/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=1495612 memory=1423816 CPUtime=51.08 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 296834 0 0 0 5068 40 0 0 20 0 1 0 411890785 1531506688 355954 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 373903 355954 866 493 0 367208 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1495612 KiB
Current children cumulated memory: 1423816 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 4/198 2691
/proc/meminfo: memFree=26952076/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=3051052 memory=2851340 CPUtime=102.27 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 584719 0 0 0 10147 80 0 0 20 0 1 0 411890785 3124277248 712835 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 762763 712835 866 493 0 756068 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3051052 KiB
Current children cumulated memory: 2851340 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/198 2697
/proc/meminfo: memFree=25276712/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=4761660 memory=4519808 CPUtime=162.24 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 920054 0 0 0 16097 127 0 0 20 0 1 0 411890785 4875939840 1129952 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 1190415 1129952 866 493 0 1183720 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 4761660 KiB
Current children cumulated memory: 4519808 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/197 2701
/proc/meminfo: memFree=23604036/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=6658720 memory=6191352 CPUtime=222.2 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 1255170 0 0 0 22047 173 0 0 20 0 1 0 411890785 6818529280 1547838 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 1664680 1547838 866 493 0 1657985 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 6658720 KiB
Current children cumulated memory: 6191352 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 4/197 2705
/proc/meminfo: memFree=21926044/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=7996804 memory=7863144 CPUtime=282.18 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 1589880 0 0 0 27998 220 0 0 20 0 1 0 411890785 8188727296 1965786 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 1999201 1965786 866 493 0 1992506 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 7996804 KiB
Current children cumulated memory: 7863144 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/197 2711
/proc/meminfo: memFree=20253660/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=10174548 memory=9536120 CPUtime=342.15 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 1924918 0 0 0 33944 271 0 0 20 0 1 0 411890785 10418737152 2384030 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 2543637 2384030 866 493 0 2536942 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 10174548 KiB
Current children cumulated memory: 9536120 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 4/197 2715
/proc/meminfo: memFree=18579140/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=11509860 memory=11203316 CPUtime=402.12 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 2258970 0 0 0 39889 323 0 0 20 0 1 0 411890785 11786096640 2800829 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 2877465 2800829 866 493 0 2870770 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 11509860 KiB
Current children cumulated memory: 11203316 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 4/196 2719
/proc/meminfo: memFree=16906308/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=14108284 memory=12875840 CPUtime=462.09 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 2594401 0 0 0 45831 378 0 0 20 0 1 0 411890785 14446882816 3218960 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3527071 3218960 866 493 0 3520376 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 14108284 KiB
Current children cumulated memory: 12875840 KiB
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/198 2734
/proc/meminfo: memFree=15232796/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15443200 memory=14544548 CPUtime=522.06 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 2928378 0 0 0 51765 441 0 0 20 0 1 0 411890785 15813836800 3636137 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3860800 3636137 866 493 0 3854105 0
Current children cumulated CPU time: 522.06 s
Current children cumulated vsize: 15443200 KiB
Current children cumulated memory: 14544548 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+541.7 s]
/proc/loadavg: 2.02 2.03 2.05 4/198 2735
/proc/meminfo: memFree=14704544/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15872992 memory=15080804 CPUtime=541.45 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) R 2680 2683 27829 0 -1 4202496 3035901 0 0 0 53683 462 0 0 20 0 1 0 411890785 16253943808 3770201 33554432000 4194304 6210612 140722525776272 140722525770168 140553521957861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3968248 3770201 866 493 0 3961553 0
Current children cumulated CPU time: 541.45 s
Current children cumulated vsize: 15872992 KiB
Current children cumulated memory: 15080804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+544.463 s]
# the end of solver process 2683 was just reported to runsolver
# cumulated CPU time of all completed processes: user=537.124 s, system=5.40631 s
Solver just ended.
Dumping a history of the last processes samples
[startup+542.4 s]
/proc/loadavg: 2.02 2.03 2.05 5/199 2736
/proc/meminfo: memFree=14516728/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15872992 memory=15080804 CPUtime=541.56 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) S 2680 2683 27829 0 -1 512 3035906 0 0 0 53693 463 0 0 20 0 1 0 411890785 16253943808 3770201 33554432000 4194304 6210612 140722525776272 140722525770168 5188952 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3968248 3770201 866 493 0 3961553 0
Current children cumulated CPU time: 541.56 s
Current children cumulated vsize: 15872992 KiB
Current children cumulated memory: 15080804 KiB
[startup+543.2 s]
/proc/loadavg: 2.02 2.03 2.05 4/199 2736
/proc/meminfo: memFree=13996036/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15872992 memory=15080804 CPUtime=541.69 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) S 2680 2683 27829 0 -1 512 3035906 0 0 0 53705 464 0 0 20 0 1 0 411890785 16253943808 3770201 33554432000 4194304 6210612 140722525776272 140722525770168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3968248 3770201 866 493 0 3961553 0
Current children cumulated CPU time: 541.69 s
Current children cumulated vsize: 15872992 KiB
Current children cumulated memory: 15080804 KiB
[startup+543.6 s]
/proc/loadavg: 2.02 2.03 2.05 4/199 2736
/proc/meminfo: memFree=13996036/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15872992 memory=15080804 CPUtime=541.74 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) S 2680 2683 27829 0 -1 512 3035906 0 0 0 53710 464 0 0 20 0 1 0 411890785 16253943808 3770201 33554432000 4194304 6210612 140722525776272 140722525770168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3968248 3770201 866 493 0 3961553 0
Current children cumulated CPU time: 541.74 s
Current children cumulated vsize: 15872992 KiB
Current children cumulated memory: 15080804 KiB
[startup+543.7 s]
/proc/loadavg: 2.02 2.03 2.05 4/199 2736
/proc/meminfo: memFree=13996036/32770624 swapFree=66932240/67108860
[pid=2683] ppid=2680 vsize=15872992 memory=15080804 CPUtime=541.76 cores=0,2,4,6
/proc/2683/stat : 2683 (cosoco) S 2680 2683 27829 0 -1 512 3035906 0 0 0 53712 464 0 0 20 0 1 0 411890785 16253943808 3770201 33554432000 4194304 6210612 140722525776272 140722525770168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 33083392 140722525778955 140722525779057 140722525779057 140722525781966 0
/proc/2683/statm: 3968248 3770201 866 493 0 3961553 0
Current children cumulated CPU time: 541.76 s
Current children cumulated vsize: 15872992 KiB
Current children cumulated memory: 15080804 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 544.463
CPU time (s): 542.531
CPU user time (s): 537.124
CPU system time (s): 5.40631
CPU usage (%): 99.6451
Max. virtual memory (cumulated for all children) (KiB): 15872992
Max. memory (cumulated for all children) (KiB): 15080804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 537.124
system time used= 5.40631
maximum resident set size= 15080976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3035906
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= 129207
involuntary context switches= 641
# summary of solver processes directly reported to runsolver:
# pid: 2683
# total CPU time (s): 542.531
# total CPU user time (s): 537.124
# total CPU system time (s): 5.40631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97941 second user time and 3.73957 second system time
The end