0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.09/300.13 c [STEP] preprocessing done, loading into solver
299.09/300.13 c [STEP] solving
299.09/300.13 c #variables 477 #constraints 476
299.09/300.13 c SMALL=int, LARGE=long long
299.09/300.13 d SCIPUB 191
299.09/300.13 c bounds - >= 0 @ 298.936
299.09/300.13 c stratification level: 0
315.82/316.98 c bounds - >= 50 @ 298.937
315.82/316.98 c bounds - >= 51 @ 298.937
315.82/316.98 c bounds - >= 52 @ 298.937
315.82/316.98 c bounds - >= 53 @ 298.937
315.82/316.98 c bounds - >= 54 @ 298.937
315.82/316.98 c bounds - >= 55 @ 298.937
315.82/316.98 c bounds - >= 56 @ 298.937
315.82/316.98 c bounds - >= 57 @ 298.937
315.82/316.98 c bounds - >= 58 @ 298.937
315.82/316.98 c bounds - >= 59 @ 298.937
315.82/316.98 c bounds - >= 60 @ 298.937
315.82/316.98 c bounds - >= 61 @ 298.937
315.82/316.98 c bounds - >= 62 @ 298.937
315.82/316.98 c bounds - >= 63 @ 298.937
315.82/316.98 c bounds - >= 64 @ 298.937
315.82/316.98 c bounds - >= 65 @ 298.937
315.82/316.98 c bounds - >= 66 @ 298.937
315.82/316.98 c bounds - >= 67 @ 298.937
315.82/316.98 c bounds - >= 68 @ 298.937
315.82/316.98 c bounds - >= 69 @ 298.937
315.82/316.98 c bounds - >= 70 @ 298.938
315.82/316.98 c bounds - >= 71 @ 298.938
315.82/316.98 c bounds - >= 72 @ 298.938
315.82/316.98 c bounds - >= 73 @ 298.938
315.82/316.98 c bounds - >= 74 @ 298.938
315.82/316.98 c bounds - >= 75 @ 298.938
315.82/316.98 c bounds - >= 76 @ 298.938
315.82/316.98 c bounds - >= 77 @ 298.938
315.82/316.98 c bounds - >= 78 @ 298.938
315.82/316.98 c bounds - >= 79 @ 298.938
315.82/316.98 c bounds - >= 80 @ 298.938
315.82/316.98 c bounds - >= 81 @ 298.938
315.82/316.98 c bounds - >= 82 @ 298.938
315.82/316.98 c bounds - >= 83 @ 298.938
315.82/316.98 c bounds - >= 84 @ 298.938
315.82/316.98 c bounds - >= 85 @ 298.938
315.82/316.98 c bounds - >= 86 @ 298.939
315.82/316.98 c bounds - >= 87 @ 298.939
315.82/316.98 c bounds - >= 88 @ 298.939
315.82/316.98 c bounds - >= 89 @ 298.939
315.82/316.98 c bounds - >= 90 @ 298.939
315.82/316.98 c bounds - >= 91 @ 298.939
315.82/316.98 c bounds - >= 92 @ 298.939
315.82/316.98 c bounds - >= 93 @ 298.939
315.82/316.98 c bounds - >= 94 @ 298.939
315.82/316.98 c bounds - >= 95 @ 298.939
315.82/316.98 c bounds - >= 96 @ 298.939
315.82/316.98 c bounds - >= 97 @ 298.939
315.82/316.98 c bounds - >= 98 @ 298.939
315.82/316.98 c bounds - >= 99 @ 298.939
315.82/316.98 c bounds - >= 100 @ 298.939
315.82/316.98 c bounds - >= 101 @ 298.94
315.82/316.98 c bounds - >= 102 @ 298.94
315.82/316.98 c bounds - >= 103 @ 298.94
315.82/316.98 c bounds - >= 104 @ 298.94
315.82/316.98 c bounds - >= 105 @ 298.94
315.82/316.98 c bounds - >= 106 @ 298.94
315.82/316.98 c bounds - >= 107 @ 298.94
315.82/316.98 c bounds - >= 108 @ 298.941
315.82/316.98 c bounds - >= 109 @ 298.941
315.82/316.98 c bounds - >= 110 @ 298.941
315.82/316.98 c bounds - >= 111 @ 298.941
315.82/316.98 c bounds - >= 112 @ 298.942
315.82/316.98 c bounds - >= 113 @ 298.942
315.82/316.98 c bounds - >= 114 @ 298.942
315.82/316.98 c bounds - >= 115 @ 298.942
315.82/316.98 c bounds - >= 116 @ 298.942
315.82/316.98 c bounds - >= 117 @ 298.942
315.82/316.98 c bounds - >= 118 @ 298.942
315.82/316.98 c bounds - >= 119 @ 298.943
315.82/316.98 c bounds - >= 120 @ 298.943
315.82/316.98 c bounds - >= 121 @ 298.943
315.82/316.98 c bounds - >= 122 @ 298.943
315.82/316.98 c bounds - >= 123 @ 298.943
315.82/316.98 c bounds - >= 124 @ 298.943
315.82/316.98 c #Conflicts: 1000 | #Constraints: 1610
315.82/316.98 c #Conflicts: 2000 | #Constraints: 2610
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 3000 | #Constraints: 2539
315.82/316.98 c #Conflicts: 4000 | #Constraints: 3539
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 5000 | #Constraints: 2943
315.82/316.98 c #Conflicts: 6000 | #Constraints: 3943
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 7000 | #Constraints: 2946
315.82/316.98 c #Conflicts: 8000 | #Constraints: 3946
315.82/316.98 c #Conflicts: 9000 | #Constraints: 4946
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 10000 | #Constraints: 3647
315.82/316.98 c #Conflicts: 11000 | #Constraints: 4647
315.82/316.98 c #Conflicts: 12000 | #Constraints: 5647
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 13000 | #Constraints: 4093
315.82/316.98 c #Conflicts: 14000 | #Constraints: 5093
315.82/316.98 c #Conflicts: 15000 | #Constraints: 6093
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 16000 | #Constraints: 4321
315.82/316.98 c #Conflicts: 17000 | #Constraints: 5321
315.82/316.98 c #Conflicts: 18000 | #Constraints: 6321
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 19000 | #Constraints: 4338
315.82/316.98 c #Conflicts: 20000 | #Constraints: 5338
315.82/316.98 c #Conflicts: 21000 | #Constraints: 6338
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 22000 | #Constraints: 4142
315.82/316.98 c #Conflicts: 23000 | #Constraints: 5142
315.82/316.98 c #Conflicts: 24000 | #Constraints: 6142
315.82/316.98 c #Conflicts: 25000 | #Constraints: 7142
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 26000 | #Constraints: 4743
315.82/316.98 c #Conflicts: 27000 | #Constraints: 5743
315.82/316.98 c #Conflicts: 28000 | #Constraints: 6743
315.82/316.98 c #Conflicts: 29000 | #Constraints: 7743
315.82/316.98 c INPROCESSING
315.82/316.98 c GARBAGE COLLECT
315.82/316.98 c #Conflicts: 30000 | #Constraints: 5141
315.82/316.98 c #Conflicts: 31000 | #Constraints: 6141
315.82/316.98 c #Conflicts: 32000 | #Constraints: 7141
315.82/316.98 c #Conflicts: 33000 | #Constraints: 8141
315.82/316.98 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 34000 | #Constraints: 5345
404.04/405.41 c #Conflicts: 35000 | #Constraints: 6345
404.04/405.41 c #Conflicts: 36000 | #Constraints: 7345
404.04/405.41 c #Conflicts: 37000 | #Constraints: 8345
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 38000 | #Constraints: 5353
404.04/405.41 c #Conflicts: 39000 | #Constraints: 6353
404.04/405.41 c #Conflicts: 40000 | #Constraints: 7353
404.04/405.41 c #Conflicts: 41000 | #Constraints: 8353
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 42000 | #Constraints: 5153
404.04/405.41 c #Conflicts: 43000 | #Constraints: 6153
404.04/405.41 c #Conflicts: 44000 | #Constraints: 7153
404.04/405.41 c #Conflicts: 45000 | #Constraints: 8153
404.04/405.41 c #Conflicts: 46000 | #Constraints: 9153
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 47000 | #Constraints: 5745
404.04/405.41 c #Conflicts: 48000 | #Constraints: 6745
404.04/405.41 c #Conflicts: 49000 | #Constraints: 7745
404.04/405.41 c #Conflicts: 50000 | #Constraints: 8745
404.04/405.41 c #Conflicts: 51000 | #Constraints: 9745
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 52000 | #Constraints: 6142
404.04/405.41 c #Conflicts: 53000 | #Constraints: 7142
404.04/405.41 c #Conflicts: 54000 | #Constraints: 8142
404.04/405.41 c #Conflicts: 55000 | #Constraints: 9142
404.04/405.41 c #Conflicts: 56000 | #Constraints: 10142
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 57000 | #Constraints: 6343
404.04/405.41 c #Conflicts: 58000 | #Constraints: 7343
404.04/405.41 c #Conflicts: 59000 | #Constraints: 8343
404.04/405.41 c #Conflicts: 60000 | #Constraints: 9343
404.04/405.41 c #Conflicts: 61000 | #Constraints: 10343
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 62000 | #Constraints: 6345
404.04/405.41 c #Conflicts: 63000 | #Constraints: 7345
404.04/405.41 c #Conflicts: 64000 | #Constraints: 8345
404.04/405.41 c #Conflicts: 65000 | #Constraints: 9345
404.04/405.41 c #Conflicts: 66000 | #Constraints: 10345
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 67000 | #Constraints: 6143
404.04/405.41 c #Conflicts: 68000 | #Constraints: 7143
404.04/405.41 c #Conflicts: 69000 | #Constraints: 8143
404.04/405.41 c #Conflicts: 70000 | #Constraints: 9143
404.04/405.41 c #Conflicts: 71000 | #Constraints: 10143
404.04/405.41 c #Conflicts: 72000 | #Constraints: 11143
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 73000 | #Constraints: 6741
404.04/405.41 c #Conflicts: 74000 | #Constraints: 7741
404.04/405.41 c #Conflicts: 75000 | #Constraints: 8741
404.04/405.41 c #Conflicts: 76000 | #Constraints: 9741
404.04/405.41 c #Conflicts: 77000 | #Constraints: 10741
404.04/405.41 c #Conflicts: 78000 | #Constraints: 11741
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 79000 | #Constraints: 7152
404.04/405.41 c #Conflicts: 80000 | #Constraints: 8152
404.04/405.41 c #Conflicts: 81000 | #Constraints: 9152
404.04/405.41 c #Conflicts: 82000 | #Constraints: 10152
404.04/405.41 c #Conflicts: 83000 | #Constraints: 11152
404.04/405.41 c #Conflicts: 84000 | #Constraints: 12152
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 85000 | #Constraints: 7351
404.04/405.41 c #Conflicts: 86000 | #Constraints: 8351
404.04/405.41 c #Conflicts: 87000 | #Constraints: 9351
404.04/405.41 c #Conflicts: 88000 | #Constraints: 10351
404.04/405.41 c #Conflicts: 89000 | #Constraints: 11351
404.04/405.41 c #Conflicts: 90000 | #Constraints: 12351
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 91000 | #Constraints: 7357
404.04/405.41 c #Conflicts: 92000 | #Constraints: 8357
404.04/405.41 c #Conflicts: 93000 | #Constraints: 9357
404.04/405.41 c #Conflicts: 94000 | #Constraints: 10357
404.04/405.41 c #Conflicts: 95000 | #Constraints: 11357
404.04/405.41 c #Conflicts: 96000 | #Constraints: 12357
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 97000 | #Constraints: 7154
404.04/405.41 c #Conflicts: 98000 | #Constraints: 8154
404.04/405.41 c #Conflicts: 99000 | #Constraints: 9154
404.04/405.41 c #Conflicts: 100000 | #Constraints: 10154
404.04/405.41 c #Conflicts: 101000 | #Constraints: 11154
404.04/405.41 c #Conflicts: 102000 | #Constraints: 12154
404.04/405.41 c #Conflicts: 103000 | #Constraints: 13154
404.04/405.41 c INPROCESSING
404.04/405.41 c GARBAGE COLLECT
404.04/405.41 c #Conflicts: 104000 | #Constraints: 7748
509.81/511.54 c #Conflicts: 105000 | #Constraints: 8748
509.81/511.54 c #Conflicts: 106000 | #Constraints: 9748
509.81/511.54 c #Conflicts: 107000 | #Constraints: 10748
509.81/511.54 c #Conflicts: 108000 | #Constraints: 11748
509.81/511.54 c #Conflicts: 109000 | #Constraints: 12748
509.81/511.54 c #Conflicts: 110000 | #Constraints: 13748
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 111000 | #Constraints: 8149
509.81/511.54 c #Conflicts: 112000 | #Constraints: 9149
509.81/511.54 c #Conflicts: 113000 | #Constraints: 10149
509.81/511.54 c #Conflicts: 114000 | #Constraints: 11149
509.81/511.54 c #Conflicts: 115000 | #Constraints: 12149
509.81/511.54 c #Conflicts: 116000 | #Constraints: 13149
509.81/511.54 c #Conflicts: 117000 | #Constraints: 14149
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 118000 | #Constraints: 8347
509.81/511.54 c #Conflicts: 119000 | #Constraints: 9347
509.81/511.54 c #Conflicts: 120000 | #Constraints: 10347
509.81/511.54 c #Conflicts: 121000 | #Constraints: 11347
509.81/511.54 c #Conflicts: 122000 | #Constraints: 12347
509.81/511.54 c #Conflicts: 123000 | #Constraints: 13347
509.81/511.54 c #Conflicts: 124000 | #Constraints: 14347
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 125000 | #Constraints: 8342
509.81/511.54 c #Conflicts: 126000 | #Constraints: 9342
509.81/511.54 c #Conflicts: 127000 | #Constraints: 10342
509.81/511.54 c #Conflicts: 128000 | #Constraints: 11342
509.81/511.54 c #Conflicts: 129000 | #Constraints: 12342
509.81/511.54 c #Conflicts: 130000 | #Constraints: 13342
509.81/511.54 c #Conflicts: 131000 | #Constraints: 14342
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 132000 | #Constraints: 8142
509.81/511.54 c #Conflicts: 133000 | #Constraints: 9142
509.81/511.54 c #Conflicts: 134000 | #Constraints: 10142
509.81/511.54 c #Conflicts: 135000 | #Constraints: 11142
509.81/511.54 c #Conflicts: 136000 | #Constraints: 12142
509.81/511.54 c #Conflicts: 137000 | #Constraints: 13142
509.81/511.54 c #Conflicts: 138000 | #Constraints: 14142
509.81/511.54 c #Conflicts: 139000 | #Constraints: 15142
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 140000 | #Constraints: 8742
509.81/511.54 c #Conflicts: 141000 | #Constraints: 9742
509.81/511.54 c #Conflicts: 142000 | #Constraints: 10742
509.81/511.54 c #Conflicts: 143000 | #Constraints: 11742
509.81/511.54 c #Conflicts: 144000 | #Constraints: 12742
509.81/511.54 c #Conflicts: 145000 | #Constraints: 13742
509.81/511.54 c #Conflicts: 146000 | #Constraints: 14742
509.81/511.54 c #Conflicts: 147000 | #Constraints: 15742
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 148000 | #Constraints: 9143
509.81/511.54 c #Conflicts: 149000 | #Constraints: 10143
509.81/511.54 c #Conflicts: 150000 | #Constraints: 11143
509.81/511.54 c #Conflicts: 151000 | #Constraints: 12143
509.81/511.54 c #Conflicts: 152000 | #Constraints: 13143
509.81/511.54 c #Conflicts: 153000 | #Constraints: 14143
509.81/511.54 c #Conflicts: 154000 | #Constraints: 15143
509.81/511.54 c #Conflicts: 155000 | #Constraints: 16143
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 156000 | #Constraints: 9345
509.81/511.54 c #Conflicts: 157000 | #Constraints: 10345
509.81/511.54 c #Conflicts: 158000 | #Constraints: 11345
509.81/511.54 c #Conflicts: 159000 | #Constraints: 12345
509.81/511.54 c #Conflicts: 160000 | #Constraints: 13345
509.81/511.54 c #Conflicts: 161000 | #Constraints: 14345
509.81/511.54 c #Conflicts: 162000 | #Constraints: 15345
509.81/511.54 c #Conflicts: 163000 | #Constraints: 16345
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 164000 | #Constraints: 9346
509.81/511.54 c #Conflicts: 165000 | #Constraints: 10346
509.81/511.54 c #Conflicts: 166000 | #Constraints: 11346
509.81/511.54 c #Conflicts: 167000 | #Constraints: 12346
509.81/511.54 c #Conflicts: 168000 | #Constraints: 13346
509.81/511.54 c #Conflicts: 169000 | #Constraints: 14346
509.81/511.54 c #Conflicts: 170000 | #Constraints: 15346
509.81/511.54 c #Conflicts: 171000 | #Constraints: 16346
509.81/511.54 c INPROCESSING
509.81/511.54 c GARBAGE COLLECT
509.81/511.54 c #Conflicts: 172000 | #Constraints: 9151
509.81/511.54 c #Conflicts: 173000 | #Constraints: 10151
509.81/511.54 c #Conflicts: 174000 | #Constraints: 11151
509.81/511.54 c #Conflicts: 175000 | #Constraints: 12151
509.81/511.54 c #Conflicts: 176000 | #Constraints: 13151
509.81/511.54 c #Conflicts: 177000 | #Constraints: 14151
660.61/662.88 c #Conflicts: 178000 | #Constraints: 15151
660.61/662.88 c #Conflicts: 179000 | #Constraints: 16151
660.61/662.88 c #Conflicts: 180000 | #Constraints: 17151
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 181000 | #Constraints: 9754
660.61/662.88 c #Conflicts: 182000 | #Constraints: 10754
660.61/662.88 c #Conflicts: 183000 | #Constraints: 11754
660.61/662.88 c #Conflicts: 184000 | #Constraints: 12754
660.61/662.88 c #Conflicts: 185000 | #Constraints: 13754
660.61/662.88 c #Conflicts: 186000 | #Constraints: 14754
660.61/662.88 c #Conflicts: 187000 | #Constraints: 15754
660.61/662.88 c #Conflicts: 188000 | #Constraints: 16754
660.61/662.88 c #Conflicts: 189000 | #Constraints: 17754
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 190000 | #Constraints: 10154
660.61/662.88 c #Conflicts: 191000 | #Constraints: 11154
660.61/662.88 c #Conflicts: 192000 | #Constraints: 12154
660.61/662.88 c #Conflicts: 193000 | #Constraints: 13154
660.61/662.88 c #Conflicts: 194000 | #Constraints: 14154
660.61/662.88 c #Conflicts: 195000 | #Constraints: 15154
660.61/662.88 c #Conflicts: 196000 | #Constraints: 16154
660.61/662.88 c #Conflicts: 197000 | #Constraints: 17154
660.61/662.88 c #Conflicts: 198000 | #Constraints: 18154
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 199000 | #Constraints: 10352
660.61/662.88 c #Conflicts: 200000 | #Constraints: 11352
660.61/662.88 c #Conflicts: 201000 | #Constraints: 12352
660.61/662.88 c #Conflicts: 202000 | #Constraints: 13352
660.61/662.88 c #Conflicts: 203000 | #Constraints: 14352
660.61/662.88 c #Conflicts: 204000 | #Constraints: 15352
660.61/662.88 c #Conflicts: 205000 | #Constraints: 16352
660.61/662.88 c #Conflicts: 206000 | #Constraints: 17352
660.61/662.88 c #Conflicts: 207000 | #Constraints: 18352
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 208000 | #Constraints: 10350
660.61/662.88 c #Conflicts: 209000 | #Constraints: 11350
660.61/662.88 c #Conflicts: 210000 | #Constraints: 12350
660.61/662.88 c #Conflicts: 211000 | #Constraints: 13350
660.61/662.88 c #Conflicts: 212000 | #Constraints: 14350
660.61/662.88 c #Conflicts: 213000 | #Constraints: 15350
660.61/662.88 c #Conflicts: 214000 | #Constraints: 16350
660.61/662.88 c #Conflicts: 215000 | #Constraints: 17350
660.61/662.88 c #Conflicts: 216000 | #Constraints: 18350
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 217000 | #Constraints: 10152
660.61/662.88 c #Conflicts: 218000 | #Constraints: 11152
660.61/662.88 c #Conflicts: 219000 | #Constraints: 12152
660.61/662.88 c #Conflicts: 220000 | #Constraints: 13152
660.61/662.88 c #Conflicts: 221000 | #Constraints: 14152
660.61/662.88 c #Conflicts: 222000 | #Constraints: 15152
660.61/662.88 c #Conflicts: 223000 | #Constraints: 16152
660.61/662.88 c #Conflicts: 224000 | #Constraints: 17152
660.61/662.88 c #Conflicts: 225000 | #Constraints: 18152
660.61/662.88 c #Conflicts: 226000 | #Constraints: 19152
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 227000 | #Constraints: 10758
660.61/662.88 c #Conflicts: 228000 | #Constraints: 11758
660.61/662.88 c #Conflicts: 229000 | #Constraints: 12758
660.61/662.88 c #Conflicts: 230000 | #Constraints: 13758
660.61/662.88 c #Conflicts: 231000 | #Constraints: 14758
660.61/662.88 c #Conflicts: 232000 | #Constraints: 15758
660.61/662.88 c #Conflicts: 233000 | #Constraints: 16758
660.61/662.88 c #Conflicts: 234000 | #Constraints: 17758
660.61/662.88 c #Conflicts: 235000 | #Constraints: 18758
660.61/662.88 c #Conflicts: 236000 | #Constraints: 19758
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 237000 | #Constraints: 11155
660.61/662.88 c #Conflicts: 238000 | #Constraints: 12155
660.61/662.88 c #Conflicts: 239000 | #Constraints: 13155
660.61/662.88 c #Conflicts: 240000 | #Constraints: 14155
660.61/662.88 c #Conflicts: 241000 | #Constraints: 15155
660.61/662.88 c #Conflicts: 242000 | #Constraints: 16155
660.61/662.88 c #Conflicts: 243000 | #Constraints: 17155
660.61/662.88 c #Conflicts: 244000 | #Constraints: 18155
660.61/662.88 c #Conflicts: 245000 | #Constraints: 19155
660.61/662.88 c #Conflicts: 246000 | #Constraints: 20155
660.61/662.88 c INPROCESSING
660.61/662.88 c GARBAGE COLLECT
660.61/662.88 c #Conflicts: 247000 | #Constraints: 11354
660.61/662.88 c #Conflicts: 248000 | #Constraints: 12354
660.61/662.88 c #Conflicts: 249000 | #Constraints: 13354
660.61/662.88 c #Conflicts: 250000 | #Constraints: 14354
829.17/831.99 c #Conflicts: 251000 | #Constraints: 15354
829.17/831.99 c #Conflicts: 252000 | #Constraints: 16354
829.17/831.99 c #Conflicts: 253000 | #Constraints: 17354
829.17/831.99 c #Conflicts: 254000 | #Constraints: 18354
829.17/831.99 c #Conflicts: 255000 | #Constraints: 19354
829.17/831.99 c #Conflicts: 256000 | #Constraints: 20354
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 257000 | #Constraints: 11351
829.17/831.99 c #Conflicts: 258000 | #Constraints: 12351
829.17/831.99 c #Conflicts: 259000 | #Constraints: 13351
829.17/831.99 c #Conflicts: 260000 | #Constraints: 14351
829.17/831.99 c #Conflicts: 261000 | #Constraints: 15351
829.17/831.99 c #Conflicts: 262000 | #Constraints: 16351
829.17/831.99 c #Conflicts: 263000 | #Constraints: 17351
829.17/831.99 c #Conflicts: 264000 | #Constraints: 18351
829.17/831.99 c #Conflicts: 265000 | #Constraints: 19351
829.17/831.99 c #Conflicts: 266000 | #Constraints: 20351
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 267000 | #Constraints: 11153
829.17/831.99 c #Conflicts: 268000 | #Constraints: 12153
829.17/831.99 c #Conflicts: 269000 | #Constraints: 13153
829.17/831.99 c #Conflicts: 270000 | #Constraints: 14153
829.17/831.99 c #Conflicts: 271000 | #Constraints: 15153
829.17/831.99 c #Conflicts: 272000 | #Constraints: 16153
829.17/831.99 c #Conflicts: 273000 | #Constraints: 17153
829.17/831.99 c #Conflicts: 274000 | #Constraints: 18153
829.17/831.99 c #Conflicts: 275000 | #Constraints: 19153
829.17/831.99 c #Conflicts: 276000 | #Constraints: 20153
829.17/831.99 c #Conflicts: 277000 | #Constraints: 21153
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 278000 | #Constraints: 11750
829.17/831.99 c #Conflicts: 279000 | #Constraints: 12750
829.17/831.99 c #Conflicts: 280000 | #Constraints: 13750
829.17/831.99 c #Conflicts: 281000 | #Constraints: 14750
829.17/831.99 c #Conflicts: 282000 | #Constraints: 15750
829.17/831.99 c #Conflicts: 283000 | #Constraints: 16750
829.17/831.99 c #Conflicts: 284000 | #Constraints: 17750
829.17/831.99 c #Conflicts: 285000 | #Constraints: 18750
829.17/831.99 c #Conflicts: 286000 | #Constraints: 19750
829.17/831.99 c #Conflicts: 287000 | #Constraints: 20750
829.17/831.99 c #Conflicts: 288000 | #Constraints: 21750
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 289000 | #Constraints: 12151
829.17/831.99 c #Conflicts: 290000 | #Constraints: 13151
829.17/831.99 c #Conflicts: 291000 | #Constraints: 14151
829.17/831.99 c #Conflicts: 292000 | #Constraints: 15151
829.17/831.99 c #Conflicts: 293000 | #Constraints: 16151
829.17/831.99 c #Conflicts: 294000 | #Constraints: 17151
829.17/831.99 c #Conflicts: 295000 | #Constraints: 18151
829.17/831.99 c #Conflicts: 296000 | #Constraints: 19151
829.17/831.99 c #Conflicts: 297000 | #Constraints: 20151
829.17/831.99 c #Conflicts: 298000 | #Constraints: 21151
829.17/831.99 c #Conflicts: 299000 | #Constraints: 22151
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 300000 | #Constraints: 12354
829.17/831.99 c #Conflicts: 301000 | #Constraints: 13354
829.17/831.99 c #Conflicts: 302000 | #Constraints: 14354
829.17/831.99 c #Conflicts: 303000 | #Constraints: 15354
829.17/831.99 c #Conflicts: 304000 | #Constraints: 16354
829.17/831.99 c #Conflicts: 305000 | #Constraints: 17354
829.17/831.99 c #Conflicts: 306000 | #Constraints: 18354
829.17/831.99 c #Conflicts: 307000 | #Constraints: 19354
829.17/831.99 c #Conflicts: 308000 | #Constraints: 20354
829.17/831.99 c #Conflicts: 309000 | #Constraints: 21354
829.17/831.99 c #Conflicts: 310000 | #Constraints: 22354
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 311000 | #Constraints: 12354
829.17/831.99 c #Conflicts: 312000 | #Constraints: 13354
829.17/831.99 c #Conflicts: 313000 | #Constraints: 14354
829.17/831.99 c #Conflicts: 314000 | #Constraints: 15354
829.17/831.99 c #Conflicts: 315000 | #Constraints: 16354
829.17/831.99 c #Conflicts: 316000 | #Constraints: 17354
829.17/831.99 c #Conflicts: 317000 | #Constraints: 18354
829.17/831.99 c #Conflicts: 318000 | #Constraints: 19354
829.17/831.99 c #Conflicts: 319000 | #Constraints: 20354
829.17/831.99 c #Conflicts: 320000 | #Constraints: 21354
829.17/831.99 c #Conflicts: 321000 | #Constraints: 22354
829.17/831.99 c INPROCESSING
829.17/831.99 c GARBAGE COLLECT
829.17/831.99 c #Conflicts: 322000 | #Constraints: 12153
829.17/831.99 c #Conflicts: 323000 | #Constraints: 13153
829.17/831.99 c #Conflicts: 324000 | #Constraints: 14153
829.17/831.99 c #Conflicts: 325000 | #Constraints: 15153
1036.80/1040.21 c #Conflicts: 326000 | #Constraints: 16153
1036.80/1040.21 c #Conflicts: 327000 | #Constraints: 17153
1036.80/1040.21 c #Conflicts: 328000 | #Constraints: 18153
1036.80/1040.21 c #Conflicts: 329000 | #Constraints: 19153
1036.80/1040.21 c #Conflicts: 330000 | #Constraints: 20153
1036.80/1040.21 c #Conflicts: 331000 | #Constraints: 21153
1036.80/1040.21 c #Conflicts: 332000 | #Constraints: 22153
1036.80/1040.21 c #Conflicts: 333000 | #Constraints: 23153
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 334000 | #Constraints: 12748
1036.80/1040.21 c #Conflicts: 335000 | #Constraints: 13748
1036.80/1040.21 c #Conflicts: 336000 | #Constraints: 14748
1036.80/1040.21 c #Conflicts: 337000 | #Constraints: 15748
1036.80/1040.21 c #Conflicts: 338000 | #Constraints: 16748
1036.80/1040.21 c #Conflicts: 339000 | #Constraints: 17748
1036.80/1040.21 c #Conflicts: 340000 | #Constraints: 18748
1036.80/1040.21 c #Conflicts: 341000 | #Constraints: 19748
1036.80/1040.21 c #Conflicts: 342000 | #Constraints: 20748
1036.80/1040.21 c #Conflicts: 343000 | #Constraints: 21748
1036.80/1040.21 c #Conflicts: 344000 | #Constraints: 22748
1036.80/1040.21 c #Conflicts: 345000 | #Constraints: 23748
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 346000 | #Constraints: 13153
1036.80/1040.21 c #Conflicts: 347000 | #Constraints: 14153
1036.80/1040.21 c #Conflicts: 348000 | #Constraints: 15153
1036.80/1040.21 c #Conflicts: 349000 | #Constraints: 16153
1036.80/1040.21 c #Conflicts: 350000 | #Constraints: 17153
1036.80/1040.21 c #Conflicts: 351000 | #Constraints: 18153
1036.80/1040.21 c #Conflicts: 352000 | #Constraints: 19153
1036.80/1040.21 c #Conflicts: 353000 | #Constraints: 20153
1036.80/1040.21 c #Conflicts: 354000 | #Constraints: 21153
1036.80/1040.21 c #Conflicts: 355000 | #Constraints: 22153
1036.80/1040.21 c #Conflicts: 356000 | #Constraints: 23153
1036.80/1040.21 c #Conflicts: 357000 | #Constraints: 24153
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 358000 | #Constraints: 13353
1036.80/1040.21 c #Conflicts: 359000 | #Constraints: 14353
1036.80/1040.21 c #Conflicts: 360000 | #Constraints: 15353
1036.80/1040.21 c #Conflicts: 361000 | #Constraints: 16353
1036.80/1040.21 c #Conflicts: 362000 | #Constraints: 17353
1036.80/1040.21 c #Conflicts: 363000 | #Constraints: 18353
1036.80/1040.21 c #Conflicts: 364000 | #Constraints: 19353
1036.80/1040.21 c #Conflicts: 365000 | #Constraints: 20353
1036.80/1040.21 c #Conflicts: 366000 | #Constraints: 21353
1036.80/1040.21 c #Conflicts: 367000 | #Constraints: 22353
1036.80/1040.21 c #Conflicts: 368000 | #Constraints: 23353
1036.80/1040.21 c #Conflicts: 369000 | #Constraints: 24353
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 370000 | #Constraints: 13358
1036.80/1040.21 c #Conflicts: 371000 | #Constraints: 14358
1036.80/1040.21 c #Conflicts: 372000 | #Constraints: 15358
1036.80/1040.21 c #Conflicts: 373000 | #Constraints: 16358
1036.80/1040.21 c #Conflicts: 374000 | #Constraints: 17358
1036.80/1040.21 c #Conflicts: 375000 | #Constraints: 18358
1036.80/1040.21 c #Conflicts: 376000 | #Constraints: 19358
1036.80/1040.21 c #Conflicts: 377000 | #Constraints: 20358
1036.80/1040.21 c #Conflicts: 378000 | #Constraints: 21358
1036.80/1040.21 c #Conflicts: 379000 | #Constraints: 22358
1036.80/1040.21 c #Conflicts: 380000 | #Constraints: 23358
1036.80/1040.21 c #Conflicts: 381000 | #Constraints: 24358
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 382000 | #Constraints: 13157
1036.80/1040.21 c #Conflicts: 383000 | #Constraints: 14157
1036.80/1040.21 c #Conflicts: 384000 | #Constraints: 15157
1036.80/1040.21 c #Conflicts: 385000 | #Constraints: 16157
1036.80/1040.21 c #Conflicts: 386000 | #Constraints: 17157
1036.80/1040.21 c #Conflicts: 387000 | #Constraints: 18157
1036.80/1040.21 c #Conflicts: 388000 | #Constraints: 19157
1036.80/1040.21 c #Conflicts: 389000 | #Constraints: 20157
1036.80/1040.21 c #Conflicts: 390000 | #Constraints: 21157
1036.80/1040.21 c #Conflicts: 391000 | #Constraints: 22157
1036.80/1040.21 c #Conflicts: 392000 | #Constraints: 23157
1036.80/1040.21 c #Conflicts: 393000 | #Constraints: 24157
1036.80/1040.21 c #Conflicts: 394000 | #Constraints: 25157
1036.80/1040.21 c INPROCESSING
1036.80/1040.21 c GARBAGE COLLECT
1036.80/1040.21 c #Conflicts: 395000 | #Constraints: 13756
1036.80/1040.21 c #Conflicts: 396000 | #Constraints: 14756
1036.80/1040.21 c #Conflicts: 397000 | #Constraints: 15756
1036.80/1040.21 c #Conflicts: 398000 | #Constraints: 16756
1036.80/1040.21 c #Conflicts: 399000 | #Constraints: 17756
1036.80/1040.21 c #Conflicts: 400000 | #Constraints: 18756
1310.52/1314.89 c #Conflicts: 401000 | #Constraints: 19756
1310.52/1314.89 c #Conflicts: 402000 | #Constraints: 20756
1310.52/1314.89 c #Conflicts: 403000 | #Constraints: 21756
1310.52/1314.89 c #Conflicts: 404000 | #Constraints: 22756
1310.52/1314.89 c #Conflicts: 405000 | #Constraints: 23756
1310.52/1314.89 c #Conflicts: 406000 | #Constraints: 24756
1310.52/1314.89 c #Conflicts: 407000 | #Constraints: 25756
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 408000 | #Constraints: 14153
1310.52/1314.89 c #Conflicts: 409000 | #Constraints: 15153
1310.52/1314.89 c #Conflicts: 410000 | #Constraints: 16153
1310.52/1314.89 c #Conflicts: 411000 | #Constraints: 17153
1310.52/1314.89 c #Conflicts: 412000 | #Constraints: 18153
1310.52/1314.89 c #Conflicts: 413000 | #Constraints: 19153
1310.52/1314.89 c #Conflicts: 414000 | #Constraints: 20153
1310.52/1314.89 c #Conflicts: 415000 | #Constraints: 21153
1310.52/1314.89 c #Conflicts: 416000 | #Constraints: 22153
1310.52/1314.89 c #Conflicts: 417000 | #Constraints: 23153
1310.52/1314.89 c #Conflicts: 418000 | #Constraints: 24153
1310.52/1314.89 c #Conflicts: 419000 | #Constraints: 25153
1310.52/1314.89 c #Conflicts: 420000 | #Constraints: 26153
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 421000 | #Constraints: 14352
1310.52/1314.89 c #Conflicts: 422000 | #Constraints: 15352
1310.52/1314.89 c #Conflicts: 423000 | #Constraints: 16352
1310.52/1314.89 c #Conflicts: 424000 | #Constraints: 17352
1310.52/1314.89 c #Conflicts: 425000 | #Constraints: 18352
1310.52/1314.89 c #Conflicts: 426000 | #Constraints: 19352
1310.52/1314.89 c #Conflicts: 427000 | #Constraints: 20352
1310.52/1314.89 c #Conflicts: 428000 | #Constraints: 21352
1310.52/1314.89 c #Conflicts: 429000 | #Constraints: 22352
1310.52/1314.89 c #Conflicts: 430000 | #Constraints: 23352
1310.52/1314.89 c #Conflicts: 431000 | #Constraints: 24352
1310.52/1314.89 c #Conflicts: 432000 | #Constraints: 25352
1310.52/1314.89 c #Conflicts: 433000 | #Constraints: 26352
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 434000 | #Constraints: 14353
1310.52/1314.89 c #Conflicts: 435000 | #Constraints: 15353
1310.52/1314.89 c #Conflicts: 436000 | #Constraints: 16353
1310.52/1314.89 c #Conflicts: 437000 | #Constraints: 17353
1310.52/1314.89 c #Conflicts: 438000 | #Constraints: 18353
1310.52/1314.89 c #Conflicts: 439000 | #Constraints: 19353
1310.52/1314.89 c #Conflicts: 440000 | #Constraints: 20353
1310.52/1314.89 c #Conflicts: 441000 | #Constraints: 21353
1310.52/1314.89 c #Conflicts: 442000 | #Constraints: 22353
1310.52/1314.89 c #Conflicts: 443000 | #Constraints: 23353
1310.52/1314.89 c #Conflicts: 444000 | #Constraints: 24353
1310.52/1314.89 c #Conflicts: 445000 | #Constraints: 25353
1310.52/1314.89 c #Conflicts: 446000 | #Constraints: 26353
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 447000 | #Constraints: 14159
1310.52/1314.89 c #Conflicts: 448000 | #Constraints: 15159
1310.52/1314.89 c #Conflicts: 449000 | #Constraints: 16159
1310.52/1314.89 c #Conflicts: 450000 | #Constraints: 17159
1310.52/1314.89 c #Conflicts: 451000 | #Constraints: 18159
1310.52/1314.89 c #Conflicts: 452000 | #Constraints: 19159
1310.52/1314.89 c #Conflicts: 453000 | #Constraints: 20159
1310.52/1314.89 c #Conflicts: 454000 | #Constraints: 21159
1310.52/1314.89 c #Conflicts: 455000 | #Constraints: 22159
1310.52/1314.89 c #Conflicts: 456000 | #Constraints: 23159
1310.52/1314.89 c #Conflicts: 457000 | #Constraints: 24159
1310.52/1314.89 c #Conflicts: 458000 | #Constraints: 25159
1310.52/1314.89 c #Conflicts: 459000 | #Constraints: 26159
1310.52/1314.89 c #Conflicts: 460000 | #Constraints: 27159
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 461000 | #Constraints: 14756
1310.52/1314.89 c #Conflicts: 462000 | #Constraints: 15756
1310.52/1314.89 c #Conflicts: 463000 | #Constraints: 16756
1310.52/1314.89 c #Conflicts: 464000 | #Constraints: 17756
1310.52/1314.89 c #Conflicts: 465000 | #Constraints: 18756
1310.52/1314.89 c #Conflicts: 466000 | #Constraints: 19756
1310.52/1314.89 c #Conflicts: 467000 | #Constraints: 20756
1310.52/1314.89 c #Conflicts: 468000 | #Constraints: 21756
1310.52/1314.89 c #Conflicts: 469000 | #Constraints: 22756
1310.52/1314.89 c #Conflicts: 470000 | #Constraints: 23756
1310.52/1314.89 c #Conflicts: 471000 | #Constraints: 24756
1310.52/1314.89 c #Conflicts: 472000 | #Constraints: 25756
1310.52/1314.89 c #Conflicts: 473000 | #Constraints: 26756
1310.52/1314.89 c #Conflicts: 474000 | #Constraints: 27756
1310.52/1314.89 c INPROCESSING
1310.52/1314.89 c GARBAGE COLLECT
1310.52/1314.89 c #Conflicts: 475000 | #Constraints: 15155
1578.55/1583.79 c #Conflicts: 476000 | #Constraints: 16155
1578.55/1583.79 c #Conflicts: 477000 | #Constraints: 17155
1578.55/1583.79 c #Conflicts: 478000 | #Constraints: 18155
1578.55/1583.79 c #Conflicts: 479000 | #Constraints: 19155
1578.55/1583.79 c #Conflicts: 480000 | #Constraints: 20155
1578.55/1583.79 c #Conflicts: 481000 | #Constraints: 21155
1578.55/1583.79 c #Conflicts: 482000 | #Constraints: 22155
1578.55/1583.79 c #Conflicts: 483000 | #Constraints: 23155
1578.55/1583.79 c #Conflicts: 484000 | #Constraints: 24155
1578.55/1583.79 c #Conflicts: 485000 | #Constraints: 25155
1578.55/1583.79 c #Conflicts: 486000 | #Constraints: 26155
1578.55/1583.79 c #Conflicts: 487000 | #Constraints: 27155
1578.55/1583.79 c #Conflicts: 488000 | #Constraints: 28155
1578.55/1583.79 c INPROCESSING
1578.55/1583.79 c GARBAGE COLLECT
1578.55/1583.79 c #Conflicts: 489000 | #Constraints: 15360
1578.55/1583.79 c #Conflicts: 490000 | #Constraints: 16360
1578.55/1583.79 c #Conflicts: 491000 | #Constraints: 17360
1578.55/1583.79 c #Conflicts: 492000 | #Constraints: 18360
1578.55/1583.79 c #Conflicts: 493000 | #Constraints: 19360
1578.55/1583.79 c #Conflicts: 494000 | #Constraints: 20360
1578.55/1583.79 c #Conflicts: 495000 | #Constraints: 21360
1578.55/1583.79 c #Conflicts: 496000 | #Constraints: 22360
1578.55/1583.79 c #Conflicts: 497000 | #Constraints: 23360
1578.55/1583.79 c #Conflicts: 498000 | #Constraints: 24360
1578.55/1583.79 c #Conflicts: 499000 | #Constraints: 25360
1578.55/1583.79 c #Conflicts: 500000 | #Constraints: 26360
1578.55/1583.79 c #Conflicts: 501000 | #Constraints: 27360
1578.55/1583.79 c #Conflicts: 502000 | #Constraints: 28360
1578.55/1583.79 c INPROCESSING
1578.55/1583.79 c GARBAGE COLLECT
1578.55/1583.79 c #Conflicts: 503000 | #Constraints: 15364
1578.55/1583.79 c #Conflicts: 504000 | #Constraints: 16364
1578.55/1583.79 c #Conflicts: 505000 | #Constraints: 17364
1578.55/1583.79 c #Conflicts: 506000 | #Constraints: 18364
1578.55/1583.79 c #Conflicts: 507000 | #Constraints: 19364
1578.55/1583.79 c #Conflicts: 508000 | #Constraints: 20364
1578.55/1583.79 c #Conflicts: 509000 | #Constraints: 21364
1578.55/1583.79 c #Conflicts: 510000 | #Constraints: 22364
1578.55/1583.79 c #Conflicts: 511000 | #Constraints: 23364
1578.55/1583.79 c #Conflicts: 512000 | #Constraints: 24364
1578.55/1583.79 c #Conflicts: 513000 | #Constraints: 25364
1578.55/1583.79 c #Conflicts: 514000 | #Constraints: 26364
1578.55/1583.79 c #Conflicts: 515000 | #Constraints: 27364
1578.55/1583.79 c #Conflicts: 516000 | #Constraints: 28364
1578.55/1583.79 c INPROCESSING
1578.55/1583.79 c GARBAGE COLLECT
1578.55/1583.79 c #Conflicts: 517000 | #Constraints: 15159
1578.55/1583.79 c #Conflicts: 518000 | #Constraints: 16159
1578.55/1583.79 c #Conflicts: 519000 | #Constraints: 17159
1578.55/1583.79 c #Conflicts: 520000 | #Constraints: 18159
1578.55/1583.79 c #Conflicts: 521000 | #Constraints: 19159
1578.55/1583.79 c #Conflicts: 522000 | #Constraints: 20159
1578.55/1583.79 c #Conflicts: 523000 | #Constraints: 21159
1578.55/1583.79 c #Conflicts: 524000 | #Constraints: 22159
1578.55/1583.79 c #Conflicts: 525000 | #Constraints: 23159
1578.55/1583.79 c #Conflicts: 526000 | #Constraints: 24159
1578.55/1583.79 c #Conflicts: 527000 | #Constraints: 25159
1578.55/1583.79 c #Conflicts: 528000 | #Constraints: 26159
1578.55/1583.79 c #Conflicts: 529000 | #Constraints: 27159
1578.55/1583.79 c #Conflicts: 530000 | #Constraints: 28159
1578.55/1583.79 c #Conflicts: 531000 | #Constraints: 29159
1578.55/1583.79 c INPROCESSING
1578.55/1583.79 c GARBAGE COLLECT
1578.55/1583.79 c #Conflicts: 532000 | #Constraints: 15758
1578.55/1583.79 c #Conflicts: 533000 | #Constraints: 16758
1578.55/1583.79 c #Conflicts: 534000 | #Constraints: 17758
1578.55/1583.79 c #Conflicts: 535000 | #Constraints: 18758
1578.55/1583.79 c #Conflicts: 536000 | #Constraints: 19758
1578.55/1583.79 c #Conflicts: 537000 | #Constraints: 20758
1578.55/1583.79 c #Conflicts: 538000 | #Constraints: 21758
1578.55/1583.79 c #Conflicts: 539000 | #Constraints: 22758
1578.55/1583.79 c #Conflicts: 540000 | #Constraints: 23758
1578.55/1583.79 c #Conflicts: 541000 | #Constraints: 24758
1578.55/1583.79 c #Conflicts: 542000 | #Constraints: 25758
1578.55/1583.79 c #Conflicts: 543000 | #Constraints: 26758
1578.55/1583.79 c #Conflicts: 544000 | #Constraints: 27758
1578.55/1583.79 c #Conflicts: 545000 | #Constraints: 28758
1578.55/1583.79 c #Conflicts: 546000 | #Constraints: 29758
1578.55/1583.79 c INPROCESSING
1578.55/1583.79 c GARBAGE COLLECT
1578.55/1583.79 c #Conflicts: 547000 | #Constraints: 16157
1578.55/1583.79 c #Conflicts: 548000 | #Constraints: 17157
1578.55/1583.79 c #Conflicts: 549000 | #Constraints: 18157
1578.55/1583.79 c #Conflicts: 550000 | #Constraints: 19157
1855.45/1861.52 c #Conflicts: 551000 | #Constraints: 20157
1855.45/1861.52 c #Conflicts: 552000 | #Constraints: 21157
1855.45/1861.52 c #Conflicts: 553000 | #Constraints: 22157
1855.45/1861.52 c #Conflicts: 554000 | #Constraints: 23157
1855.45/1861.52 c #Conflicts: 555000 | #Constraints: 24157
1855.45/1861.52 c #Conflicts: 556000 | #Constraints: 25157
1855.45/1861.52 c #Conflicts: 557000 | #Constraints: 26157
1855.45/1861.52 c #Conflicts: 558000 | #Constraints: 27157
1855.45/1861.52 c #Conflicts: 559000 | #Constraints: 28157
1855.45/1861.52 c #Conflicts: 560000 | #Constraints: 29157
1855.45/1861.52 c #Conflicts: 561000 | #Constraints: 30157
1855.45/1861.52 c INPROCESSING
1855.45/1861.52 c GARBAGE COLLECT
1855.45/1861.52 c #Conflicts: 562000 | #Constraints: 16352
1855.45/1861.52 c #Conflicts: 563000 | #Constraints: 17352
1855.45/1861.52 c #Conflicts: 564000 | #Constraints: 18352
1855.45/1861.52 c #Conflicts: 565000 | #Constraints: 19352
1855.45/1861.52 c #Conflicts: 566000 | #Constraints: 20352
1855.45/1861.52 c #Conflicts: 567000 | #Constraints: 21352
1855.45/1861.52 c #Conflicts: 568000 | #Constraints: 22352
1855.45/1861.52 c #Conflicts: 569000 | #Constraints: 23352
1855.45/1861.52 c #Conflicts: 570000 | #Constraints: 24352
1855.45/1861.52 c #Conflicts: 571000 | #Constraints: 25352
1855.45/1861.52 c #Conflicts: 572000 | #Constraints: 26352
1855.45/1861.52 c #Conflicts: 573000 | #Constraints: 27352
1855.45/1861.52 c #Conflicts: 574000 | #Constraints: 28352
1855.45/1861.52 c #Conflicts: 575000 | #Constraints: 29352
1855.45/1861.52 c #Conflicts: 576000 | #Constraints: 30352
1855.45/1861.52 c INPROCESSING
1855.45/1861.52 c GARBAGE COLLECT
1855.45/1861.52 c #Conflicts: 577000 | #Constraints: 16349
1855.45/1861.52 c #Conflicts: 578000 | #Constraints: 17349
1855.45/1861.52 c #Conflicts: 579000 | #Constraints: 18349
1855.45/1861.52 c #Conflicts: 580000 | #Constraints: 19349
1855.45/1861.52 c #Conflicts: 581000 | #Constraints: 20349
1855.45/1861.52 c #Conflicts: 582000 | #Constraints: 21349
1855.45/1861.52 c #Conflicts: 583000 | #Constraints: 22349
1855.45/1861.52 c #Conflicts: 584000 | #Constraints: 23349
1855.45/1861.52 c #Conflicts: 585000 | #Constraints: 24349
1855.45/1861.52 c #Conflicts: 586000 | #Constraints: 25349
1855.45/1861.52 c #Conflicts: 587000 | #Constraints: 26349
1855.45/1861.52 c #Conflicts: 588000 | #Constraints: 27349
1855.45/1861.52 c #Conflicts: 589000 | #Constraints: 28349
1855.45/1861.52 c #Conflicts: 590000 | #Constraints: 29349
1855.45/1861.52 c #Conflicts: 591000 | #Constraints: 30349
1855.45/1861.52 c INPROCESSING
1855.45/1861.52 c GARBAGE COLLECT
1855.45/1861.52 c #Conflicts: 592000 | #Constraints: 16158
1855.45/1861.52 c #Conflicts: 593000 | #Constraints: 17158
1855.45/1861.52 c #Conflicts: 594000 | #Constraints: 18158
1855.45/1861.52 c #Conflicts: 595000 | #Constraints: 19158
1855.45/1861.52 c #Conflicts: 596000 | #Constraints: 20158
1855.45/1861.52 c #Conflicts: 597000 | #Constraints: 21158
1855.45/1861.52 c #Conflicts: 598000 | #Constraints: 22158
1855.45/1861.52 c #Conflicts: 599000 | #Constraints: 23158
1855.45/1861.52 c #Conflicts: 600000 | #Constraints: 24158
1855.45/1861.52 c #Conflicts: 601000 | #Constraints: 25158
1855.45/1861.52 c #Conflicts: 602000 | #Constraints: 26158
1855.45/1861.52 c #Conflicts: 603000 | #Constraints: 27158
1855.45/1861.52 c #Conflicts: 604000 | #Constraints: 28158
1855.45/1861.52 c #Conflicts: 605000 | #Constraints: 29158
1855.45/1861.52 c #Conflicts: 606000 | #Constraints: 30158
1855.45/1861.52 c #Conflicts: 607000 | #Constraints: 31158
1855.45/1861.52 c INPROCESSING
1855.45/1861.52 c GARBAGE COLLECT
1855.45/1861.52 c #Conflicts: 608000 | #Constraints: 16756
1855.45/1861.52 c #Conflicts: 609000 | #Constraints: 17756
1855.45/1861.52 c #Conflicts: 610000 | #Constraints: 18756
1855.45/1861.52 c #Conflicts: 611000 | #Constraints: 19756
1855.45/1861.52 c #Conflicts: 612000 | #Constraints: 20756
1855.45/1861.52 c #Conflicts: 613000 | #Constraints: 21756
1855.45/1861.52 c #Conflicts: 614000 | #Constraints: 22756
1855.45/1861.52 c #Conflicts: 615000 | #Constraints: 23756
1855.45/1861.52 c #Conflicts: 616000 | #Constraints: 24756
1855.45/1861.52 c #Conflicts: 617000 | #Constraints: 25756
1855.45/1861.52 c #Conflicts: 618000 | #Constraints: 26756
1855.45/1861.52 c #Conflicts: 619000 | #Constraints: 27756
1855.45/1861.52 c #Conflicts: 620000 | #Constraints: 28756
1855.45/1861.52 c #Conflicts: 621000 | #Constraints: 29756
1855.45/1861.52 c #Conflicts: 622000 | #Constraints: 30756
1855.45/1861.52 c #Conflicts: 623000 | #Constraints: 31756
1855.45/1861.52 c INPROCESSING
1855.45/1861.52 c GARBAGE COLLECT
1855.45/1861.52 c #Conflicts: 624000 | #Constraints: 17155
1855.45/1861.52 c #Conflicts: 625000 | #Constraints: 18155
1855.45/1861.52 c #Conflicts: 626000 | #Constraints: 19155
2150.99/2158.09 c #Conflicts: 627000 | #Constraints: 20155
2150.99/2158.09 c #Conflicts: 628000 | #Constraints: 21155
2150.99/2158.09 c #Conflicts: 629000 | #Constraints: 22155
2150.99/2158.09 c #Conflicts: 630000 | #Constraints: 23155
2150.99/2158.09 c #Conflicts: 631000 | #Constraints: 24155
2150.99/2158.09 c #Conflicts: 632000 | #Constraints: 25155
2150.99/2158.09 c #Conflicts: 633000 | #Constraints: 26155
2150.99/2158.09 c #Conflicts: 634000 | #Constraints: 27155
2150.99/2158.09 c #Conflicts: 635000 | #Constraints: 28155
2150.99/2158.09 c #Conflicts: 636000 | #Constraints: 29155
2150.99/2158.09 c #Conflicts: 637000 | #Constraints: 30155
2150.99/2158.09 c #Conflicts: 638000 | #Constraints: 31155
2150.99/2158.09 c #Conflicts: 639000 | #Constraints: 32155
2150.99/2158.09 c INPROCESSING
2150.99/2158.09 c GARBAGE COLLECT
2150.99/2158.09 c #Conflicts: 640000 | #Constraints: 17351
2150.99/2158.09 c #Conflicts: 641000 | #Constraints: 18351
2150.99/2158.09 c #Conflicts: 642000 | #Constraints: 19351
2150.99/2158.09 c #Conflicts: 643000 | #Constraints: 20351
2150.99/2158.09 c #Conflicts: 644000 | #Constraints: 21351
2150.99/2158.09 c #Conflicts: 645000 | #Constraints: 22351
2150.99/2158.09 c #Conflicts: 646000 | #Constraints: 23351
2150.99/2158.09 c #Conflicts: 647000 | #Constraints: 24351
2150.99/2158.09 c #Conflicts: 648000 | #Constraints: 25351
2150.99/2158.09 c #Conflicts: 649000 | #Constraints: 26351
2150.99/2158.09 c #Conflicts: 650000 | #Constraints: 27351
2150.99/2158.09 c #Conflicts: 651000 | #Constraints: 28351
2150.99/2158.09 c #Conflicts: 652000 | #Constraints: 29351
2150.99/2158.09 c #Conflicts: 653000 | #Constraints: 30351
2150.99/2158.09 c #Conflicts: 654000 | #Constraints: 31351
2150.99/2158.09 c #Conflicts: 655000 | #Constraints: 32351
2150.99/2158.09 c INPROCESSING
2150.99/2158.09 c GARBAGE COLLECT
2150.99/2158.09 c #Conflicts: 656000 | #Constraints: 17360
2150.99/2158.09 c #Conflicts: 657000 | #Constraints: 18360
2150.99/2158.09 c #Conflicts: 658000 | #Constraints: 19360
2150.99/2158.09 c #Conflicts: 659000 | #Constraints: 20360
2150.99/2158.09 c #Conflicts: 660000 | #Constraints: 21360
2150.99/2158.09 c #Conflicts: 661000 | #Constraints: 22360
2150.99/2158.09 c #Conflicts: 662000 | #Constraints: 23360
2150.99/2158.09 c #Conflicts: 663000 | #Constraints: 24360
2150.99/2158.09 c #Conflicts: 664000 | #Constraints: 25360
2150.99/2158.09 c #Conflicts: 665000 | #Constraints: 26360
2150.99/2158.09 c #Conflicts: 666000 | #Constraints: 27360
2150.99/2158.09 c #Conflicts: 667000 | #Constraints: 28360
2150.99/2158.09 c #Conflicts: 668000 | #Constraints: 29360
2150.99/2158.09 c #Conflicts: 669000 | #Constraints: 30360
2150.99/2158.09 c #Conflicts: 670000 | #Constraints: 31360
2150.99/2158.09 c #Conflicts: 671000 | #Constraints: 32360
2150.99/2158.09 c INPROCESSING
2150.99/2158.09 c GARBAGE COLLECT
2150.99/2158.09 c #Conflicts: 672000 | #Constraints: 17154
2150.99/2158.09 c #Conflicts: 673000 | #Constraints: 18154
2150.99/2158.09 c #Conflicts: 674000 | #Constraints: 19154
2150.99/2158.09 c #Conflicts: 675000 | #Constraints: 20154
2150.99/2158.09 c #Conflicts: 676000 | #Constraints: 21154
2150.99/2158.09 c #Conflicts: 677000 | #Constraints: 22154
2150.99/2158.09 c #Conflicts: 678000 | #Constraints: 23154
2150.99/2158.09 c #Conflicts: 679000 | #Constraints: 24154
2150.99/2158.09 c #Conflicts: 680000 | #Constraints: 25154
2150.99/2158.09 c #Conflicts: 681000 | #Constraints: 26154
2150.99/2158.09 c #Conflicts: 682000 | #Constraints: 27154
2150.99/2158.09 c #Conflicts: 683000 | #Constraints: 28154
2150.99/2158.09 c #Conflicts: 684000 | #Constraints: 29154
2150.99/2158.09 c #Conflicts: 685000 | #Constraints: 30154
2150.99/2158.09 c #Conflicts: 686000 | #Constraints: 31154
2150.99/2158.09 c #Conflicts: 687000 | #Constraints: 32154
2150.99/2158.09 c #Conflicts: 688000 | #Constraints: 33154
2150.99/2158.09 c INPROCESSING
2150.99/2158.09 c GARBAGE COLLECT
2150.99/2158.09 c #Conflicts: 689000 | #Constraints: 17752
2150.99/2158.09 c #Conflicts: 690000 | #Constraints: 18752
2150.99/2158.09 c #Conflicts: 691000 | #Constraints: 19752
2150.99/2158.09 c #Conflicts: 692000 | #Constraints: 20752
2150.99/2158.09 c #Conflicts: 693000 | #Constraints: 21752
2150.99/2158.09 c #Conflicts: 694000 | #Constraints: 22752
2150.99/2158.09 c #Conflicts: 695000 | #Constraints: 23752
2150.99/2158.09 c #Conflicts: 696000 | #Constraints: 24752
2150.99/2158.09 c #Conflicts: 697000 | #Constraints: 25752
2150.99/2158.09 c #Conflicts: 698000 | #Constraints: 26752
2150.99/2158.09 c #Conflicts: 699000 | #Constraints: 27752
2150.99/2158.09 c #Conflicts: 700000 | #Constraints: 28752
2150.99/2158.09 c #Conflicts: 701000 | #Constraints: 29752
2150.99/2158.09 c #Conflicts: 702000 | #Constraints: 30752
2492.58/2500.75 c #Conflicts: 703000 | #Constraints: 31752
2492.58/2500.75 c #Conflicts: 704000 | #Constraints: 32752
2492.58/2500.75 c #Conflicts: 705000 | #Constraints: 33752
2492.58/2500.75 c INPROCESSING
2492.58/2500.75 c GARBAGE COLLECT
2492.58/2500.75 c #Conflicts: 706000 | #Constraints: 18152
2492.58/2500.75 c #Conflicts: 707000 | #Constraints: 19152
2492.58/2500.75 c #Conflicts: 708000 | #Constraints: 20152
2492.58/2500.75 c #Conflicts: 709000 | #Constraints: 21152
2492.58/2500.75 c #Conflicts: 710000 | #Constraints: 22152
2492.58/2500.75 c #Conflicts: 711000 | #Constraints: 23152
2492.58/2500.75 c #Conflicts: 712000 | #Constraints: 24152
2492.58/2500.75 c #Conflicts: 713000 | #Constraints: 25152
2492.58/2500.75 c #Conflicts: 714000 | #Constraints: 26152
2492.58/2500.75 c #Conflicts: 715000 | #Constraints: 27152
2492.58/2500.75 c #Conflicts: 716000 | #Constraints: 28152
2492.58/2500.75 c #Conflicts: 717000 | #Constraints: 29152
2492.58/2500.75 c #Conflicts: 718000 | #Constraints: 30152
2492.58/2500.75 c #Conflicts: 719000 | #Constraints: 31152
2492.58/2500.75 c #Conflicts: 720000 | #Constraints: 32152
2492.58/2500.75 c #Conflicts: 721000 | #Constraints: 33152
2492.58/2500.75 c #Conflicts: 722000 | #Constraints: 34152
2492.58/2500.75 c INPROCESSING
2492.58/2500.75 c GARBAGE COLLECT
2492.58/2500.75 c #Conflicts: 723000 | #Constraints: 18349
2492.58/2500.75 c #Conflicts: 724000 | #Constraints: 19349
2492.58/2500.75 c #Conflicts: 725000 | #Constraints: 20349
2492.58/2500.75 c #Conflicts: 726000 | #Constraints: 21349
2492.58/2500.75 c #Conflicts: 727000 | #Constraints: 22349
2492.58/2500.75 c #Conflicts: 728000 | #Constraints: 23349
2492.58/2500.75 c #Conflicts: 729000 | #Constraints: 24349
2492.58/2500.75 c #Conflicts: 730000 | #Constraints: 25349
2492.58/2500.75 c #Conflicts: 731000 | #Constraints: 26349
2492.58/2500.75 c #Conflicts: 732000 | #Constraints: 27349
2492.58/2500.75 c #Conflicts: 733000 | #Constraints: 28349
2492.58/2500.75 c #Conflicts: 734000 | #Constraints: 29349
2492.58/2500.75 c #Conflicts: 735000 | #Constraints: 30349
2492.58/2500.75 c #Conflicts: 736000 | #Constraints: 31349
2492.58/2500.75 c #Conflicts: 737000 | #Constraints: 32349
2492.58/2500.75 c #Conflicts: 738000 | #Constraints: 33349
2492.58/2500.75 c #Conflicts: 739000 | #Constraints: 34349
2492.58/2500.75 c INPROCESSING
2492.58/2500.75 c GARBAGE COLLECT
2492.58/2500.75 c #Conflicts: 740000 | #Constraints: 18350
2492.58/2500.75 c #Conflicts: 741000 | #Constraints: 19350
2492.58/2500.75 c #Conflicts: 742000 | #Constraints: 20350
2492.58/2500.75 c #Conflicts: 743000 | #Constraints: 21350
2492.58/2500.75 c #Conflicts: 744000 | #Constraints: 22350
2492.58/2500.75 c #Conflicts: 745000 | #Constraints: 23350
2492.58/2500.75 c #Conflicts: 746000 | #Constraints: 24350
2492.58/2500.75 c #Conflicts: 747000 | #Constraints: 25350
2492.58/2500.75 c #Conflicts: 748000 | #Constraints: 26350
2492.58/2500.75 c #Conflicts: 749000 | #Constraints: 27350
2492.58/2500.75 c #Conflicts: 750000 | #Constraints: 28350
2492.58/2500.75 c #Conflicts: 751000 | #Constraints: 29350
2492.58/2500.75 c #Conflicts: 752000 | #Constraints: 30350
2492.58/2500.75 c #Conflicts: 753000 | #Constraints: 31350
2492.58/2500.75 c #Conflicts: 754000 | #Constraints: 32350
2492.58/2500.75 c #Conflicts: 755000 | #Constraints: 33350
2492.58/2500.75 c #Conflicts: 756000 | #Constraints: 34350
2492.58/2500.75 c INPROCESSING
2492.58/2500.75 c GARBAGE COLLECT
2492.58/2500.75 c #Conflicts: 757000 | #Constraints: 18150
2492.58/2500.75 c #Conflicts: 758000 | #Constraints: 19150
2492.58/2500.75 c #Conflicts: 759000 | #Constraints: 20150
2492.58/2500.75 c #Conflicts: 760000 | #Constraints: 21150
2492.58/2500.75 c #Conflicts: 761000 | #Constraints: 22150
2492.58/2500.75 c #Conflicts: 762000 | #Constraints: 23150
2492.58/2500.75 c #Conflicts: 763000 | #Constraints: 24150
2492.58/2500.75 c #Conflicts: 764000 | #Constraints: 25150
2492.58/2500.75 c #Conflicts: 765000 | #Constraints: 26150
2492.58/2500.75 c #Conflicts: 766000 | #Constraints: 27150
2492.58/2500.75 c #Conflicts: 767000 | #Constraints: 28150
2492.58/2500.75 c #Conflicts: 768000 | #Constraints: 29150
2492.58/2500.75 c #Conflicts: 769000 | #Constraints: 30150
2492.58/2500.75 c #Conflicts: 770000 | #Constraints: 31150
2492.58/2500.75 c #Conflicts: 771000 | #Constraints: 32150
2492.58/2500.75 c #Conflicts: 772000 | #Constraints: 33150
2492.58/2500.75 c #Conflicts: 773000 | #Constraints: 34150
2492.58/2500.75 c #Conflicts: 774000 | #Constraints: 35150
2492.58/2500.75 c INPROCESSING
2492.58/2500.75 c GARBAGE COLLECT
2492.58/2500.75 c #Conflicts: 775000 | #Constraints: 18746
2492.58/2500.75 c #Conflicts: 776000 | #Constraints: 19746
2492.58/2500.75 c #Conflicts: 777000 | #Constraints: 20746
2492.58/2500.75 c #Conflicts: 778000 | #Constraints: 21746
2853.20/2862.56 c #Conflicts: 779000 | #Constraints: 22746
2853.20/2862.56 c #Conflicts: 780000 | #Constraints: 23746
2853.20/2862.56 c #Conflicts: 781000 | #Constraints: 24746
2853.20/2862.56 c #Conflicts: 782000 | #Constraints: 25746
2853.20/2862.56 c #Conflicts: 783000 | #Constraints: 26746
2853.20/2862.56 c #Conflicts: 784000 | #Constraints: 27746
2853.20/2862.56 c #Conflicts: 785000 | #Constraints: 28746
2853.20/2862.56 c #Conflicts: 786000 | #Constraints: 29746
2853.20/2862.56 c #Conflicts: 787000 | #Constraints: 30746
2853.20/2862.56 c #Conflicts: 788000 | #Constraints: 31746
2853.20/2862.56 c #Conflicts: 789000 | #Constraints: 32746
2853.20/2862.56 c #Conflicts: 790000 | #Constraints: 33746
2853.20/2862.56 c #Conflicts: 791000 | #Constraints: 34746
2853.20/2862.56 c #Conflicts: 792000 | #Constraints: 35746
2853.20/2862.56 c INPROCESSING
2853.20/2862.56 c GARBAGE COLLECT
2853.20/2862.56 c #Conflicts: 793000 | #Constraints: 19149
2853.20/2862.56 c #Conflicts: 794000 | #Constraints: 20149
2853.20/2862.56 c #Conflicts: 795000 | #Constraints: 21149
2853.20/2862.56 c #Conflicts: 796000 | #Constraints: 22149
2853.20/2862.56 c #Conflicts: 797000 | #Constraints: 23149
2853.20/2862.56 c #Conflicts: 798000 | #Constraints: 24149
2853.20/2862.56 c #Conflicts: 799000 | #Constraints: 25149
2853.20/2862.56 c #Conflicts: 800000 | #Constraints: 26149
2853.20/2862.56 c #Conflicts: 801000 | #Constraints: 27149
2853.20/2862.56 c #Conflicts: 802000 | #Constraints: 28149
2853.20/2862.56 c #Conflicts: 803000 | #Constraints: 29149
2853.20/2862.56 c #Conflicts: 804000 | #Constraints: 30149
2853.20/2862.56 c #Conflicts: 805000 | #Constraints: 31149
2853.20/2862.56 c #Conflicts: 806000 | #Constraints: 32149
2853.20/2862.56 c #Conflicts: 807000 | #Constraints: 33149
2853.20/2862.56 c #Conflicts: 808000 | #Constraints: 34149
2853.20/2862.56 c #Conflicts: 809000 | #Constraints: 35149
2853.20/2862.56 c #Conflicts: 810000 | #Constraints: 36149
2853.20/2862.56 c INPROCESSING
2853.20/2862.56 c GARBAGE COLLECT
2853.20/2862.56 c #Conflicts: 811000 | #Constraints: 19349
2853.20/2862.56 c #Conflicts: 812000 | #Constraints: 20349
2853.20/2862.56 c #Conflicts: 813000 | #Constraints: 21349
2853.20/2862.56 c #Conflicts: 814000 | #Constraints: 22349
2853.20/2862.56 c #Conflicts: 815000 | #Constraints: 23349
2853.20/2862.56 c #Conflicts: 816000 | #Constraints: 24349
2853.20/2862.56 c #Conflicts: 817000 | #Constraints: 25349
2853.20/2862.56 c #Conflicts: 818000 | #Constraints: 26349
2853.20/2862.56 c #Conflicts: 819000 | #Constraints: 27349
2853.20/2862.56 c #Conflicts: 820000 | #Constraints: 28349
2853.20/2862.56 c #Conflicts: 821000 | #Constraints: 29349
2853.20/2862.56 c #Conflicts: 822000 | #Constraints: 30349
2853.20/2862.56 c #Conflicts: 823000 | #Constraints: 31349
2853.20/2862.56 c #Conflicts: 824000 | #Constraints: 32349
2853.20/2862.56 c #Conflicts: 825000 | #Constraints: 33349
2853.20/2862.56 c #Conflicts: 826000 | #Constraints: 34349
2853.20/2862.56 c #Conflicts: 827000 | #Constraints: 35349
2853.20/2862.56 c #Conflicts: 828000 | #Constraints: 36349
2853.20/2862.56 c INPROCESSING
2853.20/2862.56 c GARBAGE COLLECT
2853.20/2862.56 c #Conflicts: 829000 | #Constraints: 19345
2853.20/2862.56 c #Conflicts: 830000 | #Constraints: 20345
2853.20/2862.56 c #Conflicts: 831000 | #Constraints: 21345
2853.20/2862.56 c #Conflicts: 832000 | #Constraints: 22345
2853.20/2862.56 c #Conflicts: 833000 | #Constraints: 23345
2853.20/2862.56 c #Conflicts: 834000 | #Constraints: 24345
2853.20/2862.56 c #Conflicts: 835000 | #Constraints: 25345
2853.20/2862.56 c #Conflicts: 836000 | #Constraints: 26345
2853.20/2862.56 c #Conflicts: 837000 | #Constraints: 27345
2853.20/2862.56 c #Conflicts: 838000 | #Constraints: 28345
2853.20/2862.56 c #Conflicts: 839000 | #Constraints: 29345
2853.20/2862.56 c #Conflicts: 840000 | #Constraints: 30345
2853.20/2862.56 c #Conflicts: 841000 | #Constraints: 31345
2853.20/2862.56 c #Conflicts: 842000 | #Constraints: 32345
2853.20/2862.56 c #Conflicts: 843000 | #Constraints: 33345
2853.20/2862.56 c #Conflicts: 844000 | #Constraints: 34345
2853.20/2862.56 c #Conflicts: 845000 | #Constraints: 35345
2853.20/2862.56 c #Conflicts: 846000 | #Constraints: 36345
2853.20/2862.56 c INPROCESSING
2853.20/2862.56 c GARBAGE COLLECT
2853.20/2862.56 c #Conflicts: 847000 | #Constraints: 19146
2853.20/2862.56 c #Conflicts: 848000 | #Constraints: 20146
2853.20/2862.56 c #Conflicts: 849000 | #Constraints: 21146
2853.20/2862.56 c #Conflicts: 850000 | #Constraints: 22146
2853.20/2862.56 c #Conflicts: 851000 | #Constraints: 23146
2853.20/2862.56 c #Conflicts: 852000 | #Constraints: 24146
2853.20/2862.56 c #Conflicts: 853000 | #Constraints: 25146
2853.20/2862.56 c #Conflicts: 854000 | #Constraints: 26146
3220.51/3231.01 c #Conflicts: 855000 | #Constraints: 27146
3220.51/3231.01 c #Conflicts: 856000 | #Constraints: 28146
3220.51/3231.01 c #Conflicts: 857000 | #Constraints: 29146
3220.51/3231.01 c #Conflicts: 858000 | #Constraints: 30146
3220.51/3231.01 c #Conflicts: 859000 | #Constraints: 31146
3220.51/3231.01 c #Conflicts: 860000 | #Constraints: 32146
3220.51/3231.01 c #Conflicts: 861000 | #Constraints: 33146
3220.51/3231.01 c #Conflicts: 862000 | #Constraints: 34146
3220.51/3231.01 c #Conflicts: 863000 | #Constraints: 35146
3220.51/3231.01 c #Conflicts: 864000 | #Constraints: 36146
3220.51/3231.01 c #Conflicts: 865000 | #Constraints: 37146
3220.51/3231.01 c INPROCESSING
3220.51/3231.01 c GARBAGE COLLECT
3220.51/3231.01 c #Conflicts: 866000 | #Constraints: 19750
3220.51/3231.01 c #Conflicts: 867000 | #Constraints: 20750
3220.51/3231.01 c #Conflicts: 868000 | #Constraints: 21750
3220.51/3231.01 c #Conflicts: 869000 | #Constraints: 22750
3220.51/3231.01 c #Conflicts: 870000 | #Constraints: 23750
3220.51/3231.01 c #Conflicts: 871000 | #Constraints: 24750
3220.51/3231.01 c #Conflicts: 872000 | #Constraints: 25750
3220.51/3231.01 c #Conflicts: 873000 | #Constraints: 26750
3220.51/3231.01 c #Conflicts: 874000 | #Constraints: 27750
3220.51/3231.01 c #Conflicts: 875000 | #Constraints: 28750
3220.51/3231.01 c #Conflicts: 876000 | #Constraints: 29750
3220.51/3231.01 c #Conflicts: 877000 | #Constraints: 30750
3220.51/3231.01 c #Conflicts: 878000 | #Constraints: 31750
3220.51/3231.01 c #Conflicts: 879000 | #Constraints: 32750
3220.51/3231.01 c #Conflicts: 880000 | #Constraints: 33750
3220.51/3231.01 c #Conflicts: 881000 | #Constraints: 34750
3220.51/3231.01 c #Conflicts: 882000 | #Constraints: 35750
3220.51/3231.01 c #Conflicts: 883000 | #Constraints: 36750
3220.51/3231.01 c #Conflicts: 884000 | #Constraints: 37750
3220.51/3231.01 c INPROCESSING
3220.51/3231.01 c GARBAGE COLLECT
3220.51/3231.01 c #Conflicts: 885000 | #Constraints: 20149
3220.51/3231.01 c #Conflicts: 886000 | #Constraints: 21149
3220.51/3231.01 c #Conflicts: 887000 | #Constraints: 22149
3220.51/3231.01 c #Conflicts: 888000 | #Constraints: 23149
3220.51/3231.01 c #Conflicts: 889000 | #Constraints: 24149
3220.51/3231.01 c #Conflicts: 890000 | #Constraints: 25149
3220.51/3231.01 c #Conflicts: 891000 | #Constraints: 26149
3220.51/3231.01 c #Conflicts: 892000 | #Constraints: 27149
3220.51/3231.01 c #Conflicts: 893000 | #Constraints: 28149
3220.51/3231.01 c #Conflicts: 894000 | #Constraints: 29149
3220.51/3231.01 c #Conflicts: 895000 | #Constraints: 30149
3220.51/3231.01 c #Conflicts: 896000 | #Constraints: 31149
3220.51/3231.01 c #Conflicts: 897000 | #Constraints: 32149
3220.51/3231.01 c #Conflicts: 898000 | #Constraints: 33149
3220.51/3231.01 c #Conflicts: 899000 | #Constraints: 34149
3220.51/3231.01 c #Conflicts: 900000 | #Constraints: 35149
3220.51/3231.01 c #Conflicts: 901000 | #Constraints: 36149
3220.51/3231.01 c #Conflicts: 902000 | #Constraints: 37149
3220.51/3231.01 c #Conflicts: 903000 | #Constraints: 38149
3220.51/3231.01 c INPROCESSING
3220.51/3231.01 c GARBAGE COLLECT
3220.51/3231.01 c #Conflicts: 904000 | #Constraints: 20350
3220.51/3231.01 c #Conflicts: 905000 | #Constraints: 21350
3220.51/3231.01 c #Conflicts: 906000 | #Constraints: 22350
3220.51/3231.01 c #Conflicts: 907000 | #Constraints: 23350
3220.51/3231.01 c #Conflicts: 908000 | #Constraints: 24350
3220.51/3231.01 c #Conflicts: 909000 | #Constraints: 25350
3220.51/3231.01 c #Conflicts: 910000 | #Constraints: 26350
3220.51/3231.01 c #Conflicts: 911000 | #Constraints: 27350
3220.51/3231.01 c #Conflicts: 912000 | #Constraints: 28350
3220.51/3231.01 c #Conflicts: 913000 | #Constraints: 29350
3220.51/3231.01 c #Conflicts: 914000 | #Constraints: 30350
3220.51/3231.01 c #Conflicts: 915000 | #Constraints: 31350
3220.51/3231.01 c #Conflicts: 916000 | #Constraints: 32350
3220.51/3231.01 c #Conflicts: 917000 | #Constraints: 33350
3220.51/3231.01 c #Conflicts: 918000 | #Constraints: 34350
3220.51/3231.01 c #Conflicts: 919000 | #Constraints: 35350
3220.51/3231.01 c #Conflicts: 920000 | #Constraints: 36350
3220.51/3231.01 c #Conflicts: 921000 | #Constraints: 37350
3220.51/3231.01 c #Conflicts: 922000 | #Constraints: 38350
3220.51/3231.01 c INPROCESSING
3220.51/3231.01 c GARBAGE COLLECT
3220.51/3231.01 c #Conflicts: 923000 | #Constraints: 20353
3220.51/3231.01 c #Conflicts: 924000 | #Constraints: 21353
3220.51/3231.01 c #Conflicts: 925000 | #Constraints: 22353
3220.51/3231.01 c #Conflicts: 926000 | #Constraints: 23353
3220.51/3231.01 c #Conflicts: 927000 | #Constraints: 24353
3220.51/3231.01 c #Conflicts: 928000 | #Constraints: 25353
3220.51/3231.01 c #Conflicts: 929000 | #Constraints: 26353
3220.51/3231.01 c #Conflicts: 930000 | #Constraints: 27353
3600.07/3611.80 c #Conflicts: 931000 | #Constraints: 28353
3600.07/3611.80 c #Conflicts: 932000 | #Constraints: 29353
3600.07/3611.80 c #Conflicts: 933000 | #Constraints: 30353
3600.07/3611.80 c #Conflicts: 934000 | #Constraints: 31353
3600.07/3611.80 c #Conflicts: 935000 | #Constraints: 32353
3600.07/3611.80 c #Conflicts: 936000 | #Constraints: 33353
3600.07/3611.80 c #Conflicts: 937000 | #Constraints: 34353
3600.07/3611.80 c #Conflicts: 938000 | #Constraints: 35353
3600.07/3611.80 c #Conflicts: 939000 | #Constraints: 36353
3600.07/3611.80 c #Conflicts: 940000 | #Constraints: 37353
3600.07/3611.80 c #Conflicts: 941000 | #Constraints: 38353
3600.07/3611.80 c INPROCESSING
3600.07/3611.80 c GARBAGE COLLECT
3600.07/3611.80 c #Conflicts: 942000 | #Constraints: 20158
3600.07/3611.80 c #Conflicts: 943000 | #Constraints: 21158
3600.07/3611.80 c #Conflicts: 944000 | #Constraints: 22158
3600.07/3611.80 c #Conflicts: 945000 | #Constraints: 23158
3600.07/3611.80 c #Conflicts: 946000 | #Constraints: 24158
3600.07/3611.80 c #Conflicts: 947000 | #Constraints: 25158
3600.07/3611.80 c #Conflicts: 948000 | #Constraints: 26158
3600.07/3611.80 c #Conflicts: 949000 | #Constraints: 27158
3600.07/3611.80 c #Conflicts: 950000 | #Constraints: 28158
3600.07/3611.80 c #Conflicts: 951000 | #Constraints: 29158
3600.07/3611.80 c #Conflicts: 952000 | #Constraints: 30158
3600.07/3611.80 c #Conflicts: 953000 | #Constraints: 31158
3600.07/3611.80 c #Conflicts: 954000 | #Constraints: 32158
3600.07/3611.80 c #Conflicts: 955000 | #Constraints: 33158
3600.07/3611.80 c #Conflicts: 956000 | #Constraints: 34158
3600.07/3611.80 c #Conflicts: 957000 | #Constraints: 35158
3600.07/3611.80 c #Conflicts: 958000 | #Constraints: 36158
3600.07/3611.80 c #Conflicts: 959000 | #Constraints: 37158
3600.07/3611.80 c #Conflicts: 960000 | #Constraints: 38158
3600.07/3611.80 c #Conflicts: 961000 | #Constraints: 39158
3600.07/3611.80 c INPROCESSING
3600.07/3611.80 c GARBAGE COLLECT
3600.07/3611.80 c #Conflicts: 962000 | #Constraints: 20762
3600.07/3611.80 c #Conflicts: 963000 | #Constraints: 21762
3600.07/3611.80 c #Conflicts: 964000 | #Constraints: 22762
3600.07/3611.80 c #Conflicts: 965000 | #Constraints: 23762
3600.07/3611.80 c #Conflicts: 966000 | #Constraints: 24762
3600.07/3611.80 c #Conflicts: 967000 | #Constraints: 25762
3600.07/3611.80 c #Conflicts: 968000 | #Constraints: 26762
3600.07/3611.80 c #Conflicts: 969000 | #Constraints: 27762
3600.07/3611.80 c #Conflicts: 970000 | #Constraints: 28762
3600.07/3611.80 c #Conflicts: 971000 | #Constraints: 29762
3600.07/3611.80 c #Conflicts: 972000 | #Constraints: 30762
3600.07/3611.80 c #Conflicts: 973000 | #Constraints: 31762
3600.07/3611.80 c #Conflicts: 974000 | #Constraints: 32762
3600.07/3611.80 c #Conflicts: 975000 | #Constraints: 33762
3600.07/3611.80 c #Conflicts: 976000 | #Constraints: 34762
3600.07/3611.80 c #Conflicts: 977000 | #Constraints: 35762
3600.07/3611.80 c #Conflicts: 978000 | #Constraints: 36762
3600.07/3611.80 c #Conflicts: 979000 | #Constraints: 37762
3600.07/3611.80 c #Conflicts: 980000 | #Constraints: 38762
3600.07/3611.80 c #Conflicts: 981000 | #Constraints: 39762
3600.07/3611.80 c INPROCESSING
3600.07/3611.80 c GARBAGE COLLECT
3600.07/3611.80 c #Conflicts: 982000 | #Constraints: 21156
3600.07/3611.80 c #Conflicts: 983000 | #Constraints: 22156
3600.07/3611.80 c #Conflicts: 984000 | #Constraints: 23156
3600.07/3611.80 c #Conflicts: 985000 | #Constraints: 24156
3600.07/3611.80 c #Conflicts: 986000 | #Constraints: 25156
3600.07/3611.80 c #Conflicts: 987000 | #Constraints: 26156
3600.07/3611.80 c #Conflicts: 988000 | #Constraints: 27156
3600.07/3611.80 c #Conflicts: 989000 | #Constraints: 28156
3600.07/3611.80 c #Conflicts: 990000 | #Constraints: 29156
3600.07/3611.80 c #Conflicts: 991000 | #Constraints: 30156
3600.07/3611.80 c #Conflicts: 992000 | #Constraints: 31156
3600.07/3611.80 c #Conflicts: 993000 | #Constraints: 32156
3600.07/3611.80 c #Conflicts: 994000 | #Constraints: 33156
3600.07/3611.80 c #Conflicts: 995000 | #Constraints: 34156
3600.07/3611.80 c Program interrupted by user.
3600.07/3611.80 c cpu time 3589.82 s
3600.07/3611.80 c deterministic time 403612869905 4.04e+11
3600.07/3611.80 c optimization time 75.8649 s
3600.07/3611.80 c total solve time 3215.02 s
3600.07/3611.80 c core-guided solve time 3215.02 s
3600.07/3611.80 c propagation time 2801.22 s
3600.07/3611.80 c conflict analysis time 421.155 s
3600.07/3611.80 c propagations 55969353
3600.07/3611.80 c resolve steps 5603033
3600.07/3611.80 c decisions 4620637
3600.07/3611.80 c conflicts 995700
3600.07/3611.80 c restarts 2045
3600.07/3611.80 c inprocessing phases 90
3600.07/3611.80 c input clauses 51
3600.07/3611.80 c input cardinalities 76
3600.07/3611.80 c input general constraints 474
3600.07/3611.80 c input average constraint length 67.54
3600.07/3611.80 c input average constraint degree 34.11
3600.07/3611.80 c learned clauses 238797
3600.07/3611.80 c learned cardinalities 476
3600.07/3611.80 c learned general constraints 756436
3600.07/3611.80 c learned average constraint length 301.21
3600.07/3611.80 c learned average constraint degree 528440.00
3600.07/3611.80 c watched constraints 638906
3600.07/3611.80 c counting constraints 118004
3600.07/3611.80 c gcd simplifications 186879
3600.07/3611.80 c detected cardinalities 399
3600.07/3611.80 c weakened non-implied lits 30607382
3600.07/3611.80 c weakened non-implying lits 101543
3600.07/3611.80 c original variables 476
3600.07/3611.80 c clausal propagations 1331315
3600.07/3611.80 c cardinality propagations 69030
3600.07/3611.80 c watched propagations 29151531
3600.07/3611.80 c counting propagations 24555610
3600.07/3611.80 c watch lookups 65459731381
3600.07/3611.80 c watch backjump lookups 61945392935
3600.07/3611.80 c watch checks 266096479735
3600.07/3611.80 c propagation checks 8959339806
3600.07/3611.80 c constraint additions 1029750766
3600.07/3611.80 c trail pops 61585291
3600.07/3611.80 c formula constraints 476
3600.07/3611.80 c learned constraints 995709
3600.07/3611.80 c bound constraints 76
3600.07/3611.80 c core-guided constraints 49
3600.07/3611.80 c encountered formula constraints 3346165
3600.07/3611.80 c encountered learned constraints 3133067
3600.07/3611.80 c encountered bound constraints 102
3600.07/3611.80 c encountered core-guided constraints 119399
3600.07/3611.80 c LP total time 0 s
3600.07/3611.80 c LP solve time 0 s
3600.07/3611.80 c LP constraints added 0
3600.07/3611.80 c LP constraints removed 0
3600.07/3611.80 c LP pivots internal 0
3600.07/3611.80 c LP pivots root 0
3600.07/3611.80 c LP calls 0
3600.07/3611.80 c LP optimalities 0
3600.07/3611.80 c LP no pivot count 0
3600.07/3611.80 c LP infeasibilities 0
3600.07/3611.80 c LP valid Farkas constraints 0
3600.07/3611.80 c LP learned Farkas constraints 0
3600.07/3611.80 c LP basis resets 0
3600.07/3611.80 c LP cycling count 0
3600.07/3611.80 c LP singular count 0
3600.07/3611.80 c LP no primal count 0
3600.07/3611.80 c LP no farkas count 0
3600.07/3611.80 c LP other issue count 0
3600.07/3611.80 c LP Gomory cuts 0
3600.07/3611.80 c LP learned cuts 0
3600.07/3611.80 c LP deleted cuts 0
3600.07/3611.80 c LP encountered Gomory constraints 0
3600.07/3611.80 c LP encountered Farkas constraints 0
3600.07/3611.80 c LP encountered learned Farkas constraints 0
3600.07/3611.80 c CG auxiliary variables introduced 49
3600.07/3611.80 c CG solutions found 0
3600.07/3611.80 c CG cores constructed 75
3600.07/3611.80 c CG core cardinality constraints returned 0
3600.07/3611.80 c CG unit cores 0
3600.07/3611.80 c CG single cores 75
3600.07/3611.80 c CG blocks removed during cardinality reduction 0
3600.07/3611.80 c CG first core best 0
3600.07/3611.80 c CG decision core best 0
3600.07/3611.80 c CG core reduction tie 0
3600.07/3611.80 c CG core degree average 1.00
3600.07/3611.80 c CG core slack average 2.84
3600.07/3611.80 c CG exhausted 0
3600.07/3611.80 c CG exhaust time 0 s
3600.07/3611.80 c CG trimmed 2
3600.07/3611.80 c CG trim time 0.000329 s
3600.07/3611.80 c CG minimized 0
3600.07/3611.80 c CG minimize time 0 s
3600.07/3611.80 c CG am1 prop time 0.000375 s
3600.07/3611.80 c CG # am1s reformulated 49
3600.07/3611.80 c CG lower bound derived from am1s 49
3600.07/3611.80 c CG # clausal cores 7
3600.07/3611.80 c CG # cardinality cores 0
3600.07/3611.80 c CG # pb cores 68
3600.07/3611.80 c CG # pb reforms 0
3600.07/3611.80 c CG # cores discarded because of pb reform 0
3600.07/3611.80 d LOWERBOUND 124
3600.07/3611.80 d NCORES 75
3600.07/3611.80 d NPBCORES 68
3600.07/3611.80 d NPBREFORM 0
3600.07/3611.80 d NTRIMMED 2
3600.07/3611.80 d NEXHAUSTED 0
3600.07/3611.80 d NAM1S 49
3600.07/3611.80 d AM1LB 49
3600.07/3611.80 c [Papilo Statistics]
3600.07/3611.80 c prepro time 0.00412129s
3600.07/3611.80 c # tsx applied 16
3600.07/3611.80 c # tsx conflicts 0
3600.07/3611.80 c # bound changes 0
3600.07/3611.80 c # side changes 0
3600.07/3611.80 c # coef changes 39
3600.07/3611.80 c # rounds 3
3600.07/3611.80 c # deted vars 0
3600.07/3611.80 c # deted constrs 0
3600.07/3611.80 c # consecutive rounds of only bound changes 0
3600.07/3611.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60674 MiB free)
memory of node 1: 64507 MiB (59579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489405-1751356820/watcher-4489405-1751356820 -o /tmp/evaluation-result-4489405-1751356820/solver-4489405-1751356820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489405-1751356820.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51429, runsolver pid=51425
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.13 4.21 4.15 5/241 51430
/proc/meminfo: memFree=123129928/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=99268 memory=24660 CPUtime=0.09 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 2556 0 0 0 7 2 0 0 20 0 1 0 51361818 101650432 6165 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 24817 6165 4128 2842 0 6511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 24660 KiB
[startup+0.213519 s]*
/proc/loadavg: 4.13 4.21 4.15 3/242 51437
/proc/meminfo: memFree=123131044/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=101388 memory=27348 CPUtime=0.2 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 3071 0 0 0 18 2 0 0 20 0 1 0 51361818 103821312 6837 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 25347 6837 4288 2842 0 7041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101388 KiB
Current children cumulated memory: 27348 KiB
[startup+0.313582 s]*
/proc/loadavg: 4.13 4.21 4.15 5/239 51437
/proc/meminfo: memFree=123103252/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=101564 memory=27476 CPUtime=0.3 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 3126 0 0 0 28 2 0 0 20 0 1 0 51361818 104001536 6869 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 25391 6869 4288 2842 0 7085 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 27476 KiB
[startup+0.700238 s]
/proc/loadavg: 4.13 4.21 4.15 5/243 51459
/proc/meminfo: memFree=123094524/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=101564 memory=27604 CPUtime=0.67 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 3138 0 0 0 65 2 0 0 20 0 1 0 51361818 104001536 6901 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 25391 6901 4288 2842 0 7085 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 27604 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.21 4.15 6/248 51477
/proc/meminfo: memFree=123102380/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=119596 memory=45268 CPUtime=1.46 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 7616 0 0 0 143 3 0 0 20 0 1 0 51361818 122466304 11317 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 29899 11317 4288 2842 0 11593 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 119596 KiB
Current children cumulated memory: 45268 KiB
[startup+3.11286 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=122231088/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=236440 memory=158016 CPUtime=3.07 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 37553 0 0 0 298 9 0 0 20 0 1 0 51361818 242114560 39504 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 59110 39504 4288 2842 0 40804 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 236440 KiB
Current children cumulated memory: 158016 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.21 4.14 5/251 51487
/proc/meminfo: memFree=120405216/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=240120 memory=161584 CPUtime=6.25 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 38530 0 0 0 616 9 0 0 20 0 1 0 51361818 245882880 40396 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 60030 40396 4288 2842 0 41724 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 240120 KiB
Current children cumulated memory: 161584 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.20 4.14 5/251 51487
/proc/meminfo: memFree=118541580/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=240740 memory=162348 CPUtime=12.63 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 38771 0 0 0 1253 10 0 0 20 0 1 0 51361818 246517760 40587 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 60185 40587 4288 2842 0 41879 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 240740 KiB
Current children cumulated memory: 162348 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.19 4.14 5/251 51487
/proc/meminfo: memFree=114691296/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=297448 memory=218028 CPUtime=25.38 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 52690 0 0 0 2526 12 0 0 20 0 1 0 51361818 304586752 54507 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 74362 54507 4288 2842 0 56056 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 297448 KiB
Current children cumulated memory: 218028 KiB
[startup+51.1131 s]
/proc/loadavg: 4.06 4.18 4.14 5/251 51498
/proc/meminfo: memFree=112195268/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=298372 memory=218520 CPUtime=50.9 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 53851 0 0 0 5078 12 0 0 20 0 1 0 51361818 305532928 54630 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 74593 54630 4288 2842 0 56287 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 298372 KiB
Current children cumulated memory: 218520 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/252 51501
/proc/meminfo: memFree=112075800/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=298372 memory=220696 CPUtime=101.92 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 53862 0 0 0 10180 12 0 0 20 0 1 0 51361818 305532928 55174 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 74593 55174 4288 2842 0 56287 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 298372 KiB
Current children cumulated memory: 220696 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/253 51504
/proc/meminfo: memFree=111846612/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=329192 memory=254008 CPUtime=161.72 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 62792 0 0 0 16158 14 0 0 20 0 1 0 51361818 337092608 63502 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 82298 63502 4288 2842 0 63992 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 329192 KiB
Current children cumulated memory: 254008 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/253 51506
/proc/meminfo: memFree=111707364/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=393520 memory=319396 CPUtime=221.53 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 79184 0 0 0 22136 17 0 0 20 0 1 0 51361818 402964480 79849 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 98380 79849 4288 2842 0 80074 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 393520 KiB
Current children cumulated memory: 319396 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/253 51508
/proc/meminfo: memFree=111679188/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=393520 memory=324900 CPUtime=281.34 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 79306 0 0 0 28116 18 0 0 20 0 1 0 51361818 402964480 81225 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 98380 81225 4288 2842 0 80074 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 393520 KiB
Current children cumulated memory: 324900 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/252 51510
/proc/meminfo: memFree=116610012/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=305212 memory=235800 CPUtime=341.14 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 81593 0 0 0 34041 73 0 0 20 0 1 0 51361818 312537088 58950 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 76303 58950 4448 2842 0 57997 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 305212 KiB
Current children cumulated memory: 235800 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/251 51512
/proc/meminfo: memFree=116453984/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=324180 memory=243224 CPUtime=400.95 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 81985 0 0 0 39978 117 0 0 20 0 1 0 51361818 331960320 60806 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 81045 60806 4448 2842 0 62739 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 324180 KiB
Current children cumulated memory: 243224 KiB
[startup+462.3 s]
/proc/loadavg: 4.40 4.19 4.14 5/250 51514
/proc/meminfo: memFree=116325152/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=324180 memory=246208 CPUtime=460.76 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 82229 0 0 0 45921 155 0 0 20 0 1 0 51361818 331960320 61552 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 81045 61552 4448 2842 0 62739 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 291904 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/249 51627
/proc/meminfo: memFree=114870180/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=355000 memory=292288 CPUtime=2853 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83426 0 0 0 284426 874 0 0 20 0 1 0 51361818 363520000 73072 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 88750 73072 4448 2842 0 70444 0
Current children cumulated CPU time: 2853 s
Current children cumulated vsize: 355000 KiB
Current children cumulated memory: 292288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/249 51629
/proc/meminfo: memFree=114682100/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=355000 memory=292288 CPUtime=2912.81 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83426 0 0 0 290394 887 0 0 20 0 1 0 51361818 363520000 73072 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 88750 73072 4448 2842 0 70444 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 355000 KiB
Current children cumulated memory: 292288 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/249 51631
/proc/meminfo: memFree=114537304/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=355000 memory=292288 CPUtime=2972.61 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83426 0 0 0 296357 904 0 0 20 0 1 0 51361818 363520000 73072 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 88750 73072 4448 2842 0 70444 0
Current children cumulated CPU time: 2972.61 s
Current children cumulated vsize: 355000 KiB
Current children cumulated memory: 292288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/250 51641
/proc/meminfo: memFree=114437460/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=293312 CPUtime=3032.42 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83662 0 0 0 302327 915 0 0 20 0 1 0 51361818 414810112 73328 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 73328 4448 2842 0 82966 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 293312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/251 51644
/proc/meminfo: memFree=114408556/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=296564 CPUtime=3092.22 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83956 0 0 0 308294 928 0 0 20 0 1 0 51361818 414810112 74141 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74141 4448 2842 0 82966 0
Current children cumulated CPU time: 3092.22 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 296564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/251 51646
/proc/meminfo: memFree=114275380/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=296564 CPUtime=3152.03 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83956 0 0 0 314259 944 0 0 20 0 1 0 51361818 414810112 74141 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74141 4448 2842 0 82966 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 296564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 51648
/proc/meminfo: memFree=114072132/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3211.83 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83957 0 0 0 320226 957 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 51650
/proc/meminfo: memFree=113848304/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3271.64 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83957 0 0 0 326194 970 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/250 51652
/proc/meminfo: memFree=113679592/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3331.45 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83957 0 0 0 332162 983 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/249 51654
/proc/meminfo: memFree=113542868/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3391.25 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83958 0 0 0 338135 990 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3391.25 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.11 5/249 51656
/proc/meminfo: memFree=113408068/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3451.05 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 83958 0 0 0 344105 1000 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/249 51658
/proc/meminfo: memFree=113303172/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3510.86 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 84012 0 0 0 350078 1008 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/249 51660
/proc/meminfo: memFree=113162996/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3570.66 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 84012 0 0 0 356047 1019 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.09 4.10 4.09 4/246 51676
/proc/meminfo: memFree=115559716/131382112 swapFree=33010684/33010684
[pid=51429] ppid=51425 vsize=405088 memory=298612 CPUtime=3600.07 cores=1,3
/proc/51429/stat : 51429 (mixed-bag) R 51425 51429 50699 0 -1 4194304 84012 0 0 0 358982 1025 0 0 20 0 1 0 51361818 414810112 74653 18446744073709551615 4235264 15874749 140736459511680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 39829504 140736459516316 140736459516393 140736459516393 140736459521995 0
/proc/51429/statm: 101272 74653 4448 2842 0 82966 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 298612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 51429 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.83 s, system=10.2569 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.81
CPU time (s): 3600.08
CPU user time (s): 3589.83
CPU system time (s): 10.2569
CPU usage (%): 99.6755
Max. virtual memory (cumulated for all children) (KiB): 405088
Max. memory (cumulated for all children) (KiB): 324900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.83
system time used= 10.2569
maximum resident set size= 324900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174
involuntary context switches= 1155
# summary of solver processes directly reported to runsolver:
# pid: 51429
# total CPU time (s): 3600.08
# total CPU user time (s): 3589.83
# total CPU system time (s): 10.2569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2137 second user time and 34.3437 second system time
The end
Begin job on nodeC009 at 2025-07-01 10:00:20
IDJOB=4489405
IDBENCH=147547
IDSOLVER=3340
FILE ID=nodeC009/4489405-1751356820
RUNJOBID= nodeC009-1751349596-50711
SLURM_JOB_ID= 9598132
Free space on /tmp= 432628 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489405-1751356820/watcher-4489405-1751356820 -o /tmp/evaluation-result-4489405-1751356820/solver-4489405-1751356820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489405-1751356820.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1833878423
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.230
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.708
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3409.247
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.622
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123140676 kB
MemAvailable: 129861300 kB
Buffers: 3280 kB
Cached: 7492372 kB
SwapCached: 0 kB
Active: 378548 kB
Inactive: 7192712 kB
Active(anon): 92644 kB
Inactive(anon): 968 kB
Active(file): 285904 kB
Inactive(file): 7191744 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22444 kB
Writeback: 0 kB
AnonPages: 78816 kB
Mapped: 103012 kB
Shmem: 17960 kB
KReclaimable: 164820 kB
Slab: 248556 kB
SReclaimable: 164820 kB
SUnreclaim: 83736 kB
KernelStack: 3888 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 342720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432548 MiB
End job on nodeC009 at 2025-07-01 11:00:32