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.09/0.20 c [STEP] preprocessing with Papilo
0.19/0.28 c Papilo could not simplify the problem
0.19/0.28 c [STEP] solving with SCIP
299.48/300.46 c [STEP] preprocessing done, loading into solver
299.59/300.50 c [STEP] solving
299.59/300.50 c #variables 11401 #constraints 22575
299.59/300.50 c SMALL=int, LARGE=long long
299.59/300.50 d SCIPUB 2889
299.59/300.50 c bounds - >= 0 @ 299.353
299.59/300.50 c stratification level: 0
381.42/382.67 c bounds - >= 2851 @ 299.395
381.42/382.67 c bounds - >= 2852 @ 299.438
381.42/382.67 c bounds - >= 2853 @ 299.439
381.42/382.67 c bounds - >= 2854 @ 299.441
381.42/382.67 c bounds - >= 2855 @ 299.443
381.42/382.67 c bounds - >= 2856 @ 299.444
381.42/382.67 c bounds - >= 2857 @ 299.447
381.42/382.67 c bounds - >= 2858 @ 299.45
381.42/382.67 c bounds - >= 2859 @ 299.453
381.42/382.67 c bounds - >= 2860 @ 299.456
381.42/382.67 c bounds - >= 2861 @ 299.458
381.42/382.67 c bounds - >= 2862 @ 299.459
381.42/382.67 c bounds - >= 2863 @ 299.461
381.42/382.67 c bounds - >= 2864 @ 299.461
381.42/382.67 c bounds - >= 2865 @ 299.463
381.42/382.67 c bounds - >= 2866 @ 299.464
381.42/382.67 c bounds - >= 2867 @ 299.465
381.42/382.67 c bounds - >= 2868 @ 299.467
381.42/382.67 c bounds - >= 2869 @ 299.468
381.42/382.67 c bounds - >= 2870 @ 299.47
381.42/382.67 c bounds - >= 2871 @ 299.471
381.42/382.67 c bounds - >= 2872 @ 299.472
381.42/382.67 c bounds - >= 2873 @ 299.473
381.42/382.67 c bounds - >= 2874 @ 299.474
381.42/382.67 c bounds - >= 2875 @ 299.475
381.42/382.67 c bounds - >= 2876 @ 299.476
381.42/382.67 c bounds - >= 2877 @ 299.477
381.42/382.67 c bounds - >= 2878 @ 299.478
381.42/382.67 c bounds - >= 2879 @ 299.479
381.42/382.67 c bounds - >= 2880 @ 299.48
381.42/382.67 c bounds - >= 2881 @ 299.482
381.42/382.67 c bounds - >= 2882 @ 299.482
381.42/382.67 c bounds - >= 2883 @ 299.483
381.42/382.67 c bounds - >= 2884 @ 299.484
381.42/382.67 c bounds - >= 2885 @ 299.485
381.42/382.67 c bounds - >= 2886 @ 299.486
381.42/382.67 c bounds - >= 2887 @ 299.487
381.42/382.67 c #Conflicts: 1000 | #Constraints: 26462
381.42/382.67 c #Conflicts: 2000 | #Constraints: 27462
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 3000 | #Constraints: 27659
381.42/382.67 c #Conflicts: 4000 | #Constraints: 28659
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 5000 | #Constraints: 28339
381.42/382.67 c #Conflicts: 6000 | #Constraints: 29339
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 7000 | #Constraints: 28429
381.42/382.67 c #Conflicts: 8000 | #Constraints: 29429
381.42/382.67 c #Conflicts: 9000 | #Constraints: 30429
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 10000 | #Constraints: 28931
381.42/382.67 c #Conflicts: 11000 | #Constraints: 29931
381.42/382.67 c #Conflicts: 12000 | #Constraints: 30931
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 13000 | #Constraints: 29576
381.42/382.67 c #Conflicts: 14000 | #Constraints: 30576
381.42/382.67 c #Conflicts: 15000 | #Constraints: 31576
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 16000 | #Constraints: 29809
381.42/382.67 c #Conflicts: 17000 | #Constraints: 30809
381.42/382.67 c #Conflicts: 18000 | #Constraints: 31809
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 19000 | #Constraints: 29827
381.42/382.67 c #Conflicts: 20000 | #Constraints: 30827
381.42/382.67 c #Conflicts: 21000 | #Constraints: 31827
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 22000 | #Constraints: 29603
381.42/382.67 c #Conflicts: 23000 | #Constraints: 30603
381.42/382.67 c #Conflicts: 24000 | #Constraints: 31603
381.42/382.67 c #Conflicts: 25000 | #Constraints: 32603
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 26000 | #Constraints: 30173
381.42/382.67 c #Conflicts: 27000 | #Constraints: 31173
381.42/382.67 c #Conflicts: 28000 | #Constraints: 32173
381.42/382.67 c #Conflicts: 29000 | #Constraints: 33173
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 30000 | #Constraints: 30547
381.42/382.67 c #Conflicts: 31000 | #Constraints: 31547
381.42/382.67 c #Conflicts: 32000 | #Constraints: 32547
381.42/382.67 c #Conflicts: 33000 | #Constraints: 33547
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 34000 | #Constraints: 30720
381.42/382.67 c #Conflicts: 35000 | #Constraints: 31720
381.42/382.67 c #Conflicts: 36000 | #Constraints: 32720
381.42/382.67 c #Conflicts: 37000 | #Constraints: 33720
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 38000 | #Constraints: 30711
381.42/382.67 c #Conflicts: 39000 | #Constraints: 31711
381.42/382.67 c #Conflicts: 40000 | #Constraints: 32711
381.42/382.67 c #Conflicts: 41000 | #Constraints: 33711
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 42000 | #Constraints: 30509
381.42/382.67 c #Conflicts: 43000 | #Constraints: 31509
381.42/382.67 c #Conflicts: 44000 | #Constraints: 32509
381.42/382.67 c #Conflicts: 45000 | #Constraints: 33509
381.42/382.67 c #Conflicts: 46000 | #Constraints: 34509
381.42/382.67 c INPROCESSING
381.42/382.67 c GARBAGE COLLECT
381.42/382.67 c #Conflicts: 47000 | #Constraints: 31103
381.42/382.67 c #Conflicts: 48000 | #Constraints: 32103
381.42/382.67 c #Conflicts: 49000 | #Constraints: 33103
381.42/382.67 c #Conflicts: 50000 | #Constraints: 34103
491.91/493.40 c #Conflicts: 51000 | #Constraints: 35103
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 52000 | #Constraints: 31480
491.91/493.40 c #Conflicts: 53000 | #Constraints: 32480
491.91/493.40 c #Conflicts: 54000 | #Constraints: 33480
491.91/493.40 c #Conflicts: 55000 | #Constraints: 34480
491.91/493.40 c #Conflicts: 56000 | #Constraints: 35480
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 57000 | #Constraints: 31667
491.91/493.40 c #Conflicts: 58000 | #Constraints: 32667
491.91/493.40 c #Conflicts: 59000 | #Constraints: 33667
491.91/493.40 c #Conflicts: 60000 | #Constraints: 34667
491.91/493.40 c #Conflicts: 61000 | #Constraints: 35667
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 62000 | #Constraints: 31666
491.91/493.40 c #Conflicts: 63000 | #Constraints: 32666
491.91/493.40 c #Conflicts: 64000 | #Constraints: 33666
491.91/493.40 c #Conflicts: 65000 | #Constraints: 34666
491.91/493.40 c #Conflicts: 66000 | #Constraints: 35666
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 67000 | #Constraints: 31455
491.91/493.40 c #Conflicts: 68000 | #Constraints: 32455
491.91/493.40 c #Conflicts: 69000 | #Constraints: 33455
491.91/493.40 c #Conflicts: 70000 | #Constraints: 34455
491.91/493.40 c #Conflicts: 71000 | #Constraints: 35455
491.91/493.40 c #Conflicts: 72000 | #Constraints: 36455
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 73000 | #Constraints: 32048
491.91/493.40 c #Conflicts: 74000 | #Constraints: 33048
491.91/493.40 c #Conflicts: 75000 | #Constraints: 34048
491.91/493.40 c #Conflicts: 76000 | #Constraints: 35048
491.91/493.40 c #Conflicts: 77000 | #Constraints: 36048
491.91/493.40 c #Conflicts: 78000 | #Constraints: 37048
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 79000 | #Constraints: 32436
491.91/493.40 c #Conflicts: 80000 | #Constraints: 33436
491.91/493.40 c #Conflicts: 81000 | #Constraints: 34436
491.91/493.40 c #Conflicts: 82000 | #Constraints: 35436
491.91/493.40 c #Conflicts: 83000 | #Constraints: 36436
491.91/493.40 c #Conflicts: 84000 | #Constraints: 37436
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 85000 | #Constraints: 32630
491.91/493.40 c #Conflicts: 86000 | #Constraints: 33630
491.91/493.40 c #Conflicts: 87000 | #Constraints: 34630
491.91/493.40 c #Conflicts: 88000 | #Constraints: 35630
491.91/493.40 c #Conflicts: 89000 | #Constraints: 36630
491.91/493.40 c #Conflicts: 90000 | #Constraints: 37630
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 91000 | #Constraints: 32639
491.91/493.40 c #Conflicts: 92000 | #Constraints: 33639
491.91/493.40 c #Conflicts: 93000 | #Constraints: 34639
491.91/493.40 c #Conflicts: 94000 | #Constraints: 35639
491.91/493.40 c #Conflicts: 95000 | #Constraints: 36639
491.91/493.40 c #Conflicts: 96000 | #Constraints: 37639
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 97000 | #Constraints: 32440
491.91/493.40 c #Conflicts: 98000 | #Constraints: 33440
491.91/493.40 c #Conflicts: 99000 | #Constraints: 34440
491.91/493.40 c #Conflicts: 100000 | #Constraints: 35440
491.91/493.40 c #Conflicts: 101000 | #Constraints: 36440
491.91/493.40 c #Conflicts: 102000 | #Constraints: 37440
491.91/493.40 c #Conflicts: 103000 | #Constraints: 38440
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 104000 | #Constraints: 33040
491.91/493.40 c #Conflicts: 105000 | #Constraints: 34040
491.91/493.40 c #Conflicts: 106000 | #Constraints: 35040
491.91/493.40 c #Conflicts: 107000 | #Constraints: 36040
491.91/493.40 c #Conflicts: 108000 | #Constraints: 37040
491.91/493.40 c #Conflicts: 109000 | #Constraints: 38040
491.91/493.40 c #Conflicts: 110000 | #Constraints: 39040
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 111000 | #Constraints: 33424
491.91/493.40 c #Conflicts: 112000 | #Constraints: 34424
491.91/493.40 c #Conflicts: 113000 | #Constraints: 35424
491.91/493.40 c #Conflicts: 114000 | #Constraints: 36424
491.91/493.40 c #Conflicts: 115000 | #Constraints: 37424
491.91/493.40 c #Conflicts: 116000 | #Constraints: 38424
491.91/493.40 c #Conflicts: 117000 | #Constraints: 39424
491.91/493.40 c INPROCESSING
491.91/493.40 c GARBAGE COLLECT
491.91/493.40 c #Conflicts: 118000 | #Constraints: 33620
491.91/493.40 c #Conflicts: 119000 | #Constraints: 34620
491.91/493.40 c #Conflicts: 120000 | #Constraints: 35620
491.91/493.40 c #Conflicts: 121000 | #Constraints: 36620
661.55/663.55 c #Conflicts: 122000 | #Constraints: 37620
661.55/663.55 c #Conflicts: 123000 | #Constraints: 38620
661.55/663.55 c #Conflicts: 124000 | #Constraints: 39620
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 125000 | #Constraints: 33632
661.55/663.55 c #Conflicts: 126000 | #Constraints: 34632
661.55/663.55 c #Conflicts: 127000 | #Constraints: 35632
661.55/663.55 c #Conflicts: 128000 | #Constraints: 36632
661.55/663.55 c #Conflicts: 129000 | #Constraints: 37632
661.55/663.55 c #Conflicts: 130000 | #Constraints: 38632
661.55/663.55 c #Conflicts: 131000 | #Constraints: 39632
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 132000 | #Constraints: 33426
661.55/663.55 c #Conflicts: 133000 | #Constraints: 34426
661.55/663.55 c #Conflicts: 134000 | #Constraints: 35426
661.55/663.55 c #Conflicts: 135000 | #Constraints: 36426
661.55/663.55 c #Conflicts: 136000 | #Constraints: 37426
661.55/663.55 c #Conflicts: 137000 | #Constraints: 38426
661.55/663.55 c #Conflicts: 138000 | #Constraints: 39426
661.55/663.55 c #Conflicts: 139000 | #Constraints: 40426
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 140000 | #Constraints: 34019
661.55/663.55 c #Conflicts: 141000 | #Constraints: 35019
661.55/663.55 c #Conflicts: 142000 | #Constraints: 36019
661.55/663.55 c #Conflicts: 143000 | #Constraints: 37019
661.55/663.55 c #Conflicts: 144000 | #Constraints: 38019
661.55/663.55 c #Conflicts: 145000 | #Constraints: 39019
661.55/663.55 c #Conflicts: 146000 | #Constraints: 40019
661.55/663.55 c #Conflicts: 147000 | #Constraints: 41019
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 148000 | #Constraints: 34433
661.55/663.55 c #Conflicts: 149000 | #Constraints: 35433
661.55/663.55 c #Conflicts: 150000 | #Constraints: 36433
661.55/663.55 c #Conflicts: 151000 | #Constraints: 37433
661.55/663.55 c #Conflicts: 152000 | #Constraints: 38433
661.55/663.55 c #Conflicts: 153000 | #Constraints: 39433
661.55/663.55 c #Conflicts: 154000 | #Constraints: 40433
661.55/663.55 c #Conflicts: 155000 | #Constraints: 41433
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 156000 | #Constraints: 34679
661.55/663.55 c #Conflicts: 157000 | #Constraints: 35679
661.55/663.55 c #Conflicts: 158000 | #Constraints: 36679
661.55/663.55 c #Conflicts: 159000 | #Constraints: 37679
661.55/663.55 c #Conflicts: 160000 | #Constraints: 38679
661.55/663.55 c #Conflicts: 161000 | #Constraints: 39679
661.55/663.55 c #Conflicts: 162000 | #Constraints: 40679
661.55/663.55 c #Conflicts: 163000 | #Constraints: 41679
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 164000 | #Constraints: 34677
661.55/663.55 c #Conflicts: 165000 | #Constraints: 35677
661.55/663.55 c #Conflicts: 166000 | #Constraints: 36677
661.55/663.55 c #Conflicts: 167000 | #Constraints: 37677
661.55/663.55 c #Conflicts: 168000 | #Constraints: 38677
661.55/663.55 c #Conflicts: 169000 | #Constraints: 39677
661.55/663.55 c #Conflicts: 170000 | #Constraints: 40677
661.55/663.55 c #Conflicts: 171000 | #Constraints: 41677
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 172000 | #Constraints: 34474
661.55/663.55 c #Conflicts: 173000 | #Constraints: 35474
661.55/663.55 c #Conflicts: 174000 | #Constraints: 36474
661.55/663.55 c #Conflicts: 175000 | #Constraints: 37474
661.55/663.55 c #Conflicts: 176000 | #Constraints: 38474
661.55/663.55 c #Conflicts: 177000 | #Constraints: 39474
661.55/663.55 c #Conflicts: 178000 | #Constraints: 40474
661.55/663.55 c #Conflicts: 179000 | #Constraints: 41474
661.55/663.55 c #Conflicts: 180000 | #Constraints: 42474
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 181000 | #Constraints: 35059
661.55/663.55 c #Conflicts: 182000 | #Constraints: 36059
661.55/663.55 c #Conflicts: 183000 | #Constraints: 37059
661.55/663.55 c #Conflicts: 184000 | #Constraints: 38059
661.55/663.55 c #Conflicts: 185000 | #Constraints: 39059
661.55/663.55 c #Conflicts: 186000 | #Constraints: 40059
661.55/663.55 c #Conflicts: 187000 | #Constraints: 41059
661.55/663.55 c #Conflicts: 188000 | #Constraints: 42059
661.55/663.55 c #Conflicts: 189000 | #Constraints: 43059
661.55/663.55 c INPROCESSING
661.55/663.55 c GARBAGE COLLECT
661.55/663.55 c #Conflicts: 190000 | #Constraints: 35460
661.55/663.55 c #Conflicts: 191000 | #Constraints: 36460
661.55/663.55 c #Conflicts: 192000 | #Constraints: 37460
661.55/663.55 c #Conflicts: 193000 | #Constraints: 38460
661.55/663.55 c #Conflicts: 194000 | #Constraints: 39460
791.52/793.83 c #Conflicts: 195000 | #Constraints: 40460
791.52/793.83 c #Conflicts: 196000 | #Constraints: 41460
791.52/793.83 c #Conflicts: 197000 | #Constraints: 42460
791.52/793.83 c #Conflicts: 198000 | #Constraints: 43460
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 199000 | #Constraints: 35656
791.52/793.83 c #Conflicts: 200000 | #Constraints: 36656
791.52/793.83 c #Conflicts: 201000 | #Constraints: 37656
791.52/793.83 c #Conflicts: 202000 | #Constraints: 38656
791.52/793.83 c #Conflicts: 203000 | #Constraints: 39656
791.52/793.83 c #Conflicts: 204000 | #Constraints: 40656
791.52/793.83 c #Conflicts: 205000 | #Constraints: 41656
791.52/793.83 c #Conflicts: 206000 | #Constraints: 42656
791.52/793.83 c #Conflicts: 207000 | #Constraints: 43656
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 208000 | #Constraints: 35659
791.52/793.83 c #Conflicts: 209000 | #Constraints: 36659
791.52/793.83 c #Conflicts: 210000 | #Constraints: 37659
791.52/793.83 c #Conflicts: 211000 | #Constraints: 38659
791.52/793.83 c #Conflicts: 212000 | #Constraints: 39659
791.52/793.83 c #Conflicts: 213000 | #Constraints: 40659
791.52/793.83 c #Conflicts: 214000 | #Constraints: 41659
791.52/793.83 c #Conflicts: 215000 | #Constraints: 42659
791.52/793.83 c #Conflicts: 216000 | #Constraints: 43659
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 217000 | #Constraints: 35467
791.52/793.83 c #Conflicts: 218000 | #Constraints: 36467
791.52/793.83 c #Conflicts: 219000 | #Constraints: 37467
791.52/793.83 c #Conflicts: 220000 | #Constraints: 38467
791.52/793.83 c #Conflicts: 221000 | #Constraints: 39467
791.52/793.83 c #Conflicts: 222000 | #Constraints: 40467
791.52/793.83 c #Conflicts: 223000 | #Constraints: 41467
791.52/793.83 c #Conflicts: 224000 | #Constraints: 42467
791.52/793.83 c #Conflicts: 225000 | #Constraints: 43467
791.52/793.83 c #Conflicts: 226000 | #Constraints: 44467
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 227000 | #Constraints: 36077
791.52/793.83 c #Conflicts: 228000 | #Constraints: 37077
791.52/793.83 c #Conflicts: 229000 | #Constraints: 38077
791.52/793.83 c #Conflicts: 230000 | #Constraints: 39077
791.52/793.83 c #Conflicts: 231000 | #Constraints: 40077
791.52/793.83 c #Conflicts: 232000 | #Constraints: 41077
791.52/793.83 c #Conflicts: 233000 | #Constraints: 42077
791.52/793.83 c #Conflicts: 234000 | #Constraints: 43077
791.52/793.83 c #Conflicts: 235000 | #Constraints: 44077
791.52/793.83 c #Conflicts: 236000 | #Constraints: 45077
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 237000 | #Constraints: 36473
791.52/793.83 c #Conflicts: 238000 | #Constraints: 37473
791.52/793.83 c #Conflicts: 239000 | #Constraints: 38473
791.52/793.83 c #Conflicts: 240000 | #Constraints: 39473
791.52/793.83 c #Conflicts: 241000 | #Constraints: 40473
791.52/793.83 c #Conflicts: 242000 | #Constraints: 41473
791.52/793.83 c #Conflicts: 243000 | #Constraints: 42473
791.52/793.83 c #Conflicts: 244000 | #Constraints: 43473
791.52/793.83 c #Conflicts: 245000 | #Constraints: 44473
791.52/793.83 c #Conflicts: 246000 | #Constraints: 45473
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 247000 | #Constraints: 36663
791.52/793.83 c #Conflicts: 248000 | #Constraints: 37663
791.52/793.83 c #Conflicts: 249000 | #Constraints: 38663
791.52/793.83 c #Conflicts: 250000 | #Constraints: 39663
791.52/793.83 c #Conflicts: 251000 | #Constraints: 40663
791.52/793.83 c #Conflicts: 252000 | #Constraints: 41663
791.52/793.83 c #Conflicts: 253000 | #Constraints: 42663
791.52/793.83 c #Conflicts: 254000 | #Constraints: 43663
791.52/793.83 c #Conflicts: 255000 | #Constraints: 44663
791.52/793.83 c #Conflicts: 256000 | #Constraints: 45663
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 257000 | #Constraints: 36660
791.52/793.83 c #Conflicts: 258000 | #Constraints: 37660
791.52/793.83 c #Conflicts: 259000 | #Constraints: 38660
791.52/793.83 c #Conflicts: 260000 | #Constraints: 39660
791.52/793.83 c #Conflicts: 261000 | #Constraints: 40660
791.52/793.83 c #Conflicts: 262000 | #Constraints: 41660
791.52/793.83 c #Conflicts: 263000 | #Constraints: 42660
791.52/793.83 c #Conflicts: 264000 | #Constraints: 43660
791.52/793.83 c #Conflicts: 265000 | #Constraints: 44660
791.52/793.83 c #Conflicts: 266000 | #Constraints: 45660
791.52/793.83 c INPROCESSING
791.52/793.83 c GARBAGE COLLECT
791.52/793.83 c #Conflicts: 267000 | #Constraints: 36459
791.52/793.83 c #Conflicts: 268000 | #Constraints: 37459
990.58/993.54 c #Conflicts: 269000 | #Constraints: 38459
990.58/993.54 c #Conflicts: 270000 | #Constraints: 39459
990.58/993.54 c #Conflicts: 271000 | #Constraints: 40459
990.58/993.54 c #Conflicts: 272000 | #Constraints: 41459
990.58/993.54 c #Conflicts: 273000 | #Constraints: 42459
990.58/993.54 c #Conflicts: 274000 | #Constraints: 43459
990.58/993.54 c #Conflicts: 275000 | #Constraints: 44459
990.58/993.54 c #Conflicts: 276000 | #Constraints: 45459
990.58/993.54 c #Conflicts: 277000 | #Constraints: 46459
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 278000 | #Constraints: 37058
990.58/993.54 c #Conflicts: 279000 | #Constraints: 38058
990.58/993.54 c #Conflicts: 280000 | #Constraints: 39058
990.58/993.54 c #Conflicts: 281000 | #Constraints: 40058
990.58/993.54 c #Conflicts: 282000 | #Constraints: 41058
990.58/993.54 c #Conflicts: 283000 | #Constraints: 42058
990.58/993.54 c #Conflicts: 284000 | #Constraints: 43058
990.58/993.54 c #Conflicts: 285000 | #Constraints: 44058
990.58/993.54 c #Conflicts: 286000 | #Constraints: 45058
990.58/993.54 c #Conflicts: 287000 | #Constraints: 46058
990.58/993.54 c #Conflicts: 288000 | #Constraints: 47058
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 289000 | #Constraints: 37449
990.58/993.54 c #Conflicts: 290000 | #Constraints: 38449
990.58/993.54 c #Conflicts: 291000 | #Constraints: 39449
990.58/993.54 c #Conflicts: 292000 | #Constraints: 40449
990.58/993.54 c #Conflicts: 293000 | #Constraints: 41449
990.58/993.54 c #Conflicts: 294000 | #Constraints: 42449
990.58/993.54 c #Conflicts: 295000 | #Constraints: 43449
990.58/993.54 c #Conflicts: 296000 | #Constraints: 44449
990.58/993.54 c #Conflicts: 297000 | #Constraints: 45449
990.58/993.54 c #Conflicts: 298000 | #Constraints: 46449
990.58/993.54 c #Conflicts: 299000 | #Constraints: 47449
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 300000 | #Constraints: 37652
990.58/993.54 c #Conflicts: 301000 | #Constraints: 38652
990.58/993.54 c #Conflicts: 302000 | #Constraints: 39652
990.58/993.54 c #Conflicts: 303000 | #Constraints: 40652
990.58/993.54 c #Conflicts: 304000 | #Constraints: 41652
990.58/993.54 c #Conflicts: 305000 | #Constraints: 42652
990.58/993.54 c #Conflicts: 306000 | #Constraints: 43652
990.58/993.54 c #Conflicts: 307000 | #Constraints: 44652
990.58/993.54 c #Conflicts: 308000 | #Constraints: 45652
990.58/993.54 c #Conflicts: 309000 | #Constraints: 46652
990.58/993.54 c #Conflicts: 310000 | #Constraints: 47652
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 311000 | #Constraints: 37639
990.58/993.54 c #Conflicts: 312000 | #Constraints: 38639
990.58/993.54 c #Conflicts: 313000 | #Constraints: 39639
990.58/993.54 c #Conflicts: 314000 | #Constraints: 40639
990.58/993.54 c #Conflicts: 315000 | #Constraints: 41639
990.58/993.54 c #Conflicts: 316000 | #Constraints: 42639
990.58/993.54 c #Conflicts: 317000 | #Constraints: 43639
990.58/993.54 c #Conflicts: 318000 | #Constraints: 44639
990.58/993.54 c #Conflicts: 319000 | #Constraints: 45639
990.58/993.54 c #Conflicts: 320000 | #Constraints: 46639
990.58/993.54 c #Conflicts: 321000 | #Constraints: 47639
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 322000 | #Constraints: 37333
990.58/993.54 c #Conflicts: 323000 | #Constraints: 38333
990.58/993.54 c #Conflicts: 324000 | #Constraints: 39333
990.58/993.54 c #Conflicts: 325000 | #Constraints: 40333
990.58/993.54 c #Conflicts: 326000 | #Constraints: 41333
990.58/993.54 c #Conflicts: 327000 | #Constraints: 42333
990.58/993.54 c #Conflicts: 328000 | #Constraints: 43333
990.58/993.54 c #Conflicts: 329000 | #Constraints: 44333
990.58/993.54 c #Conflicts: 330000 | #Constraints: 45333
990.58/993.54 c #Conflicts: 331000 | #Constraints: 46333
990.58/993.54 c #Conflicts: 332000 | #Constraints: 47333
990.58/993.54 c #Conflicts: 333000 | #Constraints: 48333
990.58/993.54 c INPROCESSING
990.58/993.54 c GARBAGE COLLECT
990.58/993.54 c #Conflicts: 334000 | #Constraints: 37923
990.58/993.54 c #Conflicts: 335000 | #Constraints: 38923
990.58/993.54 c #Conflicts: 336000 | #Constraints: 39923
990.58/993.54 c #Conflicts: 337000 | #Constraints: 40923
990.58/993.54 c #Conflicts: 338000 | #Constraints: 41923
990.58/993.54 c #Conflicts: 339000 | #Constraints: 42923
990.58/993.54 c #Conflicts: 340000 | #Constraints: 43923
990.58/993.54 c #Conflicts: 341000 | #Constraints: 44923
990.58/993.54 c #Conflicts: 342000 | #Constraints: 45923
990.58/993.54 c #Conflicts: 343000 | #Constraints: 46923
1272.35/1276.24 c #Conflicts: 344000 | #Constraints: 47923
1272.35/1276.24 c #Conflicts: 345000 | #Constraints: 48923
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 346000 | #Constraints: 38308
1272.35/1276.24 c #Conflicts: 347000 | #Constraints: 39308
1272.35/1276.24 c #Conflicts: 348000 | #Constraints: 40308
1272.35/1276.24 c #Conflicts: 349000 | #Constraints: 41308
1272.35/1276.24 c #Conflicts: 350000 | #Constraints: 42308
1272.35/1276.24 c #Conflicts: 351000 | #Constraints: 43308
1272.35/1276.24 c #Conflicts: 352000 | #Constraints: 44308
1272.35/1276.24 c #Conflicts: 353000 | #Constraints: 45308
1272.35/1276.24 c #Conflicts: 354000 | #Constraints: 46308
1272.35/1276.24 c #Conflicts: 355000 | #Constraints: 47308
1272.35/1276.24 c #Conflicts: 356000 | #Constraints: 48308
1272.35/1276.24 c #Conflicts: 357000 | #Constraints: 49308
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 358000 | #Constraints: 38494
1272.35/1276.24 c #Conflicts: 359000 | #Constraints: 39494
1272.35/1276.24 c #Conflicts: 360000 | #Constraints: 40494
1272.35/1276.24 c #Conflicts: 361000 | #Constraints: 41494
1272.35/1276.24 c #Conflicts: 362000 | #Constraints: 42494
1272.35/1276.24 c #Conflicts: 363000 | #Constraints: 43494
1272.35/1276.24 c #Conflicts: 364000 | #Constraints: 44494
1272.35/1276.24 c #Conflicts: 365000 | #Constraints: 45494
1272.35/1276.24 c #Conflicts: 366000 | #Constraints: 46494
1272.35/1276.24 c #Conflicts: 367000 | #Constraints: 47494
1272.35/1276.24 c #Conflicts: 368000 | #Constraints: 48494
1272.35/1276.24 c #Conflicts: 369000 | #Constraints: 49494
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 370000 | #Constraints: 38483
1272.35/1276.24 c #Conflicts: 371000 | #Constraints: 39483
1272.35/1276.24 c #Conflicts: 372000 | #Constraints: 40483
1272.35/1276.24 c #Conflicts: 373000 | #Constraints: 41483
1272.35/1276.24 c #Conflicts: 374000 | #Constraints: 42483
1272.35/1276.24 c #Conflicts: 375000 | #Constraints: 43483
1272.35/1276.24 c #Conflicts: 376000 | #Constraints: 44483
1272.35/1276.24 c #Conflicts: 377000 | #Constraints: 45483
1272.35/1276.24 c #Conflicts: 378000 | #Constraints: 46483
1272.35/1276.24 c #Conflicts: 379000 | #Constraints: 47483
1272.35/1276.24 c #Conflicts: 380000 | #Constraints: 48483
1272.35/1276.24 c #Conflicts: 381000 | #Constraints: 49483
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 382000 | #Constraints: 38279
1272.35/1276.24 c #Conflicts: 383000 | #Constraints: 39279
1272.35/1276.24 c #Conflicts: 384000 | #Constraints: 40279
1272.35/1276.24 c #Conflicts: 385000 | #Constraints: 41279
1272.35/1276.24 c #Conflicts: 386000 | #Constraints: 42279
1272.35/1276.24 c #Conflicts: 387000 | #Constraints: 43279
1272.35/1276.24 c #Conflicts: 388000 | #Constraints: 44279
1272.35/1276.24 c #Conflicts: 389000 | #Constraints: 45279
1272.35/1276.24 c #Conflicts: 390000 | #Constraints: 46279
1272.35/1276.24 c #Conflicts: 391000 | #Constraints: 47279
1272.35/1276.24 c #Conflicts: 392000 | #Constraints: 48279
1272.35/1276.24 c #Conflicts: 393000 | #Constraints: 49279
1272.35/1276.24 c #Conflicts: 394000 | #Constraints: 50279
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 395000 | #Constraints: 38868
1272.35/1276.24 c #Conflicts: 396000 | #Constraints: 39868
1272.35/1276.24 c #Conflicts: 397000 | #Constraints: 40868
1272.35/1276.24 c #Conflicts: 398000 | #Constraints: 41868
1272.35/1276.24 c #Conflicts: 399000 | #Constraints: 42868
1272.35/1276.24 c #Conflicts: 400000 | #Constraints: 43868
1272.35/1276.24 c #Conflicts: 401000 | #Constraints: 44868
1272.35/1276.24 c #Conflicts: 402000 | #Constraints: 45868
1272.35/1276.24 c #Conflicts: 403000 | #Constraints: 46868
1272.35/1276.24 c #Conflicts: 404000 | #Constraints: 47868
1272.35/1276.24 c #Conflicts: 405000 | #Constraints: 48868
1272.35/1276.24 c #Conflicts: 406000 | #Constraints: 49868
1272.35/1276.24 c #Conflicts: 407000 | #Constraints: 50868
1272.35/1276.24 c INPROCESSING
1272.35/1276.24 c GARBAGE COLLECT
1272.35/1276.24 c #Conflicts: 408000 | #Constraints: 39267
1272.35/1276.24 c #Conflicts: 409000 | #Constraints: 40267
1272.35/1276.24 c #Conflicts: 410000 | #Constraints: 41267
1272.35/1276.24 c #Conflicts: 411000 | #Constraints: 42267
1272.35/1276.24 c #Conflicts: 412000 | #Constraints: 43267
1272.35/1276.24 c #Conflicts: 413000 | #Constraints: 44267
1272.35/1276.24 c #Conflicts: 414000 | #Constraints: 45267
1272.35/1276.24 c #Conflicts: 415000 | #Constraints: 46267
1272.35/1276.24 c #Conflicts: 416000 | #Constraints: 47267
1272.35/1276.24 c #Conflicts: 417000 | #Constraints: 48267
1272.35/1276.24 c #Conflicts: 418000 | #Constraints: 49267
1797.37/1803.06 c #Conflicts: 419000 | #Constraints: 50267
1797.37/1803.06 c #Conflicts: 420000 | #Constraints: 51267
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 421000 | #Constraints: 39465
1797.37/1803.06 c #Conflicts: 422000 | #Constraints: 40465
1797.37/1803.06 c #Conflicts: 423000 | #Constraints: 41465
1797.37/1803.06 c #Conflicts: 424000 | #Constraints: 42465
1797.37/1803.06 c #Conflicts: 425000 | #Constraints: 43465
1797.37/1803.06 c #Conflicts: 426000 | #Constraints: 44465
1797.37/1803.06 c #Conflicts: 427000 | #Constraints: 45465
1797.37/1803.06 c #Conflicts: 428000 | #Constraints: 46465
1797.37/1803.06 c #Conflicts: 429000 | #Constraints: 47465
1797.37/1803.06 c #Conflicts: 430000 | #Constraints: 48465
1797.37/1803.06 c #Conflicts: 431000 | #Constraints: 49465
1797.37/1803.06 c #Conflicts: 432000 | #Constraints: 50465
1797.37/1803.06 c #Conflicts: 433000 | #Constraints: 51465
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 434000 | #Constraints: 39469
1797.37/1803.06 c #Conflicts: 435000 | #Constraints: 40469
1797.37/1803.06 c #Conflicts: 436000 | #Constraints: 41469
1797.37/1803.06 c #Conflicts: 437000 | #Constraints: 42469
1797.37/1803.06 c #Conflicts: 438000 | #Constraints: 43469
1797.37/1803.06 c #Conflicts: 439000 | #Constraints: 44469
1797.37/1803.06 c #Conflicts: 440000 | #Constraints: 45469
1797.37/1803.06 c #Conflicts: 441000 | #Constraints: 46469
1797.37/1803.06 c #Conflicts: 442000 | #Constraints: 47469
1797.37/1803.06 c #Conflicts: 443000 | #Constraints: 48469
1797.37/1803.06 c #Conflicts: 444000 | #Constraints: 49469
1797.37/1803.06 c #Conflicts: 445000 | #Constraints: 50469
1797.37/1803.06 c #Conflicts: 446000 | #Constraints: 51469
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 447000 | #Constraints: 39270
1797.37/1803.06 c #Conflicts: 448000 | #Constraints: 40270
1797.37/1803.06 c #Conflicts: 449000 | #Constraints: 41270
1797.37/1803.06 c #Conflicts: 450000 | #Constraints: 42270
1797.37/1803.06 c #Conflicts: 451000 | #Constraints: 43270
1797.37/1803.06 c #Conflicts: 452000 | #Constraints: 44270
1797.37/1803.06 c #Conflicts: 453000 | #Constraints: 45270
1797.37/1803.06 c #Conflicts: 454000 | #Constraints: 46270
1797.37/1803.06 c #Conflicts: 455000 | #Constraints: 47270
1797.37/1803.06 c #Conflicts: 456000 | #Constraints: 48270
1797.37/1803.06 c #Conflicts: 457000 | #Constraints: 49270
1797.37/1803.06 c #Conflicts: 458000 | #Constraints: 50270
1797.37/1803.06 c #Conflicts: 459000 | #Constraints: 51270
1797.37/1803.06 c #Conflicts: 460000 | #Constraints: 52270
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 461000 | #Constraints: 39863
1797.37/1803.06 c #Conflicts: 462000 | #Constraints: 40863
1797.37/1803.06 c #Conflicts: 463000 | #Constraints: 41863
1797.37/1803.06 c #Conflicts: 464000 | #Constraints: 42863
1797.37/1803.06 c #Conflicts: 465000 | #Constraints: 43863
1797.37/1803.06 c #Conflicts: 466000 | #Constraints: 44863
1797.37/1803.06 c #Conflicts: 467000 | #Constraints: 45863
1797.37/1803.06 c #Conflicts: 468000 | #Constraints: 46863
1797.37/1803.06 c #Conflicts: 469000 | #Constraints: 47863
1797.37/1803.06 c #Conflicts: 470000 | #Constraints: 48863
1797.37/1803.06 c #Conflicts: 471000 | #Constraints: 49863
1797.37/1803.06 c #Conflicts: 472000 | #Constraints: 50863
1797.37/1803.06 c #Conflicts: 473000 | #Constraints: 51863
1797.37/1803.06 c #Conflicts: 474000 | #Constraints: 52863
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 475000 | #Constraints: 40268
1797.37/1803.06 c #Conflicts: 476000 | #Constraints: 41268
1797.37/1803.06 c #Conflicts: 477000 | #Constraints: 42268
1797.37/1803.06 c #Conflicts: 478000 | #Constraints: 43268
1797.37/1803.06 c #Conflicts: 479000 | #Constraints: 44268
1797.37/1803.06 c #Conflicts: 480000 | #Constraints: 45268
1797.37/1803.06 c #Conflicts: 481000 | #Constraints: 46268
1797.37/1803.06 c #Conflicts: 482000 | #Constraints: 47268
1797.37/1803.06 c #Conflicts: 483000 | #Constraints: 48268
1797.37/1803.06 c #Conflicts: 484000 | #Constraints: 49268
1797.37/1803.06 c #Conflicts: 485000 | #Constraints: 50268
1797.37/1803.06 c #Conflicts: 486000 | #Constraints: 51268
1797.37/1803.06 c #Conflicts: 487000 | #Constraints: 52268
1797.37/1803.06 c #Conflicts: 488000 | #Constraints: 53268
1797.37/1803.06 c INPROCESSING
1797.37/1803.06 c GARBAGE COLLECT
1797.37/1803.06 c #Conflicts: 489000 | #Constraints: 40468
1797.37/1803.06 c #Conflicts: 490000 | #Constraints: 41468
1797.37/1803.06 c #Conflicts: 491000 | #Constraints: 42468
1797.37/1803.06 c #Conflicts: 492000 | #Constraints: 43468
1797.37/1803.06 c #Conflicts: 493000 | #Constraints: 44468
2159.10/2165.74 c #Conflicts: 494000 | #Constraints: 45468
2159.10/2165.74 c #Conflicts: 495000 | #Constraints: 46468
2159.10/2165.74 c #Conflicts: 496000 | #Constraints: 47468
2159.10/2165.74 c #Conflicts: 497000 | #Constraints: 48468
2159.10/2165.74 c #Conflicts: 498000 | #Constraints: 49468
2159.10/2165.74 c #Conflicts: 499000 | #Constraints: 50468
2159.10/2165.74 c #Conflicts: 500000 | #Constraints: 51468
2159.10/2165.74 c #Conflicts: 501000 | #Constraints: 52468
2159.10/2165.74 c #Conflicts: 502000 | #Constraints: 53468
2159.10/2165.74 c INPROCESSING
2159.10/2165.74 c GARBAGE COLLECT
2159.10/2165.74 c #Conflicts: 503000 | #Constraints: 40464
2159.10/2165.74 c #Conflicts: 504000 | #Constraints: 41464
2159.10/2165.74 c #Conflicts: 505000 | #Constraints: 42464
2159.10/2165.74 c #Conflicts: 506000 | #Constraints: 43464
2159.10/2165.74 c #Conflicts: 507000 | #Constraints: 44464
2159.10/2165.74 c #Conflicts: 508000 | #Constraints: 45464
2159.10/2165.74 c #Conflicts: 509000 | #Constraints: 46464
2159.10/2165.74 c #Conflicts: 510000 | #Constraints: 47464
2159.10/2165.74 c #Conflicts: 511000 | #Constraints: 48464
2159.10/2165.74 c #Conflicts: 512000 | #Constraints: 49464
2159.10/2165.74 c #Conflicts: 513000 | #Constraints: 50464
2159.10/2165.74 c #Conflicts: 514000 | #Constraints: 51464
2159.10/2165.74 c #Conflicts: 515000 | #Constraints: 52464
2159.10/2165.74 c #Conflicts: 516000 | #Constraints: 53464
2159.10/2165.74 c INPROCESSING
2159.10/2165.74 c GARBAGE COLLECT
2159.10/2165.74 c #Conflicts: 517000 | #Constraints: 40253
2159.10/2165.74 c #Conflicts: 518000 | #Constraints: 41253
2159.10/2165.74 c #Conflicts: 519000 | #Constraints: 42253
2159.10/2165.74 c #Conflicts: 520000 | #Constraints: 43253
2159.10/2165.74 c #Conflicts: 521000 | #Constraints: 44253
2159.10/2165.74 c #Conflicts: 522000 | #Constraints: 45253
2159.10/2165.74 c #Conflicts: 523000 | #Constraints: 46253
2159.10/2165.74 c #Conflicts: 524000 | #Constraints: 47253
2159.10/2165.74 c #Conflicts: 525000 | #Constraints: 48253
2159.10/2165.74 c #Conflicts: 526000 | #Constraints: 49253
2159.10/2165.74 c #Conflicts: 527000 | #Constraints: 50253
2159.10/2165.74 c #Conflicts: 528000 | #Constraints: 51253
2159.10/2165.74 c #Conflicts: 529000 | #Constraints: 52253
2159.10/2165.74 c #Conflicts: 530000 | #Constraints: 53253
2159.10/2165.74 c #Conflicts: 531000 | #Constraints: 54253
2159.10/2165.74 c INPROCESSING
2159.10/2165.74 c GARBAGE COLLECT
2159.10/2165.74 c #Conflicts: 532000 | #Constraints: 40849
2159.10/2165.74 c #Conflicts: 533000 | #Constraints: 41849
2159.10/2165.74 c #Conflicts: 534000 | #Constraints: 42849
2159.10/2165.74 c #Conflicts: 535000 | #Constraints: 43849
2159.10/2165.74 c #Conflicts: 536000 | #Constraints: 44849
2159.10/2165.74 c #Conflicts: 537000 | #Constraints: 45849
2159.10/2165.74 c #Conflicts: 538000 | #Constraints: 46849
2159.10/2165.74 c #Conflicts: 539000 | #Constraints: 47849
2159.10/2165.74 c #Conflicts: 540000 | #Constraints: 48849
2159.10/2165.74 c #Conflicts: 541000 | #Constraints: 49849
2159.10/2165.74 c #Conflicts: 542000 | #Constraints: 50849
2159.10/2165.74 c #Conflicts: 543000 | #Constraints: 51849
2159.10/2165.74 c #Conflicts: 544000 | #Constraints: 52849
2159.10/2165.74 c #Conflicts: 545000 | #Constraints: 53849
2159.10/2165.74 c #Conflicts: 546000 | #Constraints: 54849
2159.10/2165.74 c INPROCESSING
2159.10/2165.74 c GARBAGE COLLECT
2159.10/2165.74 c #Conflicts: 547000 | #Constraints: 41246
2159.10/2165.74 c #Conflicts: 548000 | #Constraints: 42246
2159.10/2165.74 c #Conflicts: 549000 | #Constraints: 43246
2159.10/2165.74 c #Conflicts: 550000 | #Constraints: 44246
2159.10/2165.74 c #Conflicts: 551000 | #Constraints: 45246
2159.10/2165.74 c #Conflicts: 552000 | #Constraints: 46246
2159.10/2165.74 c #Conflicts: 553000 | #Constraints: 47246
2159.10/2165.74 c #Conflicts: 554000 | #Constraints: 48246
2159.10/2165.74 c #Conflicts: 555000 | #Constraints: 49246
2159.10/2165.74 c #Conflicts: 556000 | #Constraints: 50246
2159.10/2165.74 c #Conflicts: 557000 | #Constraints: 51246
2159.10/2165.74 c #Conflicts: 558000 | #Constraints: 52246
2159.10/2165.74 c #Conflicts: 559000 | #Constraints: 53246
2159.10/2165.74 c #Conflicts: 560000 | #Constraints: 54246
2159.10/2165.74 c #Conflicts: 561000 | #Constraints: 55246
2159.10/2165.74 c INPROCESSING
2159.10/2165.74 c GARBAGE COLLECT
2159.10/2165.74 c #Conflicts: 562000 | #Constraints: 41444
2159.10/2165.74 c #Conflicts: 563000 | #Constraints: 42444
2159.10/2165.74 c #Conflicts: 564000 | #Constraints: 43444
2159.10/2165.74 c #Conflicts: 565000 | #Constraints: 44444
2159.10/2165.74 c #Conflicts: 566000 | #Constraints: 45444
2159.10/2165.74 c #Conflicts: 567000 | #Constraints: 46444
2159.10/2165.74 c #Conflicts: 568000 | #Constraints: 47444
2558.23/2566.03 c #Conflicts: 569000 | #Constraints: 48444
2558.23/2566.03 c #Conflicts: 570000 | #Constraints: 49444
2558.23/2566.03 c #Conflicts: 571000 | #Constraints: 50444
2558.23/2566.03 c #Conflicts: 572000 | #Constraints: 51444
2558.23/2566.03 c #Conflicts: 573000 | #Constraints: 52444
2558.23/2566.03 c #Conflicts: 574000 | #Constraints: 53444
2558.23/2566.03 c #Conflicts: 575000 | #Constraints: 54444
2558.23/2566.03 c #Conflicts: 576000 | #Constraints: 55444
2558.23/2566.03 c INPROCESSING
2558.23/2566.03 c GARBAGE COLLECT
2558.23/2566.03 c #Conflicts: 577000 | #Constraints: 41441
2558.23/2566.03 c #Conflicts: 578000 | #Constraints: 42441
2558.23/2566.03 c #Conflicts: 579000 | #Constraints: 43441
2558.23/2566.03 c #Conflicts: 580000 | #Constraints: 44441
2558.23/2566.03 c #Conflicts: 581000 | #Constraints: 45441
2558.23/2566.03 c #Conflicts: 582000 | #Constraints: 46441
2558.23/2566.03 c #Conflicts: 583000 | #Constraints: 47441
2558.23/2566.03 c #Conflicts: 584000 | #Constraints: 48441
2558.23/2566.03 c #Conflicts: 585000 | #Constraints: 49441
2558.23/2566.03 c #Conflicts: 586000 | #Constraints: 50441
2558.23/2566.03 c #Conflicts: 587000 | #Constraints: 51441
2558.23/2566.03 c #Conflicts: 588000 | #Constraints: 52441
2558.23/2566.03 c #Conflicts: 589000 | #Constraints: 53441
2558.23/2566.03 c #Conflicts: 590000 | #Constraints: 54441
2558.23/2566.03 c #Conflicts: 591000 | #Constraints: 55441
2558.23/2566.03 c INPROCESSING
2558.23/2566.03 c GARBAGE COLLECT
2558.23/2566.03 c #Conflicts: 592000 | #Constraints: 41240
2558.23/2566.03 c #Conflicts: 593000 | #Constraints: 42240
2558.23/2566.03 c #Conflicts: 594000 | #Constraints: 43240
2558.23/2566.03 c #Conflicts: 595000 | #Constraints: 44240
2558.23/2566.03 c #Conflicts: 596000 | #Constraints: 45240
2558.23/2566.03 c #Conflicts: 597000 | #Constraints: 46240
2558.23/2566.03 c #Conflicts: 598000 | #Constraints: 47240
2558.23/2566.03 c #Conflicts: 599000 | #Constraints: 48240
2558.23/2566.03 c #Conflicts: 600000 | #Constraints: 49240
2558.23/2566.03 c #Conflicts: 601000 | #Constraints: 50240
2558.23/2566.03 c #Conflicts: 602000 | #Constraints: 51240
2558.23/2566.03 c #Conflicts: 603000 | #Constraints: 52240
2558.23/2566.03 c #Conflicts: 604000 | #Constraints: 53240
2558.23/2566.03 c #Conflicts: 605000 | #Constraints: 54240
2558.23/2566.03 c #Conflicts: 606000 | #Constraints: 55240
2558.23/2566.03 c #Conflicts: 607000 | #Constraints: 56240
2558.23/2566.03 c INPROCESSING
2558.23/2566.03 c GARBAGE COLLECT
2558.23/2566.03 c #Conflicts: 608000 | #Constraints: 41841
2558.23/2566.03 c #Conflicts: 609000 | #Constraints: 42841
2558.23/2566.03 c #Conflicts: 610000 | #Constraints: 43841
2558.23/2566.03 c #Conflicts: 611000 | #Constraints: 44841
2558.23/2566.03 c #Conflicts: 612000 | #Constraints: 45841
2558.23/2566.03 c #Conflicts: 613000 | #Constraints: 46841
2558.23/2566.03 c #Conflicts: 614000 | #Constraints: 47841
2558.23/2566.03 c #Conflicts: 615000 | #Constraints: 48841
2558.23/2566.03 c #Conflicts: 616000 | #Constraints: 49841
2558.23/2566.03 c #Conflicts: 617000 | #Constraints: 50841
2558.23/2566.03 c #Conflicts: 618000 | #Constraints: 51841
2558.23/2566.03 c #Conflicts: 619000 | #Constraints: 52841
2558.23/2566.03 c #Conflicts: 620000 | #Constraints: 53841
2558.23/2566.03 c #Conflicts: 621000 | #Constraints: 54841
2558.23/2566.03 c #Conflicts: 622000 | #Constraints: 55841
2558.23/2566.03 c #Conflicts: 623000 | #Constraints: 56841
2558.23/2566.03 c INPROCESSING
2558.23/2566.03 c GARBAGE COLLECT
2558.23/2566.03 c #Conflicts: 624000 | #Constraints: 42245
2558.23/2566.03 c #Conflicts: 625000 | #Constraints: 43245
2558.23/2566.03 c #Conflicts: 626000 | #Constraints: 44245
2558.23/2566.03 c #Conflicts: 627000 | #Constraints: 45245
2558.23/2566.03 c #Conflicts: 628000 | #Constraints: 46245
2558.23/2566.03 c #Conflicts: 629000 | #Constraints: 47245
2558.23/2566.03 c #Conflicts: 630000 | #Constraints: 48245
2558.23/2566.03 c #Conflicts: 631000 | #Constraints: 49245
2558.23/2566.03 c #Conflicts: 632000 | #Constraints: 50245
2558.23/2566.03 c #Conflicts: 633000 | #Constraints: 51245
2558.23/2566.03 c #Conflicts: 634000 | #Constraints: 52245
2558.23/2566.03 c #Conflicts: 635000 | #Constraints: 53245
2558.23/2566.03 c #Conflicts: 636000 | #Constraints: 54245
2558.23/2566.03 c #Conflicts: 637000 | #Constraints: 55245
2558.23/2566.03 c #Conflicts: 638000 | #Constraints: 56245
2558.23/2566.03 c #Conflicts: 639000 | #Constraints: 57245
2558.23/2566.03 c INPROCESSING
2558.23/2566.03 c GARBAGE COLLECT
2558.23/2566.03 c #Conflicts: 640000 | #Constraints: 42452
2558.23/2566.03 c #Conflicts: 641000 | #Constraints: 43452
2558.23/2566.03 c #Conflicts: 642000 | #Constraints: 44452
2558.23/2566.03 c #Conflicts: 643000 | #Constraints: 45452
2558.23/2566.03 c #Conflicts: 644000 | #Constraints: 46452
2898.90/2907.50 c #Conflicts: 645000 | #Constraints: 47452
2898.90/2907.50 c #Conflicts: 646000 | #Constraints: 48452
2898.90/2907.50 c #Conflicts: 647000 | #Constraints: 49452
2898.90/2907.50 c #Conflicts: 648000 | #Constraints: 50452
2898.90/2907.50 c #Conflicts: 649000 | #Constraints: 51452
2898.90/2907.50 c #Conflicts: 650000 | #Constraints: 52452
2898.90/2907.50 c #Conflicts: 651000 | #Constraints: 53452
2898.90/2907.50 c #Conflicts: 652000 | #Constraints: 54452
2898.90/2907.50 c #Conflicts: 653000 | #Constraints: 55452
2898.90/2907.50 c #Conflicts: 654000 | #Constraints: 56452
2898.90/2907.50 c #Conflicts: 655000 | #Constraints: 57452
2898.90/2907.50 c INPROCESSING
2898.90/2907.50 c GARBAGE COLLECT
2898.90/2907.50 c #Conflicts: 656000 | #Constraints: 42448
2898.90/2907.50 c #Conflicts: 657000 | #Constraints: 43448
2898.90/2907.50 c #Conflicts: 658000 | #Constraints: 44448
2898.90/2907.50 c #Conflicts: 659000 | #Constraints: 45448
2898.90/2907.50 c #Conflicts: 660000 | #Constraints: 46448
2898.90/2907.50 c #Conflicts: 661000 | #Constraints: 47448
2898.90/2907.50 c #Conflicts: 662000 | #Constraints: 48448
2898.90/2907.50 c #Conflicts: 663000 | #Constraints: 49448
2898.90/2907.50 c #Conflicts: 664000 | #Constraints: 50448
2898.90/2907.50 c #Conflicts: 665000 | #Constraints: 51448
2898.90/2907.50 c #Conflicts: 666000 | #Constraints: 52448
2898.90/2907.50 c #Conflicts: 667000 | #Constraints: 53448
2898.90/2907.50 c #Conflicts: 668000 | #Constraints: 54448
2898.90/2907.50 c #Conflicts: 669000 | #Constraints: 55448
2898.90/2907.50 c #Conflicts: 670000 | #Constraints: 56448
2898.90/2907.50 c #Conflicts: 671000 | #Constraints: 57448
2898.90/2907.50 c INPROCESSING
2898.90/2907.50 c GARBAGE COLLECT
2898.90/2907.50 c #Conflicts: 672000 | #Constraints: 42255
2898.90/2907.50 c #Conflicts: 673000 | #Constraints: 43255
2898.90/2907.50 c #Conflicts: 674000 | #Constraints: 44255
2898.90/2907.50 c #Conflicts: 675000 | #Constraints: 45255
2898.90/2907.50 c #Conflicts: 676000 | #Constraints: 46255
2898.90/2907.50 c #Conflicts: 677000 | #Constraints: 47255
2898.90/2907.50 c #Conflicts: 678000 | #Constraints: 48255
2898.90/2907.50 c #Conflicts: 679000 | #Constraints: 49255
2898.90/2907.50 c #Conflicts: 680000 | #Constraints: 50255
2898.90/2907.50 c #Conflicts: 681000 | #Constraints: 51255
2898.90/2907.50 c #Conflicts: 682000 | #Constraints: 52255
2898.90/2907.50 c #Conflicts: 683000 | #Constraints: 53255
2898.90/2907.50 c #Conflicts: 684000 | #Constraints: 54255
2898.90/2907.50 c #Conflicts: 685000 | #Constraints: 55255
2898.90/2907.50 c #Conflicts: 686000 | #Constraints: 56255
2898.90/2907.50 c #Conflicts: 687000 | #Constraints: 57255
2898.90/2907.50 c #Conflicts: 688000 | #Constraints: 58255
2898.90/2907.50 c INPROCESSING
2898.90/2907.50 c GARBAGE COLLECT
2898.90/2907.50 c #Conflicts: 689000 | #Constraints: 42849
2898.90/2907.50 c #Conflicts: 690000 | #Constraints: 43849
2898.90/2907.50 c #Conflicts: 691000 | #Constraints: 44849
2898.90/2907.50 c #Conflicts: 692000 | #Constraints: 45849
2898.90/2907.50 c #Conflicts: 693000 | #Constraints: 46849
2898.90/2907.50 c #Conflicts: 694000 | #Constraints: 47849
2898.90/2907.50 c #Conflicts: 695000 | #Constraints: 48849
2898.90/2907.50 c #Conflicts: 696000 | #Constraints: 49849
2898.90/2907.50 c #Conflicts: 697000 | #Constraints: 50849
2898.90/2907.50 c #Conflicts: 698000 | #Constraints: 51849
2898.90/2907.50 c #Conflicts: 699000 | #Constraints: 52849
2898.90/2907.50 c #Conflicts: 700000 | #Constraints: 53849
2898.90/2907.50 c #Conflicts: 701000 | #Constraints: 54849
2898.90/2907.50 c #Conflicts: 702000 | #Constraints: 55849
2898.90/2907.50 c #Conflicts: 703000 | #Constraints: 56849
2898.90/2907.50 c #Conflicts: 704000 | #Constraints: 57849
2898.90/2907.50 c #Conflicts: 705000 | #Constraints: 58849
2898.90/2907.50 c INPROCESSING
2898.90/2907.50 c GARBAGE COLLECT
2898.90/2907.50 c #Conflicts: 706000 | #Constraints: 43253
2898.90/2907.50 c #Conflicts: 707000 | #Constraints: 44253
2898.90/2907.50 c #Conflicts: 708000 | #Constraints: 45253
2898.90/2907.50 c #Conflicts: 709000 | #Constraints: 46253
2898.90/2907.50 c #Conflicts: 710000 | #Constraints: 47253
2898.90/2907.50 c #Conflicts: 711000 | #Constraints: 48253
2898.90/2907.50 c #Conflicts: 712000 | #Constraints: 49253
2898.90/2907.50 c #Conflicts: 713000 | #Constraints: 50253
2898.90/2907.50 c #Conflicts: 714000 | #Constraints: 51253
2898.90/2907.50 c #Conflicts: 715000 | #Constraints: 52253
2898.90/2907.50 c #Conflicts: 716000 | #Constraints: 53253
2898.90/2907.50 c #Conflicts: 717000 | #Constraints: 54253
2898.90/2907.50 c #Conflicts: 718000 | #Constraints: 55253
2898.90/2907.50 c #Conflicts: 719000 | #Constraints: 56253
2898.90/2907.50 c #Conflicts: 720000 | #Constraints: 57253
3376.05/3385.94 c #Conflicts: 721000 | #Constraints: 58253
3376.05/3385.94 c #Conflicts: 722000 | #Constraints: 59253
3376.05/3385.94 c INPROCESSING
3376.05/3385.94 c GARBAGE COLLECT
3376.05/3385.94 c #Conflicts: 723000 | #Constraints: 43453
3376.05/3385.94 c #Conflicts: 724000 | #Constraints: 44453
3376.05/3385.94 c #Conflicts: 725000 | #Constraints: 45453
3376.05/3385.94 c #Conflicts: 726000 | #Constraints: 46453
3376.05/3385.94 c #Conflicts: 727000 | #Constraints: 47453
3376.05/3385.94 c #Conflicts: 728000 | #Constraints: 48453
3376.05/3385.94 c #Conflicts: 729000 | #Constraints: 49453
3376.05/3385.94 c #Conflicts: 730000 | #Constraints: 50453
3376.05/3385.94 c #Conflicts: 731000 | #Constraints: 51453
3376.05/3385.94 c #Conflicts: 732000 | #Constraints: 52453
3376.05/3385.94 c #Conflicts: 733000 | #Constraints: 53453
3376.05/3385.94 c #Conflicts: 734000 | #Constraints: 54453
3376.05/3385.94 c #Conflicts: 735000 | #Constraints: 55453
3376.05/3385.94 c #Conflicts: 736000 | #Constraints: 56453
3376.05/3385.94 c #Conflicts: 737000 | #Constraints: 57453
3376.05/3385.94 c #Conflicts: 738000 | #Constraints: 58453
3376.05/3385.94 c #Conflicts: 739000 | #Constraints: 59453
3376.05/3385.94 c INPROCESSING
3376.05/3385.94 c GARBAGE COLLECT
3376.05/3385.94 c #Conflicts: 740000 | #Constraints: 43459
3376.05/3385.94 c #Conflicts: 741000 | #Constraints: 44459
3376.05/3385.94 c #Conflicts: 742000 | #Constraints: 45459
3376.05/3385.94 c #Conflicts: 743000 | #Constraints: 46459
3376.05/3385.94 c #Conflicts: 744000 | #Constraints: 47459
3376.05/3385.94 c #Conflicts: 745000 | #Constraints: 48459
3376.05/3385.94 c #Conflicts: 746000 | #Constraints: 49459
3376.05/3385.94 c #Conflicts: 747000 | #Constraints: 50459
3376.05/3385.94 c #Conflicts: 748000 | #Constraints: 51459
3376.05/3385.94 c #Conflicts: 749000 | #Constraints: 52459
3376.05/3385.94 c #Conflicts: 750000 | #Constraints: 53459
3376.05/3385.94 c #Conflicts: 751000 | #Constraints: 54459
3376.05/3385.94 c #Conflicts: 752000 | #Constraints: 55459
3376.05/3385.94 c #Conflicts: 753000 | #Constraints: 56459
3376.05/3385.94 c #Conflicts: 754000 | #Constraints: 57459
3376.05/3385.94 c #Conflicts: 755000 | #Constraints: 58459
3376.05/3385.94 c #Conflicts: 756000 | #Constraints: 59459
3376.05/3385.94 c INPROCESSING
3376.05/3385.94 c GARBAGE COLLECT
3376.05/3385.94 c #Conflicts: 757000 | #Constraints: 43250
3376.05/3385.94 c #Conflicts: 758000 | #Constraints: 44250
3376.05/3385.94 c #Conflicts: 759000 | #Constraints: 45250
3376.05/3385.94 c #Conflicts: 760000 | #Constraints: 46250
3376.05/3385.94 c #Conflicts: 761000 | #Constraints: 47250
3376.05/3385.94 c #Conflicts: 762000 | #Constraints: 48250
3376.05/3385.94 c #Conflicts: 763000 | #Constraints: 49250
3376.05/3385.94 c #Conflicts: 764000 | #Constraints: 50250
3376.05/3385.94 c #Conflicts: 765000 | #Constraints: 51250
3376.05/3385.94 c #Conflicts: 766000 | #Constraints: 52250
3376.05/3385.94 c #Conflicts: 767000 | #Constraints: 53250
3376.05/3385.94 c #Conflicts: 768000 | #Constraints: 54250
3376.05/3385.94 c #Conflicts: 769000 | #Constraints: 55250
3376.05/3385.94 c #Conflicts: 770000 | #Constraints: 56250
3376.05/3385.94 c #Conflicts: 771000 | #Constraints: 57250
3376.05/3385.94 c #Conflicts: 772000 | #Constraints: 58250
3376.05/3385.94 c #Conflicts: 773000 | #Constraints: 59250
3376.05/3385.94 c #Conflicts: 774000 | #Constraints: 60250
3376.05/3385.94 c INPROCESSING
3376.05/3385.94 c GARBAGE COLLECT
3376.05/3385.94 c #Conflicts: 775000 | #Constraints: 43853
3376.05/3385.94 c #Conflicts: 776000 | #Constraints: 44853
3376.05/3385.94 c #Conflicts: 777000 | #Constraints: 45853
3376.05/3385.94 c #Conflicts: 778000 | #Constraints: 46853
3376.05/3385.94 c #Conflicts: 779000 | #Constraints: 47853
3376.05/3385.94 c #Conflicts: 780000 | #Constraints: 48853
3376.05/3385.94 c #Conflicts: 781000 | #Constraints: 49853
3376.05/3385.94 c #Conflicts: 782000 | #Constraints: 50853
3376.05/3385.94 c #Conflicts: 783000 | #Constraints: 51853
3376.05/3385.94 c #Conflicts: 784000 | #Constraints: 52853
3376.05/3385.94 c #Conflicts: 785000 | #Constraints: 53853
3376.05/3385.94 c #Conflicts: 786000 | #Constraints: 54853
3376.05/3385.94 c #Conflicts: 787000 | #Constraints: 55853
3376.05/3385.94 c #Conflicts: 788000 | #Constraints: 56853
3376.05/3385.94 c #Conflicts: 789000 | #Constraints: 57853
3376.05/3385.94 c #Conflicts: 790000 | #Constraints: 58853
3376.05/3385.94 c #Conflicts: 791000 | #Constraints: 59853
3376.05/3385.94 c #Conflicts: 792000 | #Constraints: 60853
3376.05/3385.94 c INPROCESSING
3376.05/3385.94 c GARBAGE COLLECT
3376.05/3385.94 c #Conflicts: 793000 | #Constraints: 44250
3376.05/3385.94 c #Conflicts: 794000 | #Constraints: 45250
3376.05/3385.94 c #Conflicts: 795000 | #Constraints: 46250
3376.05/3385.94 c #Conflicts: 796000 | #Constraints: 47250
3600.07/3610.60 c #Conflicts: 797000 | #Constraints: 48250
3600.07/3610.60 c #Conflicts: 798000 | #Constraints: 49250
3600.07/3610.60 c #Conflicts: 799000 | #Constraints: 50250
3600.07/3610.60 c #Conflicts: 800000 | #Constraints: 51250
3600.07/3610.60 c #Conflicts: 801000 | #Constraints: 52250
3600.07/3610.60 c #Conflicts: 802000 | #Constraints: 53250
3600.07/3610.60 c #Conflicts: 803000 | #Constraints: 54250
3600.07/3610.60 c #Conflicts: 804000 | #Constraints: 55250
3600.07/3610.60 c #Conflicts: 805000 | #Constraints: 56250
3600.07/3610.60 c #Conflicts: 806000 | #Constraints: 57250
3600.07/3610.60 c #Conflicts: 807000 | #Constraints: 58250
3600.07/3610.60 c #Conflicts: 808000 | #Constraints: 59250
3600.07/3610.60 c #Conflicts: 809000 | #Constraints: 60250
3600.07/3610.60 c #Conflicts: 810000 | #Constraints: 61250
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 811000 | #Constraints: 44447
3600.07/3610.60 c #Conflicts: 812000 | #Constraints: 45447
3600.07/3610.60 c #Conflicts: 813000 | #Constraints: 46447
3600.07/3610.60 c #Conflicts: 814000 | #Constraints: 47447
3600.07/3610.60 c #Conflicts: 815000 | #Constraints: 48447
3600.07/3610.60 c #Conflicts: 816000 | #Constraints: 49447
3600.07/3610.60 c #Conflicts: 817000 | #Constraints: 50447
3600.07/3610.60 c #Conflicts: 818000 | #Constraints: 51447
3600.07/3610.60 c #Conflicts: 819000 | #Constraints: 52447
3600.07/3610.60 c #Conflicts: 820000 | #Constraints: 53447
3600.07/3610.60 c #Conflicts: 821000 | #Constraints: 54447
3600.07/3610.60 c #Conflicts: 822000 | #Constraints: 55447
3600.07/3610.60 c #Conflicts: 823000 | #Constraints: 56447
3600.07/3610.60 c #Conflicts: 824000 | #Constraints: 57447
3600.07/3610.60 c #Conflicts: 825000 | #Constraints: 58447
3600.07/3610.60 c #Conflicts: 826000 | #Constraints: 59447
3600.07/3610.60 c #Conflicts: 827000 | #Constraints: 60447
3600.07/3610.60 c Program interrupted by user.
3600.07/3610.60 c cpu time 3590.33 s
3600.07/3610.60 c deterministic time 1258251960973 1.26e+12
3600.07/3610.60 c optimization time 130.685 s
3600.07/3610.60 c total solve time 3160.29 s
3600.07/3610.60 c core-guided solve time 3160.29 s
3600.07/3610.60 c propagation time 2883.55 s
3600.07/3610.60 c conflict analysis time 307.604 s
3600.07/3610.60 c propagations 380834361
3600.07/3610.60 c resolve steps 5312329
3600.07/3610.60 c decisions 8361238
3600.07/3610.60 c conflicts 827992
3600.07/3610.60 c restarts 1787
3600.07/3610.60 c inprocessing phases 81
3600.07/3610.60 c input clauses 25425
3600.07/3610.60 c input cardinalities 38
3600.07/3610.60 c input general constraints 0
3600.07/3610.60 c input average constraint length 11.49
3600.07/3610.60 c input average constraint degree 5.28
3600.07/3610.60 c learned clauses 167702
3600.07/3610.60 c learned cardinalities 75211
3600.07/3610.60 c learned general constraints 585078
3600.07/3610.60 c learned average constraint length 1576.13
3600.07/3610.60 c learned average constraint degree 7894400.12
3600.07/3610.60 c watched constraints 555568
3600.07/3610.60 c counting constraints 29510
3600.07/3610.60 c gcd simplifications 28103
3600.07/3610.60 c detected cardinalities 1803
3600.07/3610.60 c weakened non-implied lits 146581832
3600.07/3610.60 c weakened non-implying lits 51898
3600.07/3610.60 c original variables 11400
3600.07/3610.60 c clausal propagations 191175595
3600.07/3610.60 c cardinality propagations 3398523
3600.07/3610.60 c watched propagations 144166171
3600.07/3610.60 c counting propagations 25205564
3600.07/3610.60 c watch lookups 12153539113
3600.07/3610.60 c watch backjump lookups 8878519708
3600.07/3610.60 c watch checks 1094708518233
3600.07/3610.60 c propagation checks 138657566324
3600.07/3610.60 c constraint additions 3074600823
3600.07/3610.60 c trail pops 390021172
3600.07/3610.60 c formula constraints 22575
3600.07/3610.60 c learned constraints 827991
3600.07/3610.60 c bound constraints 38
3600.07/3610.60 c core-guided constraints 2850
3600.07/3610.60 c encountered formula constraints 4390474
3600.07/3610.60 c encountered learned constraints 1748366
3600.07/3610.60 c encountered bound constraints 3
3600.07/3610.60 c encountered core-guided constraints 1478
3600.07/3610.60 c LP total time 0 s
3600.07/3610.60 c LP solve time 0 s
3600.07/3610.60 c LP constraints added 0
3600.07/3610.60 c LP constraints removed 0
3600.07/3610.60 c LP pivots internal 0
3600.07/3610.60 c LP pivots root 0
3600.07/3610.60 c LP calls 0
3600.07/3610.60 c LP optimalities 0
3600.07/3610.60 c LP no pivot count 0
3600.07/3610.60 c LP infeasibilities 0
3600.07/3610.60 c LP valid Farkas constraints 0
3600.07/3610.60 c LP learned Farkas constraints 0
3600.07/3610.60 c LP basis resets 0
3600.07/3610.60 c LP cycling count 0
3600.07/3610.60 c LP singular count 0
3600.07/3610.60 c LP no primal count 0
3600.07/3610.60 c LP no farkas count 0
3600.07/3610.60 c LP other issue count 0
3600.07/3610.60 c LP Gomory cuts 0
3600.07/3610.60 c LP learned cuts 0
3600.07/3610.60 c LP deleted cuts 0
3600.07/3610.60 c LP encountered Gomory constraints 0
3600.07/3610.60 c LP encountered Farkas constraints 0
3600.07/3610.60 c LP encountered learned Farkas constraints 0
3600.07/3610.60 c CG auxiliary variables introduced 2850
3600.07/3610.60 c CG solutions found 0
3600.07/3610.60 c CG cores constructed 37
3600.07/3610.60 c CG core cardinality constraints returned 0
3600.07/3610.60 c CG unit cores 0
3600.07/3610.60 c CG single cores 37
3600.07/3610.60 c CG blocks removed during cardinality reduction 0
3600.07/3610.60 c CG first core best 0
3600.07/3610.60 c CG decision core best 0
3600.07/3610.60 c CG core reduction tie 0
3600.07/3610.60 c CG core degree average 1.00
3600.07/3610.60 c CG core slack average 74.08
3600.07/3610.60 c CG exhausted 0
3600.07/3610.60 c CG exhaust time 0 s
3600.07/3610.60 c CG trimmed 0
3600.07/3610.60 c CG trim time 0.00222 s
3600.07/3610.60 c CG minimized 0
3600.07/3610.60 c CG minimize time 0 s
3600.07/3610.60 c CG am1 prop time 0.010233 s
3600.07/3610.60 c CG # am1s reformulated 2850
3600.07/3610.60 c CG lower bound derived from am1s 2850
3600.07/3610.60 c CG # clausal cores 37
3600.07/3610.60 c CG # cardinality cores 0
3600.07/3610.60 c CG # pb cores 0
3600.07/3610.60 c CG # pb reforms 0
3600.07/3610.60 c CG # cores discarded because of pb reform 0
3600.07/3610.60 d LOWERBOUND 2887
3600.07/3610.60 d NCORES 37
3600.07/3610.60 d NPBCORES 0
3600.07/3610.60 d NPBREFORM 0
3600.07/3610.60 d NTRIMMED 0
3600.07/3610.60 d NEXHAUSTED 0
3600.07/3610.60 d NAM1S 2850
3600.07/3610.60 d AM1LB 2850
3600.07/3610.60 c [Papilo Statistics]
3600.07/3610.60 c prepro time 0.0748105s
3600.07/3610.60 c # tsx applied 0
3600.07/3610.60 c # tsx conflicts 0
3600.07/3610.60 c # bound changes 0
3600.07/3610.60 c # side changes 0
3600.07/3610.60 c # coef changes 0
3600.07/3610.60 c # rounds 1
3600.07/3610.60 c # deted vars 0
3600.07/3610.60 c # deted constrs 0
3600.07/3610.60 c # consecutive rounds of only bound changes 0
3600.07/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (53440 MiB free)
memory of node 1: 64507 MiB (61789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529335-1752263820/watcher-4529335-1752263820 -o /tmp/evaluation-result-4529335-1752263820/solver-4529335-1752263820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4529335-1752263820.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117942, runsolver pid=117939
[startup+0.100071 s]*
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117993380/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=83828 memory=13572 CPUtime=0.09 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 1884 0 0 0 8 1 0 0 20 0 1 0 142060929 85839872 3393 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 20957 3393 2176 2834 0 3709 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83828 KiB
Current children cumulated memory: 13572 KiB
[startup+0.213383 s]*
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117978260/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=108792 memory=29852 CPUtime=0.19 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 6248 0 0 0 17 2 0 0 20 0 1 0 142060929 111403008 7463 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 27198 7463 2240 2834 0 9403 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108792 KiB
Current children cumulated memory: 29852 KiB
[startup+0.317259 s]*
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117950036/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=125336 memory=52252 CPUtime=0.27 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 10487 0 0 0 24 3 0 0 20 0 1 0 142060929 128344064 13063 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 31334 13063 3680 2834 0 13539 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 125336 KiB
Current children cumulated memory: 52252 KiB
[startup+0.70023 s]
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117914092/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=185140 memory=111296 CPUtime=0.62 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 28235 0 0 0 55 7 0 0 20 0 1 0 142060929 189583360 27824 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 46285 27824 4032 2834 0 28490 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 185140 KiB
Current children cumulated memory: 111296 KiB
[startup+1.50027 s]
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117882200/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=253536 memory=161600 CPUtime=1.42 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 39719 0 0 0 132 10 0 0 20 0 1 0 142060929 259620864 40400 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 63384 40400 4128 2834 0 45589 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 161600 KiB
[startup+3.11296 s]
/proc/loadavg: 4.34 4.22 4.18 5/252 117943
/proc/meminfo: memFree=117824944/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=290948 memory=199360 CPUtime=3.02 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 49144 0 0 0 290 12 0 0 20 0 1 0 142060929 297930752 49840 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 72737 49840 4128 2834 0 54942 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 290948 KiB
Current children cumulated memory: 199360 KiB
[startup+6.3003 s]
/proc/loadavg: 4.31 4.21 4.17 5/252 117943
/proc/meminfo: memFree=117697768/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=426228 memory=334232 CPUtime=6.2 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 87090 0 0 0 602 18 0 0 20 0 1 0 142060929 436457472 83558 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 106557 83558 4288 2834 0 88762 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 426228 KiB
Current children cumulated memory: 334232 KiB
[startup+12.7003 s]
/proc/loadavg: 4.28 4.21 4.17 5/252 117943
/proc/meminfo: memFree=117724032/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=433180 memory=344088 CPUtime=12.58 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 89543 0 0 0 1239 19 0 0 20 0 1 0 142060929 443576320 86022 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 108295 86022 4288 2834 0 90500 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 433180 KiB
Current children cumulated memory: 344088 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.20 4.17 5/252 117943
/proc/meminfo: memFree=117729612/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=433180 memory=344344 CPUtime=25.34 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 89633 0 0 0 2515 19 0 0 20 0 1 0 142060929 443576320 86086 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 108295 86086 4288 2834 0 90500 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 433180 KiB
Current children cumulated memory: 344344 KiB
[startup+51.1129 s]
/proc/loadavg: 4.21 4.20 4.17 5/252 117944
/proc/meminfo: memFree=117698628/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=434832 memory=344344 CPUtime=50.88 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 89637 0 0 0 5069 19 0 0 20 0 1 0 142060929 445267968 86086 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 108708 86086 4288 2834 0 90913 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 434832 KiB
Current children cumulated memory: 344344 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/252 118036
/proc/meminfo: memFree=117754932/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=481288 memory=382744 CPUtime=101.92 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 99311 0 0 0 10171 21 0 0 20 0 1 0 142060929 492838912 95686 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 120322 95686 4288 2834 0 102527 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 481288 KiB
Current children cumulated memory: 382744 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/252 118082
/proc/meminfo: memFree=123308792/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=481288 memory=382872 CPUtime=161.75 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 99349 0 0 0 16154 21 0 0 20 0 1 0 142060929 492838912 95718 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 120322 95718 4288 2834 0 102527 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 481288 KiB
Current children cumulated memory: 382872 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/253 118085
/proc/meminfo: memFree=123268864/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=486556 memory=387096 CPUtime=221.61 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 100420 0 0 0 22139 22 0 0 20 0 1 0 142060929 498233344 96774 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 121639 96774 4288 2834 0 103844 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 486556 KiB
Current children cumulated memory: 387096 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/253 118098
/proc/meminfo: memFree=122840436/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=491436 memory=391576 CPUtime=281.44 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 101547 0 0 0 28122 22 0 0 20 0 1 0 142060929 503230464 97894 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 122859 97894 4288 2834 0 105064 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 491436 KiB
Current children cumulated memory: 391576 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/251 118102
/proc/meminfo: memFree=122758372/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=570088 memory=454704 CPUtime=341.25 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 106313 0 0 0 34061 64 0 0 20 0 1 0 142060929 583770112 113676 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 142522 113676 4480 2834 0 124727 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 570088 KiB
Current children cumulated memory: 454704 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 118104
/proc/meminfo: memFree=122353712/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=570088 memory=474928 CPUtime=401.05 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 106657 0 0 0 40010 95 0 0 20 0 1 0 142060929 583770112 118732 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 142522 118732 4480 2834 0 124727 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 570088 KiB
Current children cumulated memory: 474928 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 118105
/proc/meminfo: memFree=122851344/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=570088 memory=497808 CPUtime=460.9 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 106762 0 0 0 45953 137 0 0 20 0 1 0 142060929 583770112 124452 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 142522 124452 4480 2834 0 124727 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
Current children cumulated memory: 853264 KiB
[startup+2862.3 s]
/proc/loadavg: 2.09 2.18 2.71 3/239 118326
/proc/meminfo: memFree=126726360/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1116116 memory=854544 CPUtime=2853.8 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 129102 0 0 0 284534 846 0 0 20 0 1 0 142060929 1142902784 213636 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 279029 213636 4480 2834 0 261234 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 1116116 KiB
Current children cumulated memory: 854544 KiB
[startup+2922.3 s]
/proc/loadavg: 2.15 2.18 2.68 3/239 118328
/proc/meminfo: memFree=126726284/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1116116 memory=854544 CPUtime=2913.66 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 129124 0 0 0 290517 849 0 0 20 0 1 0 142060929 1142902784 213636 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 279029 213636 4480 2834 0 261234 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 1116116 KiB
Current children cumulated memory: 854544 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.16 2.64 3/239 118332
/proc/meminfo: memFree=126715132/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1116888 memory=855312 CPUtime=2973.54 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 129327 0 0 0 296498 856 0 0 20 0 1 0 142060929 1143693312 213828 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 279222 213828 4480 2834 0 261427 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 1116888 KiB
Current children cumulated memory: 855312 KiB
[startup+3042.3 s]
/proc/loadavg: 2.08 2.14 2.60 3/238 118336
/proc/meminfo: memFree=126716672/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1116888 memory=855312 CPUtime=3033.4 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 129327 0 0 0 302480 860 0 0 20 0 1 0 142060929 1143693312 213828 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 279222 213828 4480 2834 0 261427 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 1116888 KiB
Current children cumulated memory: 855312 KiB
[startup+3102.3 s]
/proc/loadavg: 2.13 2.15 2.57 3/238 118338
/proc/meminfo: memFree=126716404/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1120652 memory=857616 CPUtime=3093.27 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 129896 0 0 0 308463 864 0 0 20 0 1 0 142060929 1147547648 214404 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 280163 214404 4480 2834 0 262368 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 1120652 KiB
Current children cumulated memory: 857616 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.13 2.54 3/238 118340
/proc/meminfo: memFree=126692600/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1122812 memory=859408 CPUtime=3153.12 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 130336 0 0 0 314437 875 0 0 20 0 1 0 142060929 1149759488 214852 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 280703 214852 4480 2834 0 262908 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 1122812 KiB
Current children cumulated memory: 859408 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.12 2.51 3/238 118342
/proc/meminfo: memFree=126694364/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1123836 memory=860432 CPUtime=3212.94 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 130602 0 0 0 320401 893 0 0 20 0 1 0 142060929 1150808064 215108 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 280959 215108 4480 2834 0 263164 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 1123836 KiB
Current children cumulated memory: 860432 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.11 2.48 3/238 118344
/proc/meminfo: memFree=126675524/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1127552 memory=873472 CPUtime=3272.76 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 131483 0 0 0 326363 913 0 0 20 0 1 0 142060929 1154613248 218368 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 281888 218368 4480 2834 0 264093 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 1127552 KiB
Current children cumulated memory: 873472 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.11 2.45 3/237 118346
/proc/meminfo: memFree=126677036/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1127552 memory=873472 CPUtime=3332.58 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 131489 0 0 0 332336 922 0 0 20 0 1 0 142060929 1154613248 218368 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 281888 218368 4480 2834 0 264093 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 1127552 KiB
Current children cumulated memory: 873472 KiB
[startup+3402.3 s]
/proc/loadavg: 2.06 2.10 2.43 3/238 118351
/proc/meminfo: memFree=126675712/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1129856 memory=881488 CPUtime=3392.4 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 131950 0 0 0 338300 940 0 0 20 0 1 0 142060929 1156972544 220372 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 282464 220372 4480 2834 0 264669 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 1129856 KiB
Current children cumulated memory: 881488 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.09 2.40 3/238 118353
/proc/meminfo: memFree=126669536/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1134480 memory=894340 CPUtime=3452.21 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 132606 0 0 0 344268 953 0 0 20 0 1 0 142060929 1161707520 223585 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 283620 223585 4480 2834 0 265825 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 1134480 KiB
Current children cumulated memory: 894340 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.10 2.39 3/238 118355
/proc/meminfo: memFree=126638172/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1145696 memory=923448 CPUtime=3512.04 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 134287 0 0 0 350235 969 0 0 20 0 1 0 142060929 1173192704 230862 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 286424 230862 4480 2834 0 268629 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 1145696 KiB
Current children cumulated memory: 923448 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.10 2.36 3/238 118359
/proc/meminfo: memFree=126641856/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1145696 memory=923576 CPUtime=3571.86 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 134293 0 0 0 356213 973 0 0 20 0 1 0 142060929 1173192704 230894 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 286424 230894 4480 2834 0 268629 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 1145696 KiB
Current children cumulated memory: 923576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 2.07 2.09 2.35 3/238 118363
/proc/meminfo: memFree=126641612/131382112 swapFree=33009904/33010684
[pid=117942] ppid=117939 vsize=1145696 memory=923576 CPUtime=3600.07 cores=4,6
/proc/117942/stat : 117942 (mixed-bag) R 117939 117942 116137 0 -1 4194304 134296 0 0 0 359032 975 0 0 20 0 1 0 142060929 1173192704 230894 18446744073709551615 4235264 15840557 140729301718672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35688448 140729301723546 140729301723623 140729301723623 140729301729227 0
/proc/117942/statm: 286424 230894 4480 2834 0 268629 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1145696 KiB
Current children cumulated memory: 923576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 117942 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.33 s, system=9.75797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.09
CPU user time (s): 3590.33
CPU system time (s): 9.75797
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (KiB): 1145696
Max. memory (cumulated for all children) (KiB): 923576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.33
system time used= 9.75797
maximum resident set size= 924088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134326
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= 242
involuntary context switches= 2306
# summary of solver processes directly reported to runsolver:
# pid: 117942
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.33
# total CPU system time (s): 9.75797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5271 second user time and 33.9671 second system time
The end
Begin job on nodeC001 at 2025-07-11 21:57:00
IDJOB=4529335
IDBENCH=177101
IDSOLVER=3386
FILE ID=nodeC001/4529335-1752263820
RUNJOBID= nodeC001-1752256268-116148
SLURM_JOB_ID= 9682596
Free space on /tmp= 432072 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529335-1752263820/watcher-4529335-1752263820 -o /tmp/evaluation-result-4529335-1752263820/solver-4529335-1752263820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4529335-1752263820.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 54c9cb8452a5bc0fdf8cdacd374d003e
RANDOM SEED=1022856605
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.277
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.001
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2593.873
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.499
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 117995472 kB
MemAvailable: 120056956 kB
Buffers: 1668 kB
Cached: 2843004 kB
SwapCached: 128 kB
Active: 10004132 kB
Inactive: 2541436 kB
Active(anon): 9690856 kB
Inactive(anon): 27824 kB
Active(file): 313276 kB
Inactive(file): 2513612 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31900 kB
Writeback: 4 kB
AnonPages: 9703892 kB
Mapped: 140252 kB
Shmem: 17776 kB
KReclaimable: 148064 kB
Slab: 236880 kB
SReclaimable: 148064 kB
SUnreclaim: 88816 kB
KernelStack: 4064 kB
PageTables: 23132 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 10920588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5969920 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432112 MiB
End job on nodeC001 at 2025-07-11 22:57:11