0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 481 #constraints 481
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.002701
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= 59 @ 0.003469
0.00/0.02 c bounds - >= 60 @ 0.003694
0.00/0.02 c bounds - >= 61 @ 0.003789
0.00/0.02 c bounds - >= 62 @ 0.003878
0.00/0.02 c bounds - >= 63 @ 0.003973
0.00/0.02 c bounds - >= 64 @ 0.004088
0.00/0.02 c bounds - >= 65 @ 0.004206
0.00/0.02 c bounds - >= 66 @ 0.004318
0.00/0.02 c bounds - >= 67 @ 0.00437
0.00/0.02 c bounds - >= 68 @ 0.00437
0.00/0.02 c bounds - >= 69 @ 0.00437
0.00/0.02 c bounds - >= 70 @ 0.00437
0.00/0.02 c bounds - >= 71 @ 0.00437
0.00/0.02 c bounds - >= 72 @ 0.00437
0.00/0.02 c bounds - >= 73 @ 0.00437
0.00/0.02 c bounds - >= 74 @ 0.00437
0.00/0.02 c bounds - >= 75 @ 0.004397
0.00/0.02 c bounds - >= 76 @ 0.004514
0.00/0.02 c bounds - >= 77 @ 0.004629
0.00/0.02 c bounds - >= 78 @ 0.004743
0.00/0.02 c bounds - >= 79 @ 0.004868
0.00/0.02 c bounds - >= 80 @ 0.004996
0.00/0.02 c bounds - >= 81 @ 0.005111
0.00/0.02 c bounds - >= 82 @ 0.005228
0.00/0.02 c bounds - >= 83 @ 0.005349
0.00/0.02 c bounds - >= 84 @ 0.005372
0.00/0.02 c bounds - >= 85 @ 0.005372
0.00/0.02 c bounds - >= 86 @ 0.005372
0.00/0.02 c bounds - >= 87 @ 0.005372
0.00/0.02 c bounds - >= 88 @ 0.005372
0.00/0.02 c bounds - >= 89 @ 0.005372
0.00/0.02 c bounds - >= 90 @ 0.005372
0.00/0.02 c bounds - >= 91 @ 0.005372
0.00/0.02 c bounds - >= 92 @ 0.005499
0.00/0.02 c bounds - >= 93 @ 0.005618
0.00/0.02 c bounds - >= 94 @ 0.005748
0.00/0.02 c bounds - >= 95 @ 0.005889
0.00/0.02 c bounds - >= 96 @ 0.006011
0.00/0.02 c bounds - >= 97 @ 0.006127
0.00/0.02 c bounds - >= 98 @ 0.006241
0.00/0.02 c bounds - >= 99 @ 0.00632
0.00/0.02 c bounds - >= 100 @ 0.006426
0.00/0.02 c bounds - >= 101 @ 0.006547
0.00/0.02 c bounds - >= 102 @ 0.006672
0.00/0.02 c bounds - >= 103 @ 0.006792
0.00/0.02 c bounds - >= 104 @ 0.006907
0.00/0.02 c bounds - >= 105 @ 0.007026
0.00/0.02 c bounds - >= 106 @ 0.007142
0.00/0.02 c bounds - >= 107 @ 0.007259
0.00/0.02 c bounds - >= 108 @ 0.007331
0.00/0.02 c bounds - >= 109 @ 0.007331
0.00/0.02 c bounds - >= 110 @ 0.007331
0.00/0.02 c bounds - >= 111 @ 0.007331
0.00/0.02 c bounds - >= 112 @ 0.007331
0.00/0.02 c bounds - >= 113 @ 0.007331
0.00/0.02 c bounds - >= 114 @ 0.007331
0.00/0.02 c bounds - >= 115 @ 0.007331
0.00/0.02 c bounds - >= 116 @ 0.007439
0.00/0.02 c bounds - >= 117 @ 0.007577
0.00/0.02 c bounds - >= 118 @ 0.007709
0.00/0.02 c bounds - >= 119 @ 0.00785
0.00/0.02 c bounds - >= 120 @ 0.007998
0.00/0.02 c bounds - >= 121 @ 0.008129
0.00/0.02 c bounds - >= 122 @ 0.008266
0.00/0.02 c bounds - >= 123 @ 0.008413
0.00/0.02 c bounds - >= 124 @ 0.008552
0.00/0.02 c bounds - >= 125 @ 0.008686
0.00/0.02 c bounds - >= 126 @ 0.008819
0.00/0.02 c bounds - >= 127 @ 0.008952
0.00/0.02 c bounds - >= 128 @ 0.009094
0.00/0.02 c bounds - >= 129 @ 0.009215
0.00/0.02 c bounds - >= 130 @ 0.009343
0.00/0.02 c bounds - >= 131 @ 0.009475
0.00/0.02 c bounds - >= 132 @ 0.009606
0.00/0.02 c bounds - >= 133 @ 0.009742
0.00/0.02 c bounds - >= 134 @ 0.009881
0.00/0.02 c finalizing WCE round: reformulating cores
40.67/40.82 c #Conflicts: 1000 | #Constraints: 1660
40.67/40.82 c #Conflicts: 2000 | #Constraints: 2664
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 3000 | #Constraints: 2582
40.67/40.82 c #Conflicts: 4000 | #Constraints: 3584
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 5000 | #Constraints: 2988
40.67/40.82 c #Conflicts: 6000 | #Constraints: 3990
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 7000 | #Constraints: 2994
40.67/40.82 c #Conflicts: 8000 | #Constraints: 3996
40.67/40.82 c #Conflicts: 9000 | #Constraints: 5000
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 10000 | #Constraints: 3700
40.67/40.82 c #Conflicts: 11000 | #Constraints: 4702
40.67/40.82 c #Conflicts: 12000 | #Constraints: 5704
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 13000 | #Constraints: 4156
40.67/40.82 c #Conflicts: 14000 | #Constraints: 5163
40.67/40.82 c #Conflicts: 15000 | #Constraints: 6174
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 16000 | #Constraints: 4403
40.67/40.82 c #Conflicts: 17000 | #Constraints: 5408
40.67/40.82 c #Conflicts: 18000 | #Constraints: 6411
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 19000 | #Constraints: 4430
40.67/40.82 c #Conflicts: 20000 | #Constraints: 5432
40.67/40.82 c #Conflicts: 21000 | #Constraints: 6434
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 22000 | #Constraints: 4240
40.67/40.82 c #Conflicts: 23000 | #Constraints: 5242
40.67/40.82 c #Conflicts: 24000 | #Constraints: 6246
40.67/40.82 c #Conflicts: 25000 | #Constraints: 7248
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 26000 | #Constraints: 4861
40.67/40.82 c #Conflicts: 27000 | #Constraints: 5863
40.67/40.82 c #Conflicts: 28000 | #Constraints: 6865
40.67/40.82 c #Conflicts: 29000 | #Constraints: 7869
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 30000 | #Constraints: 5270
40.67/40.82 c #Conflicts: 31000 | #Constraints: 6272
40.67/40.82 c #Conflicts: 32000 | #Constraints: 7274
40.67/40.82 c #Conflicts: 33000 | #Constraints: 8278
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 34000 | #Constraints: 5478
40.67/40.82 c #Conflicts: 35000 | #Constraints: 6480
40.67/40.82 c #Conflicts: 36000 | #Constraints: 7482
40.67/40.82 c #Conflicts: 37000 | #Constraints: 8486
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 38000 | #Constraints: 5488
40.67/40.82 c #Conflicts: 39000 | #Constraints: 6490
40.67/40.82 c #Conflicts: 40000 | #Constraints: 7492
40.67/40.82 c #Conflicts: 41000 | #Constraints: 8496
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 42000 | #Constraints: 5299
40.67/40.82 c #Conflicts: 43000 | #Constraints: 6301
40.67/40.82 c #Conflicts: 44000 | #Constraints: 7305
40.67/40.82 c #Conflicts: 45000 | #Constraints: 8307
40.67/40.82 c #Conflicts: 46000 | #Constraints: 9309
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 47000 | #Constraints: 5912
40.67/40.82 c #Conflicts: 48000 | #Constraints: 6914
40.67/40.82 c #Conflicts: 49000 | #Constraints: 7916
40.67/40.82 c bounds 218 >= 134 @ 26.1444
40.67/40.82 c bounds 218 >= 135 @ 26.1586
40.67/40.82 c bounds 218 >= 136 @ 26.1647
40.67/40.82 c bounds 218 >= 137 @ 26.1684
40.67/40.82 c bounds 218 >= 138 @ 26.1709
40.67/40.82 c bounds 218 >= 139 @ 26.1749
40.67/40.82 c bounds 218 >= 140 @ 26.179
40.67/40.82 c bounds 218 >= 141 @ 26.1906
40.67/40.82 c bounds 218 >= 142 @ 26.2016
40.67/40.82 c bounds 218 >= 143 @ 26.3273
40.67/40.82 c #Conflicts: 50000 | #Constraints: 9128
40.67/40.82 c #Conflicts: 51000 | #Constraints: 10128
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 52000 | #Constraints: 6476
40.67/40.82 c #Conflicts: 53000 | #Constraints: 7476
40.67/40.82 c #Conflicts: 54000 | #Constraints: 8476
40.67/40.82 c #Conflicts: 55000 | #Constraints: 9476
40.67/40.82 c #Conflicts: 56000 | #Constraints: 10476
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 57000 | #Constraints: 6648
40.67/40.82 c #Conflicts: 58000 | #Constraints: 7648
40.67/40.82 c #Conflicts: 59000 | #Constraints: 8648
40.67/40.82 c #Conflicts: 60000 | #Constraints: 9648
40.67/40.82 c #Conflicts: 61000 | #Constraints: 10648
40.67/40.82 c INPROCESSING
40.67/40.82 c GARBAGE COLLECT
40.67/40.82 c #Conflicts: 62000 | #Constraints: 6640
40.67/40.82 c #Conflicts: 63000 | #Constraints: 7640
142.59/143.00 c #Conflicts: 64000 | #Constraints: 8640
142.59/143.00 c #Conflicts: 65000 | #Constraints: 9640
142.59/143.00 c #Conflicts: 66000 | #Constraints: 10640
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 67000 | #Constraints: 6432
142.59/143.00 c #Conflicts: 68000 | #Constraints: 7432
142.59/143.00 c #Conflicts: 69000 | #Constraints: 8432
142.59/143.00 c #Conflicts: 70000 | #Constraints: 9432
142.59/143.00 c #Conflicts: 71000 | #Constraints: 10432
142.59/143.00 c #Conflicts: 72000 | #Constraints: 11432
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 73000 | #Constraints: 7022
142.59/143.00 c #Conflicts: 74000 | #Constraints: 8022
142.59/143.00 c #Conflicts: 75000 | #Constraints: 9022
142.59/143.00 c #Conflicts: 76000 | #Constraints: 10022
142.59/143.00 c #Conflicts: 77000 | #Constraints: 11022
142.59/143.00 c #Conflicts: 78000 | #Constraints: 12022
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 79000 | #Constraints: 7427
142.59/143.00 c #Conflicts: 80000 | #Constraints: 8427
142.59/143.00 c #Conflicts: 81000 | #Constraints: 9427
142.59/143.00 c #Conflicts: 82000 | #Constraints: 10427
142.59/143.00 c #Conflicts: 83000 | #Constraints: 11427
142.59/143.00 c #Conflicts: 84000 | #Constraints: 12427
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 85000 | #Constraints: 7629
142.59/143.00 c #Conflicts: 86000 | #Constraints: 8629
142.59/143.00 c #Conflicts: 87000 | #Constraints: 9629
142.59/143.00 c #Conflicts: 88000 | #Constraints: 10629
142.59/143.00 c #Conflicts: 89000 | #Constraints: 11629
142.59/143.00 c #Conflicts: 90000 | #Constraints: 12629
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 91000 | #Constraints: 7627
142.59/143.00 c #Conflicts: 92000 | #Constraints: 8627
142.59/143.00 c #Conflicts: 93000 | #Constraints: 9627
142.59/143.00 c #Conflicts: 94000 | #Constraints: 10627
142.59/143.00 c #Conflicts: 95000 | #Constraints: 11627
142.59/143.00 c #Conflicts: 96000 | #Constraints: 12627
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 97000 | #Constraints: 7433
142.59/143.00 c #Conflicts: 98000 | #Constraints: 8433
142.59/143.00 c #Conflicts: 99000 | #Constraints: 9433
142.59/143.00 c #Conflicts: 100000 | #Constraints: 10433
142.59/143.00 c #Conflicts: 101000 | #Constraints: 11433
142.59/143.00 c #Conflicts: 102000 | #Constraints: 12433
142.59/143.00 c #Conflicts: 103000 | #Constraints: 13433
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 104000 | #Constraints: 8035
142.59/143.00 c #Conflicts: 105000 | #Constraints: 9035
142.59/143.00 c #Conflicts: 106000 | #Constraints: 10035
142.59/143.00 c #Conflicts: 107000 | #Constraints: 11035
142.59/143.00 c #Conflicts: 108000 | #Constraints: 12035
142.59/143.00 c #Conflicts: 109000 | #Constraints: 13035
142.59/143.00 c #Conflicts: 110000 | #Constraints: 14035
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 111000 | #Constraints: 8439
142.59/143.00 c #Conflicts: 112000 | #Constraints: 9439
142.59/143.00 c #Conflicts: 113000 | #Constraints: 10439
142.59/143.00 c #Conflicts: 114000 | #Constraints: 11439
142.59/143.00 c #Conflicts: 115000 | #Constraints: 12439
142.59/143.00 c #Conflicts: 116000 | #Constraints: 13439
142.59/143.00 c #Conflicts: 117000 | #Constraints: 14439
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 118000 | #Constraints: 8636
142.59/143.00 c #Conflicts: 119000 | #Constraints: 9636
142.59/143.00 c #Conflicts: 120000 | #Constraints: 10636
142.59/143.00 c #Conflicts: 121000 | #Constraints: 11636
142.59/143.00 c #Conflicts: 122000 | #Constraints: 12636
142.59/143.00 c #Conflicts: 123000 | #Constraints: 13636
142.59/143.00 c #Conflicts: 124000 | #Constraints: 14636
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 125000 | #Constraints: 8633
142.59/143.00 c #Conflicts: 126000 | #Constraints: 9633
142.59/143.00 c #Conflicts: 127000 | #Constraints: 10633
142.59/143.00 c #Conflicts: 128000 | #Constraints: 11633
142.59/143.00 c #Conflicts: 129000 | #Constraints: 12633
142.59/143.00 c #Conflicts: 130000 | #Constraints: 13633
142.59/143.00 c #Conflicts: 131000 | #Constraints: 14633
142.59/143.00 c INPROCESSING
142.59/143.00 c GARBAGE COLLECT
142.59/143.00 c #Conflicts: 132000 | #Constraints: 8432
142.59/143.00 c #Conflicts: 133000 | #Constraints: 9432
142.59/143.00 c #Conflicts: 134000 | #Constraints: 10432
142.59/143.00 c #Conflicts: 135000 | #Constraints: 11432
156.55/157.04 c #Conflicts: 136000 | #Constraints: 12432
156.55/157.04 c #Conflicts: 137000 | #Constraints: 13432
156.55/157.04 c #Conflicts: 138000 | #Constraints: 14432
156.55/157.04 c #Conflicts: 139000 | #Constraints: 15432
156.55/157.04 c INPROCESSING
156.55/157.04 c GARBAGE COLLECT
156.55/157.04 c #Conflicts: 140000 | #Constraints: 9042
156.55/157.04 c #Conflicts: 141000 | #Constraints: 10042
156.55/157.04 c #Conflicts: 142000 | #Constraints: 11042
156.55/157.04 c #Conflicts: 143000 | #Constraints: 12042
156.55/157.04 c #Conflicts: 144000 | #Constraints: 13042
156.55/157.04 c #Conflicts: 145000 | #Constraints: 14042
156.55/157.04 c finalizing WCE round: reformulating cores
376.47/377.57 c #Conflicts: 146000 | #Constraints: 15045
376.47/377.57 c #Conflicts: 147000 | #Constraints: 16047
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 148000 | #Constraints: 9446
376.47/377.57 c #Conflicts: 149000 | #Constraints: 10448
376.47/377.57 c #Conflicts: 150000 | #Constraints: 11450
376.47/377.57 c #Conflicts: 151000 | #Constraints: 12454
376.47/377.57 c #Conflicts: 152000 | #Constraints: 13456
376.47/377.57 c #Conflicts: 153000 | #Constraints: 14458
376.47/377.57 c bounds 217 >= 143 @ 166.487
376.47/377.57 c bounds 217 >= 144 @ 166.563
376.47/377.57 c bounds 217 >= 145 @ 167.113
376.47/377.57 c #Conflicts: 154000 | #Constraints: 15580
376.47/377.57 c #Conflicts: 155000 | #Constraints: 16580
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 156000 | #Constraints: 9784
376.47/377.57 c #Conflicts: 157000 | #Constraints: 10784
376.47/377.57 c #Conflicts: 158000 | #Constraints: 11784
376.47/377.57 c #Conflicts: 159000 | #Constraints: 12784
376.47/377.57 c #Conflicts: 160000 | #Constraints: 13784
376.47/377.57 c #Conflicts: 161000 | #Constraints: 14784
376.47/377.57 c #Conflicts: 162000 | #Constraints: 15784
376.47/377.57 c #Conflicts: 163000 | #Constraints: 16784
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 164000 | #Constraints: 9796
376.47/377.57 c #Conflicts: 165000 | #Constraints: 10796
376.47/377.57 c #Conflicts: 166000 | #Constraints: 11796
376.47/377.57 c #Conflicts: 167000 | #Constraints: 12796
376.47/377.57 c #Conflicts: 168000 | #Constraints: 13796
376.47/377.57 c bounds 217 >= 146 @ 217.299
376.47/377.57 c #Conflicts: 169000 | #Constraints: 14917
376.47/377.57 c #Conflicts: 170000 | #Constraints: 15917
376.47/377.57 c #Conflicts: 171000 | #Constraints: 16917
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 172000 | #Constraints: 9687
376.47/377.57 c #Conflicts: 173000 | #Constraints: 10687
376.47/377.57 c #Conflicts: 174000 | #Constraints: 11687
376.47/377.57 c #Conflicts: 175000 | #Constraints: 12687
376.47/377.57 c #Conflicts: 176000 | #Constraints: 13687
376.47/377.57 c #Conflicts: 177000 | #Constraints: 14687
376.47/377.57 c #Conflicts: 178000 | #Constraints: 15687
376.47/377.57 c #Conflicts: 179000 | #Constraints: 16687
376.47/377.57 c #Conflicts: 180000 | #Constraints: 17687
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 181000 | #Constraints: 10270
376.47/377.57 c #Conflicts: 182000 | #Constraints: 11270
376.47/377.57 c #Conflicts: 183000 | #Constraints: 12270
376.47/377.57 c #Conflicts: 184000 | #Constraints: 13270
376.47/377.57 c #Conflicts: 185000 | #Constraints: 14270
376.47/377.57 c #Conflicts: 186000 | #Constraints: 15270
376.47/377.57 c #Conflicts: 187000 | #Constraints: 16270
376.47/377.57 c #Conflicts: 188000 | #Constraints: 17270
376.47/377.57 c #Conflicts: 189000 | #Constraints: 18270
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 190000 | #Constraints: 10673
376.47/377.57 c #Conflicts: 191000 | #Constraints: 11673
376.47/377.57 c #Conflicts: 192000 | #Constraints: 12673
376.47/377.57 c #Conflicts: 193000 | #Constraints: 13673
376.47/377.57 c #Conflicts: 194000 | #Constraints: 14673
376.47/377.57 c #Conflicts: 195000 | #Constraints: 15673
376.47/377.57 c #Conflicts: 196000 | #Constraints: 16673
376.47/377.57 c #Conflicts: 197000 | #Constraints: 17673
376.47/377.57 c #Conflicts: 198000 | #Constraints: 18673
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 199000 | #Constraints: 10874
376.47/377.57 c #Conflicts: 200000 | #Constraints: 11874
376.47/377.57 c #Conflicts: 201000 | #Constraints: 12874
376.47/377.57 c #Conflicts: 202000 | #Constraints: 13874
376.47/377.57 c #Conflicts: 203000 | #Constraints: 14874
376.47/377.57 c #Conflicts: 204000 | #Constraints: 15874
376.47/377.57 c #Conflicts: 205000 | #Constraints: 16874
376.47/377.57 c #Conflicts: 206000 | #Constraints: 17874
376.47/377.57 c #Conflicts: 207000 | #Constraints: 18874
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
376.47/377.57 c #Conflicts: 208000 | #Constraints: 10861
376.47/377.57 c #Conflicts: 209000 | #Constraints: 11861
376.47/377.57 c #Conflicts: 210000 | #Constraints: 12861
376.47/377.57 c #Conflicts: 211000 | #Constraints: 13861
376.47/377.57 c #Conflicts: 212000 | #Constraints: 14861
376.47/377.57 c #Conflicts: 213000 | #Constraints: 15861
376.47/377.57 c #Conflicts: 214000 | #Constraints: 16861
376.47/377.57 c #Conflicts: 215000 | #Constraints: 17861
376.47/377.57 c #Conflicts: 216000 | #Constraints: 18861
376.47/377.57 c INPROCESSING
376.47/377.57 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 217000 | #Constraints: 10662
689.34/691.39 c #Conflicts: 218000 | #Constraints: 11662
689.34/691.39 c #Conflicts: 219000 | #Constraints: 12662
689.34/691.39 c #Conflicts: 220000 | #Constraints: 13662
689.34/691.39 c #Conflicts: 221000 | #Constraints: 14662
689.34/691.39 c #Conflicts: 222000 | #Constraints: 15662
689.34/691.39 c #Conflicts: 223000 | #Constraints: 16662
689.34/691.39 c #Conflicts: 224000 | #Constraints: 17662
689.34/691.39 c #Conflicts: 225000 | #Constraints: 18662
689.34/691.39 c #Conflicts: 226000 | #Constraints: 19662
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 227000 | #Constraints: 11267
689.34/691.39 c #Conflicts: 228000 | #Constraints: 12267
689.34/691.39 c #Conflicts: 229000 | #Constraints: 13267
689.34/691.39 c #Conflicts: 230000 | #Constraints: 14267
689.34/691.39 c #Conflicts: 231000 | #Constraints: 15267
689.34/691.39 c #Conflicts: 232000 | #Constraints: 16267
689.34/691.39 c #Conflicts: 233000 | #Constraints: 17267
689.34/691.39 c #Conflicts: 234000 | #Constraints: 18267
689.34/691.39 c #Conflicts: 235000 | #Constraints: 19267
689.34/691.39 c #Conflicts: 236000 | #Constraints: 20267
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 237000 | #Constraints: 11665
689.34/691.39 c #Conflicts: 238000 | #Constraints: 12665
689.34/691.39 c #Conflicts: 239000 | #Constraints: 13665
689.34/691.39 c #Conflicts: 240000 | #Constraints: 14665
689.34/691.39 c #Conflicts: 241000 | #Constraints: 15665
689.34/691.39 c #Conflicts: 242000 | #Constraints: 16665
689.34/691.39 c #Conflicts: 243000 | #Constraints: 17665
689.34/691.39 c #Conflicts: 244000 | #Constraints: 18665
689.34/691.39 c #Conflicts: 245000 | #Constraints: 19665
689.34/691.39 c #Conflicts: 246000 | #Constraints: 20665
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 247000 | #Constraints: 11876
689.34/691.39 c #Conflicts: 248000 | #Constraints: 12876
689.34/691.39 c #Conflicts: 249000 | #Constraints: 13876
689.34/691.39 c #Conflicts: 250000 | #Constraints: 14876
689.34/691.39 c #Conflicts: 251000 | #Constraints: 15876
689.34/691.39 c #Conflicts: 252000 | #Constraints: 16876
689.34/691.39 c #Conflicts: 253000 | #Constraints: 17876
689.34/691.39 c #Conflicts: 254000 | #Constraints: 18876
689.34/691.39 c #Conflicts: 255000 | #Constraints: 19876
689.34/691.39 c #Conflicts: 256000 | #Constraints: 20876
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 257000 | #Constraints: 11871
689.34/691.39 c #Conflicts: 258000 | #Constraints: 12871
689.34/691.39 c #Conflicts: 259000 | #Constraints: 13871
689.34/691.39 c #Conflicts: 260000 | #Constraints: 14871
689.34/691.39 c #Conflicts: 261000 | #Constraints: 15871
689.34/691.39 c #Conflicts: 262000 | #Constraints: 16871
689.34/691.39 c #Conflicts: 263000 | #Constraints: 17871
689.34/691.39 c #Conflicts: 264000 | #Constraints: 18871
689.34/691.39 c #Conflicts: 265000 | #Constraints: 19871
689.34/691.39 c #Conflicts: 266000 | #Constraints: 20871
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 267000 | #Constraints: 11678
689.34/691.39 c #Conflicts: 268000 | #Constraints: 12678
689.34/691.39 c #Conflicts: 269000 | #Constraints: 13678
689.34/691.39 c #Conflicts: 270000 | #Constraints: 14678
689.34/691.39 c #Conflicts: 271000 | #Constraints: 15678
689.34/691.39 c #Conflicts: 272000 | #Constraints: 16678
689.34/691.39 c #Conflicts: 273000 | #Constraints: 17678
689.34/691.39 c #Conflicts: 274000 | #Constraints: 18678
689.34/691.39 c #Conflicts: 275000 | #Constraints: 19678
689.34/691.39 c #Conflicts: 276000 | #Constraints: 20678
689.34/691.39 c #Conflicts: 277000 | #Constraints: 21678
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 278000 | #Constraints: 12281
689.34/691.39 c #Conflicts: 279000 | #Constraints: 13281
689.34/691.39 c #Conflicts: 280000 | #Constraints: 14281
689.34/691.39 c #Conflicts: 281000 | #Constraints: 15281
689.34/691.39 c #Conflicts: 282000 | #Constraints: 16281
689.34/691.39 c #Conflicts: 283000 | #Constraints: 17281
689.34/691.39 c #Conflicts: 284000 | #Constraints: 18281
689.34/691.39 c #Conflicts: 285000 | #Constraints: 19281
689.34/691.39 c #Conflicts: 286000 | #Constraints: 20281
689.34/691.39 c #Conflicts: 287000 | #Constraints: 21281
689.34/691.39 c #Conflicts: 288000 | #Constraints: 22281
689.34/691.39 c INPROCESSING
689.34/691.39 c GARBAGE COLLECT
689.34/691.39 c #Conflicts: 289000 | #Constraints: 12684
689.34/691.39 c #Conflicts: 290000 | #Constraints: 13684
689.34/691.39 c #Conflicts: 291000 | #Constraints: 14684
1029.03/1032.09 c #Conflicts: 292000 | #Constraints: 15684
1029.03/1032.09 c #Conflicts: 293000 | #Constraints: 16684
1029.03/1032.09 c #Conflicts: 294000 | #Constraints: 17684
1029.03/1032.09 c #Conflicts: 295000 | #Constraints: 18684
1029.03/1032.09 c #Conflicts: 296000 | #Constraints: 19684
1029.03/1032.09 c #Conflicts: 297000 | #Constraints: 20684
1029.03/1032.09 c #Conflicts: 298000 | #Constraints: 21684
1029.03/1032.09 c #Conflicts: 299000 | #Constraints: 22684
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 300000 | #Constraints: 12896
1029.03/1032.09 c #Conflicts: 301000 | #Constraints: 13896
1029.03/1032.09 c #Conflicts: 302000 | #Constraints: 14896
1029.03/1032.09 c #Conflicts: 303000 | #Constraints: 15896
1029.03/1032.09 c #Conflicts: 304000 | #Constraints: 16896
1029.03/1032.09 c #Conflicts: 305000 | #Constraints: 17896
1029.03/1032.09 c #Conflicts: 306000 | #Constraints: 18896
1029.03/1032.09 c #Conflicts: 307000 | #Constraints: 19896
1029.03/1032.09 c #Conflicts: 308000 | #Constraints: 20896
1029.03/1032.09 c #Conflicts: 309000 | #Constraints: 21896
1029.03/1032.09 c #Conflicts: 310000 | #Constraints: 22896
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 311000 | #Constraints: 12889
1029.03/1032.09 c #Conflicts: 312000 | #Constraints: 13889
1029.03/1032.09 c #Conflicts: 313000 | #Constraints: 14889
1029.03/1032.09 c #Conflicts: 314000 | #Constraints: 15889
1029.03/1032.09 c #Conflicts: 315000 | #Constraints: 16889
1029.03/1032.09 c #Conflicts: 316000 | #Constraints: 17889
1029.03/1032.09 c #Conflicts: 317000 | #Constraints: 18889
1029.03/1032.09 c #Conflicts: 318000 | #Constraints: 19889
1029.03/1032.09 c #Conflicts: 319000 | #Constraints: 20889
1029.03/1032.09 c #Conflicts: 320000 | #Constraints: 21889
1029.03/1032.09 c #Conflicts: 321000 | #Constraints: 22889
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 322000 | #Constraints: 12688
1029.03/1032.09 c #Conflicts: 323000 | #Constraints: 13688
1029.03/1032.09 c #Conflicts: 324000 | #Constraints: 14688
1029.03/1032.09 c #Conflicts: 325000 | #Constraints: 15688
1029.03/1032.09 c #Conflicts: 326000 | #Constraints: 16688
1029.03/1032.09 c #Conflicts: 327000 | #Constraints: 17688
1029.03/1032.09 c #Conflicts: 328000 | #Constraints: 18688
1029.03/1032.09 c #Conflicts: 329000 | #Constraints: 19688
1029.03/1032.09 c #Conflicts: 330000 | #Constraints: 20688
1029.03/1032.09 c #Conflicts: 331000 | #Constraints: 21688
1029.03/1032.09 c #Conflicts: 332000 | #Constraints: 22688
1029.03/1032.09 c #Conflicts: 333000 | #Constraints: 23688
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 334000 | #Constraints: 13283
1029.03/1032.09 c #Conflicts: 335000 | #Constraints: 14283
1029.03/1032.09 c #Conflicts: 336000 | #Constraints: 15283
1029.03/1032.09 c #Conflicts: 337000 | #Constraints: 16283
1029.03/1032.09 c #Conflicts: 338000 | #Constraints: 17283
1029.03/1032.09 c #Conflicts: 339000 | #Constraints: 18283
1029.03/1032.09 c #Conflicts: 340000 | #Constraints: 19283
1029.03/1032.09 c #Conflicts: 341000 | #Constraints: 20283
1029.03/1032.09 c #Conflicts: 342000 | #Constraints: 21283
1029.03/1032.09 c #Conflicts: 343000 | #Constraints: 22283
1029.03/1032.09 c #Conflicts: 344000 | #Constraints: 23283
1029.03/1032.09 c #Conflicts: 345000 | #Constraints: 24283
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 346000 | #Constraints: 13683
1029.03/1032.09 c #Conflicts: 347000 | #Constraints: 14683
1029.03/1032.09 c #Conflicts: 348000 | #Constraints: 15683
1029.03/1032.09 c #Conflicts: 349000 | #Constraints: 16683
1029.03/1032.09 c #Conflicts: 350000 | #Constraints: 17683
1029.03/1032.09 c #Conflicts: 351000 | #Constraints: 18683
1029.03/1032.09 c #Conflicts: 352000 | #Constraints: 19683
1029.03/1032.09 c #Conflicts: 353000 | #Constraints: 20683
1029.03/1032.09 c #Conflicts: 354000 | #Constraints: 21683
1029.03/1032.09 c #Conflicts: 355000 | #Constraints: 22683
1029.03/1032.09 c #Conflicts: 356000 | #Constraints: 23683
1029.03/1032.09 c #Conflicts: 357000 | #Constraints: 24683
1029.03/1032.09 c INPROCESSING
1029.03/1032.09 c GARBAGE COLLECT
1029.03/1032.09 c #Conflicts: 358000 | #Constraints: 13881
1029.03/1032.09 c #Conflicts: 359000 | #Constraints: 14881
1029.03/1032.09 c #Conflicts: 360000 | #Constraints: 15881
1029.03/1032.09 c #Conflicts: 361000 | #Constraints: 16881
1029.03/1032.09 c #Conflicts: 362000 | #Constraints: 17881
1029.03/1032.09 c #Conflicts: 363000 | #Constraints: 18881
1029.03/1032.09 c #Conflicts: 364000 | #Constraints: 19881
1029.03/1032.09 c #Conflicts: 365000 | #Constraints: 20881
1029.03/1032.09 c #Conflicts: 366000 | #Constraints: 21881
1512.88/1517.22 c #Conflicts: 367000 | #Constraints: 22881
1512.88/1517.22 c #Conflicts: 368000 | #Constraints: 23881
1512.88/1517.22 c #Conflicts: 369000 | #Constraints: 24881
1512.88/1517.22 c INPROCESSING
1512.88/1517.22 c GARBAGE COLLECT
1512.88/1517.22 c #Conflicts: 370000 | #Constraints: 13891
1512.88/1517.22 c #Conflicts: 371000 | #Constraints: 14891
1512.88/1517.22 c #Conflicts: 372000 | #Constraints: 15891
1512.88/1517.22 c #Conflicts: 373000 | #Constraints: 16891
1512.88/1517.22 c #Conflicts: 374000 | #Constraints: 17891
1512.88/1517.22 c #Conflicts: 375000 | #Constraints: 18891
1512.88/1517.22 c #Conflicts: 376000 | #Constraints: 19891
1512.88/1517.22 c #Conflicts: 377000 | #Constraints: 20891
1512.88/1517.22 c #Conflicts: 378000 | #Constraints: 21891
1512.88/1517.22 c #Conflicts: 379000 | #Constraints: 22891
1512.88/1517.22 c #Conflicts: 380000 | #Constraints: 23891
1512.88/1517.22 c #Conflicts: 381000 | #Constraints: 24891
1512.88/1517.22 c INPROCESSING
1512.88/1517.22 c GARBAGE COLLECT
1512.88/1517.22 c #Conflicts: 382000 | #Constraints: 13692
1512.88/1517.22 c #Conflicts: 383000 | #Constraints: 14692
1512.88/1517.22 c #Conflicts: 384000 | #Constraints: 15692
1512.88/1517.22 c #Conflicts: 385000 | #Constraints: 16692
1512.88/1517.22 c #Conflicts: 386000 | #Constraints: 17692
1512.88/1517.22 c #Conflicts: 387000 | #Constraints: 18692
1512.88/1517.22 c #Conflicts: 388000 | #Constraints: 19692
1512.88/1517.22 c #Conflicts: 389000 | #Constraints: 20692
1512.88/1517.22 c #Conflicts: 390000 | #Constraints: 21692
1512.88/1517.22 c #Conflicts: 391000 | #Constraints: 22692
1512.88/1517.22 c #Conflicts: 392000 | #Constraints: 23692
1512.88/1517.22 c #Conflicts: 393000 | #Constraints: 24692
1512.88/1517.22 c #Conflicts: 394000 | #Constraints: 25692
1512.88/1517.22 c INPROCESSING
1512.88/1517.22 c GARBAGE COLLECT
1512.88/1517.22 c #Conflicts: 395000 | #Constraints: 14288
1512.88/1517.22 c #Conflicts: 396000 | #Constraints: 15288
1512.88/1517.22 c #Conflicts: 397000 | #Constraints: 16288
1512.88/1517.22 c #Conflicts: 398000 | #Constraints: 17288
1512.88/1517.22 c #Conflicts: 399000 | #Constraints: 18288
1512.88/1517.22 c #Conflicts: 400000 | #Constraints: 19288
1512.88/1517.22 c #Conflicts: 401000 | #Constraints: 20288
1512.88/1517.22 c #Conflicts: 402000 | #Constraints: 21288
1512.88/1517.22 c #Conflicts: 403000 | #Constraints: 22288
1512.88/1517.22 c #Conflicts: 404000 | #Constraints: 23288
1512.88/1517.22 c #Conflicts: 405000 | #Constraints: 24288
1512.88/1517.22 c #Conflicts: 406000 | #Constraints: 25288
1512.88/1517.22 c #Conflicts: 407000 | #Constraints: 26288
1512.88/1517.22 c INPROCESSING
1512.88/1517.22 c GARBAGE COLLECT
1512.88/1517.22 c #Conflicts: 408000 | #Constraints: 14692
1512.88/1517.22 c #Conflicts: 409000 | #Constraints: 15692
1512.88/1517.22 c #Conflicts: 410000 | #Constraints: 16692
1512.88/1517.22 c #Conflicts: 411000 | #Constraints: 17692
1512.88/1517.22 c #Conflicts: 412000 | #Constraints: 18692
1512.88/1517.22 c #Conflicts: 413000 | #Constraints: 19692
1512.88/1517.22 c #Conflicts: 414000 | #Constraints: 20692
1512.88/1517.22 c #Conflicts: 415000 | #Constraints: 21692
1512.88/1517.22 c #Conflicts: 416000 | #Constraints: 22692
1512.88/1517.22 c #Conflicts: 417000 | #Constraints: 23692
1512.88/1517.22 c #Conflicts: 418000 | #Constraints: 24692
1512.88/1517.22 c #Conflicts: 419000 | #Constraints: 25692
1512.88/1517.22 c #Conflicts: 420000 | #Constraints: 26692
1512.88/1517.22 c #Conflicts: 421000 | #Constraints: 27692
1512.88/1517.22 c #Conflicts: 422000 | #Constraints: 28692
1512.88/1517.22 c #Conflicts: 423000 | #Constraints: 29692
1512.88/1517.22 c #Conflicts: 424000 | #Constraints: 30692
1512.88/1517.22 c #Conflicts: 425000 | #Constraints: 31692
1512.88/1517.22 c #Conflicts: 426000 | #Constraints: 32692
1512.88/1517.22 c #Conflicts: 427000 | #Constraints: 33692
1512.88/1517.22 c #Conflicts: 428000 | #Constraints: 34692
1512.88/1517.22 c #Conflicts: 429000 | #Constraints: 35692
1512.88/1517.22 c #Conflicts: 430000 | #Constraints: 36692
1512.88/1517.22 c #Conflicts: 431000 | #Constraints: 37692
1512.88/1517.22 c #Conflicts: 432000 | #Constraints: 38692
1512.88/1517.22 c #Conflicts: 433000 | #Constraints: 39692
1512.88/1517.22 c #Conflicts: 434000 | #Constraints: 40692
1512.88/1517.22 c #Conflicts: 435000 | #Constraints: 41692
1512.88/1517.22 c #Conflicts: 436000 | #Constraints: 42692
1512.88/1517.22 c #Conflicts: 437000 | #Constraints: 43692
1512.88/1517.22 c #Conflicts: 438000 | #Constraints: 44692
1512.88/1517.22 c #Conflicts: 439000 | #Constraints: 45692
1512.88/1517.22 c #Conflicts: 440000 | #Constraints: 46692
1512.88/1517.22 c #Conflicts: 441000 | #Constraints: 47692
1512.88/1517.22 c #Conflicts: 442000 | #Constraints: 48692
2594.54/2602.03 c #Conflicts: 443000 | #Constraints: 49692
2594.54/2602.03 c #Conflicts: 444000 | #Constraints: 50692
2594.54/2602.03 c #Conflicts: 445000 | #Constraints: 51692
2594.54/2602.03 c #Conflicts: 446000 | #Constraints: 52692
2594.54/2602.03 c #Conflicts: 447000 | #Constraints: 53692
2594.54/2602.03 c #Conflicts: 448000 | #Constraints: 54692
2594.54/2602.03 c #Conflicts: 449000 | #Constraints: 55692
2594.54/2602.03 c #Conflicts: 450000 | #Constraints: 56692
2594.54/2602.03 c #Conflicts: 451000 | #Constraints: 57692
2594.54/2602.03 c #Conflicts: 452000 | #Constraints: 58692
2594.54/2602.03 c #Conflicts: 453000 | #Constraints: 59692
2594.54/2602.03 c #Conflicts: 454000 | #Constraints: 60692
2594.54/2602.03 c #Conflicts: 455000 | #Constraints: 61692
2594.54/2602.03 c #Conflicts: 456000 | #Constraints: 62692
2594.54/2602.03 c #Conflicts: 457000 | #Constraints: 63692
2594.54/2602.03 c #Conflicts: 458000 | #Constraints: 64692
2594.54/2602.03 c #Conflicts: 459000 | #Constraints: 65692
2594.54/2602.03 c #Conflicts: 460000 | #Constraints: 66692
2594.54/2602.03 c #Conflicts: 461000 | #Constraints: 67692
2594.54/2602.03 c #Conflicts: 462000 | #Constraints: 68692
2594.54/2602.03 c #Conflicts: 463000 | #Constraints: 69692
2594.54/2602.03 c #Conflicts: 464000 | #Constraints: 70692
2594.54/2602.03 c #Conflicts: 465000 | #Constraints: 71692
2594.54/2602.03 c #Conflicts: 466000 | #Constraints: 72692
2594.54/2602.03 c #Conflicts: 467000 | #Constraints: 73692
2594.54/2602.03 c #Conflicts: 468000 | #Constraints: 74692
2594.54/2602.03 c #Conflicts: 469000 | #Constraints: 75692
2594.54/2602.03 c #Conflicts: 470000 | #Constraints: 76692
2594.54/2602.03 c INPROCESSING
2594.54/2602.03 c GARBAGE COLLECT
2594.54/2602.03 c #Conflicts: 471000 | #Constraints: 39688
2594.54/2602.03 c #Conflicts: 472000 | #Constraints: 40688
2594.54/2602.03 c #Conflicts: 473000 | #Constraints: 41688
2594.54/2602.03 c #Conflicts: 474000 | #Constraints: 42688
2594.54/2602.03 c #Conflicts: 475000 | #Constraints: 43688
2594.54/2602.03 c #Conflicts: 476000 | #Constraints: 44688
2594.54/2602.03 c #Conflicts: 477000 | #Constraints: 45688
2594.54/2602.03 c #Conflicts: 478000 | #Constraints: 46688
2594.54/2602.03 c #Conflicts: 479000 | #Constraints: 47688
2594.54/2602.03 c #Conflicts: 480000 | #Constraints: 48688
2594.54/2602.03 c #Conflicts: 481000 | #Constraints: 49688
2594.54/2602.03 c #Conflicts: 482000 | #Constraints: 50688
2594.54/2602.03 c #Conflicts: 483000 | #Constraints: 51688
2594.54/2602.03 c #Conflicts: 484000 | #Constraints: 52688
2594.54/2602.03 c INPROCESSING
2594.54/2602.03 c GARBAGE COLLECT
2594.54/2602.03 c #Conflicts: 485000 | #Constraints: 27649
2594.54/2602.03 c #Conflicts: 486000 | #Constraints: 28649
2594.54/2602.03 c #Conflicts: 487000 | #Constraints: 29649
2594.54/2602.03 c #Conflicts: 488000 | #Constraints: 30649
2594.54/2602.03 c #Conflicts: 489000 | #Constraints: 31649
2594.54/2602.03 c #Conflicts: 490000 | #Constraints: 32649
2594.54/2602.03 c #Conflicts: 491000 | #Constraints: 33649
2594.54/2602.03 c #Conflicts: 492000 | #Constraints: 34649
2594.54/2602.03 c #Conflicts: 493000 | #Constraints: 35649
2594.54/2602.03 c #Conflicts: 494000 | #Constraints: 36649
2594.54/2602.03 c #Conflicts: 495000 | #Constraints: 37649
2594.54/2602.03 c #Conflicts: 496000 | #Constraints: 38649
2594.54/2602.03 c #Conflicts: 497000 | #Constraints: 39649
2594.54/2602.03 c #Conflicts: 498000 | #Constraints: 40649
2594.54/2602.03 c INPROCESSING
2594.54/2602.03 c GARBAGE COLLECT
2594.54/2602.03 c #Conflicts: 499000 | #Constraints: 21482
2594.54/2602.03 c #Conflicts: 500000 | #Constraints: 22482
2594.54/2602.03 c #Conflicts: 501000 | #Constraints: 23482
2594.54/2602.03 c #Conflicts: 502000 | #Constraints: 24482
2594.54/2602.03 c #Conflicts: 503000 | #Constraints: 25482
2594.54/2602.03 c #Conflicts: 504000 | #Constraints: 26482
2594.54/2602.03 c #Conflicts: 505000 | #Constraints: 27482
2594.54/2602.03 c #Conflicts: 506000 | #Constraints: 28482
2594.54/2602.03 c #Conflicts: 507000 | #Constraints: 29482
2594.54/2602.03 c #Conflicts: 508000 | #Constraints: 30482
2594.54/2602.03 c #Conflicts: 509000 | #Constraints: 31482
2594.54/2602.03 c #Conflicts: 510000 | #Constraints: 32482
2594.54/2602.03 c #Conflicts: 511000 | #Constraints: 33482
2594.54/2602.03 c #Conflicts: 512000 | #Constraints: 34482
2594.54/2602.03 c #Conflicts: 513000 | #Constraints: 35482
2594.54/2602.03 c INPROCESSING
2594.54/2602.03 c GARBAGE COLLECT
2594.54/2602.03 c #Conflicts: 514000 | #Constraints: 19149
2594.54/2602.03 c #Conflicts: 515000 | #Constraints: 20149
2594.54/2602.03 c #Conflicts: 516000 | #Constraints: 21149
2594.54/2602.03 c #Conflicts: 517000 | #Constraints: 22149
2594.54/2602.03 c #Conflicts: 518000 | #Constraints: 23149
3600.01/3610.30 c #Conflicts: 519000 | #Constraints: 24149
3600.01/3610.30 c #Conflicts: 520000 | #Constraints: 25149
3600.01/3610.30 c #Conflicts: 521000 | #Constraints: 26149
3600.01/3610.30 c #Conflicts: 522000 | #Constraints: 27149
3600.01/3610.30 c #Conflicts: 523000 | #Constraints: 28149
3600.01/3610.30 c #Conflicts: 524000 | #Constraints: 29149
3600.01/3610.30 c #Conflicts: 525000 | #Constraints: 30149
3600.01/3610.30 c #Conflicts: 526000 | #Constraints: 31149
3600.01/3610.30 c #Conflicts: 527000 | #Constraints: 32149
3600.01/3610.30 c #Conflicts: 528000 | #Constraints: 33149
3600.01/3610.30 c INPROCESSING
3600.01/3610.30 c GARBAGE COLLECT
3600.01/3610.30 c #Conflicts: 529000 | #Constraints: 18126
3600.01/3610.30 c #Conflicts: 530000 | #Constraints: 19126
3600.01/3610.30 c #Conflicts: 531000 | #Constraints: 20126
3600.01/3610.30 c #Conflicts: 532000 | #Constraints: 21126
3600.01/3610.30 c #Conflicts: 533000 | #Constraints: 22126
3600.01/3610.30 c #Conflicts: 534000 | #Constraints: 23126
3600.01/3610.30 c #Conflicts: 535000 | #Constraints: 24126
3600.01/3610.30 c #Conflicts: 536000 | #Constraints: 25126
3600.01/3610.30 c #Conflicts: 537000 | #Constraints: 26126
3600.01/3610.30 c #Conflicts: 538000 | #Constraints: 27126
3600.01/3610.30 c #Conflicts: 539000 | #Constraints: 28126
3600.01/3610.30 c #Conflicts: 540000 | #Constraints: 29126
3600.01/3610.30 c #Conflicts: 541000 | #Constraints: 30126
3600.01/3610.30 c #Conflicts: 542000 | #Constraints: 31126
3600.01/3610.30 c #Conflicts: 543000 | #Constraints: 32126
3600.01/3610.30 c #Conflicts: 544000 | #Constraints: 33126
3600.01/3610.30 c #Conflicts: 545000 | #Constraints: 34126
3600.01/3610.30 c #Conflicts: 546000 | #Constraints: 35126
3600.01/3610.30 c #Conflicts: 547000 | #Constraints: 36126
3600.01/3610.30 c #Conflicts: 548000 | #Constraints: 37126
3600.01/3610.30 c #Conflicts: 549000 | #Constraints: 38126
3600.01/3610.30 c #Conflicts: 550000 | #Constraints: 39126
3600.01/3610.30 c #Conflicts: 551000 | #Constraints: 40126
3600.01/3610.30 c #Conflicts: 552000 | #Constraints: 41126
3600.01/3610.30 c #Conflicts: 553000 | #Constraints: 42126
3600.01/3610.30 c #Conflicts: 554000 | #Constraints: 43126
3600.01/3610.30 c #Conflicts: 555000 | #Constraints: 44126
3600.01/3610.30 c #Conflicts: 556000 | #Constraints: 45126
3600.01/3610.30 c #Conflicts: 557000 | #Constraints: 46126
3600.01/3610.30 c #Conflicts: 558000 | #Constraints: 47126
3600.01/3610.30 c #Conflicts: 559000 | #Constraints: 48126
3600.01/3610.30 c #Conflicts: 560000 | #Constraints: 49126
3600.01/3610.30 c #Conflicts: 561000 | #Constraints: 50126
3600.01/3610.30 c #Conflicts: 562000 | #Constraints: 51126
3600.01/3610.30 c #Conflicts: 563000 | #Constraints: 52126
3600.01/3610.30 c #Conflicts: 564000 | #Constraints: 53126
3600.01/3610.30 c #Conflicts: 565000 | #Constraints: 54126
3600.01/3610.30 c #Conflicts: 566000 | #Constraints: 55126
3600.01/3610.30 c #Conflicts: 567000 | #Constraints: 56126
3600.01/3610.30 c #Conflicts: 568000 | #Constraints: 57126
3600.01/3610.30 c #Conflicts: 569000 | #Constraints: 58126
3600.01/3610.30 c #Conflicts: 570000 | #Constraints: 59126
3600.01/3610.30 c #Conflicts: 571000 | #Constraints: 60126
3600.01/3610.30 c #Conflicts: 572000 | #Constraints: 61126
3600.01/3610.30 c #Conflicts: 573000 | #Constraints: 62126
3600.01/3610.30 c #Conflicts: 574000 | #Constraints: 63126
3600.01/3610.30 c #Conflicts: 575000 | #Constraints: 64126
3600.01/3610.30 c #Conflicts: 576000 | #Constraints: 65126
3600.01/3610.30 c #Conflicts: 577000 | #Constraints: 66126
3600.01/3610.30 c #Conflicts: 578000 | #Constraints: 67126
3600.01/3610.30 c #Conflicts: 579000 | #Constraints: 68126
3600.01/3610.30 c #Conflicts: 580000 | #Constraints: 69126
3600.01/3610.30 c #Conflicts: 581000 | #Constraints: 70126
3600.01/3610.30 c #Conflicts: 582000 | #Constraints: 71126
3600.01/3610.30 c #Conflicts: 583000 | #Constraints: 72126
3600.01/3610.30 c #Conflicts: 584000 | #Constraints: 73126
3600.01/3610.30 c #Conflicts: 585000 | #Constraints: 74126
3600.01/3610.30 c #Conflicts: 586000 | #Constraints: 75126
3600.01/3610.30 c #Conflicts: 587000 | #Constraints: 76126
3600.01/3610.30 c #Conflicts: 588000 | #Constraints: 77126
3600.01/3610.30 c #Conflicts: 589000 | #Constraints: 78126
3600.01/3610.30 c #Conflicts: 590000 | #Constraints: 79126
3600.01/3610.30 c #Conflicts: 591000 | #Constraints: 80126
3600.01/3610.30 c #Conflicts: 592000 | #Constraints: 81126
3600.01/3610.30 c #Conflicts: 593000 | #Constraints: 82126
3600.01/3610.30 c #Conflicts: 594000 | #Constraints: 83126
3600.01/3610.30 c #Conflicts: 595000 | #Constraints: 84126
3600.01/3610.30 c Program interrupted by user.
3600.01/3610.30 c cpu time 3588.29 s
3600.01/3610.30 c deterministic time 297161538914 2.97e+11
3600.01/3610.30 c optimization time 960.791 s
3600.01/3610.30 c total solve time 2627.5 s
3600.01/3610.30 c core-guided solve time 2627.5 s
3600.01/3610.30 c propagation time 3246.92 s
3600.01/3610.30 c conflict analysis time 317.989 s
3600.01/3610.30 c propagations 69544577
3600.01/3610.30 c resolve steps 6552076
3600.01/3610.30 c decisions 8034177
3600.01/3610.30 c conflicts 595185
3600.01/3610.30 c restarts 1275
3600.01/3610.30 c inprocessing phases 60
3600.01/3610.30 c input clauses 203
3600.01/3610.30 c input cardinalities 400
3600.01/3610.30 c input general constraints 651
3600.01/3610.30 c input average constraint length 49.01
3600.01/3610.30 c input average constraint degree 24.43
3600.01/3610.30 c learned clauses 173302
3600.01/3610.30 c learned cardinalities 2901
3600.01/3610.30 c learned general constraints 419010
3600.01/3610.30 c learned average constraint length 179.50
3600.01/3610.30 c learned average constraint degree 1687379.70
3600.01/3610.30 c watched constraints 323480
3600.01/3610.30 c counting constraints 96181
3600.01/3610.30 c gcd simplifications 63102
3600.01/3610.30 c detected cardinalities 2218
3600.01/3610.30 c weakened non-implied lits 11776854
3600.01/3610.30 c weakened non-implying lits 39185
3600.01/3610.30 c original variables 481
3600.01/3610.30 c clausal propagations 11778333
3600.01/3610.30 c cardinality propagations 1385096
3600.01/3610.30 c watched propagations 13051158
3600.01/3610.30 c counting propagations 42696712
3600.01/3610.30 c watch lookups 71419449659
3600.01/3610.30 c watch backjump lookups 68662158025
3600.01/3610.30 c watch checks 143531905136
3600.01/3610.30 c propagation checks 12982664468
3600.01/3610.30 c constraint additions 409609033
3600.01/3610.30 c trail pops 78173838
3600.01/3610.30 c formula constraints 481
3600.01/3610.30 c learned constraints 595213
3600.01/3610.30 c bound constraints 110
3600.01/3610.30 c core-guided constraints 663
3600.01/3610.30 c encountered formula constraints 1170197
3600.01/3610.30 c encountered learned constraints 4831326
3600.01/3610.30 c encountered bound constraints 133
3600.01/3610.30 c encountered core-guided constraints 1145605
3600.01/3610.30 c LP total time 0 s
3600.01/3610.30 c LP solve time 0 s
3600.01/3610.30 c LP constraints added 0
3600.01/3610.30 c LP constraints removed 0
3600.01/3610.30 c LP pivots internal 0
3600.01/3610.30 c LP pivots root 0
3600.01/3610.30 c LP calls 0
3600.01/3610.30 c LP optimalities 0
3600.01/3610.30 c LP no pivot count 0
3600.01/3610.30 c LP infeasibilities 0
3600.01/3610.30 c LP valid Farkas constraints 0
3600.01/3610.30 c LP learned Farkas constraints 0
3600.01/3610.30 c LP basis resets 0
3600.01/3610.30 c LP cycling count 0
3600.01/3610.30 c LP singular count 0
3600.01/3610.30 c LP no primal count 0
3600.01/3610.30 c LP no farkas count 0
3600.01/3610.30 c LP other issue count 0
3600.01/3610.30 c LP Gomory cuts 0
3600.01/3610.30 c LP learned cuts 0
3600.01/3610.30 c LP deleted cuts 0
3600.01/3610.30 c LP encountered Gomory constraints 0
3600.01/3610.30 c LP encountered Farkas constraints 0
3600.01/3610.30 c LP encountered learned Farkas constraints 0
3600.01/3610.30 c CG auxiliary variables introduced 288
3600.01/3610.30 c CG solutions found 2
3600.01/3610.30 c CG cores constructed 88
3600.01/3610.30 c CG core cardinality constraints returned 0
3600.01/3610.30 c CG unit cores 0
3600.01/3610.30 c CG single cores 88
3600.01/3610.30 c CG blocks removed during cardinality reduction 0
3600.01/3610.30 c CG first core best 0
3600.01/3610.30 c CG decision core best 0
3600.01/3610.30 c CG core reduction tie 0
3600.01/3610.30 c CG core degree average 1.00
3600.01/3610.30 c CG core slack average 5.76
3600.01/3610.30 c CG exhausted 0
3600.01/3610.30 c CG exhaust time 37.1806 s
3600.01/3610.30 c CG trimmed 6
3600.01/3610.30 c CG trim time 0.017352 s
3600.01/3610.30 c CG minimized 0
3600.01/3610.30 c CG minimize time 0 s
3600.01/3610.30 c CG am1 prop time 0.025318 s
3600.01/3610.30 c CG # am1s reformulated 58
3600.01/3610.30 c CG lower bound derived from am1s 58
3600.01/3610.30 c CG # clausal cores 34
3600.01/3610.30 c CG # cardinality cores 0
3600.01/3610.30 c CG # pb cores 54
3600.01/3610.30 c CG # pb reforms 0
3600.01/3610.30 c CG # cores discarded because of pb reform 0
3600.01/3610.30 d LOWERBOUND 146
3600.01/3610.30 d NCORES 88
3600.01/3610.30 d NPBCORES 54
3600.01/3610.30 d NPBREFORM 0
3600.01/3610.30 d NTRIMMED 6
3600.01/3610.30 d NEXHAUSTED 0
3600.01/3610.30 d NAM1S 58
3600.01/3610.30 d AM1LB 58
3600.01/3610.30 o 217
3600.01/3610.30 s SATISFIABLE
3600.01/3610.30 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 -x16 -x17 -x18 -x19 x20 x21 x22 -x23 x24 -x25 x26 -x27 -x28 -x29 x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 -x66 x67 x68 x69 x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 x83 x84 x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 x102 -x103 -x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 -x132 x133 -x134 x135 x136 -x137 x138 x139 x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 -x152 x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 x167 x168 x169 x170 -x171 -x172 -x173 x174 x175 -x176 x177 x178 x179 -x180 x181 x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 x193 x194 -x195 x196 -x197 -x198 x199 x200 x201 -x202 x203 -x204 x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 x228 x229 x230 -x231 -x232 -x233 x234 -x235 x236 x237 -x238 x239 x240 -x241 x242 x243 x244 x245 -x246 -x247 x248 -x249 x250 x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 x273 x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 x283 x284 -x285 -x286 x287 -x288 -x289 -x290 x291 x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 x307 -x308 x309 x310 x311 x312 x313 -x314 -x315 x316 x317 x318 -x319 x320 x321 x322 -x323 -x324 x325 -x326 x327 -x328 x329 -x330 -x331 -x332 x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 x344 x345 x346 -x347 -x348 x349 -x350 -x351 x352 x353 -x354 x355 x356 x357 -x358 x359 x360 x361 x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 x370 x371 x372 -x373 -x374 -x375 x376 x377 -x378 x379 -x380 x381 x382 -x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 -x394 x395 x396 x397 -x398 -x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 x420 x421 -x422 x423 -x424 x425 x426 x427 x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 -x437 -x438 x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 -x448 x449 x450 -x451 -x452 x453 -x454 x455 -x456 x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481
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: 63665 MiB (62564 MiB free)
memory of node 1: 64507 MiB (60650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488996-1751342732/watcher-4488996-1751342732 -o /tmp/evaluation-result-4488996-1751342732/solver-4488996-1751342732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50527 --watchdog 3760 pb-oll-rs HOME/instance-4488996-1751342732.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51635, runsolver pid=51632
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126168320/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=22404 memory=11500 CPUtime=0.09 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 1213 0 0 0 8 1 0 0 20 0 1 0 49950957 22941696 2875 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 5601 2875 1344 243 0 1850 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22404 KiB
Current children cumulated memory: 11500 KiB
[startup+0.205663 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126166556/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=24304 memory=13292 CPUtime=0.19 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 1674 0 0 0 18 1 0 0 20 0 1 0 49950957 24887296 3323 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 6076 3323 1344 243 0 2325 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24304 KiB
Current children cumulated memory: 13292 KiB
[startup+0.305631 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126164540/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=25160 memory=14828 CPUtime=0.29 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 2044 0 0 0 27 2 0 0 20 0 1 0 49950957 25763840 3707 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 6290 3707 1344 243 0 2539 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25160 KiB
Current children cumulated memory: 14828 KiB
[startup+0.700173 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126161516/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=30328 memory=18156 CPUtime=0.68 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 2871 0 0 0 65 3 0 0 20 0 1 0 49950957 31055872 4539 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 7582 4539 1344 243 0 3831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30328 KiB
Current children cumulated memory: 18156 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126157484/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=38368 memory=25500 CPUtime=1.48 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 4215 0 0 0 142 6 0 0 20 0 1 0 49950957 39288832 6375 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 9592 6375 1344 243 0 5841 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38368 KiB
Current children cumulated memory: 25500 KiB
[startup+3.10552 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126149692/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=42368 memory=29980 CPUtime=3.08 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 5322 0 0 0 299 9 0 0 20 0 1 0 49950957 43384832 7495 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 10592 7495 1344 243 0 6841 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42368 KiB
Current children cumulated memory: 29980 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 51636
/proc/meminfo: memFree=126144812/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=52144 memory=38016 CPUtime=6.26 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 6323 0 0 0 610 16 0 0 20 0 1 0 49950957 53395456 9504 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 13036 9504 1344 243 0 9285 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52144 KiB
Current children cumulated memory: 38016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 51637
/proc/meminfo: memFree=126134688/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=60716 memory=46500 CPUtime=12.65 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 7923 0 0 0 1234 31 0 0 20 0 1 0 49950957 62173184 11625 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 15179 11625 1344 243 0 11428 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60716 KiB
Current children cumulated memory: 46500 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 51637
/proc/meminfo: memFree=126110860/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=77708 memory=54344 CPUtime=25.41 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 9393 0 0 0 2493 48 0 0 20 0 1 0 49950957 79572992 13586 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 19427 13586 1344 243 0 15676 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 77708 KiB
Current children cumulated memory: 54344 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 51637
/proc/meminfo: memFree=126041680/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=84172 memory=66536 CPUtime=50.95 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 10911 0 0 0 5021 74 0 0 20 0 1 0 49950957 86192128 16634 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 21043 16634 1344 243 0 17292 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 84172 KiB
Current children cumulated memory: 66536 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 51639
/proc/meminfo: memFree=125941008/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=107536 memory=75084 CPUtime=102 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 12517 0 0 0 10084 116 0 0 20 0 1 0 49950957 110116864 18771 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 26884 18771 1344 243 0 23133 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 107536 KiB
Current children cumulated memory: 75084 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 51641
/proc/meminfo: memFree=125837332/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=122280 memory=91408 CPUtime=161.83 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 15072 0 0 0 16027 156 0 0 20 0 1 0 49950957 125214720 22852 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 30570 22852 1344 243 0 26819 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 122280 KiB
Current children cumulated memory: 91408 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 51643
/proc/meminfo: memFree=125786076/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=127752 memory=94864 CPUtime=221.68 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 15961 0 0 0 21970 198 0 0 20 0 1 0 49950957 130818048 23716 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 31938 23716 1344 243 0 28187 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 127752 KiB
Current children cumulated memory: 94864 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 51645
/proc/meminfo: memFree=125704156/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=130680 memory=97168 CPUtime=281.52 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 16550 0 0 0 27902 250 0 0 20 0 1 0 49950957 133816320 24292 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 32670 24292 1344 243 0 28919 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 130680 KiB
Current children cumulated memory: 97168 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 51648
/proc/meminfo: memFree=125648588/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=132148 memory=98448 CPUtime=341.37 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 16857 0 0 0 33847 290 0 0 20 0 1 0 49950957 135319552 24612 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 33037 24612 1344 243 0 29286 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 132148 KiB
Current children cumulated memory: 98448 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 51650
/proc/meminfo: memFree=125589796/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=132408 memory=98704 CPUtime=401.2 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 16942 0 0 0 39796 324 0 0 20 0 1 0 49950957 135585792 24676 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 33102 24676 1344 243 0 29351 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 132408 KiB
Current children cumulated memory: 98704 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/264 51655
/proc/meminfo: memFree=125555632/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=134024 memory=99984 CPUtime=461.03 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 17307 0 0 0 45742 361 0 0 20 0 1 0 49950957 137240576 24996 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 33506 24996 1344 243 0 29755 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 184696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 51777
/proc/meminfo: memFree=124628852/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=2913.95 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29718 0 0 0 290311 1084 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 51779
/proc/meminfo: memFree=124628540/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=2973.78 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29718 0 0 0 296283 1095 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 51785
/proc/meminfo: memFree=124628188/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=3033.59 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29718 0 0 0 302255 1104 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 51787
/proc/meminfo: memFree=124628316/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=3093.42 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29718 0 0 0 308228 1114 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/263 51790
/proc/meminfo: memFree=124605920/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=3153.24 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29777 0 0 0 314204 1120 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/263 51792
/proc/meminfo: memFree=124584164/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184696 CPUtime=3213.07 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29787 0 0 0 320179 1128 0 0 20 0 1 0 49950957 214392832 46174 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46174 1344 243 0 48591 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 51794
/proc/meminfo: memFree=124571340/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209368 memory=184824 CPUtime=3272.9 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29801 0 0 0 326155 1135 0 0 20 0 1 0 49950957 214392832 46206 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52342 46206 1344 243 0 48591 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 209368 KiB
Current children cumulated memory: 184824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 51807
/proc/meminfo: memFree=124572244/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=209624 memory=184884 CPUtime=3332.73 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 29879 0 0 0 332131 1142 0 0 20 0 1 0 49950957 214654976 46221 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52406 46221 1344 243 0 48655 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 209624 KiB
Current children cumulated memory: 184884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 51809
/proc/meminfo: memFree=124584852/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=210320 memory=185036 CPUtime=3392.55 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 30060 0 0 0 338105 1150 0 0 20 0 1 0 49950957 215367680 46259 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52580 46259 1344 243 0 48829 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 210320 KiB
Current children cumulated memory: 185036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 51903
/proc/meminfo: memFree=125883084/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=210892 memory=185448 CPUtime=3452.39 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 30284 0 0 0 344082 1157 0 0 20 0 1 0 49950957 215953408 46362 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52723 46362 1344 243 0 48972 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 210892 KiB
Current children cumulated memory: 185448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/263 51905
/proc/meminfo: memFree=125873748/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=211660 memory=187760 CPUtime=3512.24 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 30503 0 0 0 350061 1163 0 0 20 0 1 0 49950957 216739840 46940 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 52915 46940 1344 243 0 49164 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 211660 KiB
Current children cumulated memory: 187760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 51952
/proc/meminfo: memFree=126582968/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=213576 memory=190632 CPUtime=3572.08 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 30932 0 0 0 356039 1169 0 0 20 0 1 0 49950957 218701824 47658 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 53394 47658 1344 243 0 49643 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 213576 KiB
Current children cumulated memory: 190632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 51952
/proc/meminfo: memFree=126560664/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=214468 memory=193036 CPUtime=3600.01 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 31122 0 0 0 358829 1172 0 0 20 0 1 0 49950957 219615232 48259 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 53617 48259 1344 243 0 49866 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 214468 KiB
Current children cumulated memory: 193036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 51635 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.29 s, system=11.7298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 51952
/proc/meminfo: memFree=126560664/131249996 swapFree=33010684/33010684
[pid=51635] ppid=51632 vsize=214468 memory=193036 CPUtime=3600.01 cores=1,3
/proc/51635/stat : 51635 (pb-oll-rs) R 51632 51635 50515 0 -1 4194304 31122 0 0 0 358829 1172 0 0 20 0 1 0 49950957 219615232 48259 18446744073709551615 4218880 5211445 140732653461232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6594560 140732653468060 140732653468137 140732653468137 140732653473739 0
/proc/51635/statm: 53617 48259 1344 243 0 49866 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 214468 KiB
Current children cumulated memory: 193036 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.02
CPU user time (s): 3588.29
CPU system time (s): 11.7298
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 214468
Max. memory (cumulated for all children) (KiB): 193036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.29
system time used= 11.7298
maximum resident set size= 193268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31137
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= 126
involuntary context switches= 6018
# summary of solver processes directly reported to runsolver:
# pid: 51635
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.29
# total CPU system time (s): 11.7298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12824 second user time and 17.3623 second system time
The end
Begin job on nodeC017 at 2025-07-01 06:05:32
IDJOB=4488996
IDBENCH=147536
IDSOLVER=3345
FILE ID=nodeC017/4488996-1751342732
RUNJOBID= nodeC017-1751338915-50527
SLURM_JOB_ID= 9594401
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488996-1751342732/watcher-4488996-1751342732 -o /tmp/evaluation-result-4488996-1751342732/solver-4488996-1751342732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50527 --watchdog 3760 pb-oll-rs HOME/instance-4488996-1751342732.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=1312783235
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.057
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.526
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3644.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126172240 kB
MemAvailable: 129028412 kB
Buffers: 2380 kB
Cached: 3626732 kB
SwapCached: 0 kB
Active: 1084868 kB
Inactive: 3321072 kB
Active(anon): 794896 kB
Inactive(anon): 12 kB
Active(file): 289972 kB
Inactive(file): 3321060 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1628 kB
Writeback: 0 kB
AnonPages: 779452 kB
Mapped: 107152 kB
Shmem: 18080 kB
KReclaimable: 168360 kB
Slab: 256980 kB
SReclaimable: 168360 kB
SUnreclaim: 88620 kB
KernelStack: 4304 kB
PageTables: 4652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1268376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC017 at 2025-07-01 07:05:43