0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.10/0.15 c [STEP] preprocessing with Papilo
0.10/0.21 c [STEP] solving with SCIP
299.62/300.43 c [STEP] preprocessing done, loading into solver
299.62/300.47 c [STEP] solving
299.62/300.47 c #variables 6014 #constraints 21245
299.62/300.47 c SMALL=int, LARGE=long long
299.62/300.47 d SCIPUB 19
299.62/300.47 c bounds - >= 0 @ 299.502
299.62/300.47 c stratification level: 0
299.62/300.49 c bounds - >= 1 @ 299.507
299.62/300.49 c bounds - >= 2 @ 299.508
299.62/300.49 c bounds - >= 3 @ 299.509
299.62/300.49 c bounds - >= 4 @ 299.511
299.62/300.49 c bounds - >= 5 @ 299.512
299.62/300.49 c bounds - >= 6 @ 299.512
299.62/300.49 c finalizing WCE round: reformulating cores
405.46/406.55 c #Conflicts: 1000 | #Constraints: 22260
405.46/406.55 c #Conflicts: 2000 | #Constraints: 23262
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 3000 | #Constraints: 23270
405.46/406.55 c #Conflicts: 4000 | #Constraints: 24272
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 5000 | #Constraints: 23682
405.46/406.55 c bounds 18 >= 6 @ 302.478
405.46/406.55 c bounds 18 >= 7 @ 302.518
405.46/406.55 c bounds 18 >= 8 @ 302.556
405.46/406.55 c #Conflicts: 6000 | #Constraints: 24705
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 7000 | #Constraints: 23701
405.46/406.55 c #Conflicts: 8000 | #Constraints: 24701
405.46/406.55 c #Conflicts: 9000 | #Constraints: 25701
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 10000 | #Constraints: 24408
405.46/406.55 c #Conflicts: 11000 | #Constraints: 25408
405.46/406.55 c #Conflicts: 12000 | #Constraints: 26408
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 13000 | #Constraints: 24890
405.46/406.55 c #Conflicts: 14000 | #Constraints: 25890
405.46/406.55 c #Conflicts: 15000 | #Constraints: 26890
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 16000 | #Constraints: 25141
405.46/406.55 c #Conflicts: 17000 | #Constraints: 26141
405.46/406.55 c #Conflicts: 18000 | #Constraints: 27141
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 19000 | #Constraints: 25188
405.46/406.55 c #Conflicts: 20000 | #Constraints: 26188
405.46/406.55 c #Conflicts: 21000 | #Constraints: 27188
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 22000 | #Constraints: 25013
405.46/406.55 c #Conflicts: 23000 | #Constraints: 26013
405.46/406.55 c #Conflicts: 24000 | #Constraints: 27013
405.46/406.55 c #Conflicts: 25000 | #Constraints: 28013
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 26000 | #Constraints: 25654
405.46/406.55 c #Conflicts: 27000 | #Constraints: 26654
405.46/406.55 c #Conflicts: 28000 | #Constraints: 27654
405.46/406.55 c #Conflicts: 29000 | #Constraints: 28654
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 30000 | #Constraints: 26051
405.46/406.55 c #Conflicts: 31000 | #Constraints: 27051
405.46/406.55 c #Conflicts: 32000 | #Constraints: 28051
405.46/406.55 c #Conflicts: 33000 | #Constraints: 29051
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 34000 | #Constraints: 26281
405.46/406.55 c #Conflicts: 35000 | #Constraints: 27281
405.46/406.55 c #Conflicts: 36000 | #Constraints: 28281
405.46/406.55 c #Conflicts: 37000 | #Constraints: 29281
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 38000 | #Constraints: 26306
405.46/406.55 c #Conflicts: 39000 | #Constraints: 27306
405.46/406.55 c #Conflicts: 40000 | #Constraints: 28306
405.46/406.55 c #Conflicts: 41000 | #Constraints: 29306
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 42000 | #Constraints: 26170
405.46/406.55 c #Conflicts: 43000 | #Constraints: 27170
405.46/406.55 c #Conflicts: 44000 | #Constraints: 28170
405.46/406.55 c #Conflicts: 45000 | #Constraints: 29170
405.46/406.55 c #Conflicts: 46000 | #Constraints: 30170
405.46/406.55 c INPROCESSING
405.46/406.55 c GARBAGE COLLECT
405.46/406.55 c #Conflicts: 47000 | #Constraints: 26813
405.46/406.55 c #Conflicts: 48000 | #Constraints: 27813
405.46/406.55 c finalizing WCE round: reformulating cores
545.62/547.09 c #Conflicts: 49000 | #Constraints: 28818
545.62/547.09 c bounds 17 >= 8 @ 406.042
545.62/547.09 c bounds 17 >= 9 @ 409.521
545.62/547.09 c #Conflicts: 50000 | #Constraints: 29821
545.62/547.09 c #Conflicts: 51000 | #Constraints: 30821
545.62/547.09 c INPROCESSING
545.62/547.09 c GARBAGE COLLECT
545.62/547.09 c #Conflicts: 52000 | #Constraints: 27213
545.62/547.09 c bounds 17 >= 10 @ 419.799
545.62/547.09 c #Conflicts: 53000 | #Constraints: 28238
545.62/547.09 c #Conflicts: 54000 | #Constraints: 29238
545.62/547.09 c #Conflicts: 55000 | #Constraints: 30238
545.62/547.09 c #Conflicts: 56000 | #Constraints: 31238
545.62/547.09 c INPROCESSING
545.62/547.09 c GARBAGE COLLECT
545.62/547.09 c #Conflicts: 57000 | #Constraints: 27418
545.62/547.09 c #Conflicts: 58000 | #Constraints: 28418
545.62/547.09 c #Conflicts: 59000 | #Constraints: 29418
545.62/547.09 c #Conflicts: 60000 | #Constraints: 30418
545.62/547.09 c #Conflicts: 61000 | #Constraints: 31418
545.62/547.09 c INPROCESSING
545.62/547.09 c GARBAGE COLLECT
545.62/547.09 c #Conflicts: 62000 | #Constraints: 27424
545.62/547.09 c #Conflicts: 63000 | #Constraints: 28424
545.62/547.09 c #Conflicts: 64000 | #Constraints: 29424
545.62/547.09 c #Conflicts: 65000 | #Constraints: 30424
545.62/547.09 c #Conflicts: 66000 | #Constraints: 31424
545.62/547.09 c finalizing WCE round: reformulating cores
923.97/926.36 c INPROCESSING
923.97/926.36 c GARBAGE COLLECT
923.97/926.36 c #Conflicts: 67000 | #Constraints: 27242
923.97/926.36 c bounds 16 >= 10 @ 545.661
923.97/926.36 c #Conflicts: 68000 | #Constraints: 28242
923.97/926.36 c #Conflicts: 69000 | #Constraints: 29242
923.97/926.36 c #Conflicts: 70000 | #Constraints: 30242
923.97/926.36 c #Conflicts: 71000 | #Constraints: 31242
923.97/926.36 c #Conflicts: 72000 | #Constraints: 32242
923.97/926.36 c INPROCESSING
923.97/926.36 c GARBAGE COLLECT
923.97/926.36 c #Conflicts: 73000 | #Constraints: 27857
923.97/926.36 c #Conflicts: 74000 | #Constraints: 28857
923.97/926.36 c bounds 16 >= 11 @ 596.528
923.97/926.36 c #Conflicts: 75000 | #Constraints: 29882
923.97/926.36 c #Conflicts: 76000 | #Constraints: 30882
923.97/926.36 c #Conflicts: 77000 | #Constraints: 31882
923.97/926.36 c #Conflicts: 78000 | #Constraints: 32882
923.97/926.36 c INPROCESSING
923.97/926.36 c GARBAGE COLLECT
923.97/926.36 c #Conflicts: 79000 | #Constraints: 28304
923.97/926.36 c #Conflicts: 80000 | #Constraints: 29304
923.97/926.36 c #Conflicts: 81000 | #Constraints: 30304
923.97/926.36 c #Conflicts: 82000 | #Constraints: 31304
923.97/926.36 c #Conflicts: 83000 | #Constraints: 32304
923.97/926.37 c #Conflicts: 84000 | #Constraints: 33304
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 85000 | #Constraints: 28556
923.97/926.37 c #Conflicts: 86000 | #Constraints: 29556
923.97/926.37 c #Conflicts: 87000 | #Constraints: 30556
923.97/926.37 c #Conflicts: 88000 | #Constraints: 31556
923.97/926.37 c #Conflicts: 89000 | #Constraints: 32556
923.97/926.37 c #Conflicts: 90000 | #Constraints: 33556
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 91000 | #Constraints: 28563
923.97/926.37 c #Conflicts: 92000 | #Constraints: 29563
923.97/926.37 c #Conflicts: 93000 | #Constraints: 30563
923.97/926.37 c #Conflicts: 94000 | #Constraints: 31563
923.97/926.37 c #Conflicts: 95000 | #Constraints: 32563
923.97/926.37 c #Conflicts: 96000 | #Constraints: 33563
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 97000 | #Constraints: 28336
923.97/926.37 c #Conflicts: 98000 | #Constraints: 29336
923.97/926.37 c #Conflicts: 99000 | #Constraints: 30336
923.97/926.37 c #Conflicts: 100000 | #Constraints: 31336
923.97/926.37 c #Conflicts: 101000 | #Constraints: 32336
923.97/926.37 c #Conflicts: 102000 | #Constraints: 33336
923.97/926.37 c #Conflicts: 103000 | #Constraints: 34336
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 104000 | #Constraints: 28964
923.97/926.37 c #Conflicts: 105000 | #Constraints: 29964
923.97/926.37 c #Conflicts: 106000 | #Constraints: 30964
923.97/926.37 c #Conflicts: 107000 | #Constraints: 31964
923.97/926.37 c #Conflicts: 108000 | #Constraints: 32964
923.97/926.37 c #Conflicts: 109000 | #Constraints: 33964
923.97/926.37 c #Conflicts: 110000 | #Constraints: 34964
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 111000 | #Constraints: 29418
923.97/926.37 c #Conflicts: 112000 | #Constraints: 30418
923.97/926.37 c #Conflicts: 113000 | #Constraints: 31418
923.97/926.37 c #Conflicts: 114000 | #Constraints: 32418
923.97/926.37 c #Conflicts: 115000 | #Constraints: 33418
923.97/926.37 c #Conflicts: 116000 | #Constraints: 34418
923.97/926.37 c #Conflicts: 117000 | #Constraints: 35418
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 118000 | #Constraints: 29597
923.97/926.37 c #Conflicts: 119000 | #Constraints: 30597
923.97/926.37 c #Conflicts: 120000 | #Constraints: 31597
923.97/926.37 c #Conflicts: 121000 | #Constraints: 32597
923.97/926.37 c #Conflicts: 122000 | #Constraints: 33597
923.97/926.37 c #Conflicts: 123000 | #Constraints: 34597
923.97/926.37 c #Conflicts: 124000 | #Constraints: 35597
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 125000 | #Constraints: 29600
923.97/926.37 c #Conflicts: 126000 | #Constraints: 30600
923.97/926.37 c #Conflicts: 127000 | #Constraints: 31600
923.97/926.37 c #Conflicts: 128000 | #Constraints: 32600
923.97/926.37 c #Conflicts: 129000 | #Constraints: 33600
923.97/926.37 c #Conflicts: 130000 | #Constraints: 34600
923.97/926.37 c #Conflicts: 131000 | #Constraints: 35600
923.97/926.37 c INPROCESSING
923.97/926.37 c GARBAGE COLLECT
923.97/926.37 c #Conflicts: 132000 | #Constraints: 29408
923.97/926.37 c #Conflicts: 133000 | #Constraints: 30408
923.97/926.37 c #Conflicts: 134000 | #Constraints: 31408
923.97/926.37 c #Conflicts: 135000 | #Constraints: 32408
923.97/926.37 c #Conflicts: 136000 | #Constraints: 33408
923.97/926.37 c #Conflicts: 137000 | #Constraints: 34408
1534.19/1538.37 c #Conflicts: 138000 | #Constraints: 35408
1534.19/1538.37 c #Conflicts: 139000 | #Constraints: 36408
1534.19/1538.37 c INPROCESSING
1534.19/1538.37 c GARBAGE COLLECT
1534.19/1538.37 c #Conflicts: 140000 | #Constraints: 30048
1534.19/1538.37 c #Conflicts: 141000 | #Constraints: 31048
1534.19/1538.37 c #Conflicts: 142000 | #Constraints: 32048
1534.19/1538.37 c #Conflicts: 143000 | #Constraints: 33048
1534.19/1538.37 c #Conflicts: 144000 | #Constraints: 34048
1534.19/1538.37 c #Conflicts: 145000 | #Constraints: 35048
1534.19/1538.37 c #Conflicts: 146000 | #Constraints: 36048
1534.19/1538.37 c #Conflicts: 147000 | #Constraints: 37048
1534.19/1538.37 c INPROCESSING
1534.19/1538.37 c GARBAGE COLLECT
1534.19/1538.37 c #Conflicts: 148000 | #Constraints: 30481
1534.19/1538.37 c #Conflicts: 149000 | #Constraints: 31481
1534.19/1538.37 c #Conflicts: 150000 | #Constraints: 32481
1534.19/1538.37 c #Conflicts: 151000 | #Constraints: 33481
1534.19/1538.37 c #Conflicts: 152000 | #Constraints: 34481
1534.19/1538.37 c #Conflicts: 153000 | #Constraints: 35481
1534.19/1538.37 c #Conflicts: 154000 | #Constraints: 36481
1534.19/1538.37 c #Conflicts: 155000 | #Constraints: 37481
1534.19/1538.37 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 156000 | #Constraints: 30707
1534.19/1538.38 c #Conflicts: 157000 | #Constraints: 31707
1534.19/1538.38 c #Conflicts: 158000 | #Constraints: 32707
1534.19/1538.38 c #Conflicts: 159000 | #Constraints: 33707
1534.19/1538.38 c #Conflicts: 160000 | #Constraints: 34707
1534.19/1538.38 c #Conflicts: 161000 | #Constraints: 35707
1534.19/1538.38 c #Conflicts: 162000 | #Constraints: 36707
1534.19/1538.38 c #Conflicts: 163000 | #Constraints: 37707
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 164000 | #Constraints: 30706
1534.19/1538.38 c #Conflicts: 165000 | #Constraints: 31706
1534.19/1538.38 c #Conflicts: 166000 | #Constraints: 32706
1534.19/1538.38 c #Conflicts: 167000 | #Constraints: 33706
1534.19/1538.38 c #Conflicts: 168000 | #Constraints: 34706
1534.19/1538.38 c #Conflicts: 169000 | #Constraints: 35706
1534.19/1538.38 c #Conflicts: 170000 | #Constraints: 36706
1534.19/1538.38 c #Conflicts: 171000 | #Constraints: 37706
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 172000 | #Constraints: 30499
1534.19/1538.38 c #Conflicts: 173000 | #Constraints: 31499
1534.19/1538.38 c #Conflicts: 174000 | #Constraints: 32499
1534.19/1538.38 c #Conflicts: 175000 | #Constraints: 33499
1534.19/1538.38 c #Conflicts: 176000 | #Constraints: 34499
1534.19/1538.38 c #Conflicts: 177000 | #Constraints: 35499
1534.19/1538.38 c #Conflicts: 178000 | #Constraints: 36499
1534.19/1538.38 c #Conflicts: 179000 | #Constraints: 37499
1534.19/1538.38 c #Conflicts: 180000 | #Constraints: 38499
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 181000 | #Constraints: 31114
1534.19/1538.38 c #Conflicts: 182000 | #Constraints: 32114
1534.19/1538.38 c #Conflicts: 183000 | #Constraints: 33114
1534.19/1538.38 c #Conflicts: 184000 | #Constraints: 34114
1534.19/1538.38 c #Conflicts: 185000 | #Constraints: 35114
1534.19/1538.38 c #Conflicts: 186000 | #Constraints: 36114
1534.19/1538.38 c #Conflicts: 187000 | #Constraints: 37114
1534.19/1538.38 c #Conflicts: 188000 | #Constraints: 38114
1534.19/1538.38 c #Conflicts: 189000 | #Constraints: 39114
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 190000 | #Constraints: 31544
1534.19/1538.38 c #Conflicts: 191000 | #Constraints: 32544
1534.19/1538.38 c #Conflicts: 192000 | #Constraints: 33544
1534.19/1538.38 c #Conflicts: 193000 | #Constraints: 34544
1534.19/1538.38 c #Conflicts: 194000 | #Constraints: 35544
1534.19/1538.38 c #Conflicts: 195000 | #Constraints: 36544
1534.19/1538.38 c #Conflicts: 196000 | #Constraints: 37544
1534.19/1538.38 c #Conflicts: 197000 | #Constraints: 38544
1534.19/1538.38 c #Conflicts: 198000 | #Constraints: 39544
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 199000 | #Constraints: 31744
1534.19/1538.38 c #Conflicts: 200000 | #Constraints: 32744
1534.19/1538.38 c #Conflicts: 201000 | #Constraints: 33744
1534.19/1538.38 c #Conflicts: 202000 | #Constraints: 34744
1534.19/1538.38 c #Conflicts: 203000 | #Constraints: 35744
1534.19/1538.38 c #Conflicts: 204000 | #Constraints: 36744
1534.19/1538.38 c #Conflicts: 205000 | #Constraints: 37744
1534.19/1538.38 c #Conflicts: 206000 | #Constraints: 38744
1534.19/1538.38 c #Conflicts: 207000 | #Constraints: 39744
1534.19/1538.38 c INPROCESSING
1534.19/1538.38 c GARBAGE COLLECT
1534.19/1538.38 c #Conflicts: 208000 | #Constraints: 31804
1534.19/1538.38 c #Conflicts: 209000 | #Constraints: 32804
1534.19/1538.38 c #Conflicts: 210000 | #Constraints: 33804
2219.60/2225.67 c #Conflicts: 211000 | #Constraints: 34804
2219.60/2225.67 c #Conflicts: 212000 | #Constraints: 35804
2219.60/2225.67 c #Conflicts: 213000 | #Constraints: 36804
2219.60/2225.67 c #Conflicts: 214000 | #Constraints: 37804
2219.60/2225.67 c #Conflicts: 215000 | #Constraints: 38804
2219.60/2225.67 c #Conflicts: 216000 | #Constraints: 39804
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 217000 | #Constraints: 31613
2219.60/2225.67 c #Conflicts: 218000 | #Constraints: 32613
2219.60/2225.67 c #Conflicts: 219000 | #Constraints: 33613
2219.60/2225.67 c #Conflicts: 220000 | #Constraints: 34613
2219.60/2225.67 c #Conflicts: 221000 | #Constraints: 35613
2219.60/2225.67 c #Conflicts: 222000 | #Constraints: 36613
2219.60/2225.67 c #Conflicts: 223000 | #Constraints: 37613
2219.60/2225.67 c #Conflicts: 224000 | #Constraints: 38613
2219.60/2225.67 c #Conflicts: 225000 | #Constraints: 39613
2219.60/2225.67 c #Conflicts: 226000 | #Constraints: 40613
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 227000 | #Constraints: 32268
2219.60/2225.67 c #Conflicts: 228000 | #Constraints: 33268
2219.60/2225.67 c #Conflicts: 229000 | #Constraints: 34268
2219.60/2225.67 c #Conflicts: 230000 | #Constraints: 35268
2219.60/2225.67 c #Conflicts: 231000 | #Constraints: 36268
2219.60/2225.67 c #Conflicts: 232000 | #Constraints: 37268
2219.60/2225.67 c #Conflicts: 233000 | #Constraints: 38268
2219.60/2225.67 c #Conflicts: 234000 | #Constraints: 39268
2219.60/2225.67 c #Conflicts: 235000 | #Constraints: 40268
2219.60/2225.67 c #Conflicts: 236000 | #Constraints: 41268
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 237000 | #Constraints: 32678
2219.60/2225.67 c #Conflicts: 238000 | #Constraints: 33678
2219.60/2225.67 c #Conflicts: 239000 | #Constraints: 34678
2219.60/2225.67 c #Conflicts: 240000 | #Constraints: 35678
2219.60/2225.67 c #Conflicts: 241000 | #Constraints: 36678
2219.60/2225.67 c #Conflicts: 242000 | #Constraints: 37678
2219.60/2225.67 c #Conflicts: 243000 | #Constraints: 38678
2219.60/2225.67 c #Conflicts: 244000 | #Constraints: 39678
2219.60/2225.67 c #Conflicts: 245000 | #Constraints: 40678
2219.60/2225.67 c #Conflicts: 246000 | #Constraints: 41678
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 247000 | #Constraints: 32758
2219.60/2225.67 c #Conflicts: 248000 | #Constraints: 33758
2219.60/2225.67 c #Conflicts: 249000 | #Constraints: 34758
2219.60/2225.67 c #Conflicts: 250000 | #Constraints: 35758
2219.60/2225.67 c #Conflicts: 251000 | #Constraints: 36758
2219.60/2225.67 c #Conflicts: 252000 | #Constraints: 37758
2219.60/2225.67 c #Conflicts: 253000 | #Constraints: 38758
2219.60/2225.67 c #Conflicts: 254000 | #Constraints: 39758
2219.60/2225.67 c #Conflicts: 255000 | #Constraints: 40758
2219.60/2225.67 c #Conflicts: 256000 | #Constraints: 41758
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 257000 | #Constraints: 32708
2219.60/2225.67 c #Conflicts: 258000 | #Constraints: 33708
2219.60/2225.67 c #Conflicts: 259000 | #Constraints: 34708
2219.60/2225.67 c #Conflicts: 260000 | #Constraints: 35708
2219.60/2225.67 c #Conflicts: 261000 | #Constraints: 36708
2219.60/2225.67 c #Conflicts: 262000 | #Constraints: 37708
2219.60/2225.67 c #Conflicts: 263000 | #Constraints: 38708
2219.60/2225.67 c #Conflicts: 264000 | #Constraints: 39708
2219.60/2225.67 c #Conflicts: 265000 | #Constraints: 40708
2219.60/2225.67 c #Conflicts: 266000 | #Constraints: 41708
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 267000 | #Constraints: 32592
2219.60/2225.67 c #Conflicts: 268000 | #Constraints: 33592
2219.60/2225.67 c #Conflicts: 269000 | #Constraints: 34592
2219.60/2225.67 c #Conflicts: 270000 | #Constraints: 35592
2219.60/2225.67 c #Conflicts: 271000 | #Constraints: 36592
2219.60/2225.67 c #Conflicts: 272000 | #Constraints: 37592
2219.60/2225.67 c #Conflicts: 273000 | #Constraints: 38592
2219.60/2225.67 c #Conflicts: 274000 | #Constraints: 39592
2219.60/2225.67 c #Conflicts: 275000 | #Constraints: 40592
2219.60/2225.67 c #Conflicts: 276000 | #Constraints: 41592
2219.60/2225.67 c #Conflicts: 277000 | #Constraints: 42592
2219.60/2225.67 c INPROCESSING
2219.60/2225.67 c GARBAGE COLLECT
2219.60/2225.67 c #Conflicts: 278000 | #Constraints: 33277
2219.60/2225.67 c #Conflicts: 279000 | #Constraints: 34277
2219.60/2225.67 c #Conflicts: 280000 | #Constraints: 35277
2219.60/2225.67 c #Conflicts: 281000 | #Constraints: 36277
2219.60/2225.67 c #Conflicts: 282000 | #Constraints: 37277
2219.60/2225.67 c #Conflicts: 283000 | #Constraints: 38277
2219.60/2225.67 c #Conflicts: 284000 | #Constraints: 39277
2219.60/2225.67 c #Conflicts: 285000 | #Constraints: 40277
2955.82/2963.59 c #Conflicts: 286000 | #Constraints: 41277
2955.82/2963.59 c #Conflicts: 287000 | #Constraints: 42277
2955.82/2963.59 c #Conflicts: 288000 | #Constraints: 43277
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 289000 | #Constraints: 33661
2955.82/2963.59 c #Conflicts: 290000 | #Constraints: 34661
2955.82/2963.59 c #Conflicts: 291000 | #Constraints: 35661
2955.82/2963.59 c #Conflicts: 292000 | #Constraints: 36661
2955.82/2963.59 c #Conflicts: 293000 | #Constraints: 37661
2955.82/2963.59 c #Conflicts: 294000 | #Constraints: 38661
2955.82/2963.59 c #Conflicts: 295000 | #Constraints: 39661
2955.82/2963.59 c #Conflicts: 296000 | #Constraints: 40661
2955.82/2963.59 c #Conflicts: 297000 | #Constraints: 41661
2955.82/2963.59 c #Conflicts: 298000 | #Constraints: 42661
2955.82/2963.59 c #Conflicts: 299000 | #Constraints: 43661
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 300000 | #Constraints: 33884
2955.82/2963.59 c #Conflicts: 301000 | #Constraints: 34884
2955.82/2963.59 c #Conflicts: 302000 | #Constraints: 35884
2955.82/2963.59 c #Conflicts: 303000 | #Constraints: 36884
2955.82/2963.59 c #Conflicts: 304000 | #Constraints: 37884
2955.82/2963.59 c #Conflicts: 305000 | #Constraints: 38884
2955.82/2963.59 c #Conflicts: 306000 | #Constraints: 39884
2955.82/2963.59 c #Conflicts: 307000 | #Constraints: 40884
2955.82/2963.59 c #Conflicts: 308000 | #Constraints: 41884
2955.82/2963.59 c #Conflicts: 309000 | #Constraints: 42884
2955.82/2963.59 c #Conflicts: 310000 | #Constraints: 43884
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 311000 | #Constraints: 33864
2955.82/2963.59 c #Conflicts: 312000 | #Constraints: 34864
2955.82/2963.59 c #Conflicts: 313000 | #Constraints: 35864
2955.82/2963.59 c #Conflicts: 314000 | #Constraints: 36864
2955.82/2963.59 c #Conflicts: 315000 | #Constraints: 37864
2955.82/2963.59 c #Conflicts: 316000 | #Constraints: 38864
2955.82/2963.59 c #Conflicts: 317000 | #Constraints: 39864
2955.82/2963.59 c #Conflicts: 318000 | #Constraints: 40864
2955.82/2963.59 c #Conflicts: 319000 | #Constraints: 41864
2955.82/2963.59 c #Conflicts: 320000 | #Constraints: 42864
2955.82/2963.59 c #Conflicts: 321000 | #Constraints: 43864
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 322000 | #Constraints: 33697
2955.82/2963.59 c #Conflicts: 323000 | #Constraints: 34697
2955.82/2963.59 c #Conflicts: 324000 | #Constraints: 35697
2955.82/2963.59 c #Conflicts: 325000 | #Constraints: 36697
2955.82/2963.59 c #Conflicts: 326000 | #Constraints: 37697
2955.82/2963.59 c #Conflicts: 327000 | #Constraints: 38697
2955.82/2963.59 c #Conflicts: 328000 | #Constraints: 39697
2955.82/2963.59 c #Conflicts: 329000 | #Constraints: 40697
2955.82/2963.59 c #Conflicts: 330000 | #Constraints: 41697
2955.82/2963.59 c #Conflicts: 331000 | #Constraints: 42697
2955.82/2963.59 c #Conflicts: 332000 | #Constraints: 43697
2955.82/2963.59 c #Conflicts: 333000 | #Constraints: 44697
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 334000 | #Constraints: 34416
2955.82/2963.59 c #Conflicts: 335000 | #Constraints: 35416
2955.82/2963.59 c #Conflicts: 336000 | #Constraints: 36416
2955.82/2963.59 c #Conflicts: 337000 | #Constraints: 37416
2955.82/2963.59 c #Conflicts: 338000 | #Constraints: 38416
2955.82/2963.59 c #Conflicts: 339000 | #Constraints: 39416
2955.82/2963.59 c #Conflicts: 340000 | #Constraints: 40416
2955.82/2963.59 c #Conflicts: 341000 | #Constraints: 41416
2955.82/2963.59 c #Conflicts: 342000 | #Constraints: 42416
2955.82/2963.59 c #Conflicts: 343000 | #Constraints: 43416
2955.82/2963.59 c #Conflicts: 344000 | #Constraints: 44416
2955.82/2963.59 c #Conflicts: 345000 | #Constraints: 45416
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 346000 | #Constraints: 34743
2955.82/2963.59 c #Conflicts: 347000 | #Constraints: 35743
2955.82/2963.59 c #Conflicts: 348000 | #Constraints: 36743
2955.82/2963.59 c #Conflicts: 349000 | #Constraints: 37743
2955.82/2963.59 c #Conflicts: 350000 | #Constraints: 38743
2955.82/2963.59 c #Conflicts: 351000 | #Constraints: 39743
2955.82/2963.59 c #Conflicts: 352000 | #Constraints: 40743
2955.82/2963.59 c #Conflicts: 353000 | #Constraints: 41743
2955.82/2963.59 c #Conflicts: 354000 | #Constraints: 42743
2955.82/2963.59 c #Conflicts: 355000 | #Constraints: 43743
2955.82/2963.59 c #Conflicts: 356000 | #Constraints: 44743
2955.82/2963.59 c #Conflicts: 357000 | #Constraints: 45743
2955.82/2963.59 c INPROCESSING
2955.82/2963.59 c GARBAGE COLLECT
2955.82/2963.59 c #Conflicts: 358000 | #Constraints: 34885
2955.82/2963.59 c #Conflicts: 359000 | #Constraints: 35885
3600.01/3609.11 c #Conflicts: 360000 | #Constraints: 36885
3600.01/3609.11 c #Conflicts: 361000 | #Constraints: 37885
3600.01/3609.11 c #Conflicts: 362000 | #Constraints: 38885
3600.01/3609.11 c #Conflicts: 363000 | #Constraints: 39885
3600.01/3609.11 c #Conflicts: 364000 | #Constraints: 40885
3600.01/3609.11 c #Conflicts: 365000 | #Constraints: 41885
3600.01/3609.11 c #Conflicts: 366000 | #Constraints: 42885
3600.01/3609.11 c #Conflicts: 367000 | #Constraints: 43885
3600.01/3609.11 c #Conflicts: 368000 | #Constraints: 44885
3600.01/3609.11 c #Conflicts: 369000 | #Constraints: 45885
3600.01/3609.11 c INPROCESSING
3600.01/3609.11 c GARBAGE COLLECT
3600.01/3609.11 c #Conflicts: 370000 | #Constraints: 34927
3600.01/3609.11 c #Conflicts: 371000 | #Constraints: 35927
3600.01/3609.11 c #Conflicts: 372000 | #Constraints: 36927
3600.01/3609.11 c #Conflicts: 373000 | #Constraints: 37927
3600.01/3609.11 c #Conflicts: 374000 | #Constraints: 38927
3600.01/3609.11 c #Conflicts: 375000 | #Constraints: 39927
3600.01/3609.11 c #Conflicts: 376000 | #Constraints: 40927
3600.01/3609.11 c #Conflicts: 377000 | #Constraints: 41927
3600.01/3609.11 c #Conflicts: 378000 | #Constraints: 42927
3600.01/3609.11 c #Conflicts: 379000 | #Constraints: 43927
3600.01/3609.11 c #Conflicts: 380000 | #Constraints: 44927
3600.01/3609.11 c #Conflicts: 381000 | #Constraints: 45927
3600.01/3609.11 c INPROCESSING
3600.01/3609.11 c GARBAGE COLLECT
3600.01/3609.11 c #Conflicts: 382000 | #Constraints: 34672
3600.01/3609.11 c #Conflicts: 383000 | #Constraints: 35672
3600.01/3609.11 c #Conflicts: 384000 | #Constraints: 36672
3600.01/3609.11 c #Conflicts: 385000 | #Constraints: 37672
3600.01/3609.11 c #Conflicts: 386000 | #Constraints: 38672
3600.01/3609.11 c #Conflicts: 387000 | #Constraints: 39672
3600.01/3609.11 c #Conflicts: 388000 | #Constraints: 40672
3600.01/3609.11 c #Conflicts: 389000 | #Constraints: 41672
3600.01/3609.11 c #Conflicts: 390000 | #Constraints: 42672
3600.01/3609.11 c #Conflicts: 391000 | #Constraints: 43672
3600.01/3609.11 c #Conflicts: 392000 | #Constraints: 44672
3600.01/3609.11 c #Conflicts: 393000 | #Constraints: 45672
3600.01/3609.11 c #Conflicts: 394000 | #Constraints: 46672
3600.01/3609.11 c INPROCESSING
3600.01/3609.11 c GARBAGE COLLECT
3600.01/3609.11 c #Conflicts: 395000 | #Constraints: 35238
3600.01/3609.11 c #Conflicts: 396000 | #Constraints: 36238
3600.01/3609.11 c #Conflicts: 397000 | #Constraints: 37238
3600.01/3609.11 c #Conflicts: 398000 | #Constraints: 38238
3600.01/3609.11 c #Conflicts: 399000 | #Constraints: 39238
3600.01/3609.11 c #Conflicts: 400000 | #Constraints: 40238
3600.01/3609.11 c #Conflicts: 401000 | #Constraints: 41238
3600.01/3609.11 c Program interrupted by user.
3600.01/3609.11 c cpu time 3588.36 s
3600.01/3609.11 c deterministic time 366573977208 3.67e+11
3600.01/3609.11 c optimization time 109.574 s
3600.01/3609.11 c total solve time 3179.28 s
3600.01/3609.11 c core-guided solve time 3179.28 s
3600.01/3609.11 c propagation time 2560.09 s
3600.01/3609.11 c conflict analysis time 699.578 s
3600.01/3609.11 c propagations 412475066
3600.01/3609.11 c resolve steps 39689515
3600.01/3609.11 c decisions 10002511
3600.01/3609.11 c conflicts 401951
3600.01/3609.11 c restarts 982
3600.01/3609.11 c inprocessing phases 54
3600.01/3609.11 c input clauses 21269
3600.01/3609.11 c input cardinalities 47
3600.01/3609.11 c input general constraints 33
3600.01/3609.11 c input average constraint length 3.19
3600.01/3609.11 c input average constraint degree 1.27
3600.01/3609.11 c learned clauses 103280
3600.01/3609.11 c learned cardinalities 1157
3600.01/3609.11 c learned general constraints 297518
3600.01/3609.11 c learned average constraint length 1005.35
3600.01/3609.11 c learned average constraint degree 57006441.11
3600.01/3609.11 c watched constraints 245431
3600.01/3609.11 c counting constraints 52120
3600.01/3609.11 c gcd simplifications 1765
3600.01/3609.11 c detected cardinalities 7
3600.01/3609.11 c weakened non-implied lits 13938538
3600.01/3609.11 c weakened non-implying lits 74922
3600.01/3609.11 c original variables 6027
3600.01/3609.11 c clausal propagations 318212684
3600.01/3609.11 c cardinality propagations 812769
3600.01/3609.11 c watched propagations 12420638
3600.01/3609.11 c counting propagations 80399514
3600.01/3609.11 c watch lookups 49539360484
3600.01/3609.11 c watch backjump lookups 43918571400
3600.01/3609.11 c watch checks 239275128273
3600.01/3609.11 c propagation checks 31178091981
3600.01/3609.11 c constraint additions 1817470821
3600.01/3609.11 c trail pops 422876671
3600.01/3609.11 c formula constraints 21245
3600.01/3609.11 c learned constraints 401955
3600.01/3609.11 c bound constraints 14
3600.01/3609.11 c core-guided constraints 90
3600.01/3609.11 c encountered formula constraints 33289419
3600.01/3609.11 c encountered learned constraints 6733695
3600.01/3609.11 c encountered bound constraints 38
3600.01/3609.11 c encountered core-guided constraints 68314
3600.01/3609.11 c LP total time 0 s
3600.01/3609.11 c LP solve time 0 s
3600.01/3609.11 c LP constraints added 0
3600.01/3609.11 c LP constraints removed 0
3600.01/3609.11 c LP pivots internal 0
3600.01/3609.11 c LP pivots root 0
3600.01/3609.11 c LP calls 0
3600.01/3609.11 c LP optimalities 0
3600.01/3609.11 c LP no pivot count 0
3600.01/3609.11 c LP infeasibilities 0
3600.01/3609.11 c LP valid Farkas constraints 0
3600.01/3609.11 c LP learned Farkas constraints 0
3600.01/3609.11 c LP basis resets 0
3600.01/3609.11 c LP cycling count 0
3600.01/3609.11 c LP singular count 0
3600.01/3609.11 c LP no primal count 0
3600.01/3609.11 c LP no farkas count 0
3600.01/3609.11 c LP other issue count 0
3600.01/3609.11 c LP Gomory cuts 0
3600.01/3609.11 c LP learned cuts 0
3600.01/3609.11 c LP deleted cuts 0
3600.01/3609.11 c LP encountered Gomory constraints 0
3600.01/3609.11 c LP encountered Farkas constraints 0
3600.01/3609.11 c LP encountered learned Farkas constraints 0
3600.01/3609.11 c CG auxiliary variables introduced 33
3600.01/3609.11 c CG solutions found 3
3600.01/3609.11 c CG cores constructed 10
3600.01/3609.11 c CG core cardinality constraints returned 0
3600.01/3609.11 c CG unit cores 0
3600.01/3609.11 c CG single cores 10
3600.01/3609.11 c CG blocks removed during cardinality reduction 0
3600.01/3609.11 c CG first core best 0
3600.01/3609.11 c CG decision core best 0
3600.01/3609.11 c CG core reduction tie 0
3600.01/3609.11 c CG core degree average 1.00
3600.01/3609.11 c CG core slack average 65.80
3600.01/3609.11 c CG exhausted 1
3600.01/3609.11 c CG exhaust time 10.9109 s
3600.01/3609.11 c CG trimmed 1
3600.01/3609.11 c CG trim time 0.018978 s
3600.01/3609.11 c CG minimized 0
3600.01/3609.11 c CG minimize time 0 s
3600.01/3609.11 c CG am1 prop time 0.006471 s
3600.01/3609.11 c CG # am1s reformulated 0
3600.01/3609.11 c CG lower bound derived from am1s 0
3600.01/3609.11 c CG # clausal cores 10
3600.01/3609.11 c CG # cardinality cores 0
3600.01/3609.11 c CG # pb cores 0
3600.01/3609.11 c CG # pb reforms 0
3600.01/3609.11 c CG # cores discarded because of pb reform 0
3600.01/3609.11 d LOWERBOUND 11
3600.01/3609.11 d NCORES 10
3600.01/3609.11 d NPBCORES 0
3600.01/3609.11 d NPBREFORM 0
3600.01/3609.11 d NTRIMMED 1
3600.01/3609.11 d NEXHAUSTED 1
3600.01/3609.11 d NAM1S 0
3600.01/3609.11 d AM1LB 0
3600.01/3609.11 c [Papilo Statistics]
3600.01/3609.11 c prepro time 0.064909s
3600.01/3609.11 c # tsx applied 29
3600.01/3609.11 c # tsx conflicts 0
3600.01/3609.11 c # bound changes 5
3600.01/3609.11 c # side changes 18
3600.01/3609.11 c # coef changes 64
3600.01/3609.11 c # rounds 2
3600.01/3609.11 c # deted vars 14
3600.01/3609.11 c # deted constrs 33
3600.01/3609.11 c # consecutive rounds of only bound changes 0
3600.01/3609.11 c [STEP] postprocessing with Papilo
3600.01/3609.11 o 21
3600.01/3609.11 s SATISFIABLE
3600.01/3609.11 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: 64059 MiB (62767 MiB free)
memory of node 1: 64510 MiB (62996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454815-1721471683/watcher-4454815-1721471683 -o /tmp/evaluation-result-4454815-1721471683/solver-4454815-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052940 --watchdog 3760 mixed-bag HOME/instance-4454815-1721471683.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1052991, runsolver pid=1052987
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128767108/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=77536 memory=11180 CPUtime=0.1 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 1781 0 0 0 9 1 0 0 20 0 1 0 199327888 79396864 2795 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 19384 2795 1699 3002 0 3672 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77536 KiB
Current children cumulated memory: 11180 KiB
[startup+0.214046 s]*
/proc/loadavg: 1.04 1.15 1.69 7/243 1053002
/proc/meminfo: memFree=128747984/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=98808 memory=30704 CPUtime=0.22 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 6463 0 0 0 19 3 0 0 20 0 1 0 199327888 101179392 7610 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 24702 7676 3355 3002 0 8451 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 98808 KiB
Current children cumulated memory: 30704 KiB
[startup+0.314119 s]*
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128692252/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=133672 memory=66116 CPUtime=0.31 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 14938 0 0 0 26 5 0 0 20 0 1 0 199327888 136880128 16529 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 33418 16529 3787 3002 0 17167 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 133672 KiB
Current children cumulated memory: 66116 KiB
[startup+0.700307 s]
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128588596/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=153592 memory=85028 CPUtime=0.68 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 20941 0 0 0 61 7 0 0 20 0 1 0 199327888 157278208 21257 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 38398 21257 3851 3002 0 22147 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153592 KiB
Current children cumulated memory: 85028 KiB
[startup+1.50034 s]
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128213104/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=229376 memory=151436 CPUtime=1.48 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 37313 0 0 0 138 10 0 0 20 0 1 0 199327888 234881024 37859 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 57344 37859 4059 3002 0 41093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 229376 KiB
Current children cumulated memory: 151436 KiB
[startup+3.11313 s]
/proc/loadavg: 1.04 1.15 1.69 5/243 1053004
/proc/meminfo: memFree=127651640/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=254548 memory=178240 CPUtime=3.09 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 44066 0 0 0 297 12 0 0 20 0 1 0 199327888 260657152 44560 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 63637 44560 4079 3002 0 47386 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 254548 KiB
Current children cumulated memory: 178240 KiB
[startup+6.3003 s]
/proc/loadavg: 1.27 1.20 1.70 5/243 1053004
/proc/meminfo: memFree=127304496/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=295884 memory=208864 CPUtime=6.27 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 51715 0 0 0 614 13 0 0 20 0 1 0 199327888 302985216 52216 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 73971 52216 4079 3002 0 57720 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 295884 KiB
Current children cumulated memory: 208864 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.25 1.72 5/243 1053004
/proc/meminfo: memFree=126938516/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=354868 memory=258076 CPUtime=12.65 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 64183 0 0 0 1250 15 0 0 20 0 1 0 199327888 363384832 64519 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 88717 64519 4079 3002 0 72466 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 354868 KiB
Current children cumulated memory: 258076 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.38 1.75 5/243 1053007
/proc/meminfo: memFree=126864744/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=263540 CPUtime=25.42 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 65568 0 0 0 2526 16 0 0 20 0 1 0 199327888 366747648 65885 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 65885 4079 3002 0 73287 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 263540 KiB
[startup+51.1128 s]
/proc/loadavg: 2.78 1.61 1.82 5/241 1053010
/proc/meminfo: memFree=126696136/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=263624 CPUtime=50.96 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 65802 0 0 0 5079 17 0 0 20 0 1 0 199327888 366747648 65906 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 65906 4079 3002 0 73287 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 263624 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.01 1.95 5/241 1053018
/proc/meminfo: memFree=126672032/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=264220 CPUtime=102.01 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 65972 0 0 0 10184 17 0 0 20 0 1 0 199327888 366747648 66055 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 66055 4095 3002 0 73287 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 264220 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.40 2.08 5/241 1053029
/proc/meminfo: memFree=126669856/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=264324 CPUtime=161.87 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 66022 0 0 0 16169 18 0 0 20 0 1 0 199327888 366747648 66081 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 66081 4095 3002 0 73287 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 264324 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.21 5/241 1053039
/proc/meminfo: memFree=126659788/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=264404 CPUtime=221.71 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 66194 0 0 0 22153 18 0 0 20 0 1 0 199327888 366747648 66101 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 66101 4095 3002 0 73287 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 264404 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.33 5/241 1053049
/proc/meminfo: memFree=126644488/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=358152 memory=264504 CPUtime=281.56 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 66237 0 0 0 28138 18 0 0 20 0 1 0 199327888 366747648 66126 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 89538 66126 4095 3002 0 73287 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 264504 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.18 2.45 5/244 1053064
/proc/meminfo: memFree=126453136/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=372952 memory=286536 CPUtime=341.42 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 69293 0 0 0 34049 93 0 0 20 0 1 0 199327888 381902848 71634 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 93238 71634 4222 3002 0 76987 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 372952 KiB
Current children cumulated memory: 286536 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.55 5/244 1053075
/proc/meminfo: memFree=126343828/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=372952 memory=292680 CPUtime=401.27 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 69317 0 0 0 39961 166 0 0 20 0 1 0 199327888 381902848 73170 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 93238 73170 4222 3002 0 76987 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 372952 KiB
Current children cumulated memory: 292680 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.65 5/244 1053085
/proc/meminfo: memFree=126284828/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=391920 memory=309468 CPUtime=461.12 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 69470 0 0 0 45910 202 0 0 20 0 1 0 199327888 401326080 77367 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 97980 77367 4222 3002 0 81729 0
################
# More data... #
################
Current children cumulated memory: 392540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/244 1054101
/proc/meminfo: memFree=125388884/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=472828 memory=392540 CPUtime=2914.71 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 73365 0 0 0 290464 1007 0 0 20 0 1 0 199327888 484175872 98135 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 118207 98135 4222 3002 0 101956 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 472828 KiB
Current children cumulated memory: 392540 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/244 1054112
/proc/meminfo: memFree=125384516/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=472828 memory=394588 CPUtime=2974.58 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 73475 0 0 0 296431 1027 0 0 20 0 1 0 199327888 484175872 98647 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 118207 98647 4222 3002 0 101956 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 472828 KiB
Current children cumulated memory: 394588 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/244 1054504
/proc/meminfo: memFree=125382808/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=472828 memory=394588 CPUtime=3034.44 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 73617 0 0 0 302403 1041 0 0 20 0 1 0 199327888 484175872 98647 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 118207 98647 4222 3002 0 101956 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 472828 KiB
Current children cumulated memory: 394588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.13 4.08 5/242 1054516
/proc/meminfo: memFree=125336672/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=419096 CPUtime=3094.32 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 74288 0 0 0 308381 1051 0 0 20 0 1 0 199327888 567517184 104774 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 104774 4222 3002 0 122303 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 419096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/242 1054526
/proc/meminfo: memFree=125315892/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=439644 CPUtime=3154.18 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 74407 0 0 0 314352 1066 0 0 20 0 1 0 199327888 567517184 109911 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 109911 4222 3002 0 122303 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 439644 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/243 1054705
/proc/meminfo: memFree=125300428/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=439644 CPUtime=3214.05 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 74564 0 0 0 320323 1082 0 0 20 0 1 0 199327888 567517184 109911 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 109911 4222 3002 0 122303 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 439644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/244 1054717
/proc/meminfo: memFree=125298676/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=439644 CPUtime=3273.92 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 74734 0 0 0 326301 1091 0 0 20 0 1 0 199327888 567517184 109911 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 109911 4222 3002 0 122303 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 439644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/246 1054785
/proc/meminfo: memFree=125292556/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=445788 CPUtime=3333.78 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 74862 0 0 0 332267 1111 0 0 20 0 1 0 199327888 567517184 111447 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 111447 4222 3002 0 122303 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 445788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/246 1054795
/proc/meminfo: memFree=125292592/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=445788 CPUtime=3393.65 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75027 0 0 0 338245 1120 0 0 20 0 1 0 199327888 567517184 111447 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 111447 4222 3002 0 122303 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 445788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 1054806
/proc/meminfo: memFree=125292392/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=445788 CPUtime=3453.52 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75201 0 0 0 344220 1132 0 0 20 0 1 0 199327888 567517184 111447 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 111447 4222 3002 0 122303 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 445788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 1054816
/proc/meminfo: memFree=125244972/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=472412 CPUtime=3513.38 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75330 0 0 0 350193 1145 0 0 20 0 1 0 199327888 567517184 118103 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 118103 4222 3002 0 122303 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 472412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/243 1054827
/proc/meminfo: memFree=125244704/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=472412 CPUtime=3573.25 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75495 0 0 0 356165 1160 0 0 20 0 1 0 199327888 567517184 118103 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 118103 4222 3002 0 122303 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 472412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.14 4.12 4.09 4/241 1054833
/proc/meminfo: memFree=126032360/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=472412 CPUtime=3600.01 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75595 0 0 0 358836 1165 0 0 20 0 1 0 199327888 567517184 118103 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 118103 4222 3002 0 122303 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 472412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1052991 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.37 s, system=11.6558 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.14 4.12 4.09 4/241 1054833
/proc/meminfo: memFree=126032360/131655788 swapFree=131071996/131071996
[pid=1052991] ppid=1052987 vsize=554216 memory=472412 CPUtime=3600.01 cores=4,6
/proc/1052991/stat : 1052991 (mixed-bag) R 1052987 1052991 1052929 0 -1 4194304 75595 0 0 0 358836 1165 0 0 20 0 1 0 199327888 567517184 118103 134679101440 4194304 16488053 140724240853696 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53268480 140724240856085 140724240856162 140724240856162 140724240863179 0
/proc/1052991/statm: 138554 118103 4222 3002 0 122303 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 554216 KiB
Current children cumulated memory: 472412 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.02
CPU user time (s): 3588.37
CPU system time (s): 11.6558
CPU usage (%): 99.7479
Max. virtual memory (cumulated for all children) (KiB): 554216
Max. memory (cumulated for all children) (KiB): 472412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.37
system time used= 11.6558
maximum resident set size= 473252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75624
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= 105
involuntary context switches= 1433
# summary of solver processes directly reported to runsolver:
# pid: 1052991
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.37
# total CPU system time (s): 11.6558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4011 second user time and 35.5996 second system time
The end
Begin job on nodeC009 at 2024-07-20 12:34:55
IDJOB=4454815
IDBENCH=148185
IDSOLVER=3083
FILE ID=nodeC009/4454815-1721471683
RUNJOBID= nodeC009-1721471695-1052940
SLURM_JOB_ID= 7545739
Free space on /tmp= 723764 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454815-1721471683/watcher-4454815-1721471683 -o /tmp/evaluation-result-4454815-1721471683/solver-4454815-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052940 --watchdog 3760 mixed-bag HOME/instance-4454815-1721471683.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1484410279
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1197.440
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 1197.373
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1197.421
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 3421.796
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 0xb00001f
cpu MHz : 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 0xb00001f
cpu MHz : 1197.350
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128792116 kB
MemAvailable: 129894988 kB
Buffers: 606612 kB
Cached: 1339420 kB
SwapCached: 0 kB
Active: 1180760 kB
Inactive: 1127092 kB
Active(anon): 1364 kB
Inactive(anon): 406036 kB
Active(file): 1179396 kB
Inactive(file): 721056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 73148 kB
Writeback: 8 kB
AnonPages: 361608 kB
Mapped: 109768 kB
Shmem: 45892 kB
KReclaimable: 84900 kB
Slab: 186544 kB
SReclaimable: 84900 kB
SUnreclaim: 101644 kB
KernelStack: 3632 kB
PageTables: 9516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 754180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC009 at 2024-07-20 13:35:04