0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
299.22/300.08 c [STEP] preprocessing done, loading into solver
299.22/300.08 c [STEP] solving
299.22/300.08 c #variables 466 #constraints 465
299.22/300.08 c SMALL=int, LARGE=long long
299.22/300.08 d SCIPUB 185
299.22/300.08 c bounds - >= 0 @ 299.131
299.22/300.08 c stratification level: 0
314.78/315.67 c bounds - >= 52 @ 299.132
314.78/315.67 c bounds - >= 53 @ 299.133
314.78/315.67 c bounds - >= 54 @ 299.133
314.78/315.67 c bounds - >= 55 @ 299.133
314.78/315.67 c bounds - >= 56 @ 299.133
314.78/315.67 c bounds - >= 57 @ 299.133
314.78/315.67 c bounds - >= 58 @ 299.133
314.78/315.67 c bounds - >= 59 @ 299.133
314.78/315.67 c bounds - >= 60 @ 299.133
314.78/315.67 c bounds - >= 61 @ 299.133
314.78/315.67 c bounds - >= 62 @ 299.133
314.78/315.67 c bounds - >= 63 @ 299.134
314.78/315.67 c bounds - >= 64 @ 299.134
314.78/315.67 c bounds - >= 65 @ 299.134
314.78/315.67 c bounds - >= 66 @ 299.134
314.78/315.67 c bounds - >= 67 @ 299.134
314.78/315.67 c bounds - >= 68 @ 299.134
314.78/315.67 c bounds - >= 69 @ 299.134
314.78/315.67 c bounds - >= 70 @ 299.134
314.78/315.67 c bounds - >= 71 @ 299.134
314.78/315.67 c bounds - >= 72 @ 299.135
314.78/315.67 c bounds - >= 73 @ 299.135
314.78/315.67 c bounds - >= 74 @ 299.135
314.78/315.67 c bounds - >= 75 @ 299.135
314.78/315.67 c bounds - >= 76 @ 299.135
314.78/315.67 c bounds - >= 77 @ 299.135
314.78/315.67 c bounds - >= 78 @ 299.135
314.78/315.67 c bounds - >= 79 @ 299.135
314.78/315.67 c bounds - >= 80 @ 299.135
314.78/315.67 c bounds - >= 81 @ 299.135
314.78/315.67 c bounds - >= 82 @ 299.135
314.78/315.67 c bounds - >= 83 @ 299.135
314.78/315.67 c bounds - >= 84 @ 299.135
314.78/315.67 c bounds - >= 85 @ 299.135
314.78/315.67 c bounds - >= 86 @ 299.135
314.78/315.67 c bounds - >= 87 @ 299.135
314.78/315.67 c bounds - >= 88 @ 299.135
314.78/315.67 c bounds - >= 89 @ 299.135
314.78/315.67 c bounds - >= 90 @ 299.135
314.78/315.67 c bounds - >= 91 @ 299.135
314.78/315.67 c bounds - >= 92 @ 299.135
314.78/315.67 c bounds - >= 93 @ 299.135
314.78/315.67 c bounds - >= 94 @ 299.135
314.78/315.67 c bounds - >= 95 @ 299.135
314.78/315.67 c bounds - >= 96 @ 299.135
314.78/315.67 c bounds - >= 97 @ 299.135
314.78/315.67 c bounds - >= 98 @ 299.136
314.78/315.67 c bounds - >= 99 @ 299.136
314.78/315.67 c bounds - >= 100 @ 299.136
314.78/315.67 c bounds - >= 101 @ 299.136
314.78/315.67 c bounds - >= 102 @ 299.136
314.78/315.67 c bounds - >= 103 @ 299.136
314.78/315.67 c bounds - >= 104 @ 299.136
314.78/315.67 c bounds - >= 105 @ 299.137
314.78/315.67 c bounds - >= 106 @ 299.137
314.78/315.67 c bounds - >= 107 @ 299.137
314.78/315.67 c bounds - >= 108 @ 299.137
314.78/315.67 c bounds - >= 109 @ 299.137
314.78/315.67 c bounds - >= 110 @ 299.137
314.78/315.67 c bounds - >= 111 @ 299.137
314.78/315.67 c bounds - >= 112 @ 299.137
314.78/315.67 c bounds - >= 113 @ 299.137
314.78/315.67 c bounds - >= 114 @ 299.137
314.78/315.67 c bounds - >= 115 @ 299.137
314.78/315.67 c bounds - >= 116 @ 299.137
314.78/315.67 c bounds - >= 117 @ 299.137
314.78/315.67 c bounds - >= 118 @ 299.137
314.78/315.67 c bounds - >= 119 @ 299.137
314.78/315.67 c bounds - >= 120 @ 299.137
314.78/315.67 c bounds - >= 121 @ 299.137
314.78/315.67 c bounds - >= 122 @ 299.137
314.78/315.67 c bounds - >= 123 @ 299.137
314.78/315.67 c bounds - >= 124 @ 299.137
314.78/315.67 c bounds - >= 125 @ 299.137
314.78/315.67 c bounds - >= 126 @ 299.137
314.78/315.67 c bounds - >= 127 @ 299.137
314.78/315.67 c #Conflicts: 1000 | #Constraints: 1604
314.78/315.67 c #Conflicts: 2000 | #Constraints: 2604
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 3000 | #Constraints: 2532
314.78/315.67 c #Conflicts: 4000 | #Constraints: 3532
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 5000 | #Constraints: 2933
314.78/315.67 c #Conflicts: 6000 | #Constraints: 3933
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 7000 | #Constraints: 2939
314.78/315.67 c #Conflicts: 8000 | #Constraints: 3939
314.78/315.67 c #Conflicts: 9000 | #Constraints: 4939
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 10000 | #Constraints: 3634
314.78/315.67 c #Conflicts: 11000 | #Constraints: 4634
314.78/315.67 c #Conflicts: 12000 | #Constraints: 5634
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 13000 | #Constraints: 4084
314.78/315.67 c #Conflicts: 14000 | #Constraints: 5084
314.78/315.67 c #Conflicts: 15000 | #Constraints: 6084
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 16000 | #Constraints: 4306
314.78/315.67 c #Conflicts: 17000 | #Constraints: 5306
314.78/315.67 c #Conflicts: 18000 | #Constraints: 6306
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 19000 | #Constraints: 4325
314.78/315.67 c #Conflicts: 20000 | #Constraints: 5325
314.78/315.67 c #Conflicts: 21000 | #Constraints: 6325
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 22000 | #Constraints: 4135
314.78/315.67 c #Conflicts: 23000 | #Constraints: 5135
314.78/315.67 c #Conflicts: 24000 | #Constraints: 6135
314.78/315.67 c #Conflicts: 25000 | #Constraints: 7135
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 26000 | #Constraints: 4735
314.78/315.67 c #Conflicts: 27000 | #Constraints: 5735
314.78/315.67 c #Conflicts: 28000 | #Constraints: 6735
314.78/315.67 c #Conflicts: 29000 | #Constraints: 7735
314.78/315.67 c INPROCESSING
314.78/315.67 c GARBAGE COLLECT
314.78/315.67 c #Conflicts: 30000 | #Constraints: 5140
314.78/315.67 c #Conflicts: 31000 | #Constraints: 6140
314.78/315.67 c #Conflicts: 32000 | #Constraints: 7140
314.78/315.67 c #Conflicts: 33000 | #Constraints: 8140
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 34000 | #Constraints: 5337
384.30/385.30 c #Conflicts: 35000 | #Constraints: 6337
384.30/385.30 c #Conflicts: 36000 | #Constraints: 7337
384.30/385.30 c #Conflicts: 37000 | #Constraints: 8337
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 38000 | #Constraints: 5335
384.30/385.30 c #Conflicts: 39000 | #Constraints: 6335
384.30/385.30 c #Conflicts: 40000 | #Constraints: 7335
384.30/385.30 c #Conflicts: 41000 | #Constraints: 8335
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 42000 | #Constraints: 5137
384.30/385.30 c #Conflicts: 43000 | #Constraints: 6137
384.30/385.30 c #Conflicts: 44000 | #Constraints: 7137
384.30/385.30 c #Conflicts: 45000 | #Constraints: 8137
384.30/385.30 c #Conflicts: 46000 | #Constraints: 9137
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 47000 | #Constraints: 5733
384.30/385.30 c #Conflicts: 48000 | #Constraints: 6733
384.30/385.30 c #Conflicts: 49000 | #Constraints: 7733
384.30/385.30 c #Conflicts: 50000 | #Constraints: 8733
384.30/385.30 c #Conflicts: 51000 | #Constraints: 9733
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 52000 | #Constraints: 6131
384.30/385.30 c #Conflicts: 53000 | #Constraints: 7131
384.30/385.30 c #Conflicts: 54000 | #Constraints: 8131
384.30/385.30 c #Conflicts: 55000 | #Constraints: 9131
384.30/385.30 c #Conflicts: 56000 | #Constraints: 10131
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 57000 | #Constraints: 6333
384.30/385.30 c #Conflicts: 58000 | #Constraints: 7333
384.30/385.30 c #Conflicts: 59000 | #Constraints: 8333
384.30/385.30 c #Conflicts: 60000 | #Constraints: 9333
384.30/385.30 c #Conflicts: 61000 | #Constraints: 10333
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 62000 | #Constraints: 6336
384.30/385.30 c #Conflicts: 63000 | #Constraints: 7336
384.30/385.30 c #Conflicts: 64000 | #Constraints: 8336
384.30/385.30 c #Conflicts: 65000 | #Constraints: 9336
384.30/385.30 c #Conflicts: 66000 | #Constraints: 10336
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 67000 | #Constraints: 6134
384.30/385.30 c #Conflicts: 68000 | #Constraints: 7134
384.30/385.30 c #Conflicts: 69000 | #Constraints: 8134
384.30/385.30 c #Conflicts: 70000 | #Constraints: 9134
384.30/385.30 c #Conflicts: 71000 | #Constraints: 10134
384.30/385.30 c #Conflicts: 72000 | #Constraints: 11134
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 73000 | #Constraints: 6735
384.30/385.30 c #Conflicts: 74000 | #Constraints: 7735
384.30/385.30 c #Conflicts: 75000 | #Constraints: 8735
384.30/385.30 c #Conflicts: 76000 | #Constraints: 9735
384.30/385.30 c #Conflicts: 77000 | #Constraints: 10735
384.30/385.30 c #Conflicts: 78000 | #Constraints: 11735
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 79000 | #Constraints: 7138
384.30/385.30 c #Conflicts: 80000 | #Constraints: 8138
384.30/385.30 c #Conflicts: 81000 | #Constraints: 9138
384.30/385.30 c #Conflicts: 82000 | #Constraints: 10138
384.30/385.30 c #Conflicts: 83000 | #Constraints: 11138
384.30/385.30 c #Conflicts: 84000 | #Constraints: 12138
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 85000 | #Constraints: 7337
384.30/385.30 c #Conflicts: 86000 | #Constraints: 8337
384.30/385.30 c #Conflicts: 87000 | #Constraints: 9337
384.30/385.30 c #Conflicts: 88000 | #Constraints: 10337
384.30/385.30 c #Conflicts: 89000 | #Constraints: 11337
384.30/385.30 c #Conflicts: 90000 | #Constraints: 12337
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 91000 | #Constraints: 7336
384.30/385.30 c #Conflicts: 92000 | #Constraints: 8336
384.30/385.30 c #Conflicts: 93000 | #Constraints: 9336
384.30/385.30 c #Conflicts: 94000 | #Constraints: 10336
384.30/385.30 c #Conflicts: 95000 | #Constraints: 11336
384.30/385.30 c #Conflicts: 96000 | #Constraints: 12336
384.30/385.30 c INPROCESSING
384.30/385.30 c GARBAGE COLLECT
384.30/385.30 c #Conflicts: 97000 | #Constraints: 7139
384.30/385.30 c #Conflicts: 98000 | #Constraints: 8139
384.30/385.30 c #Conflicts: 99000 | #Constraints: 9139
384.30/385.30 c #Conflicts: 100000 | #Constraints: 10139
384.30/385.30 c #Conflicts: 101000 | #Constraints: 11139
384.30/385.30 c #Conflicts: 102000 | #Constraints: 12139
384.30/385.30 c #Conflicts: 103000 | #Constraints: 13139
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 104000 | #Constraints: 7737
486.64/487.94 c #Conflicts: 105000 | #Constraints: 8737
486.64/487.94 c #Conflicts: 106000 | #Constraints: 9737
486.64/487.94 c #Conflicts: 107000 | #Constraints: 10737
486.64/487.94 c #Conflicts: 108000 | #Constraints: 11737
486.64/487.94 c #Conflicts: 109000 | #Constraints: 12737
486.64/487.94 c #Conflicts: 110000 | #Constraints: 13737
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 111000 | #Constraints: 8147
486.64/487.94 c #Conflicts: 112000 | #Constraints: 9147
486.64/487.94 c #Conflicts: 113000 | #Constraints: 10147
486.64/487.94 c #Conflicts: 114000 | #Constraints: 11147
486.64/487.94 c #Conflicts: 115000 | #Constraints: 12147
486.64/487.94 c #Conflicts: 116000 | #Constraints: 13147
486.64/487.94 c #Conflicts: 117000 | #Constraints: 14147
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 118000 | #Constraints: 8343
486.64/487.94 c #Conflicts: 119000 | #Constraints: 9343
486.64/487.94 c #Conflicts: 120000 | #Constraints: 10343
486.64/487.94 c #Conflicts: 121000 | #Constraints: 11343
486.64/487.94 c #Conflicts: 122000 | #Constraints: 12343
486.64/487.94 c #Conflicts: 123000 | #Constraints: 13343
486.64/487.94 c #Conflicts: 124000 | #Constraints: 14343
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 125000 | #Constraints: 8342
486.64/487.94 c #Conflicts: 126000 | #Constraints: 9342
486.64/487.94 c #Conflicts: 127000 | #Constraints: 10342
486.64/487.94 c #Conflicts: 128000 | #Constraints: 11342
486.64/487.94 c #Conflicts: 129000 | #Constraints: 12342
486.64/487.94 c #Conflicts: 130000 | #Constraints: 13342
486.64/487.94 c #Conflicts: 131000 | #Constraints: 14342
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 132000 | #Constraints: 8138
486.64/487.94 c #Conflicts: 133000 | #Constraints: 9138
486.64/487.94 c #Conflicts: 134000 | #Constraints: 10138
486.64/487.94 c #Conflicts: 135000 | #Constraints: 11138
486.64/487.94 c #Conflicts: 136000 | #Constraints: 12138
486.64/487.94 c #Conflicts: 137000 | #Constraints: 13138
486.64/487.94 c #Conflicts: 138000 | #Constraints: 14138
486.64/487.94 c #Conflicts: 139000 | #Constraints: 15138
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 140000 | #Constraints: 8739
486.64/487.94 c #Conflicts: 141000 | #Constraints: 9739
486.64/487.94 c #Conflicts: 142000 | #Constraints: 10739
486.64/487.94 c #Conflicts: 143000 | #Constraints: 11739
486.64/487.94 c #Conflicts: 144000 | #Constraints: 12739
486.64/487.94 c #Conflicts: 145000 | #Constraints: 13739
486.64/487.94 c #Conflicts: 146000 | #Constraints: 14739
486.64/487.94 c #Conflicts: 147000 | #Constraints: 15739
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 148000 | #Constraints: 9148
486.64/487.94 c #Conflicts: 149000 | #Constraints: 10148
486.64/487.94 c #Conflicts: 150000 | #Constraints: 11148
486.64/487.94 c #Conflicts: 151000 | #Constraints: 12148
486.64/487.94 c #Conflicts: 152000 | #Constraints: 13148
486.64/487.94 c #Conflicts: 153000 | #Constraints: 14148
486.64/487.94 c #Conflicts: 154000 | #Constraints: 15148
486.64/487.94 c #Conflicts: 155000 | #Constraints: 16148
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 156000 | #Constraints: 9344
486.64/487.94 c #Conflicts: 157000 | #Constraints: 10344
486.64/487.94 c #Conflicts: 158000 | #Constraints: 11344
486.64/487.94 c #Conflicts: 159000 | #Constraints: 12344
486.64/487.94 c #Conflicts: 160000 | #Constraints: 13344
486.64/487.94 c #Conflicts: 161000 | #Constraints: 14344
486.64/487.94 c #Conflicts: 162000 | #Constraints: 15344
486.64/487.94 c #Conflicts: 163000 | #Constraints: 16344
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 164000 | #Constraints: 9335
486.64/487.94 c #Conflicts: 165000 | #Constraints: 10335
486.64/487.94 c #Conflicts: 166000 | #Constraints: 11335
486.64/487.94 c #Conflicts: 167000 | #Constraints: 12335
486.64/487.94 c #Conflicts: 168000 | #Constraints: 13335
486.64/487.94 c #Conflicts: 169000 | #Constraints: 14335
486.64/487.94 c #Conflicts: 170000 | #Constraints: 15335
486.64/487.94 c #Conflicts: 171000 | #Constraints: 16335
486.64/487.94 c INPROCESSING
486.64/487.94 c GARBAGE COLLECT
486.64/487.94 c #Conflicts: 172000 | #Constraints: 9130
486.64/487.94 c #Conflicts: 173000 | #Constraints: 10130
486.64/487.94 c #Conflicts: 174000 | #Constraints: 11130
486.64/487.94 c #Conflicts: 175000 | #Constraints: 12130
486.64/487.94 c #Conflicts: 176000 | #Constraints: 13130
639.27/640.93 c #Conflicts: 177000 | #Constraints: 14130
639.27/640.93 c #Conflicts: 178000 | #Constraints: 15130
639.27/640.93 c #Conflicts: 179000 | #Constraints: 16130
639.27/640.93 c #Conflicts: 180000 | #Constraints: 17130
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 181000 | #Constraints: 9729
639.27/640.93 c #Conflicts: 182000 | #Constraints: 10729
639.27/640.93 c #Conflicts: 183000 | #Constraints: 11729
639.27/640.93 c #Conflicts: 184000 | #Constraints: 12729
639.27/640.93 c #Conflicts: 185000 | #Constraints: 13729
639.27/640.93 c #Conflicts: 186000 | #Constraints: 14729
639.27/640.93 c #Conflicts: 187000 | #Constraints: 15729
639.27/640.93 c #Conflicts: 188000 | #Constraints: 16729
639.27/640.93 c #Conflicts: 189000 | #Constraints: 17729
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 190000 | #Constraints: 10138
639.27/640.93 c #Conflicts: 191000 | #Constraints: 11138
639.27/640.93 c #Conflicts: 192000 | #Constraints: 12138
639.27/640.93 c #Conflicts: 193000 | #Constraints: 13138
639.27/640.93 c #Conflicts: 194000 | #Constraints: 14138
639.27/640.93 c #Conflicts: 195000 | #Constraints: 15138
639.27/640.93 c #Conflicts: 196000 | #Constraints: 16138
639.27/640.93 c #Conflicts: 197000 | #Constraints: 17138
639.27/640.93 c #Conflicts: 198000 | #Constraints: 18138
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 199000 | #Constraints: 10338
639.27/640.93 c #Conflicts: 200000 | #Constraints: 11338
639.27/640.93 c #Conflicts: 201000 | #Constraints: 12338
639.27/640.93 c #Conflicts: 202000 | #Constraints: 13338
639.27/640.93 c #Conflicts: 203000 | #Constraints: 14338
639.27/640.93 c #Conflicts: 204000 | #Constraints: 15338
639.27/640.93 c #Conflicts: 205000 | #Constraints: 16338
639.27/640.93 c #Conflicts: 206000 | #Constraints: 17338
639.27/640.93 c #Conflicts: 207000 | #Constraints: 18338
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 208000 | #Constraints: 10341
639.27/640.93 c #Conflicts: 209000 | #Constraints: 11341
639.27/640.93 c #Conflicts: 210000 | #Constraints: 12341
639.27/640.93 c #Conflicts: 211000 | #Constraints: 13341
639.27/640.93 c #Conflicts: 212000 | #Constraints: 14341
639.27/640.93 c #Conflicts: 213000 | #Constraints: 15341
639.27/640.93 c #Conflicts: 214000 | #Constraints: 16341
639.27/640.93 c #Conflicts: 215000 | #Constraints: 17341
639.27/640.93 c #Conflicts: 216000 | #Constraints: 18341
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 217000 | #Constraints: 10142
639.27/640.93 c #Conflicts: 218000 | #Constraints: 11142
639.27/640.93 c #Conflicts: 219000 | #Constraints: 12142
639.27/640.93 c #Conflicts: 220000 | #Constraints: 13142
639.27/640.93 c #Conflicts: 221000 | #Constraints: 14142
639.27/640.93 c #Conflicts: 222000 | #Constraints: 15142
639.27/640.93 c #Conflicts: 223000 | #Constraints: 16142
639.27/640.93 c #Conflicts: 224000 | #Constraints: 17142
639.27/640.93 c #Conflicts: 225000 | #Constraints: 18142
639.27/640.93 c #Conflicts: 226000 | #Constraints: 19142
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 227000 | #Constraints: 10742
639.27/640.93 c #Conflicts: 228000 | #Constraints: 11742
639.27/640.93 c #Conflicts: 229000 | #Constraints: 12742
639.27/640.93 c #Conflicts: 230000 | #Constraints: 13742
639.27/640.93 c #Conflicts: 231000 | #Constraints: 14742
639.27/640.93 c #Conflicts: 232000 | #Constraints: 15742
639.27/640.93 c #Conflicts: 233000 | #Constraints: 16742
639.27/640.93 c #Conflicts: 234000 | #Constraints: 17742
639.27/640.93 c #Conflicts: 235000 | #Constraints: 18742
639.27/640.93 c #Conflicts: 236000 | #Constraints: 19742
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 237000 | #Constraints: 11141
639.27/640.93 c #Conflicts: 238000 | #Constraints: 12141
639.27/640.93 c #Conflicts: 239000 | #Constraints: 13141
639.27/640.93 c #Conflicts: 240000 | #Constraints: 14141
639.27/640.93 c #Conflicts: 241000 | #Constraints: 15141
639.27/640.93 c #Conflicts: 242000 | #Constraints: 16141
639.27/640.93 c #Conflicts: 243000 | #Constraints: 17141
639.27/640.93 c #Conflicts: 244000 | #Constraints: 18141
639.27/640.93 c #Conflicts: 245000 | #Constraints: 19141
639.27/640.93 c #Conflicts: 246000 | #Constraints: 20141
639.27/640.93 c INPROCESSING
639.27/640.93 c GARBAGE COLLECT
639.27/640.93 c #Conflicts: 247000 | #Constraints: 11340
639.27/640.93 c #Conflicts: 248000 | #Constraints: 12340
639.27/640.93 c #Conflicts: 249000 | #Constraints: 13340
639.27/640.93 c #Conflicts: 250000 | #Constraints: 14340
802.98/805.08 c #Conflicts: 251000 | #Constraints: 15340
802.98/805.08 c #Conflicts: 252000 | #Constraints: 16340
802.98/805.08 c #Conflicts: 253000 | #Constraints: 17340
802.98/805.08 c #Conflicts: 254000 | #Constraints: 18340
802.98/805.08 c #Conflicts: 255000 | #Constraints: 19340
802.98/805.08 c #Conflicts: 256000 | #Constraints: 20340
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 257000 | #Constraints: 11339
802.98/805.08 c #Conflicts: 258000 | #Constraints: 12339
802.98/805.08 c #Conflicts: 259000 | #Constraints: 13339
802.98/805.08 c #Conflicts: 260000 | #Constraints: 14339
802.98/805.08 c #Conflicts: 261000 | #Constraints: 15339
802.98/805.08 c #Conflicts: 262000 | #Constraints: 16339
802.98/805.08 c #Conflicts: 263000 | #Constraints: 17339
802.98/805.08 c #Conflicts: 264000 | #Constraints: 18339
802.98/805.08 c #Conflicts: 265000 | #Constraints: 19339
802.98/805.08 c #Conflicts: 266000 | #Constraints: 20339
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 267000 | #Constraints: 11141
802.98/805.08 c #Conflicts: 268000 | #Constraints: 12141
802.98/805.08 c #Conflicts: 269000 | #Constraints: 13141
802.98/805.08 c #Conflicts: 270000 | #Constraints: 14141
802.98/805.08 c #Conflicts: 271000 | #Constraints: 15141
802.98/805.08 c #Conflicts: 272000 | #Constraints: 16141
802.98/805.08 c #Conflicts: 273000 | #Constraints: 17141
802.98/805.08 c #Conflicts: 274000 | #Constraints: 18141
802.98/805.08 c #Conflicts: 275000 | #Constraints: 19141
802.98/805.08 c #Conflicts: 276000 | #Constraints: 20141
802.98/805.08 c #Conflicts: 277000 | #Constraints: 21141
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 278000 | #Constraints: 11742
802.98/805.08 c #Conflicts: 279000 | #Constraints: 12742
802.98/805.08 c #Conflicts: 280000 | #Constraints: 13742
802.98/805.08 c #Conflicts: 281000 | #Constraints: 14742
802.98/805.08 c #Conflicts: 282000 | #Constraints: 15742
802.98/805.08 c #Conflicts: 283000 | #Constraints: 16742
802.98/805.08 c #Conflicts: 284000 | #Constraints: 17742
802.98/805.08 c #Conflicts: 285000 | #Constraints: 18742
802.98/805.08 c #Conflicts: 286000 | #Constraints: 19742
802.98/805.08 c #Conflicts: 287000 | #Constraints: 20742
802.98/805.08 c #Conflicts: 288000 | #Constraints: 21742
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 289000 | #Constraints: 12140
802.98/805.08 c #Conflicts: 290000 | #Constraints: 13140
802.98/805.08 c #Conflicts: 291000 | #Constraints: 14140
802.98/805.08 c #Conflicts: 292000 | #Constraints: 15140
802.98/805.08 c #Conflicts: 293000 | #Constraints: 16140
802.98/805.08 c #Conflicts: 294000 | #Constraints: 17140
802.98/805.08 c #Conflicts: 295000 | #Constraints: 18140
802.98/805.08 c #Conflicts: 296000 | #Constraints: 19140
802.98/805.08 c #Conflicts: 297000 | #Constraints: 20140
802.98/805.08 c #Conflicts: 298000 | #Constraints: 21140
802.98/805.08 c #Conflicts: 299000 | #Constraints: 22140
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 300000 | #Constraints: 12335
802.98/805.08 c #Conflicts: 301000 | #Constraints: 13335
802.98/805.08 c #Conflicts: 302000 | #Constraints: 14335
802.98/805.08 c #Conflicts: 303000 | #Constraints: 15335
802.98/805.08 c #Conflicts: 304000 | #Constraints: 16335
802.98/805.08 c #Conflicts: 305000 | #Constraints: 17335
802.98/805.08 c #Conflicts: 306000 | #Constraints: 18335
802.98/805.08 c #Conflicts: 307000 | #Constraints: 19335
802.98/805.08 c #Conflicts: 308000 | #Constraints: 20335
802.98/805.08 c #Conflicts: 309000 | #Constraints: 21335
802.98/805.08 c #Conflicts: 310000 | #Constraints: 22335
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 311000 | #Constraints: 12337
802.98/805.08 c #Conflicts: 312000 | #Constraints: 13337
802.98/805.08 c #Conflicts: 313000 | #Constraints: 14337
802.98/805.08 c #Conflicts: 314000 | #Constraints: 15337
802.98/805.08 c #Conflicts: 315000 | #Constraints: 16337
802.98/805.08 c #Conflicts: 316000 | #Constraints: 17337
802.98/805.08 c #Conflicts: 317000 | #Constraints: 18337
802.98/805.08 c #Conflicts: 318000 | #Constraints: 19337
802.98/805.08 c #Conflicts: 319000 | #Constraints: 20337
802.98/805.08 c #Conflicts: 320000 | #Constraints: 21337
802.98/805.08 c #Conflicts: 321000 | #Constraints: 22337
802.98/805.08 c INPROCESSING
802.98/805.08 c GARBAGE COLLECT
802.98/805.08 c #Conflicts: 322000 | #Constraints: 12141
802.98/805.08 c #Conflicts: 323000 | #Constraints: 13141
802.98/805.08 c #Conflicts: 324000 | #Constraints: 14141
1000.90/1003.40 c #Conflicts: 325000 | #Constraints: 15141
1000.90/1003.40 c #Conflicts: 326000 | #Constraints: 16141
1000.90/1003.40 c #Conflicts: 327000 | #Constraints: 17141
1000.90/1003.40 c #Conflicts: 328000 | #Constraints: 18141
1000.90/1003.40 c #Conflicts: 329000 | #Constraints: 19141
1000.90/1003.40 c #Conflicts: 330000 | #Constraints: 20141
1000.90/1003.40 c #Conflicts: 331000 | #Constraints: 21141
1000.90/1003.40 c #Conflicts: 332000 | #Constraints: 22141
1000.90/1003.40 c #Conflicts: 333000 | #Constraints: 23141
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 334000 | #Constraints: 12737
1000.90/1003.40 c #Conflicts: 335000 | #Constraints: 13737
1000.90/1003.40 c #Conflicts: 336000 | #Constraints: 14737
1000.90/1003.40 c #Conflicts: 337000 | #Constraints: 15737
1000.90/1003.40 c #Conflicts: 338000 | #Constraints: 16737
1000.90/1003.40 c #Conflicts: 339000 | #Constraints: 17737
1000.90/1003.40 c #Conflicts: 340000 | #Constraints: 18737
1000.90/1003.40 c #Conflicts: 341000 | #Constraints: 19737
1000.90/1003.40 c #Conflicts: 342000 | #Constraints: 20737
1000.90/1003.40 c #Conflicts: 343000 | #Constraints: 21737
1000.90/1003.40 c #Conflicts: 344000 | #Constraints: 22737
1000.90/1003.40 c #Conflicts: 345000 | #Constraints: 23737
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 346000 | #Constraints: 13142
1000.90/1003.40 c #Conflicts: 347000 | #Constraints: 14142
1000.90/1003.40 c #Conflicts: 348000 | #Constraints: 15142
1000.90/1003.40 c #Conflicts: 349000 | #Constraints: 16142
1000.90/1003.40 c #Conflicts: 350000 | #Constraints: 17142
1000.90/1003.40 c #Conflicts: 351000 | #Constraints: 18142
1000.90/1003.40 c #Conflicts: 352000 | #Constraints: 19142
1000.90/1003.40 c #Conflicts: 353000 | #Constraints: 20142
1000.90/1003.40 c #Conflicts: 354000 | #Constraints: 21142
1000.90/1003.40 c #Conflicts: 355000 | #Constraints: 22142
1000.90/1003.40 c #Conflicts: 356000 | #Constraints: 23142
1000.90/1003.40 c #Conflicts: 357000 | #Constraints: 24142
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 358000 | #Constraints: 13342
1000.90/1003.40 c #Conflicts: 359000 | #Constraints: 14342
1000.90/1003.40 c #Conflicts: 360000 | #Constraints: 15342
1000.90/1003.40 c #Conflicts: 361000 | #Constraints: 16342
1000.90/1003.40 c #Conflicts: 362000 | #Constraints: 17342
1000.90/1003.40 c #Conflicts: 363000 | #Constraints: 18342
1000.90/1003.40 c #Conflicts: 364000 | #Constraints: 19342
1000.90/1003.40 c #Conflicts: 365000 | #Constraints: 20342
1000.90/1003.40 c #Conflicts: 366000 | #Constraints: 21342
1000.90/1003.40 c #Conflicts: 367000 | #Constraints: 22342
1000.90/1003.40 c #Conflicts: 368000 | #Constraints: 23342
1000.90/1003.40 c #Conflicts: 369000 | #Constraints: 24342
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 370000 | #Constraints: 13339
1000.90/1003.40 c #Conflicts: 371000 | #Constraints: 14339
1000.90/1003.40 c #Conflicts: 372000 | #Constraints: 15339
1000.90/1003.40 c #Conflicts: 373000 | #Constraints: 16339
1000.90/1003.40 c #Conflicts: 374000 | #Constraints: 17339
1000.90/1003.40 c #Conflicts: 375000 | #Constraints: 18339
1000.90/1003.40 c #Conflicts: 376000 | #Constraints: 19339
1000.90/1003.40 c #Conflicts: 377000 | #Constraints: 20339
1000.90/1003.40 c #Conflicts: 378000 | #Constraints: 21339
1000.90/1003.40 c #Conflicts: 379000 | #Constraints: 22339
1000.90/1003.40 c #Conflicts: 380000 | #Constraints: 23339
1000.90/1003.40 c #Conflicts: 381000 | #Constraints: 24339
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 382000 | #Constraints: 13142
1000.90/1003.40 c #Conflicts: 383000 | #Constraints: 14142
1000.90/1003.40 c #Conflicts: 384000 | #Constraints: 15142
1000.90/1003.40 c #Conflicts: 385000 | #Constraints: 16142
1000.90/1003.40 c #Conflicts: 386000 | #Constraints: 17142
1000.90/1003.40 c #Conflicts: 387000 | #Constraints: 18142
1000.90/1003.40 c #Conflicts: 388000 | #Constraints: 19142
1000.90/1003.40 c #Conflicts: 389000 | #Constraints: 20142
1000.90/1003.40 c #Conflicts: 390000 | #Constraints: 21142
1000.90/1003.40 c #Conflicts: 391000 | #Constraints: 22142
1000.90/1003.40 c #Conflicts: 392000 | #Constraints: 23142
1000.90/1003.40 c #Conflicts: 393000 | #Constraints: 24142
1000.90/1003.40 c #Conflicts: 394000 | #Constraints: 25142
1000.90/1003.40 c INPROCESSING
1000.90/1003.40 c GARBAGE COLLECT
1000.90/1003.40 c #Conflicts: 395000 | #Constraints: 13738
1000.90/1003.40 c #Conflicts: 396000 | #Constraints: 14738
1000.90/1003.40 c #Conflicts: 397000 | #Constraints: 15738
1000.90/1003.40 c #Conflicts: 398000 | #Constraints: 16738
1000.90/1003.40 c #Conflicts: 399000 | #Constraints: 17738
1368.38/1371.89 c #Conflicts: 400000 | #Constraints: 18738
1368.38/1371.89 c #Conflicts: 401000 | #Constraints: 19738
1368.38/1371.89 c #Conflicts: 402000 | #Constraints: 20738
1368.38/1371.89 c #Conflicts: 403000 | #Constraints: 21738
1368.38/1371.89 c #Conflicts: 404000 | #Constraints: 22738
1368.38/1371.89 c #Conflicts: 405000 | #Constraints: 23738
1368.38/1371.89 c #Conflicts: 406000 | #Constraints: 24738
1368.38/1371.89 c #Conflicts: 407000 | #Constraints: 25738
1368.38/1371.89 c INPROCESSING
1368.38/1371.89 c GARBAGE COLLECT
1368.38/1371.89 c #Conflicts: 408000 | #Constraints: 14136
1368.38/1371.89 c #Conflicts: 409000 | #Constraints: 15136
1368.38/1371.89 c #Conflicts: 410000 | #Constraints: 16136
1368.38/1371.89 c #Conflicts: 411000 | #Constraints: 17136
1368.38/1371.89 c #Conflicts: 412000 | #Constraints: 18136
1368.38/1371.89 c #Conflicts: 413000 | #Constraints: 19136
1368.38/1371.89 c #Conflicts: 414000 | #Constraints: 20136
1368.38/1371.89 c #Conflicts: 415000 | #Constraints: 21136
1368.38/1371.89 c #Conflicts: 416000 | #Constraints: 22136
1368.38/1371.89 c #Conflicts: 417000 | #Constraints: 23136
1368.38/1371.89 c #Conflicts: 418000 | #Constraints: 24136
1368.38/1371.89 c #Conflicts: 419000 | #Constraints: 25136
1368.38/1371.89 c #Conflicts: 420000 | #Constraints: 26136
1368.38/1371.89 c INPROCESSING
1368.38/1371.89 c GARBAGE COLLECT
1368.38/1371.89 c #Conflicts: 421000 | #Constraints: 14338
1368.38/1371.89 c #Conflicts: 422000 | #Constraints: 15338
1368.38/1371.89 c #Conflicts: 423000 | #Constraints: 16338
1368.38/1371.89 c #Conflicts: 424000 | #Constraints: 17338
1368.38/1371.89 c #Conflicts: 425000 | #Constraints: 18338
1368.38/1371.89 c #Conflicts: 426000 | #Constraints: 19338
1368.38/1371.89 c #Conflicts: 427000 | #Constraints: 20338
1368.38/1371.89 c #Conflicts: 428000 | #Constraints: 21338
1368.38/1371.89 c #Conflicts: 429000 | #Constraints: 22338
1368.38/1371.89 c #Conflicts: 430000 | #Constraints: 23338
1368.38/1371.89 c #Conflicts: 431000 | #Constraints: 24338
1368.38/1371.89 c #Conflicts: 432000 | #Constraints: 25338
1368.38/1371.89 c #Conflicts: 433000 | #Constraints: 26338
1368.38/1371.89 c INPROCESSING
1368.38/1371.89 c GARBAGE COLLECT
1368.38/1371.89 c #Conflicts: 434000 | #Constraints: 14345
1368.38/1371.89 c #Conflicts: 435000 | #Constraints: 15345
1368.38/1371.89 c #Conflicts: 436000 | #Constraints: 16345
1368.38/1371.89 c #Conflicts: 437000 | #Constraints: 17345
1368.38/1371.89 c #Conflicts: 438000 | #Constraints: 18345
1368.38/1371.89 c #Conflicts: 439000 | #Constraints: 19345
1368.38/1371.89 c #Conflicts: 440000 | #Constraints: 20345
1368.38/1371.89 c #Conflicts: 441000 | #Constraints: 21345
1368.38/1371.89 c #Conflicts: 442000 | #Constraints: 22345
1368.38/1371.89 c #Conflicts: 443000 | #Constraints: 23345
1368.38/1371.89 c #Conflicts: 444000 | #Constraints: 24345
1368.38/1371.89 c #Conflicts: 445000 | #Constraints: 25345
1368.38/1371.89 c #Conflicts: 446000 | #Constraints: 26345
1368.38/1371.89 c INPROCESSING
1368.38/1371.89 c GARBAGE COLLECT
1368.38/1371.89 c #Conflicts: 447000 | #Constraints: 14144
1368.38/1371.89 c #Conflicts: 448000 | #Constraints: 15144
1368.38/1371.89 c #Conflicts: 449000 | #Constraints: 16144
1368.38/1371.89 c #Conflicts: 450000 | #Constraints: 17144
1368.38/1371.89 c #Conflicts: 451000 | #Constraints: 18144
1368.38/1371.89 c #Conflicts: 452000 | #Constraints: 19144
1368.38/1371.89 c #Conflicts: 453000 | #Constraints: 20144
1368.38/1371.89 c #Conflicts: 454000 | #Constraints: 21144
1368.38/1371.89 c #Conflicts: 455000 | #Constraints: 22144
1368.38/1371.89 c #Conflicts: 456000 | #Constraints: 23144
1368.38/1371.89 c #Conflicts: 457000 | #Constraints: 24144
1368.38/1371.89 c #Conflicts: 458000 | #Constraints: 25144
1368.38/1371.89 c #Conflicts: 459000 | #Constraints: 26144
1368.38/1371.89 c #Conflicts: 460000 | #Constraints: 27144
1368.38/1371.89 c INPROCESSING
1368.38/1371.89 c GARBAGE COLLECT
1368.38/1371.89 c #Conflicts: 461000 | #Constraints: 14746
1368.38/1371.89 c #Conflicts: 462000 | #Constraints: 15746
1368.38/1371.89 c #Conflicts: 463000 | #Constraints: 16746
1368.38/1371.89 c #Conflicts: 464000 | #Constraints: 17746
1368.38/1371.89 c #Conflicts: 465000 | #Constraints: 18746
1368.38/1371.89 c #Conflicts: 466000 | #Constraints: 19746
1368.38/1371.89 c #Conflicts: 467000 | #Constraints: 20746
1368.38/1371.89 c #Conflicts: 468000 | #Constraints: 21746
1368.38/1371.89 c #Conflicts: 469000 | #Constraints: 22746
1368.38/1371.89 c #Conflicts: 470000 | #Constraints: 23746
1368.38/1371.89 c #Conflicts: 471000 | #Constraints: 24746
1368.38/1371.89 c #Conflicts: 472000 | #Constraints: 25746
1368.38/1371.89 c #Conflicts: 473000 | #Constraints: 26746
1368.38/1371.89 c #Conflicts: 474000 | #Constraints: 27746
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 475000 | #Constraints: 15143
1761.99/1766.43 c #Conflicts: 476000 | #Constraints: 16143
1761.99/1766.43 c #Conflicts: 477000 | #Constraints: 17143
1761.99/1766.43 c #Conflicts: 478000 | #Constraints: 18143
1761.99/1766.43 c #Conflicts: 479000 | #Constraints: 19143
1761.99/1766.43 c #Conflicts: 480000 | #Constraints: 20143
1761.99/1766.43 c #Conflicts: 481000 | #Constraints: 21143
1761.99/1766.43 c #Conflicts: 482000 | #Constraints: 22143
1761.99/1766.43 c #Conflicts: 483000 | #Constraints: 23143
1761.99/1766.43 c #Conflicts: 484000 | #Constraints: 24143
1761.99/1766.43 c #Conflicts: 485000 | #Constraints: 25143
1761.99/1766.43 c #Conflicts: 486000 | #Constraints: 26143
1761.99/1766.43 c #Conflicts: 487000 | #Constraints: 27143
1761.99/1766.43 c #Conflicts: 488000 | #Constraints: 28143
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 489000 | #Constraints: 15344
1761.99/1766.43 c #Conflicts: 490000 | #Constraints: 16344
1761.99/1766.43 c #Conflicts: 491000 | #Constraints: 17344
1761.99/1766.43 c #Conflicts: 492000 | #Constraints: 18344
1761.99/1766.43 c #Conflicts: 493000 | #Constraints: 19344
1761.99/1766.43 c #Conflicts: 494000 | #Constraints: 20344
1761.99/1766.43 c #Conflicts: 495000 | #Constraints: 21344
1761.99/1766.43 c #Conflicts: 496000 | #Constraints: 22344
1761.99/1766.43 c #Conflicts: 497000 | #Constraints: 23344
1761.99/1766.43 c #Conflicts: 498000 | #Constraints: 24344
1761.99/1766.43 c #Conflicts: 499000 | #Constraints: 25344
1761.99/1766.43 c #Conflicts: 500000 | #Constraints: 26344
1761.99/1766.43 c #Conflicts: 501000 | #Constraints: 27344
1761.99/1766.43 c #Conflicts: 502000 | #Constraints: 28344
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 503000 | #Constraints: 15346
1761.99/1766.43 c #Conflicts: 504000 | #Constraints: 16346
1761.99/1766.43 c #Conflicts: 505000 | #Constraints: 17346
1761.99/1766.43 c #Conflicts: 506000 | #Constraints: 18346
1761.99/1766.43 c #Conflicts: 507000 | #Constraints: 19346
1761.99/1766.43 c #Conflicts: 508000 | #Constraints: 20346
1761.99/1766.43 c #Conflicts: 509000 | #Constraints: 21346
1761.99/1766.43 c #Conflicts: 510000 | #Constraints: 22346
1761.99/1766.43 c #Conflicts: 511000 | #Constraints: 23346
1761.99/1766.43 c #Conflicts: 512000 | #Constraints: 24346
1761.99/1766.43 c #Conflicts: 513000 | #Constraints: 25346
1761.99/1766.43 c #Conflicts: 514000 | #Constraints: 26346
1761.99/1766.43 c #Conflicts: 515000 | #Constraints: 27346
1761.99/1766.43 c #Conflicts: 516000 | #Constraints: 28346
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 517000 | #Constraints: 15139
1761.99/1766.43 c #Conflicts: 518000 | #Constraints: 16139
1761.99/1766.43 c #Conflicts: 519000 | #Constraints: 17139
1761.99/1766.43 c #Conflicts: 520000 | #Constraints: 18139
1761.99/1766.43 c #Conflicts: 521000 | #Constraints: 19139
1761.99/1766.43 c #Conflicts: 522000 | #Constraints: 20139
1761.99/1766.43 c #Conflicts: 523000 | #Constraints: 21139
1761.99/1766.43 c #Conflicts: 524000 | #Constraints: 22139
1761.99/1766.43 c #Conflicts: 525000 | #Constraints: 23139
1761.99/1766.43 c #Conflicts: 526000 | #Constraints: 24139
1761.99/1766.43 c #Conflicts: 527000 | #Constraints: 25139
1761.99/1766.43 c #Conflicts: 528000 | #Constraints: 26139
1761.99/1766.43 c #Conflicts: 529000 | #Constraints: 27139
1761.99/1766.43 c #Conflicts: 530000 | #Constraints: 28139
1761.99/1766.43 c #Conflicts: 531000 | #Constraints: 29139
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 532000 | #Constraints: 15743
1761.99/1766.43 c #Conflicts: 533000 | #Constraints: 16743
1761.99/1766.43 c #Conflicts: 534000 | #Constraints: 17743
1761.99/1766.43 c #Conflicts: 535000 | #Constraints: 18743
1761.99/1766.43 c #Conflicts: 536000 | #Constraints: 19743
1761.99/1766.43 c #Conflicts: 537000 | #Constraints: 20743
1761.99/1766.43 c #Conflicts: 538000 | #Constraints: 21743
1761.99/1766.43 c #Conflicts: 539000 | #Constraints: 22743
1761.99/1766.43 c #Conflicts: 540000 | #Constraints: 23743
1761.99/1766.43 c #Conflicts: 541000 | #Constraints: 24743
1761.99/1766.43 c #Conflicts: 542000 | #Constraints: 25743
1761.99/1766.43 c #Conflicts: 543000 | #Constraints: 26743
1761.99/1766.43 c #Conflicts: 544000 | #Constraints: 27743
1761.99/1766.43 c #Conflicts: 545000 | #Constraints: 28743
1761.99/1766.43 c #Conflicts: 546000 | #Constraints: 29743
1761.99/1766.43 c INPROCESSING
1761.99/1766.43 c GARBAGE COLLECT
1761.99/1766.43 c #Conflicts: 547000 | #Constraints: 16143
1761.99/1766.43 c #Conflicts: 548000 | #Constraints: 17143
1761.99/1766.43 c #Conflicts: 549000 | #Constraints: 18143
2008.66/2013.79 c #Conflicts: 550000 | #Constraints: 19143
2008.66/2013.79 c #Conflicts: 551000 | #Constraints: 20143
2008.66/2013.79 c #Conflicts: 552000 | #Constraints: 21143
2008.66/2013.79 c #Conflicts: 553000 | #Constraints: 22143
2008.66/2013.79 c #Conflicts: 554000 | #Constraints: 23143
2008.66/2013.79 c #Conflicts: 555000 | #Constraints: 24143
2008.66/2013.79 c #Conflicts: 556000 | #Constraints: 25143
2008.66/2013.79 c #Conflicts: 557000 | #Constraints: 26143
2008.66/2013.79 c #Conflicts: 558000 | #Constraints: 27143
2008.66/2013.79 c #Conflicts: 559000 | #Constraints: 28143
2008.66/2013.79 c #Conflicts: 560000 | #Constraints: 29143
2008.66/2013.79 c #Conflicts: 561000 | #Constraints: 30143
2008.66/2013.79 c INPROCESSING
2008.66/2013.79 c GARBAGE COLLECT
2008.66/2013.79 c #Conflicts: 562000 | #Constraints: 16345
2008.66/2013.79 c #Conflicts: 563000 | #Constraints: 17345
2008.66/2013.79 c #Conflicts: 564000 | #Constraints: 18345
2008.66/2013.79 c #Conflicts: 565000 | #Constraints: 19345
2008.66/2013.79 c #Conflicts: 566000 | #Constraints: 20345
2008.66/2013.79 c #Conflicts: 567000 | #Constraints: 21345
2008.66/2013.79 c #Conflicts: 568000 | #Constraints: 22345
2008.66/2013.79 c #Conflicts: 569000 | #Constraints: 23345
2008.66/2013.79 c #Conflicts: 570000 | #Constraints: 24345
2008.66/2013.79 c #Conflicts: 571000 | #Constraints: 25345
2008.66/2013.79 c #Conflicts: 572000 | #Constraints: 26345
2008.66/2013.79 c #Conflicts: 573000 | #Constraints: 27345
2008.66/2013.79 c #Conflicts: 574000 | #Constraints: 28345
2008.66/2013.79 c #Conflicts: 575000 | #Constraints: 29345
2008.66/2013.79 c #Conflicts: 576000 | #Constraints: 30345
2008.66/2013.79 c INPROCESSING
2008.66/2013.79 c GARBAGE COLLECT
2008.66/2013.79 c #Conflicts: 577000 | #Constraints: 16346
2008.66/2013.79 c #Conflicts: 578000 | #Constraints: 17346
2008.66/2013.79 c #Conflicts: 579000 | #Constraints: 18346
2008.66/2013.79 c #Conflicts: 580000 | #Constraints: 19346
2008.66/2013.79 c #Conflicts: 581000 | #Constraints: 20346
2008.66/2013.79 c #Conflicts: 582000 | #Constraints: 21346
2008.66/2013.79 c #Conflicts: 583000 | #Constraints: 22346
2008.66/2013.79 c #Conflicts: 584000 | #Constraints: 23346
2008.66/2013.79 c #Conflicts: 585000 | #Constraints: 24346
2008.66/2013.79 c #Conflicts: 586000 | #Constraints: 25346
2008.66/2013.79 c #Conflicts: 587000 | #Constraints: 26346
2008.66/2013.79 c #Conflicts: 588000 | #Constraints: 27346
2008.66/2013.79 c #Conflicts: 589000 | #Constraints: 28346
2008.66/2013.79 c #Conflicts: 590000 | #Constraints: 29346
2008.66/2013.79 c #Conflicts: 591000 | #Constraints: 30346
2008.66/2013.79 c INPROCESSING
2008.66/2013.79 c GARBAGE COLLECT
2008.66/2013.79 c #Conflicts: 592000 | #Constraints: 16150
2008.66/2013.79 c #Conflicts: 593000 | #Constraints: 17150
2008.66/2013.79 c #Conflicts: 594000 | #Constraints: 18150
2008.66/2013.79 c #Conflicts: 595000 | #Constraints: 19150
2008.66/2013.79 c #Conflicts: 596000 | #Constraints: 20150
2008.66/2013.79 c #Conflicts: 597000 | #Constraints: 21150
2008.66/2013.79 c #Conflicts: 598000 | #Constraints: 22150
2008.66/2013.79 c #Conflicts: 599000 | #Constraints: 23150
2008.66/2013.79 c #Conflicts: 600000 | #Constraints: 24150
2008.66/2013.79 c #Conflicts: 601000 | #Constraints: 25150
2008.66/2013.79 c #Conflicts: 602000 | #Constraints: 26150
2008.66/2013.79 c #Conflicts: 603000 | #Constraints: 27150
2008.66/2013.79 c #Conflicts: 604000 | #Constraints: 28150
2008.66/2013.79 c #Conflicts: 605000 | #Constraints: 29150
2008.66/2013.79 c #Conflicts: 606000 | #Constraints: 30150
2008.66/2013.79 c #Conflicts: 607000 | #Constraints: 31150
2008.66/2013.79 c INPROCESSING
2008.66/2013.79 c GARBAGE COLLECT
2008.66/2013.79 c #Conflicts: 608000 | #Constraints: 16747
2008.66/2013.79 c #Conflicts: 609000 | #Constraints: 17747
2008.66/2013.79 c #Conflicts: 610000 | #Constraints: 18747
2008.66/2013.79 c #Conflicts: 611000 | #Constraints: 19747
2008.66/2013.79 c #Conflicts: 612000 | #Constraints: 20747
2008.66/2013.79 c #Conflicts: 613000 | #Constraints: 21747
2008.66/2013.79 c #Conflicts: 614000 | #Constraints: 22747
2008.66/2013.79 c #Conflicts: 615000 | #Constraints: 23747
2008.66/2013.79 c #Conflicts: 616000 | #Constraints: 24747
2008.66/2013.79 c #Conflicts: 617000 | #Constraints: 25747
2008.66/2013.79 c #Conflicts: 618000 | #Constraints: 26747
2008.66/2013.79 c #Conflicts: 619000 | #Constraints: 27747
2008.66/2013.79 c #Conflicts: 620000 | #Constraints: 28747
2008.66/2013.79 c #Conflicts: 621000 | #Constraints: 29747
2008.66/2013.79 c #Conflicts: 622000 | #Constraints: 30747
2008.66/2013.79 c #Conflicts: 623000 | #Constraints: 31747
2008.66/2013.79 c INPROCESSING
2008.66/2013.79 c GARBAGE COLLECT
2008.66/2013.79 c #Conflicts: 624000 | #Constraints: 17147
2008.66/2013.79 c #Conflicts: 625000 | #Constraints: 18147
2256.55/2262.27 c #Conflicts: 626000 | #Constraints: 19147
2256.55/2262.27 c #Conflicts: 627000 | #Constraints: 20147
2256.55/2262.27 c #Conflicts: 628000 | #Constraints: 21147
2256.55/2262.27 c #Conflicts: 629000 | #Constraints: 22147
2256.55/2262.27 c #Conflicts: 630000 | #Constraints: 23147
2256.55/2262.27 c #Conflicts: 631000 | #Constraints: 24147
2256.55/2262.27 c #Conflicts: 632000 | #Constraints: 25147
2256.55/2262.27 c #Conflicts: 633000 | #Constraints: 26147
2256.55/2262.27 c #Conflicts: 634000 | #Constraints: 27147
2256.55/2262.27 c #Conflicts: 635000 | #Constraints: 28147
2256.55/2262.27 c #Conflicts: 636000 | #Constraints: 29147
2256.55/2262.27 c #Conflicts: 637000 | #Constraints: 30147
2256.55/2262.27 c #Conflicts: 638000 | #Constraints: 31147
2256.55/2262.27 c #Conflicts: 639000 | #Constraints: 32147
2256.55/2262.27 c INPROCESSING
2256.55/2262.27 c GARBAGE COLLECT
2256.55/2262.27 c #Conflicts: 640000 | #Constraints: 17342
2256.55/2262.27 c #Conflicts: 641000 | #Constraints: 18342
2256.55/2262.27 c #Conflicts: 642000 | #Constraints: 19342
2256.55/2262.27 c #Conflicts: 643000 | #Constraints: 20342
2256.55/2262.27 c #Conflicts: 644000 | #Constraints: 21342
2256.55/2262.27 c #Conflicts: 645000 | #Constraints: 22342
2256.55/2262.27 c #Conflicts: 646000 | #Constraints: 23342
2256.55/2262.27 c #Conflicts: 647000 | #Constraints: 24342
2256.55/2262.27 c #Conflicts: 648000 | #Constraints: 25342
2256.55/2262.27 c #Conflicts: 649000 | #Constraints: 26342
2256.55/2262.27 c #Conflicts: 650000 | #Constraints: 27342
2256.55/2262.27 c #Conflicts: 651000 | #Constraints: 28342
2256.55/2262.27 c #Conflicts: 652000 | #Constraints: 29342
2256.55/2262.27 c #Conflicts: 653000 | #Constraints: 30342
2256.55/2262.27 c #Conflicts: 654000 | #Constraints: 31342
2256.55/2262.27 c #Conflicts: 655000 | #Constraints: 32342
2256.55/2262.27 c INPROCESSING
2256.55/2262.27 c GARBAGE COLLECT
2256.55/2262.27 c #Conflicts: 656000 | #Constraints: 17351
2256.55/2262.27 c #Conflicts: 657000 | #Constraints: 18351
2256.55/2262.27 c #Conflicts: 658000 | #Constraints: 19351
2256.55/2262.27 c #Conflicts: 659000 | #Constraints: 20351
2256.55/2262.27 c #Conflicts: 660000 | #Constraints: 21351
2256.55/2262.27 c #Conflicts: 661000 | #Constraints: 22351
2256.55/2262.27 c #Conflicts: 662000 | #Constraints: 23351
2256.55/2262.27 c #Conflicts: 663000 | #Constraints: 24351
2256.55/2262.27 c #Conflicts: 664000 | #Constraints: 25351
2256.55/2262.27 c #Conflicts: 665000 | #Constraints: 26351
2256.55/2262.27 c #Conflicts: 666000 | #Constraints: 27351
2256.55/2262.27 c #Conflicts: 667000 | #Constraints: 28351
2256.55/2262.27 c #Conflicts: 668000 | #Constraints: 29351
2256.55/2262.27 c #Conflicts: 669000 | #Constraints: 30351
2256.55/2262.27 c #Conflicts: 670000 | #Constraints: 31351
2256.55/2262.27 c #Conflicts: 671000 | #Constraints: 32351
2256.55/2262.27 c INPROCESSING
2256.55/2262.27 c GARBAGE COLLECT
2256.55/2262.27 c #Conflicts: 672000 | #Constraints: 17142
2256.55/2262.27 c #Conflicts: 673000 | #Constraints: 18142
2256.55/2262.27 c #Conflicts: 674000 | #Constraints: 19142
2256.55/2262.27 c #Conflicts: 675000 | #Constraints: 20142
2256.55/2262.27 c #Conflicts: 676000 | #Constraints: 21142
2256.55/2262.27 c #Conflicts: 677000 | #Constraints: 22142
2256.55/2262.27 c #Conflicts: 678000 | #Constraints: 23142
2256.55/2262.27 c #Conflicts: 679000 | #Constraints: 24142
2256.55/2262.27 c #Conflicts: 680000 | #Constraints: 25142
2256.55/2262.27 c #Conflicts: 681000 | #Constraints: 26142
2256.55/2262.27 c #Conflicts: 682000 | #Constraints: 27142
2256.55/2262.27 c #Conflicts: 683000 | #Constraints: 28142
2256.55/2262.27 c #Conflicts: 684000 | #Constraints: 29142
2256.55/2262.27 c #Conflicts: 685000 | #Constraints: 30142
2256.55/2262.27 c #Conflicts: 686000 | #Constraints: 31142
2256.55/2262.27 c #Conflicts: 687000 | #Constraints: 32142
2256.55/2262.27 c #Conflicts: 688000 | #Constraints: 33142
2256.55/2262.27 c INPROCESSING
2256.55/2262.27 c GARBAGE COLLECT
2256.55/2262.27 c #Conflicts: 689000 | #Constraints: 17740
2256.55/2262.27 c #Conflicts: 690000 | #Constraints: 18740
2256.55/2262.27 c #Conflicts: 691000 | #Constraints: 19740
2256.55/2262.27 c #Conflicts: 692000 | #Constraints: 20740
2256.55/2262.27 c #Conflicts: 693000 | #Constraints: 21740
2256.55/2262.27 c #Conflicts: 694000 | #Constraints: 22740
2256.55/2262.27 c #Conflicts: 695000 | #Constraints: 23740
2256.55/2262.27 c #Conflicts: 696000 | #Constraints: 24740
2256.55/2262.27 c #Conflicts: 697000 | #Constraints: 25740
2256.55/2262.27 c #Conflicts: 698000 | #Constraints: 26740
2256.55/2262.27 c #Conflicts: 699000 | #Constraints: 27740
2256.55/2262.27 c #Conflicts: 700000 | #Constraints: 28740
2256.55/2262.27 c #Conflicts: 701000 | #Constraints: 29740
2534.84/2541.22 c #Conflicts: 702000 | #Constraints: 30740
2534.84/2541.22 c #Conflicts: 703000 | #Constraints: 31740
2534.84/2541.22 c #Conflicts: 704000 | #Constraints: 32740
2534.84/2541.22 c #Conflicts: 705000 | #Constraints: 33740
2534.84/2541.22 c INPROCESSING
2534.84/2541.22 c GARBAGE COLLECT
2534.84/2541.22 c #Conflicts: 706000 | #Constraints: 18142
2534.84/2541.22 c #Conflicts: 707000 | #Constraints: 19142
2534.84/2541.22 c #Conflicts: 708000 | #Constraints: 20142
2534.84/2541.22 c #Conflicts: 709000 | #Constraints: 21142
2534.84/2541.22 c #Conflicts: 710000 | #Constraints: 22142
2534.84/2541.22 c #Conflicts: 711000 | #Constraints: 23142
2534.84/2541.22 c #Conflicts: 712000 | #Constraints: 24142
2534.84/2541.22 c #Conflicts: 713000 | #Constraints: 25142
2534.84/2541.22 c #Conflicts: 714000 | #Constraints: 26142
2534.84/2541.22 c #Conflicts: 715000 | #Constraints: 27142
2534.84/2541.22 c #Conflicts: 716000 | #Constraints: 28142
2534.84/2541.22 c #Conflicts: 717000 | #Constraints: 29142
2534.84/2541.22 c #Conflicts: 718000 | #Constraints: 30142
2534.84/2541.22 c #Conflicts: 719000 | #Constraints: 31142
2534.84/2541.22 c #Conflicts: 720000 | #Constraints: 32142
2534.84/2541.22 c #Conflicts: 721000 | #Constraints: 33142
2534.84/2541.22 c #Conflicts: 722000 | #Constraints: 34142
2534.84/2541.22 c INPROCESSING
2534.84/2541.22 c GARBAGE COLLECT
2534.84/2541.22 c #Conflicts: 723000 | #Constraints: 18346
2534.84/2541.22 c #Conflicts: 724000 | #Constraints: 19346
2534.84/2541.22 c #Conflicts: 725000 | #Constraints: 20346
2534.84/2541.22 c #Conflicts: 726000 | #Constraints: 21346
2534.84/2541.22 c #Conflicts: 727000 | #Constraints: 22346
2534.84/2541.22 c #Conflicts: 728000 | #Constraints: 23346
2534.84/2541.22 c #Conflicts: 729000 | #Constraints: 24346
2534.84/2541.22 c #Conflicts: 730000 | #Constraints: 25346
2534.84/2541.22 c #Conflicts: 731000 | #Constraints: 26346
2534.84/2541.22 c #Conflicts: 732000 | #Constraints: 27346
2534.84/2541.22 c #Conflicts: 733000 | #Constraints: 28346
2534.84/2541.22 c #Conflicts: 734000 | #Constraints: 29346
2534.84/2541.22 c #Conflicts: 735000 | #Constraints: 30346
2534.84/2541.22 c #Conflicts: 736000 | #Constraints: 31346
2534.84/2541.22 c #Conflicts: 737000 | #Constraints: 32346
2534.84/2541.22 c #Conflicts: 738000 | #Constraints: 33346
2534.84/2541.22 c #Conflicts: 739000 | #Constraints: 34346
2534.84/2541.22 c INPROCESSING
2534.84/2541.22 c GARBAGE COLLECT
2534.84/2541.22 c #Conflicts: 740000 | #Constraints: 18344
2534.84/2541.22 c #Conflicts: 741000 | #Constraints: 19344
2534.84/2541.22 c #Conflicts: 742000 | #Constraints: 20344
2534.84/2541.22 c #Conflicts: 743000 | #Constraints: 21344
2534.84/2541.22 c #Conflicts: 744000 | #Constraints: 22344
2534.84/2541.22 c #Conflicts: 745000 | #Constraints: 23344
2534.84/2541.22 c #Conflicts: 746000 | #Constraints: 24344
2534.84/2541.22 c #Conflicts: 747000 | #Constraints: 25344
2534.84/2541.22 c #Conflicts: 748000 | #Constraints: 26344
2534.84/2541.22 c #Conflicts: 749000 | #Constraints: 27344
2534.84/2541.22 c #Conflicts: 750000 | #Constraints: 28344
2534.84/2541.22 c #Conflicts: 751000 | #Constraints: 29344
2534.84/2541.22 c #Conflicts: 752000 | #Constraints: 30344
2534.84/2541.22 c #Conflicts: 753000 | #Constraints: 31344
2534.84/2541.22 c #Conflicts: 754000 | #Constraints: 32344
2534.84/2541.22 c #Conflicts: 755000 | #Constraints: 33344
2534.84/2541.22 c #Conflicts: 756000 | #Constraints: 34344
2534.84/2541.22 c INPROCESSING
2534.84/2541.22 c GARBAGE COLLECT
2534.84/2541.22 c #Conflicts: 757000 | #Constraints: 18138
2534.84/2541.22 c #Conflicts: 758000 | #Constraints: 19138
2534.84/2541.22 c #Conflicts: 759000 | #Constraints: 20138
2534.84/2541.22 c #Conflicts: 760000 | #Constraints: 21138
2534.84/2541.22 c #Conflicts: 761000 | #Constraints: 22138
2534.84/2541.22 c #Conflicts: 762000 | #Constraints: 23138
2534.84/2541.22 c #Conflicts: 763000 | #Constraints: 24138
2534.84/2541.22 c #Conflicts: 764000 | #Constraints: 25138
2534.84/2541.22 c #Conflicts: 765000 | #Constraints: 26138
2534.84/2541.22 c #Conflicts: 766000 | #Constraints: 27138
2534.84/2541.22 c #Conflicts: 767000 | #Constraints: 28138
2534.84/2541.22 c #Conflicts: 768000 | #Constraints: 29138
2534.84/2541.22 c #Conflicts: 769000 | #Constraints: 30138
2534.84/2541.22 c #Conflicts: 770000 | #Constraints: 31138
2534.84/2541.22 c #Conflicts: 771000 | #Constraints: 32138
2534.84/2541.22 c #Conflicts: 772000 | #Constraints: 33138
2534.84/2541.22 c #Conflicts: 773000 | #Constraints: 34138
2534.84/2541.22 c #Conflicts: 774000 | #Constraints: 35138
2534.84/2541.22 c INPROCESSING
2534.84/2541.22 c GARBAGE COLLECT
2534.84/2541.22 c #Conflicts: 775000 | #Constraints: 18734
2534.84/2541.22 c #Conflicts: 776000 | #Constraints: 19734
2534.84/2541.22 c #Conflicts: 777000 | #Constraints: 20734
2822.72/2829.86 c #Conflicts: 778000 | #Constraints: 21734
2822.72/2829.86 c #Conflicts: 779000 | #Constraints: 22734
2822.72/2829.86 c #Conflicts: 780000 | #Constraints: 23734
2822.72/2829.86 c #Conflicts: 781000 | #Constraints: 24734
2822.72/2829.86 c #Conflicts: 782000 | #Constraints: 25734
2822.72/2829.86 c #Conflicts: 783000 | #Constraints: 26734
2822.72/2829.86 c #Conflicts: 784000 | #Constraints: 27734
2822.72/2829.86 c #Conflicts: 785000 | #Constraints: 28734
2822.72/2829.86 c #Conflicts: 786000 | #Constraints: 29734
2822.72/2829.86 c #Conflicts: 787000 | #Constraints: 30734
2822.72/2829.86 c #Conflicts: 788000 | #Constraints: 31734
2822.72/2829.86 c #Conflicts: 789000 | #Constraints: 32734
2822.72/2829.86 c #Conflicts: 790000 | #Constraints: 33734
2822.72/2829.86 c #Conflicts: 791000 | #Constraints: 34734
2822.72/2829.86 c #Conflicts: 792000 | #Constraints: 35734
2822.72/2829.86 c INPROCESSING
2822.72/2829.86 c GARBAGE COLLECT
2822.72/2829.86 c #Conflicts: 793000 | #Constraints: 19135
2822.72/2829.86 c #Conflicts: 794000 | #Constraints: 20135
2822.72/2829.86 c #Conflicts: 795000 | #Constraints: 21135
2822.72/2829.86 c #Conflicts: 796000 | #Constraints: 22135
2822.72/2829.86 c #Conflicts: 797000 | #Constraints: 23135
2822.72/2829.86 c #Conflicts: 798000 | #Constraints: 24135
2822.72/2829.86 c #Conflicts: 799000 | #Constraints: 25135
2822.72/2829.86 c #Conflicts: 800000 | #Constraints: 26135
2822.72/2829.86 c #Conflicts: 801000 | #Constraints: 27135
2822.72/2829.86 c #Conflicts: 802000 | #Constraints: 28135
2822.72/2829.86 c #Conflicts: 803000 | #Constraints: 29135
2822.72/2829.86 c #Conflicts: 804000 | #Constraints: 30135
2822.72/2829.86 c #Conflicts: 805000 | #Constraints: 31135
2822.72/2829.86 c #Conflicts: 806000 | #Constraints: 32135
2822.72/2829.86 c #Conflicts: 807000 | #Constraints: 33135
2822.72/2829.86 c #Conflicts: 808000 | #Constraints: 34135
2822.72/2829.86 c #Conflicts: 809000 | #Constraints: 35135
2822.72/2829.86 c #Conflicts: 810000 | #Constraints: 36135
2822.72/2829.86 c INPROCESSING
2822.72/2829.86 c GARBAGE COLLECT
2822.72/2829.86 c #Conflicts: 811000 | #Constraints: 19340
2822.72/2829.86 c #Conflicts: 812000 | #Constraints: 20340
2822.72/2829.86 c #Conflicts: 813000 | #Constraints: 21340
2822.72/2829.86 c #Conflicts: 814000 | #Constraints: 22340
2822.72/2829.86 c #Conflicts: 815000 | #Constraints: 23340
2822.72/2829.86 c #Conflicts: 816000 | #Constraints: 24340
2822.72/2829.86 c #Conflicts: 817000 | #Constraints: 25340
2822.72/2829.86 c #Conflicts: 818000 | #Constraints: 26340
2822.72/2829.86 c #Conflicts: 819000 | #Constraints: 27340
2822.72/2829.86 c #Conflicts: 820000 | #Constraints: 28340
2822.72/2829.86 c #Conflicts: 821000 | #Constraints: 29340
2822.72/2829.86 c #Conflicts: 822000 | #Constraints: 30340
2822.72/2829.86 c #Conflicts: 823000 | #Constraints: 31340
2822.72/2829.86 c #Conflicts: 824000 | #Constraints: 32340
2822.72/2829.86 c #Conflicts: 825000 | #Constraints: 33340
2822.72/2829.86 c #Conflicts: 826000 | #Constraints: 34340
2822.72/2829.86 c #Conflicts: 827000 | #Constraints: 35340
2822.72/2829.86 c #Conflicts: 828000 | #Constraints: 36340
2822.72/2829.86 c INPROCESSING
2822.72/2829.86 c GARBAGE COLLECT
2822.72/2829.86 c #Conflicts: 829000 | #Constraints: 19349
2822.72/2829.86 c #Conflicts: 830000 | #Constraints: 20349
2822.72/2829.86 c #Conflicts: 831000 | #Constraints: 21349
2822.72/2829.86 c #Conflicts: 832000 | #Constraints: 22349
2822.72/2829.86 c #Conflicts: 833000 | #Constraints: 23349
2822.72/2829.86 c #Conflicts: 834000 | #Constraints: 24349
2822.72/2829.86 c #Conflicts: 835000 | #Constraints: 25349
2822.72/2829.86 c #Conflicts: 836000 | #Constraints: 26349
2822.72/2829.86 c #Conflicts: 837000 | #Constraints: 27349
2822.72/2829.86 c #Conflicts: 838000 | #Constraints: 28349
2822.72/2829.86 c #Conflicts: 839000 | #Constraints: 29349
2822.72/2829.86 c #Conflicts: 840000 | #Constraints: 30349
2822.72/2829.86 c #Conflicts: 841000 | #Constraints: 31349
2822.72/2829.86 c #Conflicts: 842000 | #Constraints: 32349
2822.72/2829.86 c #Conflicts: 843000 | #Constraints: 33349
2822.72/2829.86 c #Conflicts: 844000 | #Constraints: 34349
2822.72/2829.86 c #Conflicts: 845000 | #Constraints: 35349
2822.72/2829.86 c #Conflicts: 846000 | #Constraints: 36349
2822.72/2829.86 c INPROCESSING
2822.72/2829.86 c GARBAGE COLLECT
2822.72/2829.86 c #Conflicts: 847000 | #Constraints: 19146
2822.72/2829.86 c #Conflicts: 848000 | #Constraints: 20146
2822.72/2829.86 c #Conflicts: 849000 | #Constraints: 21146
2822.72/2829.86 c #Conflicts: 850000 | #Constraints: 22146
2822.72/2829.86 c #Conflicts: 851000 | #Constraints: 23146
2822.72/2829.86 c #Conflicts: 852000 | #Constraints: 24146
2822.72/2829.86 c #Conflicts: 853000 | #Constraints: 25146
3174.85/3182.98 c #Conflicts: 854000 | #Constraints: 26146
3174.85/3182.98 c #Conflicts: 855000 | #Constraints: 27146
3174.85/3182.98 c #Conflicts: 856000 | #Constraints: 28146
3174.85/3182.98 c #Conflicts: 857000 | #Constraints: 29146
3174.85/3182.98 c #Conflicts: 858000 | #Constraints: 30146
3174.85/3182.98 c #Conflicts: 859000 | #Constraints: 31146
3174.85/3182.98 c #Conflicts: 860000 | #Constraints: 32146
3174.85/3182.98 c #Conflicts: 861000 | #Constraints: 33146
3174.85/3182.98 c #Conflicts: 862000 | #Constraints: 34146
3174.85/3182.98 c #Conflicts: 863000 | #Constraints: 35146
3174.85/3182.98 c #Conflicts: 864000 | #Constraints: 36146
3174.85/3182.98 c #Conflicts: 865000 | #Constraints: 37146
3174.85/3182.98 c INPROCESSING
3174.85/3182.98 c GARBAGE COLLECT
3174.85/3182.98 c #Conflicts: 866000 | #Constraints: 19739
3174.85/3182.98 c #Conflicts: 867000 | #Constraints: 20739
3174.85/3182.98 c #Conflicts: 868000 | #Constraints: 21739
3174.85/3182.98 c #Conflicts: 869000 | #Constraints: 22739
3174.85/3182.98 c #Conflicts: 870000 | #Constraints: 23739
3174.85/3182.98 c #Conflicts: 871000 | #Constraints: 24739
3174.85/3182.98 c #Conflicts: 872000 | #Constraints: 25739
3174.85/3182.98 c #Conflicts: 873000 | #Constraints: 26739
3174.85/3182.98 c #Conflicts: 874000 | #Constraints: 27739
3174.85/3182.98 c #Conflicts: 875000 | #Constraints: 28739
3174.85/3182.98 c #Conflicts: 876000 | #Constraints: 29739
3174.85/3182.98 c #Conflicts: 877000 | #Constraints: 30739
3174.85/3182.98 c #Conflicts: 878000 | #Constraints: 31739
3174.85/3182.98 c #Conflicts: 879000 | #Constraints: 32739
3174.85/3182.98 c #Conflicts: 880000 | #Constraints: 33739
3174.85/3182.98 c #Conflicts: 881000 | #Constraints: 34739
3174.85/3182.98 c #Conflicts: 882000 | #Constraints: 35739
3174.85/3182.98 c #Conflicts: 883000 | #Constraints: 36739
3174.85/3182.98 c #Conflicts: 884000 | #Constraints: 37739
3174.85/3182.98 c INPROCESSING
3174.85/3182.98 c GARBAGE COLLECT
3174.85/3182.98 c #Conflicts: 885000 | #Constraints: 20142
3174.85/3182.98 c #Conflicts: 886000 | #Constraints: 21142
3174.85/3182.98 c #Conflicts: 887000 | #Constraints: 22142
3174.85/3182.98 c #Conflicts: 888000 | #Constraints: 23142
3174.85/3182.98 c #Conflicts: 889000 | #Constraints: 24142
3174.85/3182.98 c #Conflicts: 890000 | #Constraints: 25142
3174.85/3182.98 c #Conflicts: 891000 | #Constraints: 26142
3174.85/3182.98 c #Conflicts: 892000 | #Constraints: 27142
3174.85/3182.98 c #Conflicts: 893000 | #Constraints: 28142
3174.85/3182.98 c #Conflicts: 894000 | #Constraints: 29142
3174.85/3182.98 c #Conflicts: 895000 | #Constraints: 30142
3174.85/3182.98 c #Conflicts: 896000 | #Constraints: 31142
3174.85/3182.98 c #Conflicts: 897000 | #Constraints: 32142
3174.85/3182.98 c #Conflicts: 898000 | #Constraints: 33142
3174.85/3182.98 c #Conflicts: 899000 | #Constraints: 34142
3174.85/3182.98 c #Conflicts: 900000 | #Constraints: 35142
3174.85/3182.98 c #Conflicts: 901000 | #Constraints: 36142
3174.85/3182.98 c #Conflicts: 902000 | #Constraints: 37142
3174.85/3182.98 c #Conflicts: 903000 | #Constraints: 38142
3174.85/3182.98 c INPROCESSING
3174.85/3182.98 c GARBAGE COLLECT
3174.85/3182.98 c #Conflicts: 904000 | #Constraints: 20339
3174.85/3182.98 c #Conflicts: 905000 | #Constraints: 21339
3174.85/3182.98 c #Conflicts: 906000 | #Constraints: 22339
3174.85/3182.98 c #Conflicts: 907000 | #Constraints: 23339
3174.85/3182.98 c #Conflicts: 908000 | #Constraints: 24339
3174.85/3182.98 c #Conflicts: 909000 | #Constraints: 25339
3174.85/3182.98 c #Conflicts: 910000 | #Constraints: 26339
3174.85/3182.98 c #Conflicts: 911000 | #Constraints: 27339
3174.85/3182.98 c #Conflicts: 912000 | #Constraints: 28339
3174.85/3182.98 c #Conflicts: 913000 | #Constraints: 29339
3174.85/3182.98 c #Conflicts: 914000 | #Constraints: 30339
3174.85/3182.98 c #Conflicts: 915000 | #Constraints: 31339
3174.85/3182.98 c #Conflicts: 916000 | #Constraints: 32339
3174.85/3182.98 c #Conflicts: 917000 | #Constraints: 33339
3174.85/3182.98 c #Conflicts: 918000 | #Constraints: 34339
3174.85/3182.98 c #Conflicts: 919000 | #Constraints: 35339
3174.85/3182.98 c #Conflicts: 920000 | #Constraints: 36339
3174.85/3182.98 c #Conflicts: 921000 | #Constraints: 37339
3174.85/3182.98 c #Conflicts: 922000 | #Constraints: 38339
3174.85/3182.98 c INPROCESSING
3174.85/3182.98 c GARBAGE COLLECT
3174.85/3182.98 c #Conflicts: 923000 | #Constraints: 20341
3174.85/3182.98 c #Conflicts: 924000 | #Constraints: 21341
3174.85/3182.98 c #Conflicts: 925000 | #Constraints: 22341
3174.85/3182.98 c #Conflicts: 926000 | #Constraints: 23341
3174.85/3182.98 c #Conflicts: 927000 | #Constraints: 24341
3174.85/3182.98 c #Conflicts: 928000 | #Constraints: 25341
3174.85/3182.98 c #Conflicts: 929000 | #Constraints: 26341
3599.36/3608.52 c #Conflicts: 930000 | #Constraints: 27341
3599.36/3608.52 c #Conflicts: 931000 | #Constraints: 28341
3599.36/3608.52 c #Conflicts: 932000 | #Constraints: 29341
3599.36/3608.52 c #Conflicts: 933000 | #Constraints: 30341
3599.36/3608.52 c #Conflicts: 934000 | #Constraints: 31341
3599.36/3608.52 c #Conflicts: 935000 | #Constraints: 32341
3599.36/3608.52 c #Conflicts: 936000 | #Constraints: 33341
3599.36/3608.52 c #Conflicts: 937000 | #Constraints: 34341
3599.36/3608.52 c #Conflicts: 938000 | #Constraints: 35341
3599.36/3608.52 c #Conflicts: 939000 | #Constraints: 36341
3599.36/3608.52 c #Conflicts: 940000 | #Constraints: 37341
3599.36/3608.52 c #Conflicts: 941000 | #Constraints: 38341
3599.36/3608.52 c INPROCESSING
3599.36/3608.52 c GARBAGE COLLECT
3599.36/3608.52 c #Conflicts: 942000 | #Constraints: 20148
3599.36/3608.52 c #Conflicts: 943000 | #Constraints: 21148
3599.36/3608.52 c #Conflicts: 944000 | #Constraints: 22148
3599.36/3608.52 c #Conflicts: 945000 | #Constraints: 23148
3599.36/3608.52 c #Conflicts: 946000 | #Constraints: 24148
3599.36/3608.52 c #Conflicts: 947000 | #Constraints: 25148
3599.36/3608.52 c #Conflicts: 948000 | #Constraints: 26148
3599.36/3608.52 c #Conflicts: 949000 | #Constraints: 27148
3599.36/3608.52 c #Conflicts: 950000 | #Constraints: 28148
3599.36/3608.52 c #Conflicts: 951000 | #Constraints: 29148
3599.36/3608.52 c #Conflicts: 952000 | #Constraints: 30148
3599.36/3608.52 c #Conflicts: 953000 | #Constraints: 31148
3599.36/3608.52 c #Conflicts: 954000 | #Constraints: 32148
3599.36/3608.52 c #Conflicts: 955000 | #Constraints: 33148
3599.36/3608.52 c #Conflicts: 956000 | #Constraints: 34148
3599.36/3608.52 c #Conflicts: 957000 | #Constraints: 35148
3599.36/3608.52 c #Conflicts: 958000 | #Constraints: 36148
3599.36/3608.52 c #Conflicts: 959000 | #Constraints: 37148
3599.36/3608.52 c #Conflicts: 960000 | #Constraints: 38148
3599.36/3608.52 c #Conflicts: 961000 | #Constraints: 39148
3599.36/3608.52 c INPROCESSING
3599.36/3608.52 c GARBAGE COLLECT
3599.36/3608.52 c #Conflicts: 962000 | #Constraints: 20749
3599.36/3608.52 c #Conflicts: 963000 | #Constraints: 21749
3599.36/3608.52 c #Conflicts: 964000 | #Constraints: 22749
3599.36/3608.52 c #Conflicts: 965000 | #Constraints: 23749
3599.36/3608.52 c #Conflicts: 966000 | #Constraints: 24749
3599.36/3608.52 c #Conflicts: 967000 | #Constraints: 25749
3599.36/3608.52 c #Conflicts: 968000 | #Constraints: 26749
3599.36/3608.52 c #Conflicts: 969000 | #Constraints: 27749
3599.36/3608.52 c #Conflicts: 970000 | #Constraints: 28749
3599.36/3608.52 c #Conflicts: 971000 | #Constraints: 29749
3599.36/3608.52 c #Conflicts: 972000 | #Constraints: 30749
3599.36/3608.52 c #Conflicts: 973000 | #Constraints: 31749
3599.36/3608.52 c #Conflicts: 974000 | #Constraints: 32749
3599.36/3608.52 c #Conflicts: 975000 | #Constraints: 33749
3599.36/3608.52 c #Conflicts: 976000 | #Constraints: 34749
3599.36/3608.52 c #Conflicts: 977000 | #Constraints: 35749
3599.36/3608.52 c #Conflicts: 978000 | #Constraints: 36749
3599.36/3608.52 c #Conflicts: 979000 | #Constraints: 37749
3599.36/3608.52 c #Conflicts: 980000 | #Constraints: 38749
3599.36/3608.52 c #Conflicts: 981000 | #Constraints: 39749
3599.36/3608.52 c INPROCESSING
3599.36/3608.52 c GARBAGE COLLECT
3599.36/3608.52 c #Conflicts: 982000 | #Constraints: 21150
3599.36/3608.52 c #Conflicts: 983000 | #Constraints: 22150
3599.36/3608.52 c #Conflicts: 984000 | #Constraints: 23150
3599.36/3608.52 c #Conflicts: 985000 | #Constraints: 24150
3599.36/3608.52 c #Conflicts: 986000 | #Constraints: 25150
3599.36/3608.52 c #Conflicts: 987000 | #Constraints: 26150
3599.36/3608.52 c #Conflicts: 988000 | #Constraints: 27150
3599.36/3608.52 c #Conflicts: 989000 | #Constraints: 28150
3599.36/3608.52 c #Conflicts: 990000 | #Constraints: 29150
3599.36/3608.52 c #Conflicts: 991000 | #Constraints: 30150
3599.36/3608.52 c #Conflicts: 992000 | #Constraints: 31150
3599.36/3608.52 c #Conflicts: 993000 | #Constraints: 32150
3599.36/3608.52 c #Conflicts: 994000 | #Constraints: 33150
3599.36/3608.52 c #Conflicts: 995000 | #Constraints: 34150
3599.36/3608.52 c #Conflicts: 996000 | #Constraints: 35150
3599.36/3608.52 c #Conflicts: 997000 | #Constraints: 36150
3599.36/3608.52 c #Conflicts: 998000 | #Constraints: 37150
3599.36/3608.52 c #Conflicts: 999000 | #Constraints: 38150
3599.36/3608.52 c #Conflicts: 1000000 | #Constraints: 39150
3599.36/3608.52 c #Conflicts: 1001000 | #Constraints: 40150
3599.36/3608.52 c INPROCESSING
3599.36/3608.52 c GARBAGE COLLECT
3599.36/3608.52 c #Conflicts: 1002000 | #Constraints: 21352
3599.36/3608.52 c #Conflicts: 1003000 | #Constraints: 22352
3599.36/3608.52 c #Conflicts: 1004000 | #Constraints: 23352
3599.36/3608.52 c #Conflicts: 1005000 | #Constraints: 24352
3599.36/3608.52 c #Conflicts: 1006000 | #Constraints: 25352
3600.05/3609.20 c Program interrupted by user.
3600.05/3609.20 c cpu time 3589.65 s
3600.05/3609.20 c deterministic time 376026901742 3.76e+11
3600.05/3609.20 c optimization time 19.0263 s
3600.05/3609.20 c total solve time 3271.49 s
3600.05/3609.20 c core-guided solve time 3271.49 s
3600.05/3609.20 c propagation time 2804.06 s
3600.05/3609.20 c conflict analysis time 427.767 s
3600.05/3609.20 c propagations 66756012
3600.05/3609.20 c resolve steps 5260493
3600.05/3609.20 c decisions 5959075
3600.05/3609.20 c conflicts 1006170
3600.05/3609.20 c restarts 2045
3600.05/3609.20 c inprocessing phases 91
3600.05/3609.20 c input clauses 54
3600.05/3609.20 c input cardinalities 77
3600.05/3609.20 c input general constraints 462
3600.05/3609.20 c input average constraint length 67.70
3600.05/3609.20 c input average constraint degree 33.91
3600.05/3609.20 c learned clauses 215422
3600.05/3609.20 c learned cardinalities 885
3600.05/3609.20 c learned general constraints 789874
3600.05/3609.20 c learned average constraint length 294.80
3600.05/3609.20 c learned average constraint degree 453932.26
3600.05/3609.20 c watched constraints 610431
3600.05/3609.20 c counting constraints 179905
3600.05/3609.20 c gcd simplifications 175507
3600.05/3609.20 c detected cardinalities 745
3600.05/3609.20 c weakened non-implied lits 31936663
3600.05/3609.20 c weakened non-implying lits 90395
3600.05/3609.20 c original variables 465
3600.05/3609.20 c clausal propagations 1631419
3600.05/3609.20 c cardinality propagations 136237
3600.05/3609.20 c watched propagations 28708809
3600.05/3609.20 c counting propagations 35234304
3600.05/3609.20 c watch lookups 70950973402
3600.05/3609.20 c watch backjump lookups 67548157475
3600.05/3609.20 c watch checks 228400254423
3600.05/3609.20 c propagation checks 7985340331
3600.05/3609.20 c constraint additions 995740211
3600.05/3609.20 c trail pops 73720812
3600.05/3609.20 c formula constraints 465
3600.05/3609.20 c learned constraints 1006181
3600.05/3609.20 c bound constraints 77
3600.05/3609.20 c core-guided constraints 51
3600.05/3609.20 c encountered formula constraints 3144757
3600.05/3609.20 c encountered learned constraints 3017457
3600.05/3609.20 c encountered bound constraints 148
3600.05/3609.20 c encountered core-guided constraints 104301
3600.05/3609.20 c LP total time 0 s
3600.05/3609.20 c LP solve time 0 s
3600.05/3609.20 c LP constraints added 0
3600.05/3609.20 c LP constraints removed 0
3600.05/3609.20 c LP pivots internal 0
3600.05/3609.20 c LP pivots root 0
3600.05/3609.20 c LP calls 0
3600.05/3609.20 c LP optimalities 0
3600.05/3609.20 c LP no pivot count 0
3600.05/3609.20 c LP infeasibilities 0
3600.05/3609.20 c LP valid Farkas constraints 0
3600.05/3609.20 c LP learned Farkas constraints 0
3600.05/3609.20 c LP basis resets 0
3600.05/3609.20 c LP cycling count 0
3600.05/3609.20 c LP singular count 0
3600.05/3609.20 c LP no primal count 0
3600.05/3609.20 c LP no farkas count 0
3600.05/3609.20 c LP other issue count 0
3600.05/3609.20 c LP Gomory cuts 0
3600.05/3609.20 c LP learned cuts 0
3600.05/3609.20 c LP deleted cuts 0
3600.05/3609.20 c LP encountered Gomory constraints 0
3600.05/3609.20 c LP encountered Farkas constraints 0
3600.05/3609.20 c LP encountered learned Farkas constraints 0
3600.05/3609.20 c CG auxiliary variables introduced 51
3600.05/3609.20 c CG solutions found 0
3600.05/3609.20 c CG cores constructed 76
3600.05/3609.20 c CG core cardinality constraints returned 0
3600.05/3609.20 c CG unit cores 0
3600.05/3609.20 c CG single cores 76
3600.05/3609.20 c CG blocks removed during cardinality reduction 0
3600.05/3609.20 c CG first core best 0
3600.05/3609.20 c CG decision core best 0
3600.05/3609.20 c CG core reduction tie 0
3600.05/3609.20 c CG core degree average 1.00
3600.05/3609.20 c CG core slack average 2.95
3600.05/3609.20 c CG exhausted 0
3600.05/3609.20 c CG exhaust time 0 s
3600.05/3609.20 c CG trimmed 4
3600.05/3609.20 c CG trim time 0.000301 s
3600.05/3609.20 c CG minimized 0
3600.05/3609.20 c CG minimize time 0 s
3600.05/3609.20 c CG am1 prop time 0.000774 s
3600.05/3609.20 c CG # am1s reformulated 51
3600.05/3609.20 c CG lower bound derived from am1s 51
3600.05/3609.20 c CG # clausal cores 23
3600.05/3609.20 c CG # cardinality cores 0
3600.05/3609.20 c CG # pb cores 53
3600.05/3609.20 c CG # pb reforms 0
3600.05/3609.20 c CG # cores discarded because of pb reform 0
3600.05/3609.20 d LOWERBOUND 127
3600.05/3609.20 d NCORES 76
3600.05/3609.20 d NPBCORES 53
3600.05/3609.20 d NPBREFORM 0
3600.05/3609.20 d NTRIMMED 4
3600.05/3609.20 d NEXHAUSTED 0
3600.05/3609.20 d NAM1S 51
3600.05/3609.20 d AM1LB 51
3600.05/3609.20 c [Papilo Statistics]
3600.05/3609.20 c prepro time 0.00145163s
3600.05/3609.20 c # tsx applied 22
3600.05/3609.20 c # tsx conflicts 0
3600.05/3609.20 c # bound changes 0
3600.05/3609.20 c # side changes 0
3600.05/3609.20 c # coef changes 56
3600.05/3609.20 c # rounds 3
3600.05/3609.20 c # deted vars 0
3600.05/3609.20 c # deted constrs 0
3600.05/3609.20 c # consecutive rounds of only bound changes 0
3600.05/3609.20 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: 63968 MiB (62788 MiB free)
memory of node 1: 64473 MiB (63276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454708-1721468771/watcher-4454708-1721468771 -o /tmp/evaluation-result-4454708-1721468771/solver-4454708-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048076 --watchdog 3760 mixed-bag HOME/instance-4454708-1721468771.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1048126, runsolver pid=1048115
[startup+0.100105 s]*
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=129045372/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=93020 memory=27676 CPUtime=0.07 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 2927 0 7 0 7 0 0 0 20 0 1 0 199044180 95252480 6919 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 23255 6919 3998 3002 0 7004 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 93020 KiB
Current children cumulated memory: 27676 KiB
[startup+0.206267 s]*
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=129038124/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=93020 memory=27676 CPUtime=0.17 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 2932 0 7 0 17 0 0 0 20 0 1 0 199044180 95252480 6919 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 23255 6919 3998 3002 0 7004 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 93020 KiB
Current children cumulated memory: 27676 KiB
[startup+0.30506 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129025640/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=93144 memory=27928 CPUtime=0.27 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 2980 0 7 0 27 0 0 0 20 0 1 0 199044180 95379456 6982 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 23286 6982 3998 3002 0 7035 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93144 KiB
Current children cumulated memory: 27928 KiB
[startup+0.70015 s]
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=128997304/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=112712 memory=47520 CPUtime=0.66 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 7859 0 7 0 66 0 0 0 20 0 1 0 199044180 115417088 11880 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 28178 11880 4014 3002 0 11927 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112712 KiB
Current children cumulated memory: 47520 KiB
[startup+1.50022 s]
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=128815752/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=184764 memory=118392 CPUtime=1.46 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 27201 0 7 0 143 3 0 0 20 0 1 0 199044180 189198336 29598 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 46191 29598 4014 3002 0 29940 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 184764 KiB
Current children cumulated memory: 118392 KiB
[startup+3.10608 s]
/proc/loadavg: 1.65 1.99 2.64 7/257 1048140
/proc/meminfo: memFree=128519664/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=222132 memory=152976 CPUtime=3.06 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 35858 0 7 0 302 4 0 0 20 0 1 0 199044180 227463168 38244 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 55533 38244 4014 3002 0 39282 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 222132 KiB
Current children cumulated memory: 152976 KiB
[startup+6.30014 s]
/proc/loadavg: 1.65 1.99 2.64 7/257 1048140
/proc/meminfo: memFree=128518956/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=222132 memory=152976 CPUtime=6.25 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 35862 0 7 0 621 4 0 0 20 0 1 0 199044180 227463168 38244 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 55533 38244 4014 3002 0 39282 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 222132 KiB
Current children cumulated memory: 152976 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.66 7/257 1048142
/proc/meminfo: memFree=128516696/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=224484 memory=156672 CPUtime=12.63 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 36763 0 7 0 1259 4 0 0 20 0 1 0 199044180 229871616 39168 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 56121 39168 4014 3002 0 39870 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 224484 KiB
Current children cumulated memory: 156672 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 2.12 2.67 7/257 1048143
/proc/meminfo: memFree=128312088/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=309872 memory=239528 CPUtime=25.4 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 58508 0 7 0 2531 9 0 0 20 0 1 0 199044180 317308928 59882 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 77468 59882 4029 3002 0 61217 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 309872 KiB
Current children cumulated memory: 239528 KiB
[startup+51.1062 s]
/proc/loadavg: 2.97 2.29 2.71 7/257 1048148
/proc/meminfo: memFree=128308280/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=309872 memory=239528 CPUtime=50.94 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 58510 0 7 0 5083 11 0 0 20 0 1 0 199044180 317308928 59882 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 77468 59882 4029 3002 0 61217 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 309872 KiB
Current children cumulated memory: 239528 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.61 2.80 7/257 1048156
/proc/meminfo: memFree=128221696/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=342076 memory=274196 CPUtime=102.02 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 68800 0 7 0 10187 15 0 0 20 0 1 0 199044180 350285824 68549 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 85519 68549 4029 3002 0 69268 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 342076 KiB
Current children cumulated memory: 274196 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.88 2.88 8/257 1048167
/proc/meminfo: memFree=128026776/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=359428 memory=292404 CPUtime=161.86 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 73860 0 7 0 16169 17 0 0 20 0 1 0 199044180 368054272 73101 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 89857 73101 4029 3002 0 73606 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 359428 KiB
Current children cumulated memory: 292404 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.12 2.97 7/259 1048182
/proc/meminfo: memFree=127949384/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=359428 memory=294056 CPUtime=221.71 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 73983 0 7 0 22154 17 0 0 20 0 1 0 199044180 368054272 73514 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 89857 73514 4145 3002 0 73606 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 359428 KiB
Current children cumulated memory: 294056 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.30 3.04 8/259 1048192
/proc/meminfo: memFree=127946856/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=359428 memory=294444 CPUtime=281.56 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 74159 0 7 0 28139 17 0 0 20 0 1 0 199044180 368054272 73611 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 89857 73611 4145 3002 0 73606 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 359428 KiB
Current children cumulated memory: 294444 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.11 7/256 1048202
/proc/meminfo: memFree=128112352/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=332292 memory=270696 CPUtime=341.41 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 76148 0 8 0 34064 77 0 0 20 0 1 0 199044180 340267008 67674 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 83073 67674 4305 3002 0 66822 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 332292 KiB
Current children cumulated memory: 270696 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.58 3.18 8/256 1048214
/proc/meminfo: memFree=128086476/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=332292 memory=276840 CPUtime=401.26 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 76161 0 8 0 40000 126 0 0 20 0 1 0 199044180 340267008 69210 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 83073 69210 4305 3002 0 66822 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 332292 KiB
Current children cumulated memory: 276840 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.67 3.24 7/256 1048224
/proc/meminfo: memFree=128070472/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=351260 memory=281104 CPUtime=461.1 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 76798 0 8 0 45943 167 0 0 20 0 1 0 199044180 359690240 70276 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 87815 70276 4305 3002 0 71564 0
################
# More data... #
################
Current children cumulated memory: 326160 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.01 7/256 1049834
/proc/meminfo: memFree=127888444/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=382080 memory=326160 CPUtime=2855.13 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 80559 0 8 0 284620 893 0 0 20 0 1 0 199044180 391249920 81540 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 95520 81540 4305 3002 0 79269 0
Current children cumulated CPU time: 2855.13 s
Current children cumulated vsize: 382080 KiB
Current children cumulated memory: 326160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 7/255 1049845
/proc/meminfo: memFree=127886824/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=327336 CPUtime=2914.97 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 80936 0 8 0 290588 909 0 0 20 0 1 0 199044180 442540032 81834 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 81834 4305 3002 0 91791 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 327336 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.01 7/254 1049855
/proc/meminfo: memFree=127886520/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=327336 CPUtime=2974.81 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81062 0 8 0 296557 924 0 0 20 0 1 0 199044180 442540032 81834 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 81834 4305 3002 0 91791 0
Current children cumulated CPU time: 2974.81 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 327336 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 7/254 1049865
/proc/meminfo: memFree=127884204/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=327336 CPUtime=3034.64 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81188 0 8 0 302524 940 0 0 20 0 1 0 199044180 442540032 81834 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 81834 4305 3002 0 91791 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 327336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 7/254 1049876
/proc/meminfo: memFree=127880584/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=329412 CPUtime=3094.47 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81329 0 8 0 308491 956 0 0 20 0 1 0 199044180 442540032 82353 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 82353 4305 3002 0 91791 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 329412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 7/254 1049886
/proc/meminfo: memFree=127877360/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=329412 CPUtime=3154.3 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81444 0 8 0 314459 971 0 0 20 0 1 0 199044180 442540032 82353 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 82353 4305 3002 0 91791 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 329412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 7/256 1049900
/proc/meminfo: memFree=127877108/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=329412 CPUtime=3214.15 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81543 0 8 0 320434 981 0 0 20 0 1 0 199044180 442540032 82353 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 82353 4305 3002 0 91791 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 329412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 8/257 1049912
/proc/meminfo: memFree=127876696/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=329412 CPUtime=3274 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81651 0 8 0 326409 991 0 0 20 0 1 0 199044180 442540032 82353 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 82353 4305 3002 0 91791 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 329412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 7/257 1049922
/proc/meminfo: memFree=127875452/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=329412 CPUtime=3333.84 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81753 0 8 0 332385 999 0 0 20 0 1 0 199044180 442540032 82353 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 82353 4305 3002 0 91791 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 329412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.04 8/257 1049933
/proc/meminfo: memFree=127871160/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=333508 CPUtime=3393.69 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81863 0 8 0 338359 1010 0 0 20 0 1 0 199044180 442540032 83377 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 83377 4305 3002 0 91791 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 333508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.04 7/257 1049943
/proc/meminfo: memFree=127868832/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=333508 CPUtime=3453.54 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 81969 0 8 0 344337 1017 0 0 20 0 1 0 199044180 442540032 83377 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 83377 4305 3002 0 91791 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 333508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.04 7/257 1049954
/proc/meminfo: memFree=127866440/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=333508 CPUtime=3513.38 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 82080 0 8 0 350311 1027 0 0 20 0 1 0 199044180 442540032 83377 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 83377 4305 3002 0 91791 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 333508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 7/254 1049964
/proc/meminfo: memFree=127864188/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=333508 CPUtime=3573.22 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 82189 0 8 0 356286 1036 0 0 20 0 1 0 199044180 442540032 83377 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 83377 4305 3002 0 91791 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 333508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.10 4.04 7/254 1049970
/proc/meminfo: memFree=127861988/131524600 swapFree=131071996/131071996
[pid=1048126] ppid=1048115 vsize=432168 memory=335556 CPUtime=3600.05 cores=1,3
/proc/1048126/stat : 1048126 (mixed-bag) R 1048115 1048126 1048064 0 -1 4194304 82198 0 8 0 358964 1041 0 0 20 0 1 0 199044180 442540032 83889 134679101440 4194304 16488053 140721140490000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 18731784 18742840 35717120 140721140491285 140721140491362 140721140491362 140721140498379 0
/proc/1048126/statm: 108042 83889 4305 3002 0 91791 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 432168 KiB
Current children cumulated memory: 335556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1048126 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.65 s, system=10.4187 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.07
CPU user time (s): 3589.65
CPU system time (s): 10.4187
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 432168
Max. memory (cumulated for all children) (KiB): 335556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.65
system time used= 10.4187
maximum resident set size= 336200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82216
page faults= 9
swaps= 0
block input operations= 1136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 1138
# summary of solver processes directly reported to runsolver:
# pid: 1048126
# total CPU time (s): 3600.07
# total CPU user time (s): 3589.65
# total CPU system time (s): 10.4187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34124 second user time and 19.3187 second system time
The end
Begin job on nodeC028 at 2024-07-20 11:46:24
IDJOB=4454708
IDBENCH=147540
IDSOLVER=3083
FILE ID=nodeC028/4454708-1721468771
RUNJOBID= nodeC028-1721468784-1048076
SLURM_JOB_ID= 7545726
Free space on /tmp= 890064 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454708-1721468771/watcher-4454708-1721468771 -o /tmp/evaluation-result-4454708-1721468771/solver-4454708-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048076 --watchdog 3760 mixed-bag HOME/instance-4454708-1721468771.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=1274062913
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3744.925
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3751.980
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.532
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3811.926
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.198
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.951
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3912.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3879.983
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129092916 kB
MemAvailable: 129738536 kB
Buffers: 553432 kB
Cached: 940904 kB
SwapCached: 0 kB
Active: 1096432 kB
Inactive: 737476 kB
Active(anon): 1440 kB
Inactive(anon): 384044 kB
Active(file): 1094992 kB
Inactive(file): 353432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65172 kB
Writeback: 16 kB
AnonPages: 336784 kB
Mapped: 107260 kB
Shmem: 45912 kB
KReclaimable: 74040 kB
Slab: 181868 kB
SReclaimable: 74040 kB
SUnreclaim: 107828 kB
KernelStack: 3808 kB
PageTables: 9500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 727148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC028 at 2024-07-20 12:46:33