0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] solving
0.00/0.07 c #variables 6027 #constraints 21278
0.00/0.07 c SMALL=int, LARGE=long long
0.00/0.07 c bounds - >= 5 @ 0.038907
0.00/0.07 c stratification level: 0
0.00/0.08 c bounds - >= 6 @ 0.047566
0.00/0.08 c bounds - >= 7 @ 0.048223
0.00/0.08 c bounds - >= 8 @ 0.048968
0.00/0.08 c bounds - >= 9 @ 0.051229
0.00/0.08 c bounds - >= 10 @ 0.052025
0.00/0.08 c bounds - >= 11 @ 0.052856
0.00/0.08 c finalizing WCE round: reformulating cores
3.76/3.85 c #Conflicts: 1000 | #Constraints: 22295
3.76/3.85 c #Conflicts: 2000 | #Constraints: 23297
3.76/3.85 c INPROCESSING
3.76/3.85 c GARBAGE COLLECT
3.76/3.85 c #Conflicts: 3000 | #Constraints: 23298
3.76/3.85 c #Conflicts: 4000 | #Constraints: 24300
3.76/3.85 c INPROCESSING
3.76/3.85 c GARBAGE COLLECT
3.76/3.85 c bounds 26 >= 11 @ 3.34479
3.76/3.85 c bounds 26 >= 12 @ 3.35898
3.76/3.85 c bounds 26 >= 13 @ 3.36839
3.76/3.85 c #Conflicts: 5000 | #Constraints: 23727
3.76/3.85 c finalizing WCE round: reformulating cores
7.55/7.65 c bounds 24 >= 13 @ 3.83773
7.55/7.65 c #Conflicts: 6000 | #Constraints: 24735
7.55/7.65 c bounds 24 >= 14 @ 4.31867
7.55/7.65 c INPROCESSING
7.55/7.65 c GARBAGE COLLECT
7.55/7.65 c bounds 24 >= 15 @ 4.55131
7.55/7.65 c #Conflicts: 7000 | #Constraints: 23743
7.55/7.65 c bounds 24 >= 16 @ 5.08663
7.55/7.65 c #Conflicts: 8000 | #Constraints: 24756
7.55/7.65 c #Conflicts: 9000 | #Constraints: 25756
7.55/7.65 c INPROCESSING
7.55/7.65 c GARBAGE COLLECT
7.55/7.65 c finalizing WCE round: reformulating cores
71.78/72.09 c #Conflicts: 10000 | #Constraints: 24483
71.78/72.09 c #Conflicts: 11000 | #Constraints: 25485
71.78/72.09 c bounds 23 >= 16 @ 8.72504
71.78/72.09 c #Conflicts: 12000 | #Constraints: 26485
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 13000 | #Constraints: 24966
71.78/72.09 c #Conflicts: 14000 | #Constraints: 25966
71.78/72.09 c #Conflicts: 15000 | #Constraints: 26966
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 16000 | #Constraints: 25257
71.78/72.09 c #Conflicts: 17000 | #Constraints: 26257
71.78/72.09 c #Conflicts: 18000 | #Constraints: 27257
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 19000 | #Constraints: 25284
71.78/72.09 c #Conflicts: 20000 | #Constraints: 26284
71.78/72.09 c bounds 23 >= 17 @ 50.1222
71.78/72.09 c #Conflicts: 21000 | #Constraints: 27309
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 22000 | #Constraints: 25074
71.78/72.09 c #Conflicts: 23000 | #Constraints: 26074
71.78/72.09 c #Conflicts: 24000 | #Constraints: 27074
71.78/72.09 c #Conflicts: 25000 | #Constraints: 28074
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 26000 | #Constraints: 25693
71.78/72.09 c #Conflicts: 27000 | #Constraints: 26693
71.78/72.09 c #Conflicts: 28000 | #Constraints: 27693
71.78/72.09 c #Conflicts: 29000 | #Constraints: 28693
71.78/72.09 c INPROCESSING
71.78/72.09 c GARBAGE COLLECT
71.78/72.09 c #Conflicts: 30000 | #Constraints: 26105
71.78/72.09 c #Conflicts: 31000 | #Constraints: 27105
71.78/72.09 c #Conflicts: 32000 | #Constraints: 28105
71.78/72.09 c finalizing WCE round: reformulating cores
447.84/449.38 c #Conflicts: 33000 | #Constraints: 29108
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c bounds 20 >= 17 @ 73.8491
447.84/449.38 c #Conflicts: 34000 | #Constraints: 26358
447.84/449.38 c #Conflicts: 35000 | #Constraints: 27358
447.84/449.38 c #Conflicts: 36000 | #Constraints: 28358
447.84/449.38 c #Conflicts: 37000 | #Constraints: 29358
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 38000 | #Constraints: 26394
447.84/449.38 c #Conflicts: 39000 | #Constraints: 27394
447.84/449.38 c #Conflicts: 40000 | #Constraints: 28394
447.84/449.38 c #Conflicts: 41000 | #Constraints: 29394
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 42000 | #Constraints: 26227
447.84/449.38 c #Conflicts: 43000 | #Constraints: 27227
447.84/449.38 c #Conflicts: 44000 | #Constraints: 28227
447.84/449.38 c #Conflicts: 45000 | #Constraints: 29227
447.84/449.38 c #Conflicts: 46000 | #Constraints: 30227
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 47000 | #Constraints: 26926
447.84/449.38 c #Conflicts: 48000 | #Constraints: 27926
447.84/449.38 c #Conflicts: 49000 | #Constraints: 28926
447.84/449.38 c #Conflicts: 50000 | #Constraints: 29926
447.84/449.38 c #Conflicts: 51000 | #Constraints: 30926
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 52000 | #Constraints: 27360
447.84/449.38 c #Conflicts: 53000 | #Constraints: 28360
447.84/449.38 c #Conflicts: 54000 | #Constraints: 29360
447.84/449.38 c #Conflicts: 55000 | #Constraints: 30360
447.84/449.38 c #Conflicts: 56000 | #Constraints: 31360
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 57000 | #Constraints: 27569
447.84/449.38 c #Conflicts: 58000 | #Constraints: 28569
447.84/449.38 c #Conflicts: 59000 | #Constraints: 29569
447.84/449.38 c #Conflicts: 60000 | #Constraints: 30569
447.84/449.38 c #Conflicts: 61000 | #Constraints: 31569
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 62000 | #Constraints: 27569
447.84/449.38 c #Conflicts: 63000 | #Constraints: 28569
447.84/449.38 c #Conflicts: 64000 | #Constraints: 29569
447.84/449.38 c #Conflicts: 65000 | #Constraints: 30569
447.84/449.38 c #Conflicts: 66000 | #Constraints: 31569
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 67000 | #Constraints: 27378
447.84/449.38 c #Conflicts: 68000 | #Constraints: 28378
447.84/449.38 c #Conflicts: 69000 | #Constraints: 29378
447.84/449.38 c #Conflicts: 70000 | #Constraints: 30378
447.84/449.38 c #Conflicts: 71000 | #Constraints: 31378
447.84/449.38 c #Conflicts: 72000 | #Constraints: 32378
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 73000 | #Constraints: 27998
447.84/449.38 c #Conflicts: 74000 | #Constraints: 28998
447.84/449.38 c #Conflicts: 75000 | #Constraints: 29998
447.84/449.38 c #Conflicts: 76000 | #Constraints: 30998
447.84/449.38 c #Conflicts: 77000 | #Constraints: 31998
447.84/449.38 c #Conflicts: 78000 | #Constraints: 32998
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 79000 | #Constraints: 28481
447.84/449.38 c #Conflicts: 80000 | #Constraints: 29481
447.84/449.38 c #Conflicts: 81000 | #Constraints: 30481
447.84/449.38 c #Conflicts: 82000 | #Constraints: 31481
447.84/449.38 c #Conflicts: 83000 | #Constraints: 32481
447.84/449.38 c #Conflicts: 84000 | #Constraints: 33481
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 85000 | #Constraints: 28639
447.84/449.38 c #Conflicts: 86000 | #Constraints: 29639
447.84/449.38 c #Conflicts: 87000 | #Constraints: 30639
447.84/449.38 c #Conflicts: 88000 | #Constraints: 31639
447.84/449.38 c #Conflicts: 89000 | #Constraints: 32639
447.84/449.38 c #Conflicts: 90000 | #Constraints: 33639
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 91000 | #Constraints: 28687
447.84/449.38 c #Conflicts: 92000 | #Constraints: 29687
447.84/449.38 c #Conflicts: 93000 | #Constraints: 30687
447.84/449.38 c #Conflicts: 94000 | #Constraints: 31687
447.84/449.38 c #Conflicts: 95000 | #Constraints: 32687
447.84/449.38 c #Conflicts: 96000 | #Constraints: 33687
447.84/449.38 c INPROCESSING
447.84/449.38 c GARBAGE COLLECT
447.84/449.38 c #Conflicts: 97000 | #Constraints: 28523
447.84/449.38 c #Conflicts: 98000 | #Constraints: 29523
447.84/449.38 c #Conflicts: 99000 | #Constraints: 30523
447.84/449.38 c #Conflicts: 100000 | #Constraints: 31523
447.84/449.38 c #Conflicts: 101000 | #Constraints: 32523
447.84/449.38 c #Conflicts: 102000 | #Constraints: 33523
942.02/944.96 c #Conflicts: 103000 | #Constraints: 34523
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 104000 | #Constraints: 29204
942.02/944.96 c #Conflicts: 105000 | #Constraints: 30204
942.02/944.96 c #Conflicts: 106000 | #Constraints: 31204
942.02/944.96 c #Conflicts: 107000 | #Constraints: 32204
942.02/944.96 c #Conflicts: 108000 | #Constraints: 33204
942.02/944.96 c #Conflicts: 109000 | #Constraints: 34204
942.02/944.96 c #Conflicts: 110000 | #Constraints: 35204
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 111000 | #Constraints: 29668
942.02/944.96 c #Conflicts: 112000 | #Constraints: 30668
942.02/944.96 c #Conflicts: 113000 | #Constraints: 31668
942.02/944.96 c #Conflicts: 114000 | #Constraints: 32668
942.02/944.96 c #Conflicts: 115000 | #Constraints: 33668
942.02/944.96 c #Conflicts: 116000 | #Constraints: 34668
942.02/944.96 c #Conflicts: 117000 | #Constraints: 35668
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 118000 | #Constraints: 29786
942.02/944.96 c #Conflicts: 119000 | #Constraints: 30786
942.02/944.96 c #Conflicts: 120000 | #Constraints: 31786
942.02/944.96 c #Conflicts: 121000 | #Constraints: 32786
942.02/944.96 c #Conflicts: 122000 | #Constraints: 33786
942.02/944.96 c #Conflicts: 123000 | #Constraints: 34786
942.02/944.96 c #Conflicts: 124000 | #Constraints: 35786
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 125000 | #Constraints: 29793
942.02/944.96 c #Conflicts: 126000 | #Constraints: 30793
942.02/944.96 c #Conflicts: 127000 | #Constraints: 31793
942.02/944.96 c #Conflicts: 128000 | #Constraints: 32793
942.02/944.96 c #Conflicts: 129000 | #Constraints: 33793
942.02/944.96 c #Conflicts: 130000 | #Constraints: 34793
942.02/944.96 c #Conflicts: 131000 | #Constraints: 35793
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 132000 | #Constraints: 29586
942.02/944.96 c #Conflicts: 133000 | #Constraints: 30586
942.02/944.96 c #Conflicts: 134000 | #Constraints: 31586
942.02/944.96 c #Conflicts: 135000 | #Constraints: 32586
942.02/944.96 c #Conflicts: 136000 | #Constraints: 33586
942.02/944.96 c #Conflicts: 137000 | #Constraints: 34586
942.02/944.96 c #Conflicts: 138000 | #Constraints: 35586
942.02/944.96 c #Conflicts: 139000 | #Constraints: 36586
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 140000 | #Constraints: 30184
942.02/944.96 c #Conflicts: 141000 | #Constraints: 31184
942.02/944.96 c #Conflicts: 142000 | #Constraints: 32184
942.02/944.96 c #Conflicts: 143000 | #Constraints: 33184
942.02/944.96 c #Conflicts: 144000 | #Constraints: 34184
942.02/944.96 c #Conflicts: 145000 | #Constraints: 35184
942.02/944.96 c #Conflicts: 146000 | #Constraints: 36184
942.02/944.96 c #Conflicts: 147000 | #Constraints: 37184
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 148000 | #Constraints: 30691
942.02/944.96 c #Conflicts: 149000 | #Constraints: 31691
942.02/944.96 c #Conflicts: 150000 | #Constraints: 32691
942.02/944.96 c #Conflicts: 151000 | #Constraints: 33691
942.02/944.96 c #Conflicts: 152000 | #Constraints: 34691
942.02/944.96 c #Conflicts: 153000 | #Constraints: 35691
942.02/944.96 c #Conflicts: 154000 | #Constraints: 36691
942.02/944.96 c #Conflicts: 155000 | #Constraints: 37691
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 156000 | #Constraints: 30862
942.02/944.96 c #Conflicts: 157000 | #Constraints: 31862
942.02/944.96 c #Conflicts: 158000 | #Constraints: 32862
942.02/944.96 c #Conflicts: 159000 | #Constraints: 33862
942.02/944.96 c #Conflicts: 160000 | #Constraints: 34862
942.02/944.96 c #Conflicts: 161000 | #Constraints: 35862
942.02/944.96 c #Conflicts: 162000 | #Constraints: 36862
942.02/944.96 c #Conflicts: 163000 | #Constraints: 37862
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 164000 | #Constraints: 30822
942.02/944.96 c #Conflicts: 165000 | #Constraints: 31822
942.02/944.96 c #Conflicts: 166000 | #Constraints: 32822
942.02/944.96 c #Conflicts: 167000 | #Constraints: 33822
942.02/944.96 c #Conflicts: 168000 | #Constraints: 34822
942.02/944.96 c #Conflicts: 169000 | #Constraints: 35822
942.02/944.96 c #Conflicts: 170000 | #Constraints: 36822
942.02/944.96 c #Conflicts: 171000 | #Constraints: 37822
942.02/944.96 c INPROCESSING
942.02/944.96 c GARBAGE COLLECT
942.02/944.96 c #Conflicts: 172000 | #Constraints: 30624
942.02/944.96 c #Conflicts: 173000 | #Constraints: 31624
942.02/944.96 c #Conflicts: 174000 | #Constraints: 32624
942.02/944.96 c #Conflicts: 175000 | #Constraints: 33624
1520.11/1524.51 c #Conflicts: 176000 | #Constraints: 34624
1520.11/1524.51 c #Conflicts: 177000 | #Constraints: 35624
1520.11/1524.51 c #Conflicts: 178000 | #Constraints: 36624
1520.11/1524.51 c #Conflicts: 179000 | #Constraints: 37624
1520.11/1524.51 c #Conflicts: 180000 | #Constraints: 38624
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 181000 | #Constraints: 31183
1520.11/1524.51 c #Conflicts: 182000 | #Constraints: 32183
1520.11/1524.51 c #Conflicts: 183000 | #Constraints: 33183
1520.11/1524.51 c #Conflicts: 184000 | #Constraints: 34183
1520.11/1524.51 c #Conflicts: 185000 | #Constraints: 35183
1520.11/1524.51 c #Conflicts: 186000 | #Constraints: 36183
1520.11/1524.51 c #Conflicts: 187000 | #Constraints: 37183
1520.11/1524.51 c #Conflicts: 188000 | #Constraints: 38183
1520.11/1524.51 c #Conflicts: 189000 | #Constraints: 39183
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 190000 | #Constraints: 31615
1520.11/1524.51 c #Conflicts: 191000 | #Constraints: 32615
1520.11/1524.51 c #Conflicts: 192000 | #Constraints: 33615
1520.11/1524.51 c #Conflicts: 193000 | #Constraints: 34615
1520.11/1524.51 c #Conflicts: 194000 | #Constraints: 35615
1520.11/1524.51 c #Conflicts: 195000 | #Constraints: 36615
1520.11/1524.51 c #Conflicts: 196000 | #Constraints: 37615
1520.11/1524.51 c #Conflicts: 197000 | #Constraints: 38615
1520.11/1524.51 c #Conflicts: 198000 | #Constraints: 39615
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 199000 | #Constraints: 31816
1520.11/1524.51 c #Conflicts: 200000 | #Constraints: 32816
1520.11/1524.51 c #Conflicts: 201000 | #Constraints: 33816
1520.11/1524.51 c #Conflicts: 202000 | #Constraints: 34816
1520.11/1524.51 c #Conflicts: 203000 | #Constraints: 35816
1520.11/1524.51 c #Conflicts: 204000 | #Constraints: 36816
1520.11/1524.51 c #Conflicts: 205000 | #Constraints: 37816
1520.11/1524.51 c #Conflicts: 206000 | #Constraints: 38816
1520.11/1524.51 c #Conflicts: 207000 | #Constraints: 39816
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 208000 | #Constraints: 31905
1520.11/1524.51 c #Conflicts: 209000 | #Constraints: 32905
1520.11/1524.51 c #Conflicts: 210000 | #Constraints: 33905
1520.11/1524.51 c #Conflicts: 211000 | #Constraints: 34905
1520.11/1524.51 c #Conflicts: 212000 | #Constraints: 35905
1520.11/1524.51 c #Conflicts: 213000 | #Constraints: 36905
1520.11/1524.51 c #Conflicts: 214000 | #Constraints: 37905
1520.11/1524.51 c #Conflicts: 215000 | #Constraints: 38905
1520.11/1524.51 c #Conflicts: 216000 | #Constraints: 39905
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 217000 | #Constraints: 31616
1520.11/1524.51 c #Conflicts: 218000 | #Constraints: 32616
1520.11/1524.51 c #Conflicts: 219000 | #Constraints: 33616
1520.11/1524.51 c #Conflicts: 220000 | #Constraints: 34616
1520.11/1524.51 c #Conflicts: 221000 | #Constraints: 35616
1520.11/1524.51 c #Conflicts: 222000 | #Constraints: 36616
1520.11/1524.51 c #Conflicts: 223000 | #Constraints: 37616
1520.11/1524.51 c #Conflicts: 224000 | #Constraints: 38616
1520.11/1524.51 c #Conflicts: 225000 | #Constraints: 39616
1520.11/1524.51 c #Conflicts: 226000 | #Constraints: 40616
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 227000 | #Constraints: 32186
1520.11/1524.51 c #Conflicts: 228000 | #Constraints: 33186
1520.11/1524.51 c #Conflicts: 229000 | #Constraints: 34186
1520.11/1524.51 c #Conflicts: 230000 | #Constraints: 35186
1520.11/1524.51 c #Conflicts: 231000 | #Constraints: 36186
1520.11/1524.51 c #Conflicts: 232000 | #Constraints: 37186
1520.11/1524.51 c #Conflicts: 233000 | #Constraints: 38186
1520.11/1524.51 c #Conflicts: 234000 | #Constraints: 39186
1520.11/1524.51 c #Conflicts: 235000 | #Constraints: 40186
1520.11/1524.51 c #Conflicts: 236000 | #Constraints: 41186
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 237000 | #Constraints: 32590
1520.11/1524.51 c #Conflicts: 238000 | #Constraints: 33590
1520.11/1524.51 c #Conflicts: 239000 | #Constraints: 34590
1520.11/1524.51 c #Conflicts: 240000 | #Constraints: 35590
1520.11/1524.51 c #Conflicts: 241000 | #Constraints: 36590
1520.11/1524.51 c #Conflicts: 242000 | #Constraints: 37590
1520.11/1524.51 c #Conflicts: 243000 | #Constraints: 38590
1520.11/1524.51 c #Conflicts: 244000 | #Constraints: 39590
1520.11/1524.51 c #Conflicts: 245000 | #Constraints: 40590
1520.11/1524.51 c #Conflicts: 246000 | #Constraints: 41590
1520.11/1524.51 c INPROCESSING
1520.11/1524.51 c GARBAGE COLLECT
1520.11/1524.51 c #Conflicts: 247000 | #Constraints: 32765
1520.11/1524.51 c #Conflicts: 248000 | #Constraints: 33765
1520.11/1524.51 c #Conflicts: 249000 | #Constraints: 34765
2194.03/2200.23 c #Conflicts: 250000 | #Constraints: 35765
2194.03/2200.23 c #Conflicts: 251000 | #Constraints: 36765
2194.03/2200.23 c #Conflicts: 252000 | #Constraints: 37765
2194.03/2200.23 c #Conflicts: 253000 | #Constraints: 38765
2194.03/2200.23 c #Conflicts: 254000 | #Constraints: 39765
2194.03/2200.23 c #Conflicts: 255000 | #Constraints: 40765
2194.03/2200.23 c #Conflicts: 256000 | #Constraints: 41765
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 257000 | #Constraints: 32843
2194.03/2200.23 c #Conflicts: 258000 | #Constraints: 33843
2194.03/2200.23 c #Conflicts: 259000 | #Constraints: 34843
2194.03/2200.23 c #Conflicts: 260000 | #Constraints: 35843
2194.03/2200.23 c #Conflicts: 261000 | #Constraints: 36843
2194.03/2200.23 c #Conflicts: 262000 | #Constraints: 37843
2194.03/2200.23 c #Conflicts: 263000 | #Constraints: 38843
2194.03/2200.23 c #Conflicts: 264000 | #Constraints: 39843
2194.03/2200.23 c #Conflicts: 265000 | #Constraints: 40843
2194.03/2200.23 c #Conflicts: 266000 | #Constraints: 41843
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 267000 | #Constraints: 32796
2194.03/2200.23 c #Conflicts: 268000 | #Constraints: 33796
2194.03/2200.23 c #Conflicts: 269000 | #Constraints: 34796
2194.03/2200.23 c #Conflicts: 270000 | #Constraints: 35796
2194.03/2200.23 c #Conflicts: 271000 | #Constraints: 36796
2194.03/2200.23 c #Conflicts: 272000 | #Constraints: 37796
2194.03/2200.23 c #Conflicts: 273000 | #Constraints: 38796
2194.03/2200.23 c #Conflicts: 274000 | #Constraints: 39796
2194.03/2200.23 c #Conflicts: 275000 | #Constraints: 40796
2194.03/2200.23 c #Conflicts: 276000 | #Constraints: 41796
2194.03/2200.23 c #Conflicts: 277000 | #Constraints: 42796
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 278000 | #Constraints: 33390
2194.03/2200.23 c #Conflicts: 279000 | #Constraints: 34390
2194.03/2200.23 c #Conflicts: 280000 | #Constraints: 35390
2194.03/2200.23 c #Conflicts: 281000 | #Constraints: 36390
2194.03/2200.23 c #Conflicts: 282000 | #Constraints: 37390
2194.03/2200.23 c #Conflicts: 283000 | #Constraints: 38390
2194.03/2200.23 c #Conflicts: 284000 | #Constraints: 39390
2194.03/2200.23 c #Conflicts: 285000 | #Constraints: 40390
2194.03/2200.23 c #Conflicts: 286000 | #Constraints: 41390
2194.03/2200.23 c #Conflicts: 287000 | #Constraints: 42390
2194.03/2200.23 c #Conflicts: 288000 | #Constraints: 43390
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 289000 | #Constraints: 33787
2194.03/2200.23 c #Conflicts: 290000 | #Constraints: 34787
2194.03/2200.23 c #Conflicts: 291000 | #Constraints: 35787
2194.03/2200.23 c #Conflicts: 292000 | #Constraints: 36787
2194.03/2200.23 c #Conflicts: 293000 | #Constraints: 37787
2194.03/2200.23 c #Conflicts: 294000 | #Constraints: 38787
2194.03/2200.23 c #Conflicts: 295000 | #Constraints: 39787
2194.03/2200.23 c #Conflicts: 296000 | #Constraints: 40787
2194.03/2200.23 c #Conflicts: 297000 | #Constraints: 41787
2194.03/2200.23 c #Conflicts: 298000 | #Constraints: 42787
2194.03/2200.23 c #Conflicts: 299000 | #Constraints: 43787
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 300000 | #Constraints: 34051
2194.03/2200.23 c #Conflicts: 301000 | #Constraints: 35051
2194.03/2200.23 c #Conflicts: 302000 | #Constraints: 36051
2194.03/2200.23 c #Conflicts: 303000 | #Constraints: 37051
2194.03/2200.23 c #Conflicts: 304000 | #Constraints: 38051
2194.03/2200.23 c #Conflicts: 305000 | #Constraints: 39051
2194.03/2200.23 c #Conflicts: 306000 | #Constraints: 40051
2194.03/2200.23 c #Conflicts: 307000 | #Constraints: 41051
2194.03/2200.23 c #Conflicts: 308000 | #Constraints: 42051
2194.03/2200.23 c #Conflicts: 309000 | #Constraints: 43051
2194.03/2200.23 c #Conflicts: 310000 | #Constraints: 44051
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 311000 | #Constraints: 33959
2194.03/2200.23 c #Conflicts: 312000 | #Constraints: 34959
2194.03/2200.23 c #Conflicts: 313000 | #Constraints: 35959
2194.03/2200.23 c #Conflicts: 314000 | #Constraints: 36959
2194.03/2200.23 c #Conflicts: 315000 | #Constraints: 37959
2194.03/2200.23 c #Conflicts: 316000 | #Constraints: 38959
2194.03/2200.23 c #Conflicts: 317000 | #Constraints: 39959
2194.03/2200.23 c #Conflicts: 318000 | #Constraints: 40959
2194.03/2200.23 c #Conflicts: 319000 | #Constraints: 41959
2194.03/2200.23 c #Conflicts: 320000 | #Constraints: 42959
2194.03/2200.23 c #Conflicts: 321000 | #Constraints: 43959
2194.03/2200.23 c INPROCESSING
2194.03/2200.23 c GARBAGE COLLECT
2194.03/2200.23 c #Conflicts: 322000 | #Constraints: 33607
2194.03/2200.23 c #Conflicts: 323000 | #Constraints: 34607
2652.52/2659.93 c #Conflicts: 324000 | #Constraints: 35607
2652.52/2659.93 c #Conflicts: 325000 | #Constraints: 36607
2652.52/2659.93 c #Conflicts: 326000 | #Constraints: 37607
2652.52/2659.93 c #Conflicts: 327000 | #Constraints: 38607
2652.52/2659.93 c #Conflicts: 328000 | #Constraints: 39607
2652.52/2659.93 c #Conflicts: 329000 | #Constraints: 40607
2652.52/2659.93 c #Conflicts: 330000 | #Constraints: 41607
2652.52/2659.93 c #Conflicts: 331000 | #Constraints: 42607
2652.52/2659.93 c #Conflicts: 332000 | #Constraints: 43607
2652.52/2659.93 c #Conflicts: 333000 | #Constraints: 44607
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 334000 | #Constraints: 34258
2652.52/2659.93 c #Conflicts: 335000 | #Constraints: 35258
2652.52/2659.93 c #Conflicts: 336000 | #Constraints: 36258
2652.52/2659.93 c #Conflicts: 337000 | #Constraints: 37258
2652.52/2659.93 c #Conflicts: 338000 | #Constraints: 38258
2652.52/2659.93 c bounds 20 >= 18 @ 2306.66
2652.52/2659.93 c #Conflicts: 339000 | #Constraints: 39292
2652.52/2659.93 c #Conflicts: 340000 | #Constraints: 40292
2652.52/2659.93 c #Conflicts: 341000 | #Constraints: 41292
2652.52/2659.93 c #Conflicts: 342000 | #Constraints: 42292
2652.52/2659.93 c #Conflicts: 343000 | #Constraints: 43292
2652.52/2659.93 c #Conflicts: 344000 | #Constraints: 44292
2652.52/2659.93 c #Conflicts: 345000 | #Constraints: 45292
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 346000 | #Constraints: 34493
2652.52/2659.93 c #Conflicts: 347000 | #Constraints: 35493
2652.52/2659.93 c #Conflicts: 348000 | #Constraints: 36493
2652.52/2659.93 c #Conflicts: 349000 | #Constraints: 37493
2652.52/2659.93 c #Conflicts: 350000 | #Constraints: 38493
2652.52/2659.93 c #Conflicts: 351000 | #Constraints: 39493
2652.52/2659.93 c #Conflicts: 352000 | #Constraints: 40493
2652.52/2659.93 c #Conflicts: 353000 | #Constraints: 41493
2652.52/2659.93 c #Conflicts: 354000 | #Constraints: 42493
2652.52/2659.93 c #Conflicts: 355000 | #Constraints: 43493
2652.52/2659.93 c #Conflicts: 356000 | #Constraints: 44493
2652.52/2659.93 c #Conflicts: 357000 | #Constraints: 45493
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 358000 | #Constraints: 34811
2652.52/2659.93 c #Conflicts: 359000 | #Constraints: 35811
2652.52/2659.93 c #Conflicts: 360000 | #Constraints: 36811
2652.52/2659.93 c #Conflicts: 361000 | #Constraints: 37811
2652.52/2659.93 c #Conflicts: 362000 | #Constraints: 38811
2652.52/2659.93 c #Conflicts: 363000 | #Constraints: 39811
2652.52/2659.93 c #Conflicts: 364000 | #Constraints: 40811
2652.52/2659.93 c #Conflicts: 365000 | #Constraints: 41811
2652.52/2659.93 c #Conflicts: 366000 | #Constraints: 42811
2652.52/2659.93 c #Conflicts: 367000 | #Constraints: 43811
2652.52/2659.93 c #Conflicts: 368000 | #Constraints: 44811
2652.52/2659.93 c #Conflicts: 369000 | #Constraints: 45811
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 370000 | #Constraints: 34838
2652.52/2659.93 c #Conflicts: 371000 | #Constraints: 35838
2652.52/2659.93 c #Conflicts: 372000 | #Constraints: 36838
2652.52/2659.93 c #Conflicts: 373000 | #Constraints: 37838
2652.52/2659.93 c #Conflicts: 374000 | #Constraints: 38838
2652.52/2659.93 c #Conflicts: 375000 | #Constraints: 39838
2652.52/2659.93 c #Conflicts: 376000 | #Constraints: 40838
2652.52/2659.93 c #Conflicts: 377000 | #Constraints: 41838
2652.52/2659.93 c #Conflicts: 378000 | #Constraints: 42838
2652.52/2659.93 c #Conflicts: 379000 | #Constraints: 43838
2652.52/2659.93 c #Conflicts: 380000 | #Constraints: 44838
2652.52/2659.93 c #Conflicts: 381000 | #Constraints: 45838
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 382000 | #Constraints: 34769
2652.52/2659.93 c #Conflicts: 383000 | #Constraints: 35769
2652.52/2659.93 c #Conflicts: 384000 | #Constraints: 36769
2652.52/2659.93 c #Conflicts: 385000 | #Constraints: 37769
2652.52/2659.93 c #Conflicts: 386000 | #Constraints: 38769
2652.52/2659.93 c #Conflicts: 387000 | #Constraints: 39769
2652.52/2659.93 c #Conflicts: 388000 | #Constraints: 40769
2652.52/2659.93 c #Conflicts: 389000 | #Constraints: 41769
2652.52/2659.93 c #Conflicts: 390000 | #Constraints: 42769
2652.52/2659.93 c #Conflicts: 391000 | #Constraints: 43769
2652.52/2659.93 c #Conflicts: 392000 | #Constraints: 44769
2652.52/2659.93 c #Conflicts: 393000 | #Constraints: 45769
2652.52/2659.93 c #Conflicts: 394000 | #Constraints: 46769
2652.52/2659.93 c INPROCESSING
2652.52/2659.93 c GARBAGE COLLECT
2652.52/2659.93 c #Conflicts: 395000 | #Constraints: 35268
2652.52/2659.93 c #Conflicts: 396000 | #Constraints: 36268
2652.52/2659.93 c #Conflicts: 397000 | #Constraints: 37268
3600.03/3610.00 c #Conflicts: 398000 | #Constraints: 38268
3600.03/3610.00 c #Conflicts: 399000 | #Constraints: 39268
3600.03/3610.00 c #Conflicts: 400000 | #Constraints: 40268
3600.03/3610.00 c #Conflicts: 401000 | #Constraints: 41268
3600.03/3610.00 c #Conflicts: 402000 | #Constraints: 42268
3600.03/3610.00 c #Conflicts: 403000 | #Constraints: 43268
3600.03/3610.00 c #Conflicts: 404000 | #Constraints: 44268
3600.03/3610.00 c #Conflicts: 405000 | #Constraints: 45268
3600.03/3610.00 c #Conflicts: 406000 | #Constraints: 46268
3600.03/3610.00 c #Conflicts: 407000 | #Constraints: 47268
3600.03/3610.00 c INPROCESSING
3600.03/3610.00 c GARBAGE COLLECT
3600.03/3610.00 c #Conflicts: 408000 | #Constraints: 35648
3600.03/3610.00 c #Conflicts: 409000 | #Constraints: 36648
3600.03/3610.00 c #Conflicts: 410000 | #Constraints: 37648
3600.03/3610.00 c #Conflicts: 411000 | #Constraints: 38648
3600.03/3610.00 c #Conflicts: 412000 | #Constraints: 39648
3600.03/3610.00 c #Conflicts: 413000 | #Constraints: 40648
3600.03/3610.00 c #Conflicts: 414000 | #Constraints: 41648
3600.03/3610.00 c #Conflicts: 415000 | #Constraints: 42648
3600.03/3610.00 c #Conflicts: 416000 | #Constraints: 43648
3600.03/3610.00 c #Conflicts: 417000 | #Constraints: 44648
3600.03/3610.00 c #Conflicts: 418000 | #Constraints: 45648
3600.03/3610.00 c #Conflicts: 419000 | #Constraints: 46648
3600.03/3610.00 c #Conflicts: 420000 | #Constraints: 47648
3600.03/3610.00 c INPROCESSING
3600.03/3610.00 c GARBAGE COLLECT
3600.03/3610.00 c #Conflicts: 421000 | #Constraints: 35991
3600.03/3610.00 c #Conflicts: 422000 | #Constraints: 36991
3600.03/3610.00 c #Conflicts: 423000 | #Constraints: 37991
3600.03/3610.00 c #Conflicts: 424000 | #Constraints: 38991
3600.03/3610.00 c #Conflicts: 425000 | #Constraints: 39991
3600.03/3610.00 c #Conflicts: 426000 | #Constraints: 40991
3600.03/3610.00 c #Conflicts: 427000 | #Constraints: 41991
3600.03/3610.00 c #Conflicts: 428000 | #Constraints: 42991
3600.03/3610.00 c #Conflicts: 429000 | #Constraints: 43991
3600.03/3610.00 c #Conflicts: 430000 | #Constraints: 44991
3600.03/3610.00 c #Conflicts: 431000 | #Constraints: 45991
3600.03/3610.00 c #Conflicts: 432000 | #Constraints: 46991
3600.03/3610.00 c #Conflicts: 433000 | #Constraints: 47991
3600.03/3610.00 c INPROCESSING
3600.03/3610.00 c GARBAGE COLLECT
3600.03/3610.00 c #Conflicts: 434000 | #Constraints: 36027
3600.03/3610.00 c #Conflicts: 435000 | #Constraints: 37027
3600.03/3610.00 c #Conflicts: 436000 | #Constraints: 38027
3600.03/3610.00 c #Conflicts: 437000 | #Constraints: 39027
3600.03/3610.00 c #Conflicts: 438000 | #Constraints: 40027
3600.03/3610.00 c #Conflicts: 439000 | #Constraints: 41027
3600.03/3610.00 c #Conflicts: 440000 | #Constraints: 42027
3600.03/3610.00 c #Conflicts: 441000 | #Constraints: 43027
3600.03/3610.00 c #Conflicts: 442000 | #Constraints: 44027
3600.03/3610.00 c #Conflicts: 443000 | #Constraints: 45027
3600.03/3610.00 c #Conflicts: 444000 | #Constraints: 46027
3600.03/3610.00 c #Conflicts: 445000 | #Constraints: 47027
3600.03/3610.00 c #Conflicts: 446000 | #Constraints: 48027
3600.03/3610.00 c #Conflicts: 447000 | #Constraints: 49027
3600.03/3610.00 c #Conflicts: 448000 | #Constraints: 50027
3600.03/3610.00 c #Conflicts: 449000 | #Constraints: 51027
3600.03/3610.00 c #Conflicts: 450000 | #Constraints: 52027
3600.03/3610.00 c #Conflicts: 451000 | #Constraints: 53027
3600.03/3610.00 c #Conflicts: 452000 | #Constraints: 54027
3600.03/3610.00 c #Conflicts: 453000 | #Constraints: 55027
3600.03/3610.00 c #Conflicts: 454000 | #Constraints: 56027
3600.03/3610.00 c #Conflicts: 455000 | #Constraints: 57027
3600.03/3610.00 c #Conflicts: 456000 | #Constraints: 58027
3600.03/3610.00 c #Conflicts: 457000 | #Constraints: 59027
3600.03/3610.00 c #Conflicts: 458000 | #Constraints: 60027
3600.03/3610.00 c #Conflicts: 459000 | #Constraints: 61027
3600.03/3610.00 c #Conflicts: 460000 | #Constraints: 62027
3600.03/3610.00 c #Conflicts: 461000 | #Constraints: 63027
3600.03/3610.00 c #Conflicts: 462000 | #Constraints: 64027
3600.03/3610.00 c #Conflicts: 463000 | #Constraints: 65027
3600.03/3610.00 c #Conflicts: 464000 | #Constraints: 66027
3600.03/3610.00 c #Conflicts: 465000 | #Constraints: 67027
3600.03/3610.00 c #Conflicts: 466000 | #Constraints: 68027
3600.03/3610.00 c #Conflicts: 467000 | #Constraints: 69027
3600.03/3610.00 c #Conflicts: 468000 | #Constraints: 70027
3600.03/3610.00 c #Conflicts: 469000 | #Constraints: 71027
3600.03/3610.00 c #Conflicts: 470000 | #Constraints: 72027
3600.03/3610.00 c #Conflicts: 471000 | #Constraints: 73027
3600.03/3610.00 c #Conflicts: 472000 | #Constraints: 74027
3600.03/3610.00 c Program interrupted by user.
3600.03/3610.00 c cpu time 3587.68 s
3600.03/3610.00 c deterministic time 479918441051 4.80e+11
3600.03/3610.00 c optimization time 682.052 s
3600.03/3610.00 c total solve time 2905.59 s
3600.03/3610.00 c core-guided solve time 2905.59 s
3600.03/3610.00 c propagation time 2845.45 s
3600.03/3610.00 c conflict analysis time 712.445 s
3600.03/3610.00 c propagations 480149963
3600.03/3610.00 c resolve steps 39463471
3600.03/3610.00 c decisions 12128120
3600.03/3610.00 c conflicts 472469
3600.03/3610.00 c restarts 1022
3600.03/3610.00 c inprocessing phases 57
3600.03/3610.00 c input clauses 21311
3600.03/3610.00 c input cardinalities 62
3600.03/3610.00 c input general constraints 44
3600.03/3610.00 c input average constraint length 3.35
3600.03/3610.00 c input average constraint degree 1.35
3600.03/3610.00 c learned clauses 133528
3600.03/3610.00 c learned cardinalities 1118
3600.03/3610.00 c learned general constraints 337825
3600.03/3610.00 c learned average constraint length 850.08
3600.03/3610.00 c learned average constraint degree 23612535.18
3600.03/3610.00 c watched constraints 272062
3600.03/3610.00 c counting constraints 65807
3600.03/3610.00 c gcd simplifications 1925
3600.03/3610.00 c detected cardinalities 4
3600.03/3610.00 c weakened non-implied lits 15598038
3600.03/3610.00 c weakened non-implying lits 45335
3600.03/3610.00 c original variables 6027
3600.03/3610.00 c clausal propagations 371056209
3600.03/3610.00 c cardinality propagations 619583
3600.03/3610.00 c watched propagations 18946774
3600.03/3610.00 c counting propagations 88980116
3600.03/3610.00 c watch lookups 53557427125
3600.03/3610.00 c watch backjump lookups 45460819454
3600.03/3610.00 c watch checks 341889540244
3600.03/3610.00 c propagation checks 36212501228
3600.03/3610.00 c constraint additions 1813126600
3600.03/3610.00 c trail pops 492748316
3600.03/3610.00 c formula constraints 21278
3600.03/3610.00 c learned constraints 472471
3600.03/3610.00 c bound constraints 18
3600.03/3610.00 c core-guided constraints 121
3600.03/3610.00 c encountered formula constraints 31601689
3600.03/3610.00 c encountered learned constraints 8239115
3600.03/3610.00 c encountered bound constraints 23
3600.03/3610.00 c encountered core-guided constraints 95113
3600.03/3610.00 c LP total time 0 s
3600.03/3610.00 c LP solve time 0 s
3600.03/3610.00 c LP constraints added 0
3600.03/3610.00 c LP constraints removed 0
3600.03/3610.00 c LP pivots internal 0
3600.03/3610.00 c LP pivots root 0
3600.03/3610.00 c LP calls 0
3600.03/3610.00 c LP optimalities 0
3600.03/3610.00 c LP no pivot count 0
3600.03/3610.00 c LP infeasibilities 0
3600.03/3610.00 c LP valid Farkas constraints 0
3600.03/3610.00 c LP learned Farkas constraints 0
3600.03/3610.00 c LP basis resets 0
3600.03/3610.00 c LP cycling count 0
3600.03/3610.00 c LP singular count 0
3600.03/3610.00 c LP no primal count 0
3600.03/3610.00 c LP no farkas count 0
3600.03/3610.00 c LP other issue count 0
3600.03/3610.00 c LP Gomory cuts 0
3600.03/3610.00 c LP learned cuts 0
3600.03/3610.00 c LP deleted cuts 0
3600.03/3610.00 c LP encountered Gomory constraints 0
3600.03/3610.00 c LP encountered Farkas constraints 0
3600.03/3610.00 c LP encountered learned Farkas constraints 0
3600.03/3610.00 c CG auxiliary variables introduced 44
3600.03/3610.00 c CG solutions found 4
3600.03/3610.00 c CG cores constructed 12
3600.03/3610.00 c CG core cardinality constraints returned 0
3600.03/3610.00 c CG unit cores 0
3600.03/3610.00 c CG single cores 12
3600.03/3610.00 c CG blocks removed during cardinality reduction 0
3600.03/3610.00 c CG first core best 0
3600.03/3610.00 c CG decision core best 0
3600.03/3610.00 c CG core reduction tie 0
3600.03/3610.00 c CG core degree average 1.00
3600.03/3610.00 c CG core slack average 55.42
3600.03/3610.00 c CG exhausted 1
3600.03/3610.00 c CG exhaust time 7.85877 s
3600.03/3610.00 c CG trimmed 0
3600.03/3610.00 c CG trim time 0.00719 s
3600.03/3610.00 c CG minimized 0
3600.03/3610.00 c CG minimize time 0 s
3600.03/3610.00 c CG am1 prop time 0.006265 s
3600.03/3610.00 c CG # am1s reformulated 0
3600.03/3610.00 c CG lower bound derived from am1s 0
3600.03/3610.00 c CG # clausal cores 12
3600.03/3610.00 c CG # cardinality cores 0
3600.03/3610.00 c CG # pb cores 0
3600.03/3610.00 c CG # pb reforms 0
3600.03/3610.00 c CG # cores discarded because of pb reform 0
3600.03/3610.00 d LOWERBOUND 18
3600.03/3610.00 d NCORES 12
3600.03/3610.00 d NPBCORES 0
3600.03/3610.00 d NPBREFORM 0
3600.03/3610.00 d NTRIMMED 0
3600.03/3610.00 d NEXHAUSTED 1
3600.03/3610.00 d NAM1S 0
3600.03/3610.00 d AM1LB 0
3600.03/3610.00 o 20
3600.03/3610.00 s SATISFIABLE
3600.03/3610.00 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 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 x4035 -x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 x4497 -x4498 x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 x5940 x5941 -x5942 -x5943 -x5944 x5945 -x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 x6024 -x6025 x6026 -x6027
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: 63708 MiB (62969 MiB free)
memory of node 1: 64465 MiB (63971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497418-1751399182/watcher-4497418-1751399182 -o /tmp/evaluation-result-4497418-1751399182/solver-4497418-1751399182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58042 --watchdog 3760 pb-oll-rs HOME/instance-4497418-1751399182.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58098, runsolver pid=58083
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.00 1.18 2.08 5/265 58101
/proc/meminfo: memFree=129967496/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=23728 memory=9728 CPUtime=0.08 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 1468 0 0 0 7 1 0 0 20 0 1 0 55596042 24297472 2432 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 5932 2432 1312 243 0 2181 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23728 KiB
Current children cumulated memory: 9728 KiB
[startup+0.205629 s]*
/proc/loadavg: 1.00 1.18 2.08 6/265 58101
/proc/meminfo: memFree=129966992/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=24916 memory=13172 CPUtime=0.18 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 1802 0 0 0 17 1 0 0 20 0 1 0 55596042 25513984 3293 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 6229 3293 1344 243 0 2478 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24916 KiB
Current children cumulated memory: 13172 KiB
[startup+0.305422 s]*
/proc/loadavg: 1.00 1.18 2.08 5/265 58101
/proc/meminfo: memFree=129961888/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=25180 memory=13556 CPUtime=0.29 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 1882 0 0 0 27 2 0 0 20 0 1 0 55596042 25784320 3389 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 6295 3389 1344 243 0 2544 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25180 KiB
Current children cumulated memory: 13556 KiB
[startup+0.70015 s]
/proc/loadavg: 1.00 1.18 2.08 5/265 58101
/proc/meminfo: memFree=129957980/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=30164 memory=17396 CPUtime=0.68 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 2858 0 0 0 65 3 0 0 20 0 1 0 55596042 30887936 4349 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 7541 4349 1344 243 0 3790 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30164 KiB
Current children cumulated memory: 17396 KiB
[startup+1.50016 s]
/proc/loadavg: 1.24 1.22 2.09 5/265 58101
/proc/meminfo: memFree=129954200/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=36932 memory=23180 CPUtime=1.48 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 4373 0 0 0 143 5 0 0 20 0 1 0 55596042 37818368 5795 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 9233 5795 1344 243 0 5482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 23180 KiB
[startup+3.10586 s]
/proc/loadavg: 1.24 1.22 2.09 5/265 58101
/proc/meminfo: memFree=129900812/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=49160 memory=30800 CPUtime=3.08 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 5894 0 0 0 301 7 0 0 20 0 1 0 55596042 50339840 7700 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 12290 7700 1344 243 0 8539 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49160 KiB
Current children cumulated memory: 30800 KiB
[startup+6.30016 s]
/proc/loadavg: 1.46 1.27 2.10 5/265 58101
/proc/meminfo: memFree=129835248/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=51656 memory=38488 CPUtime=6.26 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 6930 0 0 0 612 14 0 0 20 0 1 0 55596042 52895744 9622 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 12914 9622 1344 243 0 9163 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51656 KiB
Current children cumulated memory: 38488 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.32 2.11 5/265 58101
/proc/meminfo: memFree=129778416/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=68404 memory=47552 CPUtime=12.65 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 8804 0 0 0 1241 24 0 0 20 0 1 0 55596042 70045696 11888 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 17101 11888 1344 243 0 13350 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68404 KiB
Current children cumulated memory: 47552 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.40 2.13 5/265 58101
/proc/meminfo: memFree=129672976/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=75448 memory=56236 CPUtime=25.41 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 10576 0 0 0 2507 34 0 0 20 0 1 0 55596042 77258752 14059 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 18862 14059 1344 243 0 15111 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 75448 KiB
Current children cumulated memory: 56236 KiB
[startup+51.1057 s]
/proc/loadavg: 2.87 1.67 2.19 5/265 58102
/proc/meminfo: memFree=129575528/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=85612 memory=71936 CPUtime=50.95 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 13101 0 0 0 5046 49 0 0 20 0 1 0 55596042 87666688 17984 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 21403 17984 1344 243 0 17652 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 85612 KiB
Current children cumulated memory: 71936 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.05 2.30 5/265 58104
/proc/meminfo: memFree=129475876/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=88212 memory=75496 CPUtime=101.99 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 14620 0 0 0 10102 97 0 0 20 0 1 0 55596042 90329088 18874 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 22053 18874 1344 243 0 18302 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 88212 KiB
Current children cumulated memory: 75496 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.44 2.42 5/265 58106
/proc/meminfo: memFree=129386800/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=116352 memory=89304 CPUtime=161.79 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 16815 0 0 0 16046 133 0 0 20 0 1 0 55596042 119144448 22326 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 29088 22326 1344 243 0 25337 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 116352 KiB
Current children cumulated memory: 89304 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.74 2.52 5/266 58113
/proc/meminfo: memFree=129344060/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=119968 memory=96628 CPUtime=221.6 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 17838 0 0 0 21999 161 0 0 20 0 1 0 55596042 122847232 24157 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 29992 24157 1344 243 0 26241 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 119968 KiB
Current children cumulated memory: 96628 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.99 2.62 5/265 58115
/proc/meminfo: memFree=129319204/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=121596 memory=102404 CPUtime=281.39 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 18513 0 0 0 27954 185 0 0 20 0 1 0 55596042 124514304 25601 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 30399 25601 1344 243 0 26648 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 102404 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.20 2.72 5/263 58117
/proc/meminfo: memFree=129281300/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=123324 memory=104052 CPUtime=341.19 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 19190 0 0 0 33894 225 0 0 20 0 1 0 55596042 126283776 26013 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 30831 26013 1344 243 0 27080 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 123324 KiB
Current children cumulated memory: 104052 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.37 2.81 5/263 58119
/proc/meminfo: memFree=129251664/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=126000 memory=107036 CPUtime=400.99 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 20169 0 0 0 39838 261 0 0 20 0 1 0 55596042 129024000 26759 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 31500 26759 1344 243 0 27749 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 126000 KiB
Current children cumulated memory: 107036 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.50 2.89 5/265 58126
/proc/meminfo: memFree=129219816/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=158968 memory=115436 CPUtime=460.8 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 21492 0 0 0 45783 297 0 0 20 0 1 0 55596042 162783232 28859 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 39742 28859 1344 243 0 35991 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 211524 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 58252
/proc/meminfo: memFree=128164596/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=259016 memory=212700 CPUtime=2854.38 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 35773 0 0 0 284311 1127 0 0 20 0 1 0 55596042 265232384 53175 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 64754 53175 1344 243 0 61003 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 259016 KiB
Current children cumulated memory: 212700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 58255
/proc/meminfo: memFree=128158844/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=259460 memory=212828 CPUtime=2914.21 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 35855 0 0 0 290281 1140 0 0 20 0 1 0 55596042 265687040 53207 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 64865 53207 1344 243 0 61114 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 259460 KiB
Current children cumulated memory: 212828 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 58257
/proc/meminfo: memFree=128152292/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=260764 memory=214040 CPUtime=2974.06 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 36254 0 0 0 296249 1157 0 0 20 0 1 0 55596042 267022336 53510 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 65191 53510 1344 243 0 61440 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 260764 KiB
Current children cumulated memory: 214040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 58258
/proc/meminfo: memFree=128144160/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=261756 memory=214680 CPUtime=3033.89 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 36416 0 0 0 302219 1170 0 0 20 0 1 0 55596042 268038144 53670 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 65439 53670 1344 243 0 61688 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 261756 KiB
Current children cumulated memory: 214680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 58260
/proc/meminfo: memFree=128108588/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=266464 memory=232484 CPUtime=3093.73 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 37300 0 0 0 308193 1180 0 0 20 0 1 0 55596042 272859136 58121 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 66616 58121 1344 243 0 62865 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 266464 KiB
Current children cumulated memory: 232484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/263 58262
/proc/meminfo: memFree=128063560/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=270272 memory=251984 CPUtime=3153.57 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 38097 0 0 0 314167 1190 0 0 20 0 1 0 55596042 276758528 62996 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 67568 62996 1344 243 0 63817 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 270272 KiB
Current children cumulated memory: 251984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/265 58270
/proc/meminfo: memFree=128025208/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=357452 memory=271080 CPUtime=3213.41 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 39800 0 0 0 320144 1197 0 0 20 0 1 0 55596042 366030848 67770 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 89363 67770 1344 243 0 85612 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 357452 KiB
Current children cumulated memory: 271080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/263 58272
/proc/meminfo: memFree=127983700/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=362960 memory=287828 CPUtime=3273.24 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 40914 0 0 0 326121 1203 0 0 20 0 1 0 55596042 371671040 71957 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 90740 71957 1344 243 0 86989 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 362960 KiB
Current children cumulated memory: 287828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 58274
/proc/meminfo: memFree=127950596/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=370832 memory=314272 CPUtime=3333.06 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 42129 0 0 0 332096 1210 0 0 20 0 1 0 55596042 379731968 78568 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 92708 78568 1344 243 0 88957 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 370832 KiB
Current children cumulated memory: 314272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/263 58276
/proc/meminfo: memFree=127918016/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=378388 memory=331356 CPUtime=3392.89 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 43337 0 0 0 338074 1215 0 0 20 0 1 0 55596042 387469312 82839 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 94597 82839 1344 243 0 90846 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 378388 KiB
Current children cumulated memory: 331356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 58280
/proc/meminfo: memFree=127801572/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=384852 memory=349536 CPUtime=3452.73 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 44322 0 0 0 344052 1221 0 0 20 0 1 0 55596042 394088448 87384 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 96213 87384 1344 243 0 92462 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 384852 KiB
Current children cumulated memory: 349536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/262 58283
/proc/meminfo: memFree=127748436/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=408532 memory=372468 CPUtime=3512.57 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 47496 0 0 0 350030 1227 0 0 20 0 1 0 55596042 418336768 93117 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 102133 93117 1344 243 0 98382 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 408532 KiB
Current children cumulated memory: 372468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/262 58285
/proc/meminfo: memFree=127719784/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=550076 memory=388580 CPUtime=3572.4 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 49472 0 0 0 356008 1232 0 0 20 0 1 0 55596042 563277824 97145 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 137519 97145 1344 243 0 133768 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 550076 KiB
Current children cumulated memory: 388580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.10 4.02 4/254 58303
/proc/meminfo: memFree=128735428/131249996 swapFree=33005272/33010684
[pid=58098] ppid=58083 vsize=553276 memory=396936 CPUtime=3600.03 cores=1,3
/proc/58098/stat : 58098 (pb-oll-rs) R 58083 58098 58030 0 -1 4194304 50025 0 0 0 358767 1236 0 0 20 0 1 0 55596042 566554624 99234 18446744073709551615 4218880 5211445 140725009205456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 27357184 140725009213852 140725009213929 140725009213929 140725009219531 0
/proc/58098/statm: 138319 99234 1344 243 0 134568 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 553276 KiB
Current children cumulated memory: 396936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 58098 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.68 s, system=12.3726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.05
CPU user time (s): 3587.68
CPU system time (s): 12.3726
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 553276
Max. memory (cumulated for all children) (KiB): 396936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.68
system time used= 12.3726
maximum resident set size= 397320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50041
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= 234
involuntary context switches= 5200
# summary of solver processes directly reported to runsolver:
# pid: 58098
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.68
# total CPU system time (s): 12.3726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80397 second user time and 17.8223 second system time
The end
Begin job on nodeC023 at 2025-07-01 21:46:22
IDJOB=4497418
IDBENCH=148185
IDSOLVER=3345
FILE ID=nodeC023/4497418-1751399182
RUNJOBID= nodeC023-1751399181-58042
SLURM_JOB_ID= 9598285
Free space on /tmp= 433064 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497418-1751399182/watcher-4497418-1751399182 -o /tmp/evaluation-result-4497418-1751399182/solver-4497418-1751399182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58042 --watchdog 3760 pb-oll-rs HOME/instance-4497418-1751399182.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=335551923
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.591
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.892
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.894
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.313
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3602.344
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.887
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.911
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3601.058
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129992228 kB
MemAvailable: 129726016 kB
Buffers: 1328 kB
Cached: 532060 kB
SwapCached: 416 kB
Active: 249304 kB
Inactive: 363928 kB
Active(anon): 38668 kB
Inactive(anon): 54636 kB
Active(file): 210636 kB
Inactive(file): 309292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14844 kB
Writeback: 0 kB
AnonPages: 82484 kB
Mapped: 98516 kB
Shmem: 13392 kB
KReclaimable: 106196 kB
Slab: 194580 kB
SReclaimable: 106196 kB
SUnreclaim: 88384 kB
KernelStack: 4128 kB
PageTables: 2876 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC023 at 2025-07-01 22:46:32