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.11 c [STEP] preprocessing with Papilo
0.10/0.17 c [STEP] solving with SCIP
299.18/300.41 c [STEP] preprocessing done, loading into solver
299.18/300.49 c [STEP] solving
299.18/300.49 c #variables 12914 #constraints 47832
299.18/300.49 c SMALL=int, LARGE=long long
299.18/300.49 c bounds - >= 0 @ 299.072
299.18/300.49 c stratification level: 0
509.59/511.63 c bounds - >= 1 @ 299.083
509.59/511.63 c bounds - >= 2 @ 299.084
509.59/511.63 c bounds - >= 3 @ 299.086
509.59/511.63 c bounds - >= 4 @ 299.087
509.59/511.63 c bounds - >= 5 @ 299.099
509.59/511.63 c bounds - >= 6 @ 299.1
509.59/511.63 c bounds - >= 7 @ 299.102
509.59/511.63 c #Conflicts: 1000 | #Constraints: 48843
509.59/511.63 c #Conflicts: 2000 | #Constraints: 49843
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 3000 | #Constraints: 49845
509.59/511.63 c #Conflicts: 4000 | #Constraints: 50845
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 5000 | #Constraints: 50252
509.59/511.63 c #Conflicts: 6000 | #Constraints: 51252
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 7000 | #Constraints: 50259
509.59/511.63 c #Conflicts: 8000 | #Constraints: 51259
509.59/511.63 c #Conflicts: 9000 | #Constraints: 52259
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 10000 | #Constraints: 50966
509.59/511.63 c #Conflicts: 11000 | #Constraints: 51966
509.59/511.63 c #Conflicts: 12000 | #Constraints: 52966
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 13000 | #Constraints: 51418
509.59/511.63 c #Conflicts: 14000 | #Constraints: 52418
509.59/511.63 c #Conflicts: 15000 | #Constraints: 53418
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 16000 | #Constraints: 51656
509.59/511.63 c #Conflicts: 17000 | #Constraints: 52656
509.59/511.63 c #Conflicts: 18000 | #Constraints: 53656
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 19000 | #Constraints: 51665
509.59/511.63 c #Conflicts: 20000 | #Constraints: 52665
509.59/511.63 c #Conflicts: 21000 | #Constraints: 53665
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 22000 | #Constraints: 51489
509.59/511.63 c #Conflicts: 23000 | #Constraints: 52489
509.59/511.63 c #Conflicts: 24000 | #Constraints: 53489
509.59/511.63 c #Conflicts: 25000 | #Constraints: 54489
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 26000 | #Constraints: 52090
509.59/511.63 c #Conflicts: 27000 | #Constraints: 53090
509.59/511.63 c #Conflicts: 28000 | #Constraints: 54090
509.59/511.63 c #Conflicts: 29000 | #Constraints: 55090
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 30000 | #Constraints: 52483
509.59/511.63 c #Conflicts: 31000 | #Constraints: 53483
509.59/511.63 c #Conflicts: 32000 | #Constraints: 54483
509.59/511.63 c #Conflicts: 33000 | #Constraints: 55483
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 34000 | #Constraints: 52684
509.59/511.63 c #Conflicts: 35000 | #Constraints: 53684
509.59/511.63 c #Conflicts: 36000 | #Constraints: 54684
509.59/511.63 c #Conflicts: 37000 | #Constraints: 55684
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 38000 | #Constraints: 52689
509.59/511.63 c #Conflicts: 39000 | #Constraints: 53689
509.59/511.63 c #Conflicts: 40000 | #Constraints: 54689
509.59/511.63 c #Conflicts: 41000 | #Constraints: 55689
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 42000 | #Constraints: 52489
509.59/511.63 c #Conflicts: 43000 | #Constraints: 53489
509.59/511.63 c #Conflicts: 44000 | #Constraints: 54489
509.59/511.63 c #Conflicts: 45000 | #Constraints: 55489
509.59/511.63 c #Conflicts: 46000 | #Constraints: 56489
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 47000 | #Constraints: 53086
509.59/511.63 c #Conflicts: 48000 | #Constraints: 54086
509.59/511.63 c #Conflicts: 49000 | #Constraints: 55086
509.59/511.63 c #Conflicts: 50000 | #Constraints: 56086
509.59/511.63 c #Conflicts: 51000 | #Constraints: 57086
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 52000 | #Constraints: 53489
509.59/511.63 c #Conflicts: 53000 | #Constraints: 54489
509.59/511.63 c #Conflicts: 54000 | #Constraints: 55489
509.59/511.63 c #Conflicts: 55000 | #Constraints: 56489
509.59/511.63 c #Conflicts: 56000 | #Constraints: 57489
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 57000 | #Constraints: 53708
509.59/511.63 c #Conflicts: 58000 | #Constraints: 54708
509.59/511.63 c #Conflicts: 59000 | #Constraints: 55708
509.59/511.63 c #Conflicts: 60000 | #Constraints: 56708
509.59/511.63 c #Conflicts: 61000 | #Constraints: 57708
509.59/511.63 c INPROCESSING
509.59/511.63 c GARBAGE COLLECT
509.59/511.63 c #Conflicts: 62000 | #Constraints: 53701
509.59/511.63 c #Conflicts: 63000 | #Constraints: 54701
509.59/511.63 c #Conflicts: 64000 | #Constraints: 55701
509.59/511.63 c #Conflicts: 65000 | #Constraints: 56701
866.85/870.20 c #Conflicts: 66000 | #Constraints: 57701
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 67000 | #Constraints: 53499
866.85/870.20 c #Conflicts: 68000 | #Constraints: 54499
866.85/870.20 c #Conflicts: 69000 | #Constraints: 55499
866.85/870.20 c #Conflicts: 70000 | #Constraints: 56499
866.85/870.20 c #Conflicts: 71000 | #Constraints: 57499
866.85/870.20 c #Conflicts: 72000 | #Constraints: 58499
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 73000 | #Constraints: 54096
866.85/870.20 c #Conflicts: 74000 | #Constraints: 55096
866.85/870.20 c #Conflicts: 75000 | #Constraints: 56096
866.85/870.20 c #Conflicts: 76000 | #Constraints: 57096
866.85/870.20 c #Conflicts: 77000 | #Constraints: 58096
866.85/870.20 c #Conflicts: 78000 | #Constraints: 59096
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 79000 | #Constraints: 54513
866.85/870.20 c #Conflicts: 80000 | #Constraints: 55513
866.85/870.20 c #Conflicts: 81000 | #Constraints: 56513
866.85/870.20 c #Conflicts: 82000 | #Constraints: 57513
866.85/870.20 c #Conflicts: 83000 | #Constraints: 58513
866.85/870.20 c #Conflicts: 84000 | #Constraints: 59513
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 85000 | #Constraints: 54702
866.85/870.20 c #Conflicts: 86000 | #Constraints: 55702
866.85/870.20 c #Conflicts: 87000 | #Constraints: 56702
866.85/870.20 c #Conflicts: 88000 | #Constraints: 57702
866.85/870.20 c #Conflicts: 89000 | #Constraints: 58702
866.85/870.20 c #Conflicts: 90000 | #Constraints: 59702
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 91000 | #Constraints: 54716
866.85/870.20 c #Conflicts: 92000 | #Constraints: 55716
866.85/870.20 c #Conflicts: 93000 | #Constraints: 56716
866.85/870.20 c #Conflicts: 94000 | #Constraints: 57716
866.85/870.20 c #Conflicts: 95000 | #Constraints: 58716
866.85/870.20 c #Conflicts: 96000 | #Constraints: 59716
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 97000 | #Constraints: 54554
866.85/870.20 c #Conflicts: 98000 | #Constraints: 55554
866.85/870.20 c #Conflicts: 99000 | #Constraints: 56554
866.85/870.20 c #Conflicts: 100000 | #Constraints: 57554
866.85/870.20 c #Conflicts: 101000 | #Constraints: 58554
866.85/870.20 c #Conflicts: 102000 | #Constraints: 59554
866.85/870.20 c #Conflicts: 103000 | #Constraints: 60554
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 104000 | #Constraints: 55145
866.85/870.20 c #Conflicts: 105000 | #Constraints: 56145
866.85/870.20 c #Conflicts: 106000 | #Constraints: 57145
866.85/870.20 c #Conflicts: 107000 | #Constraints: 58145
866.85/870.20 c #Conflicts: 108000 | #Constraints: 59145
866.85/870.20 c #Conflicts: 109000 | #Constraints: 60145
866.85/870.20 c #Conflicts: 110000 | #Constraints: 61145
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 111000 | #Constraints: 55523
866.85/870.20 c #Conflicts: 112000 | #Constraints: 56523
866.85/870.20 c #Conflicts: 113000 | #Constraints: 57523
866.85/870.20 c #Conflicts: 114000 | #Constraints: 58523
866.85/870.20 c #Conflicts: 115000 | #Constraints: 59523
866.85/870.20 c #Conflicts: 116000 | #Constraints: 60523
866.85/870.20 c #Conflicts: 117000 | #Constraints: 61523
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 118000 | #Constraints: 55757
866.85/870.20 c #Conflicts: 119000 | #Constraints: 56757
866.85/870.20 c #Conflicts: 120000 | #Constraints: 57757
866.85/870.20 c #Conflicts: 121000 | #Constraints: 58757
866.85/870.20 c #Conflicts: 122000 | #Constraints: 59757
866.85/870.20 c #Conflicts: 123000 | #Constraints: 60757
866.85/870.20 c #Conflicts: 124000 | #Constraints: 61757
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 125000 | #Constraints: 55754
866.85/870.20 c #Conflicts: 126000 | #Constraints: 56754
866.85/870.20 c #Conflicts: 127000 | #Constraints: 57754
866.85/870.20 c #Conflicts: 128000 | #Constraints: 58754
866.85/870.20 c #Conflicts: 129000 | #Constraints: 59754
866.85/870.20 c #Conflicts: 130000 | #Constraints: 60754
866.85/870.20 c #Conflicts: 131000 | #Constraints: 61754
866.85/870.20 c INPROCESSING
866.85/870.20 c GARBAGE COLLECT
866.85/870.20 c #Conflicts: 132000 | #Constraints: 55541
866.85/870.20 c #Conflicts: 133000 | #Constraints: 56541
866.85/870.20 c #Conflicts: 134000 | #Constraints: 57541
866.85/870.20 c #Conflicts: 135000 | #Constraints: 58541
866.85/870.20 c #Conflicts: 136000 | #Constraints: 59541
866.85/870.20 c #Conflicts: 137000 | #Constraints: 60541
1223.65/1228.35 c #Conflicts: 138000 | #Constraints: 61541
1223.65/1228.35 c #Conflicts: 139000 | #Constraints: 62541
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 140000 | #Constraints: 56135
1223.65/1228.35 c #Conflicts: 141000 | #Constraints: 57135
1223.65/1228.35 c #Conflicts: 142000 | #Constraints: 58135
1223.65/1228.35 c #Conflicts: 143000 | #Constraints: 59135
1223.65/1228.35 c #Conflicts: 144000 | #Constraints: 60135
1223.65/1228.35 c #Conflicts: 145000 | #Constraints: 61135
1223.65/1228.35 c #Conflicts: 146000 | #Constraints: 62135
1223.65/1228.35 c #Conflicts: 147000 | #Constraints: 63135
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 148000 | #Constraints: 56538
1223.65/1228.35 c #Conflicts: 149000 | #Constraints: 57538
1223.65/1228.35 c #Conflicts: 150000 | #Constraints: 58538
1223.65/1228.35 c #Conflicts: 151000 | #Constraints: 59538
1223.65/1228.35 c #Conflicts: 152000 | #Constraints: 60538
1223.65/1228.35 c #Conflicts: 153000 | #Constraints: 61538
1223.65/1228.35 c #Conflicts: 154000 | #Constraints: 62538
1223.65/1228.35 c #Conflicts: 155000 | #Constraints: 63538
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 156000 | #Constraints: 56717
1223.65/1228.35 c #Conflicts: 157000 | #Constraints: 57717
1223.65/1228.35 c #Conflicts: 158000 | #Constraints: 58717
1223.65/1228.35 c #Conflicts: 159000 | #Constraints: 59717
1223.65/1228.35 c #Conflicts: 160000 | #Constraints: 60717
1223.65/1228.35 c #Conflicts: 161000 | #Constraints: 61717
1223.65/1228.35 c #Conflicts: 162000 | #Constraints: 62717
1223.65/1228.35 c #Conflicts: 163000 | #Constraints: 63717
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 164000 | #Constraints: 56705
1223.65/1228.35 c #Conflicts: 165000 | #Constraints: 57705
1223.65/1228.35 c #Conflicts: 166000 | #Constraints: 58705
1223.65/1228.35 c #Conflicts: 167000 | #Constraints: 59705
1223.65/1228.35 c #Conflicts: 168000 | #Constraints: 60705
1223.65/1228.35 c #Conflicts: 169000 | #Constraints: 61705
1223.65/1228.35 c #Conflicts: 170000 | #Constraints: 62705
1223.65/1228.35 c #Conflicts: 171000 | #Constraints: 63705
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 172000 | #Constraints: 56493
1223.65/1228.35 c #Conflicts: 173000 | #Constraints: 57493
1223.65/1228.35 c #Conflicts: 174000 | #Constraints: 58493
1223.65/1228.35 c #Conflicts: 175000 | #Constraints: 59493
1223.65/1228.35 c #Conflicts: 176000 | #Constraints: 60493
1223.65/1228.35 c #Conflicts: 177000 | #Constraints: 61493
1223.65/1228.35 c #Conflicts: 178000 | #Constraints: 62493
1223.65/1228.35 c #Conflicts: 179000 | #Constraints: 63493
1223.65/1228.35 c #Conflicts: 180000 | #Constraints: 64493
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 181000 | #Constraints: 57090
1223.65/1228.35 c #Conflicts: 182000 | #Constraints: 58090
1223.65/1228.35 c #Conflicts: 183000 | #Constraints: 59090
1223.65/1228.35 c #Conflicts: 184000 | #Constraints: 60090
1223.65/1228.35 c #Conflicts: 185000 | #Constraints: 61090
1223.65/1228.35 c #Conflicts: 186000 | #Constraints: 62090
1223.65/1228.35 c #Conflicts: 187000 | #Constraints: 63090
1223.65/1228.35 c #Conflicts: 188000 | #Constraints: 64090
1223.65/1228.35 c #Conflicts: 189000 | #Constraints: 65090
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 190000 | #Constraints: 57498
1223.65/1228.35 c #Conflicts: 191000 | #Constraints: 58498
1223.65/1228.35 c #Conflicts: 192000 | #Constraints: 59498
1223.65/1228.35 c #Conflicts: 193000 | #Constraints: 60498
1223.65/1228.35 c #Conflicts: 194000 | #Constraints: 61498
1223.65/1228.35 c #Conflicts: 195000 | #Constraints: 62498
1223.65/1228.35 c #Conflicts: 196000 | #Constraints: 63498
1223.65/1228.35 c #Conflicts: 197000 | #Constraints: 64498
1223.65/1228.35 c #Conflicts: 198000 | #Constraints: 65498
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 199000 | #Constraints: 57704
1223.65/1228.35 c #Conflicts: 200000 | #Constraints: 58704
1223.65/1228.35 c #Conflicts: 201000 | #Constraints: 59704
1223.65/1228.35 c #Conflicts: 202000 | #Constraints: 60704
1223.65/1228.35 c #Conflicts: 203000 | #Constraints: 61704
1223.65/1228.35 c #Conflicts: 204000 | #Constraints: 62704
1223.65/1228.35 c #Conflicts: 205000 | #Constraints: 63704
1223.65/1228.35 c #Conflicts: 206000 | #Constraints: 64704
1223.65/1228.35 c #Conflicts: 207000 | #Constraints: 65704
1223.65/1228.35 c INPROCESSING
1223.65/1228.35 c GARBAGE COLLECT
1223.65/1228.35 c #Conflicts: 208000 | #Constraints: 57707
1223.65/1228.35 c #Conflicts: 209000 | #Constraints: 58707
1223.65/1228.35 c #Conflicts: 210000 | #Constraints: 59707
1586.37/1592.20 c #Conflicts: 211000 | #Constraints: 60707
1586.37/1592.20 c #Conflicts: 212000 | #Constraints: 61707
1586.37/1592.20 c #Conflicts: 213000 | #Constraints: 62707
1586.37/1592.20 c #Conflicts: 214000 | #Constraints: 63707
1586.37/1592.20 c #Conflicts: 215000 | #Constraints: 64707
1586.37/1592.20 c #Conflicts: 216000 | #Constraints: 65707
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 217000 | #Constraints: 57496
1586.37/1592.20 c #Conflicts: 218000 | #Constraints: 58496
1586.37/1592.20 c #Conflicts: 219000 | #Constraints: 59496
1586.37/1592.20 c #Conflicts: 220000 | #Constraints: 60496
1586.37/1592.20 c #Conflicts: 221000 | #Constraints: 61496
1586.37/1592.20 c #Conflicts: 222000 | #Constraints: 62496
1586.37/1592.20 c #Conflicts: 223000 | #Constraints: 63496
1586.37/1592.20 c #Conflicts: 224000 | #Constraints: 64496
1586.37/1592.20 c #Conflicts: 225000 | #Constraints: 65496
1586.37/1592.20 c #Conflicts: 226000 | #Constraints: 66496
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 227000 | #Constraints: 58114
1586.37/1592.20 c #Conflicts: 228000 | #Constraints: 59114
1586.37/1592.20 c #Conflicts: 229000 | #Constraints: 60114
1586.37/1592.20 c #Conflicts: 230000 | #Constraints: 61114
1586.37/1592.20 c #Conflicts: 231000 | #Constraints: 62114
1586.37/1592.20 c #Conflicts: 232000 | #Constraints: 63114
1586.37/1592.20 c #Conflicts: 233000 | #Constraints: 64114
1586.37/1592.20 c #Conflicts: 234000 | #Constraints: 65114
1586.37/1592.20 c #Conflicts: 235000 | #Constraints: 66114
1586.37/1592.20 c #Conflicts: 236000 | #Constraints: 67114
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 237000 | #Constraints: 58512
1586.37/1592.20 c #Conflicts: 238000 | #Constraints: 59512
1586.37/1592.20 c #Conflicts: 239000 | #Constraints: 60512
1586.37/1592.20 c #Conflicts: 240000 | #Constraints: 61512
1586.37/1592.20 c #Conflicts: 241000 | #Constraints: 62512
1586.37/1592.20 c #Conflicts: 242000 | #Constraints: 63512
1586.37/1592.20 c #Conflicts: 243000 | #Constraints: 64512
1586.37/1592.20 c #Conflicts: 244000 | #Constraints: 65512
1586.37/1592.20 c #Conflicts: 245000 | #Constraints: 66512
1586.37/1592.20 c #Conflicts: 246000 | #Constraints: 67512
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 247000 | #Constraints: 58717
1586.37/1592.20 c #Conflicts: 248000 | #Constraints: 59717
1586.37/1592.20 c #Conflicts: 249000 | #Constraints: 60717
1586.37/1592.20 c #Conflicts: 250000 | #Constraints: 61717
1586.37/1592.20 c #Conflicts: 251000 | #Constraints: 62717
1586.37/1592.20 c #Conflicts: 252000 | #Constraints: 63717
1586.37/1592.20 c #Conflicts: 253000 | #Constraints: 64717
1586.37/1592.20 c #Conflicts: 254000 | #Constraints: 65717
1586.37/1592.20 c #Conflicts: 255000 | #Constraints: 66717
1586.37/1592.20 c #Conflicts: 256000 | #Constraints: 67717
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 257000 | #Constraints: 58733
1586.37/1592.20 c #Conflicts: 258000 | #Constraints: 59733
1586.37/1592.20 c #Conflicts: 259000 | #Constraints: 60733
1586.37/1592.20 c #Conflicts: 260000 | #Constraints: 61733
1586.37/1592.20 c #Conflicts: 261000 | #Constraints: 62733
1586.37/1592.20 c #Conflicts: 262000 | #Constraints: 63733
1586.37/1592.20 c #Conflicts: 263000 | #Constraints: 64733
1586.37/1592.20 c #Conflicts: 264000 | #Constraints: 65733
1586.37/1592.20 c #Conflicts: 265000 | #Constraints: 66733
1586.37/1592.20 c #Conflicts: 266000 | #Constraints: 67733
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 267000 | #Constraints: 58530
1586.37/1592.20 c #Conflicts: 268000 | #Constraints: 59530
1586.37/1592.20 c #Conflicts: 269000 | #Constraints: 60530
1586.37/1592.20 c #Conflicts: 270000 | #Constraints: 61530
1586.37/1592.20 c #Conflicts: 271000 | #Constraints: 62530
1586.37/1592.20 c #Conflicts: 272000 | #Constraints: 63530
1586.37/1592.20 c #Conflicts: 273000 | #Constraints: 64530
1586.37/1592.20 c #Conflicts: 274000 | #Constraints: 65530
1586.37/1592.20 c #Conflicts: 275000 | #Constraints: 66530
1586.37/1592.20 c #Conflicts: 276000 | #Constraints: 67530
1586.37/1592.20 c #Conflicts: 277000 | #Constraints: 68530
1586.37/1592.20 c INPROCESSING
1586.37/1592.20 c GARBAGE COLLECT
1586.37/1592.20 c #Conflicts: 278000 | #Constraints: 59119
1586.37/1592.20 c #Conflicts: 279000 | #Constraints: 60119
1586.37/1592.20 c #Conflicts: 280000 | #Constraints: 61119
1586.37/1592.20 c #Conflicts: 281000 | #Constraints: 62119
1586.37/1592.20 c #Conflicts: 282000 | #Constraints: 63119
1586.37/1592.20 c #Conflicts: 283000 | #Constraints: 64119
1586.37/1592.20 c #Conflicts: 284000 | #Constraints: 65119
1838.20/1844.95 c #Conflicts: 285000 | #Constraints: 66119
1838.20/1844.95 c #Conflicts: 286000 | #Constraints: 67119
1838.20/1844.95 c #Conflicts: 287000 | #Constraints: 68119
1838.20/1844.95 c #Conflicts: 288000 | #Constraints: 69119
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 289000 | #Constraints: 59510
1838.20/1844.95 c #Conflicts: 290000 | #Constraints: 60510
1838.20/1844.95 c #Conflicts: 291000 | #Constraints: 61510
1838.20/1844.95 c #Conflicts: 292000 | #Constraints: 62510
1838.20/1844.95 c #Conflicts: 293000 | #Constraints: 63510
1838.20/1844.95 c #Conflicts: 294000 | #Constraints: 64510
1838.20/1844.95 c #Conflicts: 295000 | #Constraints: 65510
1838.20/1844.95 c #Conflicts: 296000 | #Constraints: 66510
1838.20/1844.95 c #Conflicts: 297000 | #Constraints: 67510
1838.20/1844.95 c #Conflicts: 298000 | #Constraints: 68510
1838.20/1844.95 c #Conflicts: 299000 | #Constraints: 69510
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 300000 | #Constraints: 59704
1838.20/1844.95 c #Conflicts: 301000 | #Constraints: 60704
1838.20/1844.95 c #Conflicts: 302000 | #Constraints: 61704
1838.20/1844.95 c #Conflicts: 303000 | #Constraints: 62704
1838.20/1844.95 c #Conflicts: 304000 | #Constraints: 63704
1838.20/1844.95 c #Conflicts: 305000 | #Constraints: 64704
1838.20/1844.95 c #Conflicts: 306000 | #Constraints: 65704
1838.20/1844.95 c #Conflicts: 307000 | #Constraints: 66704
1838.20/1844.95 c #Conflicts: 308000 | #Constraints: 67704
1838.20/1844.95 c #Conflicts: 309000 | #Constraints: 68704
1838.20/1844.95 c #Conflicts: 310000 | #Constraints: 69704
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 311000 | #Constraints: 59703
1838.20/1844.95 c #Conflicts: 312000 | #Constraints: 60703
1838.20/1844.95 c #Conflicts: 313000 | #Constraints: 61703
1838.20/1844.95 c #Conflicts: 314000 | #Constraints: 62703
1838.20/1844.95 c #Conflicts: 315000 | #Constraints: 63703
1838.20/1844.95 c #Conflicts: 316000 | #Constraints: 64703
1838.20/1844.95 c #Conflicts: 317000 | #Constraints: 65703
1838.20/1844.95 c #Conflicts: 318000 | #Constraints: 66703
1838.20/1844.95 c #Conflicts: 319000 | #Constraints: 67703
1838.20/1844.95 c #Conflicts: 320000 | #Constraints: 68703
1838.20/1844.95 c #Conflicts: 321000 | #Constraints: 69703
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 322000 | #Constraints: 59513
1838.20/1844.95 c #Conflicts: 323000 | #Constraints: 60513
1838.20/1844.95 c #Conflicts: 324000 | #Constraints: 61513
1838.20/1844.95 c #Conflicts: 325000 | #Constraints: 62513
1838.20/1844.95 c #Conflicts: 326000 | #Constraints: 63513
1838.20/1844.95 c #Conflicts: 327000 | #Constraints: 64513
1838.20/1844.95 c #Conflicts: 328000 | #Constraints: 65513
1838.20/1844.95 c #Conflicts: 329000 | #Constraints: 66513
1838.20/1844.95 c #Conflicts: 330000 | #Constraints: 67513
1838.20/1844.95 c #Conflicts: 331000 | #Constraints: 68513
1838.20/1844.95 c #Conflicts: 332000 | #Constraints: 69513
1838.20/1844.95 c #Conflicts: 333000 | #Constraints: 70513
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 334000 | #Constraints: 60110
1838.20/1844.95 c #Conflicts: 335000 | #Constraints: 61110
1838.20/1844.95 c #Conflicts: 336000 | #Constraints: 62110
1838.20/1844.95 c #Conflicts: 337000 | #Constraints: 63110
1838.20/1844.95 c #Conflicts: 338000 | #Constraints: 64110
1838.20/1844.95 c #Conflicts: 339000 | #Constraints: 65110
1838.20/1844.95 c #Conflicts: 340000 | #Constraints: 66110
1838.20/1844.95 c #Conflicts: 341000 | #Constraints: 67110
1838.20/1844.95 c #Conflicts: 342000 | #Constraints: 68110
1838.20/1844.95 c #Conflicts: 343000 | #Constraints: 69110
1838.20/1844.95 c #Conflicts: 344000 | #Constraints: 70110
1838.20/1844.95 c #Conflicts: 345000 | #Constraints: 71110
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 346000 | #Constraints: 60504
1838.20/1844.95 c #Conflicts: 347000 | #Constraints: 61504
1838.20/1844.95 c #Conflicts: 348000 | #Constraints: 62504
1838.20/1844.95 c #Conflicts: 349000 | #Constraints: 63504
1838.20/1844.95 c #Conflicts: 350000 | #Constraints: 64504
1838.20/1844.95 c #Conflicts: 351000 | #Constraints: 65504
1838.20/1844.95 c #Conflicts: 352000 | #Constraints: 66504
1838.20/1844.95 c #Conflicts: 353000 | #Constraints: 67504
1838.20/1844.95 c #Conflicts: 354000 | #Constraints: 68504
1838.20/1844.95 c #Conflicts: 355000 | #Constraints: 69504
1838.20/1844.95 c #Conflicts: 356000 | #Constraints: 70504
1838.20/1844.95 c #Conflicts: 357000 | #Constraints: 71504
1838.20/1844.95 c INPROCESSING
1838.20/1844.95 c GARBAGE COLLECT
1838.20/1844.95 c #Conflicts: 358000 | #Constraints: 60706
1838.20/1844.95 c #Conflicts: 359000 | #Constraints: 61706
2107.44/2115.04 c #Conflicts: 360000 | #Constraints: 62706
2107.44/2115.04 c #Conflicts: 361000 | #Constraints: 63706
2107.44/2115.04 c #Conflicts: 362000 | #Constraints: 64706
2107.44/2115.04 c #Conflicts: 363000 | #Constraints: 65706
2107.44/2115.04 c #Conflicts: 364000 | #Constraints: 66706
2107.44/2115.04 c #Conflicts: 365000 | #Constraints: 67706
2107.44/2115.04 c #Conflicts: 366000 | #Constraints: 68706
2107.44/2115.04 c #Conflicts: 367000 | #Constraints: 69706
2107.44/2115.04 c #Conflicts: 368000 | #Constraints: 70706
2107.44/2115.04 c #Conflicts: 369000 | #Constraints: 71706
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2107.44/2115.04 c #Conflicts: 370000 | #Constraints: 60711
2107.44/2115.04 c #Conflicts: 371000 | #Constraints: 61711
2107.44/2115.04 c #Conflicts: 372000 | #Constraints: 62711
2107.44/2115.04 c #Conflicts: 373000 | #Constraints: 63711
2107.44/2115.04 c #Conflicts: 374000 | #Constraints: 64711
2107.44/2115.04 c #Conflicts: 375000 | #Constraints: 65711
2107.44/2115.04 c #Conflicts: 376000 | #Constraints: 66711
2107.44/2115.04 c #Conflicts: 377000 | #Constraints: 67711
2107.44/2115.04 c #Conflicts: 378000 | #Constraints: 68711
2107.44/2115.04 c #Conflicts: 379000 | #Constraints: 69711
2107.44/2115.04 c #Conflicts: 380000 | #Constraints: 70711
2107.44/2115.04 c #Conflicts: 381000 | #Constraints: 71711
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2107.44/2115.04 c #Conflicts: 382000 | #Constraints: 60523
2107.44/2115.04 c #Conflicts: 383000 | #Constraints: 61523
2107.44/2115.04 c #Conflicts: 384000 | #Constraints: 62523
2107.44/2115.04 c #Conflicts: 385000 | #Constraints: 63523
2107.44/2115.04 c #Conflicts: 386000 | #Constraints: 64523
2107.44/2115.04 c #Conflicts: 387000 | #Constraints: 65523
2107.44/2115.04 c #Conflicts: 388000 | #Constraints: 66523
2107.44/2115.04 c #Conflicts: 389000 | #Constraints: 67523
2107.44/2115.04 c #Conflicts: 390000 | #Constraints: 68523
2107.44/2115.04 c #Conflicts: 391000 | #Constraints: 69523
2107.44/2115.04 c #Conflicts: 392000 | #Constraints: 70523
2107.44/2115.04 c #Conflicts: 393000 | #Constraints: 71523
2107.44/2115.04 c #Conflicts: 394000 | #Constraints: 72523
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2107.44/2115.04 c #Conflicts: 395000 | #Constraints: 61119
2107.44/2115.04 c #Conflicts: 396000 | #Constraints: 62119
2107.44/2115.04 c #Conflicts: 397000 | #Constraints: 63119
2107.44/2115.04 c #Conflicts: 398000 | #Constraints: 64119
2107.44/2115.04 c #Conflicts: 399000 | #Constraints: 65119
2107.44/2115.04 c #Conflicts: 400000 | #Constraints: 66119
2107.44/2115.04 c #Conflicts: 401000 | #Constraints: 67119
2107.44/2115.04 c #Conflicts: 402000 | #Constraints: 68119
2107.44/2115.04 c #Conflicts: 403000 | #Constraints: 69119
2107.44/2115.04 c #Conflicts: 404000 | #Constraints: 70119
2107.44/2115.04 c #Conflicts: 405000 | #Constraints: 71119
2107.44/2115.04 c #Conflicts: 406000 | #Constraints: 72119
2107.44/2115.04 c #Conflicts: 407000 | #Constraints: 73119
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2107.44/2115.04 c #Conflicts: 408000 | #Constraints: 61506
2107.44/2115.04 c #Conflicts: 409000 | #Constraints: 62506
2107.44/2115.04 c #Conflicts: 410000 | #Constraints: 63506
2107.44/2115.04 c #Conflicts: 411000 | #Constraints: 64506
2107.44/2115.04 c #Conflicts: 412000 | #Constraints: 65506
2107.44/2115.04 c #Conflicts: 413000 | #Constraints: 66506
2107.44/2115.04 c #Conflicts: 414000 | #Constraints: 67506
2107.44/2115.04 c #Conflicts: 415000 | #Constraints: 68506
2107.44/2115.04 c #Conflicts: 416000 | #Constraints: 69506
2107.44/2115.04 c #Conflicts: 417000 | #Constraints: 70506
2107.44/2115.04 c #Conflicts: 418000 | #Constraints: 71506
2107.44/2115.04 c #Conflicts: 419000 | #Constraints: 72506
2107.44/2115.04 c #Conflicts: 420000 | #Constraints: 73506
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2107.44/2115.04 c #Conflicts: 421000 | #Constraints: 61708
2107.44/2115.04 c #Conflicts: 422000 | #Constraints: 62708
2107.44/2115.04 c #Conflicts: 423000 | #Constraints: 63708
2107.44/2115.04 c #Conflicts: 424000 | #Constraints: 64708
2107.44/2115.04 c #Conflicts: 425000 | #Constraints: 65708
2107.44/2115.04 c #Conflicts: 426000 | #Constraints: 66708
2107.44/2115.04 c #Conflicts: 427000 | #Constraints: 67708
2107.44/2115.04 c #Conflicts: 428000 | #Constraints: 68708
2107.44/2115.04 c #Conflicts: 429000 | #Constraints: 69708
2107.44/2115.04 c #Conflicts: 430000 | #Constraints: 70708
2107.44/2115.04 c #Conflicts: 431000 | #Constraints: 71708
2107.44/2115.04 c #Conflicts: 432000 | #Constraints: 72708
2107.44/2115.04 c #Conflicts: 433000 | #Constraints: 73708
2107.44/2115.04 c INPROCESSING
2107.44/2115.04 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 434000 | #Constraints: 61739
2401.15/2409.77 c #Conflicts: 435000 | #Constraints: 62739
2401.15/2409.77 c #Conflicts: 436000 | #Constraints: 63739
2401.15/2409.77 c #Conflicts: 437000 | #Constraints: 64739
2401.15/2409.77 c #Conflicts: 438000 | #Constraints: 65739
2401.15/2409.77 c #Conflicts: 439000 | #Constraints: 66739
2401.15/2409.77 c #Conflicts: 440000 | #Constraints: 67739
2401.15/2409.77 c #Conflicts: 441000 | #Constraints: 68739
2401.15/2409.77 c #Conflicts: 442000 | #Constraints: 69739
2401.15/2409.77 c #Conflicts: 443000 | #Constraints: 70739
2401.15/2409.77 c #Conflicts: 444000 | #Constraints: 71739
2401.15/2409.77 c #Conflicts: 445000 | #Constraints: 72739
2401.15/2409.77 c #Conflicts: 446000 | #Constraints: 73739
2401.15/2409.77 c INPROCESSING
2401.15/2409.77 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 447000 | #Constraints: 61542
2401.15/2409.77 c #Conflicts: 448000 | #Constraints: 62542
2401.15/2409.77 c #Conflicts: 449000 | #Constraints: 63542
2401.15/2409.77 c #Conflicts: 450000 | #Constraints: 64542
2401.15/2409.77 c #Conflicts: 451000 | #Constraints: 65542
2401.15/2409.77 c #Conflicts: 452000 | #Constraints: 66542
2401.15/2409.77 c #Conflicts: 453000 | #Constraints: 67542
2401.15/2409.77 c #Conflicts: 454000 | #Constraints: 68542
2401.15/2409.77 c #Conflicts: 455000 | #Constraints: 69542
2401.15/2409.77 c #Conflicts: 456000 | #Constraints: 70542
2401.15/2409.77 c #Conflicts: 457000 | #Constraints: 71542
2401.15/2409.77 c #Conflicts: 458000 | #Constraints: 72542
2401.15/2409.77 c #Conflicts: 459000 | #Constraints: 73542
2401.15/2409.77 c #Conflicts: 460000 | #Constraints: 74542
2401.15/2409.77 c INPROCESSING
2401.15/2409.77 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 461000 | #Constraints: 62125
2401.15/2409.77 c #Conflicts: 462000 | #Constraints: 63125
2401.15/2409.77 c #Conflicts: 463000 | #Constraints: 64125
2401.15/2409.77 c #Conflicts: 464000 | #Constraints: 65125
2401.15/2409.77 c #Conflicts: 465000 | #Constraints: 66125
2401.15/2409.77 c #Conflicts: 466000 | #Constraints: 67125
2401.15/2409.77 c #Conflicts: 467000 | #Constraints: 68125
2401.15/2409.77 c #Conflicts: 468000 | #Constraints: 69125
2401.15/2409.77 c #Conflicts: 469000 | #Constraints: 70125
2401.15/2409.77 c #Conflicts: 470000 | #Constraints: 71125
2401.15/2409.77 c #Conflicts: 471000 | #Constraints: 72125
2401.15/2409.77 c #Conflicts: 472000 | #Constraints: 73125
2401.15/2409.77 c #Conflicts: 473000 | #Constraints: 74125
2401.15/2409.77 c #Conflicts: 474000 | #Constraints: 75125
2401.15/2409.77 c INPROCESSING
2401.15/2409.77 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 475000 | #Constraints: 62518
2401.15/2409.77 c #Conflicts: 476000 | #Constraints: 63518
2401.15/2409.77 c #Conflicts: 477000 | #Constraints: 64518
2401.15/2409.77 c #Conflicts: 478000 | #Constraints: 65518
2401.15/2409.77 c #Conflicts: 479000 | #Constraints: 66518
2401.15/2409.77 c #Conflicts: 480000 | #Constraints: 67518
2401.15/2409.77 c #Conflicts: 481000 | #Constraints: 68518
2401.15/2409.77 c #Conflicts: 482000 | #Constraints: 69518
2401.15/2409.77 c #Conflicts: 483000 | #Constraints: 70518
2401.15/2409.77 c #Conflicts: 484000 | #Constraints: 71518
2401.15/2409.77 c #Conflicts: 485000 | #Constraints: 72518
2401.15/2409.77 c #Conflicts: 486000 | #Constraints: 73518
2401.15/2409.77 c #Conflicts: 487000 | #Constraints: 74518
2401.15/2409.77 c #Conflicts: 488000 | #Constraints: 75518
2401.15/2409.77 c INPROCESSING
2401.15/2409.77 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 489000 | #Constraints: 62709
2401.15/2409.77 c #Conflicts: 490000 | #Constraints: 63709
2401.15/2409.77 c #Conflicts: 491000 | #Constraints: 64709
2401.15/2409.77 c #Conflicts: 492000 | #Constraints: 65709
2401.15/2409.77 c #Conflicts: 493000 | #Constraints: 66709
2401.15/2409.77 c #Conflicts: 494000 | #Constraints: 67709
2401.15/2409.77 c #Conflicts: 495000 | #Constraints: 68709
2401.15/2409.77 c #Conflicts: 496000 | #Constraints: 69709
2401.15/2409.77 c #Conflicts: 497000 | #Constraints: 70709
2401.15/2409.77 c #Conflicts: 498000 | #Constraints: 71709
2401.15/2409.77 c #Conflicts: 499000 | #Constraints: 72709
2401.15/2409.77 c #Conflicts: 500000 | #Constraints: 73709
2401.15/2409.77 c #Conflicts: 501000 | #Constraints: 74709
2401.15/2409.77 c #Conflicts: 502000 | #Constraints: 75709
2401.15/2409.77 c INPROCESSING
2401.15/2409.77 c GARBAGE COLLECT
2401.15/2409.77 c #Conflicts: 503000 | #Constraints: 62711
2401.15/2409.77 c #Conflicts: 504000 | #Constraints: 63711
2401.15/2409.77 c #Conflicts: 505000 | #Constraints: 64711
2401.15/2409.77 c #Conflicts: 506000 | #Constraints: 65711
2401.15/2409.77 c #Conflicts: 507000 | #Constraints: 66711
2401.15/2409.77 c #Conflicts: 508000 | #Constraints: 67711
2401.15/2409.77 c #Conflicts: 509000 | #Constraints: 68711
2670.58/2680.09 c #Conflicts: 510000 | #Constraints: 69711
2670.58/2680.09 c #Conflicts: 511000 | #Constraints: 70711
2670.58/2680.09 c #Conflicts: 512000 | #Constraints: 71711
2670.58/2680.09 c #Conflicts: 513000 | #Constraints: 72711
2670.58/2680.09 c #Conflicts: 514000 | #Constraints: 73711
2670.58/2680.09 c #Conflicts: 515000 | #Constraints: 74711
2670.58/2680.09 c #Conflicts: 516000 | #Constraints: 75711
2670.58/2680.09 c INPROCESSING
2670.58/2680.09 c GARBAGE COLLECT
2670.58/2680.09 c #Conflicts: 517000 | #Constraints: 62510
2670.58/2680.09 c #Conflicts: 518000 | #Constraints: 63510
2670.58/2680.09 c #Conflicts: 519000 | #Constraints: 64510
2670.58/2680.09 c #Conflicts: 520000 | #Constraints: 65510
2670.58/2680.09 c #Conflicts: 521000 | #Constraints: 66510
2670.58/2680.09 c #Conflicts: 522000 | #Constraints: 67510
2670.58/2680.09 c #Conflicts: 523000 | #Constraints: 68510
2670.58/2680.09 c #Conflicts: 524000 | #Constraints: 69510
2670.58/2680.09 c #Conflicts: 525000 | #Constraints: 70510
2670.58/2680.09 c #Conflicts: 526000 | #Constraints: 71510
2670.58/2680.09 c #Conflicts: 527000 | #Constraints: 72510
2670.58/2680.09 c #Conflicts: 528000 | #Constraints: 73510
2670.58/2680.09 c #Conflicts: 529000 | #Constraints: 74510
2670.58/2680.09 c #Conflicts: 530000 | #Constraints: 75510
2670.58/2680.09 c #Conflicts: 531000 | #Constraints: 76510
2670.58/2680.09 c INPROCESSING
2670.58/2680.09 c GARBAGE COLLECT
2670.58/2680.09 c #Conflicts: 532000 | #Constraints: 63112
2670.58/2680.09 c #Conflicts: 533000 | #Constraints: 64112
2670.58/2680.09 c #Conflicts: 534000 | #Constraints: 65112
2670.58/2680.09 c #Conflicts: 535000 | #Constraints: 66112
2670.58/2680.09 c #Conflicts: 536000 | #Constraints: 67112
2670.58/2680.09 c #Conflicts: 537000 | #Constraints: 68112
2670.58/2680.09 c #Conflicts: 538000 | #Constraints: 69112
2670.58/2680.09 c #Conflicts: 539000 | #Constraints: 70112
2670.58/2680.09 c #Conflicts: 540000 | #Constraints: 71112
2670.58/2680.09 c #Conflicts: 541000 | #Constraints: 72112
2670.58/2680.09 c #Conflicts: 542000 | #Constraints: 73112
2670.58/2680.09 c #Conflicts: 543000 | #Constraints: 74112
2670.58/2680.09 c #Conflicts: 544000 | #Constraints: 75112
2670.58/2680.09 c #Conflicts: 545000 | #Constraints: 76112
2670.58/2680.09 c #Conflicts: 546000 | #Constraints: 77112
2670.58/2680.09 c INPROCESSING
2670.58/2680.09 c GARBAGE COLLECT
2670.58/2680.09 c #Conflicts: 547000 | #Constraints: 63510
2670.58/2680.09 c #Conflicts: 548000 | #Constraints: 64510
2670.58/2680.09 c #Conflicts: 549000 | #Constraints: 65510
2670.58/2680.09 c #Conflicts: 550000 | #Constraints: 66510
2670.58/2680.09 c #Conflicts: 551000 | #Constraints: 67510
2670.58/2680.09 c #Conflicts: 552000 | #Constraints: 68510
2670.58/2680.09 c #Conflicts: 553000 | #Constraints: 69510
2670.58/2680.09 c #Conflicts: 554000 | #Constraints: 70510
2670.58/2680.09 c #Conflicts: 555000 | #Constraints: 71510
2670.58/2680.09 c #Conflicts: 556000 | #Constraints: 72510
2670.58/2680.09 c #Conflicts: 557000 | #Constraints: 73510
2670.58/2680.09 c #Conflicts: 558000 | #Constraints: 74510
2670.58/2680.09 c #Conflicts: 559000 | #Constraints: 75510
2670.58/2680.09 c #Conflicts: 560000 | #Constraints: 76510
2670.58/2680.09 c #Conflicts: 561000 | #Constraints: 77510
2670.58/2680.09 c INPROCESSING
2670.58/2680.09 c GARBAGE COLLECT
2670.58/2680.09 c #Conflicts: 562000 | #Constraints: 63717
2670.58/2680.09 c #Conflicts: 563000 | #Constraints: 64717
2670.58/2680.09 c #Conflicts: 564000 | #Constraints: 65717
2670.58/2680.09 c #Conflicts: 565000 | #Constraints: 66717
2670.58/2680.09 c #Conflicts: 566000 | #Constraints: 67717
2670.58/2680.09 c #Conflicts: 567000 | #Constraints: 68717
2670.58/2680.09 c #Conflicts: 568000 | #Constraints: 69717
2670.58/2680.09 c #Conflicts: 569000 | #Constraints: 70717
2670.58/2680.09 c #Conflicts: 570000 | #Constraints: 71717
2670.58/2680.09 c #Conflicts: 571000 | #Constraints: 72717
2670.58/2680.09 c #Conflicts: 572000 | #Constraints: 73717
2670.58/2680.09 c #Conflicts: 573000 | #Constraints: 74717
2670.58/2680.09 c #Conflicts: 574000 | #Constraints: 75717
2670.58/2680.09 c #Conflicts: 575000 | #Constraints: 76717
2670.58/2680.09 c #Conflicts: 576000 | #Constraints: 77717
2670.58/2680.09 c INPROCESSING
2670.58/2680.09 c GARBAGE COLLECT
2670.58/2680.09 c #Conflicts: 577000 | #Constraints: 63722
2670.58/2680.09 c #Conflicts: 578000 | #Constraints: 64722
2670.58/2680.09 c #Conflicts: 579000 | #Constraints: 65722
2670.58/2680.09 c #Conflicts: 580000 | #Constraints: 66722
2670.58/2680.09 c #Conflicts: 581000 | #Constraints: 67722
2670.58/2680.09 c #Conflicts: 582000 | #Constraints: 68722
2670.58/2680.09 c #Conflicts: 583000 | #Constraints: 69722
2670.58/2680.09 c #Conflicts: 584000 | #Constraints: 70722
2670.58/2680.09 c #Conflicts: 585000 | #Constraints: 71722
2937.71/2948.02 c #Conflicts: 586000 | #Constraints: 72722
2937.71/2948.02 c #Conflicts: 587000 | #Constraints: 73722
2937.71/2948.02 c #Conflicts: 588000 | #Constraints: 74722
2937.71/2948.02 c #Conflicts: 589000 | #Constraints: 75722
2937.71/2948.02 c #Conflicts: 590000 | #Constraints: 76722
2937.71/2948.02 c #Conflicts: 591000 | #Constraints: 77722
2937.71/2948.02 c INPROCESSING
2937.71/2948.02 c GARBAGE COLLECT
2937.71/2948.02 c #Conflicts: 592000 | #Constraints: 63521
2937.71/2948.02 c #Conflicts: 593000 | #Constraints: 64521
2937.71/2948.02 c #Conflicts: 594000 | #Constraints: 65521
2937.71/2948.02 c #Conflicts: 595000 | #Constraints: 66521
2937.71/2948.02 c #Conflicts: 596000 | #Constraints: 67521
2937.71/2948.02 c #Conflicts: 597000 | #Constraints: 68521
2937.71/2948.02 c #Conflicts: 598000 | #Constraints: 69521
2937.71/2948.02 c #Conflicts: 599000 | #Constraints: 70521
2937.71/2948.02 c #Conflicts: 600000 | #Constraints: 71521
2937.71/2948.02 c #Conflicts: 601000 | #Constraints: 72521
2937.71/2948.02 c #Conflicts: 602000 | #Constraints: 73521
2937.71/2948.02 c #Conflicts: 603000 | #Constraints: 74521
2937.71/2948.02 c #Conflicts: 604000 | #Constraints: 75521
2937.71/2948.02 c #Conflicts: 605000 | #Constraints: 76521
2937.71/2948.02 c #Conflicts: 606000 | #Constraints: 77521
2937.71/2948.02 c #Conflicts: 607000 | #Constraints: 78521
2937.71/2948.02 c INPROCESSING
2937.71/2948.02 c GARBAGE COLLECT
2937.71/2948.02 c #Conflicts: 608000 | #Constraints: 64122
2937.71/2948.02 c #Conflicts: 609000 | #Constraints: 65122
2937.71/2948.02 c #Conflicts: 610000 | #Constraints: 66122
2937.71/2948.02 c #Conflicts: 611000 | #Constraints: 67122
2937.71/2948.02 c #Conflicts: 612000 | #Constraints: 68122
2937.71/2948.02 c #Conflicts: 613000 | #Constraints: 69122
2937.71/2948.02 c #Conflicts: 614000 | #Constraints: 70122
2937.71/2948.02 c #Conflicts: 615000 | #Constraints: 71122
2937.71/2948.02 c #Conflicts: 616000 | #Constraints: 72122
2937.71/2948.02 c #Conflicts: 617000 | #Constraints: 73122
2937.71/2948.02 c #Conflicts: 618000 | #Constraints: 74122
2937.71/2948.02 c #Conflicts: 619000 | #Constraints: 75122
2937.71/2948.02 c #Conflicts: 620000 | #Constraints: 76122
2937.71/2948.02 c #Conflicts: 621000 | #Constraints: 77122
2937.71/2948.02 c #Conflicts: 622000 | #Constraints: 78122
2937.71/2948.02 c #Conflicts: 623000 | #Constraints: 79122
2937.71/2948.02 c INPROCESSING
2937.71/2948.02 c GARBAGE COLLECT
2937.71/2948.02 c #Conflicts: 624000 | #Constraints: 64529
2937.71/2948.02 c #Conflicts: 625000 | #Constraints: 65529
2937.71/2948.02 c #Conflicts: 626000 | #Constraints: 66529
2937.71/2948.02 c #Conflicts: 627000 | #Constraints: 67529
2937.71/2948.02 c #Conflicts: 628000 | #Constraints: 68529
2937.71/2948.02 c #Conflicts: 629000 | #Constraints: 69529
2937.71/2948.02 c #Conflicts: 630000 | #Constraints: 70529
2937.71/2948.02 c #Conflicts: 631000 | #Constraints: 71529
2937.71/2948.02 c #Conflicts: 632000 | #Constraints: 72529
2937.71/2948.02 c #Conflicts: 633000 | #Constraints: 73529
2937.71/2948.02 c #Conflicts: 634000 | #Constraints: 74529
2937.71/2948.02 c #Conflicts: 635000 | #Constraints: 75529
2937.71/2948.02 c #Conflicts: 636000 | #Constraints: 76529
2937.71/2948.02 c #Conflicts: 637000 | #Constraints: 77529
2937.71/2948.02 c #Conflicts: 638000 | #Constraints: 78529
2937.71/2948.02 c #Conflicts: 639000 | #Constraints: 79529
2937.71/2948.02 c INPROCESSING
2937.71/2948.02 c GARBAGE COLLECT
2937.71/2948.02 c #Conflicts: 640000 | #Constraints: 64727
2937.71/2948.02 c #Conflicts: 641000 | #Constraints: 65727
2937.71/2948.02 c #Conflicts: 642000 | #Constraints: 66727
2937.71/2948.02 c #Conflicts: 643000 | #Constraints: 67727
2937.71/2948.02 c #Conflicts: 644000 | #Constraints: 68727
2937.71/2948.02 c #Conflicts: 645000 | #Constraints: 69727
2937.71/2948.02 c #Conflicts: 646000 | #Constraints: 70727
2937.71/2948.02 c #Conflicts: 647000 | #Constraints: 71727
2937.71/2948.02 c #Conflicts: 648000 | #Constraints: 72727
2937.71/2948.02 c #Conflicts: 649000 | #Constraints: 73727
2937.71/2948.02 c #Conflicts: 650000 | #Constraints: 74727
2937.71/2948.02 c #Conflicts: 651000 | #Constraints: 75727
2937.71/2948.02 c #Conflicts: 652000 | #Constraints: 76727
2937.71/2948.02 c #Conflicts: 653000 | #Constraints: 77727
2937.71/2948.02 c #Conflicts: 654000 | #Constraints: 78727
2937.71/2948.02 c #Conflicts: 655000 | #Constraints: 79727
2937.71/2948.02 c INPROCESSING
2937.71/2948.02 c GARBAGE COLLECT
2937.71/2948.02 c #Conflicts: 656000 | #Constraints: 64724
2937.71/2948.02 c #Conflicts: 657000 | #Constraints: 65724
2937.71/2948.02 c #Conflicts: 658000 | #Constraints: 66724
2937.71/2948.02 c #Conflicts: 659000 | #Constraints: 67724
2937.71/2948.02 c #Conflicts: 660000 | #Constraints: 68724
3219.35/3230.65 c #Conflicts: 661000 | #Constraints: 69724
3219.35/3230.65 c #Conflicts: 662000 | #Constraints: 70724
3219.35/3230.65 c #Conflicts: 663000 | #Constraints: 71724
3219.35/3230.65 c #Conflicts: 664000 | #Constraints: 72724
3219.35/3230.65 c #Conflicts: 665000 | #Constraints: 73724
3219.35/3230.65 c #Conflicts: 666000 | #Constraints: 74724
3219.35/3230.65 c #Conflicts: 667000 | #Constraints: 75724
3219.35/3230.65 c #Conflicts: 668000 | #Constraints: 76724
3219.35/3230.65 c #Conflicts: 669000 | #Constraints: 77724
3219.35/3230.65 c #Conflicts: 670000 | #Constraints: 78724
3219.35/3230.65 c #Conflicts: 671000 | #Constraints: 79724
3219.35/3230.65 c INPROCESSING
3219.35/3230.65 c GARBAGE COLLECT
3219.35/3230.65 c #Conflicts: 672000 | #Constraints: 64509
3219.35/3230.65 c #Conflicts: 673000 | #Constraints: 65509
3219.35/3230.65 c #Conflicts: 674000 | #Constraints: 66509
3219.35/3230.65 c #Conflicts: 675000 | #Constraints: 67509
3219.35/3230.65 c #Conflicts: 676000 | #Constraints: 68509
3219.35/3230.65 c #Conflicts: 677000 | #Constraints: 69509
3219.35/3230.65 c #Conflicts: 678000 | #Constraints: 70509
3219.35/3230.65 c #Conflicts: 679000 | #Constraints: 71509
3219.35/3230.65 c #Conflicts: 680000 | #Constraints: 72509
3219.35/3230.65 c #Conflicts: 681000 | #Constraints: 73509
3219.35/3230.65 c #Conflicts: 682000 | #Constraints: 74509
3219.35/3230.65 c #Conflicts: 683000 | #Constraints: 75509
3219.35/3230.65 c #Conflicts: 684000 | #Constraints: 76509
3219.35/3230.65 c #Conflicts: 685000 | #Constraints: 77509
3219.35/3230.65 c #Conflicts: 686000 | #Constraints: 78509
3219.35/3230.65 c #Conflicts: 687000 | #Constraints: 79509
3219.35/3230.65 c #Conflicts: 688000 | #Constraints: 80509
3219.35/3230.65 c INPROCESSING
3219.35/3230.65 c GARBAGE COLLECT
3219.35/3230.65 c #Conflicts: 689000 | #Constraints: 65109
3219.35/3230.65 c #Conflicts: 690000 | #Constraints: 66109
3219.35/3230.65 c #Conflicts: 691000 | #Constraints: 67109
3219.35/3230.65 c #Conflicts: 692000 | #Constraints: 68109
3219.35/3230.65 c #Conflicts: 693000 | #Constraints: 69109
3219.35/3230.65 c #Conflicts: 694000 | #Constraints: 70109
3219.35/3230.65 c #Conflicts: 695000 | #Constraints: 71109
3219.35/3230.65 c #Conflicts: 696000 | #Constraints: 72109
3219.35/3230.65 c #Conflicts: 697000 | #Constraints: 73109
3219.35/3230.65 c #Conflicts: 698000 | #Constraints: 74109
3219.35/3230.65 c #Conflicts: 699000 | #Constraints: 75109
3219.35/3230.65 c #Conflicts: 700000 | #Constraints: 76109
3219.35/3230.65 c #Conflicts: 701000 | #Constraints: 77109
3219.35/3230.65 c #Conflicts: 702000 | #Constraints: 78109
3219.35/3230.65 c #Conflicts: 703000 | #Constraints: 79109
3219.35/3230.65 c #Conflicts: 704000 | #Constraints: 80109
3219.35/3230.65 c #Conflicts: 705000 | #Constraints: 81109
3219.35/3230.65 c INPROCESSING
3219.35/3230.65 c GARBAGE COLLECT
3219.35/3230.65 c #Conflicts: 706000 | #Constraints: 65529
3219.35/3230.65 c #Conflicts: 707000 | #Constraints: 66529
3219.35/3230.65 c #Conflicts: 708000 | #Constraints: 67529
3219.35/3230.65 c #Conflicts: 709000 | #Constraints: 68529
3219.35/3230.65 c #Conflicts: 710000 | #Constraints: 69529
3219.35/3230.65 c #Conflicts: 711000 | #Constraints: 70529
3219.35/3230.65 c #Conflicts: 712000 | #Constraints: 71529
3219.35/3230.65 c #Conflicts: 713000 | #Constraints: 72529
3219.35/3230.65 c #Conflicts: 714000 | #Constraints: 73529
3219.35/3230.65 c #Conflicts: 715000 | #Constraints: 74529
3219.35/3230.65 c #Conflicts: 716000 | #Constraints: 75529
3219.35/3230.65 c #Conflicts: 717000 | #Constraints: 76529
3219.35/3230.65 c #Conflicts: 718000 | #Constraints: 77529
3219.35/3230.65 c #Conflicts: 719000 | #Constraints: 78529
3219.35/3230.65 c #Conflicts: 720000 | #Constraints: 79529
3219.35/3230.65 c #Conflicts: 721000 | #Constraints: 80529
3219.35/3230.65 c #Conflicts: 722000 | #Constraints: 81529
3219.35/3230.65 c INPROCESSING
3219.35/3230.65 c GARBAGE COLLECT
3219.35/3230.65 c #Conflicts: 723000 | #Constraints: 65732
3219.35/3230.65 c #Conflicts: 724000 | #Constraints: 66732
3219.35/3230.65 c #Conflicts: 725000 | #Constraints: 67732
3219.35/3230.65 c #Conflicts: 726000 | #Constraints: 68732
3219.35/3230.65 c #Conflicts: 727000 | #Constraints: 69732
3219.35/3230.65 c #Conflicts: 728000 | #Constraints: 70732
3219.35/3230.65 c #Conflicts: 729000 | #Constraints: 71732
3219.35/3230.65 c #Conflicts: 730000 | #Constraints: 72732
3219.35/3230.65 c #Conflicts: 731000 | #Constraints: 73732
3219.35/3230.65 c #Conflicts: 732000 | #Constraints: 74732
3219.35/3230.65 c #Conflicts: 733000 | #Constraints: 75732
3219.35/3230.65 c #Conflicts: 734000 | #Constraints: 76732
3219.35/3230.65 c #Conflicts: 735000 | #Constraints: 77732
3219.35/3230.65 c #Conflicts: 736000 | #Constraints: 78732
3502.65/3514.92 c #Conflicts: 737000 | #Constraints: 79732
3502.65/3514.92 c #Conflicts: 738000 | #Constraints: 80732
3502.65/3514.92 c #Conflicts: 739000 | #Constraints: 81732
3502.65/3514.92 c INPROCESSING
3502.65/3514.92 c GARBAGE COLLECT
3502.65/3514.92 c #Conflicts: 740000 | #Constraints: 65728
3502.65/3514.92 c #Conflicts: 741000 | #Constraints: 66728
3502.65/3514.92 c #Conflicts: 742000 | #Constraints: 67728
3502.65/3514.92 c #Conflicts: 743000 | #Constraints: 68728
3502.65/3514.92 c #Conflicts: 744000 | #Constraints: 69728
3502.65/3514.92 c #Conflicts: 745000 | #Constraints: 70728
3502.65/3514.92 c #Conflicts: 746000 | #Constraints: 71728
3502.65/3514.92 c #Conflicts: 747000 | #Constraints: 72728
3502.65/3514.92 c #Conflicts: 748000 | #Constraints: 73728
3502.65/3514.92 c #Conflicts: 749000 | #Constraints: 74728
3502.65/3514.92 c #Conflicts: 750000 | #Constraints: 75728
3502.65/3514.92 c #Conflicts: 751000 | #Constraints: 76728
3502.65/3514.92 c #Conflicts: 752000 | #Constraints: 77728
3502.65/3514.92 c #Conflicts: 753000 | #Constraints: 78728
3502.65/3514.92 c #Conflicts: 754000 | #Constraints: 79728
3502.65/3514.92 c #Conflicts: 755000 | #Constraints: 80728
3502.65/3514.92 c #Conflicts: 756000 | #Constraints: 81728
3502.65/3514.92 c INPROCESSING
3502.65/3514.92 c GARBAGE COLLECT
3502.65/3514.92 c #Conflicts: 757000 | #Constraints: 65518
3502.65/3514.92 c #Conflicts: 758000 | #Constraints: 66518
3502.65/3514.92 c #Conflicts: 759000 | #Constraints: 67518
3502.65/3514.92 c #Conflicts: 760000 | #Constraints: 68518
3502.65/3514.92 c #Conflicts: 761000 | #Constraints: 69518
3502.65/3514.92 c #Conflicts: 762000 | #Constraints: 70518
3502.65/3514.92 c #Conflicts: 763000 | #Constraints: 71518
3502.65/3514.92 c #Conflicts: 764000 | #Constraints: 72518
3502.65/3514.92 c #Conflicts: 765000 | #Constraints: 73518
3502.65/3514.92 c #Conflicts: 766000 | #Constraints: 74518
3502.65/3514.92 c #Conflicts: 767000 | #Constraints: 75518
3502.65/3514.92 c #Conflicts: 768000 | #Constraints: 76518
3502.65/3514.92 c #Conflicts: 769000 | #Constraints: 77518
3502.65/3514.92 c #Conflicts: 770000 | #Constraints: 78518
3502.65/3514.92 c #Conflicts: 771000 | #Constraints: 79518
3502.65/3514.92 c #Conflicts: 772000 | #Constraints: 80518
3502.65/3514.92 c #Conflicts: 773000 | #Constraints: 81518
3502.65/3514.92 c #Conflicts: 774000 | #Constraints: 82518
3502.65/3514.92 c INPROCESSING
3502.65/3514.92 c GARBAGE COLLECT
3502.65/3514.92 c #Conflicts: 775000 | #Constraints: 66115
3502.65/3514.92 c #Conflicts: 776000 | #Constraints: 67115
3502.65/3514.92 c #Conflicts: 777000 | #Constraints: 68115
3502.65/3514.92 c #Conflicts: 778000 | #Constraints: 69115
3502.65/3514.92 c #Conflicts: 779000 | #Constraints: 70115
3502.65/3514.92 c #Conflicts: 780000 | #Constraints: 71115
3502.65/3514.92 c #Conflicts: 781000 | #Constraints: 72115
3502.65/3514.92 c #Conflicts: 782000 | #Constraints: 73115
3502.65/3514.92 c #Conflicts: 783000 | #Constraints: 74115
3502.65/3514.92 c #Conflicts: 784000 | #Constraints: 75115
3502.65/3514.92 c #Conflicts: 785000 | #Constraints: 76115
3502.65/3514.92 c #Conflicts: 786000 | #Constraints: 77115
3502.65/3514.92 c #Conflicts: 787000 | #Constraints: 78115
3502.65/3514.92 c #Conflicts: 788000 | #Constraints: 79115
3502.65/3514.92 c #Conflicts: 789000 | #Constraints: 80115
3502.65/3514.92 c #Conflicts: 790000 | #Constraints: 81115
3502.65/3514.92 c #Conflicts: 791000 | #Constraints: 82115
3502.65/3514.92 c #Conflicts: 792000 | #Constraints: 83115
3502.65/3514.92 c INPROCESSING
3502.65/3514.92 c GARBAGE COLLECT
3502.65/3514.92 c #Conflicts: 793000 | #Constraints: 66513
3502.65/3514.92 c #Conflicts: 794000 | #Constraints: 67513
3502.65/3514.92 c #Conflicts: 795000 | #Constraints: 68513
3502.65/3514.92 c #Conflicts: 796000 | #Constraints: 69513
3502.65/3514.92 c #Conflicts: 797000 | #Constraints: 70513
3502.65/3514.92 c #Conflicts: 798000 | #Constraints: 71513
3502.65/3514.92 c #Conflicts: 799000 | #Constraints: 72513
3502.65/3514.92 c #Conflicts: 800000 | #Constraints: 73513
3502.65/3514.92 c #Conflicts: 801000 | #Constraints: 74513
3502.65/3514.92 c #Conflicts: 802000 | #Constraints: 75513
3502.65/3514.92 c #Conflicts: 803000 | #Constraints: 76513
3502.65/3514.92 c #Conflicts: 804000 | #Constraints: 77513
3502.65/3514.92 c #Conflicts: 805000 | #Constraints: 78513
3502.65/3514.92 c #Conflicts: 806000 | #Constraints: 79513
3502.65/3514.92 c #Conflicts: 807000 | #Constraints: 80513
3502.65/3514.92 c #Conflicts: 808000 | #Constraints: 81513
3502.65/3514.92 c #Conflicts: 809000 | #Constraints: 82513
3502.65/3514.92 c #Conflicts: 810000 | #Constraints: 83513
3502.65/3514.92 c INPROCESSING
3502.65/3514.92 c GARBAGE COLLECT
3502.65/3514.92 c #Conflicts: 811000 | #Constraints: 66723
3502.65/3514.92 c #Conflicts: 812000 | #Constraints: 67723
3600.02/3612.60 c #Conflicts: 813000 | #Constraints: 68723
3600.02/3612.60 c #Conflicts: 814000 | #Constraints: 69723
3600.02/3612.60 c #Conflicts: 815000 | #Constraints: 70723
3600.02/3612.60 c #Conflicts: 816000 | #Constraints: 71723
3600.02/3612.60 c #Conflicts: 817000 | #Constraints: 72723
3600.02/3612.60 c #Conflicts: 818000 | #Constraints: 73723
3600.02/3612.60 c #Conflicts: 819000 | #Constraints: 74723
3600.02/3612.60 c #Conflicts: 820000 | #Constraints: 75723
3600.02/3612.60 c #Conflicts: 821000 | #Constraints: 76723
3600.02/3612.60 c #Conflicts: 822000 | #Constraints: 77723
3600.02/3612.60 c #Conflicts: 823000 | #Constraints: 78723
3600.02/3612.60 c #Conflicts: 824000 | #Constraints: 79723
3600.02/3612.60 c #Conflicts: 825000 | #Constraints: 80723
3600.02/3612.60 c #Conflicts: 826000 | #Constraints: 81723
3600.02/3612.60 c #Conflicts: 827000 | #Constraints: 82723
3600.02/3612.60 c #Conflicts: 828000 | #Constraints: 83723
3600.02/3612.60 c INPROCESSING
3600.02/3612.60 c GARBAGE COLLECT
3600.02/3612.60 c #Conflicts: 829000 | #Constraints: 66720
3600.02/3612.60 c #Conflicts: 830000 | #Constraints: 67720
3600.02/3612.60 c #Conflicts: 831000 | #Constraints: 68720
3600.02/3612.60 c Program interrupted by user.
3600.02/3612.60 c cpu time 3590.56 s
3600.02/3612.60 c deterministic time 1091788122258 1.09e+12
3600.02/3612.60 c optimization time 14.3924 s
3600.02/3612.60 c total solve time 3277.09 s
3600.02/3612.60 c core-guided solve time 3277.09 s
3600.02/3612.60 c propagation time 2504.33 s
3600.02/3612.60 c conflict analysis time 702.983 s
3600.02/3612.60 c propagations 724107706
3600.02/3612.60 c resolve steps 17814611
3600.02/3612.60 c decisions 5812675
3600.02/3612.60 c conflicts 831227
3600.02/3612.60 c restarts 1787
3600.02/3612.60 c inprocessing phases 82
3600.02/3612.60 c input clauses 47832
3600.02/3612.60 c input cardinalities 8
3600.02/3612.60 c input general constraints 0
3600.02/3612.60 c input average constraint length 2.69
3600.02/3612.60 c input average constraint degree 1.04
3600.02/3612.60 c learned clauses 524048
3600.02/3612.60 c learned cardinalities 4897
3600.02/3612.60 c learned general constraints 302286
3600.02/3612.60 c learned average constraint length 2429.75
3600.02/3612.60 c learned average constraint degree 644062.19
3600.02/3612.60 c watched constraints 267725
3600.02/3612.60 c counting constraints 34561
3600.02/3612.60 c gcd simplifications 6283
3600.02/3612.60 c detected cardinalities 4
3600.02/3612.60 c weakened non-implied lits 327083783
3600.02/3612.60 c weakened non-implying lits 46500
3600.02/3612.60 c original variables 12935
3600.02/3612.60 c clausal propagations 657482261
3600.02/3612.60 c cardinality propagations 6880395
3600.02/3612.60 c watched propagations 22730901
3600.02/3612.60 c counting propagations 34269473
3600.02/3612.60 c watch lookups 11462725552
3600.02/3612.60 c watch backjump lookups 8730594315
3600.02/3612.60 c watch checks 970060090012
3600.02/3612.60 c propagation checks 93992004397
3600.02/3612.60 c constraint additions 6082047363
3600.02/3612.60 c trail pops 730740237
3600.02/3612.60 c formula constraints 47832
3600.02/3612.60 c learned constraints 831231
3600.02/3612.60 c bound constraints 8
3600.02/3612.60 c core-guided constraints 0
3600.02/3612.60 c encountered formula constraints 15032785
3600.02/3612.60 c encountered learned constraints 3613023
3600.02/3612.60 c encountered bound constraints 30
3600.02/3612.60 c encountered core-guided constraints 0
3600.02/3612.60 c LP total time 0 s
3600.02/3612.60 c LP solve time 0 s
3600.02/3612.60 c LP constraints added 0
3600.02/3612.60 c LP constraints removed 0
3600.02/3612.60 c LP pivots internal 0
3600.02/3612.60 c LP pivots root 0
3600.02/3612.60 c LP calls 0
3600.02/3612.60 c LP optimalities 0
3600.02/3612.60 c LP no pivot count 0
3600.02/3612.60 c LP infeasibilities 0
3600.02/3612.60 c LP valid Farkas constraints 0
3600.02/3612.60 c LP learned Farkas constraints 0
3600.02/3612.60 c LP basis resets 0
3600.02/3612.60 c LP cycling count 0
3600.02/3612.60 c LP singular count 0
3600.02/3612.60 c LP no primal count 0
3600.02/3612.60 c LP no farkas count 0
3600.02/3612.60 c LP other issue count 0
3600.02/3612.60 c LP Gomory cuts 0
3600.02/3612.60 c LP learned cuts 0
3600.02/3612.60 c LP deleted cuts 0
3600.02/3612.60 c LP encountered Gomory constraints 0
3600.02/3612.60 c LP encountered Farkas constraints 0
3600.02/3612.60 c LP encountered learned Farkas constraints 0
3600.02/3612.60 c CG auxiliary variables introduced 0
3600.02/3612.60 c CG solutions found 0
3600.02/3612.60 c CG cores constructed 7
3600.02/3612.60 c CG core cardinality constraints returned 0
3600.02/3612.60 c CG unit cores 0
3600.02/3612.60 c CG single cores 7
3600.02/3612.60 c CG blocks removed during cardinality reduction 0
3600.02/3612.60 c CG first core best 0
3600.02/3612.60 c CG decision core best 0
3600.02/3612.60 c CG core reduction tie 0
3600.02/3612.60 c CG core degree average 1.00
3600.02/3612.60 c CG core slack average 55.57
3600.02/3612.60 c CG exhausted 0
3600.02/3612.60 c CG exhaust time 0 s
3600.02/3612.60 c CG trimmed 0
3600.02/3612.60 c CG trim time 0.001397 s
3600.02/3612.60 c CG minimized 0
3600.02/3612.60 c CG minimize time 0 s
3600.02/3612.60 c CG am1 prop time 0.002176 s
3600.02/3612.60 c CG # am1s reformulated 0
3600.02/3612.60 c CG lower bound derived from am1s 0
3600.02/3612.60 c CG # clausal cores 7
3600.02/3612.60 c CG # cardinality cores 0
3600.02/3612.60 c CG # pb cores 0
3600.02/3612.60 c CG # pb reforms 0
3600.02/3612.60 c CG # cores discarded because of pb reform 0
3600.02/3612.60 d LOWERBOUND 7
3600.02/3612.60 d NCORES 7
3600.02/3612.60 d NPBCORES 0
3600.02/3612.60 d NPBREFORM 0
3600.02/3612.60 d NTRIMMED 0
3600.02/3612.60 d NEXHAUSTED 0
3600.02/3612.60 d NAM1S 0
3600.02/3612.60 d AM1LB 0
3600.02/3612.60 c [Papilo Statistics]
3600.02/3612.60 c prepro time 0.0594776s
3600.02/3612.60 c # tsx applied 53
3600.02/3612.60 c # tsx conflicts 0
3600.02/3612.60 c # bound changes 5
3600.02/3612.60 c # side changes 34
3600.02/3612.60 c # coef changes 120
3600.02/3612.60 c # rounds 2
3600.02/3612.60 c # deted vars 22
3600.02/3612.60 c # deted constrs 57
3600.02/3612.60 c # consecutive rounds of only bound changes 0
3600.02/3612.60 s UNKNOWN
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 (63057 MiB free)
memory of node 1: 64510 MiB (62513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435558-1721105443/watcher-4435558-1721105443 -o /tmp/evaluation-result-4435558-1721105443/solver-4435558-1721105443 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830108 --watchdog 3760 mixed-bag HOME/instance-4435558-1721105443.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834208, runsolver pid=834205
[startup+0.100102 s]*
/proc/loadavg: 4.62 4.23 4.14 5/243 834209
/proc/meminfo: memFree=128568572/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=100736 memory=32440 CPUtime=0.1 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 6860 0 0 0 9 1 0 0 20 0 1 0 162703517 103153664 8110 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 25184 8110 1662 3002 0 9474 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100736 KiB
Current children cumulated memory: 32440 KiB
[startup+0.213447 s]*
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=128512992/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=160524 memory=93728 CPUtime=0.22 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 22129 0 0 0 19 3 0 0 20 0 1 0 162703517 164376576 23432 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 40131 23432 3660 3002 0 23882 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 160524 KiB
Current children cumulated memory: 93728 KiB
[startup+0.313341 s]*
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=128470544/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=196684 memory=127940 CPUtime=0.31 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 30538 0 0 0 27 4 0 0 20 0 1 0 162703517 201404416 31985 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 49171 31985 3772 3002 0 32922 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 196684 KiB
Current children cumulated memory: 127940 KiB
[startup+0.700325 s]
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=128439624/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=236404 memory=166752 CPUtime=0.69 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 41705 0 0 0 63 6 0 0 20 0 1 0 162703517 242077696 41688 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 59101 41688 3804 3002 0 42852 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236404 KiB
Current children cumulated memory: 166752 KiB
[startup+1.50036 s]
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=128399028/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=308820 memory=223556 CPUtime=1.48 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 55344 0 0 0 141 7 0 0 20 0 1 0 162703517 316231680 55889 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 77205 55889 3895 3002 0 60956 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 308820 KiB
Current children cumulated memory: 223556 KiB
[startup+3.11304 s]
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=128237648/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=422816 memory=335228 CPUtime=3.09 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 78636 0 0 0 298 11 0 0 20 0 1 0 162703517 432963584 83807 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 105704 83807 4023 3002 0 89455 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 422816 KiB
Current children cumulated memory: 335228 KiB
[startup+6.30032 s]
/proc/loadavg: 4.68 4.25 4.15 5/243 834209
/proc/meminfo: memFree=127910112/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=428276 memory=341288 CPUtime=6.27 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 80141 0 0 0 615 12 0 0 20 0 1 0 162703517 438554624 85322 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 107069 85322 4023 3002 0 90820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 428276 KiB
Current children cumulated memory: 341288 KiB
[startup+12.7003 s]
/proc/loadavg: 4.70 4.27 4.15 5/243 834211
/proc/meminfo: memFree=127866404/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=492164 memory=377408 CPUtime=12.64 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 89230 0 0 0 1251 13 0 0 20 0 1 0 162703517 503975936 94352 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 123041 94352 4023 3002 0 106792 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 492164 KiB
Current children cumulated memory: 377408 KiB
[startup+25.5003 s]
/proc/loadavg: 4.90 4.32 4.17 5/243 834212
/proc/meminfo: memFree=127857980/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=498936 memory=384440 CPUtime=25.4 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 90971 0 0 0 2527 13 0 0 20 0 1 0 162703517 510910464 96110 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 124734 96110 4023 3002 0 108485 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 498936 KiB
Current children cumulated memory: 384440 KiB
[startup+51.1128 s]
/proc/loadavg: 4.60 4.31 4.17 5/243 834263
/proc/meminfo: memFree=127541412/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=565964 memory=451540 CPUtime=50.91 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 107789 0 0 0 5075 16 0 0 20 0 1 0 162703517 579547136 112885 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 141491 112885 4039 3002 0 125242 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 451540 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.26 4.16 5/243 834272
/proc/meminfo: memFree=127431088/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=565964 memory=451764 CPUtime=101.9 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 107814 0 0 0 10173 17 0 0 20 0 1 0 162703517 579547136 112941 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 141491 112941 4039 3002 0 125242 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 451764 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.24 4.16 5/243 834282
/proc/meminfo: memFree=127417952/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=565964 memory=451896 CPUtime=161.64 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 107875 0 0 0 16147 17 0 0 20 0 1 0 162703517 579547136 112974 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 141491 112974 4039 3002 0 125242 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 451896 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.22 4.16 5/243 834293
/proc/meminfo: memFree=127392808/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=565964 memory=451896 CPUtime=221.4 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 107892 0 0 0 22123 17 0 0 20 0 1 0 162703517 579547136 112974 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 141491 112974 4039 3002 0 125242 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 451896 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.21 4.16 5/244 834686
/proc/meminfo: memFree=127375372/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=565964 memory=451896 CPUtime=281.15 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 107901 0 0 0 28098 17 0 0 20 0 1 0 162703517 579547136 112974 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 141491 112974 4039 3002 0 125242 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 565964 KiB
Current children cumulated memory: 451896 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.19 4.16 5/243 834697
/proc/meminfo: memFree=127218084/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=597208 memory=492832 CPUtime=340.93 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 111838 0 0 0 34053 40 0 0 20 0 1 0 162703517 611540992 123208 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 149302 123208 4198 3002 0 133053 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 597208 KiB
Current children cumulated memory: 492832 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/243 834707
/proc/meminfo: memFree=127069408/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=647296 memory=510348 CPUtime=400.7 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 112661 0 0 0 40013 57 0 0 20 0 1 0 162703517 662831104 127587 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 161824 127587 4198 3002 0 145575 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 647296 KiB
Current children cumulated memory: 510348 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.16 5/245 834888
/proc/meminfo: memFree=127017776/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=647296 memory=532876 CPUtime=460.47 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 112676 0 0 0 45969 78 0 0 20 0 1 0 162703517 662831104 133219 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
################
# More data... #
################
Current children cumulated memory: 703140 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/241 835943
/proc/meminfo: memFree=126235792/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=2852.27 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 118510 0 0 0 284504 723 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 2852.27 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.14 4.17 5/241 835954
/proc/meminfo: memFree=126233432/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=2912.08 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 118587 0 0 0 290465 743 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 2912.08 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/244 835969
/proc/meminfo: memFree=126233036/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=2971.88 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 118662 0 0 0 296426 762 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 2971.88 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/244 835979
/proc/meminfo: memFree=126216588/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3031.69 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 118749 0 0 0 302387 782 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3031.69 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/244 835990
/proc/meminfo: memFree=126165100/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3091.49 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 118836 0 0 0 308351 798 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3091.49 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.14 6/244 836000
/proc/meminfo: memFree=126162716/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3151.28 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119421 0 0 0 314314 814 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3151.28 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/244 836011
/proc/meminfo: memFree=126162308/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3211.07 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119542 0 0 0 320279 828 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3211.07 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/242 836022
/proc/meminfo: memFree=126139296/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3270.87 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119646 0 0 0 326242 845 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3270.87 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/242 836033
/proc/meminfo: memFree=126138964/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3330.65 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119757 0 0 0 332201 864 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3330.65 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/242 836043
/proc/meminfo: memFree=126138756/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=703140 CPUtime=3390.45 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119872 0 0 0 338161 884 0 0 20 0 1 0 162703517 881606656 175785 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 175785 4198 3002 0 198987 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 703140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/242 836053
/proc/meminfo: memFree=126098160/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=721572 CPUtime=3450.24 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 119994 0 0 0 344119 905 0 0 20 0 1 0 162703517 881606656 180393 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 180393 4198 3002 0 198987 0
Current children cumulated CPU time: 3450.24 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 721572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/242 836064
/proc/meminfo: memFree=126095812/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=721572 CPUtime=3510.03 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 120108 0 0 0 350079 924 0 0 20 0 1 0 162703517 881606656 180393 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 180393 4198 3002 0 198987 0
Current children cumulated CPU time: 3510.03 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 721572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.14 5/243 836078
/proc/meminfo: memFree=126095552/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=721572 CPUtime=3569.82 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 120225 0 0 0 356042 940 0 0 20 0 1 0 162703517 881606656 180393 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 180393 4198 3002 0 198987 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 721572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 3.89 4.07 4.12 3/229 836145
/proc/meminfo: memFree=128164176/131655788 swapFree=131071996/131071996
[pid=834208] ppid=834205 vsize=860944 memory=744100 CPUtime=3600.02 cores=0,2
/proc/834208/stat : 834208 (mixed-bag) R 834205 834208 830098 0 -1 4194304 120338 0 0 0 359055 947 0 0 20 0 1 0 162703517 881606656 186025 134679101440 4194304 16487941 140728641996784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 43237376 140728642003991 140728642004068 140728642004068 140728642011083 0
/proc/834208/statm: 215236 186025 4198 3002 0 198987 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 860944 KiB
Current children cumulated memory: 744100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 834208 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.56 s, system=9.4805 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.61
CPU time (s): 3600.04
CPU user time (s): 3590.56
CPU system time (s): 9.4805
CPU usage (%): 99.652
Max. virtual memory (cumulated for all children) (KiB): 860944
Max. memory (cumulated for all children) (KiB): 744100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.56
system time used= 9.48051
maximum resident set size= 744892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120361
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= 78
involuntary context switches= 25193
# summary of solver processes directly reported to runsolver:
# pid: 834208
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.56
# total CPU system time (s): 9.4805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5074 second user time and 33.2811 second system time
The end
Begin job on nodeC010 at 2024-07-16 06:50:54
IDJOB=4435558
IDBENCH=148187
IDSOLVER=3066
FILE ID=nodeC010/4435558-1721105443
RUNJOBID= nodeC010-1721098226-830108
SLURM_JOB_ID= 7505613
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435558-1721105443/watcher-4435558-1721105443 -o /tmp/evaluation-result-4435558-1721105443/solver-4435558-1721105443 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830108 --watchdog 3760 mixed-bag HOME/instance-4435558-1721105443.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1251765061
nodeC010.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 : 3610.691
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 : 6983.51
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 : 3491.754
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.31
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.174
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 : 6983.51
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.315
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.31
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 : 3665.814
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 : 6983.51
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 : 3640.260
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.31
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.337
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 : 6983.51
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.304
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128585560 kB
MemAvailable: 128985628 kB
Buffers: 397316 kB
Cached: 846080 kB
SwapCached: 0 kB
Active: 738452 kB
Inactive: 1808876 kB
Active(anon): 1440 kB
Inactive(anon): 1340192 kB
Active(file): 737012 kB
Inactive(file): 468684 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55628 kB
Writeback: 8 kB
AnonPages: 1303424 kB
Mapped: 136680 kB
Shmem: 37704 kB
KReclaimable: 68808 kB
Slab: 161700 kB
SReclaimable: 68808 kB
SUnreclaim: 92892 kB
KernelStack: 3872 kB
PageTables: 12240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1771308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 454656 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: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC010 at 2024-07-16 07:51:07