0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.38/300.14 c [STEP] preprocessing done, loading into solver
299.38/300.14 c [STEP] solving
299.38/300.14 c #variables 477 #constraints 476
299.38/300.14 c SMALL=int, LARGE=long long
299.38/300.14 d SCIPUB 191
299.38/300.14 c bounds - >= 0 @ 299.233
299.38/300.14 c stratification level: 0
315.94/316.79 c bounds - >= 50 @ 299.234
315.94/316.79 c bounds - >= 51 @ 299.235
315.94/316.79 c bounds - >= 52 @ 299.235
315.94/316.79 c bounds - >= 53 @ 299.235
315.94/316.79 c bounds - >= 54 @ 299.235
315.94/316.79 c bounds - >= 55 @ 299.235
315.94/316.79 c bounds - >= 56 @ 299.235
315.94/316.79 c bounds - >= 57 @ 299.235
315.94/316.79 c bounds - >= 58 @ 299.235
315.94/316.79 c bounds - >= 59 @ 299.235
315.94/316.79 c bounds - >= 60 @ 299.235
315.94/316.79 c bounds - >= 61 @ 299.236
315.94/316.79 c bounds - >= 62 @ 299.236
315.94/316.79 c bounds - >= 63 @ 299.236
315.94/316.79 c bounds - >= 64 @ 299.236
315.94/316.79 c bounds - >= 65 @ 299.236
315.94/316.79 c bounds - >= 66 @ 299.236
315.94/316.79 c bounds - >= 67 @ 299.236
315.94/316.79 c bounds - >= 68 @ 299.236
315.94/316.79 c bounds - >= 69 @ 299.236
315.94/316.79 c bounds - >= 70 @ 299.237
315.94/316.79 c bounds - >= 71 @ 299.237
315.94/316.79 c bounds - >= 72 @ 299.237
315.94/316.79 c bounds - >= 73 @ 299.237
315.94/316.79 c bounds - >= 74 @ 299.237
315.94/316.79 c bounds - >= 75 @ 299.237
315.94/316.79 c bounds - >= 76 @ 299.237
315.94/316.79 c bounds - >= 77 @ 299.237
315.94/316.79 c bounds - >= 78 @ 299.237
315.94/316.79 c bounds - >= 79 @ 299.237
315.94/316.79 c bounds - >= 80 @ 299.237
315.94/316.79 c bounds - >= 81 @ 299.237
315.94/316.79 c bounds - >= 82 @ 299.237
315.94/316.79 c bounds - >= 83 @ 299.237
315.94/316.79 c bounds - >= 84 @ 299.237
315.94/316.79 c bounds - >= 85 @ 299.237
315.94/316.79 c bounds - >= 86 @ 299.237
315.94/316.79 c bounds - >= 87 @ 299.238
315.94/316.79 c bounds - >= 88 @ 299.238
315.94/316.79 c bounds - >= 89 @ 299.238
315.94/316.79 c bounds - >= 90 @ 299.238
315.94/316.79 c bounds - >= 91 @ 299.238
315.94/316.79 c bounds - >= 92 @ 299.238
315.94/316.79 c bounds - >= 93 @ 299.238
315.94/316.79 c bounds - >= 94 @ 299.238
315.94/316.79 c bounds - >= 95 @ 299.238
315.94/316.79 c bounds - >= 96 @ 299.238
315.94/316.79 c bounds - >= 97 @ 299.238
315.94/316.79 c bounds - >= 98 @ 299.238
315.94/316.79 c bounds - >= 99 @ 299.238
315.94/316.79 c bounds - >= 100 @ 299.238
315.94/316.79 c bounds - >= 101 @ 299.238
315.94/316.79 c bounds - >= 102 @ 299.238
315.94/316.79 c bounds - >= 103 @ 299.238
315.94/316.79 c bounds - >= 104 @ 299.238
315.94/316.79 c bounds - >= 105 @ 299.238
315.94/316.79 c bounds - >= 106 @ 299.238
315.94/316.79 c bounds - >= 107 @ 299.238
315.94/316.79 c bounds - >= 108 @ 299.238
315.94/316.79 c bounds - >= 109 @ 299.238
315.94/316.79 c bounds - >= 110 @ 299.238
315.94/316.79 c bounds - >= 111 @ 299.238
315.94/316.79 c bounds - >= 112 @ 299.238
315.94/316.79 c bounds - >= 113 @ 299.238
315.94/316.79 c bounds - >= 114 @ 299.238
315.94/316.79 c bounds - >= 115 @ 299.238
315.94/316.79 c bounds - >= 116 @ 299.238
315.94/316.79 c bounds - >= 117 @ 299.239
315.94/316.79 c bounds - >= 118 @ 299.239
315.94/316.79 c bounds - >= 119 @ 299.239
315.94/316.79 c bounds - >= 120 @ 299.239
315.94/316.79 c bounds - >= 121 @ 299.239
315.94/316.79 c bounds - >= 122 @ 299.239
315.94/316.79 c bounds - >= 123 @ 299.24
315.94/316.79 c bounds - >= 124 @ 299.24
315.94/316.79 c #Conflicts: 1000 | #Constraints: 1610
315.94/316.79 c #Conflicts: 2000 | #Constraints: 2610
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 3000 | #Constraints: 2539
315.94/316.79 c #Conflicts: 4000 | #Constraints: 3539
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 5000 | #Constraints: 2943
315.94/316.79 c #Conflicts: 6000 | #Constraints: 3943
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 7000 | #Constraints: 2946
315.94/316.79 c #Conflicts: 8000 | #Constraints: 3946
315.94/316.79 c #Conflicts: 9000 | #Constraints: 4946
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 10000 | #Constraints: 3647
315.94/316.79 c #Conflicts: 11000 | #Constraints: 4647
315.94/316.79 c #Conflicts: 12000 | #Constraints: 5647
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 13000 | #Constraints: 4093
315.94/316.79 c #Conflicts: 14000 | #Constraints: 5093
315.94/316.79 c #Conflicts: 15000 | #Constraints: 6093
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 16000 | #Constraints: 4321
315.94/316.79 c #Conflicts: 17000 | #Constraints: 5321
315.94/316.79 c #Conflicts: 18000 | #Constraints: 6321
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 19000 | #Constraints: 4338
315.94/316.79 c #Conflicts: 20000 | #Constraints: 5338
315.94/316.79 c #Conflicts: 21000 | #Constraints: 6338
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 22000 | #Constraints: 4142
315.94/316.79 c #Conflicts: 23000 | #Constraints: 5142
315.94/316.79 c #Conflicts: 24000 | #Constraints: 6142
315.94/316.79 c #Conflicts: 25000 | #Constraints: 7142
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 26000 | #Constraints: 4743
315.94/316.79 c #Conflicts: 27000 | #Constraints: 5743
315.94/316.79 c #Conflicts: 28000 | #Constraints: 6743
315.94/316.79 c #Conflicts: 29000 | #Constraints: 7743
315.94/316.79 c INPROCESSING
315.94/316.79 c GARBAGE COLLECT
315.94/316.79 c #Conflicts: 30000 | #Constraints: 5141
315.94/316.79 c #Conflicts: 31000 | #Constraints: 6141
315.94/316.79 c #Conflicts: 32000 | #Constraints: 7141
315.94/316.79 c #Conflicts: 33000 | #Constraints: 8141
315.94/316.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 34000 | #Constraints: 5345
413.69/414.79 c #Conflicts: 35000 | #Constraints: 6345
413.69/414.79 c #Conflicts: 36000 | #Constraints: 7345
413.69/414.79 c #Conflicts: 37000 | #Constraints: 8345
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 38000 | #Constraints: 5353
413.69/414.79 c #Conflicts: 39000 | #Constraints: 6353
413.69/414.79 c #Conflicts: 40000 | #Constraints: 7353
413.69/414.79 c #Conflicts: 41000 | #Constraints: 8353
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 42000 | #Constraints: 5153
413.69/414.79 c #Conflicts: 43000 | #Constraints: 6153
413.69/414.79 c #Conflicts: 44000 | #Constraints: 7153
413.69/414.79 c #Conflicts: 45000 | #Constraints: 8153
413.69/414.79 c #Conflicts: 46000 | #Constraints: 9153
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 47000 | #Constraints: 5745
413.69/414.79 c #Conflicts: 48000 | #Constraints: 6745
413.69/414.79 c #Conflicts: 49000 | #Constraints: 7745
413.69/414.79 c #Conflicts: 50000 | #Constraints: 8745
413.69/414.79 c #Conflicts: 51000 | #Constraints: 9745
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 52000 | #Constraints: 6142
413.69/414.79 c #Conflicts: 53000 | #Constraints: 7142
413.69/414.79 c #Conflicts: 54000 | #Constraints: 8142
413.69/414.79 c #Conflicts: 55000 | #Constraints: 9142
413.69/414.79 c #Conflicts: 56000 | #Constraints: 10142
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 57000 | #Constraints: 6343
413.69/414.79 c #Conflicts: 58000 | #Constraints: 7343
413.69/414.79 c #Conflicts: 59000 | #Constraints: 8343
413.69/414.79 c #Conflicts: 60000 | #Constraints: 9343
413.69/414.79 c #Conflicts: 61000 | #Constraints: 10343
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 62000 | #Constraints: 6345
413.69/414.79 c #Conflicts: 63000 | #Constraints: 7345
413.69/414.79 c #Conflicts: 64000 | #Constraints: 8345
413.69/414.79 c #Conflicts: 65000 | #Constraints: 9345
413.69/414.79 c #Conflicts: 66000 | #Constraints: 10345
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 67000 | #Constraints: 6143
413.69/414.79 c #Conflicts: 68000 | #Constraints: 7143
413.69/414.79 c #Conflicts: 69000 | #Constraints: 8143
413.69/414.79 c #Conflicts: 70000 | #Constraints: 9143
413.69/414.79 c #Conflicts: 71000 | #Constraints: 10143
413.69/414.79 c #Conflicts: 72000 | #Constraints: 11143
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 73000 | #Constraints: 6741
413.69/414.79 c #Conflicts: 74000 | #Constraints: 7741
413.69/414.79 c #Conflicts: 75000 | #Constraints: 8741
413.69/414.79 c #Conflicts: 76000 | #Constraints: 9741
413.69/414.79 c #Conflicts: 77000 | #Constraints: 10741
413.69/414.79 c #Conflicts: 78000 | #Constraints: 11741
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 79000 | #Constraints: 7152
413.69/414.79 c #Conflicts: 80000 | #Constraints: 8152
413.69/414.79 c #Conflicts: 81000 | #Constraints: 9152
413.69/414.79 c #Conflicts: 82000 | #Constraints: 10152
413.69/414.79 c #Conflicts: 83000 | #Constraints: 11152
413.69/414.79 c #Conflicts: 84000 | #Constraints: 12152
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 85000 | #Constraints: 7351
413.69/414.79 c #Conflicts: 86000 | #Constraints: 8351
413.69/414.79 c #Conflicts: 87000 | #Constraints: 9351
413.69/414.79 c #Conflicts: 88000 | #Constraints: 10351
413.69/414.79 c #Conflicts: 89000 | #Constraints: 11351
413.69/414.79 c #Conflicts: 90000 | #Constraints: 12351
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 91000 | #Constraints: 7357
413.69/414.79 c #Conflicts: 92000 | #Constraints: 8357
413.69/414.79 c #Conflicts: 93000 | #Constraints: 9357
413.69/414.79 c #Conflicts: 94000 | #Constraints: 10357
413.69/414.79 c #Conflicts: 95000 | #Constraints: 11357
413.69/414.79 c #Conflicts: 96000 | #Constraints: 12357
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
413.69/414.79 c #Conflicts: 97000 | #Constraints: 7154
413.69/414.79 c #Conflicts: 98000 | #Constraints: 8154
413.69/414.79 c #Conflicts: 99000 | #Constraints: 9154
413.69/414.79 c #Conflicts: 100000 | #Constraints: 10154
413.69/414.79 c #Conflicts: 101000 | #Constraints: 11154
413.69/414.79 c #Conflicts: 102000 | #Constraints: 12154
413.69/414.79 c #Conflicts: 103000 | #Constraints: 13154
413.69/414.79 c INPROCESSING
413.69/414.79 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 104000 | #Constraints: 7748
532.28/533.64 c #Conflicts: 105000 | #Constraints: 8748
532.28/533.64 c #Conflicts: 106000 | #Constraints: 9748
532.28/533.64 c #Conflicts: 107000 | #Constraints: 10748
532.28/533.64 c #Conflicts: 108000 | #Constraints: 11748
532.28/533.64 c #Conflicts: 109000 | #Constraints: 12748
532.28/533.64 c #Conflicts: 110000 | #Constraints: 13748
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 111000 | #Constraints: 8149
532.28/533.64 c #Conflicts: 112000 | #Constraints: 9149
532.28/533.64 c #Conflicts: 113000 | #Constraints: 10149
532.28/533.64 c #Conflicts: 114000 | #Constraints: 11149
532.28/533.64 c #Conflicts: 115000 | #Constraints: 12149
532.28/533.64 c #Conflicts: 116000 | #Constraints: 13149
532.28/533.64 c #Conflicts: 117000 | #Constraints: 14149
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 118000 | #Constraints: 8347
532.28/533.64 c #Conflicts: 119000 | #Constraints: 9347
532.28/533.64 c #Conflicts: 120000 | #Constraints: 10347
532.28/533.64 c #Conflicts: 121000 | #Constraints: 11347
532.28/533.64 c #Conflicts: 122000 | #Constraints: 12347
532.28/533.64 c #Conflicts: 123000 | #Constraints: 13347
532.28/533.64 c #Conflicts: 124000 | #Constraints: 14347
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 125000 | #Constraints: 8342
532.28/533.64 c #Conflicts: 126000 | #Constraints: 9342
532.28/533.64 c #Conflicts: 127000 | #Constraints: 10342
532.28/533.64 c #Conflicts: 128000 | #Constraints: 11342
532.28/533.64 c #Conflicts: 129000 | #Constraints: 12342
532.28/533.64 c #Conflicts: 130000 | #Constraints: 13342
532.28/533.64 c #Conflicts: 131000 | #Constraints: 14342
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 132000 | #Constraints: 8142
532.28/533.64 c #Conflicts: 133000 | #Constraints: 9142
532.28/533.64 c #Conflicts: 134000 | #Constraints: 10142
532.28/533.64 c #Conflicts: 135000 | #Constraints: 11142
532.28/533.64 c #Conflicts: 136000 | #Constraints: 12142
532.28/533.64 c #Conflicts: 137000 | #Constraints: 13142
532.28/533.64 c #Conflicts: 138000 | #Constraints: 14142
532.28/533.64 c #Conflicts: 139000 | #Constraints: 15142
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 140000 | #Constraints: 8742
532.28/533.64 c #Conflicts: 141000 | #Constraints: 9742
532.28/533.64 c #Conflicts: 142000 | #Constraints: 10742
532.28/533.64 c #Conflicts: 143000 | #Constraints: 11742
532.28/533.64 c #Conflicts: 144000 | #Constraints: 12742
532.28/533.64 c #Conflicts: 145000 | #Constraints: 13742
532.28/533.64 c #Conflicts: 146000 | #Constraints: 14742
532.28/533.64 c #Conflicts: 147000 | #Constraints: 15742
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 148000 | #Constraints: 9143
532.28/533.64 c #Conflicts: 149000 | #Constraints: 10143
532.28/533.64 c #Conflicts: 150000 | #Constraints: 11143
532.28/533.64 c #Conflicts: 151000 | #Constraints: 12143
532.28/533.64 c #Conflicts: 152000 | #Constraints: 13143
532.28/533.64 c #Conflicts: 153000 | #Constraints: 14143
532.28/533.64 c #Conflicts: 154000 | #Constraints: 15143
532.28/533.64 c #Conflicts: 155000 | #Constraints: 16143
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 156000 | #Constraints: 9345
532.28/533.64 c #Conflicts: 157000 | #Constraints: 10345
532.28/533.64 c #Conflicts: 158000 | #Constraints: 11345
532.28/533.64 c #Conflicts: 159000 | #Constraints: 12345
532.28/533.64 c #Conflicts: 160000 | #Constraints: 13345
532.28/533.64 c #Conflicts: 161000 | #Constraints: 14345
532.28/533.64 c #Conflicts: 162000 | #Constraints: 15345
532.28/533.64 c #Conflicts: 163000 | #Constraints: 16345
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 164000 | #Constraints: 9346
532.28/533.64 c #Conflicts: 165000 | #Constraints: 10346
532.28/533.64 c #Conflicts: 166000 | #Constraints: 11346
532.28/533.64 c #Conflicts: 167000 | #Constraints: 12346
532.28/533.64 c #Conflicts: 168000 | #Constraints: 13346
532.28/533.64 c #Conflicts: 169000 | #Constraints: 14346
532.28/533.64 c #Conflicts: 170000 | #Constraints: 15346
532.28/533.64 c #Conflicts: 171000 | #Constraints: 16346
532.28/533.64 c INPROCESSING
532.28/533.64 c GARBAGE COLLECT
532.28/533.64 c #Conflicts: 172000 | #Constraints: 9151
532.28/533.64 c #Conflicts: 173000 | #Constraints: 10151
532.28/533.64 c #Conflicts: 174000 | #Constraints: 11151
532.28/533.64 c #Conflicts: 175000 | #Constraints: 12151
532.28/533.64 c #Conflicts: 176000 | #Constraints: 13151
706.12/707.91 c #Conflicts: 177000 | #Constraints: 14151
706.12/707.91 c #Conflicts: 178000 | #Constraints: 15151
706.12/707.91 c #Conflicts: 179000 | #Constraints: 16151
706.12/707.91 c #Conflicts: 180000 | #Constraints: 17151
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 181000 | #Constraints: 9754
706.12/707.91 c #Conflicts: 182000 | #Constraints: 10754
706.12/707.91 c #Conflicts: 183000 | #Constraints: 11754
706.12/707.91 c #Conflicts: 184000 | #Constraints: 12754
706.12/707.91 c #Conflicts: 185000 | #Constraints: 13754
706.12/707.91 c #Conflicts: 186000 | #Constraints: 14754
706.12/707.91 c #Conflicts: 187000 | #Constraints: 15754
706.12/707.91 c #Conflicts: 188000 | #Constraints: 16754
706.12/707.91 c #Conflicts: 189000 | #Constraints: 17754
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 190000 | #Constraints: 10154
706.12/707.91 c #Conflicts: 191000 | #Constraints: 11154
706.12/707.91 c #Conflicts: 192000 | #Constraints: 12154
706.12/707.91 c #Conflicts: 193000 | #Constraints: 13154
706.12/707.91 c #Conflicts: 194000 | #Constraints: 14154
706.12/707.91 c #Conflicts: 195000 | #Constraints: 15154
706.12/707.91 c #Conflicts: 196000 | #Constraints: 16154
706.12/707.91 c #Conflicts: 197000 | #Constraints: 17154
706.12/707.91 c #Conflicts: 198000 | #Constraints: 18154
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 199000 | #Constraints: 10352
706.12/707.91 c #Conflicts: 200000 | #Constraints: 11352
706.12/707.91 c #Conflicts: 201000 | #Constraints: 12352
706.12/707.91 c #Conflicts: 202000 | #Constraints: 13352
706.12/707.91 c #Conflicts: 203000 | #Constraints: 14352
706.12/707.91 c #Conflicts: 204000 | #Constraints: 15352
706.12/707.91 c #Conflicts: 205000 | #Constraints: 16352
706.12/707.91 c #Conflicts: 206000 | #Constraints: 17352
706.12/707.91 c #Conflicts: 207000 | #Constraints: 18352
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 208000 | #Constraints: 10350
706.12/707.91 c #Conflicts: 209000 | #Constraints: 11350
706.12/707.91 c #Conflicts: 210000 | #Constraints: 12350
706.12/707.91 c #Conflicts: 211000 | #Constraints: 13350
706.12/707.91 c #Conflicts: 212000 | #Constraints: 14350
706.12/707.91 c #Conflicts: 213000 | #Constraints: 15350
706.12/707.91 c #Conflicts: 214000 | #Constraints: 16350
706.12/707.91 c #Conflicts: 215000 | #Constraints: 17350
706.12/707.91 c #Conflicts: 216000 | #Constraints: 18350
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 217000 | #Constraints: 10152
706.12/707.91 c #Conflicts: 218000 | #Constraints: 11152
706.12/707.91 c #Conflicts: 219000 | #Constraints: 12152
706.12/707.91 c #Conflicts: 220000 | #Constraints: 13152
706.12/707.91 c #Conflicts: 221000 | #Constraints: 14152
706.12/707.91 c #Conflicts: 222000 | #Constraints: 15152
706.12/707.91 c #Conflicts: 223000 | #Constraints: 16152
706.12/707.91 c #Conflicts: 224000 | #Constraints: 17152
706.12/707.91 c #Conflicts: 225000 | #Constraints: 18152
706.12/707.91 c #Conflicts: 226000 | #Constraints: 19152
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 227000 | #Constraints: 10758
706.12/707.91 c #Conflicts: 228000 | #Constraints: 11758
706.12/707.91 c #Conflicts: 229000 | #Constraints: 12758
706.12/707.91 c #Conflicts: 230000 | #Constraints: 13758
706.12/707.91 c #Conflicts: 231000 | #Constraints: 14758
706.12/707.91 c #Conflicts: 232000 | #Constraints: 15758
706.12/707.91 c #Conflicts: 233000 | #Constraints: 16758
706.12/707.91 c #Conflicts: 234000 | #Constraints: 17758
706.12/707.91 c #Conflicts: 235000 | #Constraints: 18758
706.12/707.91 c #Conflicts: 236000 | #Constraints: 19758
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 237000 | #Constraints: 11155
706.12/707.91 c #Conflicts: 238000 | #Constraints: 12155
706.12/707.91 c #Conflicts: 239000 | #Constraints: 13155
706.12/707.91 c #Conflicts: 240000 | #Constraints: 14155
706.12/707.91 c #Conflicts: 241000 | #Constraints: 15155
706.12/707.91 c #Conflicts: 242000 | #Constraints: 16155
706.12/707.91 c #Conflicts: 243000 | #Constraints: 17155
706.12/707.91 c #Conflicts: 244000 | #Constraints: 18155
706.12/707.91 c #Conflicts: 245000 | #Constraints: 19155
706.12/707.91 c #Conflicts: 246000 | #Constraints: 20155
706.12/707.91 c INPROCESSING
706.12/707.91 c GARBAGE COLLECT
706.12/707.91 c #Conflicts: 247000 | #Constraints: 11354
706.12/707.91 c #Conflicts: 248000 | #Constraints: 12354
706.12/707.91 c #Conflicts: 249000 | #Constraints: 13354
706.12/707.91 c #Conflicts: 250000 | #Constraints: 14354
895.91/898.25 c #Conflicts: 251000 | #Constraints: 15354
895.91/898.25 c #Conflicts: 252000 | #Constraints: 16354
895.91/898.25 c #Conflicts: 253000 | #Constraints: 17354
895.91/898.25 c #Conflicts: 254000 | #Constraints: 18354
895.91/898.25 c #Conflicts: 255000 | #Constraints: 19354
895.91/898.25 c #Conflicts: 256000 | #Constraints: 20354
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 257000 | #Constraints: 11351
895.91/898.25 c #Conflicts: 258000 | #Constraints: 12351
895.91/898.25 c #Conflicts: 259000 | #Constraints: 13351
895.91/898.25 c #Conflicts: 260000 | #Constraints: 14351
895.91/898.25 c #Conflicts: 261000 | #Constraints: 15351
895.91/898.25 c #Conflicts: 262000 | #Constraints: 16351
895.91/898.25 c #Conflicts: 263000 | #Constraints: 17351
895.91/898.25 c #Conflicts: 264000 | #Constraints: 18351
895.91/898.25 c #Conflicts: 265000 | #Constraints: 19351
895.91/898.25 c #Conflicts: 266000 | #Constraints: 20351
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 267000 | #Constraints: 11153
895.91/898.25 c #Conflicts: 268000 | #Constraints: 12153
895.91/898.25 c #Conflicts: 269000 | #Constraints: 13153
895.91/898.25 c #Conflicts: 270000 | #Constraints: 14153
895.91/898.25 c #Conflicts: 271000 | #Constraints: 15153
895.91/898.25 c #Conflicts: 272000 | #Constraints: 16153
895.91/898.25 c #Conflicts: 273000 | #Constraints: 17153
895.91/898.25 c #Conflicts: 274000 | #Constraints: 18153
895.91/898.25 c #Conflicts: 275000 | #Constraints: 19153
895.91/898.25 c #Conflicts: 276000 | #Constraints: 20153
895.91/898.25 c #Conflicts: 277000 | #Constraints: 21153
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 278000 | #Constraints: 11750
895.91/898.25 c #Conflicts: 279000 | #Constraints: 12750
895.91/898.25 c #Conflicts: 280000 | #Constraints: 13750
895.91/898.25 c #Conflicts: 281000 | #Constraints: 14750
895.91/898.25 c #Conflicts: 282000 | #Constraints: 15750
895.91/898.25 c #Conflicts: 283000 | #Constraints: 16750
895.91/898.25 c #Conflicts: 284000 | #Constraints: 17750
895.91/898.25 c #Conflicts: 285000 | #Constraints: 18750
895.91/898.25 c #Conflicts: 286000 | #Constraints: 19750
895.91/898.25 c #Conflicts: 287000 | #Constraints: 20750
895.91/898.25 c #Conflicts: 288000 | #Constraints: 21750
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 289000 | #Constraints: 12151
895.91/898.25 c #Conflicts: 290000 | #Constraints: 13151
895.91/898.25 c #Conflicts: 291000 | #Constraints: 14151
895.91/898.25 c #Conflicts: 292000 | #Constraints: 15151
895.91/898.25 c #Conflicts: 293000 | #Constraints: 16151
895.91/898.25 c #Conflicts: 294000 | #Constraints: 17151
895.91/898.25 c #Conflicts: 295000 | #Constraints: 18151
895.91/898.25 c #Conflicts: 296000 | #Constraints: 19151
895.91/898.25 c #Conflicts: 297000 | #Constraints: 20151
895.91/898.25 c #Conflicts: 298000 | #Constraints: 21151
895.91/898.25 c #Conflicts: 299000 | #Constraints: 22151
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 300000 | #Constraints: 12354
895.91/898.25 c #Conflicts: 301000 | #Constraints: 13354
895.91/898.25 c #Conflicts: 302000 | #Constraints: 14354
895.91/898.25 c #Conflicts: 303000 | #Constraints: 15354
895.91/898.25 c #Conflicts: 304000 | #Constraints: 16354
895.91/898.25 c #Conflicts: 305000 | #Constraints: 17354
895.91/898.25 c #Conflicts: 306000 | #Constraints: 18354
895.91/898.25 c #Conflicts: 307000 | #Constraints: 19354
895.91/898.25 c #Conflicts: 308000 | #Constraints: 20354
895.91/898.25 c #Conflicts: 309000 | #Constraints: 21354
895.91/898.25 c #Conflicts: 310000 | #Constraints: 22354
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 311000 | #Constraints: 12354
895.91/898.25 c #Conflicts: 312000 | #Constraints: 13354
895.91/898.25 c #Conflicts: 313000 | #Constraints: 14354
895.91/898.25 c #Conflicts: 314000 | #Constraints: 15354
895.91/898.25 c #Conflicts: 315000 | #Constraints: 16354
895.91/898.25 c #Conflicts: 316000 | #Constraints: 17354
895.91/898.25 c #Conflicts: 317000 | #Constraints: 18354
895.91/898.25 c #Conflicts: 318000 | #Constraints: 19354
895.91/898.25 c #Conflicts: 319000 | #Constraints: 20354
895.91/898.25 c #Conflicts: 320000 | #Constraints: 21354
895.91/898.25 c #Conflicts: 321000 | #Constraints: 22354
895.91/898.25 c INPROCESSING
895.91/898.25 c GARBAGE COLLECT
895.91/898.25 c #Conflicts: 322000 | #Constraints: 12153
895.91/898.25 c #Conflicts: 323000 | #Constraints: 13153
895.91/898.25 c #Conflicts: 324000 | #Constraints: 14153
1103.40/1106.29 c #Conflicts: 325000 | #Constraints: 15153
1103.40/1106.29 c #Conflicts: 326000 | #Constraints: 16153
1103.40/1106.29 c #Conflicts: 327000 | #Constraints: 17153
1103.40/1106.29 c #Conflicts: 328000 | #Constraints: 18153
1103.40/1106.29 c #Conflicts: 329000 | #Constraints: 19153
1103.40/1106.29 c #Conflicts: 330000 | #Constraints: 20153
1103.40/1106.29 c #Conflicts: 331000 | #Constraints: 21153
1103.40/1106.29 c #Conflicts: 332000 | #Constraints: 22153
1103.40/1106.29 c #Conflicts: 333000 | #Constraints: 23153
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 334000 | #Constraints: 12748
1103.40/1106.29 c #Conflicts: 335000 | #Constraints: 13748
1103.40/1106.29 c #Conflicts: 336000 | #Constraints: 14748
1103.40/1106.29 c #Conflicts: 337000 | #Constraints: 15748
1103.40/1106.29 c #Conflicts: 338000 | #Constraints: 16748
1103.40/1106.29 c #Conflicts: 339000 | #Constraints: 17748
1103.40/1106.29 c #Conflicts: 340000 | #Constraints: 18748
1103.40/1106.29 c #Conflicts: 341000 | #Constraints: 19748
1103.40/1106.29 c #Conflicts: 342000 | #Constraints: 20748
1103.40/1106.29 c #Conflicts: 343000 | #Constraints: 21748
1103.40/1106.29 c #Conflicts: 344000 | #Constraints: 22748
1103.40/1106.29 c #Conflicts: 345000 | #Constraints: 23748
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 346000 | #Constraints: 13153
1103.40/1106.29 c #Conflicts: 347000 | #Constraints: 14153
1103.40/1106.29 c #Conflicts: 348000 | #Constraints: 15153
1103.40/1106.29 c #Conflicts: 349000 | #Constraints: 16153
1103.40/1106.29 c #Conflicts: 350000 | #Constraints: 17153
1103.40/1106.29 c #Conflicts: 351000 | #Constraints: 18153
1103.40/1106.29 c #Conflicts: 352000 | #Constraints: 19153
1103.40/1106.29 c #Conflicts: 353000 | #Constraints: 20153
1103.40/1106.29 c #Conflicts: 354000 | #Constraints: 21153
1103.40/1106.29 c #Conflicts: 355000 | #Constraints: 22153
1103.40/1106.29 c #Conflicts: 356000 | #Constraints: 23153
1103.40/1106.29 c #Conflicts: 357000 | #Constraints: 24153
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 358000 | #Constraints: 13353
1103.40/1106.29 c #Conflicts: 359000 | #Constraints: 14353
1103.40/1106.29 c #Conflicts: 360000 | #Constraints: 15353
1103.40/1106.29 c #Conflicts: 361000 | #Constraints: 16353
1103.40/1106.29 c #Conflicts: 362000 | #Constraints: 17353
1103.40/1106.29 c #Conflicts: 363000 | #Constraints: 18353
1103.40/1106.29 c #Conflicts: 364000 | #Constraints: 19353
1103.40/1106.29 c #Conflicts: 365000 | #Constraints: 20353
1103.40/1106.29 c #Conflicts: 366000 | #Constraints: 21353
1103.40/1106.29 c #Conflicts: 367000 | #Constraints: 22353
1103.40/1106.29 c #Conflicts: 368000 | #Constraints: 23353
1103.40/1106.29 c #Conflicts: 369000 | #Constraints: 24353
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 370000 | #Constraints: 13358
1103.40/1106.29 c #Conflicts: 371000 | #Constraints: 14358
1103.40/1106.29 c #Conflicts: 372000 | #Constraints: 15358
1103.40/1106.29 c #Conflicts: 373000 | #Constraints: 16358
1103.40/1106.29 c #Conflicts: 374000 | #Constraints: 17358
1103.40/1106.29 c #Conflicts: 375000 | #Constraints: 18358
1103.40/1106.29 c #Conflicts: 376000 | #Constraints: 19358
1103.40/1106.29 c #Conflicts: 377000 | #Constraints: 20358
1103.40/1106.29 c #Conflicts: 378000 | #Constraints: 21358
1103.40/1106.29 c #Conflicts: 379000 | #Constraints: 22358
1103.40/1106.29 c #Conflicts: 380000 | #Constraints: 23358
1103.40/1106.29 c #Conflicts: 381000 | #Constraints: 24358
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 382000 | #Constraints: 13157
1103.40/1106.29 c #Conflicts: 383000 | #Constraints: 14157
1103.40/1106.29 c #Conflicts: 384000 | #Constraints: 15157
1103.40/1106.29 c #Conflicts: 385000 | #Constraints: 16157
1103.40/1106.29 c #Conflicts: 386000 | #Constraints: 17157
1103.40/1106.29 c #Conflicts: 387000 | #Constraints: 18157
1103.40/1106.29 c #Conflicts: 388000 | #Constraints: 19157
1103.40/1106.29 c #Conflicts: 389000 | #Constraints: 20157
1103.40/1106.29 c #Conflicts: 390000 | #Constraints: 21157
1103.40/1106.29 c #Conflicts: 391000 | #Constraints: 22157
1103.40/1106.29 c #Conflicts: 392000 | #Constraints: 23157
1103.40/1106.29 c #Conflicts: 393000 | #Constraints: 24157
1103.40/1106.29 c #Conflicts: 394000 | #Constraints: 25157
1103.40/1106.29 c INPROCESSING
1103.40/1106.29 c GARBAGE COLLECT
1103.40/1106.29 c #Conflicts: 395000 | #Constraints: 13756
1103.40/1106.29 c #Conflicts: 396000 | #Constraints: 14756
1103.40/1106.29 c #Conflicts: 397000 | #Constraints: 15756
1103.40/1106.29 c #Conflicts: 398000 | #Constraints: 16756
1103.40/1106.29 c #Conflicts: 399000 | #Constraints: 17756
1377.66/1381.18 c #Conflicts: 400000 | #Constraints: 18756
1377.66/1381.18 c #Conflicts: 401000 | #Constraints: 19756
1377.66/1381.18 c #Conflicts: 402000 | #Constraints: 20756
1377.66/1381.18 c #Conflicts: 403000 | #Constraints: 21756
1377.66/1381.18 c #Conflicts: 404000 | #Constraints: 22756
1377.66/1381.18 c #Conflicts: 405000 | #Constraints: 23756
1377.66/1381.18 c #Conflicts: 406000 | #Constraints: 24756
1377.66/1381.18 c #Conflicts: 407000 | #Constraints: 25756
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1377.66/1381.18 c #Conflicts: 408000 | #Constraints: 14153
1377.66/1381.18 c #Conflicts: 409000 | #Constraints: 15153
1377.66/1381.18 c #Conflicts: 410000 | #Constraints: 16153
1377.66/1381.18 c #Conflicts: 411000 | #Constraints: 17153
1377.66/1381.18 c #Conflicts: 412000 | #Constraints: 18153
1377.66/1381.18 c #Conflicts: 413000 | #Constraints: 19153
1377.66/1381.18 c #Conflicts: 414000 | #Constraints: 20153
1377.66/1381.18 c #Conflicts: 415000 | #Constraints: 21153
1377.66/1381.18 c #Conflicts: 416000 | #Constraints: 22153
1377.66/1381.18 c #Conflicts: 417000 | #Constraints: 23153
1377.66/1381.18 c #Conflicts: 418000 | #Constraints: 24153
1377.66/1381.18 c #Conflicts: 419000 | #Constraints: 25153
1377.66/1381.18 c #Conflicts: 420000 | #Constraints: 26153
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1377.66/1381.18 c #Conflicts: 421000 | #Constraints: 14352
1377.66/1381.18 c #Conflicts: 422000 | #Constraints: 15352
1377.66/1381.18 c #Conflicts: 423000 | #Constraints: 16352
1377.66/1381.18 c #Conflicts: 424000 | #Constraints: 17352
1377.66/1381.18 c #Conflicts: 425000 | #Constraints: 18352
1377.66/1381.18 c #Conflicts: 426000 | #Constraints: 19352
1377.66/1381.18 c #Conflicts: 427000 | #Constraints: 20352
1377.66/1381.18 c #Conflicts: 428000 | #Constraints: 21352
1377.66/1381.18 c #Conflicts: 429000 | #Constraints: 22352
1377.66/1381.18 c #Conflicts: 430000 | #Constraints: 23352
1377.66/1381.18 c #Conflicts: 431000 | #Constraints: 24352
1377.66/1381.18 c #Conflicts: 432000 | #Constraints: 25352
1377.66/1381.18 c #Conflicts: 433000 | #Constraints: 26352
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1377.66/1381.18 c #Conflicts: 434000 | #Constraints: 14353
1377.66/1381.18 c #Conflicts: 435000 | #Constraints: 15353
1377.66/1381.18 c #Conflicts: 436000 | #Constraints: 16353
1377.66/1381.18 c #Conflicts: 437000 | #Constraints: 17353
1377.66/1381.18 c #Conflicts: 438000 | #Constraints: 18353
1377.66/1381.18 c #Conflicts: 439000 | #Constraints: 19353
1377.66/1381.18 c #Conflicts: 440000 | #Constraints: 20353
1377.66/1381.18 c #Conflicts: 441000 | #Constraints: 21353
1377.66/1381.18 c #Conflicts: 442000 | #Constraints: 22353
1377.66/1381.18 c #Conflicts: 443000 | #Constraints: 23353
1377.66/1381.18 c #Conflicts: 444000 | #Constraints: 24353
1377.66/1381.18 c #Conflicts: 445000 | #Constraints: 25353
1377.66/1381.18 c #Conflicts: 446000 | #Constraints: 26353
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1377.66/1381.18 c #Conflicts: 447000 | #Constraints: 14159
1377.66/1381.18 c #Conflicts: 448000 | #Constraints: 15159
1377.66/1381.18 c #Conflicts: 449000 | #Constraints: 16159
1377.66/1381.18 c #Conflicts: 450000 | #Constraints: 17159
1377.66/1381.18 c #Conflicts: 451000 | #Constraints: 18159
1377.66/1381.18 c #Conflicts: 452000 | #Constraints: 19159
1377.66/1381.18 c #Conflicts: 453000 | #Constraints: 20159
1377.66/1381.18 c #Conflicts: 454000 | #Constraints: 21159
1377.66/1381.18 c #Conflicts: 455000 | #Constraints: 22159
1377.66/1381.18 c #Conflicts: 456000 | #Constraints: 23159
1377.66/1381.18 c #Conflicts: 457000 | #Constraints: 24159
1377.66/1381.18 c #Conflicts: 458000 | #Constraints: 25159
1377.66/1381.18 c #Conflicts: 459000 | #Constraints: 26159
1377.66/1381.18 c #Conflicts: 460000 | #Constraints: 27159
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1377.66/1381.18 c #Conflicts: 461000 | #Constraints: 14756
1377.66/1381.18 c #Conflicts: 462000 | #Constraints: 15756
1377.66/1381.18 c #Conflicts: 463000 | #Constraints: 16756
1377.66/1381.18 c #Conflicts: 464000 | #Constraints: 17756
1377.66/1381.18 c #Conflicts: 465000 | #Constraints: 18756
1377.66/1381.18 c #Conflicts: 466000 | #Constraints: 19756
1377.66/1381.18 c #Conflicts: 467000 | #Constraints: 20756
1377.66/1381.18 c #Conflicts: 468000 | #Constraints: 21756
1377.66/1381.18 c #Conflicts: 469000 | #Constraints: 22756
1377.66/1381.18 c #Conflicts: 470000 | #Constraints: 23756
1377.66/1381.18 c #Conflicts: 471000 | #Constraints: 24756
1377.66/1381.18 c #Conflicts: 472000 | #Constraints: 25756
1377.66/1381.18 c #Conflicts: 473000 | #Constraints: 26756
1377.66/1381.18 c #Conflicts: 474000 | #Constraints: 27756
1377.66/1381.18 c INPROCESSING
1377.66/1381.18 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 475000 | #Constraints: 15155
1647.08/1651.29 c #Conflicts: 476000 | #Constraints: 16155
1647.08/1651.29 c #Conflicts: 477000 | #Constraints: 17155
1647.08/1651.29 c #Conflicts: 478000 | #Constraints: 18155
1647.08/1651.29 c #Conflicts: 479000 | #Constraints: 19155
1647.08/1651.29 c #Conflicts: 480000 | #Constraints: 20155
1647.08/1651.29 c #Conflicts: 481000 | #Constraints: 21155
1647.08/1651.29 c #Conflicts: 482000 | #Constraints: 22155
1647.08/1651.29 c #Conflicts: 483000 | #Constraints: 23155
1647.08/1651.29 c #Conflicts: 484000 | #Constraints: 24155
1647.08/1651.29 c #Conflicts: 485000 | #Constraints: 25155
1647.08/1651.29 c #Conflicts: 486000 | #Constraints: 26155
1647.08/1651.29 c #Conflicts: 487000 | #Constraints: 27155
1647.08/1651.29 c #Conflicts: 488000 | #Constraints: 28155
1647.08/1651.29 c INPROCESSING
1647.08/1651.29 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 489000 | #Constraints: 15360
1647.08/1651.29 c #Conflicts: 490000 | #Constraints: 16360
1647.08/1651.29 c #Conflicts: 491000 | #Constraints: 17360
1647.08/1651.29 c #Conflicts: 492000 | #Constraints: 18360
1647.08/1651.29 c #Conflicts: 493000 | #Constraints: 19360
1647.08/1651.29 c #Conflicts: 494000 | #Constraints: 20360
1647.08/1651.29 c #Conflicts: 495000 | #Constraints: 21360
1647.08/1651.29 c #Conflicts: 496000 | #Constraints: 22360
1647.08/1651.29 c #Conflicts: 497000 | #Constraints: 23360
1647.08/1651.29 c #Conflicts: 498000 | #Constraints: 24360
1647.08/1651.29 c #Conflicts: 499000 | #Constraints: 25360
1647.08/1651.29 c #Conflicts: 500000 | #Constraints: 26360
1647.08/1651.29 c #Conflicts: 501000 | #Constraints: 27360
1647.08/1651.29 c #Conflicts: 502000 | #Constraints: 28360
1647.08/1651.29 c INPROCESSING
1647.08/1651.29 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 503000 | #Constraints: 15364
1647.08/1651.29 c #Conflicts: 504000 | #Constraints: 16364
1647.08/1651.29 c #Conflicts: 505000 | #Constraints: 17364
1647.08/1651.29 c #Conflicts: 506000 | #Constraints: 18364
1647.08/1651.29 c #Conflicts: 507000 | #Constraints: 19364
1647.08/1651.29 c #Conflicts: 508000 | #Constraints: 20364
1647.08/1651.29 c #Conflicts: 509000 | #Constraints: 21364
1647.08/1651.29 c #Conflicts: 510000 | #Constraints: 22364
1647.08/1651.29 c #Conflicts: 511000 | #Constraints: 23364
1647.08/1651.29 c #Conflicts: 512000 | #Constraints: 24364
1647.08/1651.29 c #Conflicts: 513000 | #Constraints: 25364
1647.08/1651.29 c #Conflicts: 514000 | #Constraints: 26364
1647.08/1651.29 c #Conflicts: 515000 | #Constraints: 27364
1647.08/1651.29 c #Conflicts: 516000 | #Constraints: 28364
1647.08/1651.29 c INPROCESSING
1647.08/1651.29 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 517000 | #Constraints: 15159
1647.08/1651.29 c #Conflicts: 518000 | #Constraints: 16159
1647.08/1651.29 c #Conflicts: 519000 | #Constraints: 17159
1647.08/1651.29 c #Conflicts: 520000 | #Constraints: 18159
1647.08/1651.29 c #Conflicts: 521000 | #Constraints: 19159
1647.08/1651.29 c #Conflicts: 522000 | #Constraints: 20159
1647.08/1651.29 c #Conflicts: 523000 | #Constraints: 21159
1647.08/1651.29 c #Conflicts: 524000 | #Constraints: 22159
1647.08/1651.29 c #Conflicts: 525000 | #Constraints: 23159
1647.08/1651.29 c #Conflicts: 526000 | #Constraints: 24159
1647.08/1651.29 c #Conflicts: 527000 | #Constraints: 25159
1647.08/1651.29 c #Conflicts: 528000 | #Constraints: 26159
1647.08/1651.29 c #Conflicts: 529000 | #Constraints: 27159
1647.08/1651.29 c #Conflicts: 530000 | #Constraints: 28159
1647.08/1651.29 c #Conflicts: 531000 | #Constraints: 29159
1647.08/1651.29 c INPROCESSING
1647.08/1651.29 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 532000 | #Constraints: 15758
1647.08/1651.29 c #Conflicts: 533000 | #Constraints: 16758
1647.08/1651.29 c #Conflicts: 534000 | #Constraints: 17758
1647.08/1651.29 c #Conflicts: 535000 | #Constraints: 18758
1647.08/1651.29 c #Conflicts: 536000 | #Constraints: 19758
1647.08/1651.29 c #Conflicts: 537000 | #Constraints: 20758
1647.08/1651.29 c #Conflicts: 538000 | #Constraints: 21758
1647.08/1651.29 c #Conflicts: 539000 | #Constraints: 22758
1647.08/1651.29 c #Conflicts: 540000 | #Constraints: 23758
1647.08/1651.29 c #Conflicts: 541000 | #Constraints: 24758
1647.08/1651.29 c #Conflicts: 542000 | #Constraints: 25758
1647.08/1651.29 c #Conflicts: 543000 | #Constraints: 26758
1647.08/1651.29 c #Conflicts: 544000 | #Constraints: 27758
1647.08/1651.29 c #Conflicts: 545000 | #Constraints: 28758
1647.08/1651.29 c #Conflicts: 546000 | #Constraints: 29758
1647.08/1651.29 c INPROCESSING
1647.08/1651.29 c GARBAGE COLLECT
1647.08/1651.29 c #Conflicts: 547000 | #Constraints: 16157
1647.08/1651.29 c #Conflicts: 548000 | #Constraints: 17157
1647.08/1651.29 c #Conflicts: 549000 | #Constraints: 18157
1647.08/1651.29 c #Conflicts: 550000 | #Constraints: 19157
1923.50/1928.42 c #Conflicts: 551000 | #Constraints: 20157
1923.50/1928.42 c #Conflicts: 552000 | #Constraints: 21157
1923.50/1928.42 c #Conflicts: 553000 | #Constraints: 22157
1923.50/1928.42 c #Conflicts: 554000 | #Constraints: 23157
1923.50/1928.42 c #Conflicts: 555000 | #Constraints: 24157
1923.50/1928.42 c #Conflicts: 556000 | #Constraints: 25157
1923.50/1928.42 c #Conflicts: 557000 | #Constraints: 26157
1923.50/1928.42 c #Conflicts: 558000 | #Constraints: 27157
1923.50/1928.42 c #Conflicts: 559000 | #Constraints: 28157
1923.50/1928.42 c #Conflicts: 560000 | #Constraints: 29157
1923.50/1928.42 c #Conflicts: 561000 | #Constraints: 30157
1923.50/1928.42 c INPROCESSING
1923.50/1928.42 c GARBAGE COLLECT
1923.50/1928.42 c #Conflicts: 562000 | #Constraints: 16352
1923.50/1928.42 c #Conflicts: 563000 | #Constraints: 17352
1923.50/1928.42 c #Conflicts: 564000 | #Constraints: 18352
1923.50/1928.42 c #Conflicts: 565000 | #Constraints: 19352
1923.50/1928.42 c #Conflicts: 566000 | #Constraints: 20352
1923.50/1928.42 c #Conflicts: 567000 | #Constraints: 21352
1923.50/1928.42 c #Conflicts: 568000 | #Constraints: 22352
1923.50/1928.42 c #Conflicts: 569000 | #Constraints: 23352
1923.50/1928.42 c #Conflicts: 570000 | #Constraints: 24352
1923.50/1928.42 c #Conflicts: 571000 | #Constraints: 25352
1923.50/1928.42 c #Conflicts: 572000 | #Constraints: 26352
1923.50/1928.42 c #Conflicts: 573000 | #Constraints: 27352
1923.50/1928.42 c #Conflicts: 574000 | #Constraints: 28352
1923.50/1928.42 c #Conflicts: 575000 | #Constraints: 29352
1923.50/1928.42 c #Conflicts: 576000 | #Constraints: 30352
1923.50/1928.42 c INPROCESSING
1923.50/1928.42 c GARBAGE COLLECT
1923.50/1928.42 c #Conflicts: 577000 | #Constraints: 16349
1923.50/1928.42 c #Conflicts: 578000 | #Constraints: 17349
1923.50/1928.42 c #Conflicts: 579000 | #Constraints: 18349
1923.50/1928.42 c #Conflicts: 580000 | #Constraints: 19349
1923.50/1928.42 c #Conflicts: 581000 | #Constraints: 20349
1923.50/1928.42 c #Conflicts: 582000 | #Constraints: 21349
1923.50/1928.42 c #Conflicts: 583000 | #Constraints: 22349
1923.50/1928.42 c #Conflicts: 584000 | #Constraints: 23349
1923.50/1928.42 c #Conflicts: 585000 | #Constraints: 24349
1923.50/1928.42 c #Conflicts: 586000 | #Constraints: 25349
1923.50/1928.42 c #Conflicts: 587000 | #Constraints: 26349
1923.50/1928.42 c #Conflicts: 588000 | #Constraints: 27349
1923.50/1928.42 c #Conflicts: 589000 | #Constraints: 28349
1923.50/1928.42 c #Conflicts: 590000 | #Constraints: 29349
1923.50/1928.42 c #Conflicts: 591000 | #Constraints: 30349
1923.50/1928.42 c INPROCESSING
1923.50/1928.42 c GARBAGE COLLECT
1923.50/1928.42 c #Conflicts: 592000 | #Constraints: 16158
1923.50/1928.42 c #Conflicts: 593000 | #Constraints: 17158
1923.50/1928.42 c #Conflicts: 594000 | #Constraints: 18158
1923.50/1928.42 c #Conflicts: 595000 | #Constraints: 19158
1923.50/1928.42 c #Conflicts: 596000 | #Constraints: 20158
1923.50/1928.42 c #Conflicts: 597000 | #Constraints: 21158
1923.50/1928.42 c #Conflicts: 598000 | #Constraints: 22158
1923.50/1928.42 c #Conflicts: 599000 | #Constraints: 23158
1923.50/1928.42 c #Conflicts: 600000 | #Constraints: 24158
1923.50/1928.42 c #Conflicts: 601000 | #Constraints: 25158
1923.50/1928.42 c #Conflicts: 602000 | #Constraints: 26158
1923.50/1928.42 c #Conflicts: 603000 | #Constraints: 27158
1923.50/1928.42 c #Conflicts: 604000 | #Constraints: 28158
1923.50/1928.42 c #Conflicts: 605000 | #Constraints: 29158
1923.50/1928.42 c #Conflicts: 606000 | #Constraints: 30158
1923.50/1928.42 c #Conflicts: 607000 | #Constraints: 31158
1923.50/1928.42 c INPROCESSING
1923.50/1928.42 c GARBAGE COLLECT
1923.50/1928.42 c #Conflicts: 608000 | #Constraints: 16756
1923.50/1928.42 c #Conflicts: 609000 | #Constraints: 17756
1923.50/1928.42 c #Conflicts: 610000 | #Constraints: 18756
1923.50/1928.42 c #Conflicts: 611000 | #Constraints: 19756
1923.50/1928.42 c #Conflicts: 612000 | #Constraints: 20756
1923.50/1928.42 c #Conflicts: 613000 | #Constraints: 21756
1923.50/1928.42 c #Conflicts: 614000 | #Constraints: 22756
1923.50/1928.42 c #Conflicts: 615000 | #Constraints: 23756
1923.50/1928.42 c #Conflicts: 616000 | #Constraints: 24756
1923.50/1928.42 c #Conflicts: 617000 | #Constraints: 25756
1923.50/1928.42 c #Conflicts: 618000 | #Constraints: 26756
1923.50/1928.42 c #Conflicts: 619000 | #Constraints: 27756
1923.50/1928.42 c #Conflicts: 620000 | #Constraints: 28756
1923.50/1928.42 c #Conflicts: 621000 | #Constraints: 29756
1923.50/1928.42 c #Conflicts: 622000 | #Constraints: 30756
1923.50/1928.42 c #Conflicts: 623000 | #Constraints: 31756
1923.50/1928.42 c INPROCESSING
1923.50/1928.42 c GARBAGE COLLECT
1923.50/1928.42 c #Conflicts: 624000 | #Constraints: 17155
1923.50/1928.42 c #Conflicts: 625000 | #Constraints: 18155
1923.50/1928.42 c #Conflicts: 626000 | #Constraints: 19155
2219.58/2225.38 c #Conflicts: 627000 | #Constraints: 20155
2219.58/2225.38 c #Conflicts: 628000 | #Constraints: 21155
2219.58/2225.38 c #Conflicts: 629000 | #Constraints: 22155
2219.58/2225.38 c #Conflicts: 630000 | #Constraints: 23155
2219.58/2225.38 c #Conflicts: 631000 | #Constraints: 24155
2219.58/2225.38 c #Conflicts: 632000 | #Constraints: 25155
2219.58/2225.38 c #Conflicts: 633000 | #Constraints: 26155
2219.58/2225.38 c #Conflicts: 634000 | #Constraints: 27155
2219.58/2225.38 c #Conflicts: 635000 | #Constraints: 28155
2219.58/2225.38 c #Conflicts: 636000 | #Constraints: 29155
2219.58/2225.38 c #Conflicts: 637000 | #Constraints: 30155
2219.58/2225.38 c #Conflicts: 638000 | #Constraints: 31155
2219.58/2225.38 c #Conflicts: 639000 | #Constraints: 32155
2219.58/2225.38 c INPROCESSING
2219.58/2225.38 c GARBAGE COLLECT
2219.58/2225.38 c #Conflicts: 640000 | #Constraints: 17351
2219.58/2225.38 c #Conflicts: 641000 | #Constraints: 18351
2219.58/2225.38 c #Conflicts: 642000 | #Constraints: 19351
2219.58/2225.38 c #Conflicts: 643000 | #Constraints: 20351
2219.58/2225.38 c #Conflicts: 644000 | #Constraints: 21351
2219.58/2225.38 c #Conflicts: 645000 | #Constraints: 22351
2219.58/2225.38 c #Conflicts: 646000 | #Constraints: 23351
2219.58/2225.38 c #Conflicts: 647000 | #Constraints: 24351
2219.58/2225.38 c #Conflicts: 648000 | #Constraints: 25351
2219.58/2225.38 c #Conflicts: 649000 | #Constraints: 26351
2219.58/2225.38 c #Conflicts: 650000 | #Constraints: 27351
2219.58/2225.38 c #Conflicts: 651000 | #Constraints: 28351
2219.58/2225.38 c #Conflicts: 652000 | #Constraints: 29351
2219.58/2225.38 c #Conflicts: 653000 | #Constraints: 30351
2219.58/2225.38 c #Conflicts: 654000 | #Constraints: 31351
2219.58/2225.38 c #Conflicts: 655000 | #Constraints: 32351
2219.58/2225.38 c INPROCESSING
2219.58/2225.38 c GARBAGE COLLECT
2219.58/2225.38 c #Conflicts: 656000 | #Constraints: 17360
2219.58/2225.38 c #Conflicts: 657000 | #Constraints: 18360
2219.58/2225.38 c #Conflicts: 658000 | #Constraints: 19360
2219.58/2225.38 c #Conflicts: 659000 | #Constraints: 20360
2219.58/2225.38 c #Conflicts: 660000 | #Constraints: 21360
2219.58/2225.38 c #Conflicts: 661000 | #Constraints: 22360
2219.58/2225.38 c #Conflicts: 662000 | #Constraints: 23360
2219.58/2225.38 c #Conflicts: 663000 | #Constraints: 24360
2219.58/2225.38 c #Conflicts: 664000 | #Constraints: 25360
2219.58/2225.38 c #Conflicts: 665000 | #Constraints: 26360
2219.58/2225.38 c #Conflicts: 666000 | #Constraints: 27360
2219.58/2225.38 c #Conflicts: 667000 | #Constraints: 28360
2219.58/2225.38 c #Conflicts: 668000 | #Constraints: 29360
2219.58/2225.38 c #Conflicts: 669000 | #Constraints: 30360
2219.58/2225.38 c #Conflicts: 670000 | #Constraints: 31360
2219.58/2225.38 c #Conflicts: 671000 | #Constraints: 32360
2219.58/2225.38 c INPROCESSING
2219.58/2225.38 c GARBAGE COLLECT
2219.58/2225.38 c #Conflicts: 672000 | #Constraints: 17154
2219.58/2225.38 c #Conflicts: 673000 | #Constraints: 18154
2219.58/2225.38 c #Conflicts: 674000 | #Constraints: 19154
2219.58/2225.38 c #Conflicts: 675000 | #Constraints: 20154
2219.58/2225.38 c #Conflicts: 676000 | #Constraints: 21154
2219.58/2225.38 c #Conflicts: 677000 | #Constraints: 22154
2219.58/2225.38 c #Conflicts: 678000 | #Constraints: 23154
2219.58/2225.38 c #Conflicts: 679000 | #Constraints: 24154
2219.58/2225.38 c #Conflicts: 680000 | #Constraints: 25154
2219.58/2225.38 c #Conflicts: 681000 | #Constraints: 26154
2219.58/2225.38 c #Conflicts: 682000 | #Constraints: 27154
2219.58/2225.38 c #Conflicts: 683000 | #Constraints: 28154
2219.58/2225.38 c #Conflicts: 684000 | #Constraints: 29154
2219.58/2225.38 c #Conflicts: 685000 | #Constraints: 30154
2219.58/2225.38 c #Conflicts: 686000 | #Constraints: 31154
2219.58/2225.38 c #Conflicts: 687000 | #Constraints: 32154
2219.58/2225.38 c #Conflicts: 688000 | #Constraints: 33154
2219.58/2225.38 c INPROCESSING
2219.58/2225.38 c GARBAGE COLLECT
2219.58/2225.38 c #Conflicts: 689000 | #Constraints: 17752
2219.58/2225.38 c #Conflicts: 690000 | #Constraints: 18752
2219.58/2225.38 c #Conflicts: 691000 | #Constraints: 19752
2219.58/2225.38 c #Conflicts: 692000 | #Constraints: 20752
2219.58/2225.38 c #Conflicts: 693000 | #Constraints: 21752
2219.58/2225.38 c #Conflicts: 694000 | #Constraints: 22752
2219.58/2225.38 c #Conflicts: 695000 | #Constraints: 23752
2219.58/2225.38 c #Conflicts: 696000 | #Constraints: 24752
2219.58/2225.38 c #Conflicts: 697000 | #Constraints: 25752
2219.58/2225.38 c #Conflicts: 698000 | #Constraints: 26752
2219.58/2225.38 c #Conflicts: 699000 | #Constraints: 27752
2219.58/2225.38 c #Conflicts: 700000 | #Constraints: 28752
2219.58/2225.38 c #Conflicts: 701000 | #Constraints: 29752
2219.58/2225.38 c #Conflicts: 702000 | #Constraints: 30752
2559.81/2566.59 c #Conflicts: 703000 | #Constraints: 31752
2559.81/2566.59 c #Conflicts: 704000 | #Constraints: 32752
2559.81/2566.59 c #Conflicts: 705000 | #Constraints: 33752
2559.81/2566.59 c INPROCESSING
2559.81/2566.59 c GARBAGE COLLECT
2559.81/2566.59 c #Conflicts: 706000 | #Constraints: 18152
2559.81/2566.59 c #Conflicts: 707000 | #Constraints: 19152
2559.81/2566.59 c #Conflicts: 708000 | #Constraints: 20152
2559.81/2566.59 c #Conflicts: 709000 | #Constraints: 21152
2559.81/2566.59 c #Conflicts: 710000 | #Constraints: 22152
2559.81/2566.59 c #Conflicts: 711000 | #Constraints: 23152
2559.81/2566.59 c #Conflicts: 712000 | #Constraints: 24152
2559.81/2566.59 c #Conflicts: 713000 | #Constraints: 25152
2559.81/2566.59 c #Conflicts: 714000 | #Constraints: 26152
2559.81/2566.59 c #Conflicts: 715000 | #Constraints: 27152
2559.81/2566.59 c #Conflicts: 716000 | #Constraints: 28152
2559.81/2566.59 c #Conflicts: 717000 | #Constraints: 29152
2559.81/2566.59 c #Conflicts: 718000 | #Constraints: 30152
2559.81/2566.59 c #Conflicts: 719000 | #Constraints: 31152
2559.81/2566.59 c #Conflicts: 720000 | #Constraints: 32152
2559.81/2566.59 c #Conflicts: 721000 | #Constraints: 33152
2559.81/2566.59 c #Conflicts: 722000 | #Constraints: 34152
2559.81/2566.59 c INPROCESSING
2559.81/2566.59 c GARBAGE COLLECT
2559.81/2566.59 c #Conflicts: 723000 | #Constraints: 18349
2559.81/2566.59 c #Conflicts: 724000 | #Constraints: 19349
2559.81/2566.59 c #Conflicts: 725000 | #Constraints: 20349
2559.81/2566.59 c #Conflicts: 726000 | #Constraints: 21349
2559.81/2566.59 c #Conflicts: 727000 | #Constraints: 22349
2559.81/2566.59 c #Conflicts: 728000 | #Constraints: 23349
2559.81/2566.59 c #Conflicts: 729000 | #Constraints: 24349
2559.81/2566.59 c #Conflicts: 730000 | #Constraints: 25349
2559.81/2566.59 c #Conflicts: 731000 | #Constraints: 26349
2559.81/2566.59 c #Conflicts: 732000 | #Constraints: 27349
2559.81/2566.59 c #Conflicts: 733000 | #Constraints: 28349
2559.81/2566.59 c #Conflicts: 734000 | #Constraints: 29349
2559.81/2566.59 c #Conflicts: 735000 | #Constraints: 30349
2559.81/2566.59 c #Conflicts: 736000 | #Constraints: 31349
2559.81/2566.59 c #Conflicts: 737000 | #Constraints: 32349
2559.81/2566.59 c #Conflicts: 738000 | #Constraints: 33349
2559.81/2566.59 c #Conflicts: 739000 | #Constraints: 34349
2559.81/2566.59 c INPROCESSING
2559.81/2566.59 c GARBAGE COLLECT
2559.81/2566.59 c #Conflicts: 740000 | #Constraints: 18350
2559.81/2566.59 c #Conflicts: 741000 | #Constraints: 19350
2559.81/2566.59 c #Conflicts: 742000 | #Constraints: 20350
2559.81/2566.59 c #Conflicts: 743000 | #Constraints: 21350
2559.81/2566.59 c #Conflicts: 744000 | #Constraints: 22350
2559.81/2566.59 c #Conflicts: 745000 | #Constraints: 23350
2559.81/2566.59 c #Conflicts: 746000 | #Constraints: 24350
2559.81/2566.59 c #Conflicts: 747000 | #Constraints: 25350
2559.81/2566.59 c #Conflicts: 748000 | #Constraints: 26350
2559.81/2566.59 c #Conflicts: 749000 | #Constraints: 27350
2559.81/2566.59 c #Conflicts: 750000 | #Constraints: 28350
2559.81/2566.59 c #Conflicts: 751000 | #Constraints: 29350
2559.81/2566.59 c #Conflicts: 752000 | #Constraints: 30350
2559.81/2566.59 c #Conflicts: 753000 | #Constraints: 31350
2559.81/2566.59 c #Conflicts: 754000 | #Constraints: 32350
2559.81/2566.59 c #Conflicts: 755000 | #Constraints: 33350
2559.81/2566.59 c #Conflicts: 756000 | #Constraints: 34350
2559.81/2566.59 c INPROCESSING
2559.81/2566.59 c GARBAGE COLLECT
2559.81/2566.59 c #Conflicts: 757000 | #Constraints: 18150
2559.81/2566.59 c #Conflicts: 758000 | #Constraints: 19150
2559.81/2566.59 c #Conflicts: 759000 | #Constraints: 20150
2559.81/2566.59 c #Conflicts: 760000 | #Constraints: 21150
2559.81/2566.59 c #Conflicts: 761000 | #Constraints: 22150
2559.81/2566.59 c #Conflicts: 762000 | #Constraints: 23150
2559.81/2566.59 c #Conflicts: 763000 | #Constraints: 24150
2559.81/2566.59 c #Conflicts: 764000 | #Constraints: 25150
2559.81/2566.59 c #Conflicts: 765000 | #Constraints: 26150
2559.81/2566.59 c #Conflicts: 766000 | #Constraints: 27150
2559.81/2566.59 c #Conflicts: 767000 | #Constraints: 28150
2559.81/2566.59 c #Conflicts: 768000 | #Constraints: 29150
2559.81/2566.59 c #Conflicts: 769000 | #Constraints: 30150
2559.81/2566.59 c #Conflicts: 770000 | #Constraints: 31150
2559.81/2566.59 c #Conflicts: 771000 | #Constraints: 32150
2559.81/2566.59 c #Conflicts: 772000 | #Constraints: 33150
2559.81/2566.59 c #Conflicts: 773000 | #Constraints: 34150
2559.81/2566.59 c #Conflicts: 774000 | #Constraints: 35150
2559.81/2566.59 c INPROCESSING
2559.81/2566.59 c GARBAGE COLLECT
2559.81/2566.59 c #Conflicts: 775000 | #Constraints: 18746
2559.81/2566.59 c #Conflicts: 776000 | #Constraints: 19746
2559.81/2566.59 c #Conflicts: 777000 | #Constraints: 20746
2918.67/2926.48 c #Conflicts: 778000 | #Constraints: 21746
2918.67/2926.48 c #Conflicts: 779000 | #Constraints: 22746
2918.67/2926.48 c #Conflicts: 780000 | #Constraints: 23746
2918.67/2926.48 c #Conflicts: 781000 | #Constraints: 24746
2918.67/2926.48 c #Conflicts: 782000 | #Constraints: 25746
2918.67/2926.48 c #Conflicts: 783000 | #Constraints: 26746
2918.67/2926.48 c #Conflicts: 784000 | #Constraints: 27746
2918.67/2926.48 c #Conflicts: 785000 | #Constraints: 28746
2918.67/2926.48 c #Conflicts: 786000 | #Constraints: 29746
2918.67/2926.48 c #Conflicts: 787000 | #Constraints: 30746
2918.67/2926.48 c #Conflicts: 788000 | #Constraints: 31746
2918.67/2926.48 c #Conflicts: 789000 | #Constraints: 32746
2918.67/2926.48 c #Conflicts: 790000 | #Constraints: 33746
2918.67/2926.48 c #Conflicts: 791000 | #Constraints: 34746
2918.67/2926.48 c #Conflicts: 792000 | #Constraints: 35746
2918.67/2926.48 c INPROCESSING
2918.67/2926.48 c GARBAGE COLLECT
2918.67/2926.48 c #Conflicts: 793000 | #Constraints: 19149
2918.67/2926.48 c #Conflicts: 794000 | #Constraints: 20149
2918.67/2926.48 c #Conflicts: 795000 | #Constraints: 21149
2918.67/2926.48 c #Conflicts: 796000 | #Constraints: 22149
2918.67/2926.48 c #Conflicts: 797000 | #Constraints: 23149
2918.67/2926.48 c #Conflicts: 798000 | #Constraints: 24149
2918.67/2926.48 c #Conflicts: 799000 | #Constraints: 25149
2918.67/2926.48 c #Conflicts: 800000 | #Constraints: 26149
2918.67/2926.48 c #Conflicts: 801000 | #Constraints: 27149
2918.67/2926.48 c #Conflicts: 802000 | #Constraints: 28149
2918.67/2926.48 c #Conflicts: 803000 | #Constraints: 29149
2918.67/2926.48 c #Conflicts: 804000 | #Constraints: 30149
2918.67/2926.48 c #Conflicts: 805000 | #Constraints: 31149
2918.67/2926.48 c #Conflicts: 806000 | #Constraints: 32149
2918.67/2926.48 c #Conflicts: 807000 | #Constraints: 33149
2918.67/2926.48 c #Conflicts: 808000 | #Constraints: 34149
2918.67/2926.48 c #Conflicts: 809000 | #Constraints: 35149
2918.67/2926.48 c #Conflicts: 810000 | #Constraints: 36149
2918.67/2926.48 c INPROCESSING
2918.67/2926.48 c GARBAGE COLLECT
2918.67/2926.48 c #Conflicts: 811000 | #Constraints: 19349
2918.67/2926.48 c #Conflicts: 812000 | #Constraints: 20349
2918.67/2926.48 c #Conflicts: 813000 | #Constraints: 21349
2918.67/2926.48 c #Conflicts: 814000 | #Constraints: 22349
2918.67/2926.48 c #Conflicts: 815000 | #Constraints: 23349
2918.67/2926.48 c #Conflicts: 816000 | #Constraints: 24349
2918.67/2926.48 c #Conflicts: 817000 | #Constraints: 25349
2918.67/2926.48 c #Conflicts: 818000 | #Constraints: 26349
2918.67/2926.48 c #Conflicts: 819000 | #Constraints: 27349
2918.67/2926.48 c #Conflicts: 820000 | #Constraints: 28349
2918.67/2926.48 c #Conflicts: 821000 | #Constraints: 29349
2918.67/2926.48 c #Conflicts: 822000 | #Constraints: 30349
2918.67/2926.48 c #Conflicts: 823000 | #Constraints: 31349
2918.67/2926.48 c #Conflicts: 824000 | #Constraints: 32349
2918.67/2926.48 c #Conflicts: 825000 | #Constraints: 33349
2918.67/2926.48 c #Conflicts: 826000 | #Constraints: 34349
2918.67/2926.48 c #Conflicts: 827000 | #Constraints: 35349
2918.67/2926.48 c #Conflicts: 828000 | #Constraints: 36349
2918.67/2926.48 c INPROCESSING
2918.67/2926.48 c GARBAGE COLLECT
2918.67/2926.48 c #Conflicts: 829000 | #Constraints: 19345
2918.67/2926.48 c #Conflicts: 830000 | #Constraints: 20345
2918.67/2926.48 c #Conflicts: 831000 | #Constraints: 21345
2918.67/2926.48 c #Conflicts: 832000 | #Constraints: 22345
2918.67/2926.48 c #Conflicts: 833000 | #Constraints: 23345
2918.67/2926.48 c #Conflicts: 834000 | #Constraints: 24345
2918.67/2926.48 c #Conflicts: 835000 | #Constraints: 25345
2918.67/2926.48 c #Conflicts: 836000 | #Constraints: 26345
2918.67/2926.48 c #Conflicts: 837000 | #Constraints: 27345
2918.67/2926.48 c #Conflicts: 838000 | #Constraints: 28345
2918.67/2926.48 c #Conflicts: 839000 | #Constraints: 29345
2918.67/2926.48 c #Conflicts: 840000 | #Constraints: 30345
2918.67/2926.48 c #Conflicts: 841000 | #Constraints: 31345
2918.67/2926.48 c #Conflicts: 842000 | #Constraints: 32345
2918.67/2926.48 c #Conflicts: 843000 | #Constraints: 33345
2918.67/2926.48 c #Conflicts: 844000 | #Constraints: 34345
2918.67/2926.48 c #Conflicts: 845000 | #Constraints: 35345
2918.67/2926.48 c #Conflicts: 846000 | #Constraints: 36345
2918.67/2926.48 c INPROCESSING
2918.67/2926.48 c GARBAGE COLLECT
2918.67/2926.48 c #Conflicts: 847000 | #Constraints: 19146
2918.67/2926.48 c #Conflicts: 848000 | #Constraints: 20146
2918.67/2926.48 c #Conflicts: 849000 | #Constraints: 21146
2918.67/2926.48 c #Conflicts: 850000 | #Constraints: 22146
2918.67/2926.48 c #Conflicts: 851000 | #Constraints: 23146
2918.67/2926.48 c #Conflicts: 852000 | #Constraints: 24146
2918.67/2926.48 c #Conflicts: 853000 | #Constraints: 25146
2918.67/2926.48 c #Conflicts: 854000 | #Constraints: 26146
3272.60/3281.39 c #Conflicts: 855000 | #Constraints: 27146
3272.60/3281.39 c #Conflicts: 856000 | #Constraints: 28146
3272.60/3281.39 c #Conflicts: 857000 | #Constraints: 29146
3272.60/3281.39 c #Conflicts: 858000 | #Constraints: 30146
3272.60/3281.39 c #Conflicts: 859000 | #Constraints: 31146
3272.60/3281.39 c #Conflicts: 860000 | #Constraints: 32146
3272.60/3281.39 c #Conflicts: 861000 | #Constraints: 33146
3272.60/3281.39 c #Conflicts: 862000 | #Constraints: 34146
3272.60/3281.39 c #Conflicts: 863000 | #Constraints: 35146
3272.60/3281.39 c #Conflicts: 864000 | #Constraints: 36146
3272.60/3281.39 c #Conflicts: 865000 | #Constraints: 37146
3272.60/3281.39 c INPROCESSING
3272.60/3281.39 c GARBAGE COLLECT
3272.60/3281.39 c #Conflicts: 866000 | #Constraints: 19750
3272.60/3281.39 c #Conflicts: 867000 | #Constraints: 20750
3272.60/3281.39 c #Conflicts: 868000 | #Constraints: 21750
3272.60/3281.39 c #Conflicts: 869000 | #Constraints: 22750
3272.60/3281.39 c #Conflicts: 870000 | #Constraints: 23750
3272.60/3281.39 c #Conflicts: 871000 | #Constraints: 24750
3272.60/3281.39 c #Conflicts: 872000 | #Constraints: 25750
3272.60/3281.39 c #Conflicts: 873000 | #Constraints: 26750
3272.60/3281.39 c #Conflicts: 874000 | #Constraints: 27750
3272.60/3281.39 c #Conflicts: 875000 | #Constraints: 28750
3272.60/3281.39 c #Conflicts: 876000 | #Constraints: 29750
3272.60/3281.39 c #Conflicts: 877000 | #Constraints: 30750
3272.60/3281.39 c #Conflicts: 878000 | #Constraints: 31750
3272.60/3281.39 c #Conflicts: 879000 | #Constraints: 32750
3272.60/3281.39 c #Conflicts: 880000 | #Constraints: 33750
3272.60/3281.39 c #Conflicts: 881000 | #Constraints: 34750
3272.60/3281.39 c #Conflicts: 882000 | #Constraints: 35750
3272.60/3281.39 c #Conflicts: 883000 | #Constraints: 36750
3272.60/3281.39 c #Conflicts: 884000 | #Constraints: 37750
3272.60/3281.39 c INPROCESSING
3272.60/3281.39 c GARBAGE COLLECT
3272.60/3281.39 c #Conflicts: 885000 | #Constraints: 20149
3272.60/3281.39 c #Conflicts: 886000 | #Constraints: 21149
3272.60/3281.39 c #Conflicts: 887000 | #Constraints: 22149
3272.60/3281.39 c #Conflicts: 888000 | #Constraints: 23149
3272.60/3281.39 c #Conflicts: 889000 | #Constraints: 24149
3272.60/3281.39 c #Conflicts: 890000 | #Constraints: 25149
3272.60/3281.39 c #Conflicts: 891000 | #Constraints: 26149
3272.60/3281.39 c #Conflicts: 892000 | #Constraints: 27149
3272.60/3281.39 c #Conflicts: 893000 | #Constraints: 28149
3272.60/3281.39 c #Conflicts: 894000 | #Constraints: 29149
3272.60/3281.39 c #Conflicts: 895000 | #Constraints: 30149
3272.60/3281.39 c #Conflicts: 896000 | #Constraints: 31149
3272.60/3281.39 c #Conflicts: 897000 | #Constraints: 32149
3272.60/3281.39 c #Conflicts: 898000 | #Constraints: 33149
3272.60/3281.39 c #Conflicts: 899000 | #Constraints: 34149
3272.60/3281.39 c #Conflicts: 900000 | #Constraints: 35149
3272.60/3281.39 c #Conflicts: 901000 | #Constraints: 36149
3272.60/3281.39 c #Conflicts: 902000 | #Constraints: 37149
3272.60/3281.39 c #Conflicts: 903000 | #Constraints: 38149
3272.60/3281.39 c INPROCESSING
3272.60/3281.39 c GARBAGE COLLECT
3272.60/3281.39 c #Conflicts: 904000 | #Constraints: 20350
3272.60/3281.39 c #Conflicts: 905000 | #Constraints: 21350
3272.60/3281.39 c #Conflicts: 906000 | #Constraints: 22350
3272.60/3281.39 c #Conflicts: 907000 | #Constraints: 23350
3272.60/3281.39 c #Conflicts: 908000 | #Constraints: 24350
3272.60/3281.39 c #Conflicts: 909000 | #Constraints: 25350
3272.60/3281.39 c #Conflicts: 910000 | #Constraints: 26350
3272.60/3281.39 c #Conflicts: 911000 | #Constraints: 27350
3272.60/3281.39 c #Conflicts: 912000 | #Constraints: 28350
3272.60/3281.39 c #Conflicts: 913000 | #Constraints: 29350
3272.60/3281.39 c #Conflicts: 914000 | #Constraints: 30350
3272.60/3281.39 c #Conflicts: 915000 | #Constraints: 31350
3272.60/3281.39 c #Conflicts: 916000 | #Constraints: 32350
3272.60/3281.39 c #Conflicts: 917000 | #Constraints: 33350
3272.60/3281.39 c #Conflicts: 918000 | #Constraints: 34350
3272.60/3281.39 c #Conflicts: 919000 | #Constraints: 35350
3272.60/3281.39 c #Conflicts: 920000 | #Constraints: 36350
3272.60/3281.39 c #Conflicts: 921000 | #Constraints: 37350
3272.60/3281.39 c #Conflicts: 922000 | #Constraints: 38350
3272.60/3281.39 c INPROCESSING
3272.60/3281.39 c GARBAGE COLLECT
3272.60/3281.39 c #Conflicts: 923000 | #Constraints: 20353
3272.60/3281.39 c #Conflicts: 924000 | #Constraints: 21353
3272.60/3281.39 c #Conflicts: 925000 | #Constraints: 22353
3272.60/3281.39 c #Conflicts: 926000 | #Constraints: 23353
3272.60/3281.39 c #Conflicts: 927000 | #Constraints: 24353
3272.60/3281.39 c #Conflicts: 928000 | #Constraints: 25353
3272.60/3281.39 c #Conflicts: 929000 | #Constraints: 26353
3272.60/3281.39 c #Conflicts: 930000 | #Constraints: 27353
3600.00/3609.50 c #Conflicts: 931000 | #Constraints: 28353
3600.00/3609.50 c #Conflicts: 932000 | #Constraints: 29353
3600.00/3609.50 c #Conflicts: 933000 | #Constraints: 30353
3600.00/3609.50 c #Conflicts: 934000 | #Constraints: 31353
3600.00/3609.50 c #Conflicts: 935000 | #Constraints: 32353
3600.00/3609.50 c #Conflicts: 936000 | #Constraints: 33353
3600.00/3609.50 c #Conflicts: 937000 | #Constraints: 34353
3600.00/3609.50 c #Conflicts: 938000 | #Constraints: 35353
3600.00/3609.50 c #Conflicts: 939000 | #Constraints: 36353
3600.00/3609.50 c #Conflicts: 940000 | #Constraints: 37353
3600.00/3609.50 c #Conflicts: 941000 | #Constraints: 38353
3600.00/3609.50 c INPROCESSING
3600.00/3609.50 c GARBAGE COLLECT
3600.00/3609.50 c #Conflicts: 942000 | #Constraints: 20158
3600.00/3609.50 c #Conflicts: 943000 | #Constraints: 21158
3600.00/3609.50 c #Conflicts: 944000 | #Constraints: 22158
3600.00/3609.50 c #Conflicts: 945000 | #Constraints: 23158
3600.00/3609.50 c #Conflicts: 946000 | #Constraints: 24158
3600.00/3609.50 c #Conflicts: 947000 | #Constraints: 25158
3600.00/3609.50 c #Conflicts: 948000 | #Constraints: 26158
3600.00/3609.50 c #Conflicts: 949000 | #Constraints: 27158
3600.00/3609.50 c #Conflicts: 950000 | #Constraints: 28158
3600.00/3609.50 c #Conflicts: 951000 | #Constraints: 29158
3600.00/3609.50 c #Conflicts: 952000 | #Constraints: 30158
3600.00/3609.50 c #Conflicts: 953000 | #Constraints: 31158
3600.00/3609.50 c #Conflicts: 954000 | #Constraints: 32158
3600.00/3609.50 c #Conflicts: 955000 | #Constraints: 33158
3600.00/3609.50 c #Conflicts: 956000 | #Constraints: 34158
3600.00/3609.50 c #Conflicts: 957000 | #Constraints: 35158
3600.00/3609.50 c #Conflicts: 958000 | #Constraints: 36158
3600.00/3609.50 c #Conflicts: 959000 | #Constraints: 37158
3600.00/3609.50 c #Conflicts: 960000 | #Constraints: 38158
3600.00/3609.50 c #Conflicts: 961000 | #Constraints: 39158
3600.00/3609.50 c INPROCESSING
3600.00/3609.50 c GARBAGE COLLECT
3600.00/3609.50 c #Conflicts: 962000 | #Constraints: 20762
3600.00/3609.50 c #Conflicts: 963000 | #Constraints: 21762
3600.00/3609.50 c #Conflicts: 964000 | #Constraints: 22762
3600.00/3609.50 c #Conflicts: 965000 | #Constraints: 23762
3600.00/3609.50 c #Conflicts: 966000 | #Constraints: 24762
3600.00/3609.50 c #Conflicts: 967000 | #Constraints: 25762
3600.00/3609.50 c #Conflicts: 968000 | #Constraints: 26762
3600.00/3609.50 c #Conflicts: 969000 | #Constraints: 27762
3600.00/3609.50 c #Conflicts: 970000 | #Constraints: 28762
3600.00/3609.50 c #Conflicts: 971000 | #Constraints: 29762
3600.00/3609.50 c #Conflicts: 972000 | #Constraints: 30762
3600.00/3609.50 c #Conflicts: 973000 | #Constraints: 31762
3600.00/3609.50 c #Conflicts: 974000 | #Constraints: 32762
3600.00/3609.50 c #Conflicts: 975000 | #Constraints: 33762
3600.00/3609.50 c #Conflicts: 976000 | #Constraints: 34762
3600.00/3609.50 c #Conflicts: 977000 | #Constraints: 35762
3600.00/3609.50 c #Conflicts: 978000 | #Constraints: 36762
3600.00/3609.50 c #Conflicts: 979000 | #Constraints: 37762
3600.00/3609.50 c #Conflicts: 980000 | #Constraints: 38762
3600.00/3609.50 c #Conflicts: 981000 | #Constraints: 39762
3600.00/3609.50 c INPROCESSING
3600.00/3609.50 c GARBAGE COLLECT
3600.00/3609.50 c #Conflicts: 982000 | #Constraints: 21156
3600.00/3609.50 c #Conflicts: 983000 | #Constraints: 22156
3600.00/3609.50 c #Conflicts: 984000 | #Constraints: 23156
3600.00/3609.50 c #Conflicts: 985000 | #Constraints: 24156
3600.00/3609.50 c #Conflicts: 986000 | #Constraints: 25156
3600.00/3609.50 c #Conflicts: 987000 | #Constraints: 26156
3600.00/3609.50 c #Conflicts: 988000 | #Constraints: 27156
3600.00/3609.50 c #Conflicts: 989000 | #Constraints: 28156
3600.00/3609.50 c #Conflicts: 990000 | #Constraints: 29156
3600.00/3609.50 c Program interrupted by user.
3600.00/3609.50 c cpu time 3591 s
3600.00/3609.50 c deterministic time 398445679505 3.98e+11
3600.00/3609.50 c optimization time 41.487 s
3600.00/3609.50 c total solve time 3250.28 s
3600.00/3609.50 c core-guided solve time 3250.28 s
3600.00/3609.50 c propagation time 2806.63 s
3600.00/3609.50 c conflict analysis time 419.382 s
3600.00/3609.50 c propagations 55645090
3600.00/3609.50 c resolve steps 5571392
3600.00/3609.50 c decisions 4601917
3600.00/3609.50 c conflicts 990562
3600.00/3609.50 c restarts 2045
3600.00/3609.50 c inprocessing phases 90
3600.00/3609.50 c input clauses 51
3600.00/3609.50 c input cardinalities 76
3600.00/3609.50 c input general constraints 474
3600.00/3609.50 c input average constraint length 67.54
3600.00/3609.50 c input average constraint degree 34.11
3600.00/3609.50 c learned clauses 237355
3600.00/3609.50 c learned cardinalities 476
3600.00/3609.50 c learned general constraints 752740
3600.00/3609.50 c learned average constraint length 301.15
3600.00/3609.50 c learned average constraint degree 530791.17
3600.00/3609.50 c watched constraints 635486
3600.00/3609.50 c counting constraints 117728
3600.00/3609.50 c gcd simplifications 185787
3600.00/3609.50 c detected cardinalities 399
3600.00/3609.50 c weakened non-implied lits 30426448
3600.00/3609.50 c weakened non-implying lits 100976
3600.00/3609.50 c original variables 476
3600.00/3609.50 c clausal propagations 1326261
3600.00/3609.50 c cardinality propagations 69030
3600.00/3609.50 c watched propagations 28966812
3600.00/3609.50 c counting propagations 24424002
3600.00/3609.50 c watch lookups 65077100892
3600.00/3609.50 c watch backjump lookups 61597196273
3600.00/3609.50 c watch checks 261766372775
3600.00/3609.50 c propagation checks 8860510481
3600.00/3609.50 c constraint additions 1023014933
3600.00/3609.50 c trail pops 61237143
3600.00/3609.50 c formula constraints 476
3600.00/3609.50 c learned constraints 990571
3600.00/3609.50 c bound constraints 76
3600.00/3609.50 c core-guided constraints 49
3600.00/3609.50 c encountered formula constraints 3330039
3600.00/3609.50 c encountered learned constraints 3112942
3600.00/3609.50 c encountered bound constraints 102
3600.00/3609.50 c encountered core-guided constraints 118871
3600.00/3609.50 c LP total time 0 s
3600.00/3609.50 c LP solve time 0 s
3600.00/3609.50 c LP constraints added 0
3600.00/3609.50 c LP constraints removed 0
3600.00/3609.50 c LP pivots internal 0
3600.00/3609.50 c LP pivots root 0
3600.00/3609.50 c LP calls 0
3600.00/3609.50 c LP optimalities 0
3600.00/3609.50 c LP no pivot count 0
3600.00/3609.50 c LP infeasibilities 0
3600.00/3609.50 c LP valid Farkas constraints 0
3600.00/3609.50 c LP learned Farkas constraints 0
3600.00/3609.50 c LP basis resets 0
3600.00/3609.50 c LP cycling count 0
3600.00/3609.50 c LP singular count 0
3600.00/3609.50 c LP no primal count 0
3600.00/3609.50 c LP no farkas count 0
3600.00/3609.50 c LP other issue count 0
3600.00/3609.50 c LP Gomory cuts 0
3600.00/3609.50 c LP learned cuts 0
3600.00/3609.50 c LP deleted cuts 0
3600.00/3609.50 c LP encountered Gomory constraints 0
3600.00/3609.50 c LP encountered Farkas constraints 0
3600.00/3609.50 c LP encountered learned Farkas constraints 0
3600.00/3609.50 c CG auxiliary variables introduced 49
3600.00/3609.50 c CG solutions found 0
3600.00/3609.50 c CG cores constructed 75
3600.00/3609.50 c CG core cardinality constraints returned 0
3600.00/3609.50 c CG unit cores 0
3600.00/3609.50 c CG single cores 75
3600.00/3609.50 c CG blocks removed during cardinality reduction 0
3600.00/3609.50 c CG first core best 0
3600.00/3609.50 c CG decision core best 0
3600.00/3609.50 c CG core reduction tie 0
3600.00/3609.50 c CG core degree average 1.00
3600.00/3609.50 c CG core slack average 2.84
3600.00/3609.50 c CG exhausted 0
3600.00/3609.50 c CG exhaust time 0 s
3600.00/3609.50 c CG trimmed 2
3600.00/3609.50 c CG trim time 0.000369 s
3600.00/3609.50 c CG minimized 0
3600.00/3609.50 c CG minimize time 0 s
3600.00/3609.50 c CG am1 prop time 0.000814 s
3600.00/3609.50 c CG # am1s reformulated 49
3600.00/3609.50 c CG lower bound derived from am1s 49
3600.00/3609.50 c CG # clausal cores 7
3600.00/3609.50 c CG # cardinality cores 0
3600.00/3609.50 c CG # pb cores 68
3600.00/3609.50 c CG # pb reforms 0
3600.00/3609.50 c CG # cores discarded because of pb reform 0
3600.00/3609.50 d LOWERBOUND 124
3600.00/3609.50 d NCORES 75
3600.00/3609.50 d NPBCORES 68
3600.00/3609.50 d NPBREFORM 0
3600.00/3609.50 d NTRIMMED 2
3600.00/3609.50 d NEXHAUSTED 0
3600.00/3609.50 d NAM1S 49
3600.00/3609.50 d AM1LB 49
3600.00/3609.50 c [Papilo Statistics]
3600.00/3609.50 c prepro time 0.00146054s
3600.00/3609.50 c # tsx applied 16
3600.00/3609.50 c # tsx conflicts 0
3600.00/3609.50 c # bound changes 0
3600.00/3609.50 c # side changes 0
3600.00/3609.50 c # coef changes 39
3600.00/3609.50 c # rounds 3
3600.00/3609.50 c # deted vars 0
3600.00/3609.50 c # deted constrs 0
3600.00/3609.50 c # consecutive rounds of only bound changes 0
3600.00/3609.50 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: 63931 MiB (61387 MiB free)
memory of node 1: 64510 MiB (61381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454709-1721469267/watcher-4454709-1721469267 -o /tmp/evaluation-result-4454709-1721469267/solver-4454709-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030641 --watchdog 3760 mixed-bag HOME/instance-4454709-1721469267.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=1030701, runsolver pid=1030688
[startup+0.100245 s]*
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125671776/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=93260 memory=26264 CPUtime=0.09 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 3067 0 1 0 9 0 0 0 20 0 1 0 199087307 95498240 6566 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 23315 6566 3998 3002 0 7064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93260 KiB
Current children cumulated memory: 26264 KiB
[startup+0.216242 s]*
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125655400/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=93260 memory=26264 CPUtime=0.19 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 3078 0 1 0 19 0 0 0 20 0 1 0 199087307 95498240 6566 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 23315 6566 3998 3002 0 7064 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93260 KiB
Current children cumulated memory: 26264 KiB
[startup+0.305242 s]*
/proc/loadavg: 1.50 2.45 3.15 7/259 1030705
/proc/meminfo: memFree=125654308/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=93424 memory=26264 CPUtime=0.28 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 3084 0 1 0 28 0 0 0 20 0 1 0 199087307 95666176 6566 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 23356 6566 3998 3002 0 7105 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93424 KiB
Current children cumulated memory: 26264 KiB
[startup+0.700164 s]
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125626504/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=111324 memory=43932 CPUtime=0.67 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 7533 0 1 0 66 1 0 0 20 0 1 0 199087307 113995776 10983 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 27831 10983 4014 3002 0 11580 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111324 KiB
Current children cumulated memory: 43932 KiB
[startup+1.50021 s]
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125441088/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=189496 memory=119240 CPUtime=1.47 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 28144 0 1 0 143 4 0 0 20 0 1 0 199087307 194043904 29810 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 47374 29810 4014 3002 0 31123 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 189496 KiB
Current children cumulated memory: 119240 KiB
[startup+3.10619 s]
/proc/loadavg: 1.50 2.45 3.15 8/259 1030707
/proc/meminfo: memFree=125144292/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=232196 memory=159368 CPUtime=3.07 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 38199 0 1 0 302 5 0 0 20 0 1 0 199087307 237768704 39842 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 58049 39842 4014 3002 0 41798 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 232196 KiB
Current children cumulated memory: 159368 KiB
[startup+6.30014 s]
/proc/loadavg: 1.78 2.49 3.16 8/259 1030707
/proc/meminfo: memFree=125143280/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=231848 memory=160216 CPUtime=6.25 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 38442 0 1 0 620 5 0 0 20 0 1 0 199087307 237412352 40054 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 57962 40054 4014 3002 0 41711 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 231848 KiB
Current children cumulated memory: 160216 KiB
[startup+12.7001 s]
/proc/loadavg: 1.96 2.52 3.16 8/259 1030707
/proc/meminfo: memFree=125136896/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=232448 memory=160752 CPUtime=12.64 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 38680 0 1 0 1259 5 0 0 20 0 1 0 199087307 238026752 40188 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 58112 40188 4014 3002 0 41861 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 232448 KiB
Current children cumulated memory: 160752 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.57 3.17 8/259 1030710
/proc/meminfo: memFree=124857612/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=292620 memory=219352 CPUtime=25.42 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 53276 0 1 0 2533 9 0 0 20 0 1 0 199087307 299642880 54838 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 73155 54838 4014 3002 0 56904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 292620 KiB
Current children cumulated memory: 219352 KiB
[startup+51.1062 s]
/proc/loadavg: 3.03 2.72 3.21 8/259 1031096
/proc/meminfo: memFree=124831788/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=290484 memory=217060 CPUtime=50.96 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 53787 0 1 0 5085 11 0 0 20 0 1 0 199087307 297455616 54265 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 72621 54265 4014 3002 0 56370 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 290484 KiB
Current children cumulated memory: 217060 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.94 3.26 8/259 1031105
/proc/meminfo: memFree=124784876/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=290484 memory=217268 CPUtime=102.03 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 54244 0 1 0 10189 14 0 0 20 0 1 0 199087307 297455616 54317 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 72621 54317 4014 3002 0 56370 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 290484 KiB
Current children cumulated memory: 217268 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.15 3.31 8/259 1031115
/proc/meminfo: memFree=124561748/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=326184 memory=257140 CPUtime=161.89 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 65835 0 1 0 16173 16 0 0 20 0 1 0 199087307 334012416 64285 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 81546 64285 4029 3002 0 65295 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 326184 KiB
Current children cumulated memory: 257140 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.32 3.36 8/261 1031297
/proc/meminfo: memFree=124497916/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=384396 memory=314956 CPUtime=221.76 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 80544 0 1 0 22157 19 0 0 20 0 1 0 199087307 393621504 78739 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 96099 78739 4029 3002 0 79848 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 384396 KiB
Current children cumulated memory: 314956 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.46 3.41 8/261 1031308
/proc/meminfo: memFree=124494208/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=384396 memory=314956 CPUtime=281.62 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 80544 0 1 0 28143 19 0 0 20 0 1 0 199087307 393621504 78739 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 96099 78739 4029 3002 0 79848 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 384396 KiB
Current children cumulated memory: 314956 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.59 3.46 8/258 1031320
/proc/meminfo: memFree=124623300/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=296092 memory=228808 CPUtime=341.47 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 82533 0 1 0 34071 76 0 0 20 0 1 0 199087307 303198208 57202 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 74023 57202 4188 3002 0 57772 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 296092 KiB
Current children cumulated memory: 228808 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.69 3.50 8/256 1031342
/proc/meminfo: memFree=124591656/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=315060 memory=236108 CPUtime=401.32 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 82820 0 1 0 40014 118 0 0 20 0 1 0 199087307 322621440 59027 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 78765 59027 4188 3002 0 62514 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 315060 KiB
Current children cumulated memory: 236108 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.79 3.55 8/256 1031352
/proc/meminfo: memFree=124569824/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=315060 memory=239476 CPUtime=461.17 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 83158 0 1 0 45956 161 0 0 20 0 1 0 199087307 322621440 59869 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 78765 59869 4188 3002 0 62514 0
################
# More data... #
################
Current children cumulated memory: 289652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.12 4.08 9/257 1032406
/proc/meminfo: memFree=124311112/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=345880 memory=290052 CPUtime=2914.58 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 86721 0 1 0 290674 784 0 0 20 0 1 0 199087307 354181120 72513 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 86470 72513 4188 3002 0 70219 0
Current children cumulated CPU time: 2914.58 s
Current children cumulated vsize: 345880 KiB
Current children cumulated memory: 290052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.08 8/257 1032418
/proc/meminfo: memFree=124311424/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=345880 memory=290100 CPUtime=2974.41 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 86815 0 1 0 296647 794 0 0 20 0 1 0 199087307 354181120 72525 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 86470 72525 4188 3002 0 70219 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 345880 KiB
Current children cumulated memory: 290100 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.08 9/258 1032429
/proc/meminfo: memFree=124310544/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=345880 memory=290100 CPUtime=3034.24 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 86905 0 1 0 302618 806 0 0 20 0 1 0 199087307 354181120 72525 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 86470 72525 4188 3002 0 70219 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 345880 KiB
Current children cumulated memory: 290100 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.08 8/255 1032439
/proc/meminfo: memFree=124304024/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=292596 CPUtime=3094.05 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87153 0 1 0 308588 817 0 0 20 0 1 0 199087307 405471232 73149 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 73149 4188 3002 0 82741 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 292596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.08 8/255 1032449
/proc/meminfo: memFree=124304564/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=292696 CPUtime=3153.89 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87256 0 1 0 314560 829 0 0 20 0 1 0 199087307 405471232 73174 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 73174 4188 3002 0 82741 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 292696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.09 8/255 1032460
/proc/meminfo: memFree=124301780/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=294744 CPUtime=3213.74 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87349 0 1 0 320533 841 0 0 20 0 1 0 199087307 405471232 73686 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 73686 4188 3002 0 82741 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 294744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.10 8/255 1032470
/proc/meminfo: memFree=124300936/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=294744 CPUtime=3273.6 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87446 0 1 0 326508 852 0 0 20 0 1 0 199087307 405471232 73686 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 73686 4188 3002 0 82741 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 294744 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 8/257 1032484
/proc/meminfo: memFree=124291840/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3333.45 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87547 0 1 0 332485 860 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.15 4.10 8/257 1032497
/proc/meminfo: memFree=124291056/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3393.31 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87638 0 1 0 338460 871 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 9/257 1032507
/proc/meminfo: memFree=124288132/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3453.16 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87741 0 1 0 344439 877 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 9/258 1032518
/proc/meminfo: memFree=124288204/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3513.01 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87828 0 1 0 350417 884 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.10 9/258 1032530
/proc/meminfo: memFree=124284576/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3572.87 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 87930 0 1 0 356392 895 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.15 4.14 4.10 9/258 1032535
/proc/meminfo: memFree=124282116/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3600 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 88018 0 1 0 359100 900 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1030701 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.01 s, system=9.00605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.15 4.14 4.10 9/258 1032535
/proc/meminfo: memFree=124282116/131524600 swapFree=131071996/131071996
[pid=1030701] ppid=1030688 vsize=395968 memory=296792 CPUtime=3600 cores=4,6
/proc/1030701/stat : 1030701 (mixed-bag) R 1030688 1030701 1030630 0 -1 4194304 88018 0 1 0 359100 900 0 0 20 0 1 0 199087307 405471232 74198 134679101440 4194304 16488053 140730004771136 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 50872320 140730004780053 140730004780130 140730004780130 140730004787147 0
/proc/1030701/statm: 98992 74198 4188 3002 0 82741 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 296792 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.01
CPU user time (s): 3591.01
CPU system time (s): 9.00605
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 395968
Max. memory (cumulated for all children) (KiB): 315748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.01
system time used= 9.00605
maximum resident set size= 315748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88040
page faults= 1
swaps= 0
block input operations= 280
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 1255
# summary of solver processes directly reported to runsolver:
# pid: 1030701
# total CPU time (s): 3600.01
# total CPU user time (s): 3591.01
# total CPU system time (s): 9.00605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4832 second user time and 19.4816 second system time
The end
Begin job on nodeC016 at 2024-07-20 11:54:39
IDJOB=4454709
IDBENCH=147547
IDSOLVER=3083
FILE ID=nodeC016/4454709-1721469267
RUNJOBID= nodeC016-1721469279-1030641
SLURM_JOB_ID= 7545728
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454709-1721469267/watcher-4454709-1721469267 -o /tmp/evaluation-result-4454709-1721469267/solver-4454709-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030641 --watchdog 3760 mixed-bag HOME/instance-4454709-1721469267.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=743307265
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3567.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3622.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3451.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3520.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3393.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3471.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3576.684
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3628.700
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125716556 kB
MemAvailable: 129699792 kB
Buffers: 442992 kB
Cached: 4381180 kB
SwapCached: 0 kB
Active: 739176 kB
Inactive: 4446884 kB
Active(anon): 1444 kB
Inactive(anon): 406392 kB
Active(file): 737732 kB
Inactive(file): 4040492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 0 kB
AnonPages: 360484 kB
Mapped: 107156 kB
Shmem: 45912 kB
KReclaimable: 89316 kB
Slab: 201524 kB
SReclaimable: 89316 kB
SUnreclaim: 112208 kB
KernelStack: 3888 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 726856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC016 at 2024-07-20 12:54:49