0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.21/0.32 c [STEP] preprocessing with Papilo
0.41/0.47 c [STEP] solving with SCIP
299.58/300.74 c [STEP] preprocessing done, loading into solver
299.68/300.82 c [STEP] solving
299.68/300.82 c #variables 12914 #constraints 47832
299.68/300.82 c SMALL=int, LARGE=long long
299.68/300.82 d SCIPUB 21
299.68/300.82 c bounds - >= 0 @ 299.431
299.68/300.82 c stratification level: 0
515.47/517.45 c bounds - >= 1 @ 299.441
515.47/517.45 c bounds - >= 2 @ 299.442
515.47/517.45 c bounds - >= 3 @ 299.444
515.47/517.45 c bounds - >= 4 @ 299.445
515.47/517.45 c bounds - >= 5 @ 299.456
515.47/517.45 c bounds - >= 6 @ 299.457
515.47/517.45 c bounds - >= 7 @ 299.458
515.47/517.45 c #Conflicts: 1000 | #Constraints: 48843
515.47/517.45 c #Conflicts: 2000 | #Constraints: 49843
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 3000 | #Constraints: 49845
515.47/517.45 c #Conflicts: 4000 | #Constraints: 50845
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 5000 | #Constraints: 50252
515.47/517.45 c #Conflicts: 6000 | #Constraints: 51252
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 7000 | #Constraints: 50259
515.47/517.45 c #Conflicts: 8000 | #Constraints: 51259
515.47/517.45 c #Conflicts: 9000 | #Constraints: 52259
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 10000 | #Constraints: 50966
515.47/517.45 c #Conflicts: 11000 | #Constraints: 51966
515.47/517.45 c #Conflicts: 12000 | #Constraints: 52966
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 13000 | #Constraints: 51418
515.47/517.45 c #Conflicts: 14000 | #Constraints: 52418
515.47/517.45 c #Conflicts: 15000 | #Constraints: 53418
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 16000 | #Constraints: 51656
515.47/517.45 c #Conflicts: 17000 | #Constraints: 52656
515.47/517.45 c #Conflicts: 18000 | #Constraints: 53656
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 19000 | #Constraints: 51665
515.47/517.45 c #Conflicts: 20000 | #Constraints: 52665
515.47/517.45 c #Conflicts: 21000 | #Constraints: 53665
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 22000 | #Constraints: 51489
515.47/517.45 c #Conflicts: 23000 | #Constraints: 52489
515.47/517.45 c #Conflicts: 24000 | #Constraints: 53489
515.47/517.45 c #Conflicts: 25000 | #Constraints: 54489
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 26000 | #Constraints: 52090
515.47/517.45 c #Conflicts: 27000 | #Constraints: 53090
515.47/517.45 c #Conflicts: 28000 | #Constraints: 54090
515.47/517.45 c #Conflicts: 29000 | #Constraints: 55090
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 30000 | #Constraints: 52483
515.47/517.45 c #Conflicts: 31000 | #Constraints: 53483
515.47/517.45 c #Conflicts: 32000 | #Constraints: 54483
515.47/517.45 c #Conflicts: 33000 | #Constraints: 55483
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 34000 | #Constraints: 52684
515.47/517.45 c #Conflicts: 35000 | #Constraints: 53684
515.47/517.45 c #Conflicts: 36000 | #Constraints: 54684
515.47/517.45 c #Conflicts: 37000 | #Constraints: 55684
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 38000 | #Constraints: 52689
515.47/517.45 c #Conflicts: 39000 | #Constraints: 53689
515.47/517.45 c #Conflicts: 40000 | #Constraints: 54689
515.47/517.45 c #Conflicts: 41000 | #Constraints: 55689
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 42000 | #Constraints: 52489
515.47/517.45 c #Conflicts: 43000 | #Constraints: 53489
515.47/517.45 c #Conflicts: 44000 | #Constraints: 54489
515.47/517.45 c #Conflicts: 45000 | #Constraints: 55489
515.47/517.45 c #Conflicts: 46000 | #Constraints: 56489
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 47000 | #Constraints: 53086
515.47/517.45 c #Conflicts: 48000 | #Constraints: 54086
515.47/517.45 c #Conflicts: 49000 | #Constraints: 55086
515.47/517.45 c #Conflicts: 50000 | #Constraints: 56086
515.47/517.45 c #Conflicts: 51000 | #Constraints: 57086
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 52000 | #Constraints: 53489
515.47/517.45 c #Conflicts: 53000 | #Constraints: 54489
515.47/517.45 c #Conflicts: 54000 | #Constraints: 55489
515.47/517.45 c #Conflicts: 55000 | #Constraints: 56489
515.47/517.45 c #Conflicts: 56000 | #Constraints: 57489
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 57000 | #Constraints: 53708
515.47/517.45 c #Conflicts: 58000 | #Constraints: 54708
515.47/517.45 c #Conflicts: 59000 | #Constraints: 55708
515.47/517.45 c #Conflicts: 60000 | #Constraints: 56708
515.47/517.45 c #Conflicts: 61000 | #Constraints: 57708
515.47/517.45 c INPROCESSING
515.47/517.45 c GARBAGE COLLECT
515.47/517.45 c #Conflicts: 62000 | #Constraints: 53701
515.47/517.45 c #Conflicts: 63000 | #Constraints: 54701
515.47/517.45 c #Conflicts: 64000 | #Constraints: 55701
515.47/517.45 c #Conflicts: 65000 | #Constraints: 56701
879.10/882.47 c #Conflicts: 66000 | #Constraints: 57701
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 67000 | #Constraints: 53499
879.10/882.47 c #Conflicts: 68000 | #Constraints: 54499
879.10/882.47 c #Conflicts: 69000 | #Constraints: 55499
879.10/882.47 c #Conflicts: 70000 | #Constraints: 56499
879.10/882.47 c #Conflicts: 71000 | #Constraints: 57499
879.10/882.47 c #Conflicts: 72000 | #Constraints: 58499
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 73000 | #Constraints: 54096
879.10/882.47 c #Conflicts: 74000 | #Constraints: 55096
879.10/882.47 c #Conflicts: 75000 | #Constraints: 56096
879.10/882.47 c #Conflicts: 76000 | #Constraints: 57096
879.10/882.47 c #Conflicts: 77000 | #Constraints: 58096
879.10/882.47 c #Conflicts: 78000 | #Constraints: 59096
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 79000 | #Constraints: 54513
879.10/882.47 c #Conflicts: 80000 | #Constraints: 55513
879.10/882.47 c #Conflicts: 81000 | #Constraints: 56513
879.10/882.47 c #Conflicts: 82000 | #Constraints: 57513
879.10/882.47 c #Conflicts: 83000 | #Constraints: 58513
879.10/882.47 c #Conflicts: 84000 | #Constraints: 59513
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 85000 | #Constraints: 54702
879.10/882.47 c #Conflicts: 86000 | #Constraints: 55702
879.10/882.47 c #Conflicts: 87000 | #Constraints: 56702
879.10/882.47 c #Conflicts: 88000 | #Constraints: 57702
879.10/882.47 c #Conflicts: 89000 | #Constraints: 58702
879.10/882.47 c #Conflicts: 90000 | #Constraints: 59702
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 91000 | #Constraints: 54716
879.10/882.47 c #Conflicts: 92000 | #Constraints: 55716
879.10/882.47 c #Conflicts: 93000 | #Constraints: 56716
879.10/882.47 c #Conflicts: 94000 | #Constraints: 57716
879.10/882.47 c #Conflicts: 95000 | #Constraints: 58716
879.10/882.47 c #Conflicts: 96000 | #Constraints: 59716
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 97000 | #Constraints: 54554
879.10/882.47 c #Conflicts: 98000 | #Constraints: 55554
879.10/882.47 c #Conflicts: 99000 | #Constraints: 56554
879.10/882.47 c #Conflicts: 100000 | #Constraints: 57554
879.10/882.47 c #Conflicts: 101000 | #Constraints: 58554
879.10/882.47 c #Conflicts: 102000 | #Constraints: 59554
879.10/882.47 c #Conflicts: 103000 | #Constraints: 60554
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 104000 | #Constraints: 55145
879.10/882.47 c #Conflicts: 105000 | #Constraints: 56145
879.10/882.47 c #Conflicts: 106000 | #Constraints: 57145
879.10/882.47 c #Conflicts: 107000 | #Constraints: 58145
879.10/882.47 c #Conflicts: 108000 | #Constraints: 59145
879.10/882.47 c #Conflicts: 109000 | #Constraints: 60145
879.10/882.47 c #Conflicts: 110000 | #Constraints: 61145
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 111000 | #Constraints: 55523
879.10/882.47 c #Conflicts: 112000 | #Constraints: 56523
879.10/882.47 c #Conflicts: 113000 | #Constraints: 57523
879.10/882.47 c #Conflicts: 114000 | #Constraints: 58523
879.10/882.47 c #Conflicts: 115000 | #Constraints: 59523
879.10/882.47 c #Conflicts: 116000 | #Constraints: 60523
879.10/882.47 c #Conflicts: 117000 | #Constraints: 61523
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 118000 | #Constraints: 55757
879.10/882.47 c #Conflicts: 119000 | #Constraints: 56757
879.10/882.47 c #Conflicts: 120000 | #Constraints: 57757
879.10/882.47 c #Conflicts: 121000 | #Constraints: 58757
879.10/882.47 c #Conflicts: 122000 | #Constraints: 59757
879.10/882.47 c #Conflicts: 123000 | #Constraints: 60757
879.10/882.47 c #Conflicts: 124000 | #Constraints: 61757
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 125000 | #Constraints: 55754
879.10/882.47 c #Conflicts: 126000 | #Constraints: 56754
879.10/882.47 c #Conflicts: 127000 | #Constraints: 57754
879.10/882.47 c #Conflicts: 128000 | #Constraints: 58754
879.10/882.47 c #Conflicts: 129000 | #Constraints: 59754
879.10/882.47 c #Conflicts: 130000 | #Constraints: 60754
879.10/882.47 c #Conflicts: 131000 | #Constraints: 61754
879.10/882.47 c INPROCESSING
879.10/882.47 c GARBAGE COLLECT
879.10/882.47 c #Conflicts: 132000 | #Constraints: 55541
879.10/882.47 c #Conflicts: 133000 | #Constraints: 56541
879.10/882.47 c #Conflicts: 134000 | #Constraints: 57541
879.10/882.47 c #Conflicts: 135000 | #Constraints: 58541
879.10/882.47 c #Conflicts: 136000 | #Constraints: 59541
879.10/882.47 c #Conflicts: 137000 | #Constraints: 60541
1243.51/1248.19 c #Conflicts: 138000 | #Constraints: 61541
1243.51/1248.19 c #Conflicts: 139000 | #Constraints: 62541
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 140000 | #Constraints: 56135
1243.51/1248.19 c #Conflicts: 141000 | #Constraints: 57135
1243.51/1248.19 c #Conflicts: 142000 | #Constraints: 58135
1243.51/1248.19 c #Conflicts: 143000 | #Constraints: 59135
1243.51/1248.19 c #Conflicts: 144000 | #Constraints: 60135
1243.51/1248.19 c #Conflicts: 145000 | #Constraints: 61135
1243.51/1248.19 c #Conflicts: 146000 | #Constraints: 62135
1243.51/1248.19 c #Conflicts: 147000 | #Constraints: 63135
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 148000 | #Constraints: 56538
1243.51/1248.19 c #Conflicts: 149000 | #Constraints: 57538
1243.51/1248.19 c #Conflicts: 150000 | #Constraints: 58538
1243.51/1248.19 c #Conflicts: 151000 | #Constraints: 59538
1243.51/1248.19 c #Conflicts: 152000 | #Constraints: 60538
1243.51/1248.19 c #Conflicts: 153000 | #Constraints: 61538
1243.51/1248.19 c #Conflicts: 154000 | #Constraints: 62538
1243.51/1248.19 c #Conflicts: 155000 | #Constraints: 63538
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 156000 | #Constraints: 56717
1243.51/1248.19 c #Conflicts: 157000 | #Constraints: 57717
1243.51/1248.19 c #Conflicts: 158000 | #Constraints: 58717
1243.51/1248.19 c #Conflicts: 159000 | #Constraints: 59717
1243.51/1248.19 c #Conflicts: 160000 | #Constraints: 60717
1243.51/1248.19 c #Conflicts: 161000 | #Constraints: 61717
1243.51/1248.19 c #Conflicts: 162000 | #Constraints: 62717
1243.51/1248.19 c #Conflicts: 163000 | #Constraints: 63717
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 164000 | #Constraints: 56705
1243.51/1248.19 c #Conflicts: 165000 | #Constraints: 57705
1243.51/1248.19 c #Conflicts: 166000 | #Constraints: 58705
1243.51/1248.19 c #Conflicts: 167000 | #Constraints: 59705
1243.51/1248.19 c #Conflicts: 168000 | #Constraints: 60705
1243.51/1248.19 c #Conflicts: 169000 | #Constraints: 61705
1243.51/1248.19 c #Conflicts: 170000 | #Constraints: 62705
1243.51/1248.19 c #Conflicts: 171000 | #Constraints: 63705
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 172000 | #Constraints: 56493
1243.51/1248.19 c #Conflicts: 173000 | #Constraints: 57493
1243.51/1248.19 c #Conflicts: 174000 | #Constraints: 58493
1243.51/1248.19 c #Conflicts: 175000 | #Constraints: 59493
1243.51/1248.19 c #Conflicts: 176000 | #Constraints: 60493
1243.51/1248.19 c #Conflicts: 177000 | #Constraints: 61493
1243.51/1248.19 c #Conflicts: 178000 | #Constraints: 62493
1243.51/1248.19 c #Conflicts: 179000 | #Constraints: 63493
1243.51/1248.19 c #Conflicts: 180000 | #Constraints: 64493
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 181000 | #Constraints: 57090
1243.51/1248.19 c #Conflicts: 182000 | #Constraints: 58090
1243.51/1248.19 c #Conflicts: 183000 | #Constraints: 59090
1243.51/1248.19 c #Conflicts: 184000 | #Constraints: 60090
1243.51/1248.19 c #Conflicts: 185000 | #Constraints: 61090
1243.51/1248.19 c #Conflicts: 186000 | #Constraints: 62090
1243.51/1248.19 c #Conflicts: 187000 | #Constraints: 63090
1243.51/1248.19 c #Conflicts: 188000 | #Constraints: 64090
1243.51/1248.19 c #Conflicts: 189000 | #Constraints: 65090
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 190000 | #Constraints: 57498
1243.51/1248.19 c #Conflicts: 191000 | #Constraints: 58498
1243.51/1248.19 c #Conflicts: 192000 | #Constraints: 59498
1243.51/1248.19 c #Conflicts: 193000 | #Constraints: 60498
1243.51/1248.19 c #Conflicts: 194000 | #Constraints: 61498
1243.51/1248.19 c #Conflicts: 195000 | #Constraints: 62498
1243.51/1248.19 c #Conflicts: 196000 | #Constraints: 63498
1243.51/1248.19 c #Conflicts: 197000 | #Constraints: 64498
1243.51/1248.19 c #Conflicts: 198000 | #Constraints: 65498
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 199000 | #Constraints: 57704
1243.51/1248.19 c #Conflicts: 200000 | #Constraints: 58704
1243.51/1248.19 c #Conflicts: 201000 | #Constraints: 59704
1243.51/1248.19 c #Conflicts: 202000 | #Constraints: 60704
1243.51/1248.19 c #Conflicts: 203000 | #Constraints: 61704
1243.51/1248.19 c #Conflicts: 204000 | #Constraints: 62704
1243.51/1248.19 c #Conflicts: 205000 | #Constraints: 63704
1243.51/1248.19 c #Conflicts: 206000 | #Constraints: 64704
1243.51/1248.19 c #Conflicts: 207000 | #Constraints: 65704
1243.51/1248.19 c INPROCESSING
1243.51/1248.19 c GARBAGE COLLECT
1243.51/1248.19 c #Conflicts: 208000 | #Constraints: 57707
1243.51/1248.19 c #Conflicts: 209000 | #Constraints: 58707
1243.51/1248.19 c #Conflicts: 210000 | #Constraints: 59707
1610.48/1616.34 c #Conflicts: 211000 | #Constraints: 60707
1610.48/1616.34 c #Conflicts: 212000 | #Constraints: 61707
1610.48/1616.34 c #Conflicts: 213000 | #Constraints: 62707
1610.48/1616.34 c #Conflicts: 214000 | #Constraints: 63707
1610.48/1616.34 c #Conflicts: 215000 | #Constraints: 64707
1610.48/1616.34 c #Conflicts: 216000 | #Constraints: 65707
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 217000 | #Constraints: 57496
1610.48/1616.34 c #Conflicts: 218000 | #Constraints: 58496
1610.48/1616.34 c #Conflicts: 219000 | #Constraints: 59496
1610.48/1616.34 c #Conflicts: 220000 | #Constraints: 60496
1610.48/1616.34 c #Conflicts: 221000 | #Constraints: 61496
1610.48/1616.34 c #Conflicts: 222000 | #Constraints: 62496
1610.48/1616.34 c #Conflicts: 223000 | #Constraints: 63496
1610.48/1616.34 c #Conflicts: 224000 | #Constraints: 64496
1610.48/1616.34 c #Conflicts: 225000 | #Constraints: 65496
1610.48/1616.34 c #Conflicts: 226000 | #Constraints: 66496
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 227000 | #Constraints: 58114
1610.48/1616.34 c #Conflicts: 228000 | #Constraints: 59114
1610.48/1616.34 c #Conflicts: 229000 | #Constraints: 60114
1610.48/1616.34 c #Conflicts: 230000 | #Constraints: 61114
1610.48/1616.34 c #Conflicts: 231000 | #Constraints: 62114
1610.48/1616.34 c #Conflicts: 232000 | #Constraints: 63114
1610.48/1616.34 c #Conflicts: 233000 | #Constraints: 64114
1610.48/1616.34 c #Conflicts: 234000 | #Constraints: 65114
1610.48/1616.34 c #Conflicts: 235000 | #Constraints: 66114
1610.48/1616.34 c #Conflicts: 236000 | #Constraints: 67114
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 237000 | #Constraints: 58512
1610.48/1616.34 c #Conflicts: 238000 | #Constraints: 59512
1610.48/1616.34 c #Conflicts: 239000 | #Constraints: 60512
1610.48/1616.34 c #Conflicts: 240000 | #Constraints: 61512
1610.48/1616.34 c #Conflicts: 241000 | #Constraints: 62512
1610.48/1616.34 c #Conflicts: 242000 | #Constraints: 63512
1610.48/1616.34 c #Conflicts: 243000 | #Constraints: 64512
1610.48/1616.34 c #Conflicts: 244000 | #Constraints: 65512
1610.48/1616.34 c #Conflicts: 245000 | #Constraints: 66512
1610.48/1616.34 c #Conflicts: 246000 | #Constraints: 67512
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 247000 | #Constraints: 58717
1610.48/1616.34 c #Conflicts: 248000 | #Constraints: 59717
1610.48/1616.34 c #Conflicts: 249000 | #Constraints: 60717
1610.48/1616.34 c #Conflicts: 250000 | #Constraints: 61717
1610.48/1616.34 c #Conflicts: 251000 | #Constraints: 62717
1610.48/1616.34 c #Conflicts: 252000 | #Constraints: 63717
1610.48/1616.34 c #Conflicts: 253000 | #Constraints: 64717
1610.48/1616.34 c #Conflicts: 254000 | #Constraints: 65717
1610.48/1616.34 c #Conflicts: 255000 | #Constraints: 66717
1610.48/1616.34 c #Conflicts: 256000 | #Constraints: 67717
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 257000 | #Constraints: 58733
1610.48/1616.34 c #Conflicts: 258000 | #Constraints: 59733
1610.48/1616.34 c #Conflicts: 259000 | #Constraints: 60733
1610.48/1616.34 c #Conflicts: 260000 | #Constraints: 61733
1610.48/1616.34 c #Conflicts: 261000 | #Constraints: 62733
1610.48/1616.34 c #Conflicts: 262000 | #Constraints: 63733
1610.48/1616.34 c #Conflicts: 263000 | #Constraints: 64733
1610.48/1616.34 c #Conflicts: 264000 | #Constraints: 65733
1610.48/1616.34 c #Conflicts: 265000 | #Constraints: 66733
1610.48/1616.34 c #Conflicts: 266000 | #Constraints: 67733
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 267000 | #Constraints: 58530
1610.48/1616.34 c #Conflicts: 268000 | #Constraints: 59530
1610.48/1616.34 c #Conflicts: 269000 | #Constraints: 60530
1610.48/1616.34 c #Conflicts: 270000 | #Constraints: 61530
1610.48/1616.34 c #Conflicts: 271000 | #Constraints: 62530
1610.48/1616.34 c #Conflicts: 272000 | #Constraints: 63530
1610.48/1616.34 c #Conflicts: 273000 | #Constraints: 64530
1610.48/1616.34 c #Conflicts: 274000 | #Constraints: 65530
1610.48/1616.34 c #Conflicts: 275000 | #Constraints: 66530
1610.48/1616.34 c #Conflicts: 276000 | #Constraints: 67530
1610.48/1616.34 c #Conflicts: 277000 | #Constraints: 68530
1610.48/1616.34 c INPROCESSING
1610.48/1616.34 c GARBAGE COLLECT
1610.48/1616.34 c #Conflicts: 278000 | #Constraints: 59119
1610.48/1616.34 c #Conflicts: 279000 | #Constraints: 60119
1610.48/1616.34 c #Conflicts: 280000 | #Constraints: 61119
1610.48/1616.34 c #Conflicts: 281000 | #Constraints: 62119
1610.48/1616.34 c #Conflicts: 282000 | #Constraints: 63119
1610.48/1616.34 c #Conflicts: 283000 | #Constraints: 64119
1610.48/1616.34 c #Conflicts: 284000 | #Constraints: 65119
1865.52/1872.21 c #Conflicts: 285000 | #Constraints: 66119
1865.52/1872.21 c #Conflicts: 286000 | #Constraints: 67119
1865.52/1872.21 c #Conflicts: 287000 | #Constraints: 68119
1865.52/1872.21 c #Conflicts: 288000 | #Constraints: 69119
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 289000 | #Constraints: 59510
1865.52/1872.21 c #Conflicts: 290000 | #Constraints: 60510
1865.52/1872.21 c #Conflicts: 291000 | #Constraints: 61510
1865.52/1872.21 c #Conflicts: 292000 | #Constraints: 62510
1865.52/1872.21 c #Conflicts: 293000 | #Constraints: 63510
1865.52/1872.21 c #Conflicts: 294000 | #Constraints: 64510
1865.52/1872.21 c #Conflicts: 295000 | #Constraints: 65510
1865.52/1872.21 c #Conflicts: 296000 | #Constraints: 66510
1865.52/1872.21 c #Conflicts: 297000 | #Constraints: 67510
1865.52/1872.21 c #Conflicts: 298000 | #Constraints: 68510
1865.52/1872.21 c #Conflicts: 299000 | #Constraints: 69510
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 300000 | #Constraints: 59704
1865.52/1872.21 c #Conflicts: 301000 | #Constraints: 60704
1865.52/1872.21 c #Conflicts: 302000 | #Constraints: 61704
1865.52/1872.21 c #Conflicts: 303000 | #Constraints: 62704
1865.52/1872.21 c #Conflicts: 304000 | #Constraints: 63704
1865.52/1872.21 c #Conflicts: 305000 | #Constraints: 64704
1865.52/1872.21 c #Conflicts: 306000 | #Constraints: 65704
1865.52/1872.21 c #Conflicts: 307000 | #Constraints: 66704
1865.52/1872.21 c #Conflicts: 308000 | #Constraints: 67704
1865.52/1872.21 c #Conflicts: 309000 | #Constraints: 68704
1865.52/1872.21 c #Conflicts: 310000 | #Constraints: 69704
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 311000 | #Constraints: 59703
1865.52/1872.21 c #Conflicts: 312000 | #Constraints: 60703
1865.52/1872.21 c #Conflicts: 313000 | #Constraints: 61703
1865.52/1872.21 c #Conflicts: 314000 | #Constraints: 62703
1865.52/1872.21 c #Conflicts: 315000 | #Constraints: 63703
1865.52/1872.21 c #Conflicts: 316000 | #Constraints: 64703
1865.52/1872.21 c #Conflicts: 317000 | #Constraints: 65703
1865.52/1872.21 c #Conflicts: 318000 | #Constraints: 66703
1865.52/1872.21 c #Conflicts: 319000 | #Constraints: 67703
1865.52/1872.21 c #Conflicts: 320000 | #Constraints: 68703
1865.52/1872.21 c #Conflicts: 321000 | #Constraints: 69703
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 322000 | #Constraints: 59513
1865.52/1872.21 c #Conflicts: 323000 | #Constraints: 60513
1865.52/1872.21 c #Conflicts: 324000 | #Constraints: 61513
1865.52/1872.21 c #Conflicts: 325000 | #Constraints: 62513
1865.52/1872.21 c #Conflicts: 326000 | #Constraints: 63513
1865.52/1872.21 c #Conflicts: 327000 | #Constraints: 64513
1865.52/1872.21 c #Conflicts: 328000 | #Constraints: 65513
1865.52/1872.21 c #Conflicts: 329000 | #Constraints: 66513
1865.52/1872.21 c #Conflicts: 330000 | #Constraints: 67513
1865.52/1872.21 c #Conflicts: 331000 | #Constraints: 68513
1865.52/1872.21 c #Conflicts: 332000 | #Constraints: 69513
1865.52/1872.21 c #Conflicts: 333000 | #Constraints: 70513
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 334000 | #Constraints: 60110
1865.52/1872.21 c #Conflicts: 335000 | #Constraints: 61110
1865.52/1872.21 c #Conflicts: 336000 | #Constraints: 62110
1865.52/1872.21 c #Conflicts: 337000 | #Constraints: 63110
1865.52/1872.21 c #Conflicts: 338000 | #Constraints: 64110
1865.52/1872.21 c #Conflicts: 339000 | #Constraints: 65110
1865.52/1872.21 c #Conflicts: 340000 | #Constraints: 66110
1865.52/1872.21 c #Conflicts: 341000 | #Constraints: 67110
1865.52/1872.21 c #Conflicts: 342000 | #Constraints: 68110
1865.52/1872.21 c #Conflicts: 343000 | #Constraints: 69110
1865.52/1872.21 c #Conflicts: 344000 | #Constraints: 70110
1865.52/1872.21 c #Conflicts: 345000 | #Constraints: 71110
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 346000 | #Constraints: 60504
1865.52/1872.21 c #Conflicts: 347000 | #Constraints: 61504
1865.52/1872.21 c #Conflicts: 348000 | #Constraints: 62504
1865.52/1872.21 c #Conflicts: 349000 | #Constraints: 63504
1865.52/1872.21 c #Conflicts: 350000 | #Constraints: 64504
1865.52/1872.21 c #Conflicts: 351000 | #Constraints: 65504
1865.52/1872.21 c #Conflicts: 352000 | #Constraints: 66504
1865.52/1872.21 c #Conflicts: 353000 | #Constraints: 67504
1865.52/1872.21 c #Conflicts: 354000 | #Constraints: 68504
1865.52/1872.21 c #Conflicts: 355000 | #Constraints: 69504
1865.52/1872.21 c #Conflicts: 356000 | #Constraints: 70504
1865.52/1872.21 c #Conflicts: 357000 | #Constraints: 71504
1865.52/1872.21 c INPROCESSING
1865.52/1872.21 c GARBAGE COLLECT
1865.52/1872.21 c #Conflicts: 358000 | #Constraints: 60706
2146.60/2154.24 c #Conflicts: 359000 | #Constraints: 61706
2146.60/2154.24 c #Conflicts: 360000 | #Constraints: 62706
2146.60/2154.24 c #Conflicts: 361000 | #Constraints: 63706
2146.60/2154.24 c #Conflicts: 362000 | #Constraints: 64706
2146.60/2154.24 c #Conflicts: 363000 | #Constraints: 65706
2146.60/2154.24 c #Conflicts: 364000 | #Constraints: 66706
2146.60/2154.24 c #Conflicts: 365000 | #Constraints: 67706
2146.60/2154.24 c #Conflicts: 366000 | #Constraints: 68706
2146.60/2154.24 c #Conflicts: 367000 | #Constraints: 69706
2146.60/2154.24 c #Conflicts: 368000 | #Constraints: 70706
2146.60/2154.24 c #Conflicts: 369000 | #Constraints: 71706
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2146.60/2154.24 c #Conflicts: 370000 | #Constraints: 60711
2146.60/2154.24 c #Conflicts: 371000 | #Constraints: 61711
2146.60/2154.24 c #Conflicts: 372000 | #Constraints: 62711
2146.60/2154.24 c #Conflicts: 373000 | #Constraints: 63711
2146.60/2154.24 c #Conflicts: 374000 | #Constraints: 64711
2146.60/2154.24 c #Conflicts: 375000 | #Constraints: 65711
2146.60/2154.24 c #Conflicts: 376000 | #Constraints: 66711
2146.60/2154.24 c #Conflicts: 377000 | #Constraints: 67711
2146.60/2154.24 c #Conflicts: 378000 | #Constraints: 68711
2146.60/2154.24 c #Conflicts: 379000 | #Constraints: 69711
2146.60/2154.24 c #Conflicts: 380000 | #Constraints: 70711
2146.60/2154.24 c #Conflicts: 381000 | #Constraints: 71711
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2146.60/2154.24 c #Conflicts: 382000 | #Constraints: 60523
2146.60/2154.24 c #Conflicts: 383000 | #Constraints: 61523
2146.60/2154.24 c #Conflicts: 384000 | #Constraints: 62523
2146.60/2154.24 c #Conflicts: 385000 | #Constraints: 63523
2146.60/2154.24 c #Conflicts: 386000 | #Constraints: 64523
2146.60/2154.24 c #Conflicts: 387000 | #Constraints: 65523
2146.60/2154.24 c #Conflicts: 388000 | #Constraints: 66523
2146.60/2154.24 c #Conflicts: 389000 | #Constraints: 67523
2146.60/2154.24 c #Conflicts: 390000 | #Constraints: 68523
2146.60/2154.24 c #Conflicts: 391000 | #Constraints: 69523
2146.60/2154.24 c #Conflicts: 392000 | #Constraints: 70523
2146.60/2154.24 c #Conflicts: 393000 | #Constraints: 71523
2146.60/2154.24 c #Conflicts: 394000 | #Constraints: 72523
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2146.60/2154.24 c #Conflicts: 395000 | #Constraints: 61119
2146.60/2154.24 c #Conflicts: 396000 | #Constraints: 62119
2146.60/2154.24 c #Conflicts: 397000 | #Constraints: 63119
2146.60/2154.24 c #Conflicts: 398000 | #Constraints: 64119
2146.60/2154.24 c #Conflicts: 399000 | #Constraints: 65119
2146.60/2154.24 c #Conflicts: 400000 | #Constraints: 66119
2146.60/2154.24 c #Conflicts: 401000 | #Constraints: 67119
2146.60/2154.24 c #Conflicts: 402000 | #Constraints: 68119
2146.60/2154.24 c #Conflicts: 403000 | #Constraints: 69119
2146.60/2154.24 c #Conflicts: 404000 | #Constraints: 70119
2146.60/2154.24 c #Conflicts: 405000 | #Constraints: 71119
2146.60/2154.24 c #Conflicts: 406000 | #Constraints: 72119
2146.60/2154.24 c #Conflicts: 407000 | #Constraints: 73119
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2146.60/2154.24 c #Conflicts: 408000 | #Constraints: 61506
2146.60/2154.24 c #Conflicts: 409000 | #Constraints: 62506
2146.60/2154.24 c #Conflicts: 410000 | #Constraints: 63506
2146.60/2154.24 c #Conflicts: 411000 | #Constraints: 64506
2146.60/2154.24 c #Conflicts: 412000 | #Constraints: 65506
2146.60/2154.24 c #Conflicts: 413000 | #Constraints: 66506
2146.60/2154.24 c #Conflicts: 414000 | #Constraints: 67506
2146.60/2154.24 c #Conflicts: 415000 | #Constraints: 68506
2146.60/2154.24 c #Conflicts: 416000 | #Constraints: 69506
2146.60/2154.24 c #Conflicts: 417000 | #Constraints: 70506
2146.60/2154.24 c #Conflicts: 418000 | #Constraints: 71506
2146.60/2154.24 c #Conflicts: 419000 | #Constraints: 72506
2146.60/2154.24 c #Conflicts: 420000 | #Constraints: 73506
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2146.60/2154.24 c #Conflicts: 421000 | #Constraints: 61708
2146.60/2154.24 c #Conflicts: 422000 | #Constraints: 62708
2146.60/2154.24 c #Conflicts: 423000 | #Constraints: 63708
2146.60/2154.24 c #Conflicts: 424000 | #Constraints: 64708
2146.60/2154.24 c #Conflicts: 425000 | #Constraints: 65708
2146.60/2154.24 c #Conflicts: 426000 | #Constraints: 66708
2146.60/2154.24 c #Conflicts: 427000 | #Constraints: 67708
2146.60/2154.24 c #Conflicts: 428000 | #Constraints: 68708
2146.60/2154.24 c #Conflicts: 429000 | #Constraints: 69708
2146.60/2154.24 c #Conflicts: 430000 | #Constraints: 70708
2146.60/2154.24 c #Conflicts: 431000 | #Constraints: 71708
2146.60/2154.24 c #Conflicts: 432000 | #Constraints: 72708
2146.60/2154.24 c #Conflicts: 433000 | #Constraints: 73708
2146.60/2154.24 c INPROCESSING
2146.60/2154.24 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 434000 | #Constraints: 61739
2448.02/2456.60 c #Conflicts: 435000 | #Constraints: 62739
2448.02/2456.60 c #Conflicts: 436000 | #Constraints: 63739
2448.02/2456.60 c #Conflicts: 437000 | #Constraints: 64739
2448.02/2456.60 c #Conflicts: 438000 | #Constraints: 65739
2448.02/2456.60 c #Conflicts: 439000 | #Constraints: 66739
2448.02/2456.60 c #Conflicts: 440000 | #Constraints: 67739
2448.02/2456.60 c #Conflicts: 441000 | #Constraints: 68739
2448.02/2456.60 c #Conflicts: 442000 | #Constraints: 69739
2448.02/2456.60 c #Conflicts: 443000 | #Constraints: 70739
2448.02/2456.60 c #Conflicts: 444000 | #Constraints: 71739
2448.02/2456.60 c #Conflicts: 445000 | #Constraints: 72739
2448.02/2456.60 c #Conflicts: 446000 | #Constraints: 73739
2448.02/2456.60 c INPROCESSING
2448.02/2456.60 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 447000 | #Constraints: 61542
2448.02/2456.60 c #Conflicts: 448000 | #Constraints: 62542
2448.02/2456.60 c #Conflicts: 449000 | #Constraints: 63542
2448.02/2456.60 c #Conflicts: 450000 | #Constraints: 64542
2448.02/2456.60 c #Conflicts: 451000 | #Constraints: 65542
2448.02/2456.60 c #Conflicts: 452000 | #Constraints: 66542
2448.02/2456.60 c #Conflicts: 453000 | #Constraints: 67542
2448.02/2456.60 c #Conflicts: 454000 | #Constraints: 68542
2448.02/2456.60 c #Conflicts: 455000 | #Constraints: 69542
2448.02/2456.60 c #Conflicts: 456000 | #Constraints: 70542
2448.02/2456.60 c #Conflicts: 457000 | #Constraints: 71542
2448.02/2456.60 c #Conflicts: 458000 | #Constraints: 72542
2448.02/2456.60 c #Conflicts: 459000 | #Constraints: 73542
2448.02/2456.60 c #Conflicts: 460000 | #Constraints: 74542
2448.02/2456.60 c INPROCESSING
2448.02/2456.60 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 461000 | #Constraints: 62125
2448.02/2456.60 c #Conflicts: 462000 | #Constraints: 63125
2448.02/2456.60 c #Conflicts: 463000 | #Constraints: 64125
2448.02/2456.60 c #Conflicts: 464000 | #Constraints: 65125
2448.02/2456.60 c #Conflicts: 465000 | #Constraints: 66125
2448.02/2456.60 c #Conflicts: 466000 | #Constraints: 67125
2448.02/2456.60 c #Conflicts: 467000 | #Constraints: 68125
2448.02/2456.60 c #Conflicts: 468000 | #Constraints: 69125
2448.02/2456.60 c #Conflicts: 469000 | #Constraints: 70125
2448.02/2456.60 c #Conflicts: 470000 | #Constraints: 71125
2448.02/2456.60 c #Conflicts: 471000 | #Constraints: 72125
2448.02/2456.60 c #Conflicts: 472000 | #Constraints: 73125
2448.02/2456.60 c #Conflicts: 473000 | #Constraints: 74125
2448.02/2456.60 c #Conflicts: 474000 | #Constraints: 75125
2448.02/2456.60 c INPROCESSING
2448.02/2456.60 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 475000 | #Constraints: 62518
2448.02/2456.60 c #Conflicts: 476000 | #Constraints: 63518
2448.02/2456.60 c #Conflicts: 477000 | #Constraints: 64518
2448.02/2456.60 c #Conflicts: 478000 | #Constraints: 65518
2448.02/2456.60 c #Conflicts: 479000 | #Constraints: 66518
2448.02/2456.60 c #Conflicts: 480000 | #Constraints: 67518
2448.02/2456.60 c #Conflicts: 481000 | #Constraints: 68518
2448.02/2456.60 c #Conflicts: 482000 | #Constraints: 69518
2448.02/2456.60 c #Conflicts: 483000 | #Constraints: 70518
2448.02/2456.60 c #Conflicts: 484000 | #Constraints: 71518
2448.02/2456.60 c #Conflicts: 485000 | #Constraints: 72518
2448.02/2456.60 c #Conflicts: 486000 | #Constraints: 73518
2448.02/2456.60 c #Conflicts: 487000 | #Constraints: 74518
2448.02/2456.60 c #Conflicts: 488000 | #Constraints: 75518
2448.02/2456.60 c INPROCESSING
2448.02/2456.60 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 489000 | #Constraints: 62709
2448.02/2456.60 c #Conflicts: 490000 | #Constraints: 63709
2448.02/2456.60 c #Conflicts: 491000 | #Constraints: 64709
2448.02/2456.60 c #Conflicts: 492000 | #Constraints: 65709
2448.02/2456.60 c #Conflicts: 493000 | #Constraints: 66709
2448.02/2456.60 c #Conflicts: 494000 | #Constraints: 67709
2448.02/2456.60 c #Conflicts: 495000 | #Constraints: 68709
2448.02/2456.60 c #Conflicts: 496000 | #Constraints: 69709
2448.02/2456.60 c #Conflicts: 497000 | #Constraints: 70709
2448.02/2456.60 c #Conflicts: 498000 | #Constraints: 71709
2448.02/2456.60 c #Conflicts: 499000 | #Constraints: 72709
2448.02/2456.60 c #Conflicts: 500000 | #Constraints: 73709
2448.02/2456.60 c #Conflicts: 501000 | #Constraints: 74709
2448.02/2456.60 c #Conflicts: 502000 | #Constraints: 75709
2448.02/2456.60 c INPROCESSING
2448.02/2456.60 c GARBAGE COLLECT
2448.02/2456.60 c #Conflicts: 503000 | #Constraints: 62711
2448.02/2456.60 c #Conflicts: 504000 | #Constraints: 63711
2448.02/2456.60 c #Conflicts: 505000 | #Constraints: 64711
2448.02/2456.60 c #Conflicts: 506000 | #Constraints: 65711
2448.02/2456.60 c #Conflicts: 507000 | #Constraints: 66711
2448.02/2456.60 c #Conflicts: 508000 | #Constraints: 67711
2448.02/2456.60 c #Conflicts: 509000 | #Constraints: 68711
2723.33/2732.87 c #Conflicts: 510000 | #Constraints: 69711
2723.33/2732.87 c #Conflicts: 511000 | #Constraints: 70711
2723.33/2732.87 c #Conflicts: 512000 | #Constraints: 71711
2723.33/2732.87 c #Conflicts: 513000 | #Constraints: 72711
2723.33/2732.87 c #Conflicts: 514000 | #Constraints: 73711
2723.33/2732.87 c #Conflicts: 515000 | #Constraints: 74711
2723.33/2732.87 c #Conflicts: 516000 | #Constraints: 75711
2723.33/2732.87 c INPROCESSING
2723.33/2732.87 c GARBAGE COLLECT
2723.33/2732.87 c #Conflicts: 517000 | #Constraints: 62510
2723.33/2732.87 c #Conflicts: 518000 | #Constraints: 63510
2723.33/2732.87 c #Conflicts: 519000 | #Constraints: 64510
2723.33/2732.87 c #Conflicts: 520000 | #Constraints: 65510
2723.33/2732.87 c #Conflicts: 521000 | #Constraints: 66510
2723.33/2732.87 c #Conflicts: 522000 | #Constraints: 67510
2723.33/2732.87 c #Conflicts: 523000 | #Constraints: 68510
2723.33/2732.87 c #Conflicts: 524000 | #Constraints: 69510
2723.33/2732.87 c #Conflicts: 525000 | #Constraints: 70510
2723.33/2732.87 c #Conflicts: 526000 | #Constraints: 71510
2723.33/2732.87 c #Conflicts: 527000 | #Constraints: 72510
2723.33/2732.87 c #Conflicts: 528000 | #Constraints: 73510
2723.33/2732.87 c #Conflicts: 529000 | #Constraints: 74510
2723.33/2732.87 c #Conflicts: 530000 | #Constraints: 75510
2723.33/2732.87 c #Conflicts: 531000 | #Constraints: 76510
2723.33/2732.87 c INPROCESSING
2723.33/2732.87 c GARBAGE COLLECT
2723.33/2732.87 c #Conflicts: 532000 | #Constraints: 63112
2723.33/2732.87 c #Conflicts: 533000 | #Constraints: 64112
2723.33/2732.87 c #Conflicts: 534000 | #Constraints: 65112
2723.33/2732.87 c #Conflicts: 535000 | #Constraints: 66112
2723.33/2732.87 c #Conflicts: 536000 | #Constraints: 67112
2723.33/2732.87 c #Conflicts: 537000 | #Constraints: 68112
2723.33/2732.87 c #Conflicts: 538000 | #Constraints: 69112
2723.33/2732.87 c #Conflicts: 539000 | #Constraints: 70112
2723.33/2732.87 c #Conflicts: 540000 | #Constraints: 71112
2723.33/2732.87 c #Conflicts: 541000 | #Constraints: 72112
2723.33/2732.87 c #Conflicts: 542000 | #Constraints: 73112
2723.33/2732.87 c #Conflicts: 543000 | #Constraints: 74112
2723.33/2732.87 c #Conflicts: 544000 | #Constraints: 75112
2723.33/2732.87 c #Conflicts: 545000 | #Constraints: 76112
2723.33/2732.87 c #Conflicts: 546000 | #Constraints: 77112
2723.33/2732.87 c INPROCESSING
2723.33/2732.87 c GARBAGE COLLECT
2723.33/2732.87 c #Conflicts: 547000 | #Constraints: 63510
2723.33/2732.87 c #Conflicts: 548000 | #Constraints: 64510
2723.33/2732.87 c #Conflicts: 549000 | #Constraints: 65510
2723.33/2732.87 c #Conflicts: 550000 | #Constraints: 66510
2723.33/2732.87 c #Conflicts: 551000 | #Constraints: 67510
2723.33/2732.87 c #Conflicts: 552000 | #Constraints: 68510
2723.33/2732.87 c #Conflicts: 553000 | #Constraints: 69510
2723.33/2732.87 c #Conflicts: 554000 | #Constraints: 70510
2723.33/2732.87 c #Conflicts: 555000 | #Constraints: 71510
2723.33/2732.87 c #Conflicts: 556000 | #Constraints: 72510
2723.33/2732.87 c #Conflicts: 557000 | #Constraints: 73510
2723.33/2732.87 c #Conflicts: 558000 | #Constraints: 74510
2723.33/2732.87 c #Conflicts: 559000 | #Constraints: 75510
2723.33/2732.87 c #Conflicts: 560000 | #Constraints: 76510
2723.33/2732.87 c #Conflicts: 561000 | #Constraints: 77510
2723.33/2732.87 c INPROCESSING
2723.33/2732.87 c GARBAGE COLLECT
2723.33/2732.87 c #Conflicts: 562000 | #Constraints: 63717
2723.33/2732.87 c #Conflicts: 563000 | #Constraints: 64717
2723.33/2732.87 c #Conflicts: 564000 | #Constraints: 65717
2723.33/2732.87 c #Conflicts: 565000 | #Constraints: 66717
2723.33/2732.87 c #Conflicts: 566000 | #Constraints: 67717
2723.33/2732.87 c #Conflicts: 567000 | #Constraints: 68717
2723.33/2732.87 c #Conflicts: 568000 | #Constraints: 69717
2723.33/2732.87 c #Conflicts: 569000 | #Constraints: 70717
2723.33/2732.87 c #Conflicts: 570000 | #Constraints: 71717
2723.33/2732.87 c #Conflicts: 571000 | #Constraints: 72717
2723.33/2732.87 c #Conflicts: 572000 | #Constraints: 73717
2723.33/2732.87 c #Conflicts: 573000 | #Constraints: 74717
2723.33/2732.87 c #Conflicts: 574000 | #Constraints: 75717
2723.33/2732.87 c #Conflicts: 575000 | #Constraints: 76717
2723.33/2732.87 c #Conflicts: 576000 | #Constraints: 77717
2723.33/2732.87 c INPROCESSING
2723.33/2732.87 c GARBAGE COLLECT
2723.33/2732.87 c #Conflicts: 577000 | #Constraints: 63722
2723.33/2732.87 c #Conflicts: 578000 | #Constraints: 64722
2723.33/2732.87 c #Conflicts: 579000 | #Constraints: 65722
2723.33/2732.87 c #Conflicts: 580000 | #Constraints: 66722
2723.33/2732.87 c #Conflicts: 581000 | #Constraints: 67722
2723.33/2732.87 c #Conflicts: 582000 | #Constraints: 68722
2723.33/2732.87 c #Conflicts: 583000 | #Constraints: 69722
2723.33/2732.87 c #Conflicts: 584000 | #Constraints: 70722
2723.33/2732.87 c #Conflicts: 585000 | #Constraints: 71722
2993.04/3003.48 c #Conflicts: 586000 | #Constraints: 72722
2993.04/3003.48 c #Conflicts: 587000 | #Constraints: 73722
2993.04/3003.48 c #Conflicts: 588000 | #Constraints: 74722
2993.04/3003.48 c #Conflicts: 589000 | #Constraints: 75722
2993.04/3003.48 c #Conflicts: 590000 | #Constraints: 76722
2993.04/3003.48 c #Conflicts: 591000 | #Constraints: 77722
2993.04/3003.48 c INPROCESSING
2993.04/3003.48 c GARBAGE COLLECT
2993.04/3003.48 c #Conflicts: 592000 | #Constraints: 63521
2993.04/3003.48 c #Conflicts: 593000 | #Constraints: 64521
2993.04/3003.48 c #Conflicts: 594000 | #Constraints: 65521
2993.04/3003.48 c #Conflicts: 595000 | #Constraints: 66521
2993.04/3003.48 c #Conflicts: 596000 | #Constraints: 67521
2993.04/3003.48 c #Conflicts: 597000 | #Constraints: 68521
2993.04/3003.48 c #Conflicts: 598000 | #Constraints: 69521
2993.04/3003.48 c #Conflicts: 599000 | #Constraints: 70521
2993.04/3003.48 c #Conflicts: 600000 | #Constraints: 71521
2993.04/3003.48 c #Conflicts: 601000 | #Constraints: 72521
2993.04/3003.48 c #Conflicts: 602000 | #Constraints: 73521
2993.04/3003.48 c #Conflicts: 603000 | #Constraints: 74521
2993.04/3003.48 c #Conflicts: 604000 | #Constraints: 75521
2993.04/3003.48 c #Conflicts: 605000 | #Constraints: 76521
2993.04/3003.48 c #Conflicts: 606000 | #Constraints: 77521
2993.04/3003.48 c #Conflicts: 607000 | #Constraints: 78521
2993.04/3003.48 c INPROCESSING
2993.04/3003.48 c GARBAGE COLLECT
2993.04/3003.48 c #Conflicts: 608000 | #Constraints: 64122
2993.04/3003.48 c #Conflicts: 609000 | #Constraints: 65122
2993.04/3003.48 c #Conflicts: 610000 | #Constraints: 66122
2993.04/3003.48 c #Conflicts: 611000 | #Constraints: 67122
2993.04/3003.48 c #Conflicts: 612000 | #Constraints: 68122
2993.04/3003.48 c #Conflicts: 613000 | #Constraints: 69122
2993.04/3003.48 c #Conflicts: 614000 | #Constraints: 70122
2993.04/3003.48 c #Conflicts: 615000 | #Constraints: 71122
2993.04/3003.48 c #Conflicts: 616000 | #Constraints: 72122
2993.04/3003.48 c #Conflicts: 617000 | #Constraints: 73122
2993.04/3003.48 c #Conflicts: 618000 | #Constraints: 74122
2993.04/3003.48 c #Conflicts: 619000 | #Constraints: 75122
2993.04/3003.48 c #Conflicts: 620000 | #Constraints: 76122
2993.04/3003.48 c #Conflicts: 621000 | #Constraints: 77122
2993.04/3003.48 c #Conflicts: 622000 | #Constraints: 78122
2993.04/3003.48 c #Conflicts: 623000 | #Constraints: 79122
2993.04/3003.48 c INPROCESSING
2993.04/3003.48 c GARBAGE COLLECT
2993.04/3003.48 c #Conflicts: 624000 | #Constraints: 64529
2993.04/3003.48 c #Conflicts: 625000 | #Constraints: 65529
2993.04/3003.48 c #Conflicts: 626000 | #Constraints: 66529
2993.04/3003.48 c #Conflicts: 627000 | #Constraints: 67529
2993.04/3003.48 c #Conflicts: 628000 | #Constraints: 68529
2993.04/3003.48 c #Conflicts: 629000 | #Constraints: 69529
2993.04/3003.48 c #Conflicts: 630000 | #Constraints: 70529
2993.04/3003.48 c #Conflicts: 631000 | #Constraints: 71529
2993.04/3003.48 c #Conflicts: 632000 | #Constraints: 72529
2993.04/3003.48 c #Conflicts: 633000 | #Constraints: 73529
2993.04/3003.48 c #Conflicts: 634000 | #Constraints: 74529
2993.04/3003.48 c #Conflicts: 635000 | #Constraints: 75529
2993.04/3003.48 c #Conflicts: 636000 | #Constraints: 76529
2993.04/3003.48 c #Conflicts: 637000 | #Constraints: 77529
2993.04/3003.48 c #Conflicts: 638000 | #Constraints: 78529
2993.04/3003.48 c #Conflicts: 639000 | #Constraints: 79529
2993.04/3003.48 c INPROCESSING
2993.04/3003.48 c GARBAGE COLLECT
2993.04/3003.48 c #Conflicts: 640000 | #Constraints: 64727
2993.04/3003.48 c #Conflicts: 641000 | #Constraints: 65727
2993.04/3003.48 c #Conflicts: 642000 | #Constraints: 66727
2993.04/3003.48 c #Conflicts: 643000 | #Constraints: 67727
2993.04/3003.48 c #Conflicts: 644000 | #Constraints: 68727
2993.04/3003.48 c #Conflicts: 645000 | #Constraints: 69727
2993.04/3003.48 c #Conflicts: 646000 | #Constraints: 70727
2993.04/3003.48 c #Conflicts: 647000 | #Constraints: 71727
2993.04/3003.48 c #Conflicts: 648000 | #Constraints: 72727
2993.04/3003.48 c #Conflicts: 649000 | #Constraints: 73727
2993.04/3003.48 c #Conflicts: 650000 | #Constraints: 74727
2993.04/3003.48 c #Conflicts: 651000 | #Constraints: 75727
2993.04/3003.48 c #Conflicts: 652000 | #Constraints: 76727
2993.04/3003.48 c #Conflicts: 653000 | #Constraints: 77727
2993.04/3003.48 c #Conflicts: 654000 | #Constraints: 78727
2993.04/3003.48 c #Conflicts: 655000 | #Constraints: 79727
2993.04/3003.48 c INPROCESSING
2993.04/3003.48 c GARBAGE COLLECT
2993.04/3003.48 c #Conflicts: 656000 | #Constraints: 64724
2993.04/3003.48 c #Conflicts: 657000 | #Constraints: 65724
2993.04/3003.48 c #Conflicts: 658000 | #Constraints: 66724
2993.04/3003.48 c #Conflicts: 659000 | #Constraints: 67724
2993.04/3003.48 c #Conflicts: 660000 | #Constraints: 68724
3279.61/3290.90 c #Conflicts: 661000 | #Constraints: 69724
3279.61/3290.90 c #Conflicts: 662000 | #Constraints: 70724
3279.61/3290.90 c #Conflicts: 663000 | #Constraints: 71724
3279.61/3290.90 c #Conflicts: 664000 | #Constraints: 72724
3279.61/3290.90 c #Conflicts: 665000 | #Constraints: 73724
3279.61/3290.90 c #Conflicts: 666000 | #Constraints: 74724
3279.61/3290.90 c #Conflicts: 667000 | #Constraints: 75724
3279.61/3290.90 c #Conflicts: 668000 | #Constraints: 76724
3279.61/3290.90 c #Conflicts: 669000 | #Constraints: 77724
3279.61/3290.90 c #Conflicts: 670000 | #Constraints: 78724
3279.61/3290.90 c #Conflicts: 671000 | #Constraints: 79724
3279.61/3290.90 c INPROCESSING
3279.61/3290.90 c GARBAGE COLLECT
3279.61/3290.90 c #Conflicts: 672000 | #Constraints: 64509
3279.61/3290.90 c #Conflicts: 673000 | #Constraints: 65509
3279.61/3290.90 c #Conflicts: 674000 | #Constraints: 66509
3279.61/3290.90 c #Conflicts: 675000 | #Constraints: 67509
3279.61/3290.90 c #Conflicts: 676000 | #Constraints: 68509
3279.61/3290.90 c #Conflicts: 677000 | #Constraints: 69509
3279.61/3290.90 c #Conflicts: 678000 | #Constraints: 70509
3279.61/3290.90 c #Conflicts: 679000 | #Constraints: 71509
3279.61/3290.90 c #Conflicts: 680000 | #Constraints: 72509
3279.61/3290.90 c #Conflicts: 681000 | #Constraints: 73509
3279.61/3290.90 c #Conflicts: 682000 | #Constraints: 74509
3279.61/3290.90 c #Conflicts: 683000 | #Constraints: 75509
3279.61/3290.90 c #Conflicts: 684000 | #Constraints: 76509
3279.61/3290.90 c #Conflicts: 685000 | #Constraints: 77509
3279.61/3290.90 c #Conflicts: 686000 | #Constraints: 78509
3279.61/3290.90 c #Conflicts: 687000 | #Constraints: 79509
3279.61/3290.90 c #Conflicts: 688000 | #Constraints: 80509
3279.61/3290.90 c INPROCESSING
3279.61/3290.90 c GARBAGE COLLECT
3279.61/3290.90 c #Conflicts: 689000 | #Constraints: 65109
3279.61/3290.90 c #Conflicts: 690000 | #Constraints: 66109
3279.61/3290.90 c #Conflicts: 691000 | #Constraints: 67109
3279.61/3290.90 c #Conflicts: 692000 | #Constraints: 68109
3279.61/3290.90 c #Conflicts: 693000 | #Constraints: 69109
3279.61/3290.90 c #Conflicts: 694000 | #Constraints: 70109
3279.61/3290.90 c #Conflicts: 695000 | #Constraints: 71109
3279.61/3290.90 c #Conflicts: 696000 | #Constraints: 72109
3279.61/3290.90 c #Conflicts: 697000 | #Constraints: 73109
3279.61/3290.90 c #Conflicts: 698000 | #Constraints: 74109
3279.61/3290.90 c #Conflicts: 699000 | #Constraints: 75109
3279.61/3290.90 c #Conflicts: 700000 | #Constraints: 76109
3279.61/3290.90 c #Conflicts: 701000 | #Constraints: 77109
3279.61/3290.90 c #Conflicts: 702000 | #Constraints: 78109
3279.61/3290.90 c #Conflicts: 703000 | #Constraints: 79109
3279.61/3290.90 c #Conflicts: 704000 | #Constraints: 80109
3279.61/3290.90 c #Conflicts: 705000 | #Constraints: 81109
3279.61/3290.90 c INPROCESSING
3279.61/3290.90 c GARBAGE COLLECT
3279.61/3290.90 c #Conflicts: 706000 | #Constraints: 65529
3279.61/3290.90 c #Conflicts: 707000 | #Constraints: 66529
3279.61/3290.90 c #Conflicts: 708000 | #Constraints: 67529
3279.61/3290.90 c #Conflicts: 709000 | #Constraints: 68529
3279.61/3290.90 c #Conflicts: 710000 | #Constraints: 69529
3279.61/3290.90 c #Conflicts: 711000 | #Constraints: 70529
3279.61/3290.90 c #Conflicts: 712000 | #Constraints: 71529
3279.61/3290.90 c #Conflicts: 713000 | #Constraints: 72529
3279.61/3290.90 c #Conflicts: 714000 | #Constraints: 73529
3279.61/3290.90 c #Conflicts: 715000 | #Constraints: 74529
3279.61/3290.90 c #Conflicts: 716000 | #Constraints: 75529
3279.61/3290.90 c #Conflicts: 717000 | #Constraints: 76529
3279.61/3290.90 c #Conflicts: 718000 | #Constraints: 77529
3279.61/3290.90 c #Conflicts: 719000 | #Constraints: 78529
3279.61/3290.90 c #Conflicts: 720000 | #Constraints: 79529
3279.61/3290.90 c #Conflicts: 721000 | #Constraints: 80529
3279.61/3290.90 c #Conflicts: 722000 | #Constraints: 81529
3279.61/3290.90 c INPROCESSING
3279.61/3290.90 c GARBAGE COLLECT
3279.61/3290.90 c #Conflicts: 723000 | #Constraints: 65732
3279.61/3290.90 c #Conflicts: 724000 | #Constraints: 66732
3279.61/3290.90 c #Conflicts: 725000 | #Constraints: 67732
3279.61/3290.90 c #Conflicts: 726000 | #Constraints: 68732
3279.61/3290.90 c #Conflicts: 727000 | #Constraints: 69732
3279.61/3290.90 c #Conflicts: 728000 | #Constraints: 70732
3279.61/3290.90 c #Conflicts: 729000 | #Constraints: 71732
3279.61/3290.90 c #Conflicts: 730000 | #Constraints: 72732
3279.61/3290.90 c #Conflicts: 731000 | #Constraints: 73732
3279.61/3290.90 c #Conflicts: 732000 | #Constraints: 74732
3279.61/3290.90 c #Conflicts: 733000 | #Constraints: 75732
3279.61/3290.90 c #Conflicts: 734000 | #Constraints: 76732
3279.61/3290.90 c #Conflicts: 735000 | #Constraints: 77732
3279.61/3290.90 c #Conflicts: 736000 | #Constraints: 78732
3574.45/3586.71 c #Conflicts: 737000 | #Constraints: 79732
3574.45/3586.71 c #Conflicts: 738000 | #Constraints: 80732
3574.45/3586.71 c #Conflicts: 739000 | #Constraints: 81732
3574.45/3586.71 c INPROCESSING
3574.45/3586.71 c GARBAGE COLLECT
3574.45/3586.71 c #Conflicts: 740000 | #Constraints: 65728
3574.45/3586.71 c #Conflicts: 741000 | #Constraints: 66728
3574.45/3586.71 c #Conflicts: 742000 | #Constraints: 67728
3574.45/3586.71 c #Conflicts: 743000 | #Constraints: 68728
3574.45/3586.71 c #Conflicts: 744000 | #Constraints: 69728
3574.45/3586.71 c #Conflicts: 745000 | #Constraints: 70728
3574.45/3586.71 c #Conflicts: 746000 | #Constraints: 71728
3574.45/3586.71 c #Conflicts: 747000 | #Constraints: 72728
3574.45/3586.71 c #Conflicts: 748000 | #Constraints: 73728
3574.45/3586.71 c #Conflicts: 749000 | #Constraints: 74728
3574.45/3586.71 c #Conflicts: 750000 | #Constraints: 75728
3574.45/3586.71 c #Conflicts: 751000 | #Constraints: 76728
3574.45/3586.71 c #Conflicts: 752000 | #Constraints: 77728
3574.45/3586.71 c #Conflicts: 753000 | #Constraints: 78728
3574.45/3586.71 c #Conflicts: 754000 | #Constraints: 79728
3574.45/3586.71 c #Conflicts: 755000 | #Constraints: 80728
3574.45/3586.71 c #Conflicts: 756000 | #Constraints: 81728
3574.45/3586.71 c INPROCESSING
3574.45/3586.71 c GARBAGE COLLECT
3574.45/3586.71 c #Conflicts: 757000 | #Constraints: 65518
3574.45/3586.71 c #Conflicts: 758000 | #Constraints: 66518
3574.45/3586.71 c #Conflicts: 759000 | #Constraints: 67518
3574.45/3586.71 c #Conflicts: 760000 | #Constraints: 68518
3574.45/3586.71 c #Conflicts: 761000 | #Constraints: 69518
3574.45/3586.71 c #Conflicts: 762000 | #Constraints: 70518
3574.45/3586.71 c #Conflicts: 763000 | #Constraints: 71518
3574.45/3586.71 c #Conflicts: 764000 | #Constraints: 72518
3574.45/3586.71 c #Conflicts: 765000 | #Constraints: 73518
3574.45/3586.71 c #Conflicts: 766000 | #Constraints: 74518
3574.45/3586.71 c #Conflicts: 767000 | #Constraints: 75518
3574.45/3586.71 c #Conflicts: 768000 | #Constraints: 76518
3574.45/3586.71 c #Conflicts: 769000 | #Constraints: 77518
3574.45/3586.71 c #Conflicts: 770000 | #Constraints: 78518
3574.45/3586.71 c #Conflicts: 771000 | #Constraints: 79518
3574.45/3586.71 c #Conflicts: 772000 | #Constraints: 80518
3574.45/3586.71 c #Conflicts: 773000 | #Constraints: 81518
3574.45/3586.71 c #Conflicts: 774000 | #Constraints: 82518
3574.45/3586.71 c INPROCESSING
3574.45/3586.71 c GARBAGE COLLECT
3574.45/3586.71 c #Conflicts: 775000 | #Constraints: 66115
3574.45/3586.71 c #Conflicts: 776000 | #Constraints: 67115
3574.45/3586.71 c #Conflicts: 777000 | #Constraints: 68115
3574.45/3586.71 c #Conflicts: 778000 | #Constraints: 69115
3574.45/3586.71 c #Conflicts: 779000 | #Constraints: 70115
3574.45/3586.71 c #Conflicts: 780000 | #Constraints: 71115
3574.45/3586.71 c #Conflicts: 781000 | #Constraints: 72115
3574.45/3586.71 c #Conflicts: 782000 | #Constraints: 73115
3574.45/3586.71 c #Conflicts: 783000 | #Constraints: 74115
3574.45/3586.71 c #Conflicts: 784000 | #Constraints: 75115
3574.45/3586.71 c #Conflicts: 785000 | #Constraints: 76115
3574.45/3586.71 c #Conflicts: 786000 | #Constraints: 77115
3574.45/3586.71 c #Conflicts: 787000 | #Constraints: 78115
3574.45/3586.71 c #Conflicts: 788000 | #Constraints: 79115
3574.45/3586.71 c #Conflicts: 789000 | #Constraints: 80115
3574.45/3586.71 c #Conflicts: 790000 | #Constraints: 81115
3574.45/3586.71 c #Conflicts: 791000 | #Constraints: 82115
3574.45/3586.71 c #Conflicts: 792000 | #Constraints: 83115
3574.45/3586.71 c INPROCESSING
3574.45/3586.71 c GARBAGE COLLECT
3574.45/3586.71 c #Conflicts: 793000 | #Constraints: 66513
3574.45/3586.71 c #Conflicts: 794000 | #Constraints: 67513
3574.45/3586.71 c #Conflicts: 795000 | #Constraints: 68513
3574.45/3586.71 c #Conflicts: 796000 | #Constraints: 69513
3574.45/3586.71 c #Conflicts: 797000 | #Constraints: 70513
3574.45/3586.71 c #Conflicts: 798000 | #Constraints: 71513
3574.45/3586.71 c #Conflicts: 799000 | #Constraints: 72513
3574.45/3586.71 c #Conflicts: 800000 | #Constraints: 73513
3574.45/3586.71 c #Conflicts: 801000 | #Constraints: 74513
3574.45/3586.71 c #Conflicts: 802000 | #Constraints: 75513
3574.45/3586.71 c #Conflicts: 803000 | #Constraints: 76513
3574.45/3586.71 c #Conflicts: 804000 | #Constraints: 77513
3574.45/3586.71 c #Conflicts: 805000 | #Constraints: 78513
3574.45/3586.71 c #Conflicts: 806000 | #Constraints: 79513
3574.45/3586.71 c #Conflicts: 807000 | #Constraints: 80513
3574.45/3586.71 c #Conflicts: 808000 | #Constraints: 81513
3574.45/3586.71 c #Conflicts: 809000 | #Constraints: 82513
3574.45/3586.71 c #Conflicts: 810000 | #Constraints: 83513
3574.45/3586.71 c INPROCESSING
3574.45/3586.71 c GARBAGE COLLECT
3574.45/3586.71 c #Conflicts: 811000 | #Constraints: 66723
3574.45/3586.71 c #Conflicts: 812000 | #Constraints: 67723
3600.07/3612.40 c #Conflicts: 813000 | #Constraints: 68723
3600.07/3612.40 c #Conflicts: 814000 | #Constraints: 69723
3600.07/3612.40 c #Conflicts: 815000 | #Constraints: 70723
3600.07/3612.40 c #Conflicts: 816000 | #Constraints: 71723
3600.07/3612.40 c #Conflicts: 817000 | #Constraints: 72723
3600.07/3612.40 c #Conflicts: 818000 | #Constraints: 73723
3600.07/3612.40 c #Conflicts: 819000 | #Constraints: 74723
3600.07/3612.40 c Program interrupted by user.
3600.07/3612.40 c cpu time 3590.77 s
3600.07/3612.40 c deterministic time 1069656160501 1.07e+12
3600.07/3612.40 c optimization time 29.3854 s
3600.07/3612.40 c total solve time 3261.96 s
3600.07/3612.40 c core-guided solve time 3261.96 s
3600.07/3612.40 c propagation time 2498.21 s
3600.07/3612.40 c conflict analysis time 708.334 s
3600.07/3612.40 c propagations 712474943
3600.07/3612.40 c resolve steps 17495082
3600.07/3612.40 c decisions 5720801
3600.07/3612.40 c conflicts 819325
3600.07/3612.40 c restarts 1769
3600.07/3612.40 c inprocessing phases 81
3600.07/3612.40 c input clauses 47832
3600.07/3612.40 c input cardinalities 8
3600.07/3612.40 c input general constraints 0
3600.07/3612.40 c input average constraint length 2.69
3600.07/3612.40 c input average constraint degree 1.04
3600.07/3612.40 c learned clauses 517641
3600.07/3612.40 c learned cardinalities 4870
3600.07/3612.40 c learned general constraints 296817
3600.07/3612.40 c learned average constraint length 2426.93
3600.07/3612.40 c learned average constraint degree 651050.42
3600.07/3612.40 c watched constraints 262785
3600.07/3612.40 c counting constraints 34032
3600.07/3612.40 c gcd simplifications 6187
3600.07/3612.40 c detected cardinalities 4
3600.07/3612.40 c weakened non-implied lits 323195135
3600.07/3612.40 c weakened non-implying lits 46313
3600.07/3612.40 c original variables 12935
3600.07/3612.40 c clausal propagations 646850201
3600.07/3612.40 c cardinality propagations 6845367
3600.07/3612.40 c watched propagations 22236191
3600.07/3612.40 c counting propagations 33826396
3600.07/3612.40 c watch lookups 11153078487
3600.07/3612.40 c watch backjump lookups 8485146493
3600.07/3612.40 c watch checks 950046156257
3600.07/3612.40 c propagation checks 92543094409
3600.07/3612.40 c constraint additions 5991484836
3600.07/3612.40 c trail pops 719004274
3600.07/3612.40 c formula constraints 47832
3600.07/3612.40 c learned constraints 819328
3600.07/3612.40 c bound constraints 8
3600.07/3612.40 c core-guided constraints 0
3600.07/3612.40 c encountered formula constraints 14754797
3600.07/3612.40 c encountered learned constraints 3559580
3600.07/3612.40 c encountered bound constraints 30
3600.07/3612.40 c encountered core-guided constraints 0
3600.07/3612.40 c LP total time 0 s
3600.07/3612.40 c LP solve time 0 s
3600.07/3612.40 c LP constraints added 0
3600.07/3612.40 c LP constraints removed 0
3600.07/3612.40 c LP pivots internal 0
3600.07/3612.40 c LP pivots root 0
3600.07/3612.40 c LP calls 0
3600.07/3612.40 c LP optimalities 0
3600.07/3612.40 c LP no pivot count 0
3600.07/3612.40 c LP infeasibilities 0
3600.07/3612.40 c LP valid Farkas constraints 0
3600.07/3612.40 c LP learned Farkas constraints 0
3600.07/3612.40 c LP basis resets 0
3600.07/3612.40 c LP cycling count 0
3600.07/3612.40 c LP singular count 0
3600.07/3612.40 c LP no primal count 0
3600.07/3612.40 c LP no farkas count 0
3600.07/3612.40 c LP other issue count 0
3600.07/3612.40 c LP Gomory cuts 0
3600.07/3612.40 c LP learned cuts 0
3600.07/3612.40 c LP deleted cuts 0
3600.07/3612.40 c LP encountered Gomory constraints 0
3600.07/3612.40 c LP encountered Farkas constraints 0
3600.07/3612.40 c LP encountered learned Farkas constraints 0
3600.07/3612.40 c CG auxiliary variables introduced 0
3600.07/3612.40 c CG solutions found 0
3600.07/3612.40 c CG cores constructed 7
3600.07/3612.40 c CG core cardinality constraints returned 0
3600.07/3612.40 c CG unit cores 0
3600.07/3612.40 c CG single cores 7
3600.07/3612.40 c CG blocks removed during cardinality reduction 0
3600.07/3612.40 c CG first core best 0
3600.07/3612.40 c CG decision core best 0
3600.07/3612.40 c CG core reduction tie 0
3600.07/3612.40 c CG core degree average 1.00
3600.07/3612.40 c CG core slack average 55.57
3600.07/3612.40 c CG exhausted 0
3600.07/3612.40 c CG exhaust time 0 s
3600.07/3612.40 c CG trimmed 0
3600.07/3612.40 c CG trim time 0.001413 s
3600.07/3612.40 c CG minimized 0
3600.07/3612.40 c CG minimize time 0 s
3600.07/3612.40 c CG am1 prop time 0.002132 s
3600.07/3612.40 c CG # am1s reformulated 0
3600.07/3612.40 c CG lower bound derived from am1s 0
3600.07/3612.40 c CG # clausal cores 7
3600.07/3612.40 c CG # cardinality cores 0
3600.07/3612.40 c CG # pb cores 0
3600.07/3612.40 c CG # pb reforms 0
3600.07/3612.40 c CG # cores discarded because of pb reform 0
3600.07/3612.40 d LOWERBOUND 7
3600.07/3612.40 d NCORES 7
3600.07/3612.40 d NPBCORES 0
3600.07/3612.40 d NPBREFORM 0
3600.07/3612.40 d NTRIMMED 0
3600.07/3612.40 d NEXHAUSTED 0
3600.07/3612.40 d NAM1S 0
3600.07/3612.40 d AM1LB 0
3600.07/3612.40 c [Papilo Statistics]
3600.07/3612.40 c prepro time 0.147684s
3600.07/3612.40 c # tsx applied 53
3600.07/3612.40 c # tsx conflicts 0
3600.07/3612.40 c # bound changes 5
3600.07/3612.40 c # side changes 34
3600.07/3612.40 c # coef changes 120
3600.07/3612.40 c # rounds 2
3600.07/3612.40 c # deted vars 22
3600.07/3612.40 c # deted constrs 57
3600.07/3612.40 c # consecutive rounds of only bound changes 0
3600.07/3612.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62766 MiB free)
memory of node 1: 64510 MiB (63003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454816-1721471683/watcher-4454816-1721471683 -o /tmp/evaluation-result-4454816-1721471683/solver-4454816-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052939 --watchdog 3760 mixed-bag HOME/instance-4454816-1721471683.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1052996, runsolver pid=1052988
[startup+0.100739 s]*
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128764668/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=80176 memory=12080 CPUtime=0.1 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 2101 0 0 0 9 1 0 0 20 0 1 0 199327888 82100224 3020 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 20044 3020 1650 3002 0 4332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80176 KiB
Current children cumulated memory: 12080 KiB
[startup+0.21252 s]*
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128747984/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=82224 memory=14748 CPUtime=0.21 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 2748 0 0 0 20 1 0 0 20 0 1 0 199327888 84197376 3687 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 20556 3687 1650 3002 0 4844 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82224 KiB
Current children cumulated memory: 14748 KiB
[startup+0.314291 s]*
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128690908/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=107268 memory=32840 CPUtime=0.31 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 7240 0 0 0 28 3 0 0 20 0 1 0 199327888 109842432 8210 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 26817 8210 1771 3002 0 10566 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107268 KiB
Current children cumulated memory: 32840 KiB
[startup+0.700362 s]
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128587252/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=192396 memory=123824 CPUtime=0.68 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 29514 0 0 0 59 9 0 0 20 0 1 0 199327888 197013504 30956 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 48099 30956 3797 3002 0 31848 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 192396 KiB
Current children cumulated memory: 123824 KiB
[startup+1.50029 s]
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128210752/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=236600 memory=167116 CPUtime=1.47 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 42759 0 0 0 134 13 0 0 20 0 1 0 199327888 242278400 41779 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 59150 41779 3829 3002 0 42899 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 236600 KiB
Current children cumulated memory: 167116 KiB
[startup+3.112 s]
/proc/loadavg: 1.04 1.15 1.69 6/243 1053004
/proc/meminfo: memFree=127649624/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=391388 memory=302388 CPUtime=3.08 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 75454 0 0 0 289 19 0 0 20 0 1 0 199327888 400781312 75597 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 97847 75597 4037 3002 0 81596 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 391388 KiB
Current children cumulated memory: 302388 KiB
[startup+6.30025 s]
/proc/loadavg: 1.27 1.20 1.70 6/243 1053004
/proc/meminfo: memFree=127304496/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=422824 memory=335480 CPUtime=6.26 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 79202 0 0 0 606 20 0 0 20 0 1 0 199327888 432971776 83870 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 105706 83870 4037 3002 0 89455 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 422824 KiB
Current children cumulated memory: 335480 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.25 1.72 6/243 1053004
/proc/meminfo: memFree=126938516/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=492172 memory=377412 CPUtime=12.64 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 89721 0 0 0 1242 22 0 0 20 0 1 0 199327888 503984128 94353 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 123043 94353 4037 3002 0 106792 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 492172 KiB
Current children cumulated memory: 377412 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.38 1.75 6/243 1053007
/proc/meminfo: memFree=126864744/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=498944 memory=384448 CPUtime=25.39 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 91464 0 0 0 2517 22 0 0 20 0 1 0 199327888 510918656 96112 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 124736 96112 4037 3002 0 108485 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 498944 KiB
Current children cumulated memory: 384448 KiB
[startup+51.1119 s]
/proc/loadavg: 2.78 1.61 1.82 6/241 1053010
/proc/meminfo: memFree=126696136/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=565972 memory=451552 CPUtime=50.92 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 108281 0 0 0 5067 25 0 0 20 0 1 0 199327888 579555328 112888 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 141493 112888 4053 3002 0 125242 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 451552 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.01 1.95 6/241 1053018
/proc/meminfo: memFree=126672032/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=565972 memory=451844 CPUtime=101.93 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 108304 0 0 0 10168 25 0 0 20 0 1 0 199327888 579555328 112961 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 141493 112961 4069 3002 0 125242 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 451844 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.40 2.08 6/241 1053029
/proc/meminfo: memFree=126669856/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=565972 memory=451980 CPUtime=161.73 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 108363 0 0 0 16148 25 0 0 20 0 1 0 199327888 579555328 112995 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 141493 112995 4069 3002 0 125242 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 451980 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.21 6/241 1053039
/proc/meminfo: memFree=126659788/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=565972 memory=451980 CPUtime=221.51 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 108379 0 0 0 22126 25 0 0 20 0 1 0 199327888 579555328 112995 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 141493 112995 4069 3002 0 125242 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 451980 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.33 6/241 1053049
/proc/meminfo: memFree=126644488/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=565972 memory=451980 CPUtime=281.26 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 108387 0 0 0 28101 25 0 0 20 0 1 0 199327888 579555328 112995 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 141493 112995 4069 3002 0 125242 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 451980 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.18 2.45 6/244 1053064
/proc/meminfo: memFree=126453136/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=597216 memory=491952 CPUtime=341.03 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 111585 0 0 0 34056 47 0 0 20 0 1 0 199327888 611549184 122988 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 149304 122988 4196 3002 0 133053 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 597216 KiB
Current children cumulated memory: 491952 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.55 6/244 1053075
/proc/meminfo: memFree=126343828/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=647304 memory=509540 CPUtime=400.8 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 111896 0 0 0 40014 66 0 0 20 0 1 0 199327888 662839296 127385 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 161826 127385 4196 3002 0 145575 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 647304 KiB
Current children cumulated memory: 509540 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.65 6/244 1053085
/proc/meminfo: memFree=126284828/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=647304 memory=525924 CPUtime=460.58 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 111912 0 0 0 45977 81 0 0 20 0 1 0 199327888 662839296 131481 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 161826 131481 4196 3002 0 145575 0
################
# More data... #
################
Current children cumulated memory: 698152 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.06 6/244 1054091
/proc/meminfo: memFree=125389184/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=2852.4 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 117844 0 0 0 284528 712 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 2852.4 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.07 6/244 1054101
/proc/meminfo: memFree=125388884/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=2912.21 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 117921 0 0 0 290490 731 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 2912.21 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.06 6/244 1054112
/proc/meminfo: memFree=125384516/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=2972.02 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118001 0 0 0 296451 751 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 6/244 1054504
/proc/meminfo: memFree=125382808/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=3031.82 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118075 0 0 0 302416 766 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.13 4.08 6/242 1054516
/proc/meminfo: memFree=125336672/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=3091.62 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118164 0 0 0 308379 783 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 3091.62 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.08 6/242 1054526
/proc/meminfo: memFree=125315892/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=3151.43 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118253 0 0 0 314342 801 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 3151.43 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.08 6/243 1054705
/proc/meminfo: memFree=125300428/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=698152 CPUtime=3211.24 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118332 0 0 0 320308 816 0 0 20 0 1 0 199327888 881614848 174538 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 174538 4196 3002 0 198987 0
Current children cumulated CPU time: 3211.24 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 698152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 6/244 1054717
/proc/meminfo: memFree=125298676/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=700200 CPUtime=3271.04 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118450 0 0 0 326272 832 0 0 20 0 1 0 199327888 881614848 175050 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 175050 4196 3002 0 198987 0
Current children cumulated CPU time: 3271.04 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 700200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 6/246 1054785
/proc/meminfo: memFree=125292556/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=700200 CPUtime=3330.84 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118554 0 0 0 332238 846 0 0 20 0 1 0 199327888 881614848 175050 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 175050 4196 3002 0 198987 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 700200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.08 6/246 1054795
/proc/meminfo: memFree=125292592/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=700200 CPUtime=3390.65 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118660 0 0 0 338200 865 0 0 20 0 1 0 199327888 881614848 175050 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 175050 4196 3002 0 198987 0
Current children cumulated CPU time: 3390.65 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 700200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/246 1054806
/proc/meminfo: memFree=125292392/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=700200 CPUtime=3450.45 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118783 0 0 0 344160 885 0 0 20 0 1 0 199327888 881614848 175050 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 175050 4196 3002 0 198987 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 700200 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/246 1054816
/proc/meminfo: memFree=125244972/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=720680 CPUtime=3510.27 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 118906 0 0 0 350124 903 0 0 20 0 1 0 199327888 881614848 180170 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 180170 4196 3002 0 198987 0
Current children cumulated CPU time: 3510.27 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 720680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/243 1054827
/proc/meminfo: memFree=125244704/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=720680 CPUtime=3570.07 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 119022 0 0 0 356090 917 0 0 20 0 1 0 199327888 881614848 180170 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 180170 4196 3002 0 198987 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 720680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/243 1054971
/proc/meminfo: memFree=127220908/131655788 swapFree=131071996/131071996
[pid=1052996] ppid=1052988 vsize=860952 memory=720680 CPUtime=3600.07 cores=0,2
/proc/1052996/stat : 1052996 (mixed-bag) R 1052988 1052996 1052929 0 -1 4194304 119088 0 0 0 359077 930 0 0 20 0 1 0 199327888 881614848 180170 134679101440 4194304 16488053 140720444857856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52658176 140720444863509 140720444863586 140720444863586 140720444870603 0
/proc/1052996/statm: 215238 180170 4196 3002 0 198987 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 860952 KiB
Current children cumulated memory: 720680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.41 s]
# the end of solver process 1052996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.78 s, system=9.30716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.41
CPU time (s): 3600.09
CPU user time (s): 3590.78
CPU system time (s): 9.30716
CPU usage (%): 99.6588
Max. virtual memory (cumulated for all children) (KiB): 860952
Max. memory (cumulated for all children) (KiB): 720680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.78
system time used= 9.30716
maximum resident set size= 721476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119110
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= 83
involuntary context switches= 24651
# summary of solver processes directly reported to runsolver:
# pid: 1052996
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.78
# total CPU system time (s): 9.30716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.889 second user time and 31.0475 second system time
The end
Begin job on nodeC009 at 2024-07-20 12:34:55
IDJOB=4454816
IDBENCH=148187
IDSOLVER=3083
FILE ID=nodeC009/4454816-1721471683
RUNJOBID= nodeC009-1721471695-1052939
SLURM_JOB_ID= 7545739
Free space on /tmp= 723756 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454816-1721471683/watcher-4454816-1721471683 -o /tmp/evaluation-result-4454816-1721471683/solver-4454816-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052939 --watchdog 3760 mixed-bag HOME/instance-4454816-1721471683.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1484410279
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3421.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128792116 kB
MemAvailable: 129894988 kB
Buffers: 606612 kB
Cached: 1339420 kB
SwapCached: 0 kB
Active: 1180760 kB
Inactive: 1127416 kB
Active(anon): 1364 kB
Inactive(anon): 406360 kB
Active(file): 1179396 kB
Inactive(file): 721056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 73148 kB
Writeback: 8 kB
AnonPages: 361932 kB
Mapped: 109768 kB
Shmem: 45892 kB
KReclaimable: 84900 kB
Slab: 186544 kB
SReclaimable: 84900 kB
SUnreclaim: 101644 kB
KernelStack: 3632 kB
PageTables: 9516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 754180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723392 MiB
End job on nodeC009 at 2024-07-20 13:35:07