0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.22/300.15 c [STEP] preprocessing done, loading into solver
299.22/300.15 c [STEP] solving
299.22/300.15 c #variables 471 #constraints 470
299.22/300.15 c SMALL=int, LARGE=long long
299.22/300.15 d SCIPUB 185
299.22/300.15 c bounds - >= 0 @ 299.093
299.22/300.15 c stratification level: 0
319.75/320.73 c bounds - >= 55 @ 299.094
319.75/320.73 c bounds - >= 56 @ 299.094
319.75/320.73 c bounds - >= 57 @ 299.094
319.75/320.73 c bounds - >= 58 @ 299.094
319.75/320.73 c bounds - >= 59 @ 299.094
319.75/320.73 c bounds - >= 60 @ 299.094
319.75/320.73 c bounds - >= 61 @ 299.094
319.75/320.73 c bounds - >= 62 @ 299.094
319.75/320.73 c bounds - >= 63 @ 299.094
319.75/320.73 c bounds - >= 64 @ 299.094
319.75/320.73 c bounds - >= 65 @ 299.094
319.75/320.73 c bounds - >= 66 @ 299.094
319.75/320.73 c bounds - >= 67 @ 299.094
319.75/320.73 c bounds - >= 68 @ 299.094
319.75/320.73 c bounds - >= 69 @ 299.094
319.75/320.73 c bounds - >= 70 @ 299.094
319.75/320.73 c bounds - >= 71 @ 299.094
319.75/320.73 c bounds - >= 72 @ 299.094
319.75/320.73 c bounds - >= 73 @ 299.094
319.75/320.73 c bounds - >= 74 @ 299.094
319.75/320.73 c bounds - >= 75 @ 299.094
319.75/320.73 c bounds - >= 76 @ 299.094
319.75/320.73 c bounds - >= 77 @ 299.094
319.75/320.73 c bounds - >= 78 @ 299.094
319.75/320.73 c bounds - >= 79 @ 299.094
319.75/320.73 c bounds - >= 80 @ 299.094
319.75/320.73 c bounds - >= 81 @ 299.094
319.75/320.73 c bounds - >= 82 @ 299.095
319.75/320.73 c bounds - >= 83 @ 299.095
319.75/320.73 c bounds - >= 84 @ 299.095
319.75/320.73 c bounds - >= 85 @ 299.095
319.75/320.73 c bounds - >= 86 @ 299.095
319.75/320.73 c bounds - >= 87 @ 299.095
319.75/320.73 c bounds - >= 88 @ 299.095
319.75/320.73 c bounds - >= 89 @ 299.095
319.75/320.73 c bounds - >= 90 @ 299.096
319.75/320.73 c bounds - >= 91 @ 299.096
319.75/320.73 c bounds - >= 92 @ 299.096
319.75/320.73 c bounds - >= 93 @ 299.096
319.75/320.73 c bounds - >= 94 @ 299.096
319.75/320.73 c bounds - >= 95 @ 299.096
319.75/320.73 c bounds - >= 96 @ 299.096
319.75/320.73 c bounds - >= 97 @ 299.096
319.75/320.73 c bounds - >= 98 @ 299.096
319.75/320.73 c bounds - >= 99 @ 299.096
319.75/320.73 c bounds - >= 100 @ 299.096
319.75/320.73 c bounds - >= 101 @ 299.096
319.75/320.73 c bounds - >= 102 @ 299.096
319.75/320.73 c bounds - >= 103 @ 299.096
319.75/320.73 c bounds - >= 104 @ 299.096
319.75/320.73 c bounds - >= 105 @ 299.096
319.75/320.73 c bounds - >= 106 @ 299.096
319.75/320.73 c bounds - >= 107 @ 299.096
319.75/320.73 c bounds - >= 108 @ 299.096
319.75/320.73 c bounds - >= 109 @ 299.096
319.75/320.73 c bounds - >= 110 @ 299.096
319.75/320.73 c bounds - >= 111 @ 299.096
319.75/320.73 c bounds - >= 112 @ 299.096
319.75/320.73 c bounds - >= 113 @ 299.096
319.75/320.73 c bounds - >= 114 @ 299.096
319.75/320.73 c bounds - >= 115 @ 299.096
319.75/320.73 c bounds - >= 116 @ 299.096
319.75/320.73 c bounds - >= 117 @ 299.096
319.75/320.73 c bounds - >= 118 @ 299.096
319.75/320.73 c bounds - >= 119 @ 299.097
319.75/320.73 c bounds - >= 120 @ 299.097
319.75/320.73 c bounds - >= 121 @ 299.097
319.75/320.73 c bounds - >= 122 @ 299.097
319.75/320.73 c bounds - >= 123 @ 299.097
319.75/320.73 c bounds - >= 124 @ 299.097
319.75/320.73 c bounds - >= 125 @ 299.097
319.75/320.73 c bounds - >= 126 @ 299.098
319.75/320.73 c bounds - >= 127 @ 299.098
319.75/320.73 c bounds - >= 128 @ 299.098
319.75/320.73 c bounds - >= 129 @ 299.098
319.75/320.73 c bounds - >= 130 @ 299.098
319.75/320.73 c bounds - >= 131 @ 299.098
319.75/320.73 c #Conflicts: 1000 | #Constraints: 1619
319.75/320.73 c #Conflicts: 2000 | #Constraints: 2619
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 3000 | #Constraints: 2548
319.75/320.73 c #Conflicts: 4000 | #Constraints: 3548
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 5000 | #Constraints: 2943
319.75/320.73 c #Conflicts: 6000 | #Constraints: 3943
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 7000 | #Constraints: 2949
319.75/320.73 c #Conflicts: 8000 | #Constraints: 3949
319.75/320.73 c #Conflicts: 9000 | #Constraints: 4949
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 10000 | #Constraints: 3643
319.75/320.73 c #Conflicts: 11000 | #Constraints: 4643
319.75/320.73 c #Conflicts: 12000 | #Constraints: 5643
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 13000 | #Constraints: 4100
319.75/320.73 c #Conflicts: 14000 | #Constraints: 5100
319.75/320.73 c #Conflicts: 15000 | #Constraints: 6100
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 16000 | #Constraints: 4323
319.75/320.73 c #Conflicts: 17000 | #Constraints: 5323
319.75/320.73 c #Conflicts: 18000 | #Constraints: 6323
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 19000 | #Constraints: 4331
319.75/320.73 c #Conflicts: 20000 | #Constraints: 5331
319.75/320.73 c #Conflicts: 21000 | #Constraints: 6331
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 22000 | #Constraints: 4136
319.75/320.73 c #Conflicts: 23000 | #Constraints: 5136
319.75/320.73 c #Conflicts: 24000 | #Constraints: 6136
319.75/320.73 c #Conflicts: 25000 | #Constraints: 7136
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 26000 | #Constraints: 4742
319.75/320.73 c #Conflicts: 27000 | #Constraints: 5742
319.75/320.73 c #Conflicts: 28000 | #Constraints: 6742
319.75/320.73 c #Conflicts: 29000 | #Constraints: 7742
319.75/320.73 c INPROCESSING
319.75/320.73 c GARBAGE COLLECT
319.75/320.73 c #Conflicts: 30000 | #Constraints: 5144
319.75/320.73 c #Conflicts: 31000 | #Constraints: 6144
319.75/320.73 c #Conflicts: 32000 | #Constraints: 7144
413.06/414.36 c #Conflicts: 33000 | #Constraints: 8144
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 34000 | #Constraints: 5344
413.06/414.36 c #Conflicts: 35000 | #Constraints: 6344
413.06/414.36 c #Conflicts: 36000 | #Constraints: 7344
413.06/414.36 c #Conflicts: 37000 | #Constraints: 8344
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 38000 | #Constraints: 5344
413.06/414.36 c #Conflicts: 39000 | #Constraints: 6344
413.06/414.36 c #Conflicts: 40000 | #Constraints: 7344
413.06/414.36 c #Conflicts: 41000 | #Constraints: 8344
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 42000 | #Constraints: 5147
413.06/414.36 c #Conflicts: 43000 | #Constraints: 6147
413.06/414.36 c #Conflicts: 44000 | #Constraints: 7147
413.06/414.36 c #Conflicts: 45000 | #Constraints: 8147
413.06/414.36 c #Conflicts: 46000 | #Constraints: 9147
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 47000 | #Constraints: 5743
413.06/414.36 c #Conflicts: 48000 | #Constraints: 6743
413.06/414.36 c #Conflicts: 49000 | #Constraints: 7743
413.06/414.36 c #Conflicts: 50000 | #Constraints: 8743
413.06/414.36 c #Conflicts: 51000 | #Constraints: 9743
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 52000 | #Constraints: 6149
413.06/414.36 c #Conflicts: 53000 | #Constraints: 7149
413.06/414.36 c #Conflicts: 54000 | #Constraints: 8149
413.06/414.36 c #Conflicts: 55000 | #Constraints: 9149
413.06/414.36 c #Conflicts: 56000 | #Constraints: 10149
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 57000 | #Constraints: 6348
413.06/414.36 c #Conflicts: 58000 | #Constraints: 7348
413.06/414.36 c #Conflicts: 59000 | #Constraints: 8348
413.06/414.36 c #Conflicts: 60000 | #Constraints: 9348
413.06/414.36 c #Conflicts: 61000 | #Constraints: 10348
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 62000 | #Constraints: 6345
413.06/414.36 c #Conflicts: 63000 | #Constraints: 7345
413.06/414.36 c #Conflicts: 64000 | #Constraints: 8345
413.06/414.36 c #Conflicts: 65000 | #Constraints: 9345
413.06/414.36 c #Conflicts: 66000 | #Constraints: 10345
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 67000 | #Constraints: 6142
413.06/414.36 c #Conflicts: 68000 | #Constraints: 7142
413.06/414.36 c #Conflicts: 69000 | #Constraints: 8142
413.06/414.36 c #Conflicts: 70000 | #Constraints: 9142
413.06/414.36 c #Conflicts: 71000 | #Constraints: 10142
413.06/414.36 c #Conflicts: 72000 | #Constraints: 11142
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 73000 | #Constraints: 6743
413.06/414.36 c #Conflicts: 74000 | #Constraints: 7743
413.06/414.36 c #Conflicts: 75000 | #Constraints: 8743
413.06/414.36 c #Conflicts: 76000 | #Constraints: 9743
413.06/414.36 c #Conflicts: 77000 | #Constraints: 10743
413.06/414.36 c #Conflicts: 78000 | #Constraints: 11743
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 79000 | #Constraints: 7143
413.06/414.36 c #Conflicts: 80000 | #Constraints: 8143
413.06/414.36 c #Conflicts: 81000 | #Constraints: 9143
413.06/414.36 c #Conflicts: 82000 | #Constraints: 10143
413.06/414.36 c #Conflicts: 83000 | #Constraints: 11143
413.06/414.36 c #Conflicts: 84000 | #Constraints: 12143
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 85000 | #Constraints: 7347
413.06/414.36 c #Conflicts: 86000 | #Constraints: 8347
413.06/414.36 c #Conflicts: 87000 | #Constraints: 9347
413.06/414.36 c #Conflicts: 88000 | #Constraints: 10347
413.06/414.36 c #Conflicts: 89000 | #Constraints: 11347
413.06/414.36 c #Conflicts: 90000 | #Constraints: 12347
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 91000 | #Constraints: 7344
413.06/414.36 c #Conflicts: 92000 | #Constraints: 8344
413.06/414.36 c #Conflicts: 93000 | #Constraints: 9344
413.06/414.36 c #Conflicts: 94000 | #Constraints: 10344
413.06/414.36 c #Conflicts: 95000 | #Constraints: 11344
413.06/414.36 c #Conflicts: 96000 | #Constraints: 12344
413.06/414.36 c INPROCESSING
413.06/414.36 c GARBAGE COLLECT
413.06/414.36 c #Conflicts: 97000 | #Constraints: 7150
413.06/414.36 c #Conflicts: 98000 | #Constraints: 8150
413.06/414.36 c #Conflicts: 99000 | #Constraints: 9150
413.06/414.36 c #Conflicts: 100000 | #Constraints: 10150
413.06/414.36 c #Conflicts: 101000 | #Constraints: 11150
413.06/414.36 c #Conflicts: 102000 | #Constraints: 12150
413.06/414.36 c #Conflicts: 103000 | #Constraints: 13150
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 104000 | #Constraints: 7746
534.58/536.27 c #Conflicts: 105000 | #Constraints: 8746
534.58/536.27 c #Conflicts: 106000 | #Constraints: 9746
534.58/536.27 c #Conflicts: 107000 | #Constraints: 10746
534.58/536.27 c #Conflicts: 108000 | #Constraints: 11746
534.58/536.27 c #Conflicts: 109000 | #Constraints: 12746
534.58/536.27 c #Conflicts: 110000 | #Constraints: 13746
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 111000 | #Constraints: 8148
534.58/536.27 c #Conflicts: 112000 | #Constraints: 9148
534.58/536.27 c #Conflicts: 113000 | #Constraints: 10148
534.58/536.27 c #Conflicts: 114000 | #Constraints: 11148
534.58/536.27 c #Conflicts: 115000 | #Constraints: 12148
534.58/536.27 c #Conflicts: 116000 | #Constraints: 13148
534.58/536.27 c #Conflicts: 117000 | #Constraints: 14148
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 118000 | #Constraints: 8346
534.58/536.27 c #Conflicts: 119000 | #Constraints: 9346
534.58/536.27 c #Conflicts: 120000 | #Constraints: 10346
534.58/536.27 c #Conflicts: 121000 | #Constraints: 11346
534.58/536.27 c #Conflicts: 122000 | #Constraints: 12346
534.58/536.27 c #Conflicts: 123000 | #Constraints: 13346
534.58/536.27 c #Conflicts: 124000 | #Constraints: 14346
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 125000 | #Constraints: 8347
534.58/536.27 c #Conflicts: 126000 | #Constraints: 9347
534.58/536.27 c #Conflicts: 127000 | #Constraints: 10347
534.58/536.27 c #Conflicts: 128000 | #Constraints: 11347
534.58/536.27 c #Conflicts: 129000 | #Constraints: 12347
534.58/536.27 c #Conflicts: 130000 | #Constraints: 13347
534.58/536.27 c #Conflicts: 131000 | #Constraints: 14347
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 132000 | #Constraints: 8144
534.58/536.27 c #Conflicts: 133000 | #Constraints: 9144
534.58/536.27 c #Conflicts: 134000 | #Constraints: 10144
534.58/536.27 c #Conflicts: 135000 | #Constraints: 11144
534.58/536.27 c #Conflicts: 136000 | #Constraints: 12144
534.58/536.27 c #Conflicts: 137000 | #Constraints: 13144
534.58/536.27 c #Conflicts: 138000 | #Constraints: 14144
534.58/536.27 c #Conflicts: 139000 | #Constraints: 15144
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 140000 | #Constraints: 8744
534.58/536.27 c #Conflicts: 141000 | #Constraints: 9744
534.58/536.27 c #Conflicts: 142000 | #Constraints: 10744
534.58/536.27 c #Conflicts: 143000 | #Constraints: 11744
534.58/536.27 c #Conflicts: 144000 | #Constraints: 12744
534.58/536.27 c #Conflicts: 145000 | #Constraints: 13744
534.58/536.27 c #Conflicts: 146000 | #Constraints: 14744
534.58/536.27 c #Conflicts: 147000 | #Constraints: 15744
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 148000 | #Constraints: 9148
534.58/536.27 c #Conflicts: 149000 | #Constraints: 10148
534.58/536.27 c #Conflicts: 150000 | #Constraints: 11148
534.58/536.27 c #Conflicts: 151000 | #Constraints: 12148
534.58/536.27 c #Conflicts: 152000 | #Constraints: 13148
534.58/536.27 c #Conflicts: 153000 | #Constraints: 14148
534.58/536.27 c #Conflicts: 154000 | #Constraints: 15148
534.58/536.27 c #Conflicts: 155000 | #Constraints: 16148
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 156000 | #Constraints: 9346
534.58/536.27 c #Conflicts: 157000 | #Constraints: 10346
534.58/536.27 c #Conflicts: 158000 | #Constraints: 11346
534.58/536.27 c #Conflicts: 159000 | #Constraints: 12346
534.58/536.27 c #Conflicts: 160000 | #Constraints: 13346
534.58/536.27 c #Conflicts: 161000 | #Constraints: 14346
534.58/536.27 c #Conflicts: 162000 | #Constraints: 15346
534.58/536.27 c #Conflicts: 163000 | #Constraints: 16346
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 164000 | #Constraints: 9346
534.58/536.27 c #Conflicts: 165000 | #Constraints: 10346
534.58/536.27 c #Conflicts: 166000 | #Constraints: 11346
534.58/536.27 c #Conflicts: 167000 | #Constraints: 12346
534.58/536.27 c #Conflicts: 168000 | #Constraints: 13346
534.58/536.27 c #Conflicts: 169000 | #Constraints: 14346
534.58/536.27 c #Conflicts: 170000 | #Constraints: 15346
534.58/536.27 c #Conflicts: 171000 | #Constraints: 16346
534.58/536.27 c INPROCESSING
534.58/536.27 c GARBAGE COLLECT
534.58/536.27 c #Conflicts: 172000 | #Constraints: 9141
534.58/536.27 c #Conflicts: 173000 | #Constraints: 10141
534.58/536.27 c #Conflicts: 174000 | #Constraints: 11141
534.58/536.27 c #Conflicts: 175000 | #Constraints: 12141
690.27/692.34 c #Conflicts: 176000 | #Constraints: 13141
690.27/692.34 c #Conflicts: 177000 | #Constraints: 14141
690.27/692.34 c #Conflicts: 178000 | #Constraints: 15141
690.27/692.34 c #Conflicts: 179000 | #Constraints: 16141
690.27/692.34 c #Conflicts: 180000 | #Constraints: 17141
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 181000 | #Constraints: 9743
690.27/692.34 c #Conflicts: 182000 | #Constraints: 10743
690.27/692.34 c #Conflicts: 183000 | #Constraints: 11743
690.27/692.34 c #Conflicts: 184000 | #Constraints: 12743
690.27/692.34 c #Conflicts: 185000 | #Constraints: 13743
690.27/692.34 c #Conflicts: 186000 | #Constraints: 14743
690.27/692.34 c #Conflicts: 187000 | #Constraints: 15743
690.27/692.34 c #Conflicts: 188000 | #Constraints: 16743
690.27/692.34 c #Conflicts: 189000 | #Constraints: 17743
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 190000 | #Constraints: 10145
690.27/692.34 c #Conflicts: 191000 | #Constraints: 11145
690.27/692.34 c #Conflicts: 192000 | #Constraints: 12145
690.27/692.34 c #Conflicts: 193000 | #Constraints: 13145
690.27/692.34 c #Conflicts: 194000 | #Constraints: 14145
690.27/692.34 c #Conflicts: 195000 | #Constraints: 15145
690.27/692.34 c #Conflicts: 196000 | #Constraints: 16145
690.27/692.34 c #Conflicts: 197000 | #Constraints: 17145
690.27/692.34 c #Conflicts: 198000 | #Constraints: 18145
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 199000 | #Constraints: 10344
690.27/692.34 c #Conflicts: 200000 | #Constraints: 11344
690.27/692.34 c #Conflicts: 201000 | #Constraints: 12344
690.27/692.34 c #Conflicts: 202000 | #Constraints: 13344
690.27/692.34 c #Conflicts: 203000 | #Constraints: 14344
690.27/692.34 c #Conflicts: 204000 | #Constraints: 15344
690.27/692.34 c #Conflicts: 205000 | #Constraints: 16344
690.27/692.34 c #Conflicts: 206000 | #Constraints: 17344
690.27/692.34 c #Conflicts: 207000 | #Constraints: 18344
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 208000 | #Constraints: 10348
690.27/692.34 c #Conflicts: 209000 | #Constraints: 11348
690.27/692.34 c #Conflicts: 210000 | #Constraints: 12348
690.27/692.34 c #Conflicts: 211000 | #Constraints: 13348
690.27/692.34 c #Conflicts: 212000 | #Constraints: 14348
690.27/692.34 c #Conflicts: 213000 | #Constraints: 15348
690.27/692.34 c #Conflicts: 214000 | #Constraints: 16348
690.27/692.34 c #Conflicts: 215000 | #Constraints: 17348
690.27/692.34 c #Conflicts: 216000 | #Constraints: 18348
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 217000 | #Constraints: 10147
690.27/692.34 c #Conflicts: 218000 | #Constraints: 11147
690.27/692.34 c #Conflicts: 219000 | #Constraints: 12147
690.27/692.34 c #Conflicts: 220000 | #Constraints: 13147
690.27/692.34 c #Conflicts: 221000 | #Constraints: 14147
690.27/692.34 c #Conflicts: 222000 | #Constraints: 15147
690.27/692.34 c #Conflicts: 223000 | #Constraints: 16147
690.27/692.34 c #Conflicts: 224000 | #Constraints: 17147
690.27/692.34 c #Conflicts: 225000 | #Constraints: 18147
690.27/692.34 c #Conflicts: 226000 | #Constraints: 19147
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 227000 | #Constraints: 10750
690.27/692.34 c #Conflicts: 228000 | #Constraints: 11750
690.27/692.34 c #Conflicts: 229000 | #Constraints: 12750
690.27/692.34 c #Conflicts: 230000 | #Constraints: 13750
690.27/692.34 c #Conflicts: 231000 | #Constraints: 14750
690.27/692.34 c #Conflicts: 232000 | #Constraints: 15750
690.27/692.34 c #Conflicts: 233000 | #Constraints: 16750
690.27/692.34 c #Conflicts: 234000 | #Constraints: 17750
690.27/692.34 c #Conflicts: 235000 | #Constraints: 18750
690.27/692.34 c #Conflicts: 236000 | #Constraints: 19750
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 237000 | #Constraints: 11144
690.27/692.34 c #Conflicts: 238000 | #Constraints: 12144
690.27/692.34 c #Conflicts: 239000 | #Constraints: 13144
690.27/692.34 c #Conflicts: 240000 | #Constraints: 14144
690.27/692.34 c #Conflicts: 241000 | #Constraints: 15144
690.27/692.34 c #Conflicts: 242000 | #Constraints: 16144
690.27/692.34 c #Conflicts: 243000 | #Constraints: 17144
690.27/692.34 c #Conflicts: 244000 | #Constraints: 18144
690.27/692.34 c #Conflicts: 245000 | #Constraints: 19144
690.27/692.34 c #Conflicts: 246000 | #Constraints: 20144
690.27/692.34 c INPROCESSING
690.27/692.34 c GARBAGE COLLECT
690.27/692.34 c #Conflicts: 247000 | #Constraints: 11349
690.27/692.34 c #Conflicts: 248000 | #Constraints: 12349
690.27/692.34 c #Conflicts: 249000 | #Constraints: 13349
875.38/877.96 c #Conflicts: 250000 | #Constraints: 14349
875.38/877.96 c #Conflicts: 251000 | #Constraints: 15349
875.38/877.96 c #Conflicts: 252000 | #Constraints: 16349
875.38/877.96 c #Conflicts: 253000 | #Constraints: 17349
875.38/877.96 c #Conflicts: 254000 | #Constraints: 18349
875.38/877.96 c #Conflicts: 255000 | #Constraints: 19349
875.38/877.96 c #Conflicts: 256000 | #Constraints: 20349
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 257000 | #Constraints: 11352
875.38/877.96 c #Conflicts: 258000 | #Constraints: 12352
875.38/877.96 c #Conflicts: 259000 | #Constraints: 13352
875.38/877.96 c #Conflicts: 260000 | #Constraints: 14352
875.38/877.96 c #Conflicts: 261000 | #Constraints: 15352
875.38/877.96 c #Conflicts: 262000 | #Constraints: 16352
875.38/877.96 c #Conflicts: 263000 | #Constraints: 17352
875.38/877.96 c #Conflicts: 264000 | #Constraints: 18352
875.38/877.96 c #Conflicts: 265000 | #Constraints: 19352
875.38/877.96 c #Conflicts: 266000 | #Constraints: 20352
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 267000 | #Constraints: 11150
875.38/877.96 c #Conflicts: 268000 | #Constraints: 12150
875.38/877.96 c #Conflicts: 269000 | #Constraints: 13150
875.38/877.96 c #Conflicts: 270000 | #Constraints: 14150
875.38/877.96 c #Conflicts: 271000 | #Constraints: 15150
875.38/877.96 c #Conflicts: 272000 | #Constraints: 16150
875.38/877.96 c #Conflicts: 273000 | #Constraints: 17150
875.38/877.96 c #Conflicts: 274000 | #Constraints: 18150
875.38/877.96 c #Conflicts: 275000 | #Constraints: 19150
875.38/877.96 c #Conflicts: 276000 | #Constraints: 20150
875.38/877.96 c #Conflicts: 277000 | #Constraints: 21150
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 278000 | #Constraints: 11747
875.38/877.96 c #Conflicts: 279000 | #Constraints: 12747
875.38/877.96 c #Conflicts: 280000 | #Constraints: 13747
875.38/877.96 c #Conflicts: 281000 | #Constraints: 14747
875.38/877.96 c #Conflicts: 282000 | #Constraints: 15747
875.38/877.96 c #Conflicts: 283000 | #Constraints: 16747
875.38/877.96 c #Conflicts: 284000 | #Constraints: 17747
875.38/877.96 c #Conflicts: 285000 | #Constraints: 18747
875.38/877.96 c #Conflicts: 286000 | #Constraints: 19747
875.38/877.96 c #Conflicts: 287000 | #Constraints: 20747
875.38/877.96 c #Conflicts: 288000 | #Constraints: 21747
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 289000 | #Constraints: 12151
875.38/877.96 c #Conflicts: 290000 | #Constraints: 13151
875.38/877.96 c #Conflicts: 291000 | #Constraints: 14151
875.38/877.96 c #Conflicts: 292000 | #Constraints: 15151
875.38/877.96 c #Conflicts: 293000 | #Constraints: 16151
875.38/877.96 c #Conflicts: 294000 | #Constraints: 17151
875.38/877.96 c #Conflicts: 295000 | #Constraints: 18151
875.38/877.96 c #Conflicts: 296000 | #Constraints: 19151
875.38/877.96 c #Conflicts: 297000 | #Constraints: 20151
875.38/877.96 c #Conflicts: 298000 | #Constraints: 21151
875.38/877.96 c #Conflicts: 299000 | #Constraints: 22151
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 300000 | #Constraints: 12349
875.38/877.96 c #Conflicts: 301000 | #Constraints: 13349
875.38/877.96 c #Conflicts: 302000 | #Constraints: 14349
875.38/877.96 c #Conflicts: 303000 | #Constraints: 15349
875.38/877.96 c #Conflicts: 304000 | #Constraints: 16349
875.38/877.96 c #Conflicts: 305000 | #Constraints: 17349
875.38/877.96 c #Conflicts: 306000 | #Constraints: 18349
875.38/877.96 c #Conflicts: 307000 | #Constraints: 19349
875.38/877.96 c #Conflicts: 308000 | #Constraints: 20349
875.38/877.96 c #Conflicts: 309000 | #Constraints: 21349
875.38/877.96 c #Conflicts: 310000 | #Constraints: 22349
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 311000 | #Constraints: 12348
875.38/877.96 c #Conflicts: 312000 | #Constraints: 13348
875.38/877.96 c #Conflicts: 313000 | #Constraints: 14348
875.38/877.96 c #Conflicts: 314000 | #Constraints: 15348
875.38/877.96 c #Conflicts: 315000 | #Constraints: 16348
875.38/877.96 c #Conflicts: 316000 | #Constraints: 17348
875.38/877.96 c #Conflicts: 317000 | #Constraints: 18348
875.38/877.96 c #Conflicts: 318000 | #Constraints: 19348
875.38/877.96 c #Conflicts: 319000 | #Constraints: 20348
875.38/877.96 c #Conflicts: 320000 | #Constraints: 21348
875.38/877.96 c #Conflicts: 321000 | #Constraints: 22348
875.38/877.96 c INPROCESSING
875.38/877.96 c GARBAGE COLLECT
875.38/877.96 c #Conflicts: 322000 | #Constraints: 12143
875.38/877.96 c #Conflicts: 323000 | #Constraints: 13143
1106.64/1110.00 c #Conflicts: 324000 | #Constraints: 14143
1106.64/1110.00 c #Conflicts: 325000 | #Constraints: 15143
1106.64/1110.00 c #Conflicts: 326000 | #Constraints: 16143
1106.64/1110.00 c #Conflicts: 327000 | #Constraints: 17143
1106.64/1110.00 c #Conflicts: 328000 | #Constraints: 18143
1106.64/1110.00 c #Conflicts: 329000 | #Constraints: 19143
1106.64/1110.00 c #Conflicts: 330000 | #Constraints: 20143
1106.64/1110.00 c #Conflicts: 331000 | #Constraints: 21143
1106.64/1110.00 c #Conflicts: 332000 | #Constraints: 22143
1106.64/1110.00 c #Conflicts: 333000 | #Constraints: 23143
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 334000 | #Constraints: 12744
1106.64/1110.00 c #Conflicts: 335000 | #Constraints: 13744
1106.64/1110.00 c #Conflicts: 336000 | #Constraints: 14744
1106.64/1110.00 c #Conflicts: 337000 | #Constraints: 15744
1106.64/1110.00 c #Conflicts: 338000 | #Constraints: 16744
1106.64/1110.00 c #Conflicts: 339000 | #Constraints: 17744
1106.64/1110.00 c #Conflicts: 340000 | #Constraints: 18744
1106.64/1110.00 c #Conflicts: 341000 | #Constraints: 19744
1106.64/1110.00 c #Conflicts: 342000 | #Constraints: 20744
1106.64/1110.00 c #Conflicts: 343000 | #Constraints: 21744
1106.64/1110.00 c #Conflicts: 344000 | #Constraints: 22744
1106.64/1110.00 c #Conflicts: 345000 | #Constraints: 23744
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 346000 | #Constraints: 13142
1106.64/1110.00 c #Conflicts: 347000 | #Constraints: 14142
1106.64/1110.00 c #Conflicts: 348000 | #Constraints: 15142
1106.64/1110.00 c #Conflicts: 349000 | #Constraints: 16142
1106.64/1110.00 c #Conflicts: 350000 | #Constraints: 17142
1106.64/1110.00 c #Conflicts: 351000 | #Constraints: 18142
1106.64/1110.00 c #Conflicts: 352000 | #Constraints: 19142
1106.64/1110.00 c #Conflicts: 353000 | #Constraints: 20142
1106.64/1110.00 c #Conflicts: 354000 | #Constraints: 21142
1106.64/1110.00 c #Conflicts: 355000 | #Constraints: 22142
1106.64/1110.00 c #Conflicts: 356000 | #Constraints: 23142
1106.64/1110.00 c #Conflicts: 357000 | #Constraints: 24142
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 358000 | #Constraints: 13348
1106.64/1110.00 c #Conflicts: 359000 | #Constraints: 14348
1106.64/1110.00 c #Conflicts: 360000 | #Constraints: 15348
1106.64/1110.00 c #Conflicts: 361000 | #Constraints: 16348
1106.64/1110.00 c #Conflicts: 362000 | #Constraints: 17348
1106.64/1110.00 c #Conflicts: 363000 | #Constraints: 18348
1106.64/1110.00 c #Conflicts: 364000 | #Constraints: 19348
1106.64/1110.00 c #Conflicts: 365000 | #Constraints: 20348
1106.64/1110.00 c #Conflicts: 366000 | #Constraints: 21348
1106.64/1110.00 c #Conflicts: 367000 | #Constraints: 22348
1106.64/1110.00 c #Conflicts: 368000 | #Constraints: 23348
1106.64/1110.00 c #Conflicts: 369000 | #Constraints: 24348
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 370000 | #Constraints: 13351
1106.64/1110.00 c #Conflicts: 371000 | #Constraints: 14351
1106.64/1110.00 c #Conflicts: 372000 | #Constraints: 15351
1106.64/1110.00 c #Conflicts: 373000 | #Constraints: 16351
1106.64/1110.00 c #Conflicts: 374000 | #Constraints: 17351
1106.64/1110.00 c #Conflicts: 375000 | #Constraints: 18351
1106.64/1110.00 c #Conflicts: 376000 | #Constraints: 19351
1106.64/1110.00 c #Conflicts: 377000 | #Constraints: 20351
1106.64/1110.00 c #Conflicts: 378000 | #Constraints: 21351
1106.64/1110.00 c #Conflicts: 379000 | #Constraints: 22351
1106.64/1110.00 c #Conflicts: 380000 | #Constraints: 23351
1106.64/1110.00 c #Conflicts: 381000 | #Constraints: 24351
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 382000 | #Constraints: 13151
1106.64/1110.00 c #Conflicts: 383000 | #Constraints: 14151
1106.64/1110.00 c #Conflicts: 384000 | #Constraints: 15151
1106.64/1110.00 c #Conflicts: 385000 | #Constraints: 16151
1106.64/1110.00 c #Conflicts: 386000 | #Constraints: 17151
1106.64/1110.00 c #Conflicts: 387000 | #Constraints: 18151
1106.64/1110.00 c #Conflicts: 388000 | #Constraints: 19151
1106.64/1110.00 c #Conflicts: 389000 | #Constraints: 20151
1106.64/1110.00 c #Conflicts: 390000 | #Constraints: 21151
1106.64/1110.00 c #Conflicts: 391000 | #Constraints: 22151
1106.64/1110.00 c #Conflicts: 392000 | #Constraints: 23151
1106.64/1110.00 c #Conflicts: 393000 | #Constraints: 24151
1106.64/1110.00 c #Conflicts: 394000 | #Constraints: 25151
1106.64/1110.00 c INPROCESSING
1106.64/1110.00 c GARBAGE COLLECT
1106.64/1110.00 c #Conflicts: 395000 | #Constraints: 13750
1106.64/1110.00 c #Conflicts: 396000 | #Constraints: 14750
1106.64/1110.00 c #Conflicts: 397000 | #Constraints: 15750
1106.64/1110.00 c #Conflicts: 398000 | #Constraints: 16750
1394.88/1399.04 c #Conflicts: 399000 | #Constraints: 17750
1394.88/1399.04 c #Conflicts: 400000 | #Constraints: 18750
1394.88/1399.04 c #Conflicts: 401000 | #Constraints: 19750
1394.88/1399.04 c #Conflicts: 402000 | #Constraints: 20750
1394.88/1399.04 c #Conflicts: 403000 | #Constraints: 21750
1394.88/1399.04 c #Conflicts: 404000 | #Constraints: 22750
1394.88/1399.04 c #Conflicts: 405000 | #Constraints: 23750
1394.88/1399.04 c #Conflicts: 406000 | #Constraints: 24750
1394.88/1399.04 c #Conflicts: 407000 | #Constraints: 25750
1394.88/1399.04 c INPROCESSING
1394.88/1399.04 c GARBAGE COLLECT
1394.88/1399.04 c #Conflicts: 408000 | #Constraints: 14153
1394.88/1399.04 c #Conflicts: 409000 | #Constraints: 15153
1394.88/1399.04 c #Conflicts: 410000 | #Constraints: 16153
1394.88/1399.04 c #Conflicts: 411000 | #Constraints: 17153
1394.88/1399.04 c #Conflicts: 412000 | #Constraints: 18153
1394.88/1399.04 c #Conflicts: 413000 | #Constraints: 19153
1394.88/1399.04 c #Conflicts: 414000 | #Constraints: 20153
1394.88/1399.04 c #Conflicts: 415000 | #Constraints: 21153
1394.88/1399.04 c #Conflicts: 416000 | #Constraints: 22153
1394.88/1399.04 c #Conflicts: 417000 | #Constraints: 23153
1394.88/1399.04 c #Conflicts: 418000 | #Constraints: 24153
1394.88/1399.04 c #Conflicts: 419000 | #Constraints: 25153
1394.88/1399.04 c #Conflicts: 420000 | #Constraints: 26153
1394.88/1399.04 c INPROCESSING
1394.88/1399.04 c GARBAGE COLLECT
1394.88/1399.04 c #Conflicts: 421000 | #Constraints: 14352
1394.88/1399.04 c #Conflicts: 422000 | #Constraints: 15352
1394.88/1399.04 c #Conflicts: 423000 | #Constraints: 16352
1394.88/1399.04 c #Conflicts: 424000 | #Constraints: 17352
1394.88/1399.04 c #Conflicts: 425000 | #Constraints: 18352
1394.88/1399.04 c #Conflicts: 426000 | #Constraints: 19352
1394.88/1399.04 c #Conflicts: 427000 | #Constraints: 20352
1394.88/1399.04 c #Conflicts: 428000 | #Constraints: 21352
1394.88/1399.04 c #Conflicts: 429000 | #Constraints: 22352
1394.88/1399.04 c #Conflicts: 430000 | #Constraints: 23352
1394.88/1399.04 c #Conflicts: 431000 | #Constraints: 24352
1394.88/1399.04 c #Conflicts: 432000 | #Constraints: 25352
1394.88/1399.04 c #Conflicts: 433000 | #Constraints: 26352
1394.88/1399.04 c INPROCESSING
1394.88/1399.04 c GARBAGE COLLECT
1394.88/1399.04 c #Conflicts: 434000 | #Constraints: 14347
1394.88/1399.04 c #Conflicts: 435000 | #Constraints: 15347
1394.88/1399.04 c #Conflicts: 436000 | #Constraints: 16347
1394.88/1399.04 c #Conflicts: 437000 | #Constraints: 17347
1394.88/1399.04 c #Conflicts: 438000 | #Constraints: 18347
1394.88/1399.04 c #Conflicts: 439000 | #Constraints: 19347
1394.88/1399.04 c #Conflicts: 440000 | #Constraints: 20347
1394.88/1399.04 c #Conflicts: 441000 | #Constraints: 21347
1394.88/1399.04 c #Conflicts: 442000 | #Constraints: 22347
1394.88/1399.04 c #Conflicts: 443000 | #Constraints: 23347
1394.88/1399.04 c #Conflicts: 444000 | #Constraints: 24347
1394.88/1399.04 c #Conflicts: 445000 | #Constraints: 25347
1394.88/1399.04 c #Conflicts: 446000 | #Constraints: 26347
1394.88/1399.04 c INPROCESSING
1394.88/1399.04 c GARBAGE COLLECT
1394.88/1399.04 c #Conflicts: 447000 | #Constraints: 14148
1394.88/1399.04 c #Conflicts: 448000 | #Constraints: 15148
1394.88/1399.04 c #Conflicts: 449000 | #Constraints: 16148
1394.88/1399.04 c #Conflicts: 450000 | #Constraints: 17148
1394.88/1399.04 c #Conflicts: 451000 | #Constraints: 18148
1394.88/1399.04 c #Conflicts: 452000 | #Constraints: 19148
1394.88/1399.04 c #Conflicts: 453000 | #Constraints: 20148
1394.88/1399.04 c #Conflicts: 454000 | #Constraints: 21148
1394.88/1399.04 c #Conflicts: 455000 | #Constraints: 22148
1394.88/1399.04 c #Conflicts: 456000 | #Constraints: 23148
1394.88/1399.04 c #Conflicts: 457000 | #Constraints: 24148
1394.88/1399.04 c #Conflicts: 458000 | #Constraints: 25148
1394.88/1399.04 c #Conflicts: 459000 | #Constraints: 26148
1394.88/1399.04 c #Conflicts: 460000 | #Constraints: 27148
1394.88/1399.04 c INPROCESSING
1394.88/1399.04 c GARBAGE COLLECT
1394.88/1399.04 c #Conflicts: 461000 | #Constraints: 14750
1394.88/1399.04 c #Conflicts: 462000 | #Constraints: 15750
1394.88/1399.04 c #Conflicts: 463000 | #Constraints: 16750
1394.88/1399.04 c #Conflicts: 464000 | #Constraints: 17750
1394.88/1399.04 c #Conflicts: 465000 | #Constraints: 18750
1394.88/1399.04 c #Conflicts: 466000 | #Constraints: 19750
1394.88/1399.04 c #Conflicts: 467000 | #Constraints: 20750
1394.88/1399.04 c #Conflicts: 468000 | #Constraints: 21750
1394.88/1399.04 c #Conflicts: 469000 | #Constraints: 22750
1394.88/1399.04 c #Conflicts: 470000 | #Constraints: 23750
1394.88/1399.04 c #Conflicts: 471000 | #Constraints: 24750
1394.88/1399.04 c #Conflicts: 472000 | #Constraints: 25750
1394.88/1399.04 c #Conflicts: 473000 | #Constraints: 26750
1394.88/1399.04 c #Conflicts: 474000 | #Constraints: 27750
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 475000 | #Constraints: 15156
1689.17/1694.16 c #Conflicts: 476000 | #Constraints: 16156
1689.17/1694.16 c #Conflicts: 477000 | #Constraints: 17156
1689.17/1694.16 c #Conflicts: 478000 | #Constraints: 18156
1689.17/1694.16 c #Conflicts: 479000 | #Constraints: 19156
1689.17/1694.16 c #Conflicts: 480000 | #Constraints: 20156
1689.17/1694.16 c #Conflicts: 481000 | #Constraints: 21156
1689.17/1694.16 c #Conflicts: 482000 | #Constraints: 22156
1689.17/1694.16 c #Conflicts: 483000 | #Constraints: 23156
1689.17/1694.16 c #Conflicts: 484000 | #Constraints: 24156
1689.17/1694.16 c #Conflicts: 485000 | #Constraints: 25156
1689.17/1694.16 c #Conflicts: 486000 | #Constraints: 26156
1689.17/1694.16 c #Conflicts: 487000 | #Constraints: 27156
1689.17/1694.16 c #Conflicts: 488000 | #Constraints: 28156
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 489000 | #Constraints: 15351
1689.17/1694.16 c #Conflicts: 490000 | #Constraints: 16351
1689.17/1694.16 c #Conflicts: 491000 | #Constraints: 17351
1689.17/1694.16 c #Conflicts: 492000 | #Constraints: 18351
1689.17/1694.16 c #Conflicts: 493000 | #Constraints: 19351
1689.17/1694.16 c #Conflicts: 494000 | #Constraints: 20351
1689.17/1694.16 c #Conflicts: 495000 | #Constraints: 21351
1689.17/1694.16 c #Conflicts: 496000 | #Constraints: 22351
1689.17/1694.16 c #Conflicts: 497000 | #Constraints: 23351
1689.17/1694.16 c #Conflicts: 498000 | #Constraints: 24351
1689.17/1694.16 c #Conflicts: 499000 | #Constraints: 25351
1689.17/1694.16 c #Conflicts: 500000 | #Constraints: 26351
1689.17/1694.16 c #Conflicts: 501000 | #Constraints: 27351
1689.17/1694.16 c #Conflicts: 502000 | #Constraints: 28351
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 503000 | #Constraints: 15355
1689.17/1694.16 c #Conflicts: 504000 | #Constraints: 16355
1689.17/1694.16 c #Conflicts: 505000 | #Constraints: 17355
1689.17/1694.16 c #Conflicts: 506000 | #Constraints: 18355
1689.17/1694.16 c #Conflicts: 507000 | #Constraints: 19355
1689.17/1694.16 c #Conflicts: 508000 | #Constraints: 20355
1689.17/1694.16 c #Conflicts: 509000 | #Constraints: 21355
1689.17/1694.16 c #Conflicts: 510000 | #Constraints: 22355
1689.17/1694.16 c #Conflicts: 511000 | #Constraints: 23355
1689.17/1694.16 c #Conflicts: 512000 | #Constraints: 24355
1689.17/1694.16 c #Conflicts: 513000 | #Constraints: 25355
1689.17/1694.16 c #Conflicts: 514000 | #Constraints: 26355
1689.17/1694.16 c #Conflicts: 515000 | #Constraints: 27355
1689.17/1694.16 c #Conflicts: 516000 | #Constraints: 28355
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 517000 | #Constraints: 15148
1689.17/1694.16 c #Conflicts: 518000 | #Constraints: 16148
1689.17/1694.16 c #Conflicts: 519000 | #Constraints: 17148
1689.17/1694.16 c #Conflicts: 520000 | #Constraints: 18148
1689.17/1694.16 c #Conflicts: 521000 | #Constraints: 19148
1689.17/1694.16 c #Conflicts: 522000 | #Constraints: 20148
1689.17/1694.16 c #Conflicts: 523000 | #Constraints: 21148
1689.17/1694.16 c #Conflicts: 524000 | #Constraints: 22148
1689.17/1694.16 c #Conflicts: 525000 | #Constraints: 23148
1689.17/1694.16 c #Conflicts: 526000 | #Constraints: 24148
1689.17/1694.16 c #Conflicts: 527000 | #Constraints: 25148
1689.17/1694.16 c #Conflicts: 528000 | #Constraints: 26148
1689.17/1694.16 c #Conflicts: 529000 | #Constraints: 27148
1689.17/1694.16 c #Conflicts: 530000 | #Constraints: 28148
1689.17/1694.16 c #Conflicts: 531000 | #Constraints: 29148
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 532000 | #Constraints: 15746
1689.17/1694.16 c #Conflicts: 533000 | #Constraints: 16746
1689.17/1694.16 c #Conflicts: 534000 | #Constraints: 17746
1689.17/1694.16 c #Conflicts: 535000 | #Constraints: 18746
1689.17/1694.16 c #Conflicts: 536000 | #Constraints: 19746
1689.17/1694.16 c #Conflicts: 537000 | #Constraints: 20746
1689.17/1694.16 c #Conflicts: 538000 | #Constraints: 21746
1689.17/1694.16 c #Conflicts: 539000 | #Constraints: 22746
1689.17/1694.16 c #Conflicts: 540000 | #Constraints: 23746
1689.17/1694.16 c #Conflicts: 541000 | #Constraints: 24746
1689.17/1694.16 c #Conflicts: 542000 | #Constraints: 25746
1689.17/1694.16 c #Conflicts: 543000 | #Constraints: 26746
1689.17/1694.16 c #Conflicts: 544000 | #Constraints: 27746
1689.17/1694.16 c #Conflicts: 545000 | #Constraints: 28746
1689.17/1694.16 c #Conflicts: 546000 | #Constraints: 29746
1689.17/1694.16 c INPROCESSING
1689.17/1694.16 c GARBAGE COLLECT
1689.17/1694.16 c #Conflicts: 547000 | #Constraints: 16143
1689.17/1694.16 c #Conflicts: 548000 | #Constraints: 17143
1689.17/1694.16 c #Conflicts: 549000 | #Constraints: 18143
1958.93/1964.61 c #Conflicts: 550000 | #Constraints: 19143
1958.93/1964.61 c #Conflicts: 551000 | #Constraints: 20143
1958.93/1964.61 c #Conflicts: 552000 | #Constraints: 21143
1958.93/1964.61 c #Conflicts: 553000 | #Constraints: 22143
1958.93/1964.61 c #Conflicts: 554000 | #Constraints: 23143
1958.93/1964.61 c #Conflicts: 555000 | #Constraints: 24143
1958.93/1964.61 c #Conflicts: 556000 | #Constraints: 25143
1958.93/1964.61 c #Conflicts: 557000 | #Constraints: 26143
1958.93/1964.61 c #Conflicts: 558000 | #Constraints: 27143
1958.93/1964.61 c #Conflicts: 559000 | #Constraints: 28143
1958.93/1964.61 c #Conflicts: 560000 | #Constraints: 29143
1958.93/1964.61 c #Conflicts: 561000 | #Constraints: 30143
1958.93/1964.61 c INPROCESSING
1958.93/1964.61 c GARBAGE COLLECT
1958.93/1964.61 c #Conflicts: 562000 | #Constraints: 16347
1958.93/1964.61 c #Conflicts: 563000 | #Constraints: 17347
1958.93/1964.61 c #Conflicts: 564000 | #Constraints: 18347
1958.93/1964.61 c #Conflicts: 565000 | #Constraints: 19347
1958.93/1964.61 c #Conflicts: 566000 | #Constraints: 20347
1958.93/1964.61 c #Conflicts: 567000 | #Constraints: 21347
1958.93/1964.61 c #Conflicts: 568000 | #Constraints: 22347
1958.93/1964.61 c #Conflicts: 569000 | #Constraints: 23347
1958.93/1964.61 c #Conflicts: 570000 | #Constraints: 24347
1958.93/1964.61 c #Conflicts: 571000 | #Constraints: 25347
1958.93/1964.61 c #Conflicts: 572000 | #Constraints: 26347
1958.93/1964.61 c #Conflicts: 573000 | #Constraints: 27347
1958.93/1964.61 c #Conflicts: 574000 | #Constraints: 28347
1958.93/1964.61 c #Conflicts: 575000 | #Constraints: 29347
1958.93/1964.61 c #Conflicts: 576000 | #Constraints: 30347
1958.93/1964.61 c INPROCESSING
1958.93/1964.61 c GARBAGE COLLECT
1958.93/1964.61 c #Conflicts: 577000 | #Constraints: 16344
1958.93/1964.61 c #Conflicts: 578000 | #Constraints: 17344
1958.93/1964.61 c #Conflicts: 579000 | #Constraints: 18344
1958.93/1964.61 c #Conflicts: 580000 | #Constraints: 19344
1958.93/1964.61 c #Conflicts: 581000 | #Constraints: 20344
1958.93/1964.61 c #Conflicts: 582000 | #Constraints: 21344
1958.93/1964.61 c #Conflicts: 583000 | #Constraints: 22344
1958.93/1964.61 c #Conflicts: 584000 | #Constraints: 23344
1958.93/1964.61 c #Conflicts: 585000 | #Constraints: 24344
1958.93/1964.61 c #Conflicts: 586000 | #Constraints: 25344
1958.93/1964.61 c #Conflicts: 587000 | #Constraints: 26344
1958.93/1964.61 c #Conflicts: 588000 | #Constraints: 27344
1958.93/1964.61 c #Conflicts: 589000 | #Constraints: 28344
1958.93/1964.61 c #Conflicts: 590000 | #Constraints: 29344
1958.93/1964.61 c #Conflicts: 591000 | #Constraints: 30344
1958.93/1964.61 c INPROCESSING
1958.93/1964.61 c GARBAGE COLLECT
1958.93/1964.61 c #Conflicts: 592000 | #Constraints: 16152
1958.93/1964.61 c #Conflicts: 593000 | #Constraints: 17152
1958.93/1964.61 c #Conflicts: 594000 | #Constraints: 18152
1958.93/1964.61 c #Conflicts: 595000 | #Constraints: 19152
1958.93/1964.61 c #Conflicts: 596000 | #Constraints: 20152
1958.93/1964.61 c #Conflicts: 597000 | #Constraints: 21152
1958.93/1964.61 c #Conflicts: 598000 | #Constraints: 22152
1958.93/1964.61 c #Conflicts: 599000 | #Constraints: 23152
1958.93/1964.61 c #Conflicts: 600000 | #Constraints: 24152
1958.93/1964.61 c #Conflicts: 601000 | #Constraints: 25152
1958.93/1964.61 c #Conflicts: 602000 | #Constraints: 26152
1958.93/1964.61 c #Conflicts: 603000 | #Constraints: 27152
1958.93/1964.61 c #Conflicts: 604000 | #Constraints: 28152
1958.93/1964.61 c #Conflicts: 605000 | #Constraints: 29152
1958.93/1964.61 c #Conflicts: 606000 | #Constraints: 30152
1958.93/1964.61 c #Conflicts: 607000 | #Constraints: 31152
1958.93/1964.61 c INPROCESSING
1958.93/1964.61 c GARBAGE COLLECT
1958.93/1964.61 c #Conflicts: 608000 | #Constraints: 16752
1958.93/1964.61 c #Conflicts: 609000 | #Constraints: 17752
1958.93/1964.61 c #Conflicts: 610000 | #Constraints: 18752
1958.93/1964.61 c #Conflicts: 611000 | #Constraints: 19752
1958.93/1964.61 c #Conflicts: 612000 | #Constraints: 20752
1958.93/1964.61 c #Conflicts: 613000 | #Constraints: 21752
1958.93/1964.61 c #Conflicts: 614000 | #Constraints: 22752
1958.93/1964.61 c #Conflicts: 615000 | #Constraints: 23752
1958.93/1964.61 c #Conflicts: 616000 | #Constraints: 24752
1958.93/1964.61 c #Conflicts: 617000 | #Constraints: 25752
1958.93/1964.61 c #Conflicts: 618000 | #Constraints: 26752
1958.93/1964.61 c #Conflicts: 619000 | #Constraints: 27752
1958.93/1964.61 c #Conflicts: 620000 | #Constraints: 28752
1958.93/1964.61 c #Conflicts: 621000 | #Constraints: 29752
1958.93/1964.61 c #Conflicts: 622000 | #Constraints: 30752
1958.93/1964.61 c #Conflicts: 623000 | #Constraints: 31752
1958.93/1964.61 c INPROCESSING
1958.93/1964.61 c GARBAGE COLLECT
1958.93/1964.61 c #Conflicts: 624000 | #Constraints: 17149
2273.37/2279.92 c #Conflicts: 625000 | #Constraints: 18149
2273.37/2279.92 c #Conflicts: 626000 | #Constraints: 19149
2273.37/2279.92 c #Conflicts: 627000 | #Constraints: 20149
2273.37/2279.92 c #Conflicts: 628000 | #Constraints: 21149
2273.37/2279.92 c #Conflicts: 629000 | #Constraints: 22149
2273.37/2279.92 c #Conflicts: 630000 | #Constraints: 23149
2273.37/2279.92 c #Conflicts: 631000 | #Constraints: 24149
2273.37/2279.92 c #Conflicts: 632000 | #Constraints: 25149
2273.37/2279.92 c #Conflicts: 633000 | #Constraints: 26149
2273.37/2279.92 c #Conflicts: 634000 | #Constraints: 27149
2273.37/2279.92 c #Conflicts: 635000 | #Constraints: 28149
2273.37/2279.92 c #Conflicts: 636000 | #Constraints: 29149
2273.37/2279.92 c #Conflicts: 637000 | #Constraints: 30149
2273.37/2279.92 c #Conflicts: 638000 | #Constraints: 31149
2273.37/2279.92 c #Conflicts: 639000 | #Constraints: 32149
2273.37/2279.92 c INPROCESSING
2273.37/2279.92 c GARBAGE COLLECT
2273.37/2279.92 c #Conflicts: 640000 | #Constraints: 17346
2273.37/2279.92 c #Conflicts: 641000 | #Constraints: 18346
2273.37/2279.92 c #Conflicts: 642000 | #Constraints: 19346
2273.37/2279.92 c #Conflicts: 643000 | #Constraints: 20346
2273.37/2279.92 c #Conflicts: 644000 | #Constraints: 21346
2273.37/2279.92 c #Conflicts: 645000 | #Constraints: 22346
2273.37/2279.92 c #Conflicts: 646000 | #Constraints: 23346
2273.37/2279.92 c #Conflicts: 647000 | #Constraints: 24346
2273.37/2279.92 c #Conflicts: 648000 | #Constraints: 25346
2273.37/2279.92 c #Conflicts: 649000 | #Constraints: 26346
2273.37/2279.92 c #Conflicts: 650000 | #Constraints: 27346
2273.37/2279.92 c #Conflicts: 651000 | #Constraints: 28346
2273.37/2279.92 c #Conflicts: 652000 | #Constraints: 29346
2273.37/2279.92 c #Conflicts: 653000 | #Constraints: 30346
2273.37/2279.92 c #Conflicts: 654000 | #Constraints: 31346
2273.37/2279.92 c #Conflicts: 655000 | #Constraints: 32346
2273.37/2279.92 c INPROCESSING
2273.37/2279.92 c GARBAGE COLLECT
2273.37/2279.92 c #Conflicts: 656000 | #Constraints: 17345
2273.37/2279.92 c #Conflicts: 657000 | #Constraints: 18345
2273.37/2279.92 c #Conflicts: 658000 | #Constraints: 19345
2273.37/2279.92 c #Conflicts: 659000 | #Constraints: 20345
2273.37/2279.92 c #Conflicts: 660000 | #Constraints: 21345
2273.37/2279.92 c #Conflicts: 661000 | #Constraints: 22345
2273.37/2279.92 c #Conflicts: 662000 | #Constraints: 23345
2273.37/2279.92 c #Conflicts: 663000 | #Constraints: 24345
2273.37/2279.92 c #Conflicts: 664000 | #Constraints: 25345
2273.37/2279.92 c #Conflicts: 665000 | #Constraints: 26345
2273.37/2279.92 c #Conflicts: 666000 | #Constraints: 27345
2273.37/2279.92 c #Conflicts: 667000 | #Constraints: 28345
2273.37/2279.92 c #Conflicts: 668000 | #Constraints: 29345
2273.37/2279.92 c #Conflicts: 669000 | #Constraints: 30345
2273.37/2279.92 c #Conflicts: 670000 | #Constraints: 31345
2273.37/2279.92 c #Conflicts: 671000 | #Constraints: 32345
2273.37/2279.92 c INPROCESSING
2273.37/2279.92 c GARBAGE COLLECT
2273.37/2279.92 c #Conflicts: 672000 | #Constraints: 17149
2273.37/2279.92 c #Conflicts: 673000 | #Constraints: 18149
2273.37/2279.92 c #Conflicts: 674000 | #Constraints: 19149
2273.37/2279.92 c #Conflicts: 675000 | #Constraints: 20149
2273.37/2279.92 c #Conflicts: 676000 | #Constraints: 21149
2273.37/2279.92 c #Conflicts: 677000 | #Constraints: 22149
2273.37/2279.92 c #Conflicts: 678000 | #Constraints: 23149
2273.37/2279.92 c #Conflicts: 679000 | #Constraints: 24149
2273.37/2279.92 c #Conflicts: 680000 | #Constraints: 25149
2273.37/2279.92 c #Conflicts: 681000 | #Constraints: 26149
2273.37/2279.92 c #Conflicts: 682000 | #Constraints: 27149
2273.37/2279.92 c #Conflicts: 683000 | #Constraints: 28149
2273.37/2279.92 c #Conflicts: 684000 | #Constraints: 29149
2273.37/2279.92 c #Conflicts: 685000 | #Constraints: 30149
2273.37/2279.92 c #Conflicts: 686000 | #Constraints: 31149
2273.37/2279.92 c #Conflicts: 687000 | #Constraints: 32149
2273.37/2279.92 c #Conflicts: 688000 | #Constraints: 33149
2273.37/2279.92 c INPROCESSING
2273.37/2279.92 c GARBAGE COLLECT
2273.37/2279.92 c #Conflicts: 689000 | #Constraints: 17749
2273.37/2279.92 c #Conflicts: 690000 | #Constraints: 18749
2273.37/2279.92 c #Conflicts: 691000 | #Constraints: 19749
2273.37/2279.92 c #Conflicts: 692000 | #Constraints: 20749
2273.37/2279.92 c #Conflicts: 693000 | #Constraints: 21749
2273.37/2279.92 c #Conflicts: 694000 | #Constraints: 22749
2273.37/2279.92 c #Conflicts: 695000 | #Constraints: 23749
2273.37/2279.92 c #Conflicts: 696000 | #Constraints: 24749
2273.37/2279.92 c #Conflicts: 697000 | #Constraints: 25749
2273.37/2279.92 c #Conflicts: 698000 | #Constraints: 26749
2273.37/2279.92 c #Conflicts: 699000 | #Constraints: 27749
2273.37/2279.92 c #Conflicts: 700000 | #Constraints: 28749
2273.37/2279.92 c #Conflicts: 701000 | #Constraints: 29749
2677.22/2685.00 c #Conflicts: 702000 | #Constraints: 30749
2677.22/2685.00 c #Conflicts: 703000 | #Constraints: 31749
2677.22/2685.00 c #Conflicts: 704000 | #Constraints: 32749
2677.22/2685.00 c #Conflicts: 705000 | #Constraints: 33749
2677.22/2685.00 c INPROCESSING
2677.22/2685.00 c GARBAGE COLLECT
2677.22/2685.00 c #Conflicts: 706000 | #Constraints: 18149
2677.22/2685.00 c #Conflicts: 707000 | #Constraints: 19149
2677.22/2685.00 c #Conflicts: 708000 | #Constraints: 20149
2677.22/2685.00 c #Conflicts: 709000 | #Constraints: 21149
2677.22/2685.00 c #Conflicts: 710000 | #Constraints: 22149
2677.22/2685.00 c #Conflicts: 711000 | #Constraints: 23149
2677.22/2685.00 c #Conflicts: 712000 | #Constraints: 24149
2677.22/2685.00 c #Conflicts: 713000 | #Constraints: 25149
2677.22/2685.00 c #Conflicts: 714000 | #Constraints: 26149
2677.22/2685.00 c #Conflicts: 715000 | #Constraints: 27149
2677.22/2685.00 c #Conflicts: 716000 | #Constraints: 28149
2677.22/2685.00 c #Conflicts: 717000 | #Constraints: 29149
2677.22/2685.00 c #Conflicts: 718000 | #Constraints: 30149
2677.22/2685.00 c #Conflicts: 719000 | #Constraints: 31149
2677.22/2685.00 c #Conflicts: 720000 | #Constraints: 32149
2677.22/2685.00 c #Conflicts: 721000 | #Constraints: 33149
2677.22/2685.00 c #Conflicts: 722000 | #Constraints: 34149
2677.22/2685.00 c INPROCESSING
2677.22/2685.00 c GARBAGE COLLECT
2677.22/2685.00 c #Conflicts: 723000 | #Constraints: 18355
2677.22/2685.00 c #Conflicts: 724000 | #Constraints: 19355
2677.22/2685.00 c #Conflicts: 725000 | #Constraints: 20355
2677.22/2685.00 c #Conflicts: 726000 | #Constraints: 21355
2677.22/2685.00 c #Conflicts: 727000 | #Constraints: 22355
2677.22/2685.00 c #Conflicts: 728000 | #Constraints: 23355
2677.22/2685.00 c #Conflicts: 729000 | #Constraints: 24355
2677.22/2685.00 c #Conflicts: 730000 | #Constraints: 25355
2677.22/2685.00 c #Conflicts: 731000 | #Constraints: 26355
2677.22/2685.00 c #Conflicts: 732000 | #Constraints: 27355
2677.22/2685.00 c #Conflicts: 733000 | #Constraints: 28355
2677.22/2685.00 c #Conflicts: 734000 | #Constraints: 29355
2677.22/2685.00 c #Conflicts: 735000 | #Constraints: 30355
2677.22/2685.00 c #Conflicts: 736000 | #Constraints: 31355
2677.22/2685.00 c #Conflicts: 737000 | #Constraints: 32355
2677.22/2685.00 c #Conflicts: 738000 | #Constraints: 33355
2677.22/2685.00 c #Conflicts: 739000 | #Constraints: 34355
2677.22/2685.00 c INPROCESSING
2677.22/2685.00 c GARBAGE COLLECT
2677.22/2685.00 c #Conflicts: 740000 | #Constraints: 18355
2677.22/2685.00 c #Conflicts: 741000 | #Constraints: 19355
2677.22/2685.00 c #Conflicts: 742000 | #Constraints: 20355
2677.22/2685.00 c #Conflicts: 743000 | #Constraints: 21355
2677.22/2685.00 c #Conflicts: 744000 | #Constraints: 22355
2677.22/2685.00 c #Conflicts: 745000 | #Constraints: 23355
2677.22/2685.00 c #Conflicts: 746000 | #Constraints: 24355
2677.22/2685.00 c #Conflicts: 747000 | #Constraints: 25355
2677.22/2685.00 c #Conflicts: 748000 | #Constraints: 26355
2677.22/2685.00 c #Conflicts: 749000 | #Constraints: 27355
2677.22/2685.00 c #Conflicts: 750000 | #Constraints: 28355
2677.22/2685.00 c #Conflicts: 751000 | #Constraints: 29355
2677.22/2685.00 c #Conflicts: 752000 | #Constraints: 30355
2677.22/2685.00 c #Conflicts: 753000 | #Constraints: 31355
2677.22/2685.00 c #Conflicts: 754000 | #Constraints: 32355
2677.22/2685.00 c #Conflicts: 755000 | #Constraints: 33355
2677.22/2685.00 c #Conflicts: 756000 | #Constraints: 34355
2677.22/2685.00 c INPROCESSING
2677.22/2685.00 c GARBAGE COLLECT
2677.22/2685.00 c #Conflicts: 757000 | #Constraints: 18149
2677.22/2685.00 c #Conflicts: 758000 | #Constraints: 19149
2677.22/2685.00 c #Conflicts: 759000 | #Constraints: 20149
2677.22/2685.00 c #Conflicts: 760000 | #Constraints: 21149
2677.22/2685.00 c #Conflicts: 761000 | #Constraints: 22149
2677.22/2685.00 c #Conflicts: 762000 | #Constraints: 23149
2677.22/2685.00 c #Conflicts: 763000 | #Constraints: 24149
2677.22/2685.00 c #Conflicts: 764000 | #Constraints: 25149
2677.22/2685.00 c #Conflicts: 765000 | #Constraints: 26149
2677.22/2685.00 c #Conflicts: 766000 | #Constraints: 27149
2677.22/2685.00 c #Conflicts: 767000 | #Constraints: 28149
2677.22/2685.00 c #Conflicts: 768000 | #Constraints: 29149
2677.22/2685.00 c #Conflicts: 769000 | #Constraints: 30149
2677.22/2685.00 c #Conflicts: 770000 | #Constraints: 31149
2677.22/2685.00 c #Conflicts: 771000 | #Constraints: 32149
2677.22/2685.00 c #Conflicts: 772000 | #Constraints: 33149
2677.22/2685.00 c #Conflicts: 773000 | #Constraints: 34149
2677.22/2685.00 c #Conflicts: 774000 | #Constraints: 35149
2677.22/2685.00 c INPROCESSING
2677.22/2685.00 c GARBAGE COLLECT
2677.22/2685.00 c #Conflicts: 775000 | #Constraints: 18746
2677.22/2685.00 c #Conflicts: 776000 | #Constraints: 19746
3124.21/3133.22 c #Conflicts: 777000 | #Constraints: 20746
3124.21/3133.22 c #Conflicts: 778000 | #Constraints: 21746
3124.21/3133.22 c #Conflicts: 779000 | #Constraints: 22746
3124.21/3133.22 c #Conflicts: 780000 | #Constraints: 23746
3124.21/3133.22 c #Conflicts: 781000 | #Constraints: 24746
3124.21/3133.22 c #Conflicts: 782000 | #Constraints: 25746
3124.21/3133.22 c #Conflicts: 783000 | #Constraints: 26746
3124.21/3133.22 c #Conflicts: 784000 | #Constraints: 27746
3124.21/3133.22 c #Conflicts: 785000 | #Constraints: 28746
3124.21/3133.22 c #Conflicts: 786000 | #Constraints: 29746
3124.21/3133.22 c #Conflicts: 787000 | #Constraints: 30746
3124.21/3133.22 c #Conflicts: 788000 | #Constraints: 31746
3124.21/3133.22 c #Conflicts: 789000 | #Constraints: 32746
3124.21/3133.22 c #Conflicts: 790000 | #Constraints: 33746
3124.21/3133.22 c #Conflicts: 791000 | #Constraints: 34746
3124.21/3133.22 c #Conflicts: 792000 | #Constraints: 35746
3124.21/3133.22 c INPROCESSING
3124.21/3133.22 c GARBAGE COLLECT
3124.21/3133.22 c #Conflicts: 793000 | #Constraints: 19145
3124.21/3133.22 c #Conflicts: 794000 | #Constraints: 20145
3124.21/3133.22 c #Conflicts: 795000 | #Constraints: 21145
3124.21/3133.22 c #Conflicts: 796000 | #Constraints: 22145
3124.21/3133.22 c #Conflicts: 797000 | #Constraints: 23145
3124.21/3133.22 c #Conflicts: 798000 | #Constraints: 24145
3124.21/3133.22 c #Conflicts: 799000 | #Constraints: 25145
3124.21/3133.22 c #Conflicts: 800000 | #Constraints: 26145
3124.21/3133.22 c #Conflicts: 801000 | #Constraints: 27145
3124.21/3133.22 c #Conflicts: 802000 | #Constraints: 28145
3124.21/3133.22 c #Conflicts: 803000 | #Constraints: 29145
3124.21/3133.22 c #Conflicts: 804000 | #Constraints: 30145
3124.21/3133.22 c #Conflicts: 805000 | #Constraints: 31145
3124.21/3133.22 c #Conflicts: 806000 | #Constraints: 32145
3124.21/3133.22 c #Conflicts: 807000 | #Constraints: 33145
3124.21/3133.22 c #Conflicts: 808000 | #Constraints: 34145
3124.21/3133.22 c #Conflicts: 809000 | #Constraints: 35145
3124.21/3133.22 c #Conflicts: 810000 | #Constraints: 36145
3124.21/3133.22 c INPROCESSING
3124.21/3133.22 c GARBAGE COLLECT
3124.21/3133.22 c #Conflicts: 811000 | #Constraints: 19347
3124.21/3133.22 c #Conflicts: 812000 | #Constraints: 20347
3124.21/3133.22 c #Conflicts: 813000 | #Constraints: 21347
3124.21/3133.22 c #Conflicts: 814000 | #Constraints: 22347
3124.21/3133.22 c #Conflicts: 815000 | #Constraints: 23347
3124.21/3133.22 c #Conflicts: 816000 | #Constraints: 24347
3124.21/3133.22 c #Conflicts: 817000 | #Constraints: 25347
3124.21/3133.22 c #Conflicts: 818000 | #Constraints: 26347
3124.21/3133.22 c #Conflicts: 819000 | #Constraints: 27347
3124.21/3133.22 c #Conflicts: 820000 | #Constraints: 28347
3124.21/3133.22 c #Conflicts: 821000 | #Constraints: 29347
3124.21/3133.22 c #Conflicts: 822000 | #Constraints: 30347
3124.21/3133.22 c #Conflicts: 823000 | #Constraints: 31347
3124.21/3133.22 c #Conflicts: 824000 | #Constraints: 32347
3124.21/3133.22 c #Conflicts: 825000 | #Constraints: 33347
3124.21/3133.22 c #Conflicts: 826000 | #Constraints: 34347
3124.21/3133.22 c #Conflicts: 827000 | #Constraints: 35347
3124.21/3133.22 c #Conflicts: 828000 | #Constraints: 36347
3124.21/3133.22 c INPROCESSING
3124.21/3133.22 c GARBAGE COLLECT
3124.21/3133.22 c #Conflicts: 829000 | #Constraints: 19346
3124.21/3133.22 c #Conflicts: 830000 | #Constraints: 20346
3124.21/3133.22 c #Conflicts: 831000 | #Constraints: 21346
3124.21/3133.22 c #Conflicts: 832000 | #Constraints: 22346
3124.21/3133.22 c #Conflicts: 833000 | #Constraints: 23346
3124.21/3133.22 c #Conflicts: 834000 | #Constraints: 24346
3124.21/3133.22 c #Conflicts: 835000 | #Constraints: 25346
3124.21/3133.22 c #Conflicts: 836000 | #Constraints: 26346
3124.21/3133.22 c #Conflicts: 837000 | #Constraints: 27346
3124.21/3133.22 c #Conflicts: 838000 | #Constraints: 28346
3124.21/3133.22 c #Conflicts: 839000 | #Constraints: 29346
3124.21/3133.22 c #Conflicts: 840000 | #Constraints: 30346
3124.21/3133.22 c #Conflicts: 841000 | #Constraints: 31346
3124.21/3133.22 c #Conflicts: 842000 | #Constraints: 32346
3124.21/3133.22 c #Conflicts: 843000 | #Constraints: 33346
3124.21/3133.22 c #Conflicts: 844000 | #Constraints: 34346
3124.21/3133.22 c #Conflicts: 845000 | #Constraints: 35346
3124.21/3133.22 c #Conflicts: 846000 | #Constraints: 36346
3124.21/3133.22 c INPROCESSING
3124.21/3133.22 c GARBAGE COLLECT
3124.21/3133.22 c #Conflicts: 847000 | #Constraints: 19148
3124.21/3133.22 c #Conflicts: 848000 | #Constraints: 20148
3124.21/3133.22 c #Conflicts: 849000 | #Constraints: 21148
3124.21/3133.22 c #Conflicts: 850000 | #Constraints: 22148
3124.21/3133.22 c #Conflicts: 851000 | #Constraints: 23148
3124.21/3133.22 c #Conflicts: 852000 | #Constraints: 24148
3551.75/3562.13 c #Conflicts: 853000 | #Constraints: 25148
3551.75/3562.13 c #Conflicts: 854000 | #Constraints: 26148
3551.75/3562.13 c #Conflicts: 855000 | #Constraints: 27148
3551.75/3562.13 c #Conflicts: 856000 | #Constraints: 28148
3551.75/3562.13 c #Conflicts: 857000 | #Constraints: 29148
3551.75/3562.13 c #Conflicts: 858000 | #Constraints: 30148
3551.75/3562.13 c #Conflicts: 859000 | #Constraints: 31148
3551.75/3562.13 c #Conflicts: 860000 | #Constraints: 32148
3551.75/3562.13 c #Conflicts: 861000 | #Constraints: 33148
3551.75/3562.13 c #Conflicts: 862000 | #Constraints: 34148
3551.75/3562.13 c #Conflicts: 863000 | #Constraints: 35148
3551.75/3562.13 c #Conflicts: 864000 | #Constraints: 36148
3551.75/3562.13 c #Conflicts: 865000 | #Constraints: 37148
3551.75/3562.13 c INPROCESSING
3551.75/3562.13 c GARBAGE COLLECT
3551.75/3562.13 c #Conflicts: 866000 | #Constraints: 19745
3551.75/3562.13 c #Conflicts: 867000 | #Constraints: 20745
3551.75/3562.13 c #Conflicts: 868000 | #Constraints: 21745
3551.75/3562.13 c #Conflicts: 869000 | #Constraints: 22745
3551.75/3562.13 c #Conflicts: 870000 | #Constraints: 23745
3551.75/3562.13 c #Conflicts: 871000 | #Constraints: 24745
3551.75/3562.13 c #Conflicts: 872000 | #Constraints: 25745
3551.75/3562.13 c #Conflicts: 873000 | #Constraints: 26745
3551.75/3562.13 c #Conflicts: 874000 | #Constraints: 27745
3551.75/3562.13 c #Conflicts: 875000 | #Constraints: 28745
3551.75/3562.13 c #Conflicts: 876000 | #Constraints: 29745
3551.75/3562.13 c #Conflicts: 877000 | #Constraints: 30745
3551.75/3562.13 c #Conflicts: 878000 | #Constraints: 31745
3551.75/3562.13 c #Conflicts: 879000 | #Constraints: 32745
3551.75/3562.13 c #Conflicts: 880000 | #Constraints: 33745
3551.75/3562.13 c #Conflicts: 881000 | #Constraints: 34745
3551.75/3562.13 c #Conflicts: 882000 | #Constraints: 35745
3551.75/3562.13 c #Conflicts: 883000 | #Constraints: 36745
3551.75/3562.13 c #Conflicts: 884000 | #Constraints: 37745
3551.75/3562.13 c INPROCESSING
3551.75/3562.13 c GARBAGE COLLECT
3551.75/3562.13 c #Conflicts: 885000 | #Constraints: 20142
3551.75/3562.13 c #Conflicts: 886000 | #Constraints: 21142
3551.75/3562.13 c #Conflicts: 887000 | #Constraints: 22142
3551.75/3562.13 c #Conflicts: 888000 | #Constraints: 23142
3551.75/3562.13 c #Conflicts: 889000 | #Constraints: 24142
3551.75/3562.13 c #Conflicts: 890000 | #Constraints: 25142
3551.75/3562.13 c #Conflicts: 891000 | #Constraints: 26142
3551.75/3562.13 c #Conflicts: 892000 | #Constraints: 27142
3551.75/3562.13 c #Conflicts: 893000 | #Constraints: 28142
3551.75/3562.13 c #Conflicts: 894000 | #Constraints: 29142
3551.75/3562.13 c #Conflicts: 895000 | #Constraints: 30142
3551.75/3562.13 c #Conflicts: 896000 | #Constraints: 31142
3551.75/3562.13 c #Conflicts: 897000 | #Constraints: 32142
3551.75/3562.13 c #Conflicts: 898000 | #Constraints: 33142
3551.75/3562.13 c #Conflicts: 899000 | #Constraints: 34142
3551.75/3562.13 c #Conflicts: 900000 | #Constraints: 35142
3551.75/3562.13 c #Conflicts: 901000 | #Constraints: 36142
3551.75/3562.13 c #Conflicts: 902000 | #Constraints: 37142
3551.75/3562.13 c #Conflicts: 903000 | #Constraints: 38142
3551.75/3562.13 c INPROCESSING
3551.75/3562.13 c GARBAGE COLLECT
3551.75/3562.13 c #Conflicts: 904000 | #Constraints: 20346
3551.75/3562.13 c #Conflicts: 905000 | #Constraints: 21346
3551.75/3562.13 c #Conflicts: 906000 | #Constraints: 22346
3551.75/3562.13 c #Conflicts: 907000 | #Constraints: 23346
3551.75/3562.13 c #Conflicts: 908000 | #Constraints: 24346
3551.75/3562.13 c #Conflicts: 909000 | #Constraints: 25346
3551.75/3562.13 c #Conflicts: 910000 | #Constraints: 26346
3551.75/3562.13 c #Conflicts: 911000 | #Constraints: 27346
3551.75/3562.13 c #Conflicts: 912000 | #Constraints: 28346
3551.75/3562.13 c #Conflicts: 913000 | #Constraints: 29346
3551.75/3562.13 c #Conflicts: 914000 | #Constraints: 30346
3551.75/3562.13 c #Conflicts: 915000 | #Constraints: 31346
3551.75/3562.13 c #Conflicts: 916000 | #Constraints: 32346
3551.75/3562.13 c #Conflicts: 917000 | #Constraints: 33346
3551.75/3562.13 c #Conflicts: 918000 | #Constraints: 34346
3551.75/3562.13 c #Conflicts: 919000 | #Constraints: 35346
3551.75/3562.13 c #Conflicts: 920000 | #Constraints: 36346
3551.75/3562.13 c #Conflicts: 921000 | #Constraints: 37346
3551.75/3562.13 c #Conflicts: 922000 | #Constraints: 38346
3551.75/3562.13 c INPROCESSING
3551.75/3562.13 c GARBAGE COLLECT
3551.75/3562.13 c #Conflicts: 923000 | #Constraints: 20345
3551.75/3562.13 c #Conflicts: 924000 | #Constraints: 21345
3551.75/3562.13 c #Conflicts: 925000 | #Constraints: 22345
3551.75/3562.13 c #Conflicts: 926000 | #Constraints: 23345
3551.75/3562.13 c #Conflicts: 927000 | #Constraints: 24345
3551.75/3562.13 c #Conflicts: 928000 | #Constraints: 25345
3551.75/3562.13 c #Conflicts: 929000 | #Constraints: 26345
3600.06/3610.60 c #Conflicts: 930000 | #Constraints: 27345
3600.06/3610.60 c #Conflicts: 931000 | #Constraints: 28345
3600.06/3610.60 c #Conflicts: 932000 | #Constraints: 29345
3600.06/3610.60 c #Conflicts: 933000 | #Constraints: 30345
3600.06/3610.60 c #Conflicts: 934000 | #Constraints: 31345
3600.06/3610.60 c #Conflicts: 935000 | #Constraints: 32345
3600.06/3610.60 c #Conflicts: 936000 | #Constraints: 33345
3600.06/3610.60 c #Conflicts: 937000 | #Constraints: 34345
3600.06/3610.60 c #Conflicts: 938000 | #Constraints: 35345
3600.06/3610.60 c Program interrupted by user.
3600.06/3610.60 c cpu time 3591.12 s
3600.06/3610.60 c deterministic time 384213210515 3.84e+11
3600.06/3610.60 c optimization time 75.7913 s
3600.06/3610.60 c total solve time 3216.24 s
3600.06/3610.60 c core-guided solve time 3216.24 s
3600.06/3610.60 c propagation time 2838.06 s
3600.06/3610.60 c conflict analysis time 394.524 s
3600.06/3610.60 c propagations 69185194
3600.06/3610.60 c resolve steps 4752755
3600.06/3610.60 c decisions 5482597
3600.06/3610.60 c conflicts 938948
3600.06/3610.60 c restarts 2043
3600.06/3610.60 c inprocessing phases 87
3600.06/3610.60 c input clauses 56
3600.06/3610.60 c input cardinalities 78
3600.06/3610.60 c input general constraints 468
3600.06/3610.60 c input average constraint length 68.28
3600.06/3610.60 c input average constraint degree 34.81
3600.06/3610.60 c learned clauses 204426
3600.06/3610.60 c learned cardinalities 446
3600.06/3610.60 c learned general constraints 734093
3600.06/3610.60 c learned average constraint length 313.06
3600.06/3610.60 c learned average constraint degree 310482.12
3600.06/3610.60 c watched constraints 629694
3600.06/3610.60 c counting constraints 104867
3600.06/3610.60 c gcd simplifications 169781
3600.06/3610.60 c detected cardinalities 350
3600.06/3610.60 c weakened non-implied lits 30113461
3600.06/3610.60 c weakened non-implying lits 83551
3600.06/3610.60 c original variables 470
3600.06/3610.60 c clausal propagations 1449664
3600.06/3610.60 c cardinality propagations 76802
3600.06/3610.60 c watched propagations 41823480
3600.06/3610.60 c counting propagations 24768001
3600.06/3610.60 c watch lookups 67483772513
3600.06/3610.60 c watch backjump lookups 63854228604
3600.06/3610.60 c watch checks 244392350248
3600.06/3610.60 c propagation checks 7368355240
3600.06/3610.60 c constraint additions 964229804
3600.06/3610.60 c trail pops 75606314
3600.06/3610.60 c formula constraints 470
3600.06/3610.60 c learned constraints 938965
3600.06/3610.60 c bound constraints 78
3600.06/3610.60 c core-guided constraints 54
3600.06/3610.60 c encountered formula constraints 2874722
3600.06/3610.60 c encountered learned constraints 2682025
3600.06/3610.60 c encountered bound constraints 365
3600.06/3610.60 c encountered core-guided constraints 134591
3600.06/3610.60 c LP total time 0 s
3600.06/3610.60 c LP solve time 0 s
3600.06/3610.60 c LP constraints added 0
3600.06/3610.60 c LP constraints removed 0
3600.06/3610.60 c LP pivots internal 0
3600.06/3610.60 c LP pivots root 0
3600.06/3610.60 c LP calls 0
3600.06/3610.60 c LP optimalities 0
3600.06/3610.60 c LP no pivot count 0
3600.06/3610.60 c LP infeasibilities 0
3600.06/3610.60 c LP valid Farkas constraints 0
3600.06/3610.60 c LP learned Farkas constraints 0
3600.06/3610.60 c LP basis resets 0
3600.06/3610.60 c LP cycling count 0
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 0
3600.06/3610.60 c LP Gomory cuts 0
3600.06/3610.60 c LP learned cuts 0
3600.06/3610.60 c LP deleted cuts 0
3600.06/3610.60 c LP encountered Gomory constraints 0
3600.06/3610.60 c LP encountered Farkas constraints 0
3600.06/3610.60 c LP encountered learned Farkas constraints 0
3600.06/3610.60 c CG auxiliary variables introduced 54
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 77
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 77
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 1.00
3600.06/3610.60 c CG core slack average 2.77
3600.06/3610.60 c CG exhausted 0
3600.06/3610.60 c CG exhaust time 0 s
3600.06/3610.60 c CG trimmed 1
3600.06/3610.60 c CG trim time 0.000292 s
3600.06/3610.60 c CG minimized 0
3600.06/3610.60 c CG minimize time 0 s
3600.06/3610.60 c CG am1 prop time 0.000609 s
3600.06/3610.60 c CG # am1s reformulated 54
3600.06/3610.60 c CG lower bound derived from am1s 54
3600.06/3610.60 c CG # clausal cores 18
3600.06/3610.60 c CG # cardinality cores 0
3600.06/3610.60 c CG # pb cores 59
3600.06/3610.60 c CG # pb reforms 0
3600.06/3610.60 c CG # cores discarded because of pb reform 0
3600.06/3610.60 d LOWERBOUND 131
3600.06/3610.60 d NCORES 77
3600.06/3610.60 d NPBCORES 59
3600.06/3610.60 d NPBREFORM 0
3600.06/3610.60 d NTRIMMED 1
3600.06/3610.60 d NEXHAUSTED 0
3600.06/3610.60 d NAM1S 54
3600.06/3610.60 d AM1LB 54
3600.06/3610.60 c [Papilo Statistics]
3600.06/3610.60 c prepro time 0.00439877s
3600.06/3610.60 c # tsx applied 15
3600.06/3610.60 c # tsx conflicts 0
3600.06/3610.60 c # bound changes 0
3600.06/3610.60 c # side changes 0
3600.06/3610.60 c # coef changes 43
3600.06/3610.60 c # rounds 3
3600.06/3610.60 c # deted vars 0
3600.06/3610.60 c # deted constrs 0
3600.06/3610.60 c # consecutive rounds of only bound changes 0
3600.06/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62103 MiB free)
memory of node 1: 64507 MiB (62444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528918-1752256526/watcher-4528918-1752256526 -o /tmp/evaluation-result-4528918-1752256526/solver-4528918-1752256526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4528918-1752256526.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=116666, runsolver pid=116663
[startup+0.100069 s]*
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127537096/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=97172 memory=24664 CPUtime=0.08 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 2537 0 0 0 7 1 0 0 20 0 1 0 141331453 99504128 6166 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 24293 6166 4160 2834 0 6498 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97172 KiB
Current children cumulated memory: 24664 KiB
[startup+0.213713 s]*
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127537096/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=99264 memory=27480 CPUtime=0.18 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 3083 0 0 0 17 1 0 0 20 0 1 0 141331453 101646336 6870 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 24816 6870 4320 2834 0 7021 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99264 KiB
Current children cumulated memory: 27480 KiB
[startup+0.313223 s]*
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127537384/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=99432 memory=27608 CPUtime=0.27 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 3113 0 0 0 26 1 0 0 20 0 1 0 141331453 101818368 6902 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 24858 6902 4320 2834 0 7063 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 99432 KiB
Current children cumulated memory: 27608 KiB
[startup+0.700258 s]
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127537384/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=99432 memory=27608 CPUtime=0.63 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 3126 0 0 0 62 1 0 0 20 0 1 0 141331453 101818368 6902 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 24858 6902 4320 2834 0 7063 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 99432 KiB
Current children cumulated memory: 27608 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127537384/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=99808 memory=27864 CPUtime=1.42 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 3220 0 0 0 141 1 0 0 20 0 1 0 141331453 102203392 6966 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 24952 6966 4320 2834 0 7157 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 99808 KiB
Current children cumulated memory: 27864 KiB
[startup+3.11314 s]
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127395616/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=229104 memory=152812 CPUtime=3.03 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 35953 0 0 0 296 7 0 0 20 0 1 0 141331453 234602496 38203 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 57276 38203 4320 2834 0 39481 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 229104 KiB
Current children cumulated memory: 152812 KiB
[startup+6.30024 s]
/proc/loadavg: 4.08 3.52 3.64 5/254 116667
/proc/meminfo: memFree=127395900/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=232960 memory=155756 CPUtime=6.21 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 36648 0 0 0 614 7 0 0 20 0 1 0 141331453 238551040 38939 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 58240 38939 4352 2834 0 40445 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 232960 KiB
Current children cumulated memory: 155756 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 3.55 3.65 5/254 116667
/proc/meminfo: memFree=127392148/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=232960 memory=155756 CPUtime=12.59 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 36648 0 0 0 1252 7 0 0 20 0 1 0 141331453 238551040 38939 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 58240 38939 4352 2834 0 40445 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 232960 KiB
Current children cumulated memory: 155756 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 3.57 3.66 5/254 116668
/proc/meminfo: memFree=127276396/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=329516 memory=250724 CPUtime=25.36 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 61421 0 0 0 2524 12 0 0 20 0 1 0 141331453 337424384 62681 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 82379 62681 4352 2834 0 64584 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 329516 KiB
Current children cumulated memory: 250724 KiB
[startup+51.1131 s]
/proc/loadavg: 4.08 3.61 3.67 5/252 116668
/proc/meminfo: memFree=127365608/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=327468 memory=248692 CPUtime=50.91 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 61426 0 0 0 5079 12 0 0 20 0 1 0 141331453 335327232 62173 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 81867 62173 4352 2834 0 64072 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 327468 KiB
Current children cumulated memory: 248692 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 3.72 3.70 5/251 116670
/proc/meminfo: memFree=127316888/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=324360 memory=249364 CPUtime=101.96 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 62640 0 0 0 10183 13 0 0 20 0 1 0 141331453 332144640 62341 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 81090 62341 4352 2834 0 63295 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 324360 KiB
Current children cumulated memory: 249364 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.79 3.73 5/250 116672
/proc/meminfo: memFree=127228744/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=383388 memory=309264 CPUtime=161.8 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 77878 0 0 0 16164 16 0 0 20 0 1 0 141331453 392589312 77316 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 95847 77316 4352 2834 0 78052 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 383388 KiB
Current children cumulated memory: 309264 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.84 3.75 5/250 116674
/proc/meminfo: memFree=127194676/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=383388 memory=309264 CPUtime=221.63 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 77884 0 0 0 22146 17 0 0 20 0 1 0 141331453 392589312 77316 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 95847 77316 4352 2834 0 78052 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 383388 KiB
Current children cumulated memory: 309264 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.89 3.78 5/250 116676
/proc/meminfo: memFree=127160724/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=383388 memory=309392 CPUtime=281.46 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 77891 0 0 0 28129 17 0 0 20 0 1 0 141331453 392589312 77348 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 95847 77348 4352 2834 0 78052 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 383388 KiB
Current children cumulated memory: 309392 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.93 3.80 5/251 116692
/proc/meminfo: memFree=127215488/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=348468 memory=275604 CPUtime=341.28 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 80199 0 0 0 34053 75 0 0 20 0 1 0 141331453 356831232 68901 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 87117 68901 4512 2834 0 69322 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 348468 KiB
Current children cumulated memory: 275604 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.96 3.82 5/250 116696
/proc/meminfo: memFree=127158268/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=348468 memory=282552 CPUtime=401.09 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 80255 0 0 0 39990 119 0 0 20 0 1 0 141331453 356831232 70638 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 87117 70638 4512 2834 0 69322 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 348468 KiB
Current children cumulated memory: 282552 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.98 3.84 5/250 116700
/proc/meminfo: memFree=127154364/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=367436 memory=288864 CPUtime=460.91 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 80799 0 0 0 45927 164 0 0 20 0 1 0 141331453 376254464 72216 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 91859 72216 4512 2834 0 74064 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
Current children cumulated memory: 341652 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/252 116812
/proc/meminfo: memFree=127050116/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=341652 CPUtime=2854.1 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82325 0 0 0 284665 745 0 0 20 0 1 0 141331453 459104256 85413 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85413 4512 2834 0 94291 0
Current children cumulated CPU time: 2854.1 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 341652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/252 116814
/proc/meminfo: memFree=127044244/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=343700 CPUtime=2913.93 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82327 0 0 0 290635 758 0 0 20 0 1 0 141331453 459104256 85925 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85925 4512 2834 0 94291 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 343700 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/252 116816
/proc/meminfo: memFree=127039532/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=343700 CPUtime=2973.75 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82327 0 0 0 296603 772 0 0 20 0 1 0 141331453 459104256 85925 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85925 4512 2834 0 94291 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 343700 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/250 116818
/proc/meminfo: memFree=127042640/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=343700 CPUtime=3033.58 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82327 0 0 0 302572 786 0 0 20 0 1 0 141331453 459104256 85925 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85925 4512 2834 0 94291 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 343700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/250 116820
/proc/meminfo: memFree=127038704/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=343700 CPUtime=3093.4 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82327 0 0 0 308543 797 0 0 20 0 1 0 141331453 459104256 85925 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85925 4512 2834 0 94291 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 343700 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/249 116822
/proc/meminfo: memFree=127034416/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=343700 CPUtime=3153.24 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82327 0 0 0 314513 811 0 0 20 0 1 0 141331453 459104256 85925 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 85925 4512 2834 0 94291 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 343700 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/249 116824
/proc/meminfo: memFree=127030512/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=345748 CPUtime=3213.05 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82346 0 0 0 320482 823 0 0 20 0 1 0 141331453 459104256 86437 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86437 4512 2834 0 94291 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 345748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/249 116826
/proc/meminfo: memFree=127030568/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=345748 CPUtime=3272.89 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82351 0 0 0 326453 836 0 0 20 0 1 0 141331453 459104256 86437 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86437 4512 2834 0 94291 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 345748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/250 116831
/proc/meminfo: memFree=127026460/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=347796 CPUtime=3332.72 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82352 0 0 0 332428 844 0 0 20 0 1 0 141331453 459104256 86949 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86949 4512 2834 0 94291 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 347796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/250 116967
/proc/meminfo: memFree=127246368/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=347796 CPUtime=3392.51 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82352 0 0 0 338396 855 0 0 20 0 1 0 141331453 459104256 86949 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86949 4512 2834 0 94291 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 347796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/251 116972
/proc/meminfo: memFree=127206324/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=347796 CPUtime=3452.3 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82352 0 0 0 344362 868 0 0 20 0 1 0 141331453 459104256 86949 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86949 4512 2834 0 94291 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 347796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/251 116976
/proc/meminfo: memFree=127209264/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=347796 CPUtime=3512.09 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82352 0 0 0 350328 881 0 0 20 0 1 0 141331453 459104256 86949 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 86949 4512 2834 0 94291 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 347796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/251 116978
/proc/meminfo: memFree=127205176/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=351892 CPUtime=3571.87 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82388 0 0 0 356296 891 0 0 20 0 1 0 141331453 459104256 87973 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 87973 4512 2834 0 94291 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 351892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.09 4.09 4.07 5/251 116979
/proc/meminfo: memFree=127205192/131382112 swapFree=33009904/33010684
[pid=116666] ppid=116663 vsize=448344 memory=351892 CPUtime=3600.06 cores=4,6
/proc/116666/stat : 116666 (mixed-bag) R 116663 116666 116137 0 -1 4194304 82394 0 0 0 359112 894 0 0 20 0 1 0 141331453 459104256 87973 18446744073709551615 4235264 15840557 140727997508944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35266560 140727997516186 140727997516263 140727997516263 140727997521867 0
/proc/116666/statm: 112086 87973 4512 2834 0 94291 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 448344 KiB
Current children cumulated memory: 351892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 116666 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.13 s, system=8.95191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.6
CPU time (s): 3600.08
CPU user time (s): 3591.13
CPU system time (s): 8.95191
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 448344
Max. memory (cumulated for all children) (KiB): 351892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.13
system time used= 8.95191
maximum resident set size= 352532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170
involuntary context switches= 1201
# summary of solver processes directly reported to runsolver:
# pid: 116666
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.13
# total CPU system time (s): 8.95191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5285 second user time and 35.5978 second system time
The end
Begin job on nodeC001 at 2025-07-11 19:55:26
IDJOB=4528918
IDBENCH=147543
IDSOLVER=3386
FILE ID=nodeC001/4528918-1752256526
RUNJOBID= nodeC001-1752256268-116148
SLURM_JOB_ID= 9682596
Free space on /tmp= 432460 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528918-1752256526/watcher-4528918-1752256526 -o /tmp/evaluation-result-4528918-1752256526/solver-4528918-1752256526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4528918-1752256526.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=125797586
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.364
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.247
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.103
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.621
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127537192 kB
MemAvailable: 129197836 kB
Buffers: 1668 kB
Cached: 2442216 kB
SwapCached: 128 kB
Active: 1078856 kB
Inactive: 2140672 kB
Active(anon): 765588 kB
Inactive(anon): 27832 kB
Active(file): 313268 kB
Inactive(file): 2112840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15536 kB
Writeback: 184 kB
AnonPages: 778600 kB
Mapped: 138912 kB
Shmem: 17776 kB
KReclaimable: 147940 kB
Slab: 236140 kB
SReclaimable: 147940 kB
SUnreclaim: 88200 kB
KernelStack: 4096 kB
PageTables: 4892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1287560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 311296 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432444 MiB
End job on nodeC001 at 2025-07-11 20:55:37