0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.00/0.09 c Papilo could not simplify the problem
0.00/0.09 c [STEP] solving with SCIP
299.34/300.18 c [STEP] preprocessing done, loading into solver
299.42/300.22 c [STEP] solving
299.42/300.22 c #variables 11401 #constraints 22575
299.42/300.22 c SMALL=int, LARGE=long long
299.42/300.22 d SCIPUB 2889
299.42/300.22 c bounds - >= 0 @ 299.273
299.42/300.22 c stratification level: 0
373.54/374.50 c bounds - >= 2851 @ 299.308
373.54/374.50 c bounds - >= 2852 @ 299.35
373.54/374.50 c bounds - >= 2853 @ 299.352
373.54/374.50 c bounds - >= 2854 @ 299.354
373.54/374.50 c bounds - >= 2855 @ 299.354
373.54/374.50 c bounds - >= 2856 @ 299.355
373.54/374.50 c bounds - >= 2857 @ 299.356
373.54/374.50 c bounds - >= 2858 @ 299.358
373.54/374.50 c bounds - >= 2859 @ 299.359
373.54/374.50 c bounds - >= 2860 @ 299.359
373.54/374.50 c bounds - >= 2861 @ 299.361
373.54/374.50 c bounds - >= 2862 @ 299.361
373.54/374.50 c bounds - >= 2863 @ 299.362
373.54/374.50 c bounds - >= 2864 @ 299.364
373.54/374.50 c bounds - >= 2865 @ 299.365
373.54/374.50 c bounds - >= 2866 @ 299.366
373.54/374.50 c bounds - >= 2867 @ 299.368
373.54/374.50 c bounds - >= 2868 @ 299.369
373.54/374.50 c bounds - >= 2869 @ 299.37
373.54/374.50 c bounds - >= 2870 @ 299.371
373.54/374.50 c bounds - >= 2871 @ 299.371
373.54/374.50 c bounds - >= 2872 @ 299.372
373.54/374.50 c bounds - >= 2873 @ 299.374
373.54/374.50 c bounds - >= 2874 @ 299.374
373.54/374.50 c bounds - >= 2875 @ 299.376
373.54/374.50 c bounds - >= 2876 @ 299.378
373.54/374.50 c bounds - >= 2877 @ 299.378
373.54/374.50 c bounds - >= 2878 @ 299.38
373.54/374.50 c bounds - >= 2879 @ 299.38
373.54/374.50 c bounds - >= 2880 @ 299.382
373.54/374.50 c bounds - >= 2881 @ 299.382
373.54/374.50 c bounds - >= 2882 @ 299.382
373.54/374.50 c bounds - >= 2883 @ 299.383
373.54/374.50 c bounds - >= 2884 @ 299.383
373.54/374.50 c bounds - >= 2885 @ 299.383
373.54/374.50 c bounds - >= 2886 @ 299.383
373.54/374.50 c bounds - >= 2887 @ 299.383
373.54/374.50 c #Conflicts: 1000 | #Constraints: 26462
373.54/374.50 c #Conflicts: 2000 | #Constraints: 27462
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 3000 | #Constraints: 27659
373.54/374.50 c #Conflicts: 4000 | #Constraints: 28659
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 5000 | #Constraints: 28339
373.54/374.50 c #Conflicts: 6000 | #Constraints: 29339
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 7000 | #Constraints: 28429
373.54/374.50 c #Conflicts: 8000 | #Constraints: 29429
373.54/374.50 c #Conflicts: 9000 | #Constraints: 30429
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 10000 | #Constraints: 28931
373.54/374.50 c #Conflicts: 11000 | #Constraints: 29931
373.54/374.50 c #Conflicts: 12000 | #Constraints: 30931
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 13000 | #Constraints: 29576
373.54/374.50 c #Conflicts: 14000 | #Constraints: 30576
373.54/374.50 c #Conflicts: 15000 | #Constraints: 31576
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 16000 | #Constraints: 29809
373.54/374.50 c #Conflicts: 17000 | #Constraints: 30809
373.54/374.50 c #Conflicts: 18000 | #Constraints: 31809
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 19000 | #Constraints: 29827
373.54/374.50 c #Conflicts: 20000 | #Constraints: 30827
373.54/374.50 c #Conflicts: 21000 | #Constraints: 31827
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 22000 | #Constraints: 29603
373.54/374.50 c #Conflicts: 23000 | #Constraints: 30603
373.54/374.50 c #Conflicts: 24000 | #Constraints: 31603
373.54/374.50 c #Conflicts: 25000 | #Constraints: 32603
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 26000 | #Constraints: 30173
373.54/374.50 c #Conflicts: 27000 | #Constraints: 31173
373.54/374.50 c #Conflicts: 28000 | #Constraints: 32173
373.54/374.50 c #Conflicts: 29000 | #Constraints: 33173
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 30000 | #Constraints: 30547
373.54/374.50 c #Conflicts: 31000 | #Constraints: 31547
373.54/374.50 c #Conflicts: 32000 | #Constraints: 32547
373.54/374.50 c #Conflicts: 33000 | #Constraints: 33547
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 34000 | #Constraints: 30720
373.54/374.50 c #Conflicts: 35000 | #Constraints: 31720
373.54/374.50 c #Conflicts: 36000 | #Constraints: 32720
373.54/374.50 c #Conflicts: 37000 | #Constraints: 33720
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 38000 | #Constraints: 30711
373.54/374.50 c #Conflicts: 39000 | #Constraints: 31711
373.54/374.50 c #Conflicts: 40000 | #Constraints: 32711
373.54/374.50 c #Conflicts: 41000 | #Constraints: 33711
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 42000 | #Constraints: 30509
373.54/374.50 c #Conflicts: 43000 | #Constraints: 31509
373.54/374.50 c #Conflicts: 44000 | #Constraints: 32509
373.54/374.50 c #Conflicts: 45000 | #Constraints: 33509
373.54/374.50 c #Conflicts: 46000 | #Constraints: 34509
373.54/374.50 c INPROCESSING
373.54/374.50 c GARBAGE COLLECT
373.54/374.50 c #Conflicts: 47000 | #Constraints: 31103
373.54/374.50 c #Conflicts: 48000 | #Constraints: 32103
373.54/374.50 c #Conflicts: 49000 | #Constraints: 33103
373.54/374.50 c #Conflicts: 50000 | #Constraints: 34103
480.26/481.55 c #Conflicts: 51000 | #Constraints: 35103
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 52000 | #Constraints: 31480
480.26/481.55 c #Conflicts: 53000 | #Constraints: 32480
480.26/481.55 c #Conflicts: 54000 | #Constraints: 33480
480.26/481.55 c #Conflicts: 55000 | #Constraints: 34480
480.26/481.55 c #Conflicts: 56000 | #Constraints: 35480
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 57000 | #Constraints: 31667
480.26/481.55 c #Conflicts: 58000 | #Constraints: 32667
480.26/481.55 c #Conflicts: 59000 | #Constraints: 33667
480.26/481.55 c #Conflicts: 60000 | #Constraints: 34667
480.26/481.55 c #Conflicts: 61000 | #Constraints: 35667
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 62000 | #Constraints: 31666
480.26/481.55 c #Conflicts: 63000 | #Constraints: 32666
480.26/481.55 c #Conflicts: 64000 | #Constraints: 33666
480.26/481.55 c #Conflicts: 65000 | #Constraints: 34666
480.26/481.55 c #Conflicts: 66000 | #Constraints: 35666
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 67000 | #Constraints: 31455
480.26/481.55 c #Conflicts: 68000 | #Constraints: 32455
480.26/481.55 c #Conflicts: 69000 | #Constraints: 33455
480.26/481.55 c #Conflicts: 70000 | #Constraints: 34455
480.26/481.55 c #Conflicts: 71000 | #Constraints: 35455
480.26/481.55 c #Conflicts: 72000 | #Constraints: 36455
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 73000 | #Constraints: 32048
480.26/481.55 c #Conflicts: 74000 | #Constraints: 33048
480.26/481.55 c #Conflicts: 75000 | #Constraints: 34048
480.26/481.55 c #Conflicts: 76000 | #Constraints: 35048
480.26/481.55 c #Conflicts: 77000 | #Constraints: 36048
480.26/481.55 c #Conflicts: 78000 | #Constraints: 37048
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 79000 | #Constraints: 32436
480.26/481.55 c #Conflicts: 80000 | #Constraints: 33436
480.26/481.55 c #Conflicts: 81000 | #Constraints: 34436
480.26/481.55 c #Conflicts: 82000 | #Constraints: 35436
480.26/481.55 c #Conflicts: 83000 | #Constraints: 36436
480.26/481.55 c #Conflicts: 84000 | #Constraints: 37436
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 85000 | #Constraints: 32630
480.26/481.55 c #Conflicts: 86000 | #Constraints: 33630
480.26/481.55 c #Conflicts: 87000 | #Constraints: 34630
480.26/481.55 c #Conflicts: 88000 | #Constraints: 35630
480.26/481.55 c #Conflicts: 89000 | #Constraints: 36630
480.26/481.55 c #Conflicts: 90000 | #Constraints: 37630
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 91000 | #Constraints: 32639
480.26/481.55 c #Conflicts: 92000 | #Constraints: 33639
480.26/481.55 c #Conflicts: 93000 | #Constraints: 34639
480.26/481.55 c #Conflicts: 94000 | #Constraints: 35639
480.26/481.55 c #Conflicts: 95000 | #Constraints: 36639
480.26/481.55 c #Conflicts: 96000 | #Constraints: 37639
480.26/481.55 c INPROCESSING
480.26/481.55 c GARBAGE COLLECT
480.26/481.55 c #Conflicts: 97000 | #Constraints: 32440
480.26/481.55 c #Conflicts: 98000 | #Constraints: 33440
480.26/481.55 c #Conflicts: 99000 | #Constraints: 34440
480.26/481.55 c #Conflicts: 100000 | #Constraints: 35440
480.26/481.55 c #Conflicts: 101000 | #Constraints: 36440
480.26/481.55 c #Conflicts: 102000 | #Constraints: 37440
480.26/481.55 c #Conflicts: 103000 | #Constraints: 38440
480.26/481.56 c INPROCESSING
480.26/481.56 c GARBAGE COLLECT
480.26/481.56 c #Conflicts: 104000 | #Constraints: 33040
480.26/481.56 c #Conflicts: 105000 | #Constraints: 34040
480.26/481.56 c #Conflicts: 106000 | #Constraints: 35040
480.26/481.56 c #Conflicts: 107000 | #Constraints: 36040
480.26/481.56 c #Conflicts: 108000 | #Constraints: 37040
480.26/481.56 c #Conflicts: 109000 | #Constraints: 38040
480.26/481.56 c #Conflicts: 110000 | #Constraints: 39040
480.26/481.56 c INPROCESSING
480.26/481.56 c GARBAGE COLLECT
480.26/481.56 c #Conflicts: 111000 | #Constraints: 33424
480.26/481.56 c #Conflicts: 112000 | #Constraints: 34424
480.26/481.56 c #Conflicts: 113000 | #Constraints: 35424
480.26/481.56 c #Conflicts: 114000 | #Constraints: 36424
480.26/481.56 c #Conflicts: 115000 | #Constraints: 37424
480.26/481.56 c #Conflicts: 116000 | #Constraints: 38424
480.26/481.56 c #Conflicts: 117000 | #Constraints: 39424
480.26/481.56 c INPROCESSING
480.26/481.56 c GARBAGE COLLECT
480.26/481.56 c #Conflicts: 118000 | #Constraints: 33620
480.26/481.56 c #Conflicts: 119000 | #Constraints: 34620
480.26/481.56 c #Conflicts: 120000 | #Constraints: 35620
480.26/481.56 c #Conflicts: 121000 | #Constraints: 36620
650.84/652.54 c #Conflicts: 122000 | #Constraints: 37620
650.84/652.54 c #Conflicts: 123000 | #Constraints: 38620
650.84/652.54 c #Conflicts: 124000 | #Constraints: 39620
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 125000 | #Constraints: 33632
650.84/652.54 c #Conflicts: 126000 | #Constraints: 34632
650.84/652.54 c #Conflicts: 127000 | #Constraints: 35632
650.84/652.54 c #Conflicts: 128000 | #Constraints: 36632
650.84/652.54 c #Conflicts: 129000 | #Constraints: 37632
650.84/652.54 c #Conflicts: 130000 | #Constraints: 38632
650.84/652.54 c #Conflicts: 131000 | #Constraints: 39632
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 132000 | #Constraints: 33426
650.84/652.54 c #Conflicts: 133000 | #Constraints: 34426
650.84/652.54 c #Conflicts: 134000 | #Constraints: 35426
650.84/652.54 c #Conflicts: 135000 | #Constraints: 36426
650.84/652.54 c #Conflicts: 136000 | #Constraints: 37426
650.84/652.54 c #Conflicts: 137000 | #Constraints: 38426
650.84/652.54 c #Conflicts: 138000 | #Constraints: 39426
650.84/652.54 c #Conflicts: 139000 | #Constraints: 40426
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 140000 | #Constraints: 34019
650.84/652.54 c #Conflicts: 141000 | #Constraints: 35019
650.84/652.54 c #Conflicts: 142000 | #Constraints: 36019
650.84/652.54 c #Conflicts: 143000 | #Constraints: 37019
650.84/652.54 c #Conflicts: 144000 | #Constraints: 38019
650.84/652.54 c #Conflicts: 145000 | #Constraints: 39019
650.84/652.54 c #Conflicts: 146000 | #Constraints: 40019
650.84/652.54 c #Conflicts: 147000 | #Constraints: 41019
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 148000 | #Constraints: 34433
650.84/652.54 c #Conflicts: 149000 | #Constraints: 35433
650.84/652.54 c #Conflicts: 150000 | #Constraints: 36433
650.84/652.54 c #Conflicts: 151000 | #Constraints: 37433
650.84/652.54 c #Conflicts: 152000 | #Constraints: 38433
650.84/652.54 c #Conflicts: 153000 | #Constraints: 39433
650.84/652.54 c #Conflicts: 154000 | #Constraints: 40433
650.84/652.54 c #Conflicts: 155000 | #Constraints: 41433
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 156000 | #Constraints: 34679
650.84/652.54 c #Conflicts: 157000 | #Constraints: 35679
650.84/652.54 c #Conflicts: 158000 | #Constraints: 36679
650.84/652.54 c #Conflicts: 159000 | #Constraints: 37679
650.84/652.54 c #Conflicts: 160000 | #Constraints: 38679
650.84/652.54 c #Conflicts: 161000 | #Constraints: 39679
650.84/652.54 c #Conflicts: 162000 | #Constraints: 40679
650.84/652.54 c #Conflicts: 163000 | #Constraints: 41679
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 164000 | #Constraints: 34677
650.84/652.54 c #Conflicts: 165000 | #Constraints: 35677
650.84/652.54 c #Conflicts: 166000 | #Constraints: 36677
650.84/652.54 c #Conflicts: 167000 | #Constraints: 37677
650.84/652.54 c #Conflicts: 168000 | #Constraints: 38677
650.84/652.54 c #Conflicts: 169000 | #Constraints: 39677
650.84/652.54 c #Conflicts: 170000 | #Constraints: 40677
650.84/652.54 c #Conflicts: 171000 | #Constraints: 41677
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 172000 | #Constraints: 34474
650.84/652.54 c #Conflicts: 173000 | #Constraints: 35474
650.84/652.54 c #Conflicts: 174000 | #Constraints: 36474
650.84/652.54 c #Conflicts: 175000 | #Constraints: 37474
650.84/652.54 c #Conflicts: 176000 | #Constraints: 38474
650.84/652.54 c #Conflicts: 177000 | #Constraints: 39474
650.84/652.54 c #Conflicts: 178000 | #Constraints: 40474
650.84/652.54 c #Conflicts: 179000 | #Constraints: 41474
650.84/652.54 c #Conflicts: 180000 | #Constraints: 42474
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 181000 | #Constraints: 35059
650.84/652.54 c #Conflicts: 182000 | #Constraints: 36059
650.84/652.54 c #Conflicts: 183000 | #Constraints: 37059
650.84/652.54 c #Conflicts: 184000 | #Constraints: 38059
650.84/652.54 c #Conflicts: 185000 | #Constraints: 39059
650.84/652.54 c #Conflicts: 186000 | #Constraints: 40059
650.84/652.54 c #Conflicts: 187000 | #Constraints: 41059
650.84/652.54 c #Conflicts: 188000 | #Constraints: 42059
650.84/652.54 c #Conflicts: 189000 | #Constraints: 43059
650.84/652.54 c INPROCESSING
650.84/652.54 c GARBAGE COLLECT
650.84/652.54 c #Conflicts: 190000 | #Constraints: 35460
650.84/652.54 c #Conflicts: 191000 | #Constraints: 36460
650.84/652.54 c #Conflicts: 192000 | #Constraints: 37460
650.84/652.54 c #Conflicts: 193000 | #Constraints: 38460
650.84/652.54 c #Conflicts: 194000 | #Constraints: 39460
786.13/788.15 c #Conflicts: 195000 | #Constraints: 40460
786.13/788.15 c #Conflicts: 196000 | #Constraints: 41460
786.13/788.15 c #Conflicts: 197000 | #Constraints: 42460
786.13/788.15 c #Conflicts: 198000 | #Constraints: 43460
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 199000 | #Constraints: 35656
786.13/788.15 c #Conflicts: 200000 | #Constraints: 36656
786.13/788.15 c #Conflicts: 201000 | #Constraints: 37656
786.13/788.15 c #Conflicts: 202000 | #Constraints: 38656
786.13/788.15 c #Conflicts: 203000 | #Constraints: 39656
786.13/788.15 c #Conflicts: 204000 | #Constraints: 40656
786.13/788.15 c #Conflicts: 205000 | #Constraints: 41656
786.13/788.15 c #Conflicts: 206000 | #Constraints: 42656
786.13/788.15 c #Conflicts: 207000 | #Constraints: 43656
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 208000 | #Constraints: 35659
786.13/788.15 c #Conflicts: 209000 | #Constraints: 36659
786.13/788.15 c #Conflicts: 210000 | #Constraints: 37659
786.13/788.15 c #Conflicts: 211000 | #Constraints: 38659
786.13/788.15 c #Conflicts: 212000 | #Constraints: 39659
786.13/788.15 c #Conflicts: 213000 | #Constraints: 40659
786.13/788.15 c #Conflicts: 214000 | #Constraints: 41659
786.13/788.15 c #Conflicts: 215000 | #Constraints: 42659
786.13/788.15 c #Conflicts: 216000 | #Constraints: 43659
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 217000 | #Constraints: 35467
786.13/788.15 c #Conflicts: 218000 | #Constraints: 36467
786.13/788.15 c #Conflicts: 219000 | #Constraints: 37467
786.13/788.15 c #Conflicts: 220000 | #Constraints: 38467
786.13/788.15 c #Conflicts: 221000 | #Constraints: 39467
786.13/788.15 c #Conflicts: 222000 | #Constraints: 40467
786.13/788.15 c #Conflicts: 223000 | #Constraints: 41467
786.13/788.15 c #Conflicts: 224000 | #Constraints: 42467
786.13/788.15 c #Conflicts: 225000 | #Constraints: 43467
786.13/788.15 c #Conflicts: 226000 | #Constraints: 44467
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 227000 | #Constraints: 36077
786.13/788.15 c #Conflicts: 228000 | #Constraints: 37077
786.13/788.15 c #Conflicts: 229000 | #Constraints: 38077
786.13/788.15 c #Conflicts: 230000 | #Constraints: 39077
786.13/788.15 c #Conflicts: 231000 | #Constraints: 40077
786.13/788.15 c #Conflicts: 232000 | #Constraints: 41077
786.13/788.15 c #Conflicts: 233000 | #Constraints: 42077
786.13/788.15 c #Conflicts: 234000 | #Constraints: 43077
786.13/788.15 c #Conflicts: 235000 | #Constraints: 44077
786.13/788.15 c #Conflicts: 236000 | #Constraints: 45077
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 237000 | #Constraints: 36473
786.13/788.15 c #Conflicts: 238000 | #Constraints: 37473
786.13/788.15 c #Conflicts: 239000 | #Constraints: 38473
786.13/788.15 c #Conflicts: 240000 | #Constraints: 39473
786.13/788.15 c #Conflicts: 241000 | #Constraints: 40473
786.13/788.15 c #Conflicts: 242000 | #Constraints: 41473
786.13/788.15 c #Conflicts: 243000 | #Constraints: 42473
786.13/788.15 c #Conflicts: 244000 | #Constraints: 43473
786.13/788.15 c #Conflicts: 245000 | #Constraints: 44473
786.13/788.15 c #Conflicts: 246000 | #Constraints: 45473
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 247000 | #Constraints: 36663
786.13/788.15 c #Conflicts: 248000 | #Constraints: 37663
786.13/788.15 c #Conflicts: 249000 | #Constraints: 38663
786.13/788.15 c #Conflicts: 250000 | #Constraints: 39663
786.13/788.15 c #Conflicts: 251000 | #Constraints: 40663
786.13/788.15 c #Conflicts: 252000 | #Constraints: 41663
786.13/788.15 c #Conflicts: 253000 | #Constraints: 42663
786.13/788.15 c #Conflicts: 254000 | #Constraints: 43663
786.13/788.15 c #Conflicts: 255000 | #Constraints: 44663
786.13/788.15 c #Conflicts: 256000 | #Constraints: 45663
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 257000 | #Constraints: 36660
786.13/788.15 c #Conflicts: 258000 | #Constraints: 37660
786.13/788.15 c #Conflicts: 259000 | #Constraints: 38660
786.13/788.15 c #Conflicts: 260000 | #Constraints: 39660
786.13/788.15 c #Conflicts: 261000 | #Constraints: 40660
786.13/788.15 c #Conflicts: 262000 | #Constraints: 41660
786.13/788.15 c #Conflicts: 263000 | #Constraints: 42660
786.13/788.15 c #Conflicts: 264000 | #Constraints: 43660
786.13/788.15 c #Conflicts: 265000 | #Constraints: 44660
786.13/788.15 c #Conflicts: 266000 | #Constraints: 45660
786.13/788.15 c INPROCESSING
786.13/788.15 c GARBAGE COLLECT
786.13/788.15 c #Conflicts: 267000 | #Constraints: 36459
786.13/788.15 c #Conflicts: 268000 | #Constraints: 37459
981.94/984.40 c #Conflicts: 269000 | #Constraints: 38459
981.94/984.40 c #Conflicts: 270000 | #Constraints: 39459
981.94/984.40 c #Conflicts: 271000 | #Constraints: 40459
981.94/984.40 c #Conflicts: 272000 | #Constraints: 41459
981.94/984.40 c #Conflicts: 273000 | #Constraints: 42459
981.94/984.40 c #Conflicts: 274000 | #Constraints: 43459
981.94/984.40 c #Conflicts: 275000 | #Constraints: 44459
981.94/984.40 c #Conflicts: 276000 | #Constraints: 45459
981.94/984.40 c #Conflicts: 277000 | #Constraints: 46459
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 278000 | #Constraints: 37058
981.94/984.40 c #Conflicts: 279000 | #Constraints: 38058
981.94/984.40 c #Conflicts: 280000 | #Constraints: 39058
981.94/984.40 c #Conflicts: 281000 | #Constraints: 40058
981.94/984.40 c #Conflicts: 282000 | #Constraints: 41058
981.94/984.40 c #Conflicts: 283000 | #Constraints: 42058
981.94/984.40 c #Conflicts: 284000 | #Constraints: 43058
981.94/984.40 c #Conflicts: 285000 | #Constraints: 44058
981.94/984.40 c #Conflicts: 286000 | #Constraints: 45058
981.94/984.40 c #Conflicts: 287000 | #Constraints: 46058
981.94/984.40 c #Conflicts: 288000 | #Constraints: 47058
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 289000 | #Constraints: 37449
981.94/984.40 c #Conflicts: 290000 | #Constraints: 38449
981.94/984.40 c #Conflicts: 291000 | #Constraints: 39449
981.94/984.40 c #Conflicts: 292000 | #Constraints: 40449
981.94/984.40 c #Conflicts: 293000 | #Constraints: 41449
981.94/984.40 c #Conflicts: 294000 | #Constraints: 42449
981.94/984.40 c #Conflicts: 295000 | #Constraints: 43449
981.94/984.40 c #Conflicts: 296000 | #Constraints: 44449
981.94/984.40 c #Conflicts: 297000 | #Constraints: 45449
981.94/984.40 c #Conflicts: 298000 | #Constraints: 46449
981.94/984.40 c #Conflicts: 299000 | #Constraints: 47449
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 300000 | #Constraints: 37652
981.94/984.40 c #Conflicts: 301000 | #Constraints: 38652
981.94/984.40 c #Conflicts: 302000 | #Constraints: 39652
981.94/984.40 c #Conflicts: 303000 | #Constraints: 40652
981.94/984.40 c #Conflicts: 304000 | #Constraints: 41652
981.94/984.40 c #Conflicts: 305000 | #Constraints: 42652
981.94/984.40 c #Conflicts: 306000 | #Constraints: 43652
981.94/984.40 c #Conflicts: 307000 | #Constraints: 44652
981.94/984.40 c #Conflicts: 308000 | #Constraints: 45652
981.94/984.40 c #Conflicts: 309000 | #Constraints: 46652
981.94/984.40 c #Conflicts: 310000 | #Constraints: 47652
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 311000 | #Constraints: 37639
981.94/984.40 c #Conflicts: 312000 | #Constraints: 38639
981.94/984.40 c #Conflicts: 313000 | #Constraints: 39639
981.94/984.40 c #Conflicts: 314000 | #Constraints: 40639
981.94/984.40 c #Conflicts: 315000 | #Constraints: 41639
981.94/984.40 c #Conflicts: 316000 | #Constraints: 42639
981.94/984.40 c #Conflicts: 317000 | #Constraints: 43639
981.94/984.40 c #Conflicts: 318000 | #Constraints: 44639
981.94/984.40 c #Conflicts: 319000 | #Constraints: 45639
981.94/984.40 c #Conflicts: 320000 | #Constraints: 46639
981.94/984.40 c #Conflicts: 321000 | #Constraints: 47639
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 322000 | #Constraints: 37333
981.94/984.40 c #Conflicts: 323000 | #Constraints: 38333
981.94/984.40 c #Conflicts: 324000 | #Constraints: 39333
981.94/984.40 c #Conflicts: 325000 | #Constraints: 40333
981.94/984.40 c #Conflicts: 326000 | #Constraints: 41333
981.94/984.40 c #Conflicts: 327000 | #Constraints: 42333
981.94/984.40 c #Conflicts: 328000 | #Constraints: 43333
981.94/984.40 c #Conflicts: 329000 | #Constraints: 44333
981.94/984.40 c #Conflicts: 330000 | #Constraints: 45333
981.94/984.40 c #Conflicts: 331000 | #Constraints: 46333
981.94/984.40 c #Conflicts: 332000 | #Constraints: 47333
981.94/984.40 c #Conflicts: 333000 | #Constraints: 48333
981.94/984.40 c INPROCESSING
981.94/984.40 c GARBAGE COLLECT
981.94/984.40 c #Conflicts: 334000 | #Constraints: 37923
981.94/984.40 c #Conflicts: 335000 | #Constraints: 38923
981.94/984.40 c #Conflicts: 336000 | #Constraints: 39923
981.94/984.40 c #Conflicts: 337000 | #Constraints: 40923
981.94/984.40 c #Conflicts: 338000 | #Constraints: 41923
981.94/984.40 c #Conflicts: 339000 | #Constraints: 42923
981.94/984.40 c #Conflicts: 340000 | #Constraints: 43923
981.94/984.40 c #Conflicts: 341000 | #Constraints: 44923
981.94/984.40 c #Conflicts: 342000 | #Constraints: 45923
981.94/984.40 c #Conflicts: 343000 | #Constraints: 46923
1261.24/1264.43 c #Conflicts: 344000 | #Constraints: 47923
1261.24/1264.43 c #Conflicts: 345000 | #Constraints: 48923
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 346000 | #Constraints: 38308
1261.24/1264.43 c #Conflicts: 347000 | #Constraints: 39308
1261.24/1264.43 c #Conflicts: 348000 | #Constraints: 40308
1261.24/1264.43 c #Conflicts: 349000 | #Constraints: 41308
1261.24/1264.43 c #Conflicts: 350000 | #Constraints: 42308
1261.24/1264.43 c #Conflicts: 351000 | #Constraints: 43308
1261.24/1264.43 c #Conflicts: 352000 | #Constraints: 44308
1261.24/1264.43 c #Conflicts: 353000 | #Constraints: 45308
1261.24/1264.43 c #Conflicts: 354000 | #Constraints: 46308
1261.24/1264.43 c #Conflicts: 355000 | #Constraints: 47308
1261.24/1264.43 c #Conflicts: 356000 | #Constraints: 48308
1261.24/1264.43 c #Conflicts: 357000 | #Constraints: 49308
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 358000 | #Constraints: 38494
1261.24/1264.43 c #Conflicts: 359000 | #Constraints: 39494
1261.24/1264.43 c #Conflicts: 360000 | #Constraints: 40494
1261.24/1264.43 c #Conflicts: 361000 | #Constraints: 41494
1261.24/1264.43 c #Conflicts: 362000 | #Constraints: 42494
1261.24/1264.43 c #Conflicts: 363000 | #Constraints: 43494
1261.24/1264.43 c #Conflicts: 364000 | #Constraints: 44494
1261.24/1264.43 c #Conflicts: 365000 | #Constraints: 45494
1261.24/1264.43 c #Conflicts: 366000 | #Constraints: 46494
1261.24/1264.43 c #Conflicts: 367000 | #Constraints: 47494
1261.24/1264.43 c #Conflicts: 368000 | #Constraints: 48494
1261.24/1264.43 c #Conflicts: 369000 | #Constraints: 49494
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 370000 | #Constraints: 38483
1261.24/1264.43 c #Conflicts: 371000 | #Constraints: 39483
1261.24/1264.43 c #Conflicts: 372000 | #Constraints: 40483
1261.24/1264.43 c #Conflicts: 373000 | #Constraints: 41483
1261.24/1264.43 c #Conflicts: 374000 | #Constraints: 42483
1261.24/1264.43 c #Conflicts: 375000 | #Constraints: 43483
1261.24/1264.43 c #Conflicts: 376000 | #Constraints: 44483
1261.24/1264.43 c #Conflicts: 377000 | #Constraints: 45483
1261.24/1264.43 c #Conflicts: 378000 | #Constraints: 46483
1261.24/1264.43 c #Conflicts: 379000 | #Constraints: 47483
1261.24/1264.43 c #Conflicts: 380000 | #Constraints: 48483
1261.24/1264.43 c #Conflicts: 381000 | #Constraints: 49483
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 382000 | #Constraints: 38279
1261.24/1264.43 c #Conflicts: 383000 | #Constraints: 39279
1261.24/1264.43 c #Conflicts: 384000 | #Constraints: 40279
1261.24/1264.43 c #Conflicts: 385000 | #Constraints: 41279
1261.24/1264.43 c #Conflicts: 386000 | #Constraints: 42279
1261.24/1264.43 c #Conflicts: 387000 | #Constraints: 43279
1261.24/1264.43 c #Conflicts: 388000 | #Constraints: 44279
1261.24/1264.43 c #Conflicts: 389000 | #Constraints: 45279
1261.24/1264.43 c #Conflicts: 390000 | #Constraints: 46279
1261.24/1264.43 c #Conflicts: 391000 | #Constraints: 47279
1261.24/1264.43 c #Conflicts: 392000 | #Constraints: 48279
1261.24/1264.43 c #Conflicts: 393000 | #Constraints: 49279
1261.24/1264.43 c #Conflicts: 394000 | #Constraints: 50279
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 395000 | #Constraints: 38868
1261.24/1264.43 c #Conflicts: 396000 | #Constraints: 39868
1261.24/1264.43 c #Conflicts: 397000 | #Constraints: 40868
1261.24/1264.43 c #Conflicts: 398000 | #Constraints: 41868
1261.24/1264.43 c #Conflicts: 399000 | #Constraints: 42868
1261.24/1264.43 c #Conflicts: 400000 | #Constraints: 43868
1261.24/1264.43 c #Conflicts: 401000 | #Constraints: 44868
1261.24/1264.43 c #Conflicts: 402000 | #Constraints: 45868
1261.24/1264.43 c #Conflicts: 403000 | #Constraints: 46868
1261.24/1264.43 c #Conflicts: 404000 | #Constraints: 47868
1261.24/1264.43 c #Conflicts: 405000 | #Constraints: 48868
1261.24/1264.43 c #Conflicts: 406000 | #Constraints: 49868
1261.24/1264.43 c #Conflicts: 407000 | #Constraints: 50868
1261.24/1264.43 c INPROCESSING
1261.24/1264.43 c GARBAGE COLLECT
1261.24/1264.43 c #Conflicts: 408000 | #Constraints: 39267
1261.24/1264.43 c #Conflicts: 409000 | #Constraints: 40267
1261.24/1264.43 c #Conflicts: 410000 | #Constraints: 41267
1261.24/1264.43 c #Conflicts: 411000 | #Constraints: 42267
1261.24/1264.43 c #Conflicts: 412000 | #Constraints: 43267
1261.24/1264.43 c #Conflicts: 413000 | #Constraints: 44267
1261.24/1264.43 c #Conflicts: 414000 | #Constraints: 45267
1261.24/1264.43 c #Conflicts: 415000 | #Constraints: 46267
1261.24/1264.43 c #Conflicts: 416000 | #Constraints: 47267
1261.24/1264.43 c #Conflicts: 417000 | #Constraints: 48267
1261.24/1264.43 c #Conflicts: 418000 | #Constraints: 49267
1788.25/1792.86 c #Conflicts: 419000 | #Constraints: 50267
1788.25/1792.86 c #Conflicts: 420000 | #Constraints: 51267
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 421000 | #Constraints: 39465
1788.25/1792.86 c #Conflicts: 422000 | #Constraints: 40465
1788.25/1792.86 c #Conflicts: 423000 | #Constraints: 41465
1788.25/1792.86 c #Conflicts: 424000 | #Constraints: 42465
1788.25/1792.86 c #Conflicts: 425000 | #Constraints: 43465
1788.25/1792.86 c #Conflicts: 426000 | #Constraints: 44465
1788.25/1792.86 c #Conflicts: 427000 | #Constraints: 45465
1788.25/1792.86 c #Conflicts: 428000 | #Constraints: 46465
1788.25/1792.86 c #Conflicts: 429000 | #Constraints: 47465
1788.25/1792.86 c #Conflicts: 430000 | #Constraints: 48465
1788.25/1792.86 c #Conflicts: 431000 | #Constraints: 49465
1788.25/1792.86 c #Conflicts: 432000 | #Constraints: 50465
1788.25/1792.86 c #Conflicts: 433000 | #Constraints: 51465
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 434000 | #Constraints: 39469
1788.25/1792.86 c #Conflicts: 435000 | #Constraints: 40469
1788.25/1792.86 c #Conflicts: 436000 | #Constraints: 41469
1788.25/1792.86 c #Conflicts: 437000 | #Constraints: 42469
1788.25/1792.86 c #Conflicts: 438000 | #Constraints: 43469
1788.25/1792.86 c #Conflicts: 439000 | #Constraints: 44469
1788.25/1792.86 c #Conflicts: 440000 | #Constraints: 45469
1788.25/1792.86 c #Conflicts: 441000 | #Constraints: 46469
1788.25/1792.86 c #Conflicts: 442000 | #Constraints: 47469
1788.25/1792.86 c #Conflicts: 443000 | #Constraints: 48469
1788.25/1792.86 c #Conflicts: 444000 | #Constraints: 49469
1788.25/1792.86 c #Conflicts: 445000 | #Constraints: 50469
1788.25/1792.86 c #Conflicts: 446000 | #Constraints: 51469
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 447000 | #Constraints: 39270
1788.25/1792.86 c #Conflicts: 448000 | #Constraints: 40270
1788.25/1792.86 c #Conflicts: 449000 | #Constraints: 41270
1788.25/1792.86 c #Conflicts: 450000 | #Constraints: 42270
1788.25/1792.86 c #Conflicts: 451000 | #Constraints: 43270
1788.25/1792.86 c #Conflicts: 452000 | #Constraints: 44270
1788.25/1792.86 c #Conflicts: 453000 | #Constraints: 45270
1788.25/1792.86 c #Conflicts: 454000 | #Constraints: 46270
1788.25/1792.86 c #Conflicts: 455000 | #Constraints: 47270
1788.25/1792.86 c #Conflicts: 456000 | #Constraints: 48270
1788.25/1792.86 c #Conflicts: 457000 | #Constraints: 49270
1788.25/1792.86 c #Conflicts: 458000 | #Constraints: 50270
1788.25/1792.86 c #Conflicts: 459000 | #Constraints: 51270
1788.25/1792.86 c #Conflicts: 460000 | #Constraints: 52270
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 461000 | #Constraints: 39863
1788.25/1792.86 c #Conflicts: 462000 | #Constraints: 40863
1788.25/1792.86 c #Conflicts: 463000 | #Constraints: 41863
1788.25/1792.86 c #Conflicts: 464000 | #Constraints: 42863
1788.25/1792.86 c #Conflicts: 465000 | #Constraints: 43863
1788.25/1792.86 c #Conflicts: 466000 | #Constraints: 44863
1788.25/1792.86 c #Conflicts: 467000 | #Constraints: 45863
1788.25/1792.86 c #Conflicts: 468000 | #Constraints: 46863
1788.25/1792.86 c #Conflicts: 469000 | #Constraints: 47863
1788.25/1792.86 c #Conflicts: 470000 | #Constraints: 48863
1788.25/1792.86 c #Conflicts: 471000 | #Constraints: 49863
1788.25/1792.86 c #Conflicts: 472000 | #Constraints: 50863
1788.25/1792.86 c #Conflicts: 473000 | #Constraints: 51863
1788.25/1792.86 c #Conflicts: 474000 | #Constraints: 52863
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 475000 | #Constraints: 40268
1788.25/1792.86 c #Conflicts: 476000 | #Constraints: 41268
1788.25/1792.86 c #Conflicts: 477000 | #Constraints: 42268
1788.25/1792.86 c #Conflicts: 478000 | #Constraints: 43268
1788.25/1792.86 c #Conflicts: 479000 | #Constraints: 44268
1788.25/1792.86 c #Conflicts: 480000 | #Constraints: 45268
1788.25/1792.86 c #Conflicts: 481000 | #Constraints: 46268
1788.25/1792.86 c #Conflicts: 482000 | #Constraints: 47268
1788.25/1792.86 c #Conflicts: 483000 | #Constraints: 48268
1788.25/1792.86 c #Conflicts: 484000 | #Constraints: 49268
1788.25/1792.86 c #Conflicts: 485000 | #Constraints: 50268
1788.25/1792.86 c #Conflicts: 486000 | #Constraints: 51268
1788.25/1792.86 c #Conflicts: 487000 | #Constraints: 52268
1788.25/1792.86 c #Conflicts: 488000 | #Constraints: 53268
1788.25/1792.86 c INPROCESSING
1788.25/1792.86 c GARBAGE COLLECT
1788.25/1792.86 c #Conflicts: 489000 | #Constraints: 40468
1788.25/1792.86 c #Conflicts: 490000 | #Constraints: 41468
1788.25/1792.86 c #Conflicts: 491000 | #Constraints: 42468
1788.25/1792.86 c #Conflicts: 492000 | #Constraints: 43468
1788.25/1792.86 c #Conflicts: 493000 | #Constraints: 44468
2160.31/2165.85 c #Conflicts: 494000 | #Constraints: 45468
2160.31/2165.85 c #Conflicts: 495000 | #Constraints: 46468
2160.31/2165.85 c #Conflicts: 496000 | #Constraints: 47468
2160.31/2165.85 c #Conflicts: 497000 | #Constraints: 48468
2160.31/2165.85 c #Conflicts: 498000 | #Constraints: 49468
2160.31/2165.85 c #Conflicts: 499000 | #Constraints: 50468
2160.31/2165.85 c #Conflicts: 500000 | #Constraints: 51468
2160.31/2165.85 c #Conflicts: 501000 | #Constraints: 52468
2160.31/2165.85 c #Conflicts: 502000 | #Constraints: 53468
2160.31/2165.85 c INPROCESSING
2160.31/2165.85 c GARBAGE COLLECT
2160.31/2165.85 c #Conflicts: 503000 | #Constraints: 40464
2160.31/2165.85 c #Conflicts: 504000 | #Constraints: 41464
2160.31/2165.85 c #Conflicts: 505000 | #Constraints: 42464
2160.31/2165.85 c #Conflicts: 506000 | #Constraints: 43464
2160.31/2165.85 c #Conflicts: 507000 | #Constraints: 44464
2160.31/2165.85 c #Conflicts: 508000 | #Constraints: 45464
2160.31/2165.85 c #Conflicts: 509000 | #Constraints: 46464
2160.31/2165.85 c #Conflicts: 510000 | #Constraints: 47464
2160.31/2165.85 c #Conflicts: 511000 | #Constraints: 48464
2160.31/2165.85 c #Conflicts: 512000 | #Constraints: 49464
2160.31/2165.85 c #Conflicts: 513000 | #Constraints: 50464
2160.31/2165.85 c #Conflicts: 514000 | #Constraints: 51464
2160.31/2165.85 c #Conflicts: 515000 | #Constraints: 52464
2160.31/2165.85 c #Conflicts: 516000 | #Constraints: 53464
2160.31/2165.85 c INPROCESSING
2160.31/2165.85 c GARBAGE COLLECT
2160.31/2165.85 c #Conflicts: 517000 | #Constraints: 40253
2160.31/2165.85 c #Conflicts: 518000 | #Constraints: 41253
2160.31/2165.85 c #Conflicts: 519000 | #Constraints: 42253
2160.31/2165.85 c #Conflicts: 520000 | #Constraints: 43253
2160.31/2165.85 c #Conflicts: 521000 | #Constraints: 44253
2160.31/2165.85 c #Conflicts: 522000 | #Constraints: 45253
2160.31/2165.85 c #Conflicts: 523000 | #Constraints: 46253
2160.31/2165.85 c #Conflicts: 524000 | #Constraints: 47253
2160.31/2165.85 c #Conflicts: 525000 | #Constraints: 48253
2160.31/2165.85 c #Conflicts: 526000 | #Constraints: 49253
2160.31/2165.85 c #Conflicts: 527000 | #Constraints: 50253
2160.31/2165.85 c #Conflicts: 528000 | #Constraints: 51253
2160.31/2165.85 c #Conflicts: 529000 | #Constraints: 52253
2160.31/2165.85 c #Conflicts: 530000 | #Constraints: 53253
2160.31/2165.85 c #Conflicts: 531000 | #Constraints: 54253
2160.31/2165.85 c INPROCESSING
2160.31/2165.85 c GARBAGE COLLECT
2160.31/2165.85 c #Conflicts: 532000 | #Constraints: 40849
2160.31/2165.85 c #Conflicts: 533000 | #Constraints: 41849
2160.31/2165.85 c #Conflicts: 534000 | #Constraints: 42849
2160.31/2165.85 c #Conflicts: 535000 | #Constraints: 43849
2160.31/2165.85 c #Conflicts: 536000 | #Constraints: 44849
2160.31/2165.85 c #Conflicts: 537000 | #Constraints: 45849
2160.31/2165.85 c #Conflicts: 538000 | #Constraints: 46849
2160.31/2165.85 c #Conflicts: 539000 | #Constraints: 47849
2160.31/2165.85 c #Conflicts: 540000 | #Constraints: 48849
2160.31/2165.85 c #Conflicts: 541000 | #Constraints: 49849
2160.31/2165.85 c #Conflicts: 542000 | #Constraints: 50849
2160.31/2165.85 c #Conflicts: 543000 | #Constraints: 51849
2160.31/2165.85 c #Conflicts: 544000 | #Constraints: 52849
2160.31/2165.85 c #Conflicts: 545000 | #Constraints: 53849
2160.31/2165.85 c #Conflicts: 546000 | #Constraints: 54849
2160.31/2165.85 c INPROCESSING
2160.31/2165.85 c GARBAGE COLLECT
2160.31/2165.85 c #Conflicts: 547000 | #Constraints: 41246
2160.31/2165.85 c #Conflicts: 548000 | #Constraints: 42246
2160.31/2165.85 c #Conflicts: 549000 | #Constraints: 43246
2160.31/2165.85 c #Conflicts: 550000 | #Constraints: 44246
2160.31/2165.85 c #Conflicts: 551000 | #Constraints: 45246
2160.31/2165.85 c #Conflicts: 552000 | #Constraints: 46246
2160.31/2165.85 c #Conflicts: 553000 | #Constraints: 47246
2160.31/2165.85 c #Conflicts: 554000 | #Constraints: 48246
2160.31/2165.85 c #Conflicts: 555000 | #Constraints: 49246
2160.31/2165.85 c #Conflicts: 556000 | #Constraints: 50246
2160.31/2165.85 c #Conflicts: 557000 | #Constraints: 51246
2160.31/2165.85 c #Conflicts: 558000 | #Constraints: 52246
2160.31/2165.85 c #Conflicts: 559000 | #Constraints: 53246
2160.31/2165.85 c #Conflicts: 560000 | #Constraints: 54246
2160.31/2165.85 c #Conflicts: 561000 | #Constraints: 55246
2160.31/2165.85 c INPROCESSING
2160.31/2165.85 c GARBAGE COLLECT
2160.31/2165.85 c #Conflicts: 562000 | #Constraints: 41444
2160.31/2165.85 c #Conflicts: 563000 | #Constraints: 42444
2160.31/2165.85 c #Conflicts: 564000 | #Constraints: 43444
2160.31/2165.85 c #Conflicts: 565000 | #Constraints: 44444
2160.31/2165.85 c #Conflicts: 566000 | #Constraints: 45444
2160.31/2165.85 c #Conflicts: 567000 | #Constraints: 46444
2160.31/2165.85 c #Conflicts: 568000 | #Constraints: 47444
2581.83/2588.42 c #Conflicts: 569000 | #Constraints: 48444
2581.83/2588.42 c #Conflicts: 570000 | #Constraints: 49444
2581.83/2588.42 c #Conflicts: 571000 | #Constraints: 50444
2581.83/2588.42 c #Conflicts: 572000 | #Constraints: 51444
2581.83/2588.42 c #Conflicts: 573000 | #Constraints: 52444
2581.83/2588.42 c #Conflicts: 574000 | #Constraints: 53444
2581.83/2588.42 c #Conflicts: 575000 | #Constraints: 54444
2581.83/2588.42 c #Conflicts: 576000 | #Constraints: 55444
2581.83/2588.42 c INPROCESSING
2581.83/2588.42 c GARBAGE COLLECT
2581.83/2588.42 c #Conflicts: 577000 | #Constraints: 41441
2581.83/2588.42 c #Conflicts: 578000 | #Constraints: 42441
2581.83/2588.42 c #Conflicts: 579000 | #Constraints: 43441
2581.83/2588.42 c #Conflicts: 580000 | #Constraints: 44441
2581.83/2588.42 c #Conflicts: 581000 | #Constraints: 45441
2581.83/2588.42 c #Conflicts: 582000 | #Constraints: 46441
2581.83/2588.42 c #Conflicts: 583000 | #Constraints: 47441
2581.83/2588.42 c #Conflicts: 584000 | #Constraints: 48441
2581.83/2588.42 c #Conflicts: 585000 | #Constraints: 49441
2581.83/2588.42 c #Conflicts: 586000 | #Constraints: 50441
2581.83/2588.42 c #Conflicts: 587000 | #Constraints: 51441
2581.83/2588.42 c #Conflicts: 588000 | #Constraints: 52441
2581.83/2588.42 c #Conflicts: 589000 | #Constraints: 53441
2581.83/2588.42 c #Conflicts: 590000 | #Constraints: 54441
2581.83/2588.42 c #Conflicts: 591000 | #Constraints: 55441
2581.83/2588.42 c INPROCESSING
2581.83/2588.42 c GARBAGE COLLECT
2581.83/2588.42 c #Conflicts: 592000 | #Constraints: 41240
2581.83/2588.42 c #Conflicts: 593000 | #Constraints: 42240
2581.83/2588.42 c #Conflicts: 594000 | #Constraints: 43240
2581.83/2588.42 c #Conflicts: 595000 | #Constraints: 44240
2581.83/2588.42 c #Conflicts: 596000 | #Constraints: 45240
2581.83/2588.42 c #Conflicts: 597000 | #Constraints: 46240
2581.83/2588.42 c #Conflicts: 598000 | #Constraints: 47240
2581.83/2588.42 c #Conflicts: 599000 | #Constraints: 48240
2581.83/2588.42 c #Conflicts: 600000 | #Constraints: 49240
2581.83/2588.42 c #Conflicts: 601000 | #Constraints: 50240
2581.83/2588.42 c #Conflicts: 602000 | #Constraints: 51240
2581.83/2588.42 c #Conflicts: 603000 | #Constraints: 52240
2581.83/2588.42 c #Conflicts: 604000 | #Constraints: 53240
2581.83/2588.42 c #Conflicts: 605000 | #Constraints: 54240
2581.83/2588.42 c #Conflicts: 606000 | #Constraints: 55240
2581.83/2588.42 c #Conflicts: 607000 | #Constraints: 56240
2581.83/2588.42 c INPROCESSING
2581.83/2588.42 c GARBAGE COLLECT
2581.83/2588.42 c #Conflicts: 608000 | #Constraints: 41841
2581.83/2588.42 c #Conflicts: 609000 | #Constraints: 42841
2581.83/2588.42 c #Conflicts: 610000 | #Constraints: 43841
2581.83/2588.42 c #Conflicts: 611000 | #Constraints: 44841
2581.83/2588.42 c #Conflicts: 612000 | #Constraints: 45841
2581.83/2588.42 c #Conflicts: 613000 | #Constraints: 46841
2581.83/2588.42 c #Conflicts: 614000 | #Constraints: 47841
2581.83/2588.42 c #Conflicts: 615000 | #Constraints: 48841
2581.83/2588.42 c #Conflicts: 616000 | #Constraints: 49841
2581.83/2588.42 c #Conflicts: 617000 | #Constraints: 50841
2581.83/2588.42 c #Conflicts: 618000 | #Constraints: 51841
2581.83/2588.42 c #Conflicts: 619000 | #Constraints: 52841
2581.83/2588.42 c #Conflicts: 620000 | #Constraints: 53841
2581.83/2588.42 c #Conflicts: 621000 | #Constraints: 54841
2581.83/2588.42 c #Conflicts: 622000 | #Constraints: 55841
2581.83/2588.42 c #Conflicts: 623000 | #Constraints: 56841
2581.83/2588.42 c INPROCESSING
2581.83/2588.42 c GARBAGE COLLECT
2581.83/2588.42 c #Conflicts: 624000 | #Constraints: 42245
2581.83/2588.42 c #Conflicts: 625000 | #Constraints: 43245
2581.83/2588.42 c #Conflicts: 626000 | #Constraints: 44245
2581.83/2588.42 c #Conflicts: 627000 | #Constraints: 45245
2581.83/2588.42 c #Conflicts: 628000 | #Constraints: 46245
2581.83/2588.42 c #Conflicts: 629000 | #Constraints: 47245
2581.83/2588.42 c #Conflicts: 630000 | #Constraints: 48245
2581.83/2588.42 c #Conflicts: 631000 | #Constraints: 49245
2581.83/2588.42 c #Conflicts: 632000 | #Constraints: 50245
2581.83/2588.42 c #Conflicts: 633000 | #Constraints: 51245
2581.83/2588.42 c #Conflicts: 634000 | #Constraints: 52245
2581.83/2588.42 c #Conflicts: 635000 | #Constraints: 53245
2581.83/2588.42 c #Conflicts: 636000 | #Constraints: 54245
2581.83/2588.42 c #Conflicts: 637000 | #Constraints: 55245
2581.83/2588.42 c #Conflicts: 638000 | #Constraints: 56245
2581.83/2588.42 c #Conflicts: 639000 | #Constraints: 57245
2581.83/2588.42 c INPROCESSING
2581.83/2588.42 c GARBAGE COLLECT
2581.83/2588.42 c #Conflicts: 640000 | #Constraints: 42452
2581.83/2588.42 c #Conflicts: 641000 | #Constraints: 43452
2581.83/2588.42 c #Conflicts: 642000 | #Constraints: 44452
2581.83/2588.42 c #Conflicts: 643000 | #Constraints: 45452
2581.83/2588.42 c #Conflicts: 644000 | #Constraints: 46452
2943.02/2950.56 c #Conflicts: 645000 | #Constraints: 47452
2943.02/2950.56 c #Conflicts: 646000 | #Constraints: 48452
2943.02/2950.56 c #Conflicts: 647000 | #Constraints: 49452
2943.02/2950.56 c #Conflicts: 648000 | #Constraints: 50452
2943.02/2950.56 c #Conflicts: 649000 | #Constraints: 51452
2943.02/2950.56 c #Conflicts: 650000 | #Constraints: 52452
2943.02/2950.56 c #Conflicts: 651000 | #Constraints: 53452
2943.02/2950.56 c #Conflicts: 652000 | #Constraints: 54452
2943.02/2950.56 c #Conflicts: 653000 | #Constraints: 55452
2943.02/2950.56 c #Conflicts: 654000 | #Constraints: 56452
2943.02/2950.56 c #Conflicts: 655000 | #Constraints: 57452
2943.02/2950.56 c INPROCESSING
2943.02/2950.56 c GARBAGE COLLECT
2943.02/2950.56 c #Conflicts: 656000 | #Constraints: 42448
2943.02/2950.56 c #Conflicts: 657000 | #Constraints: 43448
2943.02/2950.56 c #Conflicts: 658000 | #Constraints: 44448
2943.02/2950.56 c #Conflicts: 659000 | #Constraints: 45448
2943.02/2950.56 c #Conflicts: 660000 | #Constraints: 46448
2943.02/2950.56 c #Conflicts: 661000 | #Constraints: 47448
2943.02/2950.56 c #Conflicts: 662000 | #Constraints: 48448
2943.02/2950.56 c #Conflicts: 663000 | #Constraints: 49448
2943.02/2950.56 c #Conflicts: 664000 | #Constraints: 50448
2943.02/2950.56 c #Conflicts: 665000 | #Constraints: 51448
2943.02/2950.56 c #Conflicts: 666000 | #Constraints: 52448
2943.02/2950.56 c #Conflicts: 667000 | #Constraints: 53448
2943.02/2950.56 c #Conflicts: 668000 | #Constraints: 54448
2943.02/2950.56 c #Conflicts: 669000 | #Constraints: 55448
2943.02/2950.56 c #Conflicts: 670000 | #Constraints: 56448
2943.02/2950.56 c #Conflicts: 671000 | #Constraints: 57448
2943.02/2950.56 c INPROCESSING
2943.02/2950.56 c GARBAGE COLLECT
2943.02/2950.56 c #Conflicts: 672000 | #Constraints: 42255
2943.02/2950.56 c #Conflicts: 673000 | #Constraints: 43255
2943.02/2950.56 c #Conflicts: 674000 | #Constraints: 44255
2943.02/2950.56 c #Conflicts: 675000 | #Constraints: 45255
2943.02/2950.56 c #Conflicts: 676000 | #Constraints: 46255
2943.02/2950.56 c #Conflicts: 677000 | #Constraints: 47255
2943.02/2950.56 c #Conflicts: 678000 | #Constraints: 48255
2943.02/2950.56 c #Conflicts: 679000 | #Constraints: 49255
2943.02/2950.56 c #Conflicts: 680000 | #Constraints: 50255
2943.02/2950.56 c #Conflicts: 681000 | #Constraints: 51255
2943.02/2950.56 c #Conflicts: 682000 | #Constraints: 52255
2943.02/2950.56 c #Conflicts: 683000 | #Constraints: 53255
2943.02/2950.56 c #Conflicts: 684000 | #Constraints: 54255
2943.02/2950.56 c #Conflicts: 685000 | #Constraints: 55255
2943.02/2950.56 c #Conflicts: 686000 | #Constraints: 56255
2943.02/2950.56 c #Conflicts: 687000 | #Constraints: 57255
2943.02/2950.56 c #Conflicts: 688000 | #Constraints: 58255
2943.02/2950.56 c INPROCESSING
2943.02/2950.56 c GARBAGE COLLECT
2943.02/2950.56 c #Conflicts: 689000 | #Constraints: 42849
2943.02/2950.56 c #Conflicts: 690000 | #Constraints: 43849
2943.02/2950.56 c #Conflicts: 691000 | #Constraints: 44849
2943.02/2950.56 c #Conflicts: 692000 | #Constraints: 45849
2943.02/2950.56 c #Conflicts: 693000 | #Constraints: 46849
2943.02/2950.56 c #Conflicts: 694000 | #Constraints: 47849
2943.02/2950.56 c #Conflicts: 695000 | #Constraints: 48849
2943.02/2950.56 c #Conflicts: 696000 | #Constraints: 49849
2943.02/2950.56 c #Conflicts: 697000 | #Constraints: 50849
2943.02/2950.56 c #Conflicts: 698000 | #Constraints: 51849
2943.02/2950.56 c #Conflicts: 699000 | #Constraints: 52849
2943.02/2950.56 c #Conflicts: 700000 | #Constraints: 53849
2943.02/2950.56 c #Conflicts: 701000 | #Constraints: 54849
2943.02/2950.56 c #Conflicts: 702000 | #Constraints: 55849
2943.02/2950.56 c #Conflicts: 703000 | #Constraints: 56849
2943.02/2950.56 c #Conflicts: 704000 | #Constraints: 57849
2943.02/2950.56 c #Conflicts: 705000 | #Constraints: 58849
2943.02/2950.56 c INPROCESSING
2943.02/2950.56 c GARBAGE COLLECT
2943.02/2950.56 c #Conflicts: 706000 | #Constraints: 43253
2943.02/2950.56 c #Conflicts: 707000 | #Constraints: 44253
2943.02/2950.56 c #Conflicts: 708000 | #Constraints: 45253
2943.02/2950.56 c #Conflicts: 709000 | #Constraints: 46253
2943.02/2950.56 c #Conflicts: 710000 | #Constraints: 47253
2943.02/2950.56 c #Conflicts: 711000 | #Constraints: 48253
2943.02/2950.56 c #Conflicts: 712000 | #Constraints: 49253
2943.02/2950.56 c #Conflicts: 713000 | #Constraints: 50253
2943.02/2950.56 c #Conflicts: 714000 | #Constraints: 51253
2943.02/2950.56 c #Conflicts: 715000 | #Constraints: 52253
2943.02/2950.56 c #Conflicts: 716000 | #Constraints: 53253
2943.02/2950.56 c #Conflicts: 717000 | #Constraints: 54253
2943.02/2950.56 c #Conflicts: 718000 | #Constraints: 55253
2943.02/2950.56 c #Conflicts: 719000 | #Constraints: 56253
2943.02/2950.56 c #Conflicts: 720000 | #Constraints: 57253
3446.62/3455.57 c #Conflicts: 721000 | #Constraints: 58253
3446.62/3455.57 c #Conflicts: 722000 | #Constraints: 59253
3446.62/3455.57 c INPROCESSING
3446.62/3455.57 c GARBAGE COLLECT
3446.62/3455.57 c #Conflicts: 723000 | #Constraints: 43453
3446.62/3455.57 c #Conflicts: 724000 | #Constraints: 44453
3446.62/3455.57 c #Conflicts: 725000 | #Constraints: 45453
3446.62/3455.57 c #Conflicts: 726000 | #Constraints: 46453
3446.62/3455.57 c #Conflicts: 727000 | #Constraints: 47453
3446.62/3455.57 c #Conflicts: 728000 | #Constraints: 48453
3446.62/3455.57 c #Conflicts: 729000 | #Constraints: 49453
3446.62/3455.57 c #Conflicts: 730000 | #Constraints: 50453
3446.62/3455.57 c #Conflicts: 731000 | #Constraints: 51453
3446.62/3455.57 c #Conflicts: 732000 | #Constraints: 52453
3446.62/3455.57 c #Conflicts: 733000 | #Constraints: 53453
3446.62/3455.57 c #Conflicts: 734000 | #Constraints: 54453
3446.62/3455.57 c #Conflicts: 735000 | #Constraints: 55453
3446.62/3455.57 c #Conflicts: 736000 | #Constraints: 56453
3446.62/3455.57 c #Conflicts: 737000 | #Constraints: 57453
3446.62/3455.57 c #Conflicts: 738000 | #Constraints: 58453
3446.62/3455.57 c #Conflicts: 739000 | #Constraints: 59453
3446.62/3455.57 c INPROCESSING
3446.62/3455.57 c GARBAGE COLLECT
3446.62/3455.57 c #Conflicts: 740000 | #Constraints: 43459
3446.62/3455.57 c #Conflicts: 741000 | #Constraints: 44459
3446.62/3455.57 c #Conflicts: 742000 | #Constraints: 45459
3446.62/3455.57 c #Conflicts: 743000 | #Constraints: 46459
3446.62/3455.57 c #Conflicts: 744000 | #Constraints: 47459
3446.62/3455.57 c #Conflicts: 745000 | #Constraints: 48459
3446.62/3455.57 c #Conflicts: 746000 | #Constraints: 49459
3446.62/3455.57 c #Conflicts: 747000 | #Constraints: 50459
3446.62/3455.57 c #Conflicts: 748000 | #Constraints: 51459
3446.62/3455.57 c #Conflicts: 749000 | #Constraints: 52459
3446.62/3455.57 c #Conflicts: 750000 | #Constraints: 53459
3446.62/3455.57 c #Conflicts: 751000 | #Constraints: 54459
3446.62/3455.57 c #Conflicts: 752000 | #Constraints: 55459
3446.62/3455.57 c #Conflicts: 753000 | #Constraints: 56459
3446.62/3455.57 c #Conflicts: 754000 | #Constraints: 57459
3446.62/3455.57 c #Conflicts: 755000 | #Constraints: 58459
3446.62/3455.57 c #Conflicts: 756000 | #Constraints: 59459
3446.62/3455.57 c INPROCESSING
3446.62/3455.57 c GARBAGE COLLECT
3446.62/3455.57 c #Conflicts: 757000 | #Constraints: 43250
3446.62/3455.57 c #Conflicts: 758000 | #Constraints: 44250
3446.62/3455.57 c #Conflicts: 759000 | #Constraints: 45250
3446.62/3455.57 c #Conflicts: 760000 | #Constraints: 46250
3446.62/3455.57 c #Conflicts: 761000 | #Constraints: 47250
3446.62/3455.57 c #Conflicts: 762000 | #Constraints: 48250
3446.62/3455.57 c #Conflicts: 763000 | #Constraints: 49250
3446.62/3455.57 c #Conflicts: 764000 | #Constraints: 50250
3446.62/3455.57 c #Conflicts: 765000 | #Constraints: 51250
3446.62/3455.57 c #Conflicts: 766000 | #Constraints: 52250
3446.62/3455.57 c #Conflicts: 767000 | #Constraints: 53250
3446.62/3455.57 c #Conflicts: 768000 | #Constraints: 54250
3446.62/3455.57 c #Conflicts: 769000 | #Constraints: 55250
3446.62/3455.57 c #Conflicts: 770000 | #Constraints: 56250
3446.62/3455.57 c #Conflicts: 771000 | #Constraints: 57250
3446.62/3455.57 c #Conflicts: 772000 | #Constraints: 58250
3446.62/3455.57 c #Conflicts: 773000 | #Constraints: 59250
3446.62/3455.57 c #Conflicts: 774000 | #Constraints: 60250
3446.62/3455.57 c INPROCESSING
3446.62/3455.57 c GARBAGE COLLECT
3446.62/3455.57 c #Conflicts: 775000 | #Constraints: 43853
3446.62/3455.57 c #Conflicts: 776000 | #Constraints: 44853
3446.62/3455.57 c #Conflicts: 777000 | #Constraints: 45853
3446.62/3455.57 c #Conflicts: 778000 | #Constraints: 46853
3446.62/3455.57 c #Conflicts: 779000 | #Constraints: 47853
3446.62/3455.57 c #Conflicts: 780000 | #Constraints: 48853
3446.62/3455.57 c #Conflicts: 781000 | #Constraints: 49853
3446.62/3455.57 c #Conflicts: 782000 | #Constraints: 50853
3446.62/3455.57 c #Conflicts: 783000 | #Constraints: 51853
3446.62/3455.57 c #Conflicts: 784000 | #Constraints: 52853
3446.62/3455.57 c #Conflicts: 785000 | #Constraints: 53853
3446.62/3455.57 c #Conflicts: 786000 | #Constraints: 54853
3446.62/3455.57 c #Conflicts: 787000 | #Constraints: 55853
3446.62/3455.57 c #Conflicts: 788000 | #Constraints: 56853
3446.62/3455.57 c #Conflicts: 789000 | #Constraints: 57853
3446.62/3455.57 c #Conflicts: 790000 | #Constraints: 58853
3446.62/3455.57 c #Conflicts: 791000 | #Constraints: 59853
3446.62/3455.57 c #Conflicts: 792000 | #Constraints: 60853
3446.62/3455.57 c INPROCESSING
3446.62/3455.57 c GARBAGE COLLECT
3446.62/3455.57 c #Conflicts: 793000 | #Constraints: 44250
3446.62/3455.57 c #Conflicts: 794000 | #Constraints: 45250
3446.62/3455.57 c #Conflicts: 795000 | #Constraints: 46250
3446.62/3455.57 c #Conflicts: 796000 | #Constraints: 47250
3600.05/3609.41 c #Conflicts: 797000 | #Constraints: 48250
3600.05/3609.41 c #Conflicts: 798000 | #Constraints: 49250
3600.05/3609.41 c #Conflicts: 799000 | #Constraints: 50250
3600.05/3609.41 c #Conflicts: 800000 | #Constraints: 51250
3600.05/3609.41 c #Conflicts: 801000 | #Constraints: 52250
3600.05/3609.41 c #Conflicts: 802000 | #Constraints: 53250
3600.05/3609.41 c #Conflicts: 803000 | #Constraints: 54250
3600.05/3609.41 c #Conflicts: 804000 | #Constraints: 55250
3600.05/3609.41 c #Conflicts: 805000 | #Constraints: 56250
3600.05/3609.41 c #Conflicts: 806000 | #Constraints: 57250
3600.05/3609.41 c #Conflicts: 807000 | #Constraints: 58250
3600.05/3609.41 c #Conflicts: 808000 | #Constraints: 59250
3600.05/3609.41 c #Conflicts: 809000 | #Constraints: 60250
3600.05/3609.41 c #Conflicts: 810000 | #Constraints: 61250
3600.05/3609.41 c INPROCESSING
3600.05/3609.41 c GARBAGE COLLECT
3600.05/3609.41 c #Conflicts: 811000 | #Constraints: 44447
3600.05/3609.41 c #Conflicts: 812000 | #Constraints: 45447
3600.05/3609.41 c #Conflicts: 813000 | #Constraints: 46447
3600.05/3609.41 c #Conflicts: 814000 | #Constraints: 47447
3600.05/3609.41 c #Conflicts: 815000 | #Constraints: 48447
3600.05/3609.41 c #Conflicts: 816000 | #Constraints: 49447
3600.05/3609.41 c #Conflicts: 817000 | #Constraints: 50447
3600.05/3609.41 c #Conflicts: 818000 | #Constraints: 51447
3600.05/3609.41 c #Conflicts: 819000 | #Constraints: 52447
3600.05/3609.41 c #Conflicts: 820000 | #Constraints: 53447
3600.05/3609.41 c Program interrupted by user.
3600.05/3609.41 c cpu time 3590.15 s
3600.05/3609.41 c deterministic time 1230153297170 1.23e+12
3600.05/3609.41 c optimization time 54.9462 s
3600.05/3609.41 c total solve time 3235.93 s
3600.05/3609.41 c core-guided solve time 3235.93 s
3600.05/3609.41 c propagation time 2872.75 s
3600.05/3609.41 c conflict analysis time 317.991 s
3600.05/3609.41 c propagations 378029349
3600.05/3609.41 c resolve steps 5200166
3600.05/3609.41 c decisions 8320787
3600.05/3609.41 c conflicts 820671
3600.05/3609.41 c restarts 1778
3600.05/3609.41 c inprocessing phases 81
3600.05/3609.41 c input clauses 25425
3600.05/3609.41 c input cardinalities 38
3600.05/3609.41 c input general constraints 0
3600.05/3609.41 c input average constraint length 11.49
3600.05/3609.41 c input average constraint degree 5.28
3600.05/3609.41 c learned clauses 164361
3600.05/3609.41 c learned cardinalities 74870
3600.05/3609.41 c learned general constraints 581439
3600.05/3609.41 c learned average constraint length 1579.31
3600.05/3609.41 c learned average constraint degree 7964583.14
3600.05/3609.41 c watched constraints 552141
3600.05/3609.41 c counting constraints 29298
3600.05/3609.41 c gcd simplifications 27698
3600.05/3609.41 c detected cardinalities 1797
3600.05/3609.41 c weakened non-implied lits 144618115
3600.05/3609.41 c weakened non-implying lits 50110
3600.05/3609.41 c original variables 11400
3600.05/3609.41 c clausal propagations 189816254
3600.05/3609.41 c cardinality propagations 3301156
3600.05/3609.41 c watched propagations 143336664
3600.05/3609.41 c counting propagations 24781570
3600.05/3609.41 c watch lookups 11933407747
3600.05/3609.41 c watch backjump lookups 8760024393
3600.05/3609.41 c watch checks 1067270981337
3600.05/3609.41 c propagation checks 138366830213
3600.05/3609.41 c constraint additions 3048535975
3600.05/3609.41 c trail pops 387167368
3600.05/3609.41 c formula constraints 22575
3600.05/3609.41 c learned constraints 820670
3600.05/3609.41 c bound constraints 38
3600.05/3609.41 c core-guided constraints 2850
3600.05/3609.41 c encountered formula constraints 4290019
3600.05/3609.41 c encountered learned constraints 1729337
3600.05/3609.41 c encountered bound constraints 3
3600.05/3609.41 c encountered core-guided constraints 1478
3600.05/3609.41 c LP total time 0 s
3600.05/3609.41 c LP solve time 0 s
3600.05/3609.41 c LP constraints added 0
3600.05/3609.41 c LP constraints removed 0
3600.05/3609.41 c LP pivots internal 0
3600.05/3609.41 c LP pivots root 0
3600.05/3609.41 c LP calls 0
3600.05/3609.41 c LP optimalities 0
3600.05/3609.41 c LP no pivot count 0
3600.05/3609.41 c LP infeasibilities 0
3600.05/3609.41 c LP valid Farkas constraints 0
3600.05/3609.41 c LP learned Farkas constraints 0
3600.05/3609.41 c LP basis resets 0
3600.05/3609.41 c LP cycling count 0
3600.05/3609.41 c LP singular count 0
3600.05/3609.41 c LP no primal count 0
3600.05/3609.41 c LP no farkas count 0
3600.05/3609.41 c LP other issue count 0
3600.05/3609.41 c LP Gomory cuts 0
3600.05/3609.41 c LP learned cuts 0
3600.05/3609.41 c LP deleted cuts 0
3600.05/3609.41 c LP encountered Gomory constraints 0
3600.05/3609.41 c LP encountered Farkas constraints 0
3600.05/3609.41 c LP encountered learned Farkas constraints 0
3600.05/3609.41 c CG auxiliary variables introduced 2850
3600.05/3609.41 c CG solutions found 0
3600.05/3609.41 c CG cores constructed 37
3600.05/3609.41 c CG core cardinality constraints returned 0
3600.05/3609.41 c CG unit cores 0
3600.05/3609.41 c CG single cores 37
3600.05/3609.41 c CG blocks removed during cardinality reduction 0
3600.05/3609.41 c CG first core best 0
3600.05/3609.41 c CG decision core best 0
3600.05/3609.41 c CG core reduction tie 0
3600.05/3609.41 c CG core degree average 1.00
3600.05/3609.41 c CG core slack average 74.08
3600.05/3609.41 c CG exhausted 0
3600.05/3609.41 c CG exhaust time 0 s
3600.05/3609.41 c CG trimmed 0
3600.05/3609.41 c CG trim time 0.001433 s
3600.05/3609.41 c CG minimized 0
3600.05/3609.41 c CG minimize time 0 s
3600.05/3609.41 c CG am1 prop time 0.008711 s
3600.05/3609.41 c CG # am1s reformulated 2850
3600.05/3609.41 c CG lower bound derived from am1s 2850
3600.05/3609.41 c CG # clausal cores 37
3600.05/3609.41 c CG # cardinality cores 0
3600.05/3609.41 c CG # pb cores 0
3600.05/3609.41 c CG # pb reforms 0
3600.05/3609.41 c CG # cores discarded because of pb reform 0
3600.05/3609.41 d LOWERBOUND 2887
3600.05/3609.41 d NCORES 37
3600.05/3609.41 d NPBCORES 0
3600.05/3609.41 d NPBREFORM 0
3600.05/3609.41 d NTRIMMED 0
3600.05/3609.41 d NEXHAUSTED 0
3600.05/3609.41 d NAM1S 2850
3600.05/3609.41 d AM1LB 2850
3600.05/3609.41 c [Papilo Statistics]
3600.05/3609.41 c prepro time 0.0218256s
3600.05/3609.41 c # tsx applied 0
3600.05/3609.41 c # tsx conflicts 0
3600.05/3609.41 c # bound changes 0
3600.05/3609.41 c # side changes 0
3600.05/3609.41 c # coef changes 0
3600.05/3609.41 c # rounds 1
3600.05/3609.41 c # deted vars 0
3600.05/3609.41 c # deted constrs 0
3600.05/3609.41 c # consecutive rounds of only bound changes 0
3600.05/3609.41 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: 63708 MiB (61384 MiB free)
memory of node 1: 64465 MiB (62980 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518815-1751535276/watcher-4518815-1751535276 -o /tmp/evaluation-result-4518815-1751535276/solver-4518815-1751535276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70539 --watchdog 3760 mixed-bag HOME/instance-4518815-1751535276.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72947, runsolver pid=72944
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127343628/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=119552 memory=43892 CPUtime=0.08 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 8395 0 0 0 7 1 0 0 20 0 1 0 69205158 122421248 10973 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 29888 10973 3680 2842 0 11582 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 119552 KiB
Current children cumulated memory: 43892 KiB
[startup+0.205587 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127271304/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=180612 memory=104696 CPUtime=0.19 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 23828 0 0 0 16 3 0 0 20 0 1 0 69205158 184946688 26174 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 45153 26174 4032 2842 0 26847 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 180612 KiB
Current children cumulated memory: 104696 KiB
[startup+0.30558 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127263540/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=187264 memory=111568 CPUtime=0.29 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 26715 0 0 0 25 4 0 0 20 0 1 0 69205158 191758336 27892 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 46816 27892 4064 2842 0 28510 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 187264 KiB
Current children cumulated memory: 111568 KiB
[startup+0.700169 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127239348/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=259700 memory=165884 CPUtime=0.67 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 39243 0 0 0 62 5 0 0 20 0 1 0 69205158 265932800 41471 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 64925 41471 4096 2842 0 46619 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 259700 KiB
Current children cumulated memory: 165884 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127202996/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=290036 memory=196860 CPUtime=1.48 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 46997 0 0 0 141 7 0 0 20 0 1 0 69205158 296996864 49215 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 72509 49215 4096 2842 0 54203 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290036 KiB
Current children cumulated memory: 196860 KiB
[startup+3.10535 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127052892/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=427108 memory=333640 CPUtime=3.08 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 82809 0 0 0 295 13 0 0 20 0 1 0 69205158 437358592 83410 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 106777 83410 4256 2842 0 88471 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 427108 KiB
Current children cumulated memory: 333640 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 72948
/proc/meminfo: memFree=127039536/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=433452 memory=342344 CPUtime=6.26 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 84975 0 0 0 613 13 0 0 20 0 1 0 69205158 443854848 85586 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 108363 85586 4256 2842 0 90057 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 433452 KiB
Current children cumulated memory: 342344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 72948
/proc/meminfo: memFree=127007428/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=435288 memory=344904 CPUtime=12.64 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 85625 0 0 0 1251 13 0 0 20 0 1 0 69205158 445734912 86226 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 108822 86226 4288 2842 0 90516 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 435288 KiB
Current children cumulated memory: 344904 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 72948
/proc/meminfo: memFree=126975672/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=435288 memory=345032 CPUtime=25.41 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 85666 0 0 0 2528 13 0 0 20 0 1 0 69205158 445734912 86258 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 108822 86258 4288 2842 0 90516 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 435288 KiB
Current children cumulated memory: 345032 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 72951
/proc/meminfo: memFree=126957924/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=446624 memory=345160 CPUtime=50.95 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 85675 0 0 0 5082 13 0 0 20 0 1 0 69205158 457342976 86290 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 111656 86290 4288 2842 0 93350 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 446624 KiB
Current children cumulated memory: 345160 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 72954
/proc/meminfo: memFree=126873848/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=474928 memory=372152 CPUtime=102.02 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 93858 0 0 0 10187 15 0 0 20 0 1 0 69205158 486326272 93038 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 118732 93038 4288 2842 0 100426 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 474928 KiB
Current children cumulated memory: 372152 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 72956
/proc/meminfo: memFree=126811340/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=477348 memory=372920 CPUtime=161.87 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 94064 0 0 0 16172 15 0 0 20 0 1 0 69205158 488804352 93230 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 119337 93230 4288 2842 0 101031 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 477348 KiB
Current children cumulated memory: 372920 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 72966
/proc/meminfo: memFree=126735024/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=489224 memory=385336 CPUtime=221.72 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 96732 0 0 0 22156 16 0 0 20 0 1 0 69205158 500965376 96334 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 122306 96334 4288 2842 0 104000 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 489224 KiB
Current children cumulated memory: 385336 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 72968
/proc/meminfo: memFree=126701592/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=502400 memory=398776 CPUtime=281.57 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 100049 0 0 0 28140 17 0 0 20 0 1 0 69205158 514457600 99694 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 125600 99694 4352 2842 0 107294 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 502400 KiB
Current children cumulated memory: 398776 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 73105
/proc/meminfo: memFree=126989332/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=605160 memory=477288 CPUtime=341.42 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 103066 0 0 0 34077 65 0 0 20 0 1 0 69205158 619683840 119322 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 151290 119322 4512 2842 0 132984 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 605160 KiB
Current children cumulated memory: 477288 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 73289
/proc/meminfo: memFree=127273392/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=605160 memory=509672 CPUtime=401.26 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 103174 0 0 0 40027 99 0 0 20 0 1 0 69205158 619683840 127418 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 151290 127418 4512 2842 0 132984 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 605160 KiB
Current children cumulated memory: 509672 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 73294
/proc/meminfo: memFree=127149064/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=605160 memory=532200 CPUtime=461.11 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 103225 0 0 0 45971 140 0 0 20 0 1 0 69205158 619683840 133050 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 151290 133050 4512 2842 0 132984 0
################
# More data... #
################
Current children cumulated memory: 851700 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 73423
/proc/meminfo: memFree=126418712/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1118780 memory=852980 CPUtime=2855.05 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 120538 0 0 0 284660 845 0 0 20 0 1 0 69205158 1145630720 213245 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 279695 213245 4512 2842 0 261389 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 1118780 KiB
Current children cumulated memory: 852980 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 73425
/proc/meminfo: memFree=126418576/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1118780 memory=852980 CPUtime=2914.9 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 120538 0 0 0 290637 853 0 0 20 0 1 0 69205158 1145630720 213245 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 279695 213245 4512 2842 0 261389 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 1118780 KiB
Current children cumulated memory: 852980 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73426
/proc/meminfo: memFree=126418440/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1119552 memory=854004 CPUtime=2974.73 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 120787 0 0 0 296615 858 0 0 20 0 1 0 69205158 1146421248 213501 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 279888 213501 4512 2842 0 261582 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 1119552 KiB
Current children cumulated memory: 854004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 73429
/proc/meminfo: memFree=126417808/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1119552 memory=854004 CPUtime=3034.59 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 120787 0 0 0 302594 865 0 0 20 0 1 0 69205158 1146421248 213501 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 279888 213501 4512 2842 0 261582 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 1119552 KiB
Current children cumulated memory: 854004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 73431
/proc/meminfo: memFree=126417844/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1119732 memory=854132 CPUtime=3094.43 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 120828 0 0 0 308574 869 0 0 20 0 1 0 69205158 1146605568 213533 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 279933 213533 4512 2842 0 261627 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 1119732 KiB
Current children cumulated memory: 854132 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 73434
/proc/meminfo: memFree=126409432/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1124212 memory=857076 CPUtime=3154.26 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 121572 0 0 0 314554 872 0 0 20 0 1 0 69205158 1151193088 214269 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 281053 214269 4512 2842 0 262747 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 1124212 KiB
Current children cumulated memory: 857076 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 73436
/proc/meminfo: memFree=126380256/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1125440 memory=858228 CPUtime=3214.11 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 121987 0 0 0 320527 884 0 0 20 0 1 0 69205158 1152450560 214557 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 281360 214557 4512 2842 0 263054 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 1125440 KiB
Current children cumulated memory: 858228 KiB
[startup+3282.3 s]
/proc/loadavg: 3.67 4.00 4.05 4/259 73474
/proc/meminfo: memFree=126738480/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1126468 memory=859252 CPUtime=3273.94 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 122501 0 0 0 326488 906 0 0 20 0 1 0 69205158 1153503232 214813 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 281617 214813 4512 2842 0 263311 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 1126468 KiB
Current children cumulated memory: 859252 KiB
[startup+3342.3 s]
/proc/loadavg: 3.29 3.83 3.99 4/259 73477
/proc/meminfo: memFree=126716764/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1129796 memory=872332 CPUtime=3333.75 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 123217 0 0 0 332452 923 0 0 20 0 1 0 69205158 1156911104 218083 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 282449 218083 4512 2842 0 264143 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 1129796 KiB
Current children cumulated memory: 872332 KiB
[startup+3402.3 s]
/proc/loadavg: 3.21 3.70 3.94 4/259 73480
/proc/meminfo: memFree=126708312/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1129796 memory=872332 CPUtime=3393.58 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 123222 0 0 0 338424 934 0 0 20 0 1 0 69205158 1156911104 218083 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 282449 218083 4512 2842 0 264143 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 1129796 KiB
Current children cumulated memory: 872332 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.59 3.88 4/258 73484
/proc/meminfo: memFree=126679032/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1132100 memory=880188 CPUtime=3453.39 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 123674 0 0 0 344387 952 0 0 20 0 1 0 69205158 1159270400 220047 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 283025 220047 4512 2842 0 264719 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 1132100 KiB
Current children cumulated memory: 880188 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.51 3.83 4/258 73486
/proc/meminfo: memFree=126680188/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1133172 memory=880956 CPUtime=3513.21 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 123842 0 0 0 350352 969 0 0 20 0 1 0 69205158 1160368128 220239 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 283293 220239 4512 2842 0 264987 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 1133172 KiB
Current children cumulated memory: 880956 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.43 3.79 4/258 73488
/proc/meminfo: memFree=126638720/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1148012 memory=922628 CPUtime=3573.03 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 126089 0 0 0 356317 986 0 0 20 0 1 0 69205158 1175564288 230657 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 287003 230657 4512 2842 0 268697 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 1148012 KiB
Current children cumulated memory: 922628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 3.15 3.41 3.77 4/258 73490
/proc/meminfo: memFree=126639516/131250000 swapFree=33007332/33010684
[pid=72947] ppid=72944 vsize=1148012 memory=922628 CPUtime=3600.05 cores=1,3
/proc/72947/stat : 72947 (mixed-bag) R 72944 72947 70527 0 -1 4194304 126090 0 0 0 359013 992 0 0 20 0 1 0 69205158 1175564288 230657 18446744073709551615 4235264 15874749 140731053377824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45928448 140731053382044 140731053382121 140731053382121 140731053387723 0
/proc/72947/statm: 287003 230657 4512 2842 0 268697 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1148012 KiB
Current children cumulated memory: 922628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 72947 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.15 s, system=9.92805 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.42
CPU time (s): 3600.08
CPU user time (s): 3590.15
CPU system time (s): 9.92805
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 1148012
Max. memory (cumulated for all children) (KiB): 922628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.15
system time used= 9.92805
maximum resident set size= 923268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126121
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= 223
involuntary context switches= 5608
# summary of solver processes directly reported to runsolver:
# pid: 72947
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.15
# total CPU system time (s): 9.92805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87382 second user time and 15.3423 second system time
The end
Begin job on nodeC019 at 2025-07-03 11:34:36
IDJOB=4518815
IDBENCH=177101
IDSOLVER=3340
FILE ID=nodeC019/4518815-1751535276
RUNJOBID= nodeC019-1751527683-70539
SLURM_JOB_ID= 9598661
Free space on /tmp= 431596 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebvc/normalized-comppebvc_opt_75.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518815-1751535276/watcher-4518815-1751535276 -o /tmp/evaluation-result-4518815-1751535276/solver-4518815-1751535276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70539 --watchdog 3760 mixed-bag HOME/instance-4518815-1751535276.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 54c9cb8452a5bc0fdf8cdacd374d003e
RANDOM SEED=1297292948
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.692
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.705
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.674
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.466
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.406
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127349528 kB
MemAvailable: 128975768 kB
Buffers: 904 kB
Cached: 2429004 kB
SwapCached: 440 kB
Active: 982572 kB
Inactive: 2283392 kB
Active(anon): 823512 kB
Inactive(anon): 27736 kB
Active(file): 159060 kB
Inactive(file): 2255656 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23612 kB
Writeback: 32 kB
AnonPages: 836224 kB
Mapped: 139228 kB
Shmem: 15192 kB
KReclaimable: 101524 kB
Slab: 190336 kB
SReclaimable: 101524 kB
SUnreclaim: 88812 kB
KernelStack: 4256 kB
PageTables: 4964 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1231404 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 661504 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431596 MiB
End job on nodeC019 at 2025-07-03 12:34:46