0.00/0.16 c RoundingSat 2
0.00/0.16 c branch
0.00/0.16 c commit
0.00/0.16 c with Papilo
0.00/0.16 c with SCIP
0.00/0.16 c [STEP] parsing instance
0.00/0.17 c [STEP] preprocessing with Papilo
0.00/0.20 c [STEP] solving with SCIP
299.23/300.32 c [STEP] preprocessing done, loading into solver
299.23/300.32 c [STEP] solving
299.23/300.32 c #variables 479 #constraints 478
299.23/300.32 c SMALL=int, LARGE=long long
299.23/300.32 d SCIPUB 196
299.23/300.32 c bounds - >= 0 @ 299.09
299.23/300.32 c stratification level: 0
320.26/321.42 c bounds - >= 55 @ 299.09
320.26/321.42 c bounds - >= 56 @ 299.09
320.26/321.42 c bounds - >= 57 @ 299.09
320.26/321.42 c bounds - >= 58 @ 299.091
320.26/321.42 c bounds - >= 59 @ 299.091
320.26/321.42 c bounds - >= 60 @ 299.091
320.26/321.42 c bounds - >= 61 @ 299.091
320.26/321.42 c bounds - >= 62 @ 299.091
320.26/321.42 c bounds - >= 63 @ 299.091
320.26/321.42 c bounds - >= 64 @ 299.091
320.26/321.42 c bounds - >= 65 @ 299.091
320.26/321.42 c bounds - >= 66 @ 299.091
320.26/321.42 c bounds - >= 67 @ 299.091
320.26/321.42 c bounds - >= 68 @ 299.091
320.26/321.42 c bounds - >= 69 @ 299.092
320.26/321.42 c bounds - >= 70 @ 299.092
320.26/321.42 c bounds - >= 71 @ 299.092
320.26/321.42 c bounds - >= 72 @ 299.092
320.26/321.42 c bounds - >= 73 @ 299.092
320.26/321.42 c bounds - >= 74 @ 299.092
320.26/321.42 c bounds - >= 75 @ 299.092
320.26/321.42 c bounds - >= 76 @ 299.092
320.26/321.42 c bounds - >= 77 @ 299.092
320.26/321.42 c bounds - >= 78 @ 299.093
320.26/321.42 c bounds - >= 79 @ 299.093
320.26/321.42 c bounds - >= 80 @ 299.093
320.26/321.42 c bounds - >= 81 @ 299.093
320.26/321.42 c bounds - >= 82 @ 299.093
320.26/321.42 c bounds - >= 83 @ 299.093
320.26/321.42 c bounds - >= 84 @ 299.093
320.26/321.42 c bounds - >= 85 @ 299.093
320.26/321.42 c bounds - >= 86 @ 299.093
320.26/321.42 c bounds - >= 87 @ 299.093
320.26/321.42 c bounds - >= 88 @ 299.093
320.26/321.42 c bounds - >= 89 @ 299.093
320.26/321.42 c bounds - >= 90 @ 299.093
320.26/321.42 c bounds - >= 91 @ 299.093
320.26/321.42 c bounds - >= 92 @ 299.093
320.26/321.42 c bounds - >= 93 @ 299.093
320.26/321.42 c bounds - >= 94 @ 299.093
320.26/321.42 c bounds - >= 95 @ 299.094
320.26/321.42 c bounds - >= 96 @ 299.094
320.26/321.42 c bounds - >= 97 @ 299.094
320.26/321.42 c bounds - >= 98 @ 299.094
320.26/321.42 c bounds - >= 99 @ 299.094
320.26/321.42 c bounds - >= 100 @ 299.094
320.26/321.42 c bounds - >= 101 @ 299.094
320.26/321.42 c bounds - >= 102 @ 299.094
320.26/321.42 c bounds - >= 103 @ 299.095
320.26/321.42 c bounds - >= 104 @ 299.095
320.26/321.42 c bounds - >= 105 @ 299.095
320.26/321.42 c bounds - >= 106 @ 299.095
320.26/321.42 c bounds - >= 107 @ 299.095
320.26/321.42 c bounds - >= 108 @ 299.095
320.26/321.42 c bounds - >= 109 @ 299.095
320.26/321.42 c bounds - >= 110 @ 299.095
320.26/321.42 c bounds - >= 111 @ 299.095
320.26/321.42 c bounds - >= 112 @ 299.096
320.26/321.42 c bounds - >= 113 @ 299.096
320.26/321.42 c bounds - >= 114 @ 299.096
320.26/321.42 c bounds - >= 115 @ 299.096
320.26/321.42 c bounds - >= 116 @ 299.096
320.26/321.42 c bounds - >= 117 @ 299.096
320.26/321.42 c bounds - >= 118 @ 299.096
320.26/321.42 c bounds - >= 119 @ 299.096
320.26/321.42 c bounds - >= 120 @ 299.096
320.26/321.42 c bounds - >= 121 @ 299.096
320.26/321.42 c bounds - >= 122 @ 299.096
320.26/321.42 c bounds - >= 123 @ 299.096
320.26/321.42 c bounds - >= 124 @ 299.096
320.26/321.42 c bounds - >= 125 @ 299.097
320.26/321.42 c bounds - >= 126 @ 299.097
320.26/321.42 c bounds - >= 127 @ 299.097
320.26/321.42 c bounds - >= 128 @ 299.097
320.26/321.42 c bounds - >= 129 @ 299.097
320.26/321.42 c bounds - >= 130 @ 299.097
320.26/321.42 c bounds - >= 131 @ 299.097
320.26/321.42 c bounds - >= 132 @ 299.098
320.26/321.42 c #Conflicts: 1000 | #Constraints: 1618
320.26/321.42 c #Conflicts: 2000 | #Constraints: 2618
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 3000 | #Constraints: 2542
320.26/321.42 c #Conflicts: 4000 | #Constraints: 3542
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 5000 | #Constraints: 2947
320.26/321.42 c #Conflicts: 6000 | #Constraints: 3947
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 7000 | #Constraints: 2950
320.26/321.42 c #Conflicts: 8000 | #Constraints: 3950
320.26/321.42 c #Conflicts: 9000 | #Constraints: 4950
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 10000 | #Constraints: 3652
320.26/321.42 c #Conflicts: 11000 | #Constraints: 4652
320.26/321.42 c #Conflicts: 12000 | #Constraints: 5652
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 13000 | #Constraints: 4105
320.26/321.42 c #Conflicts: 14000 | #Constraints: 5105
320.26/321.42 c #Conflicts: 15000 | #Constraints: 6105
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 16000 | #Constraints: 4333
320.26/321.42 c #Conflicts: 17000 | #Constraints: 5333
320.26/321.42 c #Conflicts: 18000 | #Constraints: 6333
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 19000 | #Constraints: 4340
320.26/321.42 c #Conflicts: 20000 | #Constraints: 5340
320.26/321.42 c #Conflicts: 21000 | #Constraints: 6340
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 22000 | #Constraints: 4148
320.26/321.42 c #Conflicts: 23000 | #Constraints: 5148
320.26/321.42 c #Conflicts: 24000 | #Constraints: 6148
320.26/321.42 c #Conflicts: 25000 | #Constraints: 7148
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 26000 | #Constraints: 4748
320.26/321.42 c #Conflicts: 27000 | #Constraints: 5748
320.26/321.42 c #Conflicts: 28000 | #Constraints: 6748
320.26/321.42 c #Conflicts: 29000 | #Constraints: 7748
320.26/321.42 c INPROCESSING
320.26/321.42 c GARBAGE COLLECT
320.26/321.42 c #Conflicts: 30000 | #Constraints: 5143
320.26/321.42 c #Conflicts: 31000 | #Constraints: 6143
320.26/321.42 c #Conflicts: 32000 | #Constraints: 7143
441.31/442.98 c #Conflicts: 33000 | #Constraints: 8143
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 34000 | #Constraints: 5349
441.31/442.98 c #Conflicts: 35000 | #Constraints: 6349
441.31/442.98 c #Conflicts: 36000 | #Constraints: 7349
441.31/442.98 c #Conflicts: 37000 | #Constraints: 8349
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 38000 | #Constraints: 5349
441.31/442.98 c #Conflicts: 39000 | #Constraints: 6349
441.31/442.98 c #Conflicts: 40000 | #Constraints: 7349
441.31/442.98 c #Conflicts: 41000 | #Constraints: 8349
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 42000 | #Constraints: 5150
441.31/442.98 c #Conflicts: 43000 | #Constraints: 6150
441.31/442.98 c #Conflicts: 44000 | #Constraints: 7150
441.31/442.98 c #Conflicts: 45000 | #Constraints: 8150
441.31/442.98 c #Conflicts: 46000 | #Constraints: 9150
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 47000 | #Constraints: 5748
441.31/442.98 c #Conflicts: 48000 | #Constraints: 6748
441.31/442.98 c #Conflicts: 49000 | #Constraints: 7748
441.31/442.98 c #Conflicts: 50000 | #Constraints: 8748
441.31/442.98 c #Conflicts: 51000 | #Constraints: 9748
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 52000 | #Constraints: 6152
441.31/442.98 c #Conflicts: 53000 | #Constraints: 7152
441.31/442.98 c #Conflicts: 54000 | #Constraints: 8152
441.31/442.98 c #Conflicts: 55000 | #Constraints: 9152
441.31/442.98 c #Conflicts: 56000 | #Constraints: 10152
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 57000 | #Constraints: 6348
441.31/442.98 c #Conflicts: 58000 | #Constraints: 7348
441.31/442.98 c #Conflicts: 59000 | #Constraints: 8348
441.31/442.98 c #Conflicts: 60000 | #Constraints: 9348
441.31/442.98 c #Conflicts: 61000 | #Constraints: 10348
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 62000 | #Constraints: 6355
441.31/442.98 c #Conflicts: 63000 | #Constraints: 7355
441.31/442.98 c #Conflicts: 64000 | #Constraints: 8355
441.31/442.98 c #Conflicts: 65000 | #Constraints: 9355
441.31/442.98 c #Conflicts: 66000 | #Constraints: 10355
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 67000 | #Constraints: 6152
441.31/442.98 c #Conflicts: 68000 | #Constraints: 7152
441.31/442.98 c #Conflicts: 69000 | #Constraints: 8152
441.31/442.98 c #Conflicts: 70000 | #Constraints: 9152
441.31/442.98 c #Conflicts: 71000 | #Constraints: 10152
441.31/442.98 c #Conflicts: 72000 | #Constraints: 11152
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 73000 | #Constraints: 6752
441.31/442.98 c #Conflicts: 74000 | #Constraints: 7752
441.31/442.98 c #Conflicts: 75000 | #Constraints: 8752
441.31/442.98 c #Conflicts: 76000 | #Constraints: 9752
441.31/442.98 c #Conflicts: 77000 | #Constraints: 10752
441.31/442.98 c #Conflicts: 78000 | #Constraints: 11752
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 79000 | #Constraints: 7153
441.31/442.98 c #Conflicts: 80000 | #Constraints: 8153
441.31/442.98 c #Conflicts: 81000 | #Constraints: 9153
441.31/442.98 c #Conflicts: 82000 | #Constraints: 10153
441.31/442.98 c #Conflicts: 83000 | #Constraints: 11153
441.31/442.98 c #Conflicts: 84000 | #Constraints: 12153
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 85000 | #Constraints: 7354
441.31/442.98 c #Conflicts: 86000 | #Constraints: 8354
441.31/442.98 c #Conflicts: 87000 | #Constraints: 9354
441.31/442.98 c #Conflicts: 88000 | #Constraints: 10354
441.31/442.98 c #Conflicts: 89000 | #Constraints: 11354
441.31/442.98 c #Conflicts: 90000 | #Constraints: 12354
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 91000 | #Constraints: 7352
441.31/442.98 c #Conflicts: 92000 | #Constraints: 8352
441.31/442.98 c #Conflicts: 93000 | #Constraints: 9352
441.31/442.98 c #Conflicts: 94000 | #Constraints: 10352
441.31/442.98 c #Conflicts: 95000 | #Constraints: 11352
441.31/442.98 c #Conflicts: 96000 | #Constraints: 12352
441.31/442.98 c INPROCESSING
441.31/442.98 c GARBAGE COLLECT
441.31/442.98 c #Conflicts: 97000 | #Constraints: 7151
441.31/442.98 c #Conflicts: 98000 | #Constraints: 8151
441.31/442.98 c #Conflicts: 99000 | #Constraints: 9151
441.31/442.98 c #Conflicts: 100000 | #Constraints: 10151
441.31/442.98 c #Conflicts: 101000 | #Constraints: 11151
441.31/442.98 c #Conflicts: 102000 | #Constraints: 12151
622.54/624.74 c #Conflicts: 103000 | #Constraints: 13151
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 104000 | #Constraints: 7746
622.54/624.74 c #Conflicts: 105000 | #Constraints: 8746
622.54/624.74 c #Conflicts: 106000 | #Constraints: 9746
622.54/624.74 c #Conflicts: 107000 | #Constraints: 10746
622.54/624.74 c #Conflicts: 108000 | #Constraints: 11746
622.54/624.74 c #Conflicts: 109000 | #Constraints: 12746
622.54/624.74 c #Conflicts: 110000 | #Constraints: 13746
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 111000 | #Constraints: 8154
622.54/624.74 c #Conflicts: 112000 | #Constraints: 9154
622.54/624.74 c #Conflicts: 113000 | #Constraints: 10154
622.54/624.74 c #Conflicts: 114000 | #Constraints: 11154
622.54/624.74 c #Conflicts: 115000 | #Constraints: 12154
622.54/624.74 c #Conflicts: 116000 | #Constraints: 13154
622.54/624.74 c #Conflicts: 117000 | #Constraints: 14154
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 118000 | #Constraints: 8355
622.54/624.74 c #Conflicts: 119000 | #Constraints: 9355
622.54/624.74 c #Conflicts: 120000 | #Constraints: 10355
622.54/624.74 c #Conflicts: 121000 | #Constraints: 11355
622.54/624.74 c #Conflicts: 122000 | #Constraints: 12355
622.54/624.74 c #Conflicts: 123000 | #Constraints: 13355
622.54/624.74 c #Conflicts: 124000 | #Constraints: 14355
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 125000 | #Constraints: 8349
622.54/624.74 c #Conflicts: 126000 | #Constraints: 9349
622.54/624.74 c #Conflicts: 127000 | #Constraints: 10349
622.54/624.74 c #Conflicts: 128000 | #Constraints: 11349
622.54/624.74 c #Conflicts: 129000 | #Constraints: 12349
622.54/624.74 c #Conflicts: 130000 | #Constraints: 13349
622.54/624.74 c #Conflicts: 131000 | #Constraints: 14349
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 132000 | #Constraints: 8149
622.54/624.74 c #Conflicts: 133000 | #Constraints: 9149
622.54/624.74 c #Conflicts: 134000 | #Constraints: 10149
622.54/624.74 c #Conflicts: 135000 | #Constraints: 11149
622.54/624.74 c #Conflicts: 136000 | #Constraints: 12149
622.54/624.74 c #Conflicts: 137000 | #Constraints: 13149
622.54/624.74 c #Conflicts: 138000 | #Constraints: 14149
622.54/624.74 c #Conflicts: 139000 | #Constraints: 15149
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 140000 | #Constraints: 8747
622.54/624.74 c #Conflicts: 141000 | #Constraints: 9747
622.54/624.74 c #Conflicts: 142000 | #Constraints: 10747
622.54/624.74 c #Conflicts: 143000 | #Constraints: 11747
622.54/624.74 c #Conflicts: 144000 | #Constraints: 12747
622.54/624.74 c #Conflicts: 145000 | #Constraints: 13747
622.54/624.74 c #Conflicts: 146000 | #Constraints: 14747
622.54/624.74 c #Conflicts: 147000 | #Constraints: 15747
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 148000 | #Constraints: 9154
622.54/624.74 c #Conflicts: 149000 | #Constraints: 10154
622.54/624.74 c #Conflicts: 150000 | #Constraints: 11154
622.54/624.74 c #Conflicts: 151000 | #Constraints: 12154
622.54/624.74 c #Conflicts: 152000 | #Constraints: 13154
622.54/624.74 c #Conflicts: 153000 | #Constraints: 14154
622.54/624.74 c #Conflicts: 154000 | #Constraints: 15154
622.54/624.74 c #Conflicts: 155000 | #Constraints: 16154
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 156000 | #Constraints: 9352
622.54/624.74 c #Conflicts: 157000 | #Constraints: 10352
622.54/624.74 c #Conflicts: 158000 | #Constraints: 11352
622.54/624.74 c #Conflicts: 159000 | #Constraints: 12352
622.54/624.74 c #Conflicts: 160000 | #Constraints: 13352
622.54/624.74 c #Conflicts: 161000 | #Constraints: 14352
622.54/624.74 c #Conflicts: 162000 | #Constraints: 15352
622.54/624.74 c #Conflicts: 163000 | #Constraints: 16352
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 164000 | #Constraints: 9352
622.54/624.74 c #Conflicts: 165000 | #Constraints: 10352
622.54/624.74 c #Conflicts: 166000 | #Constraints: 11352
622.54/624.74 c #Conflicts: 167000 | #Constraints: 12352
622.54/624.74 c #Conflicts: 168000 | #Constraints: 13352
622.54/624.74 c #Conflicts: 169000 | #Constraints: 14352
622.54/624.74 c #Conflicts: 170000 | #Constraints: 15352
622.54/624.74 c #Conflicts: 171000 | #Constraints: 16352
622.54/624.74 c INPROCESSING
622.54/624.74 c GARBAGE COLLECT
622.54/624.74 c #Conflicts: 172000 | #Constraints: 9153
622.54/624.74 c #Conflicts: 173000 | #Constraints: 10153
622.54/624.74 c #Conflicts: 174000 | #Constraints: 11153
622.54/624.74 c #Conflicts: 175000 | #Constraints: 12153
835.17/837.94 c #Conflicts: 176000 | #Constraints: 13153
835.17/837.94 c #Conflicts: 177000 | #Constraints: 14153
835.17/837.94 c #Conflicts: 178000 | #Constraints: 15153
835.17/837.94 c #Conflicts: 179000 | #Constraints: 16153
835.17/837.94 c #Conflicts: 180000 | #Constraints: 17153
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 181000 | #Constraints: 9756
835.17/837.94 c #Conflicts: 182000 | #Constraints: 10756
835.17/837.94 c #Conflicts: 183000 | #Constraints: 11756
835.17/837.94 c #Conflicts: 184000 | #Constraints: 12756
835.17/837.94 c #Conflicts: 185000 | #Constraints: 13756
835.17/837.94 c #Conflicts: 186000 | #Constraints: 14756
835.17/837.94 c #Conflicts: 187000 | #Constraints: 15756
835.17/837.94 c #Conflicts: 188000 | #Constraints: 16756
835.17/837.94 c #Conflicts: 189000 | #Constraints: 17756
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 190000 | #Constraints: 10158
835.17/837.94 c #Conflicts: 191000 | #Constraints: 11158
835.17/837.94 c #Conflicts: 192000 | #Constraints: 12158
835.17/837.94 c #Conflicts: 193000 | #Constraints: 13158
835.17/837.94 c #Conflicts: 194000 | #Constraints: 14158
835.17/837.94 c #Conflicts: 195000 | #Constraints: 15158
835.17/837.94 c #Conflicts: 196000 | #Constraints: 16158
835.17/837.94 c #Conflicts: 197000 | #Constraints: 17158
835.17/837.94 c #Conflicts: 198000 | #Constraints: 18158
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 199000 | #Constraints: 10363
835.17/837.94 c #Conflicts: 200000 | #Constraints: 11363
835.17/837.94 c #Conflicts: 201000 | #Constraints: 12363
835.17/837.94 c #Conflicts: 202000 | #Constraints: 13363
835.17/837.94 c #Conflicts: 203000 | #Constraints: 14363
835.17/837.94 c #Conflicts: 204000 | #Constraints: 15363
835.17/837.94 c #Conflicts: 205000 | #Constraints: 16363
835.17/837.94 c #Conflicts: 206000 | #Constraints: 17363
835.17/837.94 c #Conflicts: 207000 | #Constraints: 18363
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 208000 | #Constraints: 10360
835.17/837.94 c #Conflicts: 209000 | #Constraints: 11360
835.17/837.94 c #Conflicts: 210000 | #Constraints: 12360
835.17/837.94 c #Conflicts: 211000 | #Constraints: 13360
835.17/837.94 c #Conflicts: 212000 | #Constraints: 14360
835.17/837.94 c #Conflicts: 213000 | #Constraints: 15360
835.17/837.94 c #Conflicts: 214000 | #Constraints: 16360
835.17/837.94 c #Conflicts: 215000 | #Constraints: 17360
835.17/837.94 c #Conflicts: 216000 | #Constraints: 18360
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 217000 | #Constraints: 10164
835.17/837.94 c #Conflicts: 218000 | #Constraints: 11164
835.17/837.94 c #Conflicts: 219000 | #Constraints: 12164
835.17/837.94 c #Conflicts: 220000 | #Constraints: 13164
835.17/837.94 c #Conflicts: 221000 | #Constraints: 14164
835.17/837.94 c #Conflicts: 222000 | #Constraints: 15164
835.17/837.94 c #Conflicts: 223000 | #Constraints: 16164
835.17/837.94 c #Conflicts: 224000 | #Constraints: 17164
835.17/837.94 c #Conflicts: 225000 | #Constraints: 18164
835.17/837.94 c #Conflicts: 226000 | #Constraints: 19164
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 227000 | #Constraints: 10768
835.17/837.94 c #Conflicts: 228000 | #Constraints: 11768
835.17/837.94 c #Conflicts: 229000 | #Constraints: 12768
835.17/837.94 c #Conflicts: 230000 | #Constraints: 13768
835.17/837.94 c #Conflicts: 231000 | #Constraints: 14768
835.17/837.94 c #Conflicts: 232000 | #Constraints: 15768
835.17/837.94 c #Conflicts: 233000 | #Constraints: 16768
835.17/837.94 c #Conflicts: 234000 | #Constraints: 17768
835.17/837.94 c #Conflicts: 235000 | #Constraints: 18768
835.17/837.94 c #Conflicts: 236000 | #Constraints: 19768
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 237000 | #Constraints: 11160
835.17/837.94 c #Conflicts: 238000 | #Constraints: 12160
835.17/837.94 c #Conflicts: 239000 | #Constraints: 13160
835.17/837.94 c #Conflicts: 240000 | #Constraints: 14160
835.17/837.94 c #Conflicts: 241000 | #Constraints: 15160
835.17/837.94 c #Conflicts: 242000 | #Constraints: 16160
835.17/837.94 c #Conflicts: 243000 | #Constraints: 17160
835.17/837.94 c #Conflicts: 244000 | #Constraints: 18160
835.17/837.94 c #Conflicts: 245000 | #Constraints: 19160
835.17/837.94 c #Conflicts: 246000 | #Constraints: 20160
835.17/837.94 c INPROCESSING
835.17/837.94 c GARBAGE COLLECT
835.17/837.94 c #Conflicts: 247000 | #Constraints: 11357
835.17/837.94 c #Conflicts: 248000 | #Constraints: 12357
1097.47/1100.92 c #Conflicts: 249000 | #Constraints: 13357
1097.47/1100.92 c #Conflicts: 250000 | #Constraints: 14357
1097.47/1100.92 c #Conflicts: 251000 | #Constraints: 15357
1097.47/1100.92 c #Conflicts: 252000 | #Constraints: 16357
1097.47/1100.92 c #Conflicts: 253000 | #Constraints: 17357
1097.47/1100.92 c #Conflicts: 254000 | #Constraints: 18357
1097.47/1100.92 c #Conflicts: 255000 | #Constraints: 19357
1097.47/1100.92 c #Conflicts: 256000 | #Constraints: 20357
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 257000 | #Constraints: 11353
1097.47/1100.92 c #Conflicts: 258000 | #Constraints: 12353
1097.47/1100.92 c #Conflicts: 259000 | #Constraints: 13353
1097.47/1100.92 c #Conflicts: 260000 | #Constraints: 14353
1097.47/1100.92 c #Conflicts: 261000 | #Constraints: 15353
1097.47/1100.92 c #Conflicts: 262000 | #Constraints: 16353
1097.47/1100.92 c #Conflicts: 263000 | #Constraints: 17353
1097.47/1100.92 c #Conflicts: 264000 | #Constraints: 18353
1097.47/1100.92 c #Conflicts: 265000 | #Constraints: 19353
1097.47/1100.92 c #Conflicts: 266000 | #Constraints: 20353
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 267000 | #Constraints: 11155
1097.47/1100.92 c #Conflicts: 268000 | #Constraints: 12155
1097.47/1100.92 c #Conflicts: 269000 | #Constraints: 13155
1097.47/1100.92 c #Conflicts: 270000 | #Constraints: 14155
1097.47/1100.92 c #Conflicts: 271000 | #Constraints: 15155
1097.47/1100.92 c #Conflicts: 272000 | #Constraints: 16155
1097.47/1100.92 c #Conflicts: 273000 | #Constraints: 17155
1097.47/1100.92 c #Conflicts: 274000 | #Constraints: 18155
1097.47/1100.92 c #Conflicts: 275000 | #Constraints: 19155
1097.47/1100.92 c #Conflicts: 276000 | #Constraints: 20155
1097.47/1100.92 c #Conflicts: 277000 | #Constraints: 21155
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 278000 | #Constraints: 11760
1097.47/1100.92 c #Conflicts: 279000 | #Constraints: 12760
1097.47/1100.92 c #Conflicts: 280000 | #Constraints: 13760
1097.47/1100.92 c #Conflicts: 281000 | #Constraints: 14760
1097.47/1100.92 c #Conflicts: 282000 | #Constraints: 15760
1097.47/1100.92 c #Conflicts: 283000 | #Constraints: 16760
1097.47/1100.92 c #Conflicts: 284000 | #Constraints: 17760
1097.47/1100.92 c #Conflicts: 285000 | #Constraints: 18760
1097.47/1100.92 c #Conflicts: 286000 | #Constraints: 19760
1097.47/1100.92 c #Conflicts: 287000 | #Constraints: 20760
1097.47/1100.92 c #Conflicts: 288000 | #Constraints: 21760
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 289000 | #Constraints: 12157
1097.47/1100.92 c #Conflicts: 290000 | #Constraints: 13157
1097.47/1100.92 c #Conflicts: 291000 | #Constraints: 14157
1097.47/1100.92 c #Conflicts: 292000 | #Constraints: 15157
1097.47/1100.92 c #Conflicts: 293000 | #Constraints: 16157
1097.47/1100.92 c #Conflicts: 294000 | #Constraints: 17157
1097.47/1100.92 c #Conflicts: 295000 | #Constraints: 18157
1097.47/1100.92 c #Conflicts: 296000 | #Constraints: 19157
1097.47/1100.92 c #Conflicts: 297000 | #Constraints: 20157
1097.47/1100.92 c #Conflicts: 298000 | #Constraints: 21157
1097.47/1100.92 c #Conflicts: 299000 | #Constraints: 22157
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 300000 | #Constraints: 12358
1097.47/1100.92 c #Conflicts: 301000 | #Constraints: 13358
1097.47/1100.92 c #Conflicts: 302000 | #Constraints: 14358
1097.47/1100.92 c #Conflicts: 303000 | #Constraints: 15358
1097.47/1100.92 c #Conflicts: 304000 | #Constraints: 16358
1097.47/1100.92 c #Conflicts: 305000 | #Constraints: 17358
1097.47/1100.92 c #Conflicts: 306000 | #Constraints: 18358
1097.47/1100.92 c #Conflicts: 307000 | #Constraints: 19358
1097.47/1100.92 c #Conflicts: 308000 | #Constraints: 20358
1097.47/1100.92 c #Conflicts: 309000 | #Constraints: 21358
1097.47/1100.92 c #Conflicts: 310000 | #Constraints: 22358
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 311000 | #Constraints: 12354
1097.47/1100.92 c #Conflicts: 312000 | #Constraints: 13354
1097.47/1100.92 c #Conflicts: 313000 | #Constraints: 14354
1097.47/1100.92 c #Conflicts: 314000 | #Constraints: 15354
1097.47/1100.92 c #Conflicts: 315000 | #Constraints: 16354
1097.47/1100.92 c #Conflicts: 316000 | #Constraints: 17354
1097.47/1100.92 c #Conflicts: 317000 | #Constraints: 18354
1097.47/1100.92 c #Conflicts: 318000 | #Constraints: 19354
1097.47/1100.92 c #Conflicts: 319000 | #Constraints: 20354
1097.47/1100.92 c #Conflicts: 320000 | #Constraints: 21354
1097.47/1100.92 c #Conflicts: 321000 | #Constraints: 22354
1097.47/1100.92 c INPROCESSING
1097.47/1100.92 c GARBAGE COLLECT
1097.47/1100.92 c #Conflicts: 322000 | #Constraints: 12158
1097.47/1100.92 c #Conflicts: 323000 | #Constraints: 13158
1426.97/1431.35 c #Conflicts: 324000 | #Constraints: 14158
1426.97/1431.35 c #Conflicts: 325000 | #Constraints: 15158
1426.97/1431.35 c #Conflicts: 326000 | #Constraints: 16158
1426.97/1431.35 c #Conflicts: 327000 | #Constraints: 17158
1426.97/1431.35 c #Conflicts: 328000 | #Constraints: 18158
1426.97/1431.35 c #Conflicts: 329000 | #Constraints: 19158
1426.97/1431.35 c #Conflicts: 330000 | #Constraints: 20158
1426.97/1431.35 c #Conflicts: 331000 | #Constraints: 21158
1426.97/1431.35 c #Conflicts: 332000 | #Constraints: 22158
1426.97/1431.35 c #Conflicts: 333000 | #Constraints: 23158
1426.97/1431.35 c INPROCESSING
1426.97/1431.35 c GARBAGE COLLECT
1426.97/1431.35 c #Conflicts: 334000 | #Constraints: 12754
1426.97/1431.35 c #Conflicts: 335000 | #Constraints: 13754
1426.97/1431.35 c #Conflicts: 336000 | #Constraints: 14754
1426.97/1431.35 c #Conflicts: 337000 | #Constraints: 15754
1426.97/1431.35 c #Conflicts: 338000 | #Constraints: 16754
1426.97/1431.35 c #Conflicts: 339000 | #Constraints: 17754
1426.97/1431.35 c #Conflicts: 340000 | #Constraints: 18754
1426.97/1431.35 c #Conflicts: 341000 | #Constraints: 19754
1426.97/1431.35 c #Conflicts: 342000 | #Constraints: 20754
1426.97/1431.35 c #Conflicts: 343000 | #Constraints: 21754
1426.97/1431.35 c #Conflicts: 344000 | #Constraints: 22754
1426.97/1431.35 c #Conflicts: 345000 | #Constraints: 23754
1426.97/1431.35 c INPROCESSING
1426.97/1431.35 c GARBAGE COLLECT
1426.97/1431.35 c #Conflicts: 346000 | #Constraints: 13152
1426.97/1431.35 c #Conflicts: 347000 | #Constraints: 14152
1426.97/1431.35 c #Conflicts: 348000 | #Constraints: 15152
1426.97/1431.35 c #Conflicts: 349000 | #Constraints: 16152
1426.97/1431.35 c #Conflicts: 350000 | #Constraints: 17152
1426.97/1431.35 c #Conflicts: 351000 | #Constraints: 18152
1426.97/1431.35 c #Conflicts: 352000 | #Constraints: 19152
1426.97/1431.35 c #Conflicts: 353000 | #Constraints: 20152
1426.97/1431.35 c #Conflicts: 354000 | #Constraints: 21152
1426.97/1431.35 c #Conflicts: 355000 | #Constraints: 22152
1426.97/1431.35 c #Conflicts: 356000 | #Constraints: 23152
1426.97/1431.35 c #Conflicts: 357000 | #Constraints: 24152
1426.97/1431.35 c INPROCESSING
1426.97/1431.35 c GARBAGE COLLECT
1426.97/1431.35 c #Conflicts: 358000 | #Constraints: 13353
1426.97/1431.35 c #Conflicts: 359000 | #Constraints: 14353
1426.97/1431.35 c #Conflicts: 360000 | #Constraints: 15353
1426.97/1431.35 c #Conflicts: 361000 | #Constraints: 16353
1426.97/1431.35 c #Conflicts: 362000 | #Constraints: 17353
1426.97/1431.35 c #Conflicts: 363000 | #Constraints: 18353
1426.97/1431.35 c #Conflicts: 364000 | #Constraints: 19353
1426.97/1431.35 c #Conflicts: 365000 | #Constraints: 20353
1426.97/1431.35 c #Conflicts: 366000 | #Constraints: 21353
1426.97/1431.35 c #Conflicts: 367000 | #Constraints: 22353
1426.97/1431.35 c #Conflicts: 368000 | #Constraints: 23353
1426.97/1431.35 c #Conflicts: 369000 | #Constraints: 24353
1426.97/1431.35 c INPROCESSING
1426.97/1431.35 c GARBAGE COLLECT
1426.97/1431.35 c #Conflicts: 370000 | #Constraints: 13349
1426.97/1431.35 c #Conflicts: 371000 | #Constraints: 14349
1426.97/1431.35 c #Conflicts: 372000 | #Constraints: 15349
1426.97/1431.35 c #Conflicts: 373000 | #Constraints: 16349
1426.97/1431.35 c #Conflicts: 374000 | #Constraints: 17349
1426.97/1431.35 c #Conflicts: 375000 | #Constraints: 18349
1426.97/1431.35 c #Conflicts: 376000 | #Constraints: 19349
1426.97/1431.35 c #Conflicts: 377000 | #Constraints: 20349
1426.97/1431.35 c #Conflicts: 378000 | #Constraints: 21349
1426.97/1431.35 c #Conflicts: 379000 | #Constraints: 22349
1426.97/1431.36 c #Conflicts: 380000 | #Constraints: 23349
1426.97/1431.36 c #Conflicts: 381000 | #Constraints: 24349
1426.97/1431.36 c INPROCESSING
1426.97/1431.36 c GARBAGE COLLECT
1426.97/1431.36 c #Conflicts: 382000 | #Constraints: 13147
1426.97/1431.36 c #Conflicts: 383000 | #Constraints: 14147
1426.97/1431.36 c #Conflicts: 384000 | #Constraints: 15147
1426.97/1431.36 c #Conflicts: 385000 | #Constraints: 16147
1426.97/1431.36 c #Conflicts: 386000 | #Constraints: 17147
1426.97/1431.36 c #Conflicts: 387000 | #Constraints: 18147
1426.97/1431.36 c #Conflicts: 388000 | #Constraints: 19147
1426.97/1431.36 c #Conflicts: 389000 | #Constraints: 20147
1426.97/1431.36 c #Conflicts: 390000 | #Constraints: 21147
1426.97/1431.36 c #Conflicts: 391000 | #Constraints: 22147
1426.97/1431.36 c #Conflicts: 392000 | #Constraints: 23147
1426.97/1431.36 c #Conflicts: 393000 | #Constraints: 24147
1426.97/1431.36 c #Conflicts: 394000 | #Constraints: 25147
1426.97/1431.36 c INPROCESSING
1426.97/1431.36 c GARBAGE COLLECT
1426.97/1431.36 c #Conflicts: 395000 | #Constraints: 13747
1426.97/1431.36 c #Conflicts: 396000 | #Constraints: 14747
1426.97/1431.36 c #Conflicts: 397000 | #Constraints: 15747
1426.97/1431.36 c #Conflicts: 398000 | #Constraints: 16747
1914.43/1920.17 c #Conflicts: 399000 | #Constraints: 17747
1914.43/1920.17 c #Conflicts: 400000 | #Constraints: 18747
1914.43/1920.17 c #Conflicts: 401000 | #Constraints: 19747
1914.43/1920.17 c #Conflicts: 402000 | #Constraints: 20747
1914.43/1920.17 c #Conflicts: 403000 | #Constraints: 21747
1914.43/1920.17 c #Conflicts: 404000 | #Constraints: 22747
1914.43/1920.17 c #Conflicts: 405000 | #Constraints: 23747
1914.43/1920.17 c #Conflicts: 406000 | #Constraints: 24747
1914.43/1920.17 c #Conflicts: 407000 | #Constraints: 25747
1914.43/1920.17 c INPROCESSING
1914.43/1920.17 c GARBAGE COLLECT
1914.43/1920.17 c #Conflicts: 408000 | #Constraints: 14147
1914.43/1920.17 c #Conflicts: 409000 | #Constraints: 15147
1914.43/1920.17 c #Conflicts: 410000 | #Constraints: 16147
1914.43/1920.17 c #Conflicts: 411000 | #Constraints: 17147
1914.43/1920.17 c #Conflicts: 412000 | #Constraints: 18147
1914.43/1920.17 c #Conflicts: 413000 | #Constraints: 19147
1914.43/1920.17 c #Conflicts: 414000 | #Constraints: 20147
1914.43/1920.17 c #Conflicts: 415000 | #Constraints: 21147
1914.43/1920.17 c #Conflicts: 416000 | #Constraints: 22147
1914.43/1920.17 c #Conflicts: 417000 | #Constraints: 23147
1914.43/1920.17 c #Conflicts: 418000 | #Constraints: 24147
1914.43/1920.17 c #Conflicts: 419000 | #Constraints: 25147
1914.43/1920.17 c #Conflicts: 420000 | #Constraints: 26147
1914.43/1920.17 c INPROCESSING
1914.43/1920.17 c GARBAGE COLLECT
1914.43/1920.17 c #Conflicts: 421000 | #Constraints: 14351
1914.43/1920.17 c #Conflicts: 422000 | #Constraints: 15351
1914.43/1920.17 c #Conflicts: 423000 | #Constraints: 16351
1914.43/1920.17 c #Conflicts: 424000 | #Constraints: 17351
1914.43/1920.17 c #Conflicts: 425000 | #Constraints: 18351
1914.43/1920.17 c #Conflicts: 426000 | #Constraints: 19351
1914.43/1920.17 c #Conflicts: 427000 | #Constraints: 20351
1914.43/1920.17 c #Conflicts: 428000 | #Constraints: 21351
1914.43/1920.17 c #Conflicts: 429000 | #Constraints: 22351
1914.43/1920.17 c #Conflicts: 430000 | #Constraints: 23351
1914.43/1920.17 c #Conflicts: 431000 | #Constraints: 24351
1914.43/1920.17 c #Conflicts: 432000 | #Constraints: 25351
1914.43/1920.17 c #Conflicts: 433000 | #Constraints: 26351
1914.43/1920.17 c INPROCESSING
1914.43/1920.17 c GARBAGE COLLECT
1914.43/1920.17 c #Conflicts: 434000 | #Constraints: 14356
1914.43/1920.17 c #Conflicts: 435000 | #Constraints: 15356
1914.43/1920.17 c #Conflicts: 436000 | #Constraints: 16356
1914.43/1920.17 c #Conflicts: 437000 | #Constraints: 17356
1914.43/1920.17 c #Conflicts: 438000 | #Constraints: 18356
1914.43/1920.17 c #Conflicts: 439000 | #Constraints: 19356
1914.43/1920.17 c #Conflicts: 440000 | #Constraints: 20356
1914.43/1920.17 c #Conflicts: 441000 | #Constraints: 21356
1914.43/1920.17 c #Conflicts: 442000 | #Constraints: 22356
1914.43/1920.17 c #Conflicts: 443000 | #Constraints: 23356
1914.43/1920.17 c #Conflicts: 444000 | #Constraints: 24356
1914.43/1920.17 c #Conflicts: 445000 | #Constraints: 25356
1914.43/1920.17 c #Conflicts: 446000 | #Constraints: 26356
1914.43/1920.17 c INPROCESSING
1914.43/1920.17 c GARBAGE COLLECT
1914.43/1920.17 c #Conflicts: 447000 | #Constraints: 14161
1914.43/1920.17 c #Conflicts: 448000 | #Constraints: 15161
1914.43/1920.17 c #Conflicts: 449000 | #Constraints: 16161
1914.43/1920.17 c #Conflicts: 450000 | #Constraints: 17161
1914.43/1920.17 c #Conflicts: 451000 | #Constraints: 18161
1914.43/1920.17 c #Conflicts: 452000 | #Constraints: 19161
1914.43/1920.17 c #Conflicts: 453000 | #Constraints: 20161
1914.43/1920.17 c #Conflicts: 454000 | #Constraints: 21161
1914.43/1920.17 c #Conflicts: 455000 | #Constraints: 22161
1914.43/1920.17 c #Conflicts: 456000 | #Constraints: 23161
1914.43/1920.17 c #Conflicts: 457000 | #Constraints: 24161
1914.43/1920.17 c #Conflicts: 458000 | #Constraints: 25161
1914.43/1920.17 c #Conflicts: 459000 | #Constraints: 26161
1914.43/1920.17 c #Conflicts: 460000 | #Constraints: 27161
1914.43/1920.17 c INPROCESSING
1914.43/1920.17 c GARBAGE COLLECT
1914.43/1920.17 c #Conflicts: 461000 | #Constraints: 14759
1914.43/1920.17 c #Conflicts: 462000 | #Constraints: 15759
1914.43/1920.17 c #Conflicts: 463000 | #Constraints: 16759
1914.43/1920.17 c #Conflicts: 464000 | #Constraints: 17759
1914.43/1920.17 c #Conflicts: 465000 | #Constraints: 18759
1914.43/1920.17 c #Conflicts: 466000 | #Constraints: 19759
1914.43/1920.17 c #Conflicts: 467000 | #Constraints: 20759
1914.43/1920.17 c #Conflicts: 468000 | #Constraints: 21759
1914.43/1920.17 c #Conflicts: 469000 | #Constraints: 22759
1914.43/1920.17 c #Conflicts: 470000 | #Constraints: 23759
1914.43/1920.17 c #Conflicts: 471000 | #Constraints: 24759
1914.43/1920.17 c #Conflicts: 472000 | #Constraints: 25759
1914.43/1920.17 c #Conflicts: 473000 | #Constraints: 26759
2338.66/2345.55 c #Conflicts: 474000 | #Constraints: 27759
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 475000 | #Constraints: 15153
2338.66/2345.55 c #Conflicts: 476000 | #Constraints: 16153
2338.66/2345.55 c #Conflicts: 477000 | #Constraints: 17153
2338.66/2345.55 c #Conflicts: 478000 | #Constraints: 18153
2338.66/2345.55 c #Conflicts: 479000 | #Constraints: 19153
2338.66/2345.55 c #Conflicts: 480000 | #Constraints: 20153
2338.66/2345.55 c #Conflicts: 481000 | #Constraints: 21153
2338.66/2345.55 c #Conflicts: 482000 | #Constraints: 22153
2338.66/2345.55 c #Conflicts: 483000 | #Constraints: 23153
2338.66/2345.55 c #Conflicts: 484000 | #Constraints: 24153
2338.66/2345.55 c #Conflicts: 485000 | #Constraints: 25153
2338.66/2345.55 c #Conflicts: 486000 | #Constraints: 26153
2338.66/2345.55 c #Conflicts: 487000 | #Constraints: 27153
2338.66/2345.55 c #Conflicts: 488000 | #Constraints: 28153
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 489000 | #Constraints: 15359
2338.66/2345.55 c #Conflicts: 490000 | #Constraints: 16359
2338.66/2345.55 c #Conflicts: 491000 | #Constraints: 17359
2338.66/2345.55 c #Conflicts: 492000 | #Constraints: 18359
2338.66/2345.55 c #Conflicts: 493000 | #Constraints: 19359
2338.66/2345.55 c #Conflicts: 494000 | #Constraints: 20359
2338.66/2345.55 c #Conflicts: 495000 | #Constraints: 21359
2338.66/2345.55 c #Conflicts: 496000 | #Constraints: 22359
2338.66/2345.55 c #Conflicts: 497000 | #Constraints: 23359
2338.66/2345.55 c #Conflicts: 498000 | #Constraints: 24359
2338.66/2345.55 c #Conflicts: 499000 | #Constraints: 25359
2338.66/2345.55 c #Conflicts: 500000 | #Constraints: 26359
2338.66/2345.55 c #Conflicts: 501000 | #Constraints: 27359
2338.66/2345.55 c #Conflicts: 502000 | #Constraints: 28359
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 503000 | #Constraints: 15364
2338.66/2345.55 c #Conflicts: 504000 | #Constraints: 16364
2338.66/2345.55 c #Conflicts: 505000 | #Constraints: 17364
2338.66/2345.55 c #Conflicts: 506000 | #Constraints: 18364
2338.66/2345.55 c #Conflicts: 507000 | #Constraints: 19364
2338.66/2345.55 c #Conflicts: 508000 | #Constraints: 20364
2338.66/2345.55 c #Conflicts: 509000 | #Constraints: 21364
2338.66/2345.55 c #Conflicts: 510000 | #Constraints: 22364
2338.66/2345.55 c #Conflicts: 511000 | #Constraints: 23364
2338.66/2345.55 c #Conflicts: 512000 | #Constraints: 24364
2338.66/2345.55 c #Conflicts: 513000 | #Constraints: 25364
2338.66/2345.55 c #Conflicts: 514000 | #Constraints: 26364
2338.66/2345.55 c #Conflicts: 515000 | #Constraints: 27364
2338.66/2345.55 c #Conflicts: 516000 | #Constraints: 28364
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 517000 | #Constraints: 15161
2338.66/2345.55 c #Conflicts: 518000 | #Constraints: 16161
2338.66/2345.55 c #Conflicts: 519000 | #Constraints: 17161
2338.66/2345.55 c #Conflicts: 520000 | #Constraints: 18161
2338.66/2345.55 c #Conflicts: 521000 | #Constraints: 19161
2338.66/2345.55 c #Conflicts: 522000 | #Constraints: 20161
2338.66/2345.55 c #Conflicts: 523000 | #Constraints: 21161
2338.66/2345.55 c #Conflicts: 524000 | #Constraints: 22161
2338.66/2345.55 c #Conflicts: 525000 | #Constraints: 23161
2338.66/2345.55 c #Conflicts: 526000 | #Constraints: 24161
2338.66/2345.55 c #Conflicts: 527000 | #Constraints: 25161
2338.66/2345.55 c #Conflicts: 528000 | #Constraints: 26161
2338.66/2345.55 c #Conflicts: 529000 | #Constraints: 27161
2338.66/2345.55 c #Conflicts: 530000 | #Constraints: 28161
2338.66/2345.55 c #Conflicts: 531000 | #Constraints: 29161
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 532000 | #Constraints: 15755
2338.66/2345.55 c #Conflicts: 533000 | #Constraints: 16755
2338.66/2345.55 c #Conflicts: 534000 | #Constraints: 17755
2338.66/2345.55 c #Conflicts: 535000 | #Constraints: 18755
2338.66/2345.55 c #Conflicts: 536000 | #Constraints: 19755
2338.66/2345.55 c #Conflicts: 537000 | #Constraints: 20755
2338.66/2345.55 c #Conflicts: 538000 | #Constraints: 21755
2338.66/2345.55 c #Conflicts: 539000 | #Constraints: 22755
2338.66/2345.55 c #Conflicts: 540000 | #Constraints: 23755
2338.66/2345.55 c #Conflicts: 541000 | #Constraints: 24755
2338.66/2345.55 c #Conflicts: 542000 | #Constraints: 25755
2338.66/2345.55 c #Conflicts: 543000 | #Constraints: 26755
2338.66/2345.55 c #Conflicts: 544000 | #Constraints: 27755
2338.66/2345.55 c #Conflicts: 545000 | #Constraints: 28755
2338.66/2345.55 c #Conflicts: 546000 | #Constraints: 29755
2338.66/2345.55 c INPROCESSING
2338.66/2345.55 c GARBAGE COLLECT
2338.66/2345.55 c #Conflicts: 547000 | #Constraints: 16154
2338.66/2345.55 c #Conflicts: 548000 | #Constraints: 17154
2875.41/2883.78 c #Conflicts: 549000 | #Constraints: 18154
2875.41/2883.78 c #Conflicts: 550000 | #Constraints: 19154
2875.41/2883.78 c #Conflicts: 551000 | #Constraints: 20154
2875.41/2883.78 c #Conflicts: 552000 | #Constraints: 21154
2875.41/2883.78 c #Conflicts: 553000 | #Constraints: 22154
2875.41/2883.78 c #Conflicts: 554000 | #Constraints: 23154
2875.41/2883.78 c #Conflicts: 555000 | #Constraints: 24154
2875.41/2883.78 c #Conflicts: 556000 | #Constraints: 25154
2875.41/2883.78 c #Conflicts: 557000 | #Constraints: 26154
2875.41/2883.78 c #Conflicts: 558000 | #Constraints: 27154
2875.41/2883.78 c #Conflicts: 559000 | #Constraints: 28154
2875.41/2883.78 c #Conflicts: 560000 | #Constraints: 29154
2875.41/2883.78 c #Conflicts: 561000 | #Constraints: 30154
2875.41/2883.78 c INPROCESSING
2875.41/2883.78 c GARBAGE COLLECT
2875.41/2883.78 c #Conflicts: 562000 | #Constraints: 16352
2875.41/2883.78 c #Conflicts: 563000 | #Constraints: 17352
2875.41/2883.78 c #Conflicts: 564000 | #Constraints: 18352
2875.41/2883.78 c #Conflicts: 565000 | #Constraints: 19352
2875.41/2883.78 c #Conflicts: 566000 | #Constraints: 20352
2875.41/2883.78 c #Conflicts: 567000 | #Constraints: 21352
2875.41/2883.78 c #Conflicts: 568000 | #Constraints: 22352
2875.41/2883.78 c #Conflicts: 569000 | #Constraints: 23352
2875.41/2883.78 c #Conflicts: 570000 | #Constraints: 24352
2875.41/2883.78 c #Conflicts: 571000 | #Constraints: 25352
2875.41/2883.78 c #Conflicts: 572000 | #Constraints: 26352
2875.41/2883.78 c #Conflicts: 573000 | #Constraints: 27352
2875.41/2883.78 c #Conflicts: 574000 | #Constraints: 28352
2875.41/2883.78 c #Conflicts: 575000 | #Constraints: 29352
2875.41/2883.78 c #Conflicts: 576000 | #Constraints: 30352
2875.41/2883.78 c INPROCESSING
2875.41/2883.78 c GARBAGE COLLECT
2875.41/2883.78 c #Conflicts: 577000 | #Constraints: 16352
2875.41/2883.78 c #Conflicts: 578000 | #Constraints: 17352
2875.41/2883.78 c #Conflicts: 579000 | #Constraints: 18352
2875.41/2883.78 c #Conflicts: 580000 | #Constraints: 19352
2875.41/2883.78 c #Conflicts: 581000 | #Constraints: 20352
2875.41/2883.78 c #Conflicts: 582000 | #Constraints: 21352
2875.41/2883.78 c #Conflicts: 583000 | #Constraints: 22352
2875.41/2883.78 c #Conflicts: 584000 | #Constraints: 23352
2875.41/2883.78 c #Conflicts: 585000 | #Constraints: 24352
2875.41/2883.78 c #Conflicts: 586000 | #Constraints: 25352
2875.41/2883.78 c #Conflicts: 587000 | #Constraints: 26352
2875.41/2883.78 c #Conflicts: 588000 | #Constraints: 27352
2875.41/2883.78 c #Conflicts: 589000 | #Constraints: 28352
2875.41/2883.78 c #Conflicts: 590000 | #Constraints: 29352
2875.41/2883.78 c #Conflicts: 591000 | #Constraints: 30352
2875.41/2883.78 c INPROCESSING
2875.41/2883.78 c GARBAGE COLLECT
2875.41/2883.78 c #Conflicts: 592000 | #Constraints: 16156
2875.41/2883.78 c #Conflicts: 593000 | #Constraints: 17156
2875.41/2883.78 c #Conflicts: 594000 | #Constraints: 18156
2875.41/2883.78 c #Conflicts: 595000 | #Constraints: 19156
2875.41/2883.78 c #Conflicts: 596000 | #Constraints: 20156
2875.41/2883.78 c #Conflicts: 597000 | #Constraints: 21156
2875.41/2883.78 c #Conflicts: 598000 | #Constraints: 22156
2875.41/2883.78 c #Conflicts: 599000 | #Constraints: 23156
2875.41/2883.78 c #Conflicts: 600000 | #Constraints: 24156
2875.41/2883.78 c #Conflicts: 601000 | #Constraints: 25156
2875.41/2883.78 c #Conflicts: 602000 | #Constraints: 26156
2875.41/2883.78 c #Conflicts: 603000 | #Constraints: 27156
2875.41/2883.78 c #Conflicts: 604000 | #Constraints: 28156
2875.41/2883.78 c #Conflicts: 605000 | #Constraints: 29156
2875.41/2883.78 c #Conflicts: 606000 | #Constraints: 30156
2875.41/2883.78 c #Conflicts: 607000 | #Constraints: 31156
2875.41/2883.78 c INPROCESSING
2875.41/2883.78 c GARBAGE COLLECT
2875.41/2883.78 c #Conflicts: 608000 | #Constraints: 16757
2875.41/2883.78 c #Conflicts: 609000 | #Constraints: 17757
2875.41/2883.78 c #Conflicts: 610000 | #Constraints: 18757
2875.41/2883.78 c #Conflicts: 611000 | #Constraints: 19757
2875.41/2883.78 c #Conflicts: 612000 | #Constraints: 20757
2875.41/2883.78 c #Conflicts: 613000 | #Constraints: 21757
2875.41/2883.78 c #Conflicts: 614000 | #Constraints: 22757
2875.41/2883.78 c #Conflicts: 615000 | #Constraints: 23757
2875.41/2883.78 c #Conflicts: 616000 | #Constraints: 24757
2875.41/2883.78 c #Conflicts: 617000 | #Constraints: 25757
2875.41/2883.78 c #Conflicts: 618000 | #Constraints: 26757
2875.41/2883.78 c #Conflicts: 619000 | #Constraints: 27757
2875.41/2883.78 c #Conflicts: 620000 | #Constraints: 28757
2875.41/2883.78 c #Conflicts: 621000 | #Constraints: 29757
2875.41/2883.78 c #Conflicts: 622000 | #Constraints: 30757
2875.41/2883.78 c #Conflicts: 623000 | #Constraints: 31757
2875.41/2883.78 c INPROCESSING
2875.41/2883.78 c GARBAGE COLLECT
2875.41/2883.78 c #Conflicts: 624000 | #Constraints: 17155
3473.15/3483.18 c #Conflicts: 625000 | #Constraints: 18155
3473.15/3483.18 c #Conflicts: 626000 | #Constraints: 19155
3473.15/3483.18 c #Conflicts: 627000 | #Constraints: 20155
3473.15/3483.18 c #Conflicts: 628000 | #Constraints: 21155
3473.15/3483.18 c #Conflicts: 629000 | #Constraints: 22155
3473.15/3483.18 c #Conflicts: 630000 | #Constraints: 23155
3473.15/3483.18 c #Conflicts: 631000 | #Constraints: 24155
3473.15/3483.18 c #Conflicts: 632000 | #Constraints: 25155
3473.15/3483.18 c #Conflicts: 633000 | #Constraints: 26155
3473.15/3483.18 c #Conflicts: 634000 | #Constraints: 27155
3473.15/3483.18 c #Conflicts: 635000 | #Constraints: 28155
3473.15/3483.18 c #Conflicts: 636000 | #Constraints: 29155
3473.15/3483.18 c #Conflicts: 637000 | #Constraints: 30155
3473.15/3483.18 c #Conflicts: 638000 | #Constraints: 31155
3473.15/3483.18 c #Conflicts: 639000 | #Constraints: 32155
3473.15/3483.18 c INPROCESSING
3473.15/3483.18 c GARBAGE COLLECT
3473.15/3483.18 c #Conflicts: 640000 | #Constraints: 17354
3473.15/3483.18 c #Conflicts: 641000 | #Constraints: 18354
3473.15/3483.18 c #Conflicts: 642000 | #Constraints: 19354
3473.15/3483.18 c #Conflicts: 643000 | #Constraints: 20354
3473.15/3483.18 c #Conflicts: 644000 | #Constraints: 21354
3473.15/3483.18 c #Conflicts: 645000 | #Constraints: 22354
3473.15/3483.18 c #Conflicts: 646000 | #Constraints: 23354
3473.15/3483.18 c #Conflicts: 647000 | #Constraints: 24354
3473.15/3483.18 c #Conflicts: 648000 | #Constraints: 25354
3473.15/3483.18 c #Conflicts: 649000 | #Constraints: 26354
3473.15/3483.18 c #Conflicts: 650000 | #Constraints: 27354
3473.15/3483.18 c #Conflicts: 651000 | #Constraints: 28354
3473.15/3483.18 c #Conflicts: 652000 | #Constraints: 29354
3473.15/3483.18 c #Conflicts: 653000 | #Constraints: 30354
3473.15/3483.18 c #Conflicts: 654000 | #Constraints: 31354
3473.15/3483.18 c #Conflicts: 655000 | #Constraints: 32354
3473.15/3483.18 c INPROCESSING
3473.15/3483.18 c GARBAGE COLLECT
3473.15/3483.18 c #Conflicts: 656000 | #Constraints: 17354
3473.15/3483.18 c #Conflicts: 657000 | #Constraints: 18354
3473.15/3483.18 c #Conflicts: 658000 | #Constraints: 19354
3473.15/3483.18 c #Conflicts: 659000 | #Constraints: 20354
3473.15/3483.18 c #Conflicts: 660000 | #Constraints: 21354
3473.15/3483.18 c #Conflicts: 661000 | #Constraints: 22354
3473.15/3483.18 c #Conflicts: 662000 | #Constraints: 23354
3473.15/3483.18 c #Conflicts: 663000 | #Constraints: 24354
3473.15/3483.18 c #Conflicts: 664000 | #Constraints: 25354
3473.15/3483.18 c #Conflicts: 665000 | #Constraints: 26354
3473.15/3483.18 c #Conflicts: 666000 | #Constraints: 27354
3473.15/3483.18 c #Conflicts: 667000 | #Constraints: 28354
3473.15/3483.18 c #Conflicts: 668000 | #Constraints: 29354
3473.15/3483.18 c #Conflicts: 669000 | #Constraints: 30354
3473.15/3483.18 c #Conflicts: 670000 | #Constraints: 31354
3473.15/3483.18 c #Conflicts: 671000 | #Constraints: 32354
3473.15/3483.18 c INPROCESSING
3473.15/3483.18 c GARBAGE COLLECT
3473.15/3483.18 c #Conflicts: 672000 | #Constraints: 17153
3473.15/3483.18 c #Conflicts: 673000 | #Constraints: 18153
3473.15/3483.18 c #Conflicts: 674000 | #Constraints: 19153
3473.15/3483.18 c #Conflicts: 675000 | #Constraints: 20153
3473.15/3483.18 c #Conflicts: 676000 | #Constraints: 21153
3473.15/3483.18 c #Conflicts: 677000 | #Constraints: 22153
3473.15/3483.18 c #Conflicts: 678000 | #Constraints: 23153
3473.15/3483.18 c #Conflicts: 679000 | #Constraints: 24153
3473.15/3483.18 c #Conflicts: 680000 | #Constraints: 25153
3473.15/3483.18 c #Conflicts: 681000 | #Constraints: 26153
3473.15/3483.18 c #Conflicts: 682000 | #Constraints: 27153
3473.15/3483.18 c #Conflicts: 683000 | #Constraints: 28153
3473.15/3483.18 c #Conflicts: 684000 | #Constraints: 29153
3473.15/3483.18 c #Conflicts: 685000 | #Constraints: 30153
3473.15/3483.18 c #Conflicts: 686000 | #Constraints: 31153
3473.15/3483.18 c #Conflicts: 687000 | #Constraints: 32153
3473.15/3483.18 c #Conflicts: 688000 | #Constraints: 33153
3473.15/3483.18 c INPROCESSING
3473.15/3483.18 c GARBAGE COLLECT
3473.15/3483.18 c #Conflicts: 689000 | #Constraints: 17749
3473.15/3483.18 c #Conflicts: 690000 | #Constraints: 18749
3473.15/3483.18 c #Conflicts: 691000 | #Constraints: 19749
3473.15/3483.18 c #Conflicts: 692000 | #Constraints: 20749
3473.15/3483.18 c #Conflicts: 693000 | #Constraints: 21749
3473.15/3483.18 c #Conflicts: 694000 | #Constraints: 22749
3473.15/3483.18 c #Conflicts: 695000 | #Constraints: 23749
3473.15/3483.18 c #Conflicts: 696000 | #Constraints: 24749
3473.15/3483.18 c #Conflicts: 697000 | #Constraints: 25749
3473.15/3483.18 c #Conflicts: 698000 | #Constraints: 26749
3473.15/3483.18 c #Conflicts: 699000 | #Constraints: 27749
3473.15/3483.18 c #Conflicts: 700000 | #Constraints: 28749
3600.00/3610.30 c #Conflicts: 701000 | #Constraints: 29749
3600.00/3610.30 c #Conflicts: 702000 | #Constraints: 30749
3600.00/3610.30 c #Conflicts: 703000 | #Constraints: 31749
3600.00/3610.30 c #Conflicts: 704000 | #Constraints: 32749
3600.00/3610.30 c #Conflicts: 705000 | #Constraints: 33749
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 706000 | #Constraints: 18152
3600.00/3610.30 c #Conflicts: 707000 | #Constraints: 19152
3600.00/3610.30 c #Conflicts: 708000 | #Constraints: 20152
3600.00/3610.30 c #Conflicts: 709000 | #Constraints: 21152
3600.00/3610.30 c #Conflicts: 710000 | #Constraints: 22152
3600.00/3610.30 c #Conflicts: 711000 | #Constraints: 23152
3600.00/3610.30 c #Conflicts: 712000 | #Constraints: 24152
3600.00/3610.30 c #Conflicts: 713000 | #Constraints: 25152
3600.00/3610.30 c #Conflicts: 714000 | #Constraints: 26152
3600.00/3610.30 c Program interrupted by user.
3600.00/3610.30 c cpu time 3592.08 s
3600.00/3610.30 c deterministic time 363210917721 3.63e+11
3600.00/3610.30 c optimization time 78.5717 s
3600.00/3610.30 c total solve time 3214.42 s
3600.00/3610.30 c core-guided solve time 3214.42 s
3600.00/3610.30 c propagation time 2949.57 s
3600.00/3610.30 c conflict analysis time 295.25 s
3600.00/3610.30 c propagations 47590278
3600.00/3610.30 c resolve steps 3437521
3600.00/3610.30 c decisions 5303215
3600.00/3610.30 c conflicts 714345
3600.00/3610.30 c restarts 1532
3600.00/3610.30 c inprocessing phases 75
3600.00/3610.30 c input clauses 58
3600.00/3610.30 c input cardinalities 79
3600.00/3610.30 c input general constraints 474
3600.00/3610.30 c input average constraint length 69.09
3600.00/3610.30 c input average constraint degree 34.80
3600.00/3610.30 c learned clauses 128464
3600.00/3610.30 c learned cardinalities 92
3600.00/3610.30 c learned general constraints 585796
3600.00/3610.30 c learned average constraint length 327.82
3600.00/3610.30 c learned average constraint degree 438320.45
3600.00/3610.30 c watched constraints 476853
3600.00/3610.30 c counting constraints 109417
3600.00/3610.30 c gcd simplifications 102574
3600.00/3610.30 c detected cardinalities 66
3600.00/3610.30 c weakened non-implied lits 19397014
3600.00/3610.30 c weakened non-implying lits 54097
3600.00/3610.30 c original variables 478
3600.00/3610.30 c clausal propagations 926092
3600.00/3610.30 c cardinality propagations 19311
3600.00/3610.30 c watched propagations 24976317
3600.00/3610.30 c counting propagations 21042331
3600.00/3610.30 c watch lookups 57625229703
3600.00/3610.30 c watch backjump lookups 54940034163
3600.00/3610.30 c watch checks 241748784217
3600.00/3610.30 c propagation checks 8069305827
3600.00/3610.30 c constraint additions 721062955
3600.00/3610.30 c trail pops 53607362
3600.00/3610.30 c formula constraints 478
3600.00/3610.30 c learned constraints 714352
3600.00/3610.30 c bound constraints 79
3600.00/3610.30 c core-guided constraints 54
3600.00/3610.30 c encountered formula constraints 2109313
3600.00/3610.30 c encountered learned constraints 1970461
3600.00/3610.30 c encountered bound constraints 500
3600.00/3610.30 c encountered core-guided constraints 71592
3600.00/3610.30 c LP total time 0 s
3600.00/3610.30 c LP solve time 0 s
3600.00/3610.30 c LP constraints added 0
3600.00/3610.30 c LP constraints removed 0
3600.00/3610.30 c LP pivots internal 0
3600.00/3610.30 c LP pivots root 0
3600.00/3610.30 c LP calls 0
3600.00/3610.30 c LP optimalities 0
3600.00/3610.30 c LP no pivot count 0
3600.00/3610.30 c LP infeasibilities 0
3600.00/3610.30 c LP valid Farkas constraints 0
3600.00/3610.30 c LP learned Farkas constraints 0
3600.00/3610.30 c LP basis resets 0
3600.00/3610.30 c LP cycling count 0
3600.00/3610.30 c LP singular count 0
3600.00/3610.30 c LP no primal count 0
3600.00/3610.30 c LP no farkas count 0
3600.00/3610.30 c LP other issue count 0
3600.00/3610.30 c LP Gomory cuts 0
3600.00/3610.30 c LP learned cuts 0
3600.00/3610.30 c LP deleted cuts 0
3600.00/3610.30 c LP encountered Gomory constraints 0
3600.00/3610.30 c LP encountered Farkas constraints 0
3600.00/3610.30 c LP encountered learned Farkas constraints 0
3600.00/3610.30 c CG auxiliary variables introduced 54
3600.00/3610.30 c CG solutions found 0
3600.00/3610.30 c CG cores constructed 78
3600.00/3610.30 c CG core cardinality constraints returned 0
3600.00/3610.30 c CG unit cores 0
3600.00/3610.30 c CG single cores 77
3600.00/3610.30 c CG blocks removed during cardinality reduction 0
3600.00/3610.30 c CG first core best 0
3600.00/3610.30 c CG decision core best 0
3600.00/3610.30 c CG core reduction tie 1
3600.00/3610.30 c CG core degree average 1.00
3600.00/3610.30 c CG core slack average 2.73
3600.00/3610.30 c CG exhausted 0
3600.00/3610.30 c CG exhaust time 0 s
3600.00/3610.30 c CG trimmed 2
3600.00/3610.30 c CG trim time 0.000507 s
3600.00/3610.30 c CG minimized 0
3600.00/3610.30 c CG minimize time 0 s
3600.00/3610.30 c CG am1 prop time 0.000196 s
3600.00/3610.30 c CG # am1s reformulated 54
3600.00/3610.30 c CG lower bound derived from am1s 54
3600.00/3610.30 c CG # clausal cores 15
3600.00/3610.30 c CG # cardinality cores 0
3600.00/3610.30 c CG # pb cores 64
3600.00/3610.30 c CG # pb reforms 0
3600.00/3610.30 c CG # cores discarded because of pb reform 0
3600.00/3610.30 d LOWERBOUND 132
3600.00/3610.30 d NCORES 78
3600.00/3610.30 d NPBCORES 64
3600.00/3610.30 d NPBREFORM 0
3600.00/3610.30 d NTRIMMED 2
3600.00/3610.30 d NEXHAUSTED 0
3600.00/3610.30 d NAM1S 54
3600.00/3610.30 d AM1LB 54
3600.00/3610.30 c [Papilo Statistics]
3600.00/3610.30 c prepro time 0.00416593s
3600.00/3610.30 c # tsx applied 19
3600.00/3610.30 c # tsx conflicts 0
3600.00/3610.30 c # bound changes 0
3600.00/3610.30 c # side changes 0
3600.00/3610.30 c # coef changes 36
3600.00/3610.30 c # rounds 3
3600.00/3610.30 c # deted vars 0
3600.00/3610.30 c # deted constrs 0
3600.00/3610.30 c # consecutive rounds of only bound changes 0
3600.00/3610.30 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 (60678 MiB free)
memory of node 1: 64507 MiB (59597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489037-1751349596/watcher-4489037-1751349596 -o /tmp/evaluation-result-4489037-1751349596/solver-4489037-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50709 --watchdog 3760 mixed-bag HOME/instance-4489037-1751349596.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50760, runsolver pid=50751
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 1.52 2.56 3.78 2/251 50769
/proc/meminfo: memFree=123153940/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=32272 memory=640 CPUtime=0 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) D 50751 50760 50699 0 -1 4194304 98 0 3 0 0 0 0 0 20 0 1 0 50639433 33046528 160 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 8068 160 160 2842 0 1345 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 32272 KiB
Current children cumulated memory: 640 KiB
[startup+0.212563 s]*
/proc/loadavg: 1.52 2.56 3.78 6/252 50770
/proc/meminfo: memFree=123149284/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=96460 memory=22400 CPUtime=0.04 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 1988 0 12 0 3 1 0 0 20 0 1 0 50639433 98775040 5600 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 24115 5600 4064 2842 0 5809 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 96460 KiB
Current children cumulated memory: 22400 KiB
[startup+0.314127 s]*
/proc/loadavg: 1.52 2.56 3.78 6/252 50770
/proc/meminfo: memFree=123130484/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=101392 memory=27120 CPUtime=0.14 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 3097 0 12 0 12 2 0 0 20 0 1 0 50639433 103825408 6780 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 25348 6780 4256 2842 0 7042 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 101392 KiB
Current children cumulated memory: 27120 KiB
[startup+0.700258 s]
/proc/loadavg: 1.52 2.56 3.78 6/252 50770
/proc/meminfo: memFree=123127712/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=101556 memory=27376 CPUtime=0.52 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 3138 0 12 0 50 2 0 0 20 0 1 0 50639433 103993344 6844 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 25389 6844 4256 2842 0 7083 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 101556 KiB
Current children cumulated memory: 27376 KiB
[startup+1.50027 s]
/proc/loadavg: 1.52 2.56 3.78 6/252 50770
/proc/meminfo: memFree=123098732/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=102052 memory=27504 CPUtime=1.31 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 3232 0 12 0 129 2 0 0 20 0 1 0 50639433 104501248 6876 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 25513 6876 4256 2842 0 7207 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 102052 KiB
Current children cumulated memory: 27504 KiB
[startup+3.1122 s]
/proc/loadavg: 1.88 2.61 3.79 6/252 50770
/proc/meminfo: memFree=122653892/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=232596 memory=155784 CPUtime=2.92 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 36342 0 12 0 283 9 0 0 20 0 1 0 50639433 238178304 38946 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 58149 38946 4256 2842 0 39843 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 232596 KiB
Current children cumulated memory: 155784 KiB
[startup+6.30026 s]
/proc/loadavg: 1.88 2.61 3.79 6/252 50770
/proc/meminfo: memFree=122573272/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=236372 memory=159692 CPUtime=6.09 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 37382 0 12 0 600 9 0 0 20 0 1 0 50639433 242044928 39923 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 59093 39923 4256 2842 0 40787 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 236372 KiB
Current children cumulated memory: 159692 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.67 3.81 6/252 50770
/proc/meminfo: memFree=122572840/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=236372 memory=159692 CPUtime=12.48 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 37386 0 12 0 1239 9 0 0 20 0 1 0 50639433 242044928 39923 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 59093 39923 4256 2842 0 40787 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 236372 KiB
Current children cumulated memory: 159692 KiB
[startup+25.5003 s]
/proc/loadavg: 3.12 2.85 3.85 6/252 50770
/proc/meminfo: memFree=122385836/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=296260 memory=218828 CPUtime=25.25 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 52193 0 12 0 2513 12 0 0 20 0 1 0 50639433 303370240 54707 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 74065 54707 4256 2842 0 55759 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 296260 KiB
Current children cumulated memory: 218828 KiB
[startup+51.1122 s]
/proc/loadavg: 4.26 3.14 3.92 6/253 50772
/proc/meminfo: memFree=122353256/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=327580 memory=248656 CPUtime=50.79 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 60721 0 12 0 5066 13 0 0 20 0 1 0 50639433 335441920 62164 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 81895 62164 4256 2842 0 63589 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 327580 KiB
Current children cumulated memory: 248656 KiB
[startup+102.3 s]
/proc/loadavg: 5.44 3.64 4.05 6/253 50785
/proc/meminfo: memFree=122289972/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=328604 memory=249680 CPUtime=101.84 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 60979 0 12 0 10171 13 0 0 20 0 1 0 50639433 336490496 62420 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 82151 62420 4256 2842 0 63845 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 328604 KiB
Current children cumulated memory: 249680 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 3.78 4.07 6/253 50787
/proc/meminfo: memFree=122143376/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=346240 memory=267168 CPUtime=161.67 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 65535 0 12 0 16153 14 0 0 20 0 1 0 50639433 354549760 66792 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 86560 66792 4256 2842 0 68254 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 346240 KiB
Current children cumulated memory: 267168 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.84 4.07 6/253 50789
/proc/meminfo: memFree=121963320/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=391780 memory=312992 CPUtime=221.5 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 76973 0 12 0 22133 17 0 0 20 0 1 0 50639433 401182720 78248 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 97945 78248 4288 2842 0 79639 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 391780 KiB
Current children cumulated memory: 312992 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.88 4.07 6/252 50791
/proc/meminfo: memFree=121940540/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=391780 memory=312992 CPUtime=281.29 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 76973 0 12 0 28112 17 0 0 20 0 1 0 50639433 401182720 78248 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 97945 78248 4288 2842 0 79639 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 391780 KiB
Current children cumulated memory: 312992 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.92 4.07 6/251 50793
/proc/meminfo: memFree=122113296/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=392660 memory=314120 CPUtime=341.09 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 79274 0 12 0 34043 66 0 0 20 0 1 0 50639433 402083840 78530 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 98165 78530 4448 2842 0 79859 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 392660 KiB
Current children cumulated memory: 314120 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.97 4.08 6/250 50795
/proc/meminfo: memFree=122102192/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=392660 memory=320528 CPUtime=400.86 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 79357 0 12 0 39974 112 0 0 20 0 1 0 50639433 402083840 80132 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 98165 80132 4448 2842 0 79859 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 392660 KiB
Current children cumulated memory: 320528 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.99 4.08 6/250 50797
/proc/meminfo: memFree=122074300/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=411628 memory=326840 CPUtime=460.66 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 79858 0 12 0 45919 147 0 0 20 0 1 0 50639433 421507072 81710 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 102907 81710 4448 2842 0 84601 0
################
# More data... #
################
Current children cumulated memory: 378808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/249 50908
/proc/meminfo: memFree=121939628/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=442448 memory=379448 CPUtime=2913.92 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81304 0 12 0 290715 677 0 0 20 0 1 0 50639433 453066752 94862 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 110612 94862 4448 2842 0 92306 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 442448 KiB
Current children cumulated memory: 379448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 50913
/proc/meminfo: memFree=121949216/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=442448 memory=379448 CPUtime=2973.76 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81304 0 12 0 296688 688 0 0 20 0 1 0 50639433 453066752 94862 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 110612 94862 4448 2842 0 92306 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 442448 KiB
Current children cumulated memory: 379448 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/252 50922
/proc/meminfo: memFree=121957084/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=380728 CPUtime=3033.59 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81634 0 12 0 302659 700 0 0 20 0 1 0 50639433 504356864 95182 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95182 4448 2842 0 104828 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 380728 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/252 50924
/proc/meminfo: memFree=121956804/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=380728 CPUtime=3093.41 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81634 0 12 0 308628 713 0 0 20 0 1 0 50639433 504356864 95182 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95182 4448 2842 0 104828 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 380728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/252 50926
/proc/meminfo: memFree=121968296/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=380728 CPUtime=3153.23 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81634 0 12 0 314601 722 0 0 20 0 1 0 50639433 504356864 95182 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95182 4448 2842 0 104828 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 380728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/252 50927
/proc/meminfo: memFree=121966692/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=380728 CPUtime=3213.05 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81636 0 12 0 320571 734 0 0 20 0 1 0 50639433 504356864 95182 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95182 4448 2842 0 104828 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 380728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/250 50929
/proc/meminfo: memFree=121962532/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=381368 CPUtime=3272.86 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81669 0 12 0 326542 744 0 0 20 0 1 0 50639433 504356864 95342 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95342 4448 2842 0 104828 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 381368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/249 50931
/proc/meminfo: memFree=121962396/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=381368 CPUtime=3332.7 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81669 0 12 0 332517 753 0 0 20 0 1 0 50639433 504356864 95342 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95342 4448 2842 0 104828 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 381368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/249 50933
/proc/meminfo: memFree=121958324/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3392.55 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81670 0 12 0 338492 763 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/249 50935
/proc/meminfo: memFree=121954688/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3452.39 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81671 0 12 0 344465 774 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.10 6/249 50937
/proc/meminfo: memFree=121959304/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3512.23 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81671 0 12 0 350444 779 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.10 6/249 50939
/proc/meminfo: memFree=121959272/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3572.08 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81671 0 12 0 356420 788 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/246 50956
/proc/meminfo: memFree=122215516/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3600 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81671 0 12 0 359208 792 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 50760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.09 s, system=7.92836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/246 50956
/proc/meminfo: memFree=122215516/131382112 swapFree=33010684/33010684
[pid=50760] ppid=50751 vsize=492536 memory=383500 CPUtime=3600 cores=0,2
/proc/50760/stat : 50760 (mixed-bag) R 50751 50760 50699 0 -1 4194304 81671 0 12 0 359208 792 0 0 20 0 1 0 50639433 504356864 95875 18446744073709551615 4235264 15874749 140725815790272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 51187712 140725815794076 140725815794153 140725815794153 140725815799755 0
/proc/50760/statm: 123134 95875 4448 2842 0 104828 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 492536 KiB
Current children cumulated memory: 383500 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.02
CPU user time (s): 3592.09
CPU system time (s): 7.92836
CPU usage (%): 99.7149
Max. virtual memory (cumulated for all children) (KiB): 492536
Max. memory (cumulated for all children) (KiB): 383500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.09
system time used= 7.92836
maximum resident set size= 384140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81700
page faults= 12
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288
involuntary context switches= 7967
# summary of solver processes directly reported to runsolver:
# pid: 50760
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.09
# total CPU system time (s): 7.92836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3178 second user time and 30.4147 second system time
The end
Begin job on nodeC009 at 2025-07-01 07:59:56
IDJOB=4489037
IDBENCH=147538
IDSOLVER=3340
FILE ID=nodeC009/4489037-1751349596
RUNJOBID= nodeC009-1751349596-50709
SLURM_JOB_ID= 9598132
Free space on /tmp= 432660 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489037-1751349596/watcher-4489037-1751349596 -o /tmp/evaluation-result-4489037-1751349596/solver-4489037-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50709 --watchdog 3760 mixed-bag HOME/instance-4489037-1751349596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=81006127
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123159300 kB
MemAvailable: 129898704 kB
Buffers: 3280 kB
Cached: 7511256 kB
SwapCached: 0 kB
Active: 366364 kB
Inactive: 7213096 kB
Active(anon): 82004 kB
Inactive(anon): 968 kB
Active(file): 284360 kB
Inactive(file): 7212128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62044 kB
Writeback: 0 kB
AnonPages: 68084 kB
Mapped: 102916 kB
Shmem: 17960 kB
KReclaimable: 164700 kB
Slab: 248112 kB
SReclaimable: 164700 kB
SUnreclaim: 83412 kB
KernelStack: 3808 kB
PageTables: 2776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 09:00:07