0.00/0.17 c RoundingSat 2
0.00/0.17 c branch
0.00/0.17 c commit
0.00/0.17 c with Papilo
0.00/0.17 c with SCIP
0.00/0.17 c [STEP] parsing instance
0.00/0.18 c [STEP] preprocessing with Papilo
0.00/0.20 c [STEP] solving with SCIP
299.34/300.33 c [STEP] preprocessing done, loading into solver
299.34/300.33 c [STEP] solving
299.34/300.33 c #variables 468 #constraints 466
299.34/300.33 c SMALL=int, LARGE=long long
299.34/300.33 d SCIPUB 187
299.34/300.33 c bounds - >= 0 @ 299.238
299.34/300.33 c stratification level: 0
319.48/320.52 c bounds - >= 42 @ 299.238
319.48/320.52 c bounds - >= 43 @ 299.238
319.48/320.52 c bounds - >= 44 @ 299.239
319.48/320.52 c bounds - >= 45 @ 299.239
319.48/320.52 c bounds - >= 46 @ 299.239
319.48/320.52 c bounds - >= 47 @ 299.239
319.48/320.52 c bounds - >= 48 @ 299.239
319.48/320.52 c bounds - >= 49 @ 299.239
319.48/320.52 c bounds - >= 50 @ 299.239
319.48/320.52 c bounds - >= 51 @ 299.239
319.48/320.52 c bounds - >= 52 @ 299.239
319.48/320.52 c bounds - >= 53 @ 299.239
319.48/320.52 c bounds - >= 54 @ 299.24
319.48/320.52 c bounds - >= 55 @ 299.24
319.48/320.52 c bounds - >= 56 @ 299.24
319.48/320.52 c bounds - >= 57 @ 299.24
319.48/320.52 c bounds - >= 58 @ 299.24
319.48/320.52 c bounds - >= 59 @ 299.24
319.48/320.52 c bounds - >= 60 @ 299.24
319.48/320.52 c bounds - >= 61 @ 299.24
319.48/320.52 c bounds - >= 62 @ 299.24
319.48/320.52 c bounds - >= 63 @ 299.241
319.48/320.52 c bounds - >= 64 @ 299.241
319.48/320.52 c bounds - >= 65 @ 299.241
319.48/320.52 c bounds - >= 66 @ 299.241
319.48/320.52 c bounds - >= 67 @ 299.241
319.48/320.52 c bounds - >= 68 @ 299.241
319.48/320.52 c bounds - >= 69 @ 299.241
319.48/320.52 c bounds - >= 70 @ 299.241
319.48/320.52 c bounds - >= 71 @ 299.241
319.48/320.52 c bounds - >= 72 @ 299.241
319.48/320.52 c bounds - >= 73 @ 299.241
319.48/320.52 c bounds - >= 74 @ 299.241
319.48/320.52 c bounds - >= 75 @ 299.241
319.48/320.52 c bounds - >= 76 @ 299.241
319.48/320.52 c bounds - >= 77 @ 299.241
319.48/320.52 c bounds - >= 78 @ 299.241
319.48/320.52 c bounds - >= 79 @ 299.241
319.48/320.52 c bounds - >= 80 @ 299.241
319.48/320.52 c bounds - >= 81 @ 299.241
319.48/320.52 c bounds - >= 82 @ 299.241
319.48/320.52 c bounds - >= 83 @ 299.241
319.48/320.52 c bounds - >= 84 @ 299.241
319.48/320.52 c bounds - >= 85 @ 299.241
319.48/320.52 c bounds - >= 86 @ 299.241
319.48/320.52 c bounds - >= 87 @ 299.241
319.48/320.52 c bounds - >= 88 @ 299.241
319.48/320.52 c bounds - >= 89 @ 299.241
319.48/320.52 c bounds - >= 90 @ 299.241
319.48/320.52 c bounds - >= 91 @ 299.241
319.48/320.52 c bounds - >= 92 @ 299.241
319.48/320.52 c bounds - >= 93 @ 299.241
319.48/320.52 c bounds - >= 94 @ 299.241
319.48/320.52 c bounds - >= 95 @ 299.242
319.48/320.52 c bounds - >= 96 @ 299.242
319.48/320.52 c bounds - >= 97 @ 299.242
319.48/320.52 c bounds - >= 98 @ 299.242
319.48/320.52 c bounds - >= 99 @ 299.242
319.48/320.52 c bounds - >= 100 @ 299.242
319.48/320.52 c bounds - >= 101 @ 299.242
319.48/320.52 c bounds - >= 102 @ 299.243
319.48/320.52 c bounds - >= 103 @ 299.243
319.48/320.52 c bounds - >= 104 @ 299.243
319.48/320.52 c bounds - >= 105 @ 299.243
319.48/320.52 c bounds - >= 106 @ 299.243
319.48/320.52 c bounds - >= 107 @ 299.243
319.48/320.52 c bounds - >= 108 @ 299.243
319.48/320.52 c bounds - >= 109 @ 299.243
319.48/320.52 c bounds - >= 110 @ 299.243
319.48/320.52 c bounds - >= 111 @ 299.243
319.48/320.52 c bounds - >= 112 @ 299.243
319.48/320.52 c bounds - >= 113 @ 299.243
319.48/320.52 c bounds - >= 114 @ 299.243
319.48/320.52 c bounds - >= 115 @ 299.243
319.48/320.52 c bounds - >= 116 @ 299.243
319.48/320.52 c bounds - >= 117 @ 299.243
319.48/320.52 c bounds - >= 118 @ 299.243
319.48/320.52 c bounds - >= 119 @ 299.243
319.48/320.52 c #Conflicts: 1000 | #Constraints: 1590
319.48/320.52 c #Conflicts: 2000 | #Constraints: 2590
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 3000 | #Constraints: 2519
319.48/320.52 c #Conflicts: 4000 | #Constraints: 3519
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 5000 | #Constraints: 2918
319.48/320.52 c #Conflicts: 6000 | #Constraints: 3918
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 7000 | #Constraints: 2920
319.48/320.52 c #Conflicts: 8000 | #Constraints: 3920
319.48/320.52 c #Conflicts: 9000 | #Constraints: 4920
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 10000 | #Constraints: 3621
319.48/320.52 c #Conflicts: 11000 | #Constraints: 4621
319.48/320.52 c #Conflicts: 12000 | #Constraints: 5621
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 13000 | #Constraints: 4073
319.48/320.52 c #Conflicts: 14000 | #Constraints: 5073
319.48/320.52 c #Conflicts: 15000 | #Constraints: 6073
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 16000 | #Constraints: 4298
319.48/320.52 c #Conflicts: 17000 | #Constraints: 5298
319.48/320.52 c #Conflicts: 18000 | #Constraints: 6298
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 19000 | #Constraints: 4313
319.48/320.52 c #Conflicts: 20000 | #Constraints: 5313
319.48/320.52 c #Conflicts: 21000 | #Constraints: 6313
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 22000 | #Constraints: 4116
319.48/320.52 c #Conflicts: 23000 | #Constraints: 5116
319.48/320.52 c #Conflicts: 24000 | #Constraints: 6116
319.48/320.52 c #Conflicts: 25000 | #Constraints: 7116
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 26000 | #Constraints: 4719
319.48/320.52 c #Conflicts: 27000 | #Constraints: 5719
319.48/320.52 c #Conflicts: 28000 | #Constraints: 6719
319.48/320.52 c #Conflicts: 29000 | #Constraints: 7719
319.48/320.52 c INPROCESSING
319.48/320.52 c GARBAGE COLLECT
319.48/320.52 c #Conflicts: 30000 | #Constraints: 5120
319.48/320.52 c #Conflicts: 31000 | #Constraints: 6120
319.48/320.52 c #Conflicts: 32000 | #Constraints: 7120
411.83/413.19 c #Conflicts: 33000 | #Constraints: 8120
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 34000 | #Constraints: 5330
411.83/413.19 c #Conflicts: 35000 | #Constraints: 6330
411.83/413.19 c #Conflicts: 36000 | #Constraints: 7330
411.83/413.19 c #Conflicts: 37000 | #Constraints: 8330
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 38000 | #Constraints: 5329
411.83/413.19 c #Conflicts: 39000 | #Constraints: 6329
411.83/413.19 c #Conflicts: 40000 | #Constraints: 7329
411.83/413.19 c #Conflicts: 41000 | #Constraints: 8329
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 42000 | #Constraints: 5129
411.83/413.19 c #Conflicts: 43000 | #Constraints: 6129
411.83/413.19 c #Conflicts: 44000 | #Constraints: 7129
411.83/413.19 c #Conflicts: 45000 | #Constraints: 8129
411.83/413.19 c #Conflicts: 46000 | #Constraints: 9129
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 47000 | #Constraints: 5725
411.83/413.19 c #Conflicts: 48000 | #Constraints: 6725
411.83/413.19 c #Conflicts: 49000 | #Constraints: 7725
411.83/413.19 c #Conflicts: 50000 | #Constraints: 8725
411.83/413.19 c #Conflicts: 51000 | #Constraints: 9725
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 52000 | #Constraints: 6128
411.83/413.19 c #Conflicts: 53000 | #Constraints: 7128
411.83/413.19 c #Conflicts: 54000 | #Constraints: 8128
411.83/413.19 c #Conflicts: 55000 | #Constraints: 9128
411.83/413.19 c #Conflicts: 56000 | #Constraints: 10128
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 57000 | #Constraints: 6328
411.83/413.19 c #Conflicts: 58000 | #Constraints: 7328
411.83/413.19 c #Conflicts: 59000 | #Constraints: 8328
411.83/413.19 c #Conflicts: 60000 | #Constraints: 9328
411.83/413.19 c #Conflicts: 61000 | #Constraints: 10328
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 62000 | #Constraints: 6328
411.83/413.19 c #Conflicts: 63000 | #Constraints: 7328
411.83/413.19 c #Conflicts: 64000 | #Constraints: 8328
411.83/413.19 c #Conflicts: 65000 | #Constraints: 9328
411.83/413.19 c #Conflicts: 66000 | #Constraints: 10328
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 67000 | #Constraints: 6126
411.83/413.19 c #Conflicts: 68000 | #Constraints: 7126
411.83/413.19 c #Conflicts: 69000 | #Constraints: 8126
411.83/413.19 c #Conflicts: 70000 | #Constraints: 9126
411.83/413.19 c #Conflicts: 71000 | #Constraints: 10126
411.83/413.19 c #Conflicts: 72000 | #Constraints: 11126
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 73000 | #Constraints: 6722
411.83/413.19 c #Conflicts: 74000 | #Constraints: 7722
411.83/413.19 c #Conflicts: 75000 | #Constraints: 8722
411.83/413.19 c #Conflicts: 76000 | #Constraints: 9722
411.83/413.19 c #Conflicts: 77000 | #Constraints: 10722
411.83/413.19 c #Conflicts: 78000 | #Constraints: 11722
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 79000 | #Constraints: 7121
411.83/413.19 c #Conflicts: 80000 | #Constraints: 8121
411.83/413.19 c #Conflicts: 81000 | #Constraints: 9121
411.83/413.19 c #Conflicts: 82000 | #Constraints: 10121
411.83/413.19 c #Conflicts: 83000 | #Constraints: 11121
411.83/413.19 c #Conflicts: 84000 | #Constraints: 12121
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 85000 | #Constraints: 7325
411.83/413.19 c #Conflicts: 86000 | #Constraints: 8325
411.83/413.19 c #Conflicts: 87000 | #Constraints: 9325
411.83/413.19 c #Conflicts: 88000 | #Constraints: 10325
411.83/413.19 c #Conflicts: 89000 | #Constraints: 11325
411.83/413.19 c #Conflicts: 90000 | #Constraints: 12325
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 91000 | #Constraints: 7328
411.83/413.19 c #Conflicts: 92000 | #Constraints: 8328
411.83/413.19 c #Conflicts: 93000 | #Constraints: 9328
411.83/413.19 c #Conflicts: 94000 | #Constraints: 10328
411.83/413.19 c #Conflicts: 95000 | #Constraints: 11328
411.83/413.19 c #Conflicts: 96000 | #Constraints: 12328
411.83/413.19 c INPROCESSING
411.83/413.19 c GARBAGE COLLECT
411.83/413.19 c #Conflicts: 97000 | #Constraints: 7124
411.83/413.19 c #Conflicts: 98000 | #Constraints: 8124
411.83/413.19 c #Conflicts: 99000 | #Constraints: 9124
411.83/413.19 c #Conflicts: 100000 | #Constraints: 10124
411.83/413.19 c #Conflicts: 101000 | #Constraints: 11124
411.83/413.19 c #Conflicts: 102000 | #Constraints: 12124
411.83/413.19 c #Conflicts: 103000 | #Constraints: 13124
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 104000 | #Constraints: 7725
570.05/571.85 c #Conflicts: 105000 | #Constraints: 8725
570.05/571.85 c #Conflicts: 106000 | #Constraints: 9725
570.05/571.85 c #Conflicts: 107000 | #Constraints: 10725
570.05/571.85 c #Conflicts: 108000 | #Constraints: 11725
570.05/571.85 c #Conflicts: 109000 | #Constraints: 12725
570.05/571.85 c #Conflicts: 110000 | #Constraints: 13725
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 111000 | #Constraints: 8125
570.05/571.85 c #Conflicts: 112000 | #Constraints: 9125
570.05/571.85 c #Conflicts: 113000 | #Constraints: 10125
570.05/571.85 c #Conflicts: 114000 | #Constraints: 11125
570.05/571.85 c #Conflicts: 115000 | #Constraints: 12125
570.05/571.85 c #Conflicts: 116000 | #Constraints: 13125
570.05/571.85 c #Conflicts: 117000 | #Constraints: 14125
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 118000 | #Constraints: 8323
570.05/571.85 c #Conflicts: 119000 | #Constraints: 9323
570.05/571.85 c #Conflicts: 120000 | #Constraints: 10323
570.05/571.85 c #Conflicts: 121000 | #Constraints: 11323
570.05/571.85 c #Conflicts: 122000 | #Constraints: 12323
570.05/571.85 c #Conflicts: 123000 | #Constraints: 13323
570.05/571.85 c #Conflicts: 124000 | #Constraints: 14323
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 125000 | #Constraints: 8327
570.05/571.85 c #Conflicts: 126000 | #Constraints: 9327
570.05/571.85 c #Conflicts: 127000 | #Constraints: 10327
570.05/571.85 c #Conflicts: 128000 | #Constraints: 11327
570.05/571.85 c #Conflicts: 129000 | #Constraints: 12327
570.05/571.85 c #Conflicts: 130000 | #Constraints: 13327
570.05/571.85 c #Conflicts: 131000 | #Constraints: 14327
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 132000 | #Constraints: 8126
570.05/571.85 c #Conflicts: 133000 | #Constraints: 9126
570.05/571.85 c #Conflicts: 134000 | #Constraints: 10126
570.05/571.85 c #Conflicts: 135000 | #Constraints: 11126
570.05/571.85 c #Conflicts: 136000 | #Constraints: 12126
570.05/571.85 c #Conflicts: 137000 | #Constraints: 13126
570.05/571.85 c #Conflicts: 138000 | #Constraints: 14126
570.05/571.85 c #Conflicts: 139000 | #Constraints: 15126
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 140000 | #Constraints: 8723
570.05/571.85 c #Conflicts: 141000 | #Constraints: 9723
570.05/571.85 c #Conflicts: 142000 | #Constraints: 10723
570.05/571.85 c #Conflicts: 143000 | #Constraints: 11723
570.05/571.85 c #Conflicts: 144000 | #Constraints: 12723
570.05/571.85 c #Conflicts: 145000 | #Constraints: 13723
570.05/571.85 c #Conflicts: 146000 | #Constraints: 14723
570.05/571.85 c #Conflicts: 147000 | #Constraints: 15723
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 148000 | #Constraints: 9132
570.05/571.85 c #Conflicts: 149000 | #Constraints: 10132
570.05/571.85 c #Conflicts: 150000 | #Constraints: 11132
570.05/571.85 c #Conflicts: 151000 | #Constraints: 12132
570.05/571.85 c #Conflicts: 152000 | #Constraints: 13132
570.05/571.85 c #Conflicts: 153000 | #Constraints: 14132
570.05/571.85 c #Conflicts: 154000 | #Constraints: 15132
570.05/571.85 c #Conflicts: 155000 | #Constraints: 16132
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 156000 | #Constraints: 9332
570.05/571.85 c #Conflicts: 157000 | #Constraints: 10332
570.05/571.85 c #Conflicts: 158000 | #Constraints: 11332
570.05/571.85 c #Conflicts: 159000 | #Constraints: 12332
570.05/571.85 c #Conflicts: 160000 | #Constraints: 13332
570.05/571.85 c #Conflicts: 161000 | #Constraints: 14332
570.05/571.85 c #Conflicts: 162000 | #Constraints: 15332
570.05/571.85 c #Conflicts: 163000 | #Constraints: 16332
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 164000 | #Constraints: 9328
570.05/571.85 c #Conflicts: 165000 | #Constraints: 10328
570.05/571.85 c #Conflicts: 166000 | #Constraints: 11328
570.05/571.85 c #Conflicts: 167000 | #Constraints: 12328
570.05/571.85 c #Conflicts: 168000 | #Constraints: 13328
570.05/571.85 c #Conflicts: 169000 | #Constraints: 14328
570.05/571.85 c #Conflicts: 170000 | #Constraints: 15328
570.05/571.85 c #Conflicts: 171000 | #Constraints: 16328
570.05/571.85 c INPROCESSING
570.05/571.85 c GARBAGE COLLECT
570.05/571.85 c #Conflicts: 172000 | #Constraints: 9130
570.05/571.85 c #Conflicts: 173000 | #Constraints: 10130
570.05/571.85 c #Conflicts: 174000 | #Constraints: 11130
570.05/571.85 c #Conflicts: 175000 | #Constraints: 12130
789.30/791.75 c #Conflicts: 176000 | #Constraints: 13130
789.30/791.75 c #Conflicts: 177000 | #Constraints: 14130
789.30/791.75 c #Conflicts: 178000 | #Constraints: 15130
789.30/791.75 c #Conflicts: 179000 | #Constraints: 16130
789.30/791.75 c #Conflicts: 180000 | #Constraints: 17130
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 181000 | #Constraints: 9726
789.30/791.75 c #Conflicts: 182000 | #Constraints: 10726
789.30/791.75 c #Conflicts: 183000 | #Constraints: 11726
789.30/791.75 c #Conflicts: 184000 | #Constraints: 12726
789.30/791.75 c #Conflicts: 185000 | #Constraints: 13726
789.30/791.75 c #Conflicts: 186000 | #Constraints: 14726
789.30/791.75 c #Conflicts: 187000 | #Constraints: 15726
789.30/791.75 c #Conflicts: 188000 | #Constraints: 16726
789.30/791.75 c #Conflicts: 189000 | #Constraints: 17726
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 190000 | #Constraints: 10133
789.30/791.75 c #Conflicts: 191000 | #Constraints: 11133
789.30/791.75 c #Conflicts: 192000 | #Constraints: 12133
789.30/791.75 c #Conflicts: 193000 | #Constraints: 13133
789.30/791.75 c #Conflicts: 194000 | #Constraints: 14133
789.30/791.75 c #Conflicts: 195000 | #Constraints: 15133
789.30/791.75 c #Conflicts: 196000 | #Constraints: 16133
789.30/791.75 c #Conflicts: 197000 | #Constraints: 17133
789.30/791.75 c #Conflicts: 198000 | #Constraints: 18133
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 199000 | #Constraints: 10333
789.30/791.75 c #Conflicts: 200000 | #Constraints: 11333
789.30/791.75 c #Conflicts: 201000 | #Constraints: 12333
789.30/791.75 c #Conflicts: 202000 | #Constraints: 13333
789.30/791.75 c #Conflicts: 203000 | #Constraints: 14333
789.30/791.75 c #Conflicts: 204000 | #Constraints: 15333
789.30/791.75 c #Conflicts: 205000 | #Constraints: 16333
789.30/791.75 c #Conflicts: 206000 | #Constraints: 17333
789.30/791.75 c #Conflicts: 207000 | #Constraints: 18333
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 208000 | #Constraints: 10327
789.30/791.75 c #Conflicts: 209000 | #Constraints: 11327
789.30/791.75 c #Conflicts: 210000 | #Constraints: 12327
789.30/791.75 c #Conflicts: 211000 | #Constraints: 13327
789.30/791.75 c #Conflicts: 212000 | #Constraints: 14327
789.30/791.75 c #Conflicts: 213000 | #Constraints: 15327
789.30/791.75 c #Conflicts: 214000 | #Constraints: 16327
789.30/791.75 c #Conflicts: 215000 | #Constraints: 17327
789.30/791.75 c #Conflicts: 216000 | #Constraints: 18327
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 217000 | #Constraints: 10134
789.30/791.75 c #Conflicts: 218000 | #Constraints: 11134
789.30/791.75 c #Conflicts: 219000 | #Constraints: 12134
789.30/791.75 c #Conflicts: 220000 | #Constraints: 13134
789.30/791.75 c #Conflicts: 221000 | #Constraints: 14134
789.30/791.75 c #Conflicts: 222000 | #Constraints: 15134
789.30/791.75 c #Conflicts: 223000 | #Constraints: 16134
789.30/791.75 c #Conflicts: 224000 | #Constraints: 17134
789.30/791.75 c #Conflicts: 225000 | #Constraints: 18134
789.30/791.75 c #Conflicts: 226000 | #Constraints: 19134
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 227000 | #Constraints: 10732
789.30/791.75 c #Conflicts: 228000 | #Constraints: 11732
789.30/791.75 c #Conflicts: 229000 | #Constraints: 12732
789.30/791.75 c #Conflicts: 230000 | #Constraints: 13732
789.30/791.75 c #Conflicts: 231000 | #Constraints: 14732
789.30/791.75 c #Conflicts: 232000 | #Constraints: 15732
789.30/791.75 c #Conflicts: 233000 | #Constraints: 16732
789.30/791.75 c #Conflicts: 234000 | #Constraints: 17732
789.30/791.75 c #Conflicts: 235000 | #Constraints: 18732
789.30/791.75 c #Conflicts: 236000 | #Constraints: 19732
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 237000 | #Constraints: 11129
789.30/791.75 c #Conflicts: 238000 | #Constraints: 12129
789.30/791.75 c #Conflicts: 239000 | #Constraints: 13129
789.30/791.75 c #Conflicts: 240000 | #Constraints: 14129
789.30/791.75 c #Conflicts: 241000 | #Constraints: 15129
789.30/791.75 c #Conflicts: 242000 | #Constraints: 16129
789.30/791.75 c #Conflicts: 243000 | #Constraints: 17129
789.30/791.75 c #Conflicts: 244000 | #Constraints: 18129
789.30/791.75 c #Conflicts: 245000 | #Constraints: 19129
789.30/791.75 c #Conflicts: 246000 | #Constraints: 20129
789.30/791.75 c INPROCESSING
789.30/791.75 c GARBAGE COLLECT
789.30/791.75 c #Conflicts: 247000 | #Constraints: 11330
789.30/791.75 c #Conflicts: 248000 | #Constraints: 12330
789.30/791.75 c #Conflicts: 249000 | #Constraints: 13330
1017.76/1020.71 c #Conflicts: 250000 | #Constraints: 14330
1017.76/1020.71 c #Conflicts: 251000 | #Constraints: 15330
1017.76/1020.71 c #Conflicts: 252000 | #Constraints: 16330
1017.76/1020.71 c #Conflicts: 253000 | #Constraints: 17330
1017.76/1020.71 c #Conflicts: 254000 | #Constraints: 18330
1017.76/1020.71 c #Conflicts: 255000 | #Constraints: 19330
1017.76/1020.71 c #Conflicts: 256000 | #Constraints: 20330
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 257000 | #Constraints: 11326
1017.76/1020.71 c #Conflicts: 258000 | #Constraints: 12326
1017.76/1020.71 c #Conflicts: 259000 | #Constraints: 13326
1017.76/1020.71 c #Conflicts: 260000 | #Constraints: 14326
1017.76/1020.71 c #Conflicts: 261000 | #Constraints: 15326
1017.76/1020.71 c #Conflicts: 262000 | #Constraints: 16326
1017.76/1020.71 c #Conflicts: 263000 | #Constraints: 17326
1017.76/1020.71 c #Conflicts: 264000 | #Constraints: 18326
1017.76/1020.71 c #Conflicts: 265000 | #Constraints: 19326
1017.76/1020.71 c #Conflicts: 266000 | #Constraints: 20326
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 267000 | #Constraints: 11131
1017.76/1020.71 c #Conflicts: 268000 | #Constraints: 12131
1017.76/1020.71 c #Conflicts: 269000 | #Constraints: 13131
1017.76/1020.71 c #Conflicts: 270000 | #Constraints: 14131
1017.76/1020.71 c #Conflicts: 271000 | #Constraints: 15131
1017.76/1020.71 c #Conflicts: 272000 | #Constraints: 16131
1017.76/1020.71 c #Conflicts: 273000 | #Constraints: 17131
1017.76/1020.71 c #Conflicts: 274000 | #Constraints: 18131
1017.76/1020.71 c #Conflicts: 275000 | #Constraints: 19131
1017.76/1020.71 c #Conflicts: 276000 | #Constraints: 20131
1017.76/1020.71 c #Conflicts: 277000 | #Constraints: 21131
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 278000 | #Constraints: 11724
1017.76/1020.71 c #Conflicts: 279000 | #Constraints: 12724
1017.76/1020.71 c #Conflicts: 280000 | #Constraints: 13724
1017.76/1020.71 c #Conflicts: 281000 | #Constraints: 14724
1017.76/1020.71 c #Conflicts: 282000 | #Constraints: 15724
1017.76/1020.71 c #Conflicts: 283000 | #Constraints: 16724
1017.76/1020.71 c #Conflicts: 284000 | #Constraints: 17724
1017.76/1020.71 c #Conflicts: 285000 | #Constraints: 18724
1017.76/1020.71 c #Conflicts: 286000 | #Constraints: 19724
1017.76/1020.71 c #Conflicts: 287000 | #Constraints: 20724
1017.76/1020.71 c #Conflicts: 288000 | #Constraints: 21724
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 289000 | #Constraints: 12124
1017.76/1020.71 c #Conflicts: 290000 | #Constraints: 13124
1017.76/1020.71 c #Conflicts: 291000 | #Constraints: 14124
1017.76/1020.71 c #Conflicts: 292000 | #Constraints: 15124
1017.76/1020.71 c #Conflicts: 293000 | #Constraints: 16124
1017.76/1020.71 c #Conflicts: 294000 | #Constraints: 17124
1017.76/1020.71 c #Conflicts: 295000 | #Constraints: 18124
1017.76/1020.71 c #Conflicts: 296000 | #Constraints: 19124
1017.76/1020.71 c #Conflicts: 297000 | #Constraints: 20124
1017.76/1020.71 c #Conflicts: 298000 | #Constraints: 21124
1017.76/1020.71 c #Conflicts: 299000 | #Constraints: 22124
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 300000 | #Constraints: 12323
1017.76/1020.71 c #Conflicts: 301000 | #Constraints: 13323
1017.76/1020.71 c #Conflicts: 302000 | #Constraints: 14323
1017.76/1020.71 c #Conflicts: 303000 | #Constraints: 15323
1017.76/1020.71 c #Conflicts: 304000 | #Constraints: 16323
1017.76/1020.71 c #Conflicts: 305000 | #Constraints: 17323
1017.76/1020.71 c #Conflicts: 306000 | #Constraints: 18323
1017.76/1020.71 c #Conflicts: 307000 | #Constraints: 19323
1017.76/1020.71 c #Conflicts: 308000 | #Constraints: 20323
1017.76/1020.71 c #Conflicts: 309000 | #Constraints: 21323
1017.76/1020.71 c #Conflicts: 310000 | #Constraints: 22323
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 311000 | #Constraints: 12326
1017.76/1020.71 c #Conflicts: 312000 | #Constraints: 13326
1017.76/1020.71 c #Conflicts: 313000 | #Constraints: 14326
1017.76/1020.71 c #Conflicts: 314000 | #Constraints: 15326
1017.76/1020.71 c #Conflicts: 315000 | #Constraints: 16326
1017.76/1020.71 c #Conflicts: 316000 | #Constraints: 17326
1017.76/1020.71 c #Conflicts: 317000 | #Constraints: 18326
1017.76/1020.71 c #Conflicts: 318000 | #Constraints: 19326
1017.76/1020.71 c #Conflicts: 319000 | #Constraints: 20326
1017.76/1020.71 c #Conflicts: 320000 | #Constraints: 21326
1017.76/1020.71 c #Conflicts: 321000 | #Constraints: 22326
1017.76/1020.71 c INPROCESSING
1017.76/1020.71 c GARBAGE COLLECT
1017.76/1020.71 c #Conflicts: 322000 | #Constraints: 12129
1017.76/1020.71 c #Conflicts: 323000 | #Constraints: 13129
1282.63/1286.33 c #Conflicts: 324000 | #Constraints: 14129
1282.63/1286.33 c #Conflicts: 325000 | #Constraints: 15129
1282.63/1286.33 c #Conflicts: 326000 | #Constraints: 16129
1282.63/1286.33 c #Conflicts: 327000 | #Constraints: 17129
1282.63/1286.33 c #Conflicts: 328000 | #Constraints: 18129
1282.63/1286.33 c #Conflicts: 329000 | #Constraints: 19129
1282.63/1286.33 c #Conflicts: 330000 | #Constraints: 20129
1282.63/1286.33 c #Conflicts: 331000 | #Constraints: 21129
1282.63/1286.33 c #Conflicts: 332000 | #Constraints: 22129
1282.63/1286.33 c #Conflicts: 333000 | #Constraints: 23129
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 334000 | #Constraints: 12729
1282.63/1286.33 c #Conflicts: 335000 | #Constraints: 13729
1282.63/1286.33 c #Conflicts: 336000 | #Constraints: 14729
1282.63/1286.33 c #Conflicts: 337000 | #Constraints: 15729
1282.63/1286.33 c #Conflicts: 338000 | #Constraints: 16729
1282.63/1286.33 c #Conflicts: 339000 | #Constraints: 17729
1282.63/1286.33 c #Conflicts: 340000 | #Constraints: 18729
1282.63/1286.33 c #Conflicts: 341000 | #Constraints: 19729
1282.63/1286.33 c #Conflicts: 342000 | #Constraints: 20729
1282.63/1286.33 c #Conflicts: 343000 | #Constraints: 21729
1282.63/1286.33 c #Conflicts: 344000 | #Constraints: 22729
1282.63/1286.33 c #Conflicts: 345000 | #Constraints: 23729
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 346000 | #Constraints: 13125
1282.63/1286.33 c #Conflicts: 347000 | #Constraints: 14125
1282.63/1286.33 c #Conflicts: 348000 | #Constraints: 15125
1282.63/1286.33 c #Conflicts: 349000 | #Constraints: 16125
1282.63/1286.33 c #Conflicts: 350000 | #Constraints: 17125
1282.63/1286.33 c #Conflicts: 351000 | #Constraints: 18125
1282.63/1286.33 c #Conflicts: 352000 | #Constraints: 19125
1282.63/1286.33 c #Conflicts: 353000 | #Constraints: 20125
1282.63/1286.33 c #Conflicts: 354000 | #Constraints: 21125
1282.63/1286.33 c #Conflicts: 355000 | #Constraints: 22125
1282.63/1286.33 c #Conflicts: 356000 | #Constraints: 23125
1282.63/1286.33 c #Conflicts: 357000 | #Constraints: 24125
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 358000 | #Constraints: 13326
1282.63/1286.33 c #Conflicts: 359000 | #Constraints: 14326
1282.63/1286.33 c #Conflicts: 360000 | #Constraints: 15326
1282.63/1286.33 c #Conflicts: 361000 | #Constraints: 16326
1282.63/1286.33 c #Conflicts: 362000 | #Constraints: 17326
1282.63/1286.33 c #Conflicts: 363000 | #Constraints: 18326
1282.63/1286.33 c #Conflicts: 364000 | #Constraints: 19326
1282.63/1286.33 c #Conflicts: 365000 | #Constraints: 20326
1282.63/1286.33 c #Conflicts: 366000 | #Constraints: 21326
1282.63/1286.33 c #Conflicts: 367000 | #Constraints: 22326
1282.63/1286.33 c #Conflicts: 368000 | #Constraints: 23326
1282.63/1286.33 c #Conflicts: 369000 | #Constraints: 24326
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 370000 | #Constraints: 13329
1282.63/1286.33 c #Conflicts: 371000 | #Constraints: 14329
1282.63/1286.33 c #Conflicts: 372000 | #Constraints: 15329
1282.63/1286.33 c #Conflicts: 373000 | #Constraints: 16329
1282.63/1286.33 c #Conflicts: 374000 | #Constraints: 17329
1282.63/1286.33 c #Conflicts: 375000 | #Constraints: 18329
1282.63/1286.33 c #Conflicts: 376000 | #Constraints: 19329
1282.63/1286.33 c #Conflicts: 377000 | #Constraints: 20329
1282.63/1286.33 c #Conflicts: 378000 | #Constraints: 21329
1282.63/1286.33 c #Conflicts: 379000 | #Constraints: 22329
1282.63/1286.33 c #Conflicts: 380000 | #Constraints: 23329
1282.63/1286.33 c #Conflicts: 381000 | #Constraints: 24329
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 382000 | #Constraints: 13131
1282.63/1286.33 c #Conflicts: 383000 | #Constraints: 14131
1282.63/1286.33 c #Conflicts: 384000 | #Constraints: 15131
1282.63/1286.33 c #Conflicts: 385000 | #Constraints: 16131
1282.63/1286.33 c #Conflicts: 386000 | #Constraints: 17131
1282.63/1286.33 c #Conflicts: 387000 | #Constraints: 18131
1282.63/1286.33 c #Conflicts: 388000 | #Constraints: 19131
1282.63/1286.33 c #Conflicts: 389000 | #Constraints: 20131
1282.63/1286.33 c #Conflicts: 390000 | #Constraints: 21131
1282.63/1286.33 c #Conflicts: 391000 | #Constraints: 22131
1282.63/1286.33 c #Conflicts: 392000 | #Constraints: 23131
1282.63/1286.33 c #Conflicts: 393000 | #Constraints: 24131
1282.63/1286.33 c #Conflicts: 394000 | #Constraints: 25131
1282.63/1286.33 c INPROCESSING
1282.63/1286.33 c GARBAGE COLLECT
1282.63/1286.33 c #Conflicts: 395000 | #Constraints: 13730
1282.63/1286.33 c #Conflicts: 396000 | #Constraints: 14730
1282.63/1286.33 c #Conflicts: 397000 | #Constraints: 15730
1282.63/1286.33 c #Conflicts: 398000 | #Constraints: 16730
1671.18/1676.02 c #Conflicts: 399000 | #Constraints: 17730
1671.18/1676.02 c #Conflicts: 400000 | #Constraints: 18730
1671.18/1676.02 c #Conflicts: 401000 | #Constraints: 19730
1671.18/1676.02 c #Conflicts: 402000 | #Constraints: 20730
1671.18/1676.02 c #Conflicts: 403000 | #Constraints: 21730
1671.18/1676.02 c #Conflicts: 404000 | #Constraints: 22730
1671.18/1676.02 c #Conflicts: 405000 | #Constraints: 23730
1671.18/1676.02 c #Conflicts: 406000 | #Constraints: 24730
1671.18/1676.02 c #Conflicts: 407000 | #Constraints: 25730
1671.18/1676.02 c INPROCESSING
1671.18/1676.02 c GARBAGE COLLECT
1671.18/1676.02 c #Conflicts: 408000 | #Constraints: 14126
1671.18/1676.02 c #Conflicts: 409000 | #Constraints: 15126
1671.18/1676.02 c #Conflicts: 410000 | #Constraints: 16126
1671.18/1676.02 c #Conflicts: 411000 | #Constraints: 17126
1671.18/1676.02 c #Conflicts: 412000 | #Constraints: 18126
1671.18/1676.02 c #Conflicts: 413000 | #Constraints: 19126
1671.18/1676.02 c #Conflicts: 414000 | #Constraints: 20126
1671.18/1676.02 c #Conflicts: 415000 | #Constraints: 21126
1671.18/1676.02 c #Conflicts: 416000 | #Constraints: 22126
1671.18/1676.02 c #Conflicts: 417000 | #Constraints: 23126
1671.18/1676.02 c #Conflicts: 418000 | #Constraints: 24126
1671.18/1676.02 c #Conflicts: 419000 | #Constraints: 25126
1671.18/1676.02 c #Conflicts: 420000 | #Constraints: 26126
1671.18/1676.02 c INPROCESSING
1671.18/1676.02 c GARBAGE COLLECT
1671.18/1676.02 c #Conflicts: 421000 | #Constraints: 14329
1671.18/1676.02 c #Conflicts: 422000 | #Constraints: 15329
1671.18/1676.02 c #Conflicts: 423000 | #Constraints: 16329
1671.18/1676.02 c #Conflicts: 424000 | #Constraints: 17329
1671.18/1676.02 c #Conflicts: 425000 | #Constraints: 18329
1671.18/1676.02 c #Conflicts: 426000 | #Constraints: 19329
1671.18/1676.02 c #Conflicts: 427000 | #Constraints: 20329
1671.18/1676.02 c #Conflicts: 428000 | #Constraints: 21329
1671.18/1676.02 c #Conflicts: 429000 | #Constraints: 22329
1671.18/1676.02 c #Conflicts: 430000 | #Constraints: 23329
1671.18/1676.02 c #Conflicts: 431000 | #Constraints: 24329
1671.18/1676.02 c #Conflicts: 432000 | #Constraints: 25329
1671.18/1676.02 c #Conflicts: 433000 | #Constraints: 26329
1671.18/1676.02 c INPROCESSING
1671.18/1676.02 c GARBAGE COLLECT
1671.18/1676.02 c #Conflicts: 434000 | #Constraints: 14325
1671.18/1676.02 c #Conflicts: 435000 | #Constraints: 15325
1671.18/1676.02 c #Conflicts: 436000 | #Constraints: 16325
1671.18/1676.02 c #Conflicts: 437000 | #Constraints: 17325
1671.18/1676.02 c #Conflicts: 438000 | #Constraints: 18325
1671.18/1676.02 c #Conflicts: 439000 | #Constraints: 19325
1671.18/1676.02 c #Conflicts: 440000 | #Constraints: 20325
1671.18/1676.02 c #Conflicts: 441000 | #Constraints: 21325
1671.18/1676.02 c #Conflicts: 442000 | #Constraints: 22325
1671.18/1676.02 c #Conflicts: 443000 | #Constraints: 23325
1671.18/1676.02 c #Conflicts: 444000 | #Constraints: 24325
1671.18/1676.02 c #Conflicts: 445000 | #Constraints: 25325
1671.18/1676.02 c #Conflicts: 446000 | #Constraints: 26325
1671.18/1676.02 c INPROCESSING
1671.18/1676.02 c GARBAGE COLLECT
1671.18/1676.02 c #Conflicts: 447000 | #Constraints: 14129
1671.18/1676.02 c #Conflicts: 448000 | #Constraints: 15129
1671.18/1676.02 c #Conflicts: 449000 | #Constraints: 16129
1671.18/1676.02 c #Conflicts: 450000 | #Constraints: 17129
1671.18/1676.02 c #Conflicts: 451000 | #Constraints: 18129
1671.18/1676.02 c #Conflicts: 452000 | #Constraints: 19129
1671.18/1676.02 c #Conflicts: 453000 | #Constraints: 20129
1671.18/1676.02 c #Conflicts: 454000 | #Constraints: 21129
1671.18/1676.02 c #Conflicts: 455000 | #Constraints: 22129
1671.18/1676.02 c #Conflicts: 456000 | #Constraints: 23129
1671.18/1676.02 c #Conflicts: 457000 | #Constraints: 24129
1671.18/1676.02 c #Conflicts: 458000 | #Constraints: 25129
1671.18/1676.02 c #Conflicts: 459000 | #Constraints: 26129
1671.18/1676.02 c #Conflicts: 460000 | #Constraints: 27129
1671.18/1676.02 c INPROCESSING
1671.18/1676.02 c GARBAGE COLLECT
1671.18/1676.02 c #Conflicts: 461000 | #Constraints: 14729
1671.18/1676.02 c #Conflicts: 462000 | #Constraints: 15729
1671.18/1676.02 c #Conflicts: 463000 | #Constraints: 16729
1671.18/1676.02 c #Conflicts: 464000 | #Constraints: 17729
1671.18/1676.02 c #Conflicts: 465000 | #Constraints: 18729
1671.18/1676.02 c #Conflicts: 466000 | #Constraints: 19729
1671.18/1676.02 c #Conflicts: 467000 | #Constraints: 20729
1671.18/1676.02 c #Conflicts: 468000 | #Constraints: 21729
1671.18/1676.02 c #Conflicts: 469000 | #Constraints: 22729
1671.18/1676.02 c #Conflicts: 470000 | #Constraints: 23729
1671.18/1676.02 c #Conflicts: 471000 | #Constraints: 24729
1671.18/1676.02 c #Conflicts: 472000 | #Constraints: 25729
1671.18/1676.02 c #Conflicts: 473000 | #Constraints: 26729
1671.18/1676.02 c #Conflicts: 474000 | #Constraints: 27729
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 475000 | #Constraints: 15132
2020.91/2026.87 c #Conflicts: 476000 | #Constraints: 16132
2020.91/2026.87 c #Conflicts: 477000 | #Constraints: 17132
2020.91/2026.87 c #Conflicts: 478000 | #Constraints: 18132
2020.91/2026.87 c #Conflicts: 479000 | #Constraints: 19132
2020.91/2026.87 c #Conflicts: 480000 | #Constraints: 20132
2020.91/2026.87 c #Conflicts: 481000 | #Constraints: 21132
2020.91/2026.87 c #Conflicts: 482000 | #Constraints: 22132
2020.91/2026.87 c #Conflicts: 483000 | #Constraints: 23132
2020.91/2026.87 c #Conflicts: 484000 | #Constraints: 24132
2020.91/2026.87 c #Conflicts: 485000 | #Constraints: 25132
2020.91/2026.87 c #Conflicts: 486000 | #Constraints: 26132
2020.91/2026.87 c #Conflicts: 487000 | #Constraints: 27132
2020.91/2026.87 c #Conflicts: 488000 | #Constraints: 28132
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 489000 | #Constraints: 15337
2020.91/2026.87 c #Conflicts: 490000 | #Constraints: 16337
2020.91/2026.87 c #Conflicts: 491000 | #Constraints: 17337
2020.91/2026.87 c #Conflicts: 492000 | #Constraints: 18337
2020.91/2026.87 c #Conflicts: 493000 | #Constraints: 19337
2020.91/2026.87 c #Conflicts: 494000 | #Constraints: 20337
2020.91/2026.87 c #Conflicts: 495000 | #Constraints: 21337
2020.91/2026.87 c #Conflicts: 496000 | #Constraints: 22337
2020.91/2026.87 c #Conflicts: 497000 | #Constraints: 23337
2020.91/2026.87 c #Conflicts: 498000 | #Constraints: 24337
2020.91/2026.87 c #Conflicts: 499000 | #Constraints: 25337
2020.91/2026.87 c #Conflicts: 500000 | #Constraints: 26337
2020.91/2026.87 c #Conflicts: 501000 | #Constraints: 27337
2020.91/2026.87 c #Conflicts: 502000 | #Constraints: 28337
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 503000 | #Constraints: 15334
2020.91/2026.87 c #Conflicts: 504000 | #Constraints: 16334
2020.91/2026.87 c #Conflicts: 505000 | #Constraints: 17334
2020.91/2026.87 c #Conflicts: 506000 | #Constraints: 18334
2020.91/2026.87 c #Conflicts: 507000 | #Constraints: 19334
2020.91/2026.87 c #Conflicts: 508000 | #Constraints: 20334
2020.91/2026.87 c #Conflicts: 509000 | #Constraints: 21334
2020.91/2026.87 c #Conflicts: 510000 | #Constraints: 22334
2020.91/2026.87 c #Conflicts: 511000 | #Constraints: 23334
2020.91/2026.87 c #Conflicts: 512000 | #Constraints: 24334
2020.91/2026.87 c #Conflicts: 513000 | #Constraints: 25334
2020.91/2026.87 c #Conflicts: 514000 | #Constraints: 26334
2020.91/2026.87 c #Conflicts: 515000 | #Constraints: 27334
2020.91/2026.87 c #Conflicts: 516000 | #Constraints: 28334
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 517000 | #Constraints: 15131
2020.91/2026.87 c #Conflicts: 518000 | #Constraints: 16131
2020.91/2026.87 c #Conflicts: 519000 | #Constraints: 17131
2020.91/2026.87 c #Conflicts: 520000 | #Constraints: 18131
2020.91/2026.87 c #Conflicts: 521000 | #Constraints: 19131
2020.91/2026.87 c #Conflicts: 522000 | #Constraints: 20131
2020.91/2026.87 c #Conflicts: 523000 | #Constraints: 21131
2020.91/2026.87 c #Conflicts: 524000 | #Constraints: 22131
2020.91/2026.87 c #Conflicts: 525000 | #Constraints: 23131
2020.91/2026.87 c #Conflicts: 526000 | #Constraints: 24131
2020.91/2026.87 c #Conflicts: 527000 | #Constraints: 25131
2020.91/2026.87 c #Conflicts: 528000 | #Constraints: 26131
2020.91/2026.87 c #Conflicts: 529000 | #Constraints: 27131
2020.91/2026.87 c #Conflicts: 530000 | #Constraints: 28131
2020.91/2026.87 c #Conflicts: 531000 | #Constraints: 29131
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 532000 | #Constraints: 15733
2020.91/2026.87 c #Conflicts: 533000 | #Constraints: 16733
2020.91/2026.87 c #Conflicts: 534000 | #Constraints: 17733
2020.91/2026.87 c #Conflicts: 535000 | #Constraints: 18733
2020.91/2026.87 c #Conflicts: 536000 | #Constraints: 19733
2020.91/2026.87 c #Conflicts: 537000 | #Constraints: 20733
2020.91/2026.87 c #Conflicts: 538000 | #Constraints: 21733
2020.91/2026.87 c #Conflicts: 539000 | #Constraints: 22733
2020.91/2026.87 c #Conflicts: 540000 | #Constraints: 23733
2020.91/2026.87 c #Conflicts: 541000 | #Constraints: 24733
2020.91/2026.87 c #Conflicts: 542000 | #Constraints: 25733
2020.91/2026.87 c #Conflicts: 543000 | #Constraints: 26733
2020.91/2026.87 c #Conflicts: 544000 | #Constraints: 27733
2020.91/2026.87 c #Conflicts: 545000 | #Constraints: 28733
2020.91/2026.87 c #Conflicts: 546000 | #Constraints: 29733
2020.91/2026.87 c INPROCESSING
2020.91/2026.87 c GARBAGE COLLECT
2020.91/2026.87 c #Conflicts: 547000 | #Constraints: 16127
2020.91/2026.87 c #Conflicts: 548000 | #Constraints: 17127
2020.91/2026.87 c #Conflicts: 549000 | #Constraints: 18127
2407.65/2414.79 c #Conflicts: 550000 | #Constraints: 19127
2407.65/2414.79 c #Conflicts: 551000 | #Constraints: 20127
2407.65/2414.79 c #Conflicts: 552000 | #Constraints: 21127
2407.65/2414.79 c #Conflicts: 553000 | #Constraints: 22127
2407.65/2414.79 c #Conflicts: 554000 | #Constraints: 23127
2407.65/2414.79 c #Conflicts: 555000 | #Constraints: 24127
2407.65/2414.79 c #Conflicts: 556000 | #Constraints: 25127
2407.65/2414.79 c #Conflicts: 557000 | #Constraints: 26127
2407.65/2414.79 c #Conflicts: 558000 | #Constraints: 27127
2407.65/2414.79 c #Conflicts: 559000 | #Constraints: 28127
2407.65/2414.79 c #Conflicts: 560000 | #Constraints: 29127
2407.65/2414.79 c #Conflicts: 561000 | #Constraints: 30127
2407.65/2414.79 c INPROCESSING
2407.65/2414.79 c GARBAGE COLLECT
2407.65/2414.79 c #Conflicts: 562000 | #Constraints: 16331
2407.65/2414.79 c #Conflicts: 563000 | #Constraints: 17331
2407.65/2414.79 c #Conflicts: 564000 | #Constraints: 18331
2407.65/2414.79 c #Conflicts: 565000 | #Constraints: 19331
2407.65/2414.79 c #Conflicts: 566000 | #Constraints: 20331
2407.65/2414.79 c #Conflicts: 567000 | #Constraints: 21331
2407.65/2414.79 c #Conflicts: 568000 | #Constraints: 22331
2407.65/2414.79 c #Conflicts: 569000 | #Constraints: 23331
2407.65/2414.79 c #Conflicts: 570000 | #Constraints: 24331
2407.65/2414.79 c #Conflicts: 571000 | #Constraints: 25331
2407.65/2414.79 c #Conflicts: 572000 | #Constraints: 26331
2407.65/2414.79 c #Conflicts: 573000 | #Constraints: 27331
2407.65/2414.79 c #Conflicts: 574000 | #Constraints: 28331
2407.65/2414.79 c #Conflicts: 575000 | #Constraints: 29331
2407.65/2414.79 c #Conflicts: 576000 | #Constraints: 30331
2407.65/2414.79 c INPROCESSING
2407.65/2414.79 c GARBAGE COLLECT
2407.65/2414.79 c #Conflicts: 577000 | #Constraints: 16330
2407.65/2414.79 c #Conflicts: 578000 | #Constraints: 17330
2407.65/2414.79 c #Conflicts: 579000 | #Constraints: 18330
2407.65/2414.79 c #Conflicts: 580000 | #Constraints: 19330
2407.65/2414.79 c #Conflicts: 581000 | #Constraints: 20330
2407.65/2414.79 c #Conflicts: 582000 | #Constraints: 21330
2407.65/2414.79 c #Conflicts: 583000 | #Constraints: 22330
2407.65/2414.79 c #Conflicts: 584000 | #Constraints: 23330
2407.65/2414.79 c #Conflicts: 585000 | #Constraints: 24330
2407.65/2414.79 c #Conflicts: 586000 | #Constraints: 25330
2407.65/2414.79 c #Conflicts: 587000 | #Constraints: 26330
2407.65/2414.79 c #Conflicts: 588000 | #Constraints: 27330
2407.65/2414.79 c #Conflicts: 589000 | #Constraints: 28330
2407.65/2414.79 c #Conflicts: 590000 | #Constraints: 29330
2407.65/2414.79 c #Conflicts: 591000 | #Constraints: 30330
2407.65/2414.79 c INPROCESSING
2407.65/2414.79 c GARBAGE COLLECT
2407.65/2414.79 c #Conflicts: 592000 | #Constraints: 16133
2407.65/2414.79 c #Conflicts: 593000 | #Constraints: 17133
2407.65/2414.79 c #Conflicts: 594000 | #Constraints: 18133
2407.65/2414.79 c #Conflicts: 595000 | #Constraints: 19133
2407.65/2414.79 c #Conflicts: 596000 | #Constraints: 20133
2407.65/2414.79 c #Conflicts: 597000 | #Constraints: 21133
2407.65/2414.79 c #Conflicts: 598000 | #Constraints: 22133
2407.65/2414.79 c #Conflicts: 599000 | #Constraints: 23133
2407.65/2414.79 c #Conflicts: 600000 | #Constraints: 24133
2407.65/2414.79 c #Conflicts: 601000 | #Constraints: 25133
2407.65/2414.79 c #Conflicts: 602000 | #Constraints: 26133
2407.65/2414.79 c #Conflicts: 603000 | #Constraints: 27133
2407.65/2414.79 c #Conflicts: 604000 | #Constraints: 28133
2407.65/2414.79 c #Conflicts: 605000 | #Constraints: 29133
2407.65/2414.79 c #Conflicts: 606000 | #Constraints: 30133
2407.65/2414.79 c #Conflicts: 607000 | #Constraints: 31133
2407.65/2414.79 c INPROCESSING
2407.65/2414.79 c GARBAGE COLLECT
2407.65/2414.79 c #Conflicts: 608000 | #Constraints: 16730
2407.65/2414.79 c #Conflicts: 609000 | #Constraints: 17730
2407.65/2414.79 c #Conflicts: 610000 | #Constraints: 18730
2407.65/2414.79 c #Conflicts: 611000 | #Constraints: 19730
2407.65/2414.79 c #Conflicts: 612000 | #Constraints: 20730
2407.65/2414.79 c #Conflicts: 613000 | #Constraints: 21730
2407.65/2414.79 c #Conflicts: 614000 | #Constraints: 22730
2407.65/2414.79 c #Conflicts: 615000 | #Constraints: 23730
2407.65/2414.79 c #Conflicts: 616000 | #Constraints: 24730
2407.65/2414.79 c #Conflicts: 617000 | #Constraints: 25730
2407.65/2414.79 c #Conflicts: 618000 | #Constraints: 26730
2407.65/2414.79 c #Conflicts: 619000 | #Constraints: 27730
2407.65/2414.79 c #Conflicts: 620000 | #Constraints: 28730
2407.65/2414.79 c #Conflicts: 621000 | #Constraints: 29730
2407.65/2414.79 c #Conflicts: 622000 | #Constraints: 30730
2407.65/2414.79 c #Conflicts: 623000 | #Constraints: 31730
2407.65/2414.79 c INPROCESSING
2407.65/2414.79 c GARBAGE COLLECT
2407.65/2414.79 c #Conflicts: 624000 | #Constraints: 17126
2800.87/2809.12 c #Conflicts: 625000 | #Constraints: 18126
2800.87/2809.12 c #Conflicts: 626000 | #Constraints: 19126
2800.87/2809.12 c #Conflicts: 627000 | #Constraints: 20126
2800.87/2809.12 c #Conflicts: 628000 | #Constraints: 21126
2800.87/2809.12 c #Conflicts: 629000 | #Constraints: 22126
2800.87/2809.12 c #Conflicts: 630000 | #Constraints: 23126
2800.87/2809.12 c #Conflicts: 631000 | #Constraints: 24126
2800.87/2809.12 c #Conflicts: 632000 | #Constraints: 25126
2800.87/2809.12 c #Conflicts: 633000 | #Constraints: 26126
2800.87/2809.12 c #Conflicts: 634000 | #Constraints: 27126
2800.87/2809.12 c #Conflicts: 635000 | #Constraints: 28126
2800.87/2809.12 c #Conflicts: 636000 | #Constraints: 29126
2800.87/2809.12 c #Conflicts: 637000 | #Constraints: 30126
2800.87/2809.12 c #Conflicts: 638000 | #Constraints: 31126
2800.87/2809.12 c #Conflicts: 639000 | #Constraints: 32126
2800.87/2809.12 c INPROCESSING
2800.87/2809.12 c GARBAGE COLLECT
2800.87/2809.12 c #Conflicts: 640000 | #Constraints: 17328
2800.87/2809.12 c #Conflicts: 641000 | #Constraints: 18328
2800.87/2809.12 c #Conflicts: 642000 | #Constraints: 19328
2800.87/2809.12 c #Conflicts: 643000 | #Constraints: 20328
2800.87/2809.12 c #Conflicts: 644000 | #Constraints: 21328
2800.87/2809.12 c #Conflicts: 645000 | #Constraints: 22328
2800.87/2809.12 c #Conflicts: 646000 | #Constraints: 23328
2800.87/2809.12 c #Conflicts: 647000 | #Constraints: 24328
2800.87/2809.12 c #Conflicts: 648000 | #Constraints: 25328
2800.87/2809.12 c #Conflicts: 649000 | #Constraints: 26328
2800.87/2809.12 c #Conflicts: 650000 | #Constraints: 27328
2800.87/2809.12 c #Conflicts: 651000 | #Constraints: 28328
2800.87/2809.12 c #Conflicts: 652000 | #Constraints: 29328
2800.87/2809.12 c #Conflicts: 653000 | #Constraints: 30328
2800.87/2809.12 c #Conflicts: 654000 | #Constraints: 31328
2800.87/2809.12 c #Conflicts: 655000 | #Constraints: 32328
2800.87/2809.12 c INPROCESSING
2800.87/2809.12 c GARBAGE COLLECT
2800.87/2809.12 c #Conflicts: 656000 | #Constraints: 17326
2800.87/2809.12 c #Conflicts: 657000 | #Constraints: 18326
2800.87/2809.12 c #Conflicts: 658000 | #Constraints: 19326
2800.87/2809.12 c #Conflicts: 659000 | #Constraints: 20326
2800.87/2809.12 c #Conflicts: 660000 | #Constraints: 21326
2800.87/2809.12 c #Conflicts: 661000 | #Constraints: 22326
2800.87/2809.12 c #Conflicts: 662000 | #Constraints: 23326
2800.87/2809.12 c #Conflicts: 663000 | #Constraints: 24326
2800.87/2809.12 c #Conflicts: 664000 | #Constraints: 25326
2800.87/2809.12 c #Conflicts: 665000 | #Constraints: 26326
2800.87/2809.12 c #Conflicts: 666000 | #Constraints: 27326
2800.87/2809.12 c #Conflicts: 667000 | #Constraints: 28326
2800.87/2809.12 c #Conflicts: 668000 | #Constraints: 29326
2800.87/2809.12 c #Conflicts: 669000 | #Constraints: 30326
2800.87/2809.12 c #Conflicts: 670000 | #Constraints: 31326
2800.87/2809.12 c #Conflicts: 671000 | #Constraints: 32326
2800.87/2809.12 c INPROCESSING
2800.87/2809.12 c GARBAGE COLLECT
2800.87/2809.12 c #Conflicts: 672000 | #Constraints: 17122
2800.87/2809.12 c #Conflicts: 673000 | #Constraints: 18122
2800.87/2809.12 c #Conflicts: 674000 | #Constraints: 19122
2800.87/2809.12 c #Conflicts: 675000 | #Constraints: 20122
2800.87/2809.12 c #Conflicts: 676000 | #Constraints: 21122
2800.87/2809.12 c #Conflicts: 677000 | #Constraints: 22122
2800.87/2809.12 c #Conflicts: 678000 | #Constraints: 23122
2800.87/2809.12 c #Conflicts: 679000 | #Constraints: 24122
2800.87/2809.12 c #Conflicts: 680000 | #Constraints: 25122
2800.87/2809.12 c #Conflicts: 681000 | #Constraints: 26122
2800.87/2809.12 c #Conflicts: 682000 | #Constraints: 27122
2800.87/2809.12 c #Conflicts: 683000 | #Constraints: 28122
2800.87/2809.12 c #Conflicts: 684000 | #Constraints: 29122
2800.87/2809.12 c #Conflicts: 685000 | #Constraints: 30122
2800.87/2809.12 c #Conflicts: 686000 | #Constraints: 31122
2800.87/2809.12 c #Conflicts: 687000 | #Constraints: 32122
2800.87/2809.12 c #Conflicts: 688000 | #Constraints: 33122
2800.87/2809.12 c INPROCESSING
2800.87/2809.12 c GARBAGE COLLECT
2800.87/2809.12 c #Conflicts: 689000 | #Constraints: 17721
2800.87/2809.12 c #Conflicts: 690000 | #Constraints: 18721
2800.87/2809.12 c #Conflicts: 691000 | #Constraints: 19721
2800.87/2809.12 c #Conflicts: 692000 | #Constraints: 20721
2800.87/2809.12 c #Conflicts: 693000 | #Constraints: 21721
2800.87/2809.12 c #Conflicts: 694000 | #Constraints: 22721
2800.87/2809.12 c #Conflicts: 695000 | #Constraints: 23721
2800.87/2809.12 c #Conflicts: 696000 | #Constraints: 24721
2800.87/2809.12 c #Conflicts: 697000 | #Constraints: 25721
2800.87/2809.12 c #Conflicts: 698000 | #Constraints: 26721
2800.87/2809.12 c #Conflicts: 699000 | #Constraints: 27721
2800.87/2809.12 c #Conflicts: 700000 | #Constraints: 28721
2800.87/2809.12 c #Conflicts: 701000 | #Constraints: 29721
3278.60/3288.45 c #Conflicts: 702000 | #Constraints: 30721
3278.60/3288.45 c #Conflicts: 703000 | #Constraints: 31721
3278.60/3288.45 c #Conflicts: 704000 | #Constraints: 32721
3278.60/3288.45 c #Conflicts: 705000 | #Constraints: 33721
3278.60/3288.45 c INPROCESSING
3278.60/3288.45 c GARBAGE COLLECT
3278.60/3288.45 c #Conflicts: 706000 | #Constraints: 18125
3278.60/3288.45 c #Conflicts: 707000 | #Constraints: 19125
3278.60/3288.45 c #Conflicts: 708000 | #Constraints: 20125
3278.60/3288.45 c #Conflicts: 709000 | #Constraints: 21125
3278.60/3288.45 c #Conflicts: 710000 | #Constraints: 22125
3278.60/3288.45 c #Conflicts: 711000 | #Constraints: 23125
3278.60/3288.45 c #Conflicts: 712000 | #Constraints: 24125
3278.60/3288.45 c #Conflicts: 713000 | #Constraints: 25125
3278.60/3288.45 c #Conflicts: 714000 | #Constraints: 26125
3278.60/3288.45 c #Conflicts: 715000 | #Constraints: 27125
3278.60/3288.45 c #Conflicts: 716000 | #Constraints: 28125
3278.60/3288.45 c #Conflicts: 717000 | #Constraints: 29125
3278.60/3288.45 c #Conflicts: 718000 | #Constraints: 30125
3278.60/3288.45 c #Conflicts: 719000 | #Constraints: 31125
3278.60/3288.45 c #Conflicts: 720000 | #Constraints: 32125
3278.60/3288.45 c #Conflicts: 721000 | #Constraints: 33125
3278.60/3288.45 c #Conflicts: 722000 | #Constraints: 34125
3278.60/3288.45 c INPROCESSING
3278.60/3288.45 c GARBAGE COLLECT
3278.60/3288.45 c #Conflicts: 723000 | #Constraints: 18327
3278.60/3288.45 c #Conflicts: 724000 | #Constraints: 19327
3278.60/3288.45 c #Conflicts: 725000 | #Constraints: 20327
3278.60/3288.45 c #Conflicts: 726000 | #Constraints: 21327
3278.60/3288.45 c #Conflicts: 727000 | #Constraints: 22327
3278.60/3288.45 c #Conflicts: 728000 | #Constraints: 23327
3278.60/3288.45 c #Conflicts: 729000 | #Constraints: 24327
3278.60/3288.45 c #Conflicts: 730000 | #Constraints: 25327
3278.60/3288.45 c #Conflicts: 731000 | #Constraints: 26327
3278.60/3288.45 c #Conflicts: 732000 | #Constraints: 27327
3278.60/3288.45 c #Conflicts: 733000 | #Constraints: 28327
3278.60/3288.45 c #Conflicts: 734000 | #Constraints: 29327
3278.60/3288.45 c #Conflicts: 735000 | #Constraints: 30327
3278.60/3288.45 c #Conflicts: 736000 | #Constraints: 31327
3278.60/3288.45 c #Conflicts: 737000 | #Constraints: 32327
3278.60/3288.45 c #Conflicts: 738000 | #Constraints: 33327
3278.60/3288.45 c #Conflicts: 739000 | #Constraints: 34327
3278.60/3288.45 c INPROCESSING
3278.60/3288.45 c GARBAGE COLLECT
3278.60/3288.45 c #Conflicts: 740000 | #Constraints: 18329
3278.60/3288.45 c #Conflicts: 741000 | #Constraints: 19329
3278.60/3288.45 c #Conflicts: 742000 | #Constraints: 20329
3278.60/3288.45 c #Conflicts: 743000 | #Constraints: 21329
3278.60/3288.45 c #Conflicts: 744000 | #Constraints: 22329
3278.60/3288.45 c #Conflicts: 745000 | #Constraints: 23329
3278.60/3288.45 c #Conflicts: 746000 | #Constraints: 24329
3278.60/3288.45 c #Conflicts: 747000 | #Constraints: 25329
3278.60/3288.45 c #Conflicts: 748000 | #Constraints: 26329
3278.60/3288.45 c #Conflicts: 749000 | #Constraints: 27329
3278.60/3288.45 c #Conflicts: 750000 | #Constraints: 28329
3278.60/3288.45 c #Conflicts: 751000 | #Constraints: 29329
3278.60/3288.45 c #Conflicts: 752000 | #Constraints: 30329
3278.60/3288.45 c #Conflicts: 753000 | #Constraints: 31329
3278.60/3288.45 c #Conflicts: 754000 | #Constraints: 32329
3278.60/3288.45 c #Conflicts: 755000 | #Constraints: 33329
3278.60/3288.45 c #Conflicts: 756000 | #Constraints: 34329
3278.60/3288.45 c INPROCESSING
3278.60/3288.45 c GARBAGE COLLECT
3278.60/3288.45 c #Conflicts: 757000 | #Constraints: 18130
3278.60/3288.45 c #Conflicts: 758000 | #Constraints: 19130
3278.60/3288.45 c #Conflicts: 759000 | #Constraints: 20130
3278.60/3288.45 c #Conflicts: 760000 | #Constraints: 21130
3278.60/3288.45 c #Conflicts: 761000 | #Constraints: 22130
3278.60/3288.45 c #Conflicts: 762000 | #Constraints: 23130
3278.60/3288.45 c #Conflicts: 763000 | #Constraints: 24130
3278.60/3288.45 c #Conflicts: 764000 | #Constraints: 25130
3278.60/3288.45 c #Conflicts: 765000 | #Constraints: 26130
3278.60/3288.45 c #Conflicts: 766000 | #Constraints: 27130
3278.60/3288.45 c #Conflicts: 767000 | #Constraints: 28130
3278.60/3288.45 c #Conflicts: 768000 | #Constraints: 29130
3278.60/3288.45 c #Conflicts: 769000 | #Constraints: 30130
3278.60/3288.45 c #Conflicts: 770000 | #Constraints: 31130
3278.60/3288.45 c #Conflicts: 771000 | #Constraints: 32130
3278.60/3288.45 c #Conflicts: 772000 | #Constraints: 33130
3278.60/3288.45 c #Conflicts: 773000 | #Constraints: 34130
3278.60/3288.45 c #Conflicts: 774000 | #Constraints: 35130
3278.60/3288.45 c INPROCESSING
3278.60/3288.45 c GARBAGE COLLECT
3278.60/3288.45 c #Conflicts: 775000 | #Constraints: 18727
3278.60/3288.45 c #Conflicts: 776000 | #Constraints: 19727
3600.07/3610.80 c #Conflicts: 777000 | #Constraints: 20727
3600.07/3610.80 c #Conflicts: 778000 | #Constraints: 21727
3600.07/3610.80 c #Conflicts: 779000 | #Constraints: 22727
3600.07/3610.80 c #Conflicts: 780000 | #Constraints: 23727
3600.07/3610.80 c #Conflicts: 781000 | #Constraints: 24727
3600.07/3610.80 c #Conflicts: 782000 | #Constraints: 25727
3600.07/3610.80 c #Conflicts: 783000 | #Constraints: 26727
3600.07/3610.80 c #Conflicts: 784000 | #Constraints: 27727
3600.07/3610.80 c #Conflicts: 785000 | #Constraints: 28727
3600.07/3610.80 c #Conflicts: 786000 | #Constraints: 29727
3600.07/3610.80 c #Conflicts: 787000 | #Constraints: 30727
3600.07/3610.80 c #Conflicts: 788000 | #Constraints: 31727
3600.07/3610.80 c #Conflicts: 789000 | #Constraints: 32727
3600.07/3610.80 c #Conflicts: 790000 | #Constraints: 33727
3600.07/3610.80 c #Conflicts: 791000 | #Constraints: 34727
3600.07/3610.80 c #Conflicts: 792000 | #Constraints: 35727
3600.07/3610.80 c INPROCESSING
3600.07/3610.80 c GARBAGE COLLECT
3600.07/3610.80 c #Conflicts: 793000 | #Constraints: 19130
3600.07/3610.80 c #Conflicts: 794000 | #Constraints: 20130
3600.07/3610.80 c #Conflicts: 795000 | #Constraints: 21130
3600.07/3610.80 c #Conflicts: 796000 | #Constraints: 22130
3600.07/3610.80 c #Conflicts: 797000 | #Constraints: 23130
3600.07/3610.80 c #Conflicts: 798000 | #Constraints: 24130
3600.07/3610.80 c #Conflicts: 799000 | #Constraints: 25130
3600.07/3610.80 c #Conflicts: 800000 | #Constraints: 26130
3600.07/3610.80 c #Conflicts: 801000 | #Constraints: 27130
3600.07/3610.80 c #Conflicts: 802000 | #Constraints: 28130
3600.07/3610.80 c #Conflicts: 803000 | #Constraints: 29130
3600.07/3610.80 c #Conflicts: 804000 | #Constraints: 30130
3600.07/3610.80 c #Conflicts: 805000 | #Constraints: 31130
3600.07/3610.80 c #Conflicts: 806000 | #Constraints: 32130
3600.07/3610.80 c #Conflicts: 807000 | #Constraints: 33130
3600.07/3610.80 c #Conflicts: 808000 | #Constraints: 34130
3600.07/3610.80 c #Conflicts: 809000 | #Constraints: 35130
3600.07/3610.80 c #Conflicts: 810000 | #Constraints: 36130
3600.07/3610.80 c INPROCESSING
3600.07/3610.80 c GARBAGE COLLECT
3600.07/3610.80 c #Conflicts: 811000 | #Constraints: 19328
3600.07/3610.80 c #Conflicts: 812000 | #Constraints: 20328
3600.07/3610.80 c #Conflicts: 813000 | #Constraints: 21328
3600.07/3610.80 c #Conflicts: 814000 | #Constraints: 22328
3600.07/3610.80 c #Conflicts: 815000 | #Constraints: 23328
3600.07/3610.80 c #Conflicts: 816000 | #Constraints: 24328
3600.07/3610.80 c #Conflicts: 817000 | #Constraints: 25328
3600.07/3610.80 c #Conflicts: 818000 | #Constraints: 26328
3600.07/3610.80 c #Conflicts: 819000 | #Constraints: 27328
3600.07/3610.80 c #Conflicts: 820000 | #Constraints: 28328
3600.07/3610.80 c #Conflicts: 821000 | #Constraints: 29328
3600.07/3610.80 c #Conflicts: 822000 | #Constraints: 30328
3600.07/3610.80 c #Conflicts: 823000 | #Constraints: 31328
3600.07/3610.80 c #Conflicts: 824000 | #Constraints: 32328
3600.07/3610.80 c #Conflicts: 825000 | #Constraints: 33328
3600.07/3610.80 c #Conflicts: 826000 | #Constraints: 34328
3600.07/3610.80 c #Conflicts: 827000 | #Constraints: 35328
3600.07/3610.80 c #Conflicts: 828000 | #Constraints: 36328
3600.07/3610.80 c INPROCESSING
3600.07/3610.80 c GARBAGE COLLECT
3600.07/3610.80 c #Conflicts: 829000 | #Constraints: 19325
3600.07/3610.80 c #Conflicts: 830000 | #Constraints: 20325
3600.07/3610.80 c Program interrupted by user.
3600.07/3610.80 c cpu time 3591.18 s
3600.07/3610.80 c deterministic time 374027093178 3.74e+11
3600.07/3610.80 c optimization time 10.9 s
3600.07/3610.80 c total solve time 3281.04 s
3600.07/3610.80 c core-guided solve time 3281.04 s
3600.07/3610.80 c propagation time 2877.35 s
3600.07/3610.80 c conflict analysis time 361.498 s
3600.07/3610.80 c propagations 53971885
3600.07/3610.80 c resolve steps 4192479
3600.07/3610.80 c decisions 5279927
3600.07/3610.80 c conflicts 830451
3600.07/3610.80 c restarts 1787
3600.07/3610.80 c inprocessing phases 82
3600.07/3610.80 c input clauses 45
3600.07/3610.80 c input cardinalities 79
3600.07/3610.80 c input general constraints 462
3600.07/3610.80 c input average constraint length 70.34
3600.07/3610.80 c input average constraint degree 33.67
3600.07/3610.80 c learned clauses 149673
3600.07/3610.80 c learned cardinalities 325
3600.07/3610.80 c learned general constraints 680457
3600.07/3610.80 c learned average constraint length 321.10
3600.07/3610.80 c learned average constraint degree 256050.46
3600.07/3610.80 c watched constraints 571611
3600.07/3610.80 c counting constraints 109308
3600.07/3610.80 c gcd simplifications 118299
3600.07/3610.80 c detected cardinalities 239
3600.07/3610.80 c weakened non-implied lits 21701689
3600.07/3610.80 c weakened non-implying lits 69370
3600.07/3610.80 c original variables 467
3600.07/3610.80 c clausal propagations 727748
3600.07/3610.80 c cardinality propagations 74911
3600.07/3610.80 c watched propagations 30348152
3600.07/3610.80 c counting propagations 22146603
3600.07/3610.80 c watch lookups 61600022448
3600.07/3610.80 c watch backjump lookups 58082026619
3600.07/3610.80 c watch checks 246918133348
3600.07/3610.80 c propagation checks 6462952596
3600.07/3610.80 c constraint additions 844624515
3600.07/3610.80 c trail pops 60081839
3600.07/3610.80 c formula constraints 466
3600.07/3610.80 c learned constraints 830455
3600.07/3610.80 c bound constraints 79
3600.07/3610.80 c core-guided constraints 41
3600.07/3610.80 c encountered formula constraints 2601692
3600.07/3610.80 c encountered learned constraints 2367720
3600.07/3610.80 c encountered bound constraints 249
3600.07/3610.80 c encountered core-guided constraints 53269
3600.07/3610.80 c LP total time 0 s
3600.07/3610.80 c LP solve time 0 s
3600.07/3610.80 c LP constraints added 0
3600.07/3610.80 c LP constraints removed 0
3600.07/3610.80 c LP pivots internal 0
3600.07/3610.80 c LP pivots root 0
3600.07/3610.80 c LP calls 0
3600.07/3610.80 c LP optimalities 0
3600.07/3610.80 c LP no pivot count 0
3600.07/3610.80 c LP infeasibilities 0
3600.07/3610.80 c LP valid Farkas constraints 0
3600.07/3610.80 c LP learned Farkas constraints 0
3600.07/3610.80 c LP basis resets 0
3600.07/3610.80 c LP cycling count 0
3600.07/3610.80 c LP singular count 0
3600.07/3610.80 c LP no primal count 0
3600.07/3610.80 c LP no farkas count 0
3600.07/3610.80 c LP other issue count 0
3600.07/3610.80 c LP Gomory cuts 0
3600.07/3610.80 c LP learned cuts 0
3600.07/3610.80 c LP deleted cuts 0
3600.07/3610.80 c LP encountered Gomory constraints 0
3600.07/3610.80 c LP encountered Farkas constraints 0
3600.07/3610.80 c LP encountered learned Farkas constraints 0
3600.07/3610.80 c CG auxiliary variables introduced 41
3600.07/3610.80 c CG solutions found 0
3600.07/3610.80 c CG cores constructed 78
3600.07/3610.80 c CG core cardinality constraints returned 0
3600.07/3610.80 c CG unit cores 0
3600.07/3610.80 c CG single cores 78
3600.07/3610.80 c CG blocks removed during cardinality reduction 0
3600.07/3610.80 c CG first core best 0
3600.07/3610.80 c CG decision core best 0
3600.07/3610.80 c CG core reduction tie 0
3600.07/3610.80 c CG core degree average 1.00
3600.07/3610.80 c CG core slack average 2.77
3600.07/3610.80 c CG exhausted 0
3600.07/3610.80 c CG exhaust time 0 s
3600.07/3610.80 c CG trimmed 1
3600.07/3610.80 c CG trim time 0.000364 s
3600.07/3610.80 c CG minimized 0
3600.07/3610.80 c CG minimize time 0 s
3600.07/3610.80 c CG am1 prop time 0.000205 s
3600.07/3610.80 c CG # am1s reformulated 41
3600.07/3610.80 c CG lower bound derived from am1s 41
3600.07/3610.80 c CG # clausal cores 12
3600.07/3610.80 c CG # cardinality cores 0
3600.07/3610.80 c CG # pb cores 66
3600.07/3610.80 c CG # pb reforms 0
3600.07/3610.80 c CG # cores discarded because of pb reform 0
3600.07/3610.80 d LOWERBOUND 119
3600.07/3610.80 d NCORES 78
3600.07/3610.80 d NPBCORES 66
3600.07/3610.80 d NPBREFORM 0
3600.07/3610.80 d NTRIMMED 1
3600.07/3610.80 d NEXHAUSTED 0
3600.07/3610.80 d NAM1S 41
3600.07/3610.80 d AM1LB 41
3600.07/3610.80 c [Papilo Statistics]
3600.07/3610.80 c prepro time 0.00406234s
3600.07/3610.80 c # tsx applied 23
3600.07/3610.80 c # tsx conflicts 0
3600.07/3610.80 c # bound changes 0
3600.07/3610.80 c # side changes 0
3600.07/3610.80 c # coef changes 54
3600.07/3610.80 c # rounds 3
3600.07/3610.80 c # deted vars 0
3600.07/3610.80 c # deted constrs 0
3600.07/3610.80 c # consecutive rounds of only bound changes 0
3600.07/3610.80 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 (60682 MiB free)
memory of node 1: 64507 MiB (59597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489175-1751349596/watcher-4489175-1751349596 -o /tmp/evaluation-result-4489175-1751349596/solver-4489175-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760 mixed-bag HOME/instance-4489175-1751349596.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
solver pid=50756, runsolver pid=50750
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.52 2.56 3.78 1/251 50769
/proc/meminfo: memFree=123153940/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=32272 memory=512 CPUtime=0 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) D 50750 50756 50699 0 -1 4194304 97 0 3 0 0 0 0 0 20 0 1 0 50639433 33046528 128 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 8068 128 128 2842 0 1345 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 32272 KiB
Current children cumulated memory: 512 KiB
[startup+0.213715 s]*
/proc/loadavg: 1.52 2.56 3.78 5/252 50770
/proc/meminfo: memFree=123149284/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=96472 memory=22400 CPUtime=0.05 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 2012 0 12 0 3 2 0 0 20 0 1 0 50639433 98787328 5600 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 24118 5600 4064 2842 0 5812 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 96472 KiB
Current children cumulated memory: 22400 KiB
[startup+0.314222 s]*
/proc/loadavg: 1.52 2.56 3.78 5/252 50770
/proc/meminfo: memFree=123132500/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=101300 memory=27116 CPUtime=0.14 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 3064 0 12 0 12 2 0 0 20 0 1 0 50639433 103731200 6779 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 25325 6779 4256 2842 0 7019 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 101300 KiB
Current children cumulated memory: 27116 KiB
[startup+0.700252 s]
/proc/loadavg: 1.52 2.56 3.78 5/252 50770
/proc/meminfo: memFree=123127712/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=101564 memory=27500 CPUtime=0.51 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 3185 0 12 0 49 2 0 0 20 0 1 0 50639433 104001536 6875 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 25391 6875 4256 2842 0 7085 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 27500 KiB
[startup+1.50027 s]
/proc/loadavg: 1.52 2.56 3.78 5/252 50770
/proc/meminfo: memFree=123100748/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=102348 memory=27836 CPUtime=1.31 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 3359 0 12 0 129 2 0 0 20 0 1 0 50639433 104804352 6959 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 25587 6959 4256 2842 0 7281 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 102348 KiB
Current children cumulated memory: 27836 KiB
[startup+3.11316 s]
/proc/loadavg: 1.88 2.61 3.79 5/252 50770
/proc/meminfo: memFree=122653892/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=232580 memory=155472 CPUtime=2.92 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 36905 0 12 0 283 9 0 0 20 0 1 0 50639433 238161920 38868 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 58145 38868 4256 2842 0 39839 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 232580 KiB
Current children cumulated memory: 155472 KiB
[startup+6.30023 s]
/proc/loadavg: 1.88 2.61 3.79 5/252 50770
/proc/meminfo: memFree=122573272/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=236604 memory=159184 CPUtime=6.1 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 37818 0 12 0 601 9 0 0 20 0 1 0 50639433 242282496 39796 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 59151 39796 4256 2842 0 40845 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 236604 KiB
Current children cumulated memory: 159184 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.67 3.81 5/252 50770
/proc/meminfo: memFree=122572840/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=236604 memory=159184 CPUtime=12.48 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 37820 0 12 0 1239 9 0 0 20 0 1 0 50639433 242282496 39796 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 59151 39796 4256 2842 0 40845 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 236604 KiB
Current children cumulated memory: 159184 KiB
[startup+25.5003 s]
/proc/loadavg: 3.12 2.85 3.85 5/252 50770
/proc/meminfo: memFree=122385836/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=266364 memory=187112 CPUtime=25.25 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 45730 0 12 0 2514 11 0 0 20 0 1 0 50639433 272756736 46778 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 66591 46778 4256 2842 0 48285 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 266364 KiB
Current children cumulated memory: 187112 KiB
[startup+51.1132 s]
/proc/loadavg: 4.26 3.14 3.92 5/253 50772
/proc/meminfo: memFree=122353256/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=268504 memory=189252 CPUtime=50.8 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 46404 0 12 0 5069 11 0 0 20 0 1 0 50639433 274948096 47313 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 67126 47313 4256 2842 0 48820 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 268504 KiB
Current children cumulated memory: 189252 KiB
[startup+102.3 s]
/proc/loadavg: 5.44 3.64 4.05 5/253 50785
/proc/meminfo: memFree=122289972/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=270464 memory=191840 CPUtime=101.86 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 47313 0 12 0 10175 11 0 0 20 0 1 0 50639433 276955136 47960 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 67616 47960 4256 2842 0 49310 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 270464 KiB
Current children cumulated memory: 191840 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 3.78 4.07 5/253 50787
/proc/meminfo: memFree=122143376/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=327632 memory=250000 CPUtime=161.71 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 62126 0 12 0 16158 13 0 0 20 0 1 0 50639433 335495168 62500 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 81908 62500 4256 2842 0 63602 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 327632 KiB
Current children cumulated memory: 250000 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.84 4.07 5/253 50789
/proc/meminfo: memFree=121963320/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=361316 memory=283280 CPUtime=221.55 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 70412 0 12 0 22141 14 0 0 20 0 1 0 50639433 369987584 70820 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 90329 70820 4288 2842 0 72023 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 361316 KiB
Current children cumulated memory: 283280 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.88 4.07 5/252 50791
/proc/meminfo: memFree=121940540/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=361316 memory=283280 CPUtime=281.39 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 70412 0 12 0 28125 14 0 0 20 0 1 0 50639433 369987584 70820 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 90329 70820 4288 2842 0 72023 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 361316 KiB
Current children cumulated memory: 283280 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.92 4.07 5/251 50793
/proc/meminfo: memFree=122113296/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=302588 memory=226460 CPUtime=341.23 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 72713 0 12 0 34054 69 0 0 20 0 1 0 50639433 309850112 56615 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 75647 56615 4448 2842 0 57341 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 302588 KiB
Current children cumulated memory: 226460 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.97 4.08 5/250 50795
/proc/meminfo: memFree=122102192/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=302588 memory=233248 CPUtime=401.04 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 72898 0 12 0 39987 117 0 0 20 0 1 0 50639433 309850112 58312 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 75647 58312 4448 2842 0 57341 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 302588 KiB
Current children cumulated memory: 233248 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.99 4.08 5/250 50797
/proc/meminfo: memFree=122074300/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=321556 memory=238920 CPUtime=460.87 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 73280 0 12 0 45928 159 0 0 20 0 1 0 50639433 329273344 59730 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 80389 59730 4448 2842 0 62083 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
Current children cumulated memory: 288968 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 50906
/proc/meminfo: memFree=121943468/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=2853.9 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75196 0 12 0 284650 740 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 2853.9 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 50908
/proc/meminfo: memFree=121939628/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=2913.7 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75197 0 12 0 290619 751 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 50913
/proc/meminfo: memFree=121949216/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=2973.5 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75197 0 12 0 296583 767 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/252 50922
/proc/meminfo: memFree=121957084/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=3033.3 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75198 0 12 0 302555 775 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/252 50924
/proc/meminfo: memFree=121956804/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=3093.1 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75199 0 12 0 308522 788 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/252 50926
/proc/meminfo: memFree=121968296/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=3152.92 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75199 0 12 0 314491 801 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 50927
/proc/meminfo: memFree=121966692/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=293500 CPUtime=3212.71 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75199 0 12 0 320457 814 0 0 20 0 1 0 50639433 412123136 73375 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73375 4448 2842 0 82310 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 293500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 50929
/proc/meminfo: memFree=121962532/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3272.52 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75200 0 12 0 326424 828 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/249 50931
/proc/meminfo: memFree=121962396/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3332.33 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75200 0 12 0 332395 838 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/249 50933
/proc/meminfo: memFree=121958324/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3392.12 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75200 0 12 0 338364 848 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 50935
/proc/meminfo: memFree=121954688/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3451.93 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75236 0 12 0 344329 864 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 50937
/proc/meminfo: memFree=121959304/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3511.78 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75238 0 12 0 350305 873 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/249 50939
/proc/meminfo: memFree=121959272/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=295548 CPUtime=3571.63 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75238 0 12 0 356279 884 0 0 20 0 1 0 50639433 412123136 73887 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 73887 4448 2842 0 82310 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 295548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/246 50956
/proc/meminfo: memFree=122215516/131382112 swapFree=33010684/33010684
[pid=50756] ppid=50750 vsize=402464 memory=297596 CPUtime=3600.07 cores=4,6
/proc/50756/stat : 50756 (mixed-bag) R 50750 50756 50699 0 -1 4194304 75239 0 12 0 359118 889 0 0 20 0 1 0 50639433 412123136 74399 18446744073709551615 4235264 15874749 140721711829568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 41820160 140721711831452 140721711831529 140721711831529 140721711837131 0
/proc/50756/statm: 100616 74399 4448 2842 0 82310 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 402464 KiB
Current children cumulated memory: 297596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 50756 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.18 s, system=8.89366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.08
CPU user time (s): 3591.18
CPU system time (s): 8.89366
CPU usage (%): 99.7029
Max. virtual memory (cumulated for all children) (KiB): 402464
Max. memory (cumulated for all children) (KiB): 297596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.18
system time used= 8.89366
maximum resident set size= 298236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75269
page faults= 12
swaps= 0
block input operations= 616
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287
involuntary context switches= 2104
# summary of solver processes directly reported to runsolver:
# pid: 50756
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.18
# total CPU system time (s): 8.89366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0013 second user time and 36.7424 second system time
The end
Begin job on nodeC009 at 2025-07-01 07:59:56
IDJOB=4489175
IDBENCH=147542
IDSOLVER=3340
FILE ID=nodeC009/4489175-1751349596
RUNJOBID= nodeC009-1751349596-50710
SLURM_JOB_ID= 9598132
Free space on /tmp= 432660 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489175-1751349596/watcher-4489175-1751349596 -o /tmp/evaluation-result-4489175-1751349596/solver-4489175-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760 mixed-bag HOME/instance-4489175-1751349596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=81006127
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123159300 kB
MemAvailable: 129898704 kB
Buffers: 3280 kB
Cached: 7511256 kB
SwapCached: 0 kB
Active: 366364 kB
Inactive: 7213096 kB
Active(anon): 82004 kB
Inactive(anon): 968 kB
Active(file): 284360 kB
Inactive(file): 7212128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62044 kB
Writeback: 0 kB
AnonPages: 68084 kB
Mapped: 102916 kB
Shmem: 17960 kB
KReclaimable: 164700 kB
Slab: 248112 kB
SReclaimable: 164700 kB
SUnreclaim: 83412 kB
KernelStack: 3808 kB
PageTables: 2776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 09:00:08