0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.30/0.32 c [STEP] preprocessing with Papilo
0.40/0.48 c [STEP] solving with SCIP
299.58/300.78 c [STEP] preprocessing done, loading into solver
299.68/300.87 c [STEP] solving
299.68/300.87 c #variables 12914 #constraints 47832
299.68/300.87 c SMALL=int, LARGE=long long
299.68/300.87 d SCIPUB 21
299.68/300.87 c bounds - >= 0 @ 299.485
299.68/300.87 c stratification level: 0
528.53/530.44 c bounds - >= 1 @ 299.496
528.53/530.44 c bounds - >= 2 @ 299.497
528.53/530.44 c bounds - >= 3 @ 299.5
528.53/530.44 c bounds - >= 4 @ 299.501
528.53/530.44 c bounds - >= 5 @ 299.514
528.53/530.44 c bounds - >= 6 @ 299.516
528.53/530.44 c bounds - >= 7 @ 299.518
528.53/530.44 c #Conflicts: 1000 | #Constraints: 48843
528.53/530.44 c #Conflicts: 2000 | #Constraints: 49843
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 3000 | #Constraints: 49845
528.53/530.44 c #Conflicts: 4000 | #Constraints: 50845
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 5000 | #Constraints: 50252
528.53/530.44 c #Conflicts: 6000 | #Constraints: 51252
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 7000 | #Constraints: 50259
528.53/530.44 c #Conflicts: 8000 | #Constraints: 51259
528.53/530.44 c #Conflicts: 9000 | #Constraints: 52259
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 10000 | #Constraints: 50966
528.53/530.44 c #Conflicts: 11000 | #Constraints: 51966
528.53/530.44 c #Conflicts: 12000 | #Constraints: 52966
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 13000 | #Constraints: 51418
528.53/530.44 c #Conflicts: 14000 | #Constraints: 52418
528.53/530.44 c #Conflicts: 15000 | #Constraints: 53418
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 16000 | #Constraints: 51656
528.53/530.44 c #Conflicts: 17000 | #Constraints: 52656
528.53/530.44 c #Conflicts: 18000 | #Constraints: 53656
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 19000 | #Constraints: 51665
528.53/530.44 c #Conflicts: 20000 | #Constraints: 52665
528.53/530.44 c #Conflicts: 21000 | #Constraints: 53665
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 22000 | #Constraints: 51489
528.53/530.44 c #Conflicts: 23000 | #Constraints: 52489
528.53/530.44 c #Conflicts: 24000 | #Constraints: 53489
528.53/530.44 c #Conflicts: 25000 | #Constraints: 54489
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 26000 | #Constraints: 52090
528.53/530.44 c #Conflicts: 27000 | #Constraints: 53090
528.53/530.44 c #Conflicts: 28000 | #Constraints: 54090
528.53/530.44 c #Conflicts: 29000 | #Constraints: 55090
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 30000 | #Constraints: 52483
528.53/530.44 c #Conflicts: 31000 | #Constraints: 53483
528.53/530.44 c #Conflicts: 32000 | #Constraints: 54483
528.53/530.44 c #Conflicts: 33000 | #Constraints: 55483
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 34000 | #Constraints: 52684
528.53/530.44 c #Conflicts: 35000 | #Constraints: 53684
528.53/530.44 c #Conflicts: 36000 | #Constraints: 54684
528.53/530.44 c #Conflicts: 37000 | #Constraints: 55684
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 38000 | #Constraints: 52689
528.53/530.44 c #Conflicts: 39000 | #Constraints: 53689
528.53/530.44 c #Conflicts: 40000 | #Constraints: 54689
528.53/530.44 c #Conflicts: 41000 | #Constraints: 55689
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 42000 | #Constraints: 52489
528.53/530.44 c #Conflicts: 43000 | #Constraints: 53489
528.53/530.44 c #Conflicts: 44000 | #Constraints: 54489
528.53/530.44 c #Conflicts: 45000 | #Constraints: 55489
528.53/530.44 c #Conflicts: 46000 | #Constraints: 56489
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 47000 | #Constraints: 53086
528.53/530.44 c #Conflicts: 48000 | #Constraints: 54086
528.53/530.44 c #Conflicts: 49000 | #Constraints: 55086
528.53/530.44 c #Conflicts: 50000 | #Constraints: 56086
528.53/530.44 c #Conflicts: 51000 | #Constraints: 57086
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 52000 | #Constraints: 53489
528.53/530.44 c #Conflicts: 53000 | #Constraints: 54489
528.53/530.44 c #Conflicts: 54000 | #Constraints: 55489
528.53/530.44 c #Conflicts: 55000 | #Constraints: 56489
528.53/530.44 c #Conflicts: 56000 | #Constraints: 57489
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 57000 | #Constraints: 53708
528.53/530.44 c #Conflicts: 58000 | #Constraints: 54708
528.53/530.44 c #Conflicts: 59000 | #Constraints: 55708
528.53/530.44 c #Conflicts: 60000 | #Constraints: 56708
528.53/530.44 c #Conflicts: 61000 | #Constraints: 57708
528.53/530.44 c INPROCESSING
528.53/530.44 c GARBAGE COLLECT
528.53/530.44 c #Conflicts: 62000 | #Constraints: 53701
528.53/530.44 c #Conflicts: 63000 | #Constraints: 54701
528.53/530.44 c #Conflicts: 64000 | #Constraints: 55701
528.53/530.44 c #Conflicts: 65000 | #Constraints: 56701
909.90/913.05 c #Conflicts: 66000 | #Constraints: 57701
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 67000 | #Constraints: 53499
909.90/913.05 c #Conflicts: 68000 | #Constraints: 54499
909.90/913.05 c #Conflicts: 69000 | #Constraints: 55499
909.90/913.05 c #Conflicts: 70000 | #Constraints: 56499
909.90/913.05 c #Conflicts: 71000 | #Constraints: 57499
909.90/913.05 c #Conflicts: 72000 | #Constraints: 58499
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 73000 | #Constraints: 54096
909.90/913.05 c #Conflicts: 74000 | #Constraints: 55096
909.90/913.05 c #Conflicts: 75000 | #Constraints: 56096
909.90/913.05 c #Conflicts: 76000 | #Constraints: 57096
909.90/913.05 c #Conflicts: 77000 | #Constraints: 58096
909.90/913.05 c #Conflicts: 78000 | #Constraints: 59096
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 79000 | #Constraints: 54513
909.90/913.05 c #Conflicts: 80000 | #Constraints: 55513
909.90/913.05 c #Conflicts: 81000 | #Constraints: 56513
909.90/913.05 c #Conflicts: 82000 | #Constraints: 57513
909.90/913.05 c #Conflicts: 83000 | #Constraints: 58513
909.90/913.05 c #Conflicts: 84000 | #Constraints: 59513
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 85000 | #Constraints: 54702
909.90/913.05 c #Conflicts: 86000 | #Constraints: 55702
909.90/913.05 c #Conflicts: 87000 | #Constraints: 56702
909.90/913.05 c #Conflicts: 88000 | #Constraints: 57702
909.90/913.05 c #Conflicts: 89000 | #Constraints: 58702
909.90/913.05 c #Conflicts: 90000 | #Constraints: 59702
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 91000 | #Constraints: 54716
909.90/913.05 c #Conflicts: 92000 | #Constraints: 55716
909.90/913.05 c #Conflicts: 93000 | #Constraints: 56716
909.90/913.05 c #Conflicts: 94000 | #Constraints: 57716
909.90/913.05 c #Conflicts: 95000 | #Constraints: 58716
909.90/913.05 c #Conflicts: 96000 | #Constraints: 59716
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 97000 | #Constraints: 54554
909.90/913.05 c #Conflicts: 98000 | #Constraints: 55554
909.90/913.05 c #Conflicts: 99000 | #Constraints: 56554
909.90/913.05 c #Conflicts: 100000 | #Constraints: 57554
909.90/913.05 c #Conflicts: 101000 | #Constraints: 58554
909.90/913.05 c #Conflicts: 102000 | #Constraints: 59554
909.90/913.05 c #Conflicts: 103000 | #Constraints: 60554
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 104000 | #Constraints: 55145
909.90/913.05 c #Conflicts: 105000 | #Constraints: 56145
909.90/913.05 c #Conflicts: 106000 | #Constraints: 57145
909.90/913.05 c #Conflicts: 107000 | #Constraints: 58145
909.90/913.05 c #Conflicts: 108000 | #Constraints: 59145
909.90/913.05 c #Conflicts: 109000 | #Constraints: 60145
909.90/913.05 c #Conflicts: 110000 | #Constraints: 61145
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 111000 | #Constraints: 55523
909.90/913.05 c #Conflicts: 112000 | #Constraints: 56523
909.90/913.05 c #Conflicts: 113000 | #Constraints: 57523
909.90/913.05 c #Conflicts: 114000 | #Constraints: 58523
909.90/913.05 c #Conflicts: 115000 | #Constraints: 59523
909.90/913.05 c #Conflicts: 116000 | #Constraints: 60523
909.90/913.05 c #Conflicts: 117000 | #Constraints: 61523
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 118000 | #Constraints: 55757
909.90/913.05 c #Conflicts: 119000 | #Constraints: 56757
909.90/913.05 c #Conflicts: 120000 | #Constraints: 57757
909.90/913.05 c #Conflicts: 121000 | #Constraints: 58757
909.90/913.05 c #Conflicts: 122000 | #Constraints: 59757
909.90/913.05 c #Conflicts: 123000 | #Constraints: 60757
909.90/913.05 c #Conflicts: 124000 | #Constraints: 61757
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 125000 | #Constraints: 55754
909.90/913.05 c #Conflicts: 126000 | #Constraints: 56754
909.90/913.05 c #Conflicts: 127000 | #Constraints: 57754
909.90/913.05 c #Conflicts: 128000 | #Constraints: 58754
909.90/913.05 c #Conflicts: 129000 | #Constraints: 59754
909.90/913.05 c #Conflicts: 130000 | #Constraints: 60754
909.90/913.05 c #Conflicts: 131000 | #Constraints: 61754
909.90/913.05 c INPROCESSING
909.90/913.05 c GARBAGE COLLECT
909.90/913.05 c #Conflicts: 132000 | #Constraints: 55541
909.90/913.05 c #Conflicts: 133000 | #Constraints: 56541
909.90/913.05 c #Conflicts: 134000 | #Constraints: 57541
909.90/913.05 c #Conflicts: 135000 | #Constraints: 58541
909.90/913.05 c #Conflicts: 136000 | #Constraints: 59541
909.90/913.05 c #Conflicts: 137000 | #Constraints: 60541
1290.81/1295.29 c #Conflicts: 138000 | #Constraints: 61541
1290.81/1295.29 c #Conflicts: 139000 | #Constraints: 62541
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 140000 | #Constraints: 56135
1290.81/1295.29 c #Conflicts: 141000 | #Constraints: 57135
1290.81/1295.29 c #Conflicts: 142000 | #Constraints: 58135
1290.81/1295.29 c #Conflicts: 143000 | #Constraints: 59135
1290.81/1295.29 c #Conflicts: 144000 | #Constraints: 60135
1290.81/1295.29 c #Conflicts: 145000 | #Constraints: 61135
1290.81/1295.29 c #Conflicts: 146000 | #Constraints: 62135
1290.81/1295.29 c #Conflicts: 147000 | #Constraints: 63135
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 148000 | #Constraints: 56538
1290.81/1295.29 c #Conflicts: 149000 | #Constraints: 57538
1290.81/1295.29 c #Conflicts: 150000 | #Constraints: 58538
1290.81/1295.29 c #Conflicts: 151000 | #Constraints: 59538
1290.81/1295.29 c #Conflicts: 152000 | #Constraints: 60538
1290.81/1295.29 c #Conflicts: 153000 | #Constraints: 61538
1290.81/1295.29 c #Conflicts: 154000 | #Constraints: 62538
1290.81/1295.29 c #Conflicts: 155000 | #Constraints: 63538
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 156000 | #Constraints: 56717
1290.81/1295.29 c #Conflicts: 157000 | #Constraints: 57717
1290.81/1295.29 c #Conflicts: 158000 | #Constraints: 58717
1290.81/1295.29 c #Conflicts: 159000 | #Constraints: 59717
1290.81/1295.29 c #Conflicts: 160000 | #Constraints: 60717
1290.81/1295.29 c #Conflicts: 161000 | #Constraints: 61717
1290.81/1295.29 c #Conflicts: 162000 | #Constraints: 62717
1290.81/1295.29 c #Conflicts: 163000 | #Constraints: 63717
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 164000 | #Constraints: 56705
1290.81/1295.29 c #Conflicts: 165000 | #Constraints: 57705
1290.81/1295.29 c #Conflicts: 166000 | #Constraints: 58705
1290.81/1295.29 c #Conflicts: 167000 | #Constraints: 59705
1290.81/1295.29 c #Conflicts: 168000 | #Constraints: 60705
1290.81/1295.29 c #Conflicts: 169000 | #Constraints: 61705
1290.81/1295.29 c #Conflicts: 170000 | #Constraints: 62705
1290.81/1295.29 c #Conflicts: 171000 | #Constraints: 63705
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 172000 | #Constraints: 56493
1290.81/1295.29 c #Conflicts: 173000 | #Constraints: 57493
1290.81/1295.29 c #Conflicts: 174000 | #Constraints: 58493
1290.81/1295.29 c #Conflicts: 175000 | #Constraints: 59493
1290.81/1295.29 c #Conflicts: 176000 | #Constraints: 60493
1290.81/1295.29 c #Conflicts: 177000 | #Constraints: 61493
1290.81/1295.29 c #Conflicts: 178000 | #Constraints: 62493
1290.81/1295.29 c #Conflicts: 179000 | #Constraints: 63493
1290.81/1295.29 c #Conflicts: 180000 | #Constraints: 64493
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 181000 | #Constraints: 57090
1290.81/1295.29 c #Conflicts: 182000 | #Constraints: 58090
1290.81/1295.29 c #Conflicts: 183000 | #Constraints: 59090
1290.81/1295.29 c #Conflicts: 184000 | #Constraints: 60090
1290.81/1295.29 c #Conflicts: 185000 | #Constraints: 61090
1290.81/1295.29 c #Conflicts: 186000 | #Constraints: 62090
1290.81/1295.29 c #Conflicts: 187000 | #Constraints: 63090
1290.81/1295.29 c #Conflicts: 188000 | #Constraints: 64090
1290.81/1295.29 c #Conflicts: 189000 | #Constraints: 65090
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 190000 | #Constraints: 57498
1290.81/1295.29 c #Conflicts: 191000 | #Constraints: 58498
1290.81/1295.29 c #Conflicts: 192000 | #Constraints: 59498
1290.81/1295.29 c #Conflicts: 193000 | #Constraints: 60498
1290.81/1295.29 c #Conflicts: 194000 | #Constraints: 61498
1290.81/1295.29 c #Conflicts: 195000 | #Constraints: 62498
1290.81/1295.29 c #Conflicts: 196000 | #Constraints: 63498
1290.81/1295.29 c #Conflicts: 197000 | #Constraints: 64498
1290.81/1295.29 c #Conflicts: 198000 | #Constraints: 65498
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 199000 | #Constraints: 57704
1290.81/1295.29 c #Conflicts: 200000 | #Constraints: 58704
1290.81/1295.29 c #Conflicts: 201000 | #Constraints: 59704
1290.81/1295.29 c #Conflicts: 202000 | #Constraints: 60704
1290.81/1295.29 c #Conflicts: 203000 | #Constraints: 61704
1290.81/1295.29 c #Conflicts: 204000 | #Constraints: 62704
1290.81/1295.29 c #Conflicts: 205000 | #Constraints: 63704
1290.81/1295.29 c #Conflicts: 206000 | #Constraints: 64704
1290.81/1295.29 c #Conflicts: 207000 | #Constraints: 65704
1290.81/1295.29 c INPROCESSING
1290.81/1295.29 c GARBAGE COLLECT
1290.81/1295.29 c #Conflicts: 208000 | #Constraints: 57707
1290.81/1295.29 c #Conflicts: 209000 | #Constraints: 58707
1290.81/1295.29 c #Conflicts: 210000 | #Constraints: 59707
1676.84/1682.39 c #Conflicts: 211000 | #Constraints: 60707
1676.84/1682.39 c #Conflicts: 212000 | #Constraints: 61707
1676.84/1682.39 c #Conflicts: 213000 | #Constraints: 62707
1676.84/1682.39 c #Conflicts: 214000 | #Constraints: 63707
1676.84/1682.39 c #Conflicts: 215000 | #Constraints: 64707
1676.84/1682.39 c #Conflicts: 216000 | #Constraints: 65707
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 217000 | #Constraints: 57496
1676.84/1682.39 c #Conflicts: 218000 | #Constraints: 58496
1676.84/1682.39 c #Conflicts: 219000 | #Constraints: 59496
1676.84/1682.39 c #Conflicts: 220000 | #Constraints: 60496
1676.84/1682.39 c #Conflicts: 221000 | #Constraints: 61496
1676.84/1682.39 c #Conflicts: 222000 | #Constraints: 62496
1676.84/1682.39 c #Conflicts: 223000 | #Constraints: 63496
1676.84/1682.39 c #Conflicts: 224000 | #Constraints: 64496
1676.84/1682.39 c #Conflicts: 225000 | #Constraints: 65496
1676.84/1682.39 c #Conflicts: 226000 | #Constraints: 66496
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 227000 | #Constraints: 58114
1676.84/1682.39 c #Conflicts: 228000 | #Constraints: 59114
1676.84/1682.39 c #Conflicts: 229000 | #Constraints: 60114
1676.84/1682.39 c #Conflicts: 230000 | #Constraints: 61114
1676.84/1682.39 c #Conflicts: 231000 | #Constraints: 62114
1676.84/1682.39 c #Conflicts: 232000 | #Constraints: 63114
1676.84/1682.39 c #Conflicts: 233000 | #Constraints: 64114
1676.84/1682.39 c #Conflicts: 234000 | #Constraints: 65114
1676.84/1682.39 c #Conflicts: 235000 | #Constraints: 66114
1676.84/1682.39 c #Conflicts: 236000 | #Constraints: 67114
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 237000 | #Constraints: 58512
1676.84/1682.39 c #Conflicts: 238000 | #Constraints: 59512
1676.84/1682.39 c #Conflicts: 239000 | #Constraints: 60512
1676.84/1682.39 c #Conflicts: 240000 | #Constraints: 61512
1676.84/1682.39 c #Conflicts: 241000 | #Constraints: 62512
1676.84/1682.39 c #Conflicts: 242000 | #Constraints: 63512
1676.84/1682.39 c #Conflicts: 243000 | #Constraints: 64512
1676.84/1682.39 c #Conflicts: 244000 | #Constraints: 65512
1676.84/1682.39 c #Conflicts: 245000 | #Constraints: 66512
1676.84/1682.39 c #Conflicts: 246000 | #Constraints: 67512
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 247000 | #Constraints: 58717
1676.84/1682.39 c #Conflicts: 248000 | #Constraints: 59717
1676.84/1682.39 c #Conflicts: 249000 | #Constraints: 60717
1676.84/1682.39 c #Conflicts: 250000 | #Constraints: 61717
1676.84/1682.39 c #Conflicts: 251000 | #Constraints: 62717
1676.84/1682.39 c #Conflicts: 252000 | #Constraints: 63717
1676.84/1682.39 c #Conflicts: 253000 | #Constraints: 64717
1676.84/1682.39 c #Conflicts: 254000 | #Constraints: 65717
1676.84/1682.39 c #Conflicts: 255000 | #Constraints: 66717
1676.84/1682.39 c #Conflicts: 256000 | #Constraints: 67717
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 257000 | #Constraints: 58733
1676.84/1682.39 c #Conflicts: 258000 | #Constraints: 59733
1676.84/1682.39 c #Conflicts: 259000 | #Constraints: 60733
1676.84/1682.39 c #Conflicts: 260000 | #Constraints: 61733
1676.84/1682.39 c #Conflicts: 261000 | #Constraints: 62733
1676.84/1682.39 c #Conflicts: 262000 | #Constraints: 63733
1676.84/1682.39 c #Conflicts: 263000 | #Constraints: 64733
1676.84/1682.39 c #Conflicts: 264000 | #Constraints: 65733
1676.84/1682.39 c #Conflicts: 265000 | #Constraints: 66733
1676.84/1682.39 c #Conflicts: 266000 | #Constraints: 67733
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 267000 | #Constraints: 58530
1676.84/1682.39 c #Conflicts: 268000 | #Constraints: 59530
1676.84/1682.39 c #Conflicts: 269000 | #Constraints: 60530
1676.84/1682.39 c #Conflicts: 270000 | #Constraints: 61530
1676.84/1682.39 c #Conflicts: 271000 | #Constraints: 62530
1676.84/1682.39 c #Conflicts: 272000 | #Constraints: 63530
1676.84/1682.39 c #Conflicts: 273000 | #Constraints: 64530
1676.84/1682.39 c #Conflicts: 274000 | #Constraints: 65530
1676.84/1682.39 c #Conflicts: 275000 | #Constraints: 66530
1676.84/1682.39 c #Conflicts: 276000 | #Constraints: 67530
1676.84/1682.39 c #Conflicts: 277000 | #Constraints: 68530
1676.84/1682.39 c INPROCESSING
1676.84/1682.39 c GARBAGE COLLECT
1676.84/1682.39 c #Conflicts: 278000 | #Constraints: 59119
1676.84/1682.39 c #Conflicts: 279000 | #Constraints: 60119
1676.84/1682.39 c #Conflicts: 280000 | #Constraints: 61119
1676.84/1682.39 c #Conflicts: 281000 | #Constraints: 62119
1676.84/1682.39 c #Conflicts: 282000 | #Constraints: 63119
1676.84/1682.39 c #Conflicts: 283000 | #Constraints: 64119
1676.84/1682.39 c #Conflicts: 284000 | #Constraints: 65119
1960.56/1966.96 c #Conflicts: 285000 | #Constraints: 66119
1960.56/1966.96 c #Conflicts: 286000 | #Constraints: 67119
1960.56/1966.96 c #Conflicts: 287000 | #Constraints: 68119
1960.56/1966.96 c #Conflicts: 288000 | #Constraints: 69119
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 289000 | #Constraints: 59510
1960.56/1966.96 c #Conflicts: 290000 | #Constraints: 60510
1960.56/1966.96 c #Conflicts: 291000 | #Constraints: 61510
1960.56/1966.96 c #Conflicts: 292000 | #Constraints: 62510
1960.56/1966.96 c #Conflicts: 293000 | #Constraints: 63510
1960.56/1966.96 c #Conflicts: 294000 | #Constraints: 64510
1960.56/1966.96 c #Conflicts: 295000 | #Constraints: 65510
1960.56/1966.96 c #Conflicts: 296000 | #Constraints: 66510
1960.56/1966.96 c #Conflicts: 297000 | #Constraints: 67510
1960.56/1966.96 c #Conflicts: 298000 | #Constraints: 68510
1960.56/1966.96 c #Conflicts: 299000 | #Constraints: 69510
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 300000 | #Constraints: 59704
1960.56/1966.96 c #Conflicts: 301000 | #Constraints: 60704
1960.56/1966.96 c #Conflicts: 302000 | #Constraints: 61704
1960.56/1966.96 c #Conflicts: 303000 | #Constraints: 62704
1960.56/1966.96 c #Conflicts: 304000 | #Constraints: 63704
1960.56/1966.96 c #Conflicts: 305000 | #Constraints: 64704
1960.56/1966.96 c #Conflicts: 306000 | #Constraints: 65704
1960.56/1966.96 c #Conflicts: 307000 | #Constraints: 66704
1960.56/1966.96 c #Conflicts: 308000 | #Constraints: 67704
1960.56/1966.96 c #Conflicts: 309000 | #Constraints: 68704
1960.56/1966.96 c #Conflicts: 310000 | #Constraints: 69704
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 311000 | #Constraints: 59703
1960.56/1966.96 c #Conflicts: 312000 | #Constraints: 60703
1960.56/1966.96 c #Conflicts: 313000 | #Constraints: 61703
1960.56/1966.96 c #Conflicts: 314000 | #Constraints: 62703
1960.56/1966.96 c #Conflicts: 315000 | #Constraints: 63703
1960.56/1966.96 c #Conflicts: 316000 | #Constraints: 64703
1960.56/1966.96 c #Conflicts: 317000 | #Constraints: 65703
1960.56/1966.96 c #Conflicts: 318000 | #Constraints: 66703
1960.56/1966.96 c #Conflicts: 319000 | #Constraints: 67703
1960.56/1966.96 c #Conflicts: 320000 | #Constraints: 68703
1960.56/1966.96 c #Conflicts: 321000 | #Constraints: 69703
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 322000 | #Constraints: 59513
1960.56/1966.96 c #Conflicts: 323000 | #Constraints: 60513
1960.56/1966.96 c #Conflicts: 324000 | #Constraints: 61513
1960.56/1966.96 c #Conflicts: 325000 | #Constraints: 62513
1960.56/1966.96 c #Conflicts: 326000 | #Constraints: 63513
1960.56/1966.96 c #Conflicts: 327000 | #Constraints: 64513
1960.56/1966.96 c #Conflicts: 328000 | #Constraints: 65513
1960.56/1966.96 c #Conflicts: 329000 | #Constraints: 66513
1960.56/1966.96 c #Conflicts: 330000 | #Constraints: 67513
1960.56/1966.96 c #Conflicts: 331000 | #Constraints: 68513
1960.56/1966.96 c #Conflicts: 332000 | #Constraints: 69513
1960.56/1966.96 c #Conflicts: 333000 | #Constraints: 70513
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 334000 | #Constraints: 60110
1960.56/1966.96 c #Conflicts: 335000 | #Constraints: 61110
1960.56/1966.96 c #Conflicts: 336000 | #Constraints: 62110
1960.56/1966.96 c #Conflicts: 337000 | #Constraints: 63110
1960.56/1966.96 c #Conflicts: 338000 | #Constraints: 64110
1960.56/1966.96 c #Conflicts: 339000 | #Constraints: 65110
1960.56/1966.96 c #Conflicts: 340000 | #Constraints: 66110
1960.56/1966.96 c #Conflicts: 341000 | #Constraints: 67110
1960.56/1966.96 c #Conflicts: 342000 | #Constraints: 68110
1960.56/1966.96 c #Conflicts: 343000 | #Constraints: 69110
1960.56/1966.96 c #Conflicts: 344000 | #Constraints: 70110
1960.56/1966.96 c #Conflicts: 345000 | #Constraints: 71110
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 346000 | #Constraints: 60504
1960.56/1966.96 c #Conflicts: 347000 | #Constraints: 61504
1960.56/1966.96 c #Conflicts: 348000 | #Constraints: 62504
1960.56/1966.96 c #Conflicts: 349000 | #Constraints: 63504
1960.56/1966.96 c #Conflicts: 350000 | #Constraints: 64504
1960.56/1966.96 c #Conflicts: 351000 | #Constraints: 65504
1960.56/1966.96 c #Conflicts: 352000 | #Constraints: 66504
1960.56/1966.96 c #Conflicts: 353000 | #Constraints: 67504
1960.56/1966.96 c #Conflicts: 354000 | #Constraints: 68504
1960.56/1966.96 c #Conflicts: 355000 | #Constraints: 69504
1960.56/1966.96 c #Conflicts: 356000 | #Constraints: 70504
1960.56/1966.96 c #Conflicts: 357000 | #Constraints: 71504
1960.56/1966.96 c INPROCESSING
1960.56/1966.96 c GARBAGE COLLECT
1960.56/1966.96 c #Conflicts: 358000 | #Constraints: 60706
1960.56/1966.96 c #Conflicts: 359000 | #Constraints: 61706
2265.63/2272.95 c #Conflicts: 360000 | #Constraints: 62706
2265.63/2272.95 c #Conflicts: 361000 | #Constraints: 63706
2265.63/2272.95 c #Conflicts: 362000 | #Constraints: 64706
2265.63/2272.95 c #Conflicts: 363000 | #Constraints: 65706
2265.63/2272.95 c #Conflicts: 364000 | #Constraints: 66706
2265.63/2272.95 c #Conflicts: 365000 | #Constraints: 67706
2265.63/2272.95 c #Conflicts: 366000 | #Constraints: 68706
2265.63/2272.95 c #Conflicts: 367000 | #Constraints: 69706
2265.63/2272.95 c #Conflicts: 368000 | #Constraints: 70706
2265.63/2272.95 c #Conflicts: 369000 | #Constraints: 71706
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2265.63/2272.95 c #Conflicts: 370000 | #Constraints: 60711
2265.63/2272.95 c #Conflicts: 371000 | #Constraints: 61711
2265.63/2272.95 c #Conflicts: 372000 | #Constraints: 62711
2265.63/2272.95 c #Conflicts: 373000 | #Constraints: 63711
2265.63/2272.95 c #Conflicts: 374000 | #Constraints: 64711
2265.63/2272.95 c #Conflicts: 375000 | #Constraints: 65711
2265.63/2272.95 c #Conflicts: 376000 | #Constraints: 66711
2265.63/2272.95 c #Conflicts: 377000 | #Constraints: 67711
2265.63/2272.95 c #Conflicts: 378000 | #Constraints: 68711
2265.63/2272.95 c #Conflicts: 379000 | #Constraints: 69711
2265.63/2272.95 c #Conflicts: 380000 | #Constraints: 70711
2265.63/2272.95 c #Conflicts: 381000 | #Constraints: 71711
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2265.63/2272.95 c #Conflicts: 382000 | #Constraints: 60523
2265.63/2272.95 c #Conflicts: 383000 | #Constraints: 61523
2265.63/2272.95 c #Conflicts: 384000 | #Constraints: 62523
2265.63/2272.95 c #Conflicts: 385000 | #Constraints: 63523
2265.63/2272.95 c #Conflicts: 386000 | #Constraints: 64523
2265.63/2272.95 c #Conflicts: 387000 | #Constraints: 65523
2265.63/2272.95 c #Conflicts: 388000 | #Constraints: 66523
2265.63/2272.95 c #Conflicts: 389000 | #Constraints: 67523
2265.63/2272.95 c #Conflicts: 390000 | #Constraints: 68523
2265.63/2272.95 c #Conflicts: 391000 | #Constraints: 69523
2265.63/2272.95 c #Conflicts: 392000 | #Constraints: 70523
2265.63/2272.95 c #Conflicts: 393000 | #Constraints: 71523
2265.63/2272.95 c #Conflicts: 394000 | #Constraints: 72523
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2265.63/2272.95 c #Conflicts: 395000 | #Constraints: 61119
2265.63/2272.95 c #Conflicts: 396000 | #Constraints: 62119
2265.63/2272.95 c #Conflicts: 397000 | #Constraints: 63119
2265.63/2272.95 c #Conflicts: 398000 | #Constraints: 64119
2265.63/2272.95 c #Conflicts: 399000 | #Constraints: 65119
2265.63/2272.95 c #Conflicts: 400000 | #Constraints: 66119
2265.63/2272.95 c #Conflicts: 401000 | #Constraints: 67119
2265.63/2272.95 c #Conflicts: 402000 | #Constraints: 68119
2265.63/2272.95 c #Conflicts: 403000 | #Constraints: 69119
2265.63/2272.95 c #Conflicts: 404000 | #Constraints: 70119
2265.63/2272.95 c #Conflicts: 405000 | #Constraints: 71119
2265.63/2272.95 c #Conflicts: 406000 | #Constraints: 72119
2265.63/2272.95 c #Conflicts: 407000 | #Constraints: 73119
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2265.63/2272.95 c #Conflicts: 408000 | #Constraints: 61506
2265.63/2272.95 c #Conflicts: 409000 | #Constraints: 62506
2265.63/2272.95 c #Conflicts: 410000 | #Constraints: 63506
2265.63/2272.95 c #Conflicts: 411000 | #Constraints: 64506
2265.63/2272.95 c #Conflicts: 412000 | #Constraints: 65506
2265.63/2272.95 c #Conflicts: 413000 | #Constraints: 66506
2265.63/2272.95 c #Conflicts: 414000 | #Constraints: 67506
2265.63/2272.95 c #Conflicts: 415000 | #Constraints: 68506
2265.63/2272.95 c #Conflicts: 416000 | #Constraints: 69506
2265.63/2272.95 c #Conflicts: 417000 | #Constraints: 70506
2265.63/2272.95 c #Conflicts: 418000 | #Constraints: 71506
2265.63/2272.95 c #Conflicts: 419000 | #Constraints: 72506
2265.63/2272.95 c #Conflicts: 420000 | #Constraints: 73506
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2265.63/2272.95 c #Conflicts: 421000 | #Constraints: 61708
2265.63/2272.95 c #Conflicts: 422000 | #Constraints: 62708
2265.63/2272.95 c #Conflicts: 423000 | #Constraints: 63708
2265.63/2272.95 c #Conflicts: 424000 | #Constraints: 64708
2265.63/2272.95 c #Conflicts: 425000 | #Constraints: 65708
2265.63/2272.95 c #Conflicts: 426000 | #Constraints: 66708
2265.63/2272.95 c #Conflicts: 427000 | #Constraints: 67708
2265.63/2272.95 c #Conflicts: 428000 | #Constraints: 68708
2265.63/2272.95 c #Conflicts: 429000 | #Constraints: 69708
2265.63/2272.95 c #Conflicts: 430000 | #Constraints: 70708
2265.63/2272.95 c #Conflicts: 431000 | #Constraints: 71708
2265.63/2272.95 c #Conflicts: 432000 | #Constraints: 72708
2265.63/2272.95 c #Conflicts: 433000 | #Constraints: 73708
2265.63/2272.95 c INPROCESSING
2265.63/2272.95 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 434000 | #Constraints: 61739
2590.43/2598.71 c #Conflicts: 435000 | #Constraints: 62739
2590.43/2598.71 c #Conflicts: 436000 | #Constraints: 63739
2590.43/2598.71 c #Conflicts: 437000 | #Constraints: 64739
2590.43/2598.71 c #Conflicts: 438000 | #Constraints: 65739
2590.43/2598.71 c #Conflicts: 439000 | #Constraints: 66739
2590.43/2598.71 c #Conflicts: 440000 | #Constraints: 67739
2590.43/2598.71 c #Conflicts: 441000 | #Constraints: 68739
2590.43/2598.71 c #Conflicts: 442000 | #Constraints: 69739
2590.43/2598.71 c #Conflicts: 443000 | #Constraints: 70739
2590.43/2598.71 c #Conflicts: 444000 | #Constraints: 71739
2590.43/2598.71 c #Conflicts: 445000 | #Constraints: 72739
2590.43/2598.71 c #Conflicts: 446000 | #Constraints: 73739
2590.43/2598.71 c INPROCESSING
2590.43/2598.71 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 447000 | #Constraints: 61542
2590.43/2598.71 c #Conflicts: 448000 | #Constraints: 62542
2590.43/2598.71 c #Conflicts: 449000 | #Constraints: 63542
2590.43/2598.71 c #Conflicts: 450000 | #Constraints: 64542
2590.43/2598.71 c #Conflicts: 451000 | #Constraints: 65542
2590.43/2598.71 c #Conflicts: 452000 | #Constraints: 66542
2590.43/2598.71 c #Conflicts: 453000 | #Constraints: 67542
2590.43/2598.71 c #Conflicts: 454000 | #Constraints: 68542
2590.43/2598.71 c #Conflicts: 455000 | #Constraints: 69542
2590.43/2598.71 c #Conflicts: 456000 | #Constraints: 70542
2590.43/2598.71 c #Conflicts: 457000 | #Constraints: 71542
2590.43/2598.71 c #Conflicts: 458000 | #Constraints: 72542
2590.43/2598.71 c #Conflicts: 459000 | #Constraints: 73542
2590.43/2598.71 c #Conflicts: 460000 | #Constraints: 74542
2590.43/2598.71 c INPROCESSING
2590.43/2598.71 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 461000 | #Constraints: 62125
2590.43/2598.71 c #Conflicts: 462000 | #Constraints: 63125
2590.43/2598.71 c #Conflicts: 463000 | #Constraints: 64125
2590.43/2598.71 c #Conflicts: 464000 | #Constraints: 65125
2590.43/2598.71 c #Conflicts: 465000 | #Constraints: 66125
2590.43/2598.71 c #Conflicts: 466000 | #Constraints: 67125
2590.43/2598.71 c #Conflicts: 467000 | #Constraints: 68125
2590.43/2598.71 c #Conflicts: 468000 | #Constraints: 69125
2590.43/2598.71 c #Conflicts: 469000 | #Constraints: 70125
2590.43/2598.71 c #Conflicts: 470000 | #Constraints: 71125
2590.43/2598.71 c #Conflicts: 471000 | #Constraints: 72125
2590.43/2598.71 c #Conflicts: 472000 | #Constraints: 73125
2590.43/2598.71 c #Conflicts: 473000 | #Constraints: 74125
2590.43/2598.71 c #Conflicts: 474000 | #Constraints: 75125
2590.43/2598.71 c INPROCESSING
2590.43/2598.71 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 475000 | #Constraints: 62518
2590.43/2598.71 c #Conflicts: 476000 | #Constraints: 63518
2590.43/2598.71 c #Conflicts: 477000 | #Constraints: 64518
2590.43/2598.71 c #Conflicts: 478000 | #Constraints: 65518
2590.43/2598.71 c #Conflicts: 479000 | #Constraints: 66518
2590.43/2598.71 c #Conflicts: 480000 | #Constraints: 67518
2590.43/2598.71 c #Conflicts: 481000 | #Constraints: 68518
2590.43/2598.71 c #Conflicts: 482000 | #Constraints: 69518
2590.43/2598.71 c #Conflicts: 483000 | #Constraints: 70518
2590.43/2598.71 c #Conflicts: 484000 | #Constraints: 71518
2590.43/2598.71 c #Conflicts: 485000 | #Constraints: 72518
2590.43/2598.71 c #Conflicts: 486000 | #Constraints: 73518
2590.43/2598.71 c #Conflicts: 487000 | #Constraints: 74518
2590.43/2598.71 c #Conflicts: 488000 | #Constraints: 75518
2590.43/2598.71 c INPROCESSING
2590.43/2598.71 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 489000 | #Constraints: 62709
2590.43/2598.71 c #Conflicts: 490000 | #Constraints: 63709
2590.43/2598.71 c #Conflicts: 491000 | #Constraints: 64709
2590.43/2598.71 c #Conflicts: 492000 | #Constraints: 65709
2590.43/2598.71 c #Conflicts: 493000 | #Constraints: 66709
2590.43/2598.71 c #Conflicts: 494000 | #Constraints: 67709
2590.43/2598.71 c #Conflicts: 495000 | #Constraints: 68709
2590.43/2598.71 c #Conflicts: 496000 | #Constraints: 69709
2590.43/2598.71 c #Conflicts: 497000 | #Constraints: 70709
2590.43/2598.71 c #Conflicts: 498000 | #Constraints: 71709
2590.43/2598.71 c #Conflicts: 499000 | #Constraints: 72709
2590.43/2598.71 c #Conflicts: 500000 | #Constraints: 73709
2590.43/2598.71 c #Conflicts: 501000 | #Constraints: 74709
2590.43/2598.71 c #Conflicts: 502000 | #Constraints: 75709
2590.43/2598.71 c INPROCESSING
2590.43/2598.71 c GARBAGE COLLECT
2590.43/2598.71 c #Conflicts: 503000 | #Constraints: 62711
2590.43/2598.71 c #Conflicts: 504000 | #Constraints: 63711
2590.43/2598.71 c #Conflicts: 505000 | #Constraints: 64711
2590.43/2598.71 c #Conflicts: 506000 | #Constraints: 65711
2590.43/2598.71 c #Conflicts: 507000 | #Constraints: 66711
2590.43/2598.71 c #Conflicts: 508000 | #Constraints: 67711
2590.43/2598.71 c #Conflicts: 509000 | #Constraints: 68711
2876.73/2885.94 c #Conflicts: 510000 | #Constraints: 69711
2876.73/2885.94 c #Conflicts: 511000 | #Constraints: 70711
2876.73/2885.94 c #Conflicts: 512000 | #Constraints: 71711
2876.73/2885.94 c #Conflicts: 513000 | #Constraints: 72711
2876.73/2885.94 c #Conflicts: 514000 | #Constraints: 73711
2876.73/2885.94 c #Conflicts: 515000 | #Constraints: 74711
2876.73/2885.94 c #Conflicts: 516000 | #Constraints: 75711
2876.73/2885.94 c INPROCESSING
2876.73/2885.94 c GARBAGE COLLECT
2876.73/2885.94 c #Conflicts: 517000 | #Constraints: 62510
2876.73/2885.94 c #Conflicts: 518000 | #Constraints: 63510
2876.73/2885.94 c #Conflicts: 519000 | #Constraints: 64510
2876.73/2885.94 c #Conflicts: 520000 | #Constraints: 65510
2876.73/2885.94 c #Conflicts: 521000 | #Constraints: 66510
2876.73/2885.94 c #Conflicts: 522000 | #Constraints: 67510
2876.73/2885.94 c #Conflicts: 523000 | #Constraints: 68510
2876.73/2885.94 c #Conflicts: 524000 | #Constraints: 69510
2876.73/2885.94 c #Conflicts: 525000 | #Constraints: 70510
2876.73/2885.94 c #Conflicts: 526000 | #Constraints: 71510
2876.73/2885.94 c #Conflicts: 527000 | #Constraints: 72510
2876.73/2885.94 c #Conflicts: 528000 | #Constraints: 73510
2876.73/2885.94 c #Conflicts: 529000 | #Constraints: 74510
2876.73/2885.94 c #Conflicts: 530000 | #Constraints: 75510
2876.73/2885.94 c #Conflicts: 531000 | #Constraints: 76510
2876.73/2885.94 c INPROCESSING
2876.73/2885.94 c GARBAGE COLLECT
2876.73/2885.94 c #Conflicts: 532000 | #Constraints: 63112
2876.73/2885.94 c #Conflicts: 533000 | #Constraints: 64112
2876.73/2885.94 c #Conflicts: 534000 | #Constraints: 65112
2876.73/2885.94 c #Conflicts: 535000 | #Constraints: 66112
2876.73/2885.94 c #Conflicts: 536000 | #Constraints: 67112
2876.73/2885.94 c #Conflicts: 537000 | #Constraints: 68112
2876.73/2885.94 c #Conflicts: 538000 | #Constraints: 69112
2876.73/2885.94 c #Conflicts: 539000 | #Constraints: 70112
2876.73/2885.94 c #Conflicts: 540000 | #Constraints: 71112
2876.73/2885.94 c #Conflicts: 541000 | #Constraints: 72112
2876.73/2885.94 c #Conflicts: 542000 | #Constraints: 73112
2876.73/2885.94 c #Conflicts: 543000 | #Constraints: 74112
2876.73/2885.94 c #Conflicts: 544000 | #Constraints: 75112
2876.73/2885.94 c #Conflicts: 545000 | #Constraints: 76112
2876.73/2885.94 c #Conflicts: 546000 | #Constraints: 77112
2876.73/2885.94 c INPROCESSING
2876.73/2885.94 c GARBAGE COLLECT
2876.73/2885.94 c #Conflicts: 547000 | #Constraints: 63510
2876.73/2885.94 c #Conflicts: 548000 | #Constraints: 64510
2876.73/2885.94 c #Conflicts: 549000 | #Constraints: 65510
2876.73/2885.94 c #Conflicts: 550000 | #Constraints: 66510
2876.73/2885.94 c #Conflicts: 551000 | #Constraints: 67510
2876.73/2885.94 c #Conflicts: 552000 | #Constraints: 68510
2876.73/2885.94 c #Conflicts: 553000 | #Constraints: 69510
2876.73/2885.94 c #Conflicts: 554000 | #Constraints: 70510
2876.73/2885.94 c #Conflicts: 555000 | #Constraints: 71510
2876.73/2885.94 c #Conflicts: 556000 | #Constraints: 72510
2876.73/2885.94 c #Conflicts: 557000 | #Constraints: 73510
2876.73/2885.94 c #Conflicts: 558000 | #Constraints: 74510
2876.73/2885.94 c #Conflicts: 559000 | #Constraints: 75510
2876.73/2885.94 c #Conflicts: 560000 | #Constraints: 76510
2876.73/2885.94 c #Conflicts: 561000 | #Constraints: 77510
2876.73/2885.94 c INPROCESSING
2876.73/2885.94 c GARBAGE COLLECT
2876.73/2885.94 c #Conflicts: 562000 | #Constraints: 63717
2876.73/2885.94 c #Conflicts: 563000 | #Constraints: 64717
2876.73/2885.94 c #Conflicts: 564000 | #Constraints: 65717
2876.73/2885.94 c #Conflicts: 565000 | #Constraints: 66717
2876.73/2885.94 c #Conflicts: 566000 | #Constraints: 67717
2876.73/2885.94 c #Conflicts: 567000 | #Constraints: 68717
2876.73/2885.94 c #Conflicts: 568000 | #Constraints: 69717
2876.73/2885.94 c #Conflicts: 569000 | #Constraints: 70717
2876.73/2885.94 c #Conflicts: 570000 | #Constraints: 71717
2876.73/2885.94 c #Conflicts: 571000 | #Constraints: 72717
2876.73/2885.94 c #Conflicts: 572000 | #Constraints: 73717
2876.73/2885.94 c #Conflicts: 573000 | #Constraints: 74717
2876.73/2885.94 c #Conflicts: 574000 | #Constraints: 75717
2876.73/2885.94 c #Conflicts: 575000 | #Constraints: 76717
2876.73/2885.94 c #Conflicts: 576000 | #Constraints: 77717
2876.73/2885.94 c INPROCESSING
2876.73/2885.94 c GARBAGE COLLECT
2876.73/2885.94 c #Conflicts: 577000 | #Constraints: 63722
2876.73/2885.94 c #Conflicts: 578000 | #Constraints: 64722
2876.73/2885.94 c #Conflicts: 579000 | #Constraints: 65722
2876.73/2885.94 c #Conflicts: 580000 | #Constraints: 66722
2876.73/2885.94 c #Conflicts: 581000 | #Constraints: 67722
2876.73/2885.94 c #Conflicts: 582000 | #Constraints: 68722
2876.73/2885.94 c #Conflicts: 583000 | #Constraints: 69722
2876.73/2885.94 c #Conflicts: 584000 | #Constraints: 70722
2876.73/2885.94 c #Conflicts: 585000 | #Constraints: 71722
3142.18/3152.18 c #Conflicts: 586000 | #Constraints: 72722
3142.18/3152.18 c #Conflicts: 587000 | #Constraints: 73722
3142.18/3152.18 c #Conflicts: 588000 | #Constraints: 74722
3142.18/3152.18 c #Conflicts: 589000 | #Constraints: 75722
3142.18/3152.18 c #Conflicts: 590000 | #Constraints: 76722
3142.18/3152.18 c #Conflicts: 591000 | #Constraints: 77722
3142.18/3152.18 c INPROCESSING
3142.18/3152.18 c GARBAGE COLLECT
3142.18/3152.18 c #Conflicts: 592000 | #Constraints: 63521
3142.18/3152.18 c #Conflicts: 593000 | #Constraints: 64521
3142.18/3152.18 c #Conflicts: 594000 | #Constraints: 65521
3142.18/3152.18 c #Conflicts: 595000 | #Constraints: 66521
3142.18/3152.18 c #Conflicts: 596000 | #Constraints: 67521
3142.18/3152.18 c #Conflicts: 597000 | #Constraints: 68521
3142.18/3152.18 c #Conflicts: 598000 | #Constraints: 69521
3142.18/3152.18 c #Conflicts: 599000 | #Constraints: 70521
3142.18/3152.18 c #Conflicts: 600000 | #Constraints: 71521
3142.18/3152.18 c #Conflicts: 601000 | #Constraints: 72521
3142.18/3152.18 c #Conflicts: 602000 | #Constraints: 73521
3142.18/3152.18 c #Conflicts: 603000 | #Constraints: 74521
3142.18/3152.18 c #Conflicts: 604000 | #Constraints: 75521
3142.18/3152.18 c #Conflicts: 605000 | #Constraints: 76521
3142.18/3152.18 c #Conflicts: 606000 | #Constraints: 77521
3142.18/3152.18 c #Conflicts: 607000 | #Constraints: 78521
3142.18/3152.18 c INPROCESSING
3142.18/3152.18 c GARBAGE COLLECT
3142.18/3152.18 c #Conflicts: 608000 | #Constraints: 64122
3142.18/3152.18 c #Conflicts: 609000 | #Constraints: 65122
3142.18/3152.18 c #Conflicts: 610000 | #Constraints: 66122
3142.18/3152.18 c #Conflicts: 611000 | #Constraints: 67122
3142.18/3152.18 c #Conflicts: 612000 | #Constraints: 68122
3142.18/3152.18 c #Conflicts: 613000 | #Constraints: 69122
3142.18/3152.18 c #Conflicts: 614000 | #Constraints: 70122
3142.18/3152.18 c #Conflicts: 615000 | #Constraints: 71122
3142.18/3152.18 c #Conflicts: 616000 | #Constraints: 72122
3142.18/3152.18 c #Conflicts: 617000 | #Constraints: 73122
3142.18/3152.18 c #Conflicts: 618000 | #Constraints: 74122
3142.18/3152.18 c #Conflicts: 619000 | #Constraints: 75122
3142.18/3152.18 c #Conflicts: 620000 | #Constraints: 76122
3142.18/3152.18 c #Conflicts: 621000 | #Constraints: 77122
3142.18/3152.18 c #Conflicts: 622000 | #Constraints: 78122
3142.18/3152.18 c #Conflicts: 623000 | #Constraints: 79122
3142.18/3152.18 c INPROCESSING
3142.18/3152.18 c GARBAGE COLLECT
3142.18/3152.18 c #Conflicts: 624000 | #Constraints: 64529
3142.18/3152.18 c #Conflicts: 625000 | #Constraints: 65529
3142.18/3152.18 c #Conflicts: 626000 | #Constraints: 66529
3142.18/3152.18 c #Conflicts: 627000 | #Constraints: 67529
3142.18/3152.18 c #Conflicts: 628000 | #Constraints: 68529
3142.18/3152.18 c #Conflicts: 629000 | #Constraints: 69529
3142.18/3152.18 c #Conflicts: 630000 | #Constraints: 70529
3142.18/3152.18 c #Conflicts: 631000 | #Constraints: 71529
3142.18/3152.18 c #Conflicts: 632000 | #Constraints: 72529
3142.18/3152.18 c #Conflicts: 633000 | #Constraints: 73529
3142.18/3152.18 c #Conflicts: 634000 | #Constraints: 74529
3142.18/3152.18 c #Conflicts: 635000 | #Constraints: 75529
3142.18/3152.18 c #Conflicts: 636000 | #Constraints: 76529
3142.18/3152.18 c #Conflicts: 637000 | #Constraints: 77529
3142.18/3152.18 c #Conflicts: 638000 | #Constraints: 78529
3142.18/3152.18 c #Conflicts: 639000 | #Constraints: 79529
3142.18/3152.18 c INPROCESSING
3142.18/3152.18 c GARBAGE COLLECT
3142.18/3152.18 c #Conflicts: 640000 | #Constraints: 64727
3142.18/3152.18 c #Conflicts: 641000 | #Constraints: 65727
3142.18/3152.18 c #Conflicts: 642000 | #Constraints: 66727
3142.18/3152.18 c #Conflicts: 643000 | #Constraints: 67727
3142.18/3152.18 c #Conflicts: 644000 | #Constraints: 68727
3142.18/3152.18 c #Conflicts: 645000 | #Constraints: 69727
3142.18/3152.18 c #Conflicts: 646000 | #Constraints: 70727
3142.18/3152.18 c #Conflicts: 647000 | #Constraints: 71727
3142.18/3152.18 c #Conflicts: 648000 | #Constraints: 72727
3142.18/3152.18 c #Conflicts: 649000 | #Constraints: 73727
3142.18/3152.18 c #Conflicts: 650000 | #Constraints: 74727
3142.18/3152.18 c #Conflicts: 651000 | #Constraints: 75727
3142.18/3152.18 c #Conflicts: 652000 | #Constraints: 76727
3142.18/3152.18 c #Conflicts: 653000 | #Constraints: 77727
3142.18/3152.18 c #Conflicts: 654000 | #Constraints: 78727
3142.18/3152.18 c #Conflicts: 655000 | #Constraints: 79727
3142.18/3152.18 c INPROCESSING
3142.18/3152.18 c GARBAGE COLLECT
3142.18/3152.18 c #Conflicts: 656000 | #Constraints: 64724
3142.18/3152.18 c #Conflicts: 657000 | #Constraints: 65724
3142.18/3152.18 c #Conflicts: 658000 | #Constraints: 66724
3142.18/3152.18 c #Conflicts: 659000 | #Constraints: 67724
3142.18/3152.18 c #Conflicts: 660000 | #Constraints: 68724
3413.15/3424.09 c #Conflicts: 661000 | #Constraints: 69724
3413.15/3424.09 c #Conflicts: 662000 | #Constraints: 70724
3413.15/3424.09 c #Conflicts: 663000 | #Constraints: 71724
3413.15/3424.09 c #Conflicts: 664000 | #Constraints: 72724
3413.15/3424.09 c #Conflicts: 665000 | #Constraints: 73724
3413.15/3424.09 c #Conflicts: 666000 | #Constraints: 74724
3413.15/3424.09 c #Conflicts: 667000 | #Constraints: 75724
3413.15/3424.09 c #Conflicts: 668000 | #Constraints: 76724
3413.15/3424.09 c #Conflicts: 669000 | #Constraints: 77724
3413.15/3424.09 c #Conflicts: 670000 | #Constraints: 78724
3413.15/3424.09 c #Conflicts: 671000 | #Constraints: 79724
3413.15/3424.09 c INPROCESSING
3413.15/3424.09 c GARBAGE COLLECT
3413.15/3424.09 c #Conflicts: 672000 | #Constraints: 64509
3413.15/3424.09 c #Conflicts: 673000 | #Constraints: 65509
3413.15/3424.09 c #Conflicts: 674000 | #Constraints: 66509
3413.15/3424.09 c #Conflicts: 675000 | #Constraints: 67509
3413.15/3424.09 c #Conflicts: 676000 | #Constraints: 68509
3413.15/3424.09 c #Conflicts: 677000 | #Constraints: 69509
3413.15/3424.09 c #Conflicts: 678000 | #Constraints: 70509
3413.15/3424.09 c #Conflicts: 679000 | #Constraints: 71509
3413.15/3424.09 c #Conflicts: 680000 | #Constraints: 72509
3413.15/3424.09 c #Conflicts: 681000 | #Constraints: 73509
3413.15/3424.09 c #Conflicts: 682000 | #Constraints: 74509
3413.15/3424.09 c #Conflicts: 683000 | #Constraints: 75509
3413.15/3424.09 c #Conflicts: 684000 | #Constraints: 76509
3413.15/3424.09 c #Conflicts: 685000 | #Constraints: 77509
3413.15/3424.09 c #Conflicts: 686000 | #Constraints: 78509
3413.15/3424.09 c #Conflicts: 687000 | #Constraints: 79509
3413.15/3424.09 c #Conflicts: 688000 | #Constraints: 80509
3413.15/3424.09 c INPROCESSING
3413.15/3424.09 c GARBAGE COLLECT
3413.15/3424.09 c #Conflicts: 689000 | #Constraints: 65109
3413.15/3424.09 c #Conflicts: 690000 | #Constraints: 66109
3413.15/3424.09 c #Conflicts: 691000 | #Constraints: 67109
3413.15/3424.09 c #Conflicts: 692000 | #Constraints: 68109
3413.15/3424.09 c #Conflicts: 693000 | #Constraints: 69109
3413.15/3424.09 c #Conflicts: 694000 | #Constraints: 70109
3413.15/3424.09 c #Conflicts: 695000 | #Constraints: 71109
3413.15/3424.09 c #Conflicts: 696000 | #Constraints: 72109
3413.15/3424.09 c #Conflicts: 697000 | #Constraints: 73109
3413.15/3424.09 c #Conflicts: 698000 | #Constraints: 74109
3413.15/3424.09 c #Conflicts: 699000 | #Constraints: 75109
3413.15/3424.09 c #Conflicts: 700000 | #Constraints: 76109
3413.15/3424.09 c #Conflicts: 701000 | #Constraints: 77109
3413.15/3424.09 c #Conflicts: 702000 | #Constraints: 78109
3413.15/3424.09 c #Conflicts: 703000 | #Constraints: 79109
3413.15/3424.09 c #Conflicts: 704000 | #Constraints: 80109
3413.15/3424.09 c #Conflicts: 705000 | #Constraints: 81109
3413.15/3424.09 c INPROCESSING
3413.15/3424.09 c GARBAGE COLLECT
3413.15/3424.09 c #Conflicts: 706000 | #Constraints: 65529
3413.15/3424.09 c #Conflicts: 707000 | #Constraints: 66529
3413.15/3424.09 c #Conflicts: 708000 | #Constraints: 67529
3413.15/3424.09 c #Conflicts: 709000 | #Constraints: 68529
3413.15/3424.09 c #Conflicts: 710000 | #Constraints: 69529
3413.15/3424.09 c #Conflicts: 711000 | #Constraints: 70529
3413.15/3424.09 c #Conflicts: 712000 | #Constraints: 71529
3413.15/3424.09 c #Conflicts: 713000 | #Constraints: 72529
3413.15/3424.09 c #Conflicts: 714000 | #Constraints: 73529
3413.15/3424.09 c #Conflicts: 715000 | #Constraints: 74529
3413.15/3424.09 c #Conflicts: 716000 | #Constraints: 75529
3413.15/3424.09 c #Conflicts: 717000 | #Constraints: 76529
3413.15/3424.09 c #Conflicts: 718000 | #Constraints: 77529
3413.15/3424.09 c #Conflicts: 719000 | #Constraints: 78529
3413.15/3424.09 c #Conflicts: 720000 | #Constraints: 79529
3413.15/3424.09 c #Conflicts: 721000 | #Constraints: 80529
3413.15/3424.09 c #Conflicts: 722000 | #Constraints: 81529
3413.15/3424.09 c INPROCESSING
3413.15/3424.09 c GARBAGE COLLECT
3413.15/3424.09 c #Conflicts: 723000 | #Constraints: 65732
3413.15/3424.09 c #Conflicts: 724000 | #Constraints: 66732
3413.15/3424.09 c #Conflicts: 725000 | #Constraints: 67732
3413.15/3424.09 c #Conflicts: 726000 | #Constraints: 68732
3413.15/3424.09 c #Conflicts: 727000 | #Constraints: 69732
3413.15/3424.09 c #Conflicts: 728000 | #Constraints: 70732
3413.15/3424.09 c #Conflicts: 729000 | #Constraints: 71732
3413.15/3424.09 c #Conflicts: 730000 | #Constraints: 72732
3413.15/3424.09 c #Conflicts: 731000 | #Constraints: 73732
3413.15/3424.09 c #Conflicts: 732000 | #Constraints: 74732
3413.15/3424.09 c #Conflicts: 733000 | #Constraints: 75732
3413.15/3424.09 c #Conflicts: 734000 | #Constraints: 76732
3413.15/3424.09 c #Conflicts: 735000 | #Constraints: 77732
3413.15/3424.09 c #Conflicts: 736000 | #Constraints: 78732
3600.00/3611.50 c #Conflicts: 737000 | #Constraints: 79732
3600.00/3611.50 c #Conflicts: 738000 | #Constraints: 80732
3600.00/3611.50 c #Conflicts: 739000 | #Constraints: 81732
3600.00/3611.50 c INPROCESSING
3600.00/3611.50 c GARBAGE COLLECT
3600.00/3611.50 c #Conflicts: 740000 | #Constraints: 65728
3600.00/3611.50 c #Conflicts: 741000 | #Constraints: 66728
3600.00/3611.50 c #Conflicts: 742000 | #Constraints: 67728
3600.00/3611.50 c #Conflicts: 743000 | #Constraints: 68728
3600.00/3611.50 c #Conflicts: 744000 | #Constraints: 69728
3600.00/3611.50 c #Conflicts: 745000 | #Constraints: 70728
3600.00/3611.50 c #Conflicts: 746000 | #Constraints: 71728
3600.00/3611.50 c #Conflicts: 747000 | #Constraints: 72728
3600.00/3611.50 c #Conflicts: 748000 | #Constraints: 73728
3600.00/3611.50 c #Conflicts: 749000 | #Constraints: 74728
3600.00/3611.50 c #Conflicts: 750000 | #Constraints: 75728
3600.00/3611.50 c #Conflicts: 751000 | #Constraints: 76728
3600.00/3611.50 c #Conflicts: 752000 | #Constraints: 77728
3600.00/3611.50 c #Conflicts: 753000 | #Constraints: 78728
3600.00/3611.50 c #Conflicts: 754000 | #Constraints: 79728
3600.00/3611.50 c #Conflicts: 755000 | #Constraints: 80728
3600.00/3611.50 c #Conflicts: 756000 | #Constraints: 81728
3600.00/3611.50 c INPROCESSING
3600.00/3611.50 c GARBAGE COLLECT
3600.00/3611.50 c #Conflicts: 757000 | #Constraints: 65518
3600.00/3611.50 c #Conflicts: 758000 | #Constraints: 66518
3600.00/3611.50 c #Conflicts: 759000 | #Constraints: 67518
3600.00/3611.50 c #Conflicts: 760000 | #Constraints: 68518
3600.00/3611.50 c #Conflicts: 761000 | #Constraints: 69518
3600.00/3611.50 c #Conflicts: 762000 | #Constraints: 70518
3600.00/3611.50 c #Conflicts: 763000 | #Constraints: 71518
3600.00/3611.50 c #Conflicts: 764000 | #Constraints: 72518
3600.00/3611.50 c #Conflicts: 765000 | #Constraints: 73518
3600.00/3611.50 c #Conflicts: 766000 | #Constraints: 74518
3600.00/3611.50 c #Conflicts: 767000 | #Constraints: 75518
3600.00/3611.50 c #Conflicts: 768000 | #Constraints: 76518
3600.00/3611.50 c #Conflicts: 769000 | #Constraints: 77518
3600.00/3611.50 c #Conflicts: 770000 | #Constraints: 78518
3600.00/3611.50 c #Conflicts: 771000 | #Constraints: 79518
3600.00/3611.50 c #Conflicts: 772000 | #Constraints: 80518
3600.00/3611.50 c #Conflicts: 773000 | #Constraints: 81518
3600.00/3611.50 c #Conflicts: 774000 | #Constraints: 82518
3600.00/3611.50 c INPROCESSING
3600.00/3611.50 c GARBAGE COLLECT
3600.00/3611.50 c #Conflicts: 775000 | #Constraints: 66115
3600.00/3611.50 c #Conflicts: 776000 | #Constraints: 67115
3600.00/3611.50 c #Conflicts: 777000 | #Constraints: 68115
3600.00/3611.50 c #Conflicts: 778000 | #Constraints: 69115
3600.00/3611.50 c #Conflicts: 779000 | #Constraints: 70115
3600.00/3611.50 c #Conflicts: 780000 | #Constraints: 71115
3600.00/3611.50 c #Conflicts: 781000 | #Constraints: 72115
3600.00/3611.50 c #Conflicts: 782000 | #Constraints: 73115
3600.00/3611.50 c #Conflicts: 783000 | #Constraints: 74115
3600.00/3611.50 c #Conflicts: 784000 | #Constraints: 75115
3600.00/3611.50 c #Conflicts: 785000 | #Constraints: 76115
3600.00/3611.50 c #Conflicts: 786000 | #Constraints: 77115
3600.00/3611.50 c #Conflicts: 787000 | #Constraints: 78115
3600.00/3611.50 c #Conflicts: 788000 | #Constraints: 79115
3600.00/3611.50 c #Conflicts: 789000 | #Constraints: 80115
3600.00/3611.50 c #Conflicts: 790000 | #Constraints: 81115
3600.00/3611.50 c #Conflicts: 791000 | #Constraints: 82115
3600.00/3611.50 c Program interrupted by user.
3600.00/3611.50 c cpu time 3591.29 s
3600.00/3611.50 c deterministic time 1043422136965 1.04e+12
3600.00/3611.50 c optimization time 59.9276 s
3600.00/3611.50 c total solve time 3231.87 s
3600.00/3611.50 c core-guided solve time 3231.87 s
3600.00/3611.50 c propagation time 2466.97 s
3600.00/3611.50 c conflict analysis time 738.777 s
3600.00/3611.50 c propagations 687977443
3600.00/3611.50 c resolve steps 16885716
3600.00/3611.50 c decisions 5508076
3600.00/3611.50 c conflicts 791995
3600.00/3611.50 c restarts 1675
3600.00/3611.50 c inprocessing phases 79
3600.00/3611.50 c input clauses 47832
3600.00/3611.50 c input cardinalities 8
3600.00/3611.50 c input general constraints 0
3600.00/3611.50 c input average constraint length 2.69
3600.00/3611.50 c input average constraint degree 1.04
3600.00/3611.50 c learned clauses 500561
3600.00/3611.50 c learned cardinalities 4706
3600.00/3611.50 c learned general constraints 286731
3600.00/3611.50 c learned average constraint length 2434.42
3600.00/3611.50 c learned average constraint degree 672430.18
3600.00/3611.50 c watched constraints 254698
3600.00/3611.50 c counting constraints 32033
3600.00/3611.50 c gcd simplifications 6011
3600.00/3611.50 c detected cardinalities 4
3600.00/3611.50 c weakened non-implied lits 312229545
3600.00/3611.50 c weakened non-implying lits 44658
3600.00/3611.50 c original variables 12935
3600.00/3611.50 c clausal propagations 624506046
3600.00/3611.50 c cardinality propagations 6598947
3600.00/3611.50 c watched propagations 21771604
3600.00/3611.50 c counting propagations 32482957
3600.00/3611.50 c watch lookups 10606555699
3600.00/3611.50 c watch backjump lookups 8041310146
3600.00/3611.50 c watch checks 926328075932
3600.00/3611.50 c propagation checks 91219858140
3600.00/3611.50 c constraint additions 5838585270
3600.00/3611.50 c trail pops 694266258
3600.00/3611.50 c formula constraints 47832
3600.00/3611.50 c learned constraints 791998
3600.00/3611.50 c bound constraints 8
3600.00/3611.50 c core-guided constraints 0
3600.00/3611.50 c encountered formula constraints 14230172
3600.00/3611.50 c encountered learned constraints 3447509
3600.00/3611.50 c encountered bound constraints 30
3600.00/3611.50 c encountered core-guided constraints 0
3600.00/3611.50 c LP total time 0 s
3600.00/3611.50 c LP solve time 0 s
3600.00/3611.50 c LP constraints added 0
3600.00/3611.50 c LP constraints removed 0
3600.00/3611.50 c LP pivots internal 0
3600.00/3611.50 c LP pivots root 0
3600.00/3611.50 c LP calls 0
3600.00/3611.50 c LP optimalities 0
3600.00/3611.50 c LP no pivot count 0
3600.00/3611.50 c LP infeasibilities 0
3600.00/3611.50 c LP valid Farkas constraints 0
3600.00/3611.50 c LP learned Farkas constraints 0
3600.00/3611.50 c LP basis resets 0
3600.00/3611.50 c LP cycling count 0
3600.00/3611.50 c LP singular count 0
3600.00/3611.50 c LP no primal count 0
3600.00/3611.50 c LP no farkas count 0
3600.00/3611.50 c LP other issue count 0
3600.00/3611.50 c LP Gomory cuts 0
3600.00/3611.50 c LP learned cuts 0
3600.00/3611.50 c LP deleted cuts 0
3600.00/3611.50 c LP encountered Gomory constraints 0
3600.00/3611.50 c LP encountered Farkas constraints 0
3600.00/3611.50 c LP encountered learned Farkas constraints 0
3600.00/3611.50 c CG auxiliary variables introduced 0
3600.00/3611.50 c CG solutions found 0
3600.00/3611.50 c CG cores constructed 7
3600.00/3611.50 c CG core cardinality constraints returned 0
3600.00/3611.50 c CG unit cores 0
3600.00/3611.50 c CG single cores 7
3600.00/3611.50 c CG blocks removed during cardinality reduction 0
3600.00/3611.50 c CG first core best 0
3600.00/3611.50 c CG decision core best 0
3600.00/3611.50 c CG core reduction tie 0
3600.00/3611.50 c CG core degree average 1.00
3600.00/3611.50 c CG core slack average 55.57
3600.00/3611.50 c CG exhausted 0
3600.00/3611.50 c CG exhaust time 0 s
3600.00/3611.50 c CG trimmed 0
3600.00/3611.50 c CG trim time 0.001726 s
3600.00/3611.50 c CG minimized 0
3600.00/3611.50 c CG minimize time 0 s
3600.00/3611.50 c CG am1 prop time 0.002604 s
3600.00/3611.50 c CG # am1s reformulated 0
3600.00/3611.50 c CG lower bound derived from am1s 0
3600.00/3611.50 c CG # clausal cores 7
3600.00/3611.50 c CG # cardinality cores 0
3600.00/3611.50 c CG # pb cores 0
3600.00/3611.50 c CG # pb reforms 0
3600.00/3611.50 c CG # cores discarded because of pb reform 0
3600.00/3611.50 d LOWERBOUND 7
3600.00/3611.50 d NCORES 7
3600.00/3611.50 d NPBCORES 0
3600.00/3611.50 d NPBREFORM 0
3600.00/3611.50 d NTRIMMED 0
3600.00/3611.50 d NEXHAUSTED 0
3600.00/3611.50 d NAM1S 0
3600.00/3611.50 d AM1LB 0
3600.00/3611.50 c [Papilo Statistics]
3600.00/3611.50 c prepro time 0.148301s
3600.00/3611.50 c # tsx applied 53
3600.00/3611.50 c # tsx conflicts 0
3600.00/3611.50 c # bound changes 5
3600.00/3611.50 c # side changes 34
3600.00/3611.50 c # coef changes 120
3600.00/3611.50 c # rounds 2
3600.00/3611.50 c # deted vars 22
3600.00/3611.50 c # deted constrs 57
3600.00/3611.50 c # consecutive rounds of only bound changes 0
3600.00/3611.50 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: 63794 MiB (60547 MiB free)
memory of node 1: 64507 MiB (62026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529020-1752258342/watcher-4529020-1752258342 -o /tmp/evaluation-result-4529020-1752258342/solver-4529020-1752258342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117004 --watchdog 3760 mixed-bag HOME/instance-4529020-1752258342.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117579, runsolver pid=117576
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.09 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125515240/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=86280 memory=14264 CPUtime=0.1 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 2122 0 0 0 9 1 0 0 20 0 1 0 141513959 88350720 3566 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 21570 3566 2176 2834 0 4322 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86280 KiB
Current children cumulated memory: 14264 KiB
[startup+0.212938 s]*
/proc/loadavg: 4.09 4.09 4.09 6/250 117580
/proc/meminfo: memFree=125511144/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=88328 memory=17472 CPUtime=0.2 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 2933 0 0 0 19 1 0 0 20 0 1 0 141513959 90447872 4368 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 22082 4368 2176 2834 0 4834 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88328 KiB
Current children cumulated memory: 17472 KiB
[startup+0.312983 s]*
/proc/loadavg: 4.09 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125511416/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=106616 memory=35876 CPUtime=0.3 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 6498 0 0 0 28 2 0 0 20 0 1 0 141513959 109174784 8969 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 26654 8969 2176 2834 0 9406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106616 KiB
Current children cumulated memory: 35876 KiB
[startup+0.70029 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125491712/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=199464 memory=125744 CPUtime=0.68 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 29821 0 0 0 59 9 0 0 20 0 1 0 141513959 204251136 31436 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 49866 31436 4000 2834 0 32071 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 199464 KiB
Current children cumulated memory: 125744 KiB
[startup+1.50031 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125389084/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=243248 memory=168972 CPUtime=1.47 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 44510 0 0 0 134 13 0 0 20 0 1 0 141513959 249085952 42243 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 60812 42243 4096 2834 0 43017 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 243248 KiB
Current children cumulated memory: 168972 KiB
[startup+3.11273 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125244436/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=409424 memory=313664 CPUtime=3.09 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 80043 0 0 0 290 19 0 0 20 0 1 0 141513959 419250176 78416 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 102356 78416 4320 2834 0 84561 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 409424 KiB
Current children cumulated memory: 313664 KiB
[startup+6.30029 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125212176/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=430124 memory=336560 CPUtime=6.25 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 81268 0 0 0 606 19 0 0 20 0 1 0 141513959 440446976 84140 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 107531 84140 4320 2834 0 89736 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 430124 KiB
Current children cumulated memory: 336560 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 117580
/proc/meminfo: memFree=125180424/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=496512 memory=371632 CPUtime=12.63 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 90030 0 0 0 1242 21 0 0 20 0 1 0 141513959 508428288 92908 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 124128 92908 4320 2834 0 106333 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 496512 KiB
Current children cumulated memory: 371632 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 117580
/proc/meminfo: memFree=125169528/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=503716 memory=378416 CPUtime=25.39 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 91720 0 0 0 2517 22 0 0 20 0 1 0 141513959 515805184 94604 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 125929 94604 4320 2834 0 108134 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 503716 KiB
Current children cumulated memory: 378416 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.09 4.09 5/249 117581
/proc/meminfo: memFree=125086680/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=570472 memory=445872 CPUtime=50.91 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 108604 0 0 0 5067 24 0 0 20 0 1 0 141513959 584163328 111468 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 142618 111468 4320 2834 0 124823 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 445872 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 117585
/proc/meminfo: memFree=125046336/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=570472 memory=445872 CPUtime=101.91 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 108641 0 0 0 10167 24 0 0 20 0 1 0 141513959 584163328 111468 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 142618 111468 4320 2834 0 124823 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 445872 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 117591
/proc/meminfo: memFree=125042348/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=570472 memory=446000 CPUtime=161.69 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 108661 0 0 0 16145 24 0 0 20 0 1 0 141513959 584163328 111500 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 142618 111500 4320 2834 0 124823 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 446000 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 117593
/proc/meminfo: memFree=125042880/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=570472 memory=446128 CPUtime=221.47 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 108704 0 0 0 22123 24 0 0 20 0 1 0 141513959 584163328 111532 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 142618 111532 4320 2834 0 124823 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 446128 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 117595
/proc/meminfo: memFree=125015684/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=570472 memory=446128 CPUtime=281.25 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 108719 0 0 0 28101 24 0 0 20 0 1 0 141513959 584163328 111532 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 142618 111532 4320 2834 0 124823 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 570472 KiB
Current children cumulated memory: 446128 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 117598
/proc/meminfo: memFree=124972036/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=601716 memory=488772 CPUtime=341.05 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 112066 0 0 0 34058 47 0 0 20 0 1 0 141513959 616157184 122193 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 150429 122193 4480 2834 0 132634 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 601716 KiB
Current children cumulated memory: 488772 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 117600
/proc/meminfo: memFree=124956808/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=651804 memory=504512 CPUtime=400.86 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 112942 0 0 0 40023 63 0 0 20 0 1 0 141513959 667447296 126128 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 162951 126128 4480 2834 0 145156 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 651804 KiB
Current children cumulated memory: 504512 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 117602
/proc/meminfo: memFree=124934556/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=651804 memory=516828 CPUtime=460.66 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 112949 0 0 0 45985 81 0 0 20 0 1 0 141513959 667447296 129207 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 162951 129207 4480 2834 0 145156 0
Current children cumulated CPU time: 460.66 s
################
# More data... #
################
Current children cumulated memory: 702288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/251 117732
/proc/meminfo: memFree=124726604/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=2913.04 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 290606 698 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 2913.04 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.22 4.15 5/251 117734
/proc/meminfo: memFree=124726376/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=2972.87 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 296575 712 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 2972.87 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/251 117736
/proc/meminfo: memFree=124726408/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3032.71 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 302542 729 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3032.71 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.16 4.13 5/250 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3092.54 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 308509 745 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/251 117881
/proc/meminfo: memFree=118520932/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3152.34 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 314474 760 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/251 117884
/proc/meminfo: memFree=118555212/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3212.13 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 320439 774 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/252 117887
/proc/meminfo: memFree=116681664/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3271.93 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 326403 790 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/252 117889
/proc/meminfo: memFree=115372388/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3331.73 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114363 0 0 0 332370 803 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/252 117891
/proc/meminfo: memFree=115159732/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3391.51 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114429 0 0 0 338334 817 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3391.51 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/251 117893
/proc/meminfo: memFree=115636544/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3451.31 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114474 0 0 0 344298 833 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/250 117895
/proc/meminfo: memFree=108948060/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3511.1 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114475 0 0 0 350262 848 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3511.1 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/250 117898
/proc/meminfo: memFree=103472928/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=702288 CPUtime=3570.9 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114482 0 0 0 356225 865 0 0 20 0 1 0 141513959 886222848 175572 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 175572 4480 2834 0 198568 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 702288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.16 4.12 4.10 5/250 117900
/proc/meminfo: memFree=100742920/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=720720 CPUtime=3600 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114491 0 0 0 359128 872 0 0 20 0 1 0 141513959 886222848 180180 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 180180 4480 2834 0 198568 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 720720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 117579 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.29 s, system=8.72558 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.16 4.12 4.10 5/250 117900
/proc/meminfo: memFree=100742920/131382112 swapFree=33010160/33010684
[pid=117579] ppid=117576 vsize=865452 memory=720720 CPUtime=3600 cores=0,2
/proc/117579/stat : 117579 (mixed-bag) R 117576 117579 116989 0 -1 4194304 114491 0 0 0 359128 872 0 0 20 0 1 0 141513959 886222848 180180 18446744073709551615 4235264 15840557 140721739911776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26869760 140721739913626 140721739913703 140721739913703 140721739919307 0
/proc/117579/statm: 216363 180180 4480 2834 0 198568 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 865452 KiB
Current children cumulated memory: 720720 KiB
Child status: 0
Real time (s): 3611.51
CPU time (s): 3600.02
CPU user time (s): 3591.29
CPU system time (s): 8.72558
CPU usage (%): 99.6819
Max. virtual memory (cumulated for all children) (KiB): 865452
Max. memory (cumulated for all children) (KiB): 720720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.29
system time used= 8.72557
maximum resident set size= 721744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114519
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= 247
involuntary context switches= 7977
# summary of solver processes directly reported to runsolver:
# pid: 117579
# total CPU time (s): 3600.02
# total CPU user time (s): 3591.29
# total CPU system time (s): 8.72558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4835 second user time and 34.4511 second system time
The end
Begin job on nodeC009 at 2025-07-11 20:25:42
IDJOB=4529020
IDBENCH=148187
IDSOLVER=3386
FILE ID=nodeC009/4529020-1752258342
RUNJOBID= nodeC009-1752254228-117004
SLURM_JOB_ID= 9682591
Free space on /tmp= 431172 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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 -w /tmp/evaluation-result-4529020-1752258342/watcher-4529020-1752258342 -o /tmp/evaluation-result-4529020-1752258342/solver-4529020-1752258342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117004 --watchdog 3760 mixed-bag HOME/instance-4529020-1752258342.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1625698244
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 3503.243
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.681
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.220
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 3662.567
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 3591.781
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.596
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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.435
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125515336 kB
MemAvailable: 128493740 kB
Buffers: 2144 kB
Cached: 3709368 kB
SwapCached: 24 kB
Active: 2103964 kB
Inactive: 3026472 kB
Active(anon): 1432680 kB
Inactive(anon): 4180 kB
Active(file): 671284 kB
Inactive(file): 3022292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16628 kB
Writeback: 24 kB
AnonPages: 1421852 kB
Mapped: 140176 kB
Shmem: 17936 kB
KReclaimable: 248528 kB
Slab: 339004 kB
SReclaimable: 248528 kB
SUnreclaim: 90476 kB
KernelStack: 4096 kB
PageTables: 6336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1871888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 206848 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431080 MiB
End job on nodeC009 at 2025-07-11 21:25:54