0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.10/0.17 c [STEP] solving
0.10/0.17 c #variables 2700 #constraints 43070
0.10/0.17 c SMALL=int, LARGE=long long
0.10/0.17 c bounds - >= 0 @ 0.141624
0.10/0.17 c stratification level: 4
4.28/4.32 c #Conflicts: 1000 | #Constraints: 44069
4.28/4.32 c #Conflicts: 2000 | #Constraints: 45069
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 3000 | #Constraints: 45091
4.28/4.32 c #Conflicts: 4000 | #Constraints: 46091
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 5000 | #Constraints: 45503
4.28/4.32 c #Conflicts: 6000 | #Constraints: 46503
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 7000 | #Constraints: 45516
4.28/4.32 c #Conflicts: 8000 | #Constraints: 46516
4.28/4.32 c #Conflicts: 9000 | #Constraints: 47516
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 10000 | #Constraints: 46226
4.28/4.32 c #Conflicts: 11000 | #Constraints: 47226
4.28/4.32 c #Conflicts: 12000 | #Constraints: 48226
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 13000 | #Constraints: 46673
4.28/4.32 c #Conflicts: 14000 | #Constraints: 47673
4.28/4.32 c #Conflicts: 15000 | #Constraints: 48673
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 16000 | #Constraints: 46915
4.28/4.32 c #Conflicts: 17000 | #Constraints: 47915
4.28/4.32 c #Conflicts: 18000 | #Constraints: 48915
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 19000 | #Constraints: 46950
4.28/4.32 c #Conflicts: 20000 | #Constraints: 47950
4.28/4.32 c #Conflicts: 21000 | #Constraints: 48950
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 22000 | #Constraints: 46747
4.28/4.32 c #Conflicts: 23000 | #Constraints: 47747
4.28/4.32 c #Conflicts: 24000 | #Constraints: 48747
4.28/4.32 c #Conflicts: 25000 | #Constraints: 49747
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 26000 | #Constraints: 47355
4.28/4.32 c #Conflicts: 27000 | #Constraints: 48355
4.28/4.32 c #Conflicts: 28000 | #Constraints: 49355
4.28/4.32 c #Conflicts: 29000 | #Constraints: 50355
4.28/4.32 c INPROCESSING
4.28/4.32 c #Conflicts: 30000 | #Constraints: 47752
4.28/4.32 c #Conflicts: 31000 | #Constraints: 48752
4.28/4.32 c #Conflicts: 32000 | #Constraints: 49752
4.28/4.32 c #Conflicts: 33000 | #Constraints: 50752
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 34000 | #Constraints: 47960
4.28/4.32 c #Conflicts: 35000 | #Constraints: 48960
4.28/4.32 c #Conflicts: 36000 | #Constraints: 49960
4.28/4.32 c #Conflicts: 37000 | #Constraints: 50960
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 38000 | #Constraints: 47980
4.28/4.32 c #Conflicts: 39000 | #Constraints: 48980
4.28/4.32 c #Conflicts: 40000 | #Constraints: 49980
4.28/4.32 c #Conflicts: 41000 | #Constraints: 50980
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 42000 | #Constraints: 47783
4.28/4.32 c #Conflicts: 43000 | #Constraints: 48783
4.28/4.32 c #Conflicts: 44000 | #Constraints: 49783
4.28/4.32 c #Conflicts: 45000 | #Constraints: 50783
4.28/4.32 c #Conflicts: 46000 | #Constraints: 51783
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 47000 | #Constraints: 48376
4.28/4.32 c #Conflicts: 48000 | #Constraints: 49376
4.28/4.32 c #Conflicts: 49000 | #Constraints: 50376
4.28/4.32 c #Conflicts: 50000 | #Constraints: 51376
4.28/4.32 c #Conflicts: 51000 | #Constraints: 52376
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 52000 | #Constraints: 48788
4.28/4.32 c #Conflicts: 53000 | #Constraints: 49788
4.28/4.32 c #Conflicts: 54000 | #Constraints: 50788
4.28/4.32 c #Conflicts: 55000 | #Constraints: 51788
4.28/4.32 c #Conflicts: 56000 | #Constraints: 52788
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 57000 | #Constraints: 48990
4.28/4.32 c #Conflicts: 58000 | #Constraints: 49990
4.28/4.32 c #Conflicts: 59000 | #Constraints: 50990
4.28/4.32 c #Conflicts: 60000 | #Constraints: 51990
4.28/4.32 c #Conflicts: 61000 | #Constraints: 52990
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 62000 | #Constraints: 48996
4.28/4.32 c #Conflicts: 63000 | #Constraints: 49996
4.28/4.32 c #Conflicts: 64000 | #Constraints: 50996
4.28/4.32 c #Conflicts: 65000 | #Constraints: 51996
4.28/4.32 c #Conflicts: 66000 | #Constraints: 52996
4.28/4.32 c INPROCESSING
4.28/4.32 c GARBAGE COLLECT
4.28/4.32 c #Conflicts: 67000 | #Constraints: 48807
4.28/4.32 c #Conflicts: 68000 | #Constraints: 49807
4.28/4.32 c #Conflicts: 69000 | #Constraints: 50807
4.28/4.32 c #Conflicts: 70000 | #Constraints: 51807
9.56/9.66 c #Conflicts: 71000 | #Constraints: 52807
9.56/9.66 c #Conflicts: 72000 | #Constraints: 53807
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 73000 | #Constraints: 49390
9.56/9.66 c #Conflicts: 74000 | #Constraints: 50390
9.56/9.66 c #Conflicts: 75000 | #Constraints: 51390
9.56/9.66 c #Conflicts: 76000 | #Constraints: 52390
9.56/9.66 c #Conflicts: 77000 | #Constraints: 53390
9.56/9.66 c #Conflicts: 78000 | #Constraints: 54390
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 79000 | #Constraints: 49790
9.56/9.66 c #Conflicts: 80000 | #Constraints: 50790
9.56/9.66 c #Conflicts: 81000 | #Constraints: 51790
9.56/9.66 c #Conflicts: 82000 | #Constraints: 52790
9.56/9.66 c #Conflicts: 83000 | #Constraints: 53790
9.56/9.66 c #Conflicts: 84000 | #Constraints: 54790
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 85000 | #Constraints: 50011
9.56/9.66 c #Conflicts: 86000 | #Constraints: 51011
9.56/9.66 c #Conflicts: 87000 | #Constraints: 52011
9.56/9.66 c #Conflicts: 88000 | #Constraints: 53011
9.56/9.66 c #Conflicts: 89000 | #Constraints: 54011
9.56/9.66 c #Conflicts: 90000 | #Constraints: 55011
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 91000 | #Constraints: 50017
9.56/9.66 c #Conflicts: 92000 | #Constraints: 51017
9.56/9.66 c #Conflicts: 93000 | #Constraints: 52017
9.56/9.66 c #Conflicts: 94000 | #Constraints: 53017
9.56/9.66 c #Conflicts: 95000 | #Constraints: 54017
9.56/9.66 c #Conflicts: 96000 | #Constraints: 55017
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 97000 | #Constraints: 49833
9.56/9.66 c #Conflicts: 98000 | #Constraints: 50833
9.56/9.66 c #Conflicts: 99000 | #Constraints: 51833
9.56/9.66 c #Conflicts: 100000 | #Constraints: 52833
9.56/9.66 c #Conflicts: 101000 | #Constraints: 53833
9.56/9.66 c #Conflicts: 102000 | #Constraints: 54833
9.56/9.66 c #Conflicts: 103000 | #Constraints: 55833
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 104000 | #Constraints: 50404
9.56/9.66 c #Conflicts: 105000 | #Constraints: 51404
9.56/9.66 c #Conflicts: 106000 | #Constraints: 52404
9.56/9.66 c #Conflicts: 107000 | #Constraints: 53404
9.56/9.66 c #Conflicts: 108000 | #Constraints: 54404
9.56/9.66 c #Conflicts: 109000 | #Constraints: 55404
9.56/9.66 c #Conflicts: 110000 | #Constraints: 56404
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 111000 | #Constraints: 50809
9.56/9.66 c #Conflicts: 112000 | #Constraints: 51809
9.56/9.66 c #Conflicts: 113000 | #Constraints: 52809
9.56/9.66 c #Conflicts: 114000 | #Constraints: 53809
9.56/9.66 c #Conflicts: 115000 | #Constraints: 54809
9.56/9.66 c #Conflicts: 116000 | #Constraints: 55809
9.56/9.66 c #Conflicts: 117000 | #Constraints: 56809
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 118000 | #Constraints: 51006
9.56/9.66 c #Conflicts: 119000 | #Constraints: 52006
9.56/9.66 c #Conflicts: 120000 | #Constraints: 53006
9.56/9.66 c #Conflicts: 121000 | #Constraints: 54006
9.56/9.66 c #Conflicts: 122000 | #Constraints: 55006
9.56/9.66 c #Conflicts: 123000 | #Constraints: 56006
9.56/9.66 c #Conflicts: 124000 | #Constraints: 57006
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 125000 | #Constraints: 51031
9.56/9.66 c #Conflicts: 126000 | #Constraints: 52031
9.56/9.66 c #Conflicts: 127000 | #Constraints: 53031
9.56/9.66 c #Conflicts: 128000 | #Constraints: 54031
9.56/9.66 c #Conflicts: 129000 | #Constraints: 55031
9.56/9.66 c #Conflicts: 130000 | #Constraints: 56031
9.56/9.66 c #Conflicts: 131000 | #Constraints: 57031
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 132000 | #Constraints: 50833
9.56/9.66 c #Conflicts: 133000 | #Constraints: 51833
9.56/9.66 c #Conflicts: 134000 | #Constraints: 52833
9.56/9.66 c #Conflicts: 135000 | #Constraints: 53833
9.56/9.66 c #Conflicts: 136000 | #Constraints: 54833
9.56/9.66 c #Conflicts: 137000 | #Constraints: 55833
9.56/9.66 c #Conflicts: 138000 | #Constraints: 56833
9.56/9.66 c #Conflicts: 139000 | #Constraints: 57833
9.56/9.66 c INPROCESSING
9.56/9.66 c GARBAGE COLLECT
9.56/9.66 c #Conflicts: 140000 | #Constraints: 51443
9.56/9.66 c #Conflicts: 141000 | #Constraints: 52443
9.56/9.66 c #Conflicts: 142000 | #Constraints: 53443
16.14/16.26 c #Conflicts: 143000 | #Constraints: 54443
16.14/16.26 c #Conflicts: 144000 | #Constraints: 55443
16.14/16.26 c #Conflicts: 145000 | #Constraints: 56443
16.14/16.26 c #Conflicts: 146000 | #Constraints: 57443
16.14/16.26 c #Conflicts: 147000 | #Constraints: 58443
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 148000 | #Constraints: 51843
16.14/16.26 c #Conflicts: 149000 | #Constraints: 52843
16.14/16.26 c #Conflicts: 150000 | #Constraints: 53843
16.14/16.26 c #Conflicts: 151000 | #Constraints: 54843
16.14/16.26 c #Conflicts: 152000 | #Constraints: 55843
16.14/16.26 c #Conflicts: 153000 | #Constraints: 56843
16.14/16.26 c #Conflicts: 154000 | #Constraints: 57843
16.14/16.26 c #Conflicts: 155000 | #Constraints: 58843
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 156000 | #Constraints: 52045
16.14/16.26 c #Conflicts: 157000 | #Constraints: 53045
16.14/16.26 c #Conflicts: 158000 | #Constraints: 54045
16.14/16.26 c #Conflicts: 159000 | #Constraints: 55045
16.14/16.26 c #Conflicts: 160000 | #Constraints: 56045
16.14/16.26 c #Conflicts: 161000 | #Constraints: 57045
16.14/16.26 c #Conflicts: 162000 | #Constraints: 58045
16.14/16.26 c #Conflicts: 163000 | #Constraints: 59045
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 164000 | #Constraints: 52052
16.14/16.26 c #Conflicts: 165000 | #Constraints: 53052
16.14/16.26 c #Conflicts: 166000 | #Constraints: 54052
16.14/16.26 c #Conflicts: 167000 | #Constraints: 55052
16.14/16.26 c #Conflicts: 168000 | #Constraints: 56052
16.14/16.26 c #Conflicts: 169000 | #Constraints: 57052
16.14/16.26 c #Conflicts: 170000 | #Constraints: 58052
16.14/16.26 c #Conflicts: 171000 | #Constraints: 59052
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 172000 | #Constraints: 51854
16.14/16.26 c #Conflicts: 173000 | #Constraints: 52854
16.14/16.26 c #Conflicts: 174000 | #Constraints: 53854
16.14/16.26 c #Conflicts: 175000 | #Constraints: 54854
16.14/16.26 c #Conflicts: 176000 | #Constraints: 55854
16.14/16.26 c #Conflicts: 177000 | #Constraints: 56854
16.14/16.26 c #Conflicts: 178000 | #Constraints: 57854
16.14/16.26 c #Conflicts: 179000 | #Constraints: 58854
16.14/16.26 c #Conflicts: 180000 | #Constraints: 59854
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 181000 | #Constraints: 52451
16.14/16.26 c #Conflicts: 182000 | #Constraints: 53451
16.14/16.26 c #Conflicts: 183000 | #Constraints: 54451
16.14/16.26 c #Conflicts: 184000 | #Constraints: 55451
16.14/16.26 c #Conflicts: 185000 | #Constraints: 56451
16.14/16.26 c #Conflicts: 186000 | #Constraints: 57451
16.14/16.26 c #Conflicts: 187000 | #Constraints: 58451
16.14/16.26 c #Conflicts: 188000 | #Constraints: 59451
16.14/16.26 c #Conflicts: 189000 | #Constraints: 60451
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 190000 | #Constraints: 52859
16.14/16.26 c #Conflicts: 191000 | #Constraints: 53859
16.14/16.26 c #Conflicts: 192000 | #Constraints: 54859
16.14/16.26 c #Conflicts: 193000 | #Constraints: 55859
16.14/16.26 c #Conflicts: 194000 | #Constraints: 56859
16.14/16.26 c #Conflicts: 195000 | #Constraints: 57859
16.14/16.26 c #Conflicts: 196000 | #Constraints: 58859
16.14/16.26 c #Conflicts: 197000 | #Constraints: 59859
16.14/16.26 c #Conflicts: 198000 | #Constraints: 60859
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 199000 | #Constraints: 53077
16.14/16.26 c #Conflicts: 200000 | #Constraints: 54077
16.14/16.26 c #Conflicts: 201000 | #Constraints: 55077
16.14/16.26 c #Conflicts: 202000 | #Constraints: 56077
16.14/16.26 c #Conflicts: 203000 | #Constraints: 57077
16.14/16.26 c #Conflicts: 204000 | #Constraints: 58077
16.14/16.26 c #Conflicts: 205000 | #Constraints: 59077
16.14/16.26 c #Conflicts: 206000 | #Constraints: 60077
16.14/16.26 c #Conflicts: 207000 | #Constraints: 61077
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c #Conflicts: 208000 | #Constraints: 53109
16.14/16.26 c #Conflicts: 209000 | #Constraints: 54109
16.14/16.26 c #Conflicts: 210000 | #Constraints: 55109
16.14/16.26 c #Conflicts: 211000 | #Constraints: 56109
16.14/16.26 c #Conflicts: 212000 | #Constraints: 57109
16.14/16.26 c #Conflicts: 213000 | #Constraints: 58109
16.14/16.26 c #Conflicts: 214000 | #Constraints: 59109
16.14/16.26 c #Conflicts: 215000 | #Constraints: 60109
23.92/24.06 c #Conflicts: 216000 | #Constraints: 61109
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 217000 | #Constraints: 52906
23.92/24.06 c #Conflicts: 218000 | #Constraints: 53906
23.92/24.06 c #Conflicts: 219000 | #Constraints: 54906
23.92/24.06 c #Conflicts: 220000 | #Constraints: 55906
23.92/24.06 c #Conflicts: 221000 | #Constraints: 56906
23.92/24.06 c #Conflicts: 222000 | #Constraints: 57906
23.92/24.06 c #Conflicts: 223000 | #Constraints: 58906
23.92/24.06 c #Conflicts: 224000 | #Constraints: 59906
23.92/24.06 c #Conflicts: 225000 | #Constraints: 60906
23.92/24.06 c #Conflicts: 226000 | #Constraints: 61906
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 227000 | #Constraints: 53482
23.92/24.06 c #Conflicts: 228000 | #Constraints: 54482
23.92/24.06 c #Conflicts: 229000 | #Constraints: 55482
23.92/24.06 c #Conflicts: 230000 | #Constraints: 56482
23.92/24.06 c #Conflicts: 231000 | #Constraints: 57482
23.92/24.06 c #Conflicts: 232000 | #Constraints: 58482
23.92/24.06 c #Conflicts: 233000 | #Constraints: 59482
23.92/24.06 c #Conflicts: 234000 | #Constraints: 60482
23.92/24.06 c #Conflicts: 235000 | #Constraints: 61482
23.92/24.06 c #Conflicts: 236000 | #Constraints: 62482
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 237000 | #Constraints: 53880
23.92/24.06 c #Conflicts: 238000 | #Constraints: 54880
23.92/24.06 c #Conflicts: 239000 | #Constraints: 55880
23.92/24.06 c #Conflicts: 240000 | #Constraints: 56880
23.92/24.06 c #Conflicts: 241000 | #Constraints: 57880
23.92/24.06 c #Conflicts: 242000 | #Constraints: 58880
23.92/24.06 c #Conflicts: 243000 | #Constraints: 59880
23.92/24.06 c #Conflicts: 244000 | #Constraints: 60880
23.92/24.06 c #Conflicts: 245000 | #Constraints: 61880
23.92/24.06 c #Conflicts: 246000 | #Constraints: 62880
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 247000 | #Constraints: 54081
23.92/24.06 c #Conflicts: 248000 | #Constraints: 55081
23.92/24.06 c #Conflicts: 249000 | #Constraints: 56081
23.92/24.06 c #Conflicts: 250000 | #Constraints: 57081
23.92/24.06 c #Conflicts: 251000 | #Constraints: 58081
23.92/24.06 c #Conflicts: 252000 | #Constraints: 59081
23.92/24.06 c #Conflicts: 253000 | #Constraints: 60081
23.92/24.06 c #Conflicts: 254000 | #Constraints: 61081
23.92/24.06 c #Conflicts: 255000 | #Constraints: 62081
23.92/24.06 c #Conflicts: 256000 | #Constraints: 63081
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 257000 | #Constraints: 54091
23.92/24.06 c #Conflicts: 258000 | #Constraints: 55091
23.92/24.06 c #Conflicts: 259000 | #Constraints: 56091
23.92/24.06 c #Conflicts: 260000 | #Constraints: 57091
23.92/24.06 c #Conflicts: 261000 | #Constraints: 58091
23.92/24.06 c #Conflicts: 262000 | #Constraints: 59091
23.92/24.06 c #Conflicts: 263000 | #Constraints: 60091
23.92/24.06 c #Conflicts: 264000 | #Constraints: 61091
23.92/24.06 c #Conflicts: 265000 | #Constraints: 62091
23.92/24.06 c #Conflicts: 266000 | #Constraints: 63091
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 267000 | #Constraints: 53898
23.92/24.06 c #Conflicts: 268000 | #Constraints: 54898
23.92/24.06 c #Conflicts: 269000 | #Constraints: 55898
23.92/24.06 c #Conflicts: 270000 | #Constraints: 56898
23.92/24.06 c #Conflicts: 271000 | #Constraints: 57898
23.92/24.06 c #Conflicts: 272000 | #Constraints: 58898
23.92/24.06 c #Conflicts: 273000 | #Constraints: 59898
23.92/24.06 c #Conflicts: 274000 | #Constraints: 60898
23.92/24.06 c #Conflicts: 275000 | #Constraints: 61898
23.92/24.06 c #Conflicts: 276000 | #Constraints: 62898
23.92/24.06 c #Conflicts: 277000 | #Constraints: 63898
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 278000 | #Constraints: 54499
23.92/24.06 c #Conflicts: 279000 | #Constraints: 55499
23.92/24.06 c #Conflicts: 280000 | #Constraints: 56499
23.92/24.06 c #Conflicts: 281000 | #Constraints: 57499
23.92/24.06 c #Conflicts: 282000 | #Constraints: 58499
23.92/24.06 c #Conflicts: 283000 | #Constraints: 59499
23.92/24.06 c #Conflicts: 284000 | #Constraints: 60499
23.92/24.06 c #Conflicts: 285000 | #Constraints: 61499
23.92/24.06 c #Conflicts: 286000 | #Constraints: 62499
23.92/24.06 c #Conflicts: 287000 | #Constraints: 63499
23.92/24.06 c #Conflicts: 288000 | #Constraints: 64499
23.92/24.06 c INPROCESSING
23.92/24.06 c GARBAGE COLLECT
23.92/24.06 c #Conflicts: 289000 | #Constraints: 54925
33.89/34.01 c #Conflicts: 290000 | #Constraints: 55925
33.89/34.01 c #Conflicts: 291000 | #Constraints: 56925
33.89/34.01 c #Conflicts: 292000 | #Constraints: 57925
33.89/34.01 c #Conflicts: 293000 | #Constraints: 58925
33.89/34.01 c #Conflicts: 294000 | #Constraints: 59925
33.89/34.01 c #Conflicts: 295000 | #Constraints: 60925
33.89/34.01 c #Conflicts: 296000 | #Constraints: 61925
33.89/34.01 c #Conflicts: 297000 | #Constraints: 62925
33.89/34.01 c #Conflicts: 298000 | #Constraints: 63925
33.89/34.01 c #Conflicts: 299000 | #Constraints: 64925
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 300000 | #Constraints: 55118
33.89/34.01 c #Conflicts: 301000 | #Constraints: 56118
33.89/34.01 c #Conflicts: 302000 | #Constraints: 57118
33.89/34.01 c #Conflicts: 303000 | #Constraints: 58118
33.89/34.01 c #Conflicts: 304000 | #Constraints: 59118
33.89/34.01 c #Conflicts: 305000 | #Constraints: 60118
33.89/34.01 c #Conflicts: 306000 | #Constraints: 61118
33.89/34.01 c #Conflicts: 307000 | #Constraints: 62118
33.89/34.01 c #Conflicts: 308000 | #Constraints: 63118
33.89/34.01 c #Conflicts: 309000 | #Constraints: 64118
33.89/34.01 c #Conflicts: 310000 | #Constraints: 65118
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 311000 | #Constraints: 55109
33.89/34.01 c #Conflicts: 312000 | #Constraints: 56109
33.89/34.01 c #Conflicts: 313000 | #Constraints: 57109
33.89/34.01 c #Conflicts: 314000 | #Constraints: 58109
33.89/34.01 c #Conflicts: 315000 | #Constraints: 59109
33.89/34.01 c #Conflicts: 316000 | #Constraints: 60109
33.89/34.01 c #Conflicts: 317000 | #Constraints: 61109
33.89/34.01 c #Conflicts: 318000 | #Constraints: 62109
33.89/34.01 c #Conflicts: 319000 | #Constraints: 63109
33.89/34.01 c #Conflicts: 320000 | #Constraints: 64109
33.89/34.01 c #Conflicts: 321000 | #Constraints: 65109
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 322000 | #Constraints: 54932
33.89/34.01 c #Conflicts: 323000 | #Constraints: 55932
33.89/34.01 c #Conflicts: 324000 | #Constraints: 56932
33.89/34.01 c #Conflicts: 325000 | #Constraints: 57932
33.89/34.01 c #Conflicts: 326000 | #Constraints: 58932
33.89/34.01 c #Conflicts: 327000 | #Constraints: 59932
33.89/34.01 c #Conflicts: 328000 | #Constraints: 60932
33.89/34.01 c #Conflicts: 329000 | #Constraints: 61932
33.89/34.01 c #Conflicts: 330000 | #Constraints: 62932
33.89/34.01 c #Conflicts: 331000 | #Constraints: 63932
33.89/34.01 c #Conflicts: 332000 | #Constraints: 64932
33.89/34.01 c #Conflicts: 333000 | #Constraints: 65932
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 334000 | #Constraints: 55538
33.89/34.01 c #Conflicts: 335000 | #Constraints: 56538
33.89/34.01 c #Conflicts: 336000 | #Constraints: 57538
33.89/34.01 c #Conflicts: 337000 | #Constraints: 58538
33.89/34.01 c #Conflicts: 338000 | #Constraints: 59538
33.89/34.01 c #Conflicts: 339000 | #Constraints: 60538
33.89/34.01 c #Conflicts: 340000 | #Constraints: 61538
33.89/34.01 c #Conflicts: 341000 | #Constraints: 62538
33.89/34.01 c #Conflicts: 342000 | #Constraints: 63538
33.89/34.01 c #Conflicts: 343000 | #Constraints: 64538
33.89/34.01 c #Conflicts: 344000 | #Constraints: 65538
33.89/34.01 c #Conflicts: 345000 | #Constraints: 66538
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 346000 | #Constraints: 55964
33.89/34.01 c #Conflicts: 347000 | #Constraints: 56964
33.89/34.01 c #Conflicts: 348000 | #Constraints: 57964
33.89/34.01 c #Conflicts: 349000 | #Constraints: 58964
33.89/34.01 c #Conflicts: 350000 | #Constraints: 59964
33.89/34.01 c #Conflicts: 351000 | #Constraints: 60964
33.89/34.01 c #Conflicts: 352000 | #Constraints: 61964
33.89/34.01 c #Conflicts: 353000 | #Constraints: 62964
33.89/34.01 c #Conflicts: 354000 | #Constraints: 63964
33.89/34.01 c #Conflicts: 355000 | #Constraints: 64964
33.89/34.01 c #Conflicts: 356000 | #Constraints: 65964
33.89/34.01 c #Conflicts: 357000 | #Constraints: 66964
33.89/34.01 c INPROCESSING
33.89/34.01 c GARBAGE COLLECT
33.89/34.01 c #Conflicts: 358000 | #Constraints: 56131
33.89/34.01 c #Conflicts: 359000 | #Constraints: 57131
33.89/34.01 c #Conflicts: 360000 | #Constraints: 58131
33.89/34.01 c #Conflicts: 361000 | #Constraints: 59131
33.89/34.01 c #Conflicts: 362000 | #Constraints: 60131
33.89/34.01 c #Conflicts: 363000 | #Constraints: 61131
33.89/34.01 c #Conflicts: 364000 | #Constraints: 62131
45.44/45.64 c #Conflicts: 365000 | #Constraints: 63131
45.44/45.64 c #Conflicts: 366000 | #Constraints: 64131
45.44/45.64 c #Conflicts: 367000 | #Constraints: 65131
45.44/45.64 c #Conflicts: 368000 | #Constraints: 66131
45.44/45.64 c #Conflicts: 369000 | #Constraints: 67131
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 370000 | #Constraints: 56125
45.44/45.64 c #Conflicts: 371000 | #Constraints: 57125
45.44/45.64 c #Conflicts: 372000 | #Constraints: 58125
45.44/45.64 c #Conflicts: 373000 | #Constraints: 59125
45.44/45.64 c #Conflicts: 374000 | #Constraints: 60125
45.44/45.64 c #Conflicts: 375000 | #Constraints: 61125
45.44/45.64 c #Conflicts: 376000 | #Constraints: 62125
45.44/45.64 c #Conflicts: 377000 | #Constraints: 63125
45.44/45.64 c #Conflicts: 378000 | #Constraints: 64125
45.44/45.64 c #Conflicts: 379000 | #Constraints: 65125
45.44/45.64 c #Conflicts: 380000 | #Constraints: 66125
45.44/45.64 c #Conflicts: 381000 | #Constraints: 67125
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 382000 | #Constraints: 55922
45.44/45.64 c #Conflicts: 383000 | #Constraints: 56922
45.44/45.64 c #Conflicts: 384000 | #Constraints: 57922
45.44/45.64 c #Conflicts: 385000 | #Constraints: 58922
45.44/45.64 c #Conflicts: 386000 | #Constraints: 59922
45.44/45.64 c #Conflicts: 387000 | #Constraints: 60922
45.44/45.64 c #Conflicts: 388000 | #Constraints: 61922
45.44/45.64 c #Conflicts: 389000 | #Constraints: 62922
45.44/45.64 c #Conflicts: 390000 | #Constraints: 63922
45.44/45.64 c #Conflicts: 391000 | #Constraints: 64922
45.44/45.64 c #Conflicts: 392000 | #Constraints: 65922
45.44/45.64 c #Conflicts: 393000 | #Constraints: 66922
45.44/45.64 c #Conflicts: 394000 | #Constraints: 67922
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 395000 | #Constraints: 56538
45.44/45.64 c #Conflicts: 396000 | #Constraints: 57538
45.44/45.64 c #Conflicts: 397000 | #Constraints: 58538
45.44/45.64 c #Conflicts: 398000 | #Constraints: 59538
45.44/45.64 c #Conflicts: 399000 | #Constraints: 60538
45.44/45.64 c #Conflicts: 400000 | #Constraints: 61538
45.44/45.64 c #Conflicts: 401000 | #Constraints: 62538
45.44/45.64 c #Conflicts: 402000 | #Constraints: 63538
45.44/45.64 c #Conflicts: 403000 | #Constraints: 64538
45.44/45.64 c #Conflicts: 404000 | #Constraints: 65538
45.44/45.64 c #Conflicts: 405000 | #Constraints: 66538
45.44/45.64 c #Conflicts: 406000 | #Constraints: 67538
45.44/45.64 c #Conflicts: 407000 | #Constraints: 68538
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 408000 | #Constraints: 56933
45.44/45.64 c #Conflicts: 409000 | #Constraints: 57933
45.44/45.64 c #Conflicts: 410000 | #Constraints: 58933
45.44/45.64 c #Conflicts: 411000 | #Constraints: 59933
45.44/45.64 c #Conflicts: 412000 | #Constraints: 60933
45.44/45.64 c #Conflicts: 413000 | #Constraints: 61933
45.44/45.64 c #Conflicts: 414000 | #Constraints: 62933
45.44/45.64 c #Conflicts: 415000 | #Constraints: 63933
45.44/45.64 c #Conflicts: 416000 | #Constraints: 64933
45.44/45.64 c #Conflicts: 417000 | #Constraints: 65933
45.44/45.64 c #Conflicts: 418000 | #Constraints: 66933
45.44/45.64 c #Conflicts: 419000 | #Constraints: 67933
45.44/45.64 c #Conflicts: 420000 | #Constraints: 68933
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 421000 | #Constraints: 57143
45.44/45.64 c #Conflicts: 422000 | #Constraints: 58143
45.44/45.64 c #Conflicts: 423000 | #Constraints: 59143
45.44/45.64 c #Conflicts: 424000 | #Constraints: 60143
45.44/45.64 c #Conflicts: 425000 | #Constraints: 61143
45.44/45.64 c #Conflicts: 426000 | #Constraints: 62143
45.44/45.64 c #Conflicts: 427000 | #Constraints: 63143
45.44/45.64 c #Conflicts: 428000 | #Constraints: 64143
45.44/45.64 c #Conflicts: 429000 | #Constraints: 65143
45.44/45.64 c #Conflicts: 430000 | #Constraints: 66143
45.44/45.64 c #Conflicts: 431000 | #Constraints: 67143
45.44/45.64 c #Conflicts: 432000 | #Constraints: 68143
45.44/45.64 c #Conflicts: 433000 | #Constraints: 69143
45.44/45.64 c INPROCESSING
45.44/45.64 c GARBAGE COLLECT
45.44/45.64 c #Conflicts: 434000 | #Constraints: 57138
45.44/45.64 c #Conflicts: 435000 | #Constraints: 58138
45.44/45.64 c #Conflicts: 436000 | #Constraints: 59138
45.44/45.64 c #Conflicts: 437000 | #Constraints: 60138
45.44/45.64 c #Conflicts: 438000 | #Constraints: 61138
45.44/45.64 c #Conflicts: 439000 | #Constraints: 62138
57.90/58.18 c #Conflicts: 440000 | #Constraints: 63138
57.90/58.18 c #Conflicts: 441000 | #Constraints: 64138
57.90/58.18 c #Conflicts: 442000 | #Constraints: 65138
57.90/58.18 c #Conflicts: 443000 | #Constraints: 66138
57.90/58.18 c #Conflicts: 444000 | #Constraints: 67138
57.90/58.18 c #Conflicts: 445000 | #Constraints: 68138
57.90/58.18 c #Conflicts: 446000 | #Constraints: 69138
57.90/58.18 c INPROCESSING
57.90/58.18 c GARBAGE COLLECT
57.90/58.18 c #Conflicts: 447000 | #Constraints: 56957
57.90/58.18 c #Conflicts: 448000 | #Constraints: 57957
57.90/58.18 c #Conflicts: 449000 | #Constraints: 58957
57.90/58.18 c #Conflicts: 450000 | #Constraints: 59957
57.90/58.18 c #Conflicts: 451000 | #Constraints: 60957
57.90/58.18 c #Conflicts: 452000 | #Constraints: 61957
57.90/58.18 c #Conflicts: 453000 | #Constraints: 62957
57.90/58.18 c #Conflicts: 454000 | #Constraints: 63957
57.90/58.18 c #Conflicts: 455000 | #Constraints: 64957
57.90/58.18 c #Conflicts: 456000 | #Constraints: 65957
57.90/58.18 c #Conflicts: 457000 | #Constraints: 66957
57.90/58.18 c #Conflicts: 458000 | #Constraints: 67957
57.90/58.18 c #Conflicts: 459000 | #Constraints: 68957
57.90/58.18 c #Conflicts: 460000 | #Constraints: 69957
57.90/58.18 c INPROCESSING
57.90/58.18 c GARBAGE COLLECT
57.90/58.18 c #Conflicts: 461000 | #Constraints: 57567
57.90/58.18 c #Conflicts: 462000 | #Constraints: 58567
57.90/58.18 c #Conflicts: 463000 | #Constraints: 59567
57.90/58.18 c #Conflicts: 464000 | #Constraints: 60567
57.90/58.18 c #Conflicts: 465000 | #Constraints: 61567
57.90/58.18 c #Conflicts: 466000 | #Constraints: 62567
57.90/58.18 c #Conflicts: 467000 | #Constraints: 63567
57.90/58.18 c #Conflicts: 468000 | #Constraints: 64567
57.90/58.18 c #Conflicts: 469000 | #Constraints: 65567
57.90/58.18 c #Conflicts: 470000 | #Constraints: 66567
57.90/58.18 c #Conflicts: 471000 | #Constraints: 67567
57.90/58.18 c #Conflicts: 472000 | #Constraints: 68567
57.90/58.18 c #Conflicts: 473000 | #Constraints: 69567
57.90/58.18 c #Conflicts: 474000 | #Constraints: 70567
57.90/58.18 c INPROCESSING
57.90/58.18 c GARBAGE COLLECT
57.90/58.18 c #Conflicts: 475000 | #Constraints: 57959
57.90/58.18 c #Conflicts: 476000 | #Constraints: 58959
57.90/58.18 c #Conflicts: 477000 | #Constraints: 59959
57.90/58.18 c #Conflicts: 478000 | #Constraints: 60959
57.90/58.18 c #Conflicts: 479000 | #Constraints: 61959
57.90/58.18 c #Conflicts: 480000 | #Constraints: 62959
57.90/58.18 c #Conflicts: 481000 | #Constraints: 63959
57.90/58.18 c #Conflicts: 482000 | #Constraints: 64959
57.90/58.18 c #Conflicts: 483000 | #Constraints: 65959
57.90/58.18 c #Conflicts: 484000 | #Constraints: 66959
57.90/58.18 c #Conflicts: 485000 | #Constraints: 67959
57.90/58.18 c #Conflicts: 486000 | #Constraints: 68959
57.90/58.18 c #Conflicts: 487000 | #Constraints: 69959
57.90/58.18 c #Conflicts: 488000 | #Constraints: 70959
57.90/58.18 c INPROCESSING
57.90/58.18 c GARBAGE COLLECT
57.90/58.18 c #Conflicts: 489000 | #Constraints: 58178
57.90/58.18 c #Conflicts: 490000 | #Constraints: 59178
57.90/58.18 c #Conflicts: 491000 | #Constraints: 60178
57.90/58.18 c #Conflicts: 492000 | #Constraints: 61178
57.90/58.18 c #Conflicts: 493000 | #Constraints: 62178
57.90/58.18 c #Conflicts: 494000 | #Constraints: 63178
57.90/58.18 c #Conflicts: 495000 | #Constraints: 64178
57.90/58.18 c #Conflicts: 496000 | #Constraints: 65178
57.90/58.18 c #Conflicts: 497000 | #Constraints: 66178
57.90/58.18 c #Conflicts: 498000 | #Constraints: 67178
57.90/58.18 c bounds - >= 4 @ 56.1334
57.90/58.18 c finalizing WCE round: reformulating cores
90.98/91.34 c #Conflicts: 499000 | #Constraints: 68182
90.98/91.34 c bounds 354 >= 4 @ 56.2792
90.98/91.34 c #Conflicts: 500000 | #Constraints: 69182
90.98/91.34 c #Conflicts: 501000 | #Constraints: 70182
90.98/91.34 c #Conflicts: 502000 | #Constraints: 71182
90.98/91.34 c INPROCESSING
90.98/91.34 c GARBAGE COLLECT
90.98/91.34 c #Conflicts: 503000 | #Constraints: 58154
90.98/91.34 c #Conflicts: 504000 | #Constraints: 59154
90.98/91.34 c #Conflicts: 505000 | #Constraints: 60154
90.98/91.34 c #Conflicts: 506000 | #Constraints: 61154
90.98/91.34 c #Conflicts: 507000 | #Constraints: 62154
90.98/91.34 c #Conflicts: 508000 | #Constraints: 63154
90.98/91.34 c #Conflicts: 509000 | #Constraints: 64154
90.98/91.34 c #Conflicts: 510000 | #Constraints: 65154
90.98/91.34 c #Conflicts: 511000 | #Constraints: 66154
90.98/91.34 c #Conflicts: 512000 | #Constraints: 67154
90.98/91.34 c #Conflicts: 513000 | #Constraints: 68154
90.98/91.34 c #Conflicts: 514000 | #Constraints: 69154
90.98/91.34 c #Conflicts: 515000 | #Constraints: 70154
90.98/91.34 c #Conflicts: 516000 | #Constraints: 71154
90.98/91.34 c INPROCESSING
90.98/91.34 c GARBAGE COLLECT
90.98/91.34 c #Conflicts: 517000 | #Constraints: 57947
90.98/91.34 c #Conflicts: 518000 | #Constraints: 58947
90.98/91.34 c #Conflicts: 519000 | #Constraints: 59947
90.98/91.34 c #Conflicts: 520000 | #Constraints: 60947
90.98/91.34 c #Conflicts: 521000 | #Constraints: 61947
90.98/91.34 c #Conflicts: 522000 | #Constraints: 62947
90.98/91.34 c #Conflicts: 523000 | #Constraints: 63947
90.98/91.34 c #Conflicts: 524000 | #Constraints: 64947
90.98/91.34 c #Conflicts: 525000 | #Constraints: 65947
90.98/91.34 c #Conflicts: 526000 | #Constraints: 66947
90.98/91.34 c #Conflicts: 527000 | #Constraints: 67947
90.98/91.34 c #Conflicts: 528000 | #Constraints: 68947
90.98/91.34 c #Conflicts: 529000 | #Constraints: 69947
90.98/91.34 c #Conflicts: 530000 | #Constraints: 70947
90.98/91.34 c #Conflicts: 531000 | #Constraints: 71947
90.98/91.34 c INPROCESSING
90.98/91.34 c GARBAGE COLLECT
90.98/91.34 c #Conflicts: 532000 | #Constraints: 58521
90.98/91.34 c #Conflicts: 533000 | #Constraints: 59521
90.98/91.34 c #Conflicts: 534000 | #Constraints: 60521
90.98/91.34 c #Conflicts: 535000 | #Constraints: 61521
90.98/91.34 c #Conflicts: 536000 | #Constraints: 62521
90.98/91.34 c #Conflicts: 537000 | #Constraints: 63521
90.98/91.34 c #Conflicts: 538000 | #Constraints: 64521
90.98/91.34 c #Conflicts: 539000 | #Constraints: 65521
90.98/91.34 c #Conflicts: 540000 | #Constraints: 66521
90.98/91.34 c #Conflicts: 541000 | #Constraints: 67521
90.98/91.34 c #Conflicts: 542000 | #Constraints: 68521
90.98/91.34 c #Conflicts: 543000 | #Constraints: 69521
90.98/91.34 c #Conflicts: 544000 | #Constraints: 70521
90.98/91.34 c #Conflicts: 545000 | #Constraints: 71521
90.98/91.34 c #Conflicts: 546000 | #Constraints: 72521
90.98/91.34 c INPROCESSING
90.98/91.34 c GARBAGE COLLECT
90.98/91.34 c #Conflicts: 547000 | #Constraints: 58944
90.98/91.34 c #Conflicts: 548000 | #Constraints: 59944
90.98/91.34 c #Conflicts: 549000 | #Constraints: 60944
90.98/91.34 c #Conflicts: 550000 | #Constraints: 61944
90.98/91.34 c #Conflicts: 551000 | #Constraints: 62944
90.98/91.34 c #Conflicts: 552000 | #Constraints: 63944
90.98/91.34 c #Conflicts: 553000 | #Constraints: 64944
90.98/91.34 c #Conflicts: 554000 | #Constraints: 65944
90.98/91.34 c #Conflicts: 555000 | #Constraints: 66944
90.98/91.34 c #Conflicts: 556000 | #Constraints: 67944
90.98/91.34 c #Conflicts: 557000 | #Constraints: 68944
90.98/91.34 c #Conflicts: 558000 | #Constraints: 69944
90.98/91.34 c #Conflicts: 559000 | #Constraints: 70944
90.98/91.34 c #Conflicts: 560000 | #Constraints: 71944
90.98/91.34 c #Conflicts: 561000 | #Constraints: 72944
90.98/91.34 c INPROCESSING
90.98/91.34 c GARBAGE COLLECT
90.98/91.34 c #Conflicts: 562000 | #Constraints: 59180
90.98/91.34 c #Conflicts: 563000 | #Constraints: 60180
90.98/91.34 c #Conflicts: 564000 | #Constraints: 61180
90.98/91.34 c #Conflicts: 565000 | #Constraints: 62180
90.98/91.34 c #Conflicts: 566000 | #Constraints: 63180
90.98/91.34 c #Conflicts: 567000 | #Constraints: 64180
90.98/91.34 c #Conflicts: 568000 | #Constraints: 65180
90.98/91.34 c #Conflicts: 569000 | #Constraints: 66180
90.98/91.34 c #Conflicts: 570000 | #Constraints: 67180
90.98/91.34 c #Conflicts: 571000 | #Constraints: 68180
90.98/91.34 c #Conflicts: 572000 | #Constraints: 69180
90.98/91.34 c #Conflicts: 573000 | #Constraints: 70180
90.98/91.34 c #Conflicts: 574000 | #Constraints: 71180
844.59/847.31 c #Conflicts: 575000 | #Constraints: 72180
844.59/847.31 c #Conflicts: 576000 | #Constraints: 73180
844.59/847.31 c INPROCESSING
844.59/847.31 c GARBAGE COLLECT
844.59/847.31 c #Conflicts: 577000 | #Constraints: 59184
844.59/847.31 c #Conflicts: 578000 | #Constraints: 60184
844.59/847.31 c #Conflicts: 579000 | #Constraints: 61184
844.59/847.31 c #Conflicts: 580000 | #Constraints: 62184
844.59/847.31 c #Conflicts: 581000 | #Constraints: 63184
844.59/847.31 c #Conflicts: 582000 | #Constraints: 64184
844.59/847.31 c #Conflicts: 583000 | #Constraints: 65184
844.59/847.31 c #Conflicts: 584000 | #Constraints: 66184
844.59/847.31 c #Conflicts: 585000 | #Constraints: 67184
844.59/847.31 c #Conflicts: 586000 | #Constraints: 68184
844.59/847.31 c #Conflicts: 587000 | #Constraints: 69184
844.59/847.31 c #Conflicts: 588000 | #Constraints: 70184
844.59/847.31 c #Conflicts: 589000 | #Constraints: 71184
844.59/847.31 c #Conflicts: 590000 | #Constraints: 72184
844.59/847.31 c #Conflicts: 591000 | #Constraints: 73184
844.59/847.31 c INPROCESSING
844.59/847.31 c GARBAGE COLLECT
844.59/847.31 c #Conflicts: 592000 | #Constraints: 59002
844.59/847.31 c #Conflicts: 593000 | #Constraints: 60002
844.59/847.31 c #Conflicts: 594000 | #Constraints: 61002
844.59/847.31 c #Conflicts: 595000 | #Constraints: 62002
844.59/847.31 c #Conflicts: 596000 | #Constraints: 63002
844.59/847.31 c #Conflicts: 597000 | #Constraints: 64002
844.59/847.31 c #Conflicts: 598000 | #Constraints: 65002
844.59/847.31 c #Conflicts: 599000 | #Constraints: 66002
844.59/847.31 c #Conflicts: 600000 | #Constraints: 67002
844.59/847.31 c #Conflicts: 601000 | #Constraints: 68002
844.59/847.31 c #Conflicts: 602000 | #Constraints: 69002
844.59/847.31 c #Conflicts: 603000 | #Constraints: 70002
844.59/847.31 c #Conflicts: 604000 | #Constraints: 71002
844.59/847.31 c #Conflicts: 605000 | #Constraints: 72002
844.59/847.31 c #Conflicts: 606000 | #Constraints: 73002
844.59/847.31 c #Conflicts: 607000 | #Constraints: 74002
844.59/847.31 c #Conflicts: 608000 | #Constraints: 75002
844.59/847.31 c #Conflicts: 609000 | #Constraints: 76002
844.59/847.31 c #Conflicts: 610000 | #Constraints: 77002
844.59/847.31 c #Conflicts: 611000 | #Constraints: 78002
844.59/847.31 c #Conflicts: 612000 | #Constraints: 79002
844.59/847.31 c #Conflicts: 613000 | #Constraints: 80002
844.59/847.31 c #Conflicts: 614000 | #Constraints: 81002
844.59/847.31 c #Conflicts: 615000 | #Constraints: 82002
844.59/847.31 c #Conflicts: 616000 | #Constraints: 83002
844.59/847.31 c #Conflicts: 617000 | #Constraints: 84002
844.59/847.31 c #Conflicts: 618000 | #Constraints: 85002
844.59/847.31 c #Conflicts: 619000 | #Constraints: 86002
844.59/847.31 c #Conflicts: 620000 | #Constraints: 87002
844.59/847.31 c #Conflicts: 621000 | #Constraints: 88002
844.59/847.31 c #Conflicts: 622000 | #Constraints: 89002
844.59/847.31 c #Conflicts: 623000 | #Constraints: 90002
844.59/847.31 c #Conflicts: 624000 | #Constraints: 91002
844.59/847.31 c #Conflicts: 625000 | #Constraints: 92002
844.59/847.31 c #Conflicts: 626000 | #Constraints: 93002
844.59/847.31 c #Conflicts: 627000 | #Constraints: 94002
844.59/847.31 c #Conflicts: 628000 | #Constraints: 95002
844.59/847.31 c #Conflicts: 629000 | #Constraints: 96002
844.59/847.31 c #Conflicts: 630000 | #Constraints: 97002
844.59/847.31 c #Conflicts: 631000 | #Constraints: 98002
844.59/847.31 c #Conflicts: 632000 | #Constraints: 99002
844.59/847.31 c #Conflicts: 633000 | #Constraints: 100002
844.59/847.31 c #Conflicts: 634000 | #Constraints: 101002
844.59/847.31 c #Conflicts: 635000 | #Constraints: 102002
844.59/847.31 c #Conflicts: 636000 | #Constraints: 103002
844.59/847.31 c #Conflicts: 637000 | #Constraints: 104002
844.59/847.31 c #Conflicts: 638000 | #Constraints: 105002
844.59/847.31 c #Conflicts: 639000 | #Constraints: 106002
844.59/847.31 c #Conflicts: 640000 | #Constraints: 107002
844.59/847.31 c #Conflicts: 641000 | #Constraints: 108002
844.59/847.31 c #Conflicts: 642000 | #Constraints: 109002
844.59/847.31 c #Conflicts: 643000 | #Constraints: 110002
844.59/847.31 c #Conflicts: 644000 | #Constraints: 111002
844.59/847.31 c #Conflicts: 645000 | #Constraints: 112002
844.59/847.31 c #Conflicts: 646000 | #Constraints: 113002
844.59/847.31 c #Conflicts: 647000 | #Constraints: 114002
844.59/847.31 c #Conflicts: 648000 | #Constraints: 115002
844.59/847.31 c #Conflicts: 649000 | #Constraints: 116002
844.59/847.31 c #Conflicts: 650000 | #Constraints: 117002
844.59/847.31 c #Conflicts: 651000 | #Constraints: 118002
2644.65/2653.41 c #Conflicts: 652000 | #Constraints: 119002
2644.65/2653.41 c #Conflicts: 653000 | #Constraints: 120002
2644.65/2653.41 c #Conflicts: 654000 | #Constraints: 121002
2644.65/2653.41 c #Conflicts: 655000 | #Constraints: 122002
2644.65/2653.41 c #Conflicts: 656000 | #Constraints: 123002
2644.65/2653.41 c #Conflicts: 657000 | #Constraints: 124002
2644.65/2653.41 c #Conflicts: 658000 | #Constraints: 125002
2644.65/2653.41 c #Conflicts: 659000 | #Constraints: 126002
2644.65/2653.41 c #Conflicts: 660000 | #Constraints: 127002
2644.65/2653.41 c #Conflicts: 661000 | #Constraints: 128002
2644.65/2653.41 c #Conflicts: 662000 | #Constraints: 129002
2644.65/2653.41 c #Conflicts: 663000 | #Constraints: 130002
2644.65/2653.41 c #Conflicts: 664000 | #Constraints: 131002
2644.65/2653.41 c #Conflicts: 665000 | #Constraints: 132002
2644.65/2653.41 c #Conflicts: 666000 | #Constraints: 133002
2644.65/2653.41 c #Conflicts: 667000 | #Constraints: 134002
2644.65/2653.41 c #Conflicts: 668000 | #Constraints: 135002
2644.65/2653.41 c #Conflicts: 669000 | #Constraints: 136002
2644.65/2653.41 c INPROCESSING
2644.65/2653.41 c GARBAGE COLLECT
2644.65/2653.41 c #Conflicts: 670000 | #Constraints: 90594
2644.65/2653.41 c #Conflicts: 671000 | #Constraints: 91594
2644.65/2653.41 c #Conflicts: 672000 | #Constraints: 92594
2644.65/2653.41 c #Conflicts: 673000 | #Constraints: 93594
2644.65/2653.41 c #Conflicts: 674000 | #Constraints: 94594
2644.65/2653.41 c #Conflicts: 675000 | #Constraints: 95594
2644.65/2653.41 c #Conflicts: 676000 | #Constraints: 96594
2644.65/2653.41 c #Conflicts: 677000 | #Constraints: 97594
2644.65/2653.41 c #Conflicts: 678000 | #Constraints: 98594
2644.65/2653.41 c #Conflicts: 679000 | #Constraints: 99594
2644.65/2653.41 c #Conflicts: 680000 | #Constraints: 100594
2644.65/2653.41 c #Conflicts: 681000 | #Constraints: 101594
2644.65/2653.41 c #Conflicts: 682000 | #Constraints: 102594
2644.65/2653.41 c #Conflicts: 683000 | #Constraints: 103594
2644.65/2653.41 c #Conflicts: 684000 | #Constraints: 104594
2644.65/2653.41 c #Conflicts: 685000 | #Constraints: 105594
2644.65/2653.41 c #Conflicts: 686000 | #Constraints: 106594
2644.65/2653.41 c INPROCESSING
2644.65/2653.41 c GARBAGE COLLECT
2644.65/2653.41 c #Conflicts: 687000 | #Constraints: 76032
2644.65/2653.41 c #Conflicts: 688000 | #Constraints: 77032
2644.65/2653.41 c #Conflicts: 689000 | #Constraints: 78032
2644.65/2653.41 c #Conflicts: 690000 | #Constraints: 79032
2644.65/2653.41 c #Conflicts: 691000 | #Constraints: 80032
2644.65/2653.41 c #Conflicts: 692000 | #Constraints: 81032
2644.65/2653.41 c #Conflicts: 693000 | #Constraints: 82032
2644.65/2653.41 c #Conflicts: 694000 | #Constraints: 83032
2644.65/2653.41 c #Conflicts: 695000 | #Constraints: 84032
2644.65/2653.41 c #Conflicts: 696000 | #Constraints: 85032
2644.65/2653.41 c #Conflicts: 697000 | #Constraints: 86032
2644.65/2653.41 c #Conflicts: 698000 | #Constraints: 87032
2644.65/2653.41 c #Conflicts: 699000 | #Constraints: 88032
2644.65/2653.41 c #Conflicts: 700000 | #Constraints: 89032
2644.65/2653.41 c #Conflicts: 701000 | #Constraints: 90032
2644.65/2653.41 c #Conflicts: 702000 | #Constraints: 91032
2644.65/2653.41 c INPROCESSING
2644.65/2653.41 c GARBAGE COLLECT
2644.65/2653.41 c #Conflicts: 703000 | #Constraints: 67801
2644.65/2653.41 c #Conflicts: 704000 | #Constraints: 68801
2644.65/2653.41 c #Conflicts: 705000 | #Constraints: 69801
2644.65/2653.41 c #Conflicts: 706000 | #Constraints: 70801
2644.65/2653.41 c #Conflicts: 707000 | #Constraints: 71801
2644.65/2653.41 c #Conflicts: 708000 | #Constraints: 72801
2644.65/2653.41 c #Conflicts: 709000 | #Constraints: 73801
2644.65/2653.41 c #Conflicts: 710000 | #Constraints: 74801
2644.65/2653.41 c #Conflicts: 711000 | #Constraints: 75801
2644.65/2653.41 c #Conflicts: 712000 | #Constraints: 76801
2644.65/2653.41 c #Conflicts: 713000 | #Constraints: 77801
2644.65/2653.41 c #Conflicts: 714000 | #Constraints: 78801
2644.65/2653.41 c #Conflicts: 715000 | #Constraints: 79801
2644.65/2653.41 c #Conflicts: 716000 | #Constraints: 80801
2644.65/2653.41 c #Conflicts: 717000 | #Constraints: 81801
2644.65/2653.41 c #Conflicts: 718000 | #Constraints: 82801
2644.65/2653.41 c #Conflicts: 719000 | #Constraints: 83801
2644.65/2653.41 c #Conflicts: 720000 | #Constraints: 84801
2644.65/2653.41 c #Conflicts: 721000 | #Constraints: 85801
2644.65/2653.41 c #Conflicts: 722000 | #Constraints: 86801
2644.65/2653.41 c #Conflicts: 723000 | #Constraints: 87801
2644.65/2653.41 c bounds 354 >= 8 @ 2601.28
2644.65/2653.41 c #Conflicts: 724000 | #Constraints: 88805
2644.65/2653.41 c #Conflicts: 725000 | #Constraints: 89805
2644.65/2653.41 c #Conflicts: 726000 | #Constraints: 90805
2644.65/2653.41 c #Conflicts: 727000 | #Constraints: 91805
3568.16/3580.38 c #Conflicts: 728000 | #Constraints: 92805
3568.16/3580.38 c #Conflicts: 729000 | #Constraints: 93805
3568.16/3580.38 c #Conflicts: 730000 | #Constraints: 94805
3568.16/3580.38 c #Conflicts: 731000 | #Constraints: 95805
3568.16/3580.38 c #Conflicts: 732000 | #Constraints: 96805
3568.16/3580.38 c #Conflicts: 733000 | #Constraints: 97805
3568.16/3580.38 c #Conflicts: 734000 | #Constraints: 98805
3568.16/3580.38 c #Conflicts: 735000 | #Constraints: 99805
3568.16/3580.38 c #Conflicts: 736000 | #Constraints: 100805
3568.16/3580.38 c #Conflicts: 737000 | #Constraints: 101805
3568.16/3580.38 c #Conflicts: 738000 | #Constraints: 102805
3568.16/3580.38 c #Conflicts: 739000 | #Constraints: 103805
3568.16/3580.38 c #Conflicts: 740000 | #Constraints: 104805
3568.16/3580.38 c #Conflicts: 741000 | #Constraints: 105805
3568.16/3580.38 c #Conflicts: 742000 | #Constraints: 106805
3568.16/3580.38 c #Conflicts: 743000 | #Constraints: 107805
3568.16/3580.38 c #Conflicts: 744000 | #Constraints: 108805
3568.16/3580.38 c #Conflicts: 745000 | #Constraints: 109805
3568.16/3580.38 c #Conflicts: 746000 | #Constraints: 110805
3568.16/3580.38 c #Conflicts: 747000 | #Constraints: 111805
3568.16/3580.38 c #Conflicts: 748000 | #Constraints: 112805
3568.16/3580.38 c #Conflicts: 749000 | #Constraints: 113805
3568.16/3580.38 c #Conflicts: 750000 | #Constraints: 114805
3568.16/3580.38 c #Conflicts: 751000 | #Constraints: 115805
3568.16/3580.38 c #Conflicts: 752000 | #Constraints: 116805
3568.16/3580.38 c #Conflicts: 753000 | #Constraints: 117805
3568.16/3580.38 c #Conflicts: 754000 | #Constraints: 118805
3568.16/3580.38 c #Conflicts: 755000 | #Constraints: 119805
3568.16/3580.38 c #Conflicts: 756000 | #Constraints: 120805
3568.16/3580.38 c #Conflicts: 757000 | #Constraints: 121805
3568.16/3580.38 c #Conflicts: 758000 | #Constraints: 122805
3568.16/3580.38 c #Conflicts: 759000 | #Constraints: 123805
3568.16/3580.38 c #Conflicts: 760000 | #Constraints: 124805
3568.16/3580.38 c #Conflicts: 761000 | #Constraints: 125805
3568.16/3580.38 c #Conflicts: 762000 | #Constraints: 126805
3568.16/3580.38 c #Conflicts: 763000 | #Constraints: 127805
3568.16/3580.38 c #Conflicts: 764000 | #Constraints: 128805
3568.16/3580.38 c #Conflicts: 765000 | #Constraints: 129805
3568.16/3580.38 c #Conflicts: 766000 | #Constraints: 130805
3568.16/3580.38 c #Conflicts: 767000 | #Constraints: 131805
3568.16/3580.38 c #Conflicts: 768000 | #Constraints: 132805
3568.16/3580.38 c #Conflicts: 769000 | #Constraints: 133805
3568.16/3580.38 c #Conflicts: 770000 | #Constraints: 134805
3568.16/3580.38 c #Conflicts: 771000 | #Constraints: 135805
3568.16/3580.38 c #Conflicts: 772000 | #Constraints: 136805
3568.16/3580.38 c #Conflicts: 773000 | #Constraints: 137805
3568.16/3580.38 c #Conflicts: 774000 | #Constraints: 138805
3568.16/3580.38 c #Conflicts: 775000 | #Constraints: 139805
3568.16/3580.38 c #Conflicts: 776000 | #Constraints: 140805
3568.16/3580.38 c #Conflicts: 777000 | #Constraints: 141805
3568.16/3580.38 c #Conflicts: 778000 | #Constraints: 142805
3568.16/3580.38 c #Conflicts: 779000 | #Constraints: 143805
3568.16/3580.38 c #Conflicts: 780000 | #Constraints: 144805
3568.16/3580.38 c #Conflicts: 781000 | #Constraints: 145805
3568.16/3580.38 c #Conflicts: 782000 | #Constraints: 146805
3568.16/3580.38 c #Conflicts: 783000 | #Constraints: 147805
3568.16/3580.38 c #Conflicts: 784000 | #Constraints: 148805
3568.16/3580.38 c INPROCESSING
3568.16/3580.38 c GARBAGE COLLECT
3568.16/3580.38 c #Conflicts: 785000 | #Constraints: 96710
3568.16/3580.38 c #Conflicts: 786000 | #Constraints: 97710
3568.16/3580.38 c #Conflicts: 787000 | #Constraints: 98710
3568.16/3580.38 c #Conflicts: 788000 | #Constraints: 99710
3568.16/3580.38 c #Conflicts: 789000 | #Constraints: 100710
3568.16/3580.38 c #Conflicts: 790000 | #Constraints: 101710
3568.16/3580.38 c #Conflicts: 791000 | #Constraints: 102710
3568.16/3580.38 c #Conflicts: 792000 | #Constraints: 103710
3568.16/3580.38 c #Conflicts: 793000 | #Constraints: 104710
3568.16/3580.38 c #Conflicts: 794000 | #Constraints: 105710
3568.16/3580.38 c #Conflicts: 795000 | #Constraints: 106710
3568.16/3580.38 c #Conflicts: 796000 | #Constraints: 107710
3568.16/3580.38 c #Conflicts: 797000 | #Constraints: 108710
3568.16/3580.38 c #Conflicts: 798000 | #Constraints: 109710
3568.16/3580.38 c #Conflicts: 799000 | #Constraints: 110710
3568.16/3580.38 c #Conflicts: 800000 | #Constraints: 111710
3568.16/3580.38 c #Conflicts: 801000 | #Constraints: 112710
3568.16/3580.38 c #Conflicts: 802000 | #Constraints: 113710
3568.16/3580.38 c #Conflicts: 803000 | #Constraints: 114710
3568.16/3580.38 c INPROCESSING
3568.16/3580.38 c GARBAGE COLLECT
3568.16/3580.38 c #Conflicts: 804000 | #Constraints: 80075
3568.16/3580.38 c #Conflicts: 805000 | #Constraints: 81075
3600.04/3612.30 c #Conflicts: 806000 | #Constraints: 82075
3600.04/3612.30 c #Conflicts: 807000 | #Constraints: 83075
3600.04/3612.30 c #Conflicts: 808000 | #Constraints: 84075
3600.04/3612.30 c Program interrupted by user.
3600.04/3612.30 c cpu time 3591.88 s
3600.04/3612.30 c deterministic time 244318404106 2.44e+11
3600.04/3612.30 c optimization time 62.6687 s
3600.04/3612.30 c total solve time 3529.07 s
3600.04/3612.30 c core-guided solve time 3529.07 s
3600.04/3612.30 c propagation time 3103.12 s
3600.04/3612.30 c conflict analysis time 465.574 s
3600.04/3612.30 c propagations 160920419
3600.04/3612.30 c resolve steps 14415318
3600.04/3612.30 c decisions 5741504
3600.04/3612.30 c conflicts 808820
3600.04/3612.30 c restarts 1730
3600.04/3612.30 c inprocessing phases 73
3600.04/3612.30 c input clauses 20671
3600.04/3612.30 c input cardinalities 802
3600.04/3612.30 c input general constraints 21605
3600.04/3612.30 c input average constraint length 7.33
3600.04/3612.30 c input average constraint degree 5.31
3600.04/3612.30 c learned clauses 695863
3600.04/3612.30 c learned cardinalities 16022
3600.04/3612.30 c learned general constraints 96935
3600.04/3612.30 c learned average constraint length 170.21
3600.04/3612.30 c learned average constraint degree 736134.87
3600.04/3612.30 c watched constraints 81909
3600.04/3612.30 c counting constraints 36631
3600.04/3612.30 c gcd simplifications 1456
3600.04/3612.30 c detected cardinalities 23
3600.04/3612.30 c weakened non-implied lits 19023427
3600.04/3612.30 c weakened non-implying lits 5821
3600.04/3612.30 c original variables 2700
3600.04/3612.30 c clausal propagations 74042589
3600.04/3612.30 c cardinality propagations 69558861
3600.04/3612.30 c watched propagations 6866220
3600.04/3612.30 c counting propagations 9616459
3600.04/3612.30 c watch lookups 79509424008
3600.04/3612.30 c watch backjump lookups 76681311889
3600.04/3612.30 c watch checks 71657592406
3600.04/3612.30 c propagation checks 15639226497
3600.04/3612.30 c constraint additions 496717678
3600.04/3612.30 c trail pops 167469704
3600.04/3612.30 c formula constraints 43070
3600.04/3612.30 c learned constraints 808820
3600.04/3612.30 c bound constraints 3
3600.04/3612.30 c core-guided constraints 5
3600.04/3612.30 c encountered formula constraints 7089894
3600.04/3612.30 c encountered learned constraints 8113968
3600.04/3612.30 c encountered bound constraints 0
3600.04/3612.30 c encountered core-guided constraints 20276
3600.04/3612.30 c LP total time 0 s
3600.04/3612.30 c LP solve time 0 s
3600.04/3612.30 c LP constraints added 0
3600.04/3612.30 c LP constraints removed 0
3600.04/3612.30 c LP pivots internal 0
3600.04/3612.30 c LP pivots root 0
3600.04/3612.30 c LP calls 0
3600.04/3612.30 c LP optimalities 0
3600.04/3612.30 c LP no pivot count 0
3600.04/3612.30 c LP infeasibilities 0
3600.04/3612.30 c LP valid Farkas constraints 0
3600.04/3612.30 c LP learned Farkas constraints 0
3600.04/3612.30 c LP basis resets 0
3600.04/3612.30 c LP cycling count 0
3600.04/3612.30 c LP singular count 0
3600.04/3612.30 c LP no primal count 0
3600.04/3612.30 c LP no farkas count 0
3600.04/3612.30 c LP other issue count 0
3600.04/3612.30 c LP Gomory cuts 0
3600.04/3612.30 c LP learned cuts 0
3600.04/3612.30 c LP deleted cuts 0
3600.04/3612.30 c LP encountered Gomory constraints 0
3600.04/3612.30 c LP encountered Farkas constraints 0
3600.04/3612.30 c LP encountered learned Farkas constraints 0
3600.04/3612.30 c CG auxiliary variables introduced 2
3600.04/3612.30 c CG solutions found 1
3600.04/3612.30 c CG cores constructed 2
3600.04/3612.30 c CG core cardinality constraints returned 0
3600.04/3612.30 c CG unit cores 0
3600.04/3612.30 c CG single cores 2
3600.04/3612.30 c CG blocks removed during cardinality reduction 0
3600.04/3612.30 c CG first core best 0
3600.04/3612.30 c CG decision core best 0
3600.04/3612.30 c CG core reduction tie 0
3600.04/3612.30 c CG core degree average 1.00
3600.04/3612.30 c CG core slack average 114.50
3600.04/3612.30 c CG exhausted 0
3600.04/3612.30 c CG exhaust time 0.086603 s
3600.04/3612.30 c CG trimmed 0
3600.04/3612.30 c CG trim time 0.000411 s
3600.04/3612.30 c CG minimized 0
3600.04/3612.30 c CG minimize time 0 s
3600.04/3612.30 c CG am1 prop time 0.000687 s
3600.04/3612.30 c CG # am1s reformulated 0
3600.04/3612.30 c CG lower bound derived from am1s 0
3600.04/3612.30 c CG # clausal cores 2
3600.04/3612.30 c CG # cardinality cores 0
3600.04/3612.30 c CG # pb cores 0
3600.04/3612.30 c CG # pb reforms 0
3600.04/3612.30 c CG # cores discarded because of pb reform 0
3600.04/3612.30 d LOWERBOUND 8
3600.04/3612.30 d NCORES 2
3600.04/3612.30 d NPBCORES 0
3600.04/3612.30 d NPBREFORM 0
3600.04/3612.30 d NTRIMMED 0
3600.04/3612.30 d NEXHAUSTED 0
3600.04/3612.30 d NAM1S 0
3600.04/3612.30 d AM1LB 0
3600.04/3612.30 o 354
3600.04/3612.30 s SATISFIABLE
3600.04/3612.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 x1904 -x1905 x1906 x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 x2000 -x2001 x2002 x2003 x2004 x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 x2098 x2099 x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 x2396 -x2397 -x2398 x2399 x2400 x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 x2495 -x2496 x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (61113 MiB free)
memory of node 1: 64510 MiB (57638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454278-1721453271/watcher-4454278-1721453271 -o /tmp/evaluation-result-4454278-1721453271/solver-4454278-1721453271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454278-1721453271.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1063808, runsolver pid=1063805
[startup+0.100086 s]*
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121596988/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=40720 memory=10196 CPUtime=0.1 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 1014 0 0 0 8 2 0 0 20 0 1 0 197491243 41697280 2549 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 10180 2549 1166 291 0 1714 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40720 KiB
Current children cumulated memory: 10196 KiB
[startup+0.205466 s]*
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121594648/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=42096 memory=12936 CPUtime=0.2 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 1620 0 0 0 17 3 0 0 20 0 1 0 197491243 43106304 3234 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 10524 3234 1357 291 0 2058 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 12936 KiB
[startup+0.304937 s]*
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121592616/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=45484 memory=14424 CPUtime=0.29 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 1941 0 0 0 25 4 0 0 20 0 1 0 197491243 46575616 3606 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 11371 3606 1419 291 0 2905 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45484 KiB
Current children cumulated memory: 14424 KiB
[startup+0.70014 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121588432/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=47872 memory=18052 CPUtime=0.68 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 3051 0 0 0 61 7 0 0 20 0 1 0 197491243 49020928 4513 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 11968 4513 1419 291 0 3502 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47872 KiB
Current children cumulated memory: 18052 KiB
[startup+1.50015 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121588084/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=48376 memory=19380 CPUtime=1.48 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 3982 0 0 0 136 12 0 0 20 0 1 0 197491243 49537024 4845 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 12094 4845 1419 291 0 3628 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48376 KiB
Current children cumulated memory: 19380 KiB
[startup+3.10525 s]
/proc/loadavg: 4.42 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121583572/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=50828 memory=21788 CPUtime=3.08 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 5487 0 0 0 288 20 0 0 20 0 1 0 197491243 52047872 5447 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 12707 5447 1419 291 0 4241 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50828 KiB
Current children cumulated memory: 21788 KiB
[startup+6.30016 s]
/proc/loadavg: 4.42 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121578828/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=55884 memory=25416 CPUtime=6.26 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 6470 0 0 0 592 34 0 0 20 0 1 0 197491243 57225216 6354 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 13971 6354 1419 291 0 5505 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55884 KiB
Current children cumulated memory: 25416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.18 4.15 5/258 1063981
/proc/meminfo: memFree=121571136/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=56440 memory=25964 CPUtime=12.64 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 6934 0 0 0 1200 64 0 0 20 0 1 0 197491243 57794560 6491 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 14110 6491 1419 291 0 5644 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 25964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.37 4.19 4.15 5/258 1063982
/proc/meminfo: memFree=121557744/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=64116 memory=30756 CPUtime=25.4 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 8728 0 0 0 2434 106 0 0 20 0 1 0 197491243 65654784 7689 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 16029 7689 1419 291 0 7563 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 64116 KiB
Current children cumulated memory: 30756 KiB
[startup+51.1053 s]
/proc/loadavg: 4.30 4.19 4.15 5/258 1064033
/proc/meminfo: memFree=126998052/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=77296 memory=39972 CPUtime=50.93 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 10091 0 0 0 4926 167 0 0 20 0 1 0 197491243 79151104 9993 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 19324 9993 1419 291 0 10858 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 77296 KiB
Current children cumulated memory: 39972 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/258 1064041
/proc/meminfo: memFree=126950056/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=96852 memory=63088 CPUtime=101.95 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 14689 0 0 0 9950 245 0 0 20 0 1 0 197491243 99176448 15772 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 24213 15772 1419 291 0 15747 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 96852 KiB
Current children cumulated memory: 63088 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/260 1064111
/proc/meminfo: memFree=126912676/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=121780 memory=75892 CPUtime=161.77 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 17256 0 0 0 15894 283 0 0 20 0 1 0 197491243 124702720 18973 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 30445 18973 1419 291 0 21979 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 121780 KiB
Current children cumulated memory: 75892 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/260 1064123
/proc/meminfo: memFree=126863156/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=139260 memory=100984 CPUtime=221.59 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 20446 0 0 0 21853 306 0 0 20 0 1 0 197491243 142602240 25246 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 34815 25246 1419 291 0 26349 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 139260 KiB
Current children cumulated memory: 100984 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/260 1064133
/proc/meminfo: memFree=126837980/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=179220 memory=118896 CPUtime=281.39 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 22901 0 0 0 27816 323 0 0 20 0 1 0 197491243 183521280 29724 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 44805 29724 1419 291 0 36339 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 179220 KiB
Current children cumulated memory: 118896 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/259 1064143
/proc/meminfo: memFree=126807492/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=184512 memory=131864 CPUtime=341.2 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 24216 0 0 0 33784 336 0 0 20 0 1 0 197491243 188940288 32966 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 46128 32966 1419 291 0 37662 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 184512 KiB
Current children cumulated memory: 131864 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/259 1064155
/proc/meminfo: memFree=126789352/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=188080 memory=142156 CPUtime=401.01 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 25280 0 0 0 39750 351 0 0 20 0 1 0 197491243 192593920 35539 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 47020 35539 1419 291 0 38554 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 188080 KiB
Current children cumulated memory: 142156 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 4.22 4.16 5/254 1064165
/proc/meminfo: memFree=126764324/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=190448 memory=160664 CPUtime=460.8 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 25992 0 0 0 45717 363 0 0 20 0 1 0 197491243 195018752 40166 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 47612 40166 1419 291 0 39146 0
################
# More data... #
################
Current children cumulated memory: 285860 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/254 1065177
/proc/meminfo: memFree=126324660/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=385388 memory=286696 CPUtime=2912.58 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 42881 0 0 0 290554 704 0 0 20 0 1 0 197491243 394637312 71674 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96347 71674 1419 291 0 87881 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 385388 KiB
Current children cumulated memory: 286696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/254 1065188
/proc/meminfo: memFree=126320460/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=287796 CPUtime=2972.36 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43279 0 0 0 296522 714 0 0 20 0 1 0 197491243 396734464 71949 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 71949 1419 291 0 88393 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 287796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/254 1065198
/proc/meminfo: memFree=126317120/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=288088 CPUtime=3032.14 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43421 0 0 0 302489 725 0 0 20 0 1 0 197491243 396734464 72022 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72022 1419 291 0 88393 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 288088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/254 1065208
/proc/meminfo: memFree=126314064/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=288120 CPUtime=3091.93 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43561 0 0 0 308458 735 0 0 20 0 1 0 197491243 396734464 72030 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72030 1419 291 0 88393 0
Current children cumulated CPU time: 3091.93 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 288120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.11 5/256 1065222
/proc/meminfo: memFree=126308108/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290188 CPUtime=3151.7 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43709 0 0 0 314424 746 0 0 20 0 1 0 197491243 396734464 72547 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72547 1419 291 0 88393 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/256 1065233
/proc/meminfo: memFree=126304596/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290228 CPUtime=3211.49 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43846 0 0 0 320395 754 0 0 20 0 1 0 197491243 396734464 72557 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72557 1419 291 0 88393 0
Current children cumulated CPU time: 3211.49 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/256 1065243
/proc/meminfo: memFree=126297084/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290244 CPUtime=3271.26 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 43987 0 0 0 326365 761 0 0 20 0 1 0 197491243 396734464 72561 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72561 1419 291 0 88393 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/256 1065253
/proc/meminfo: memFree=126255676/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290372 CPUtime=3331.04 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 44832 0 0 0 332331 773 0 0 20 0 1 0 197491243 396734464 72593 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72593 1419 291 0 88393 0
Current children cumulated CPU time: 3331.04 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1065265
/proc/meminfo: memFree=126231620/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290372 CPUtime=3390.82 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 44942 0 0 0 338299 783 0 0 20 0 1 0 197491243 396734464 72593 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72593 1419 291 0 88393 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 1065657
/proc/meminfo: memFree=126214416/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290372 CPUtime=3450.59 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 45054 0 0 0 344268 791 0 0 20 0 1 0 197491243 396734464 72593 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72593 1419 291 0 88393 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 1065668
/proc/meminfo: memFree=126209904/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=387436 memory=290372 CPUtime=3510.38 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 45168 0 0 0 350236 802 0 0 20 0 1 0 197491243 396734464 72593 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 96859 72593 1419 291 0 88393 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 387436 KiB
Current children cumulated memory: 290372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1065679
/proc/meminfo: memFree=126206152/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=388816 memory=291308 CPUtime=3570.15 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 45583 0 0 0 356203 812 0 0 20 0 1 0 197491243 398147584 72827 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 97204 72827 1419 291 0 88738 0
Current children cumulated CPU time: 3570.15 s
Current children cumulated vsize: 388816 KiB
Current children cumulated memory: 291308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.03 4.08 4.08 3/243 1065914
/proc/meminfo: memFree=126694000/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=388816 memory=291572 CPUtime=3600.04 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 45685 0 0 0 359187 817 0 0 20 0 1 0 197491243 398147584 72893 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 97204 72893 1419 291 0 88738 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 388816 KiB
Current children cumulated memory: 291572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 1063808 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.88 s, system=8.17444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.03 4.08 4.08 3/243 1065914
/proc/meminfo: memFree=126694000/131524600 swapFree=131071996/131071996
[pid=1063808] ppid=1063805 vsize=388816 memory=291572 CPUtime=3600.04 cores=0,2
/proc/1063808/stat : 1063808 (pb-oll-rs) R 1063805 1063808 1059483 0 -1 4194304 45685 0 0 0 359187 817 0 0 20 0 1 0 197491243 398147584 72893 134679101440 4194304 5384485 140736015243344 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38572032 140736015246357 140736015246434 140736015246434 140736015253451 0
/proc/1063808/statm: 97204 72893 1419 291 0 88738 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 388816 KiB
Current children cumulated memory: 291572 KiB
Child status: 0
Real time (s): 3612.3
CPU time (s): 3600.05
CPU user time (s): 3591.88
CPU system time (s): 8.17444
CPU usage (%): 99.6609
Max. virtual memory (cumulated for all children) (KiB): 390656
Max. memory (cumulated for all children) (KiB): 292976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.88
system time used= 8.17444
maximum resident set size= 292976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45700
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= 117
involuntary context switches= 25229
# summary of solver processes directly reported to runsolver:
# pid: 1063808
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.88
# total CPU system time (s): 8.17444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68263 second user time and 16.585 second system time
The end
Begin job on nodeC022 at 2024-07-20 07:28:03
IDJOB=4454278
IDBENCH=147019
IDSOLVER=3082
FILE ID=nodeC022/4454278-1721453271
RUNJOBID= nodeC022-1721446059-1059493
SLURM_JOB_ID= 7545669
Free space on /tmp= 890064 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454278-1721453271/watcher-4454278-1721453271 -o /tmp/evaluation-result-4454278-1721453271/solver-4454278-1721453271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454278-1721453271.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=889049604
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.585
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.267
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.545
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.217
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.311
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3632.958
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121603036 kB
MemAvailable: 124180904 kB
Buffers: 540388 kB
Cached: 2862216 kB
SwapCached: 0 kB
Active: 1250740 kB
Inactive: 8003236 kB
Active(anon): 1572 kB
Inactive(anon): 5895708 kB
Active(file): 1249168 kB
Inactive(file): 2107528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 10552 kB
Writeback: 0 kB
AnonPages: 5849408 kB
Mapped: 112460 kB
Shmem: 45912 kB
KReclaimable: 121636 kB
Slab: 238152 kB
SReclaimable: 121636 kB
SUnreclaim: 116516 kB
KernelStack: 4124 kB
PageTables: 20576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6466536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4548608 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-20 08:28:16