0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.31/300.37 c [STEP] preprocessing done, loading into solver
299.31/300.38 c [STEP] solving
299.31/300.38 c #variables 482 #constraints 481
299.31/300.38 c SMALL=int, LARGE=long long
299.31/300.38 d SCIPUB 199
299.31/300.38 c bounds - >= 0 @ 299.218
299.31/300.38 c stratification level: 0
332.71/333.88 c bounds - >= 59 @ 299.218
332.71/333.88 c bounds - >= 60 @ 299.218
332.71/333.88 c bounds - >= 61 @ 299.218
332.71/333.88 c bounds - >= 62 @ 299.218
332.71/333.88 c bounds - >= 63 @ 299.218
332.71/333.88 c bounds - >= 64 @ 299.218
332.71/333.88 c bounds - >= 65 @ 299.218
332.71/333.88 c bounds - >= 66 @ 299.219
332.71/333.88 c bounds - >= 67 @ 299.219
332.71/333.88 c bounds - >= 68 @ 299.219
332.71/333.88 c bounds - >= 69 @ 299.219
332.71/333.88 c bounds - >= 70 @ 299.219
332.71/333.88 c bounds - >= 71 @ 299.219
332.71/333.88 c bounds - >= 72 @ 299.219
332.71/333.88 c bounds - >= 73 @ 299.219
332.71/333.88 c bounds - >= 74 @ 299.219
332.71/333.88 c bounds - >= 75 @ 299.219
332.71/333.88 c bounds - >= 76 @ 299.219
332.71/333.88 c bounds - >= 77 @ 299.219
332.71/333.88 c bounds - >= 78 @ 299.219
332.71/333.88 c bounds - >= 79 @ 299.219
332.71/333.88 c bounds - >= 80 @ 299.219
332.71/333.88 c bounds - >= 81 @ 299.219
332.71/333.88 c bounds - >= 82 @ 299.219
332.71/333.88 c bounds - >= 83 @ 299.219
332.71/333.88 c bounds - >= 84 @ 299.219
332.71/333.88 c bounds - >= 85 @ 299.219
332.71/333.88 c bounds - >= 86 @ 299.219
332.71/333.88 c bounds - >= 87 @ 299.219
332.71/333.88 c bounds - >= 88 @ 299.219
332.71/333.88 c bounds - >= 89 @ 299.219
332.71/333.88 c bounds - >= 90 @ 299.219
332.71/333.88 c bounds - >= 91 @ 299.219
332.71/333.88 c bounds - >= 92 @ 299.219
332.71/333.88 c bounds - >= 93 @ 299.219
332.71/333.88 c bounds - >= 94 @ 299.219
332.71/333.88 c bounds - >= 95 @ 299.219
332.71/333.88 c bounds - >= 96 @ 299.219
332.71/333.88 c bounds - >= 97 @ 299.219
332.71/333.88 c bounds - >= 98 @ 299.219
332.71/333.88 c bounds - >= 99 @ 299.22
332.71/333.88 c bounds - >= 100 @ 299.22
332.71/333.88 c bounds - >= 101 @ 299.22
332.71/333.88 c bounds - >= 102 @ 299.22
332.71/333.88 c bounds - >= 103 @ 299.22
332.71/333.88 c bounds - >= 104 @ 299.22
332.71/333.88 c bounds - >= 105 @ 299.22
332.71/333.88 c bounds - >= 106 @ 299.22
332.71/333.88 c bounds - >= 107 @ 299.221
332.71/333.88 c bounds - >= 108 @ 299.221
332.71/333.88 c bounds - >= 109 @ 299.221
332.71/333.88 c bounds - >= 110 @ 299.221
332.71/333.88 c bounds - >= 111 @ 299.221
332.71/333.88 c bounds - >= 112 @ 299.221
332.71/333.88 c bounds - >= 113 @ 299.221
332.71/333.88 c bounds - >= 114 @ 299.221
332.71/333.88 c bounds - >= 115 @ 299.221
332.71/333.88 c bounds - >= 116 @ 299.221
332.71/333.88 c bounds - >= 117 @ 299.221
332.71/333.88 c bounds - >= 118 @ 299.221
332.71/333.88 c bounds - >= 119 @ 299.221
332.71/333.88 c bounds - >= 120 @ 299.221
332.71/333.88 c bounds - >= 121 @ 299.221
332.71/333.88 c bounds - >= 122 @ 299.221
332.71/333.88 c bounds - >= 123 @ 299.221
332.71/333.88 c bounds - >= 124 @ 299.221
332.71/333.88 c bounds - >= 125 @ 299.221
332.71/333.88 c bounds - >= 126 @ 299.222
332.71/333.88 c bounds - >= 127 @ 299.222
332.71/333.88 c bounds - >= 128 @ 299.222
332.71/333.88 c bounds - >= 129 @ 299.222
332.71/333.88 c bounds - >= 130 @ 299.222
332.71/333.88 c bounds - >= 131 @ 299.222
332.71/333.88 c bounds - >= 132 @ 299.222
332.71/333.88 c bounds - >= 133 @ 299.222
332.71/333.88 c bounds - >= 134 @ 299.223
332.71/333.88 c #Conflicts: 1000 | #Constraints: 1634
332.71/333.88 c #Conflicts: 2000 | #Constraints: 2634
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 3000 | #Constraints: 2553
332.71/333.88 c #Conflicts: 4000 | #Constraints: 3553
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 5000 | #Constraints: 2953
332.71/333.88 c #Conflicts: 6000 | #Constraints: 3953
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 7000 | #Constraints: 2950
332.71/333.88 c #Conflicts: 8000 | #Constraints: 3950
332.71/333.88 c #Conflicts: 9000 | #Constraints: 4950
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 10000 | #Constraints: 3651
332.71/333.88 c #Conflicts: 11000 | #Constraints: 4651
332.71/333.88 c #Conflicts: 12000 | #Constraints: 5651
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 13000 | #Constraints: 4102
332.71/333.88 c #Conflicts: 14000 | #Constraints: 5102
332.71/333.88 c #Conflicts: 15000 | #Constraints: 6102
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 16000 | #Constraints: 4329
332.71/333.88 c #Conflicts: 17000 | #Constraints: 5329
332.71/333.88 c #Conflicts: 18000 | #Constraints: 6329
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 19000 | #Constraints: 4347
332.71/333.88 c #Conflicts: 20000 | #Constraints: 5347
332.71/333.88 c #Conflicts: 21000 | #Constraints: 6347
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 22000 | #Constraints: 4151
332.71/333.88 c #Conflicts: 23000 | #Constraints: 5151
332.71/333.88 c #Conflicts: 24000 | #Constraints: 6151
332.71/333.88 c #Conflicts: 25000 | #Constraints: 7151
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 26000 | #Constraints: 4753
332.71/333.88 c #Conflicts: 27000 | #Constraints: 5753
332.71/333.88 c #Conflicts: 28000 | #Constraints: 6753
332.71/333.88 c #Conflicts: 29000 | #Constraints: 7753
332.71/333.88 c INPROCESSING
332.71/333.88 c GARBAGE COLLECT
332.71/333.88 c #Conflicts: 30000 | #Constraints: 5151
332.71/333.88 c #Conflicts: 31000 | #Constraints: 6151
332.71/333.88 c #Conflicts: 32000 | #Constraints: 7151
332.71/333.88 c #Conflicts: 33000 | #Constraints: 8151
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 34000 | #Constraints: 5352
511.57/513.20 c #Conflicts: 35000 | #Constraints: 6352
511.57/513.20 c #Conflicts: 36000 | #Constraints: 7352
511.57/513.20 c #Conflicts: 37000 | #Constraints: 8352
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 38000 | #Constraints: 5356
511.57/513.20 c #Conflicts: 39000 | #Constraints: 6356
511.57/513.20 c #Conflicts: 40000 | #Constraints: 7356
511.57/513.20 c #Conflicts: 41000 | #Constraints: 8356
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 42000 | #Constraints: 5153
511.57/513.20 c #Conflicts: 43000 | #Constraints: 6153
511.57/513.20 c #Conflicts: 44000 | #Constraints: 7153
511.57/513.20 c #Conflicts: 45000 | #Constraints: 8153
511.57/513.20 c #Conflicts: 46000 | #Constraints: 9153
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 47000 | #Constraints: 5754
511.57/513.20 c #Conflicts: 48000 | #Constraints: 6754
511.57/513.20 c #Conflicts: 49000 | #Constraints: 7754
511.57/513.20 c #Conflicts: 50000 | #Constraints: 8754
511.57/513.20 c #Conflicts: 51000 | #Constraints: 9754
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 52000 | #Constraints: 6157
511.57/513.20 c #Conflicts: 53000 | #Constraints: 7157
511.57/513.20 c #Conflicts: 54000 | #Constraints: 8157
511.57/513.20 c #Conflicts: 55000 | #Constraints: 9157
511.57/513.20 c #Conflicts: 56000 | #Constraints: 10157
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 57000 | #Constraints: 6358
511.57/513.20 c #Conflicts: 58000 | #Constraints: 7358
511.57/513.20 c #Conflicts: 59000 | #Constraints: 8358
511.57/513.20 c #Conflicts: 60000 | #Constraints: 9358
511.57/513.20 c #Conflicts: 61000 | #Constraints: 10358
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 62000 | #Constraints: 6359
511.57/513.20 c #Conflicts: 63000 | #Constraints: 7359
511.57/513.20 c #Conflicts: 64000 | #Constraints: 8359
511.57/513.20 c #Conflicts: 65000 | #Constraints: 9359
511.57/513.20 c #Conflicts: 66000 | #Constraints: 10359
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 67000 | #Constraints: 6159
511.57/513.20 c #Conflicts: 68000 | #Constraints: 7159
511.57/513.20 c #Conflicts: 69000 | #Constraints: 8159
511.57/513.20 c #Conflicts: 70000 | #Constraints: 9159
511.57/513.20 c #Conflicts: 71000 | #Constraints: 10159
511.57/513.20 c #Conflicts: 72000 | #Constraints: 11159
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 73000 | #Constraints: 6757
511.57/513.20 c #Conflicts: 74000 | #Constraints: 7757
511.57/513.20 c #Conflicts: 75000 | #Constraints: 8757
511.57/513.20 c #Conflicts: 76000 | #Constraints: 9757
511.57/513.20 c #Conflicts: 77000 | #Constraints: 10757
511.57/513.20 c #Conflicts: 78000 | #Constraints: 11757
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 79000 | #Constraints: 7156
511.57/513.20 c #Conflicts: 80000 | #Constraints: 8156
511.57/513.20 c #Conflicts: 81000 | #Constraints: 9156
511.57/513.20 c #Conflicts: 82000 | #Constraints: 10156
511.57/513.20 c #Conflicts: 83000 | #Constraints: 11156
511.57/513.20 c #Conflicts: 84000 | #Constraints: 12156
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 85000 | #Constraints: 7355
511.57/513.20 c #Conflicts: 86000 | #Constraints: 8355
511.57/513.20 c #Conflicts: 87000 | #Constraints: 9355
511.57/513.20 c #Conflicts: 88000 | #Constraints: 10355
511.57/513.20 c #Conflicts: 89000 | #Constraints: 11355
511.57/513.20 c #Conflicts: 90000 | #Constraints: 12355
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 91000 | #Constraints: 7351
511.57/513.20 c #Conflicts: 92000 | #Constraints: 8351
511.57/513.20 c #Conflicts: 93000 | #Constraints: 9351
511.57/513.20 c #Conflicts: 94000 | #Constraints: 10351
511.57/513.20 c #Conflicts: 95000 | #Constraints: 11351
511.57/513.20 c #Conflicts: 96000 | #Constraints: 12351
511.57/513.20 c INPROCESSING
511.57/513.20 c GARBAGE COLLECT
511.57/513.20 c #Conflicts: 97000 | #Constraints: 7156
511.57/513.20 c #Conflicts: 98000 | #Constraints: 8156
511.57/513.20 c #Conflicts: 99000 | #Constraints: 9156
511.57/513.20 c #Conflicts: 100000 | #Constraints: 10156
511.57/513.20 c #Conflicts: 101000 | #Constraints: 11156
511.57/513.20 c #Conflicts: 102000 | #Constraints: 12156
511.57/513.20 c #Conflicts: 103000 | #Constraints: 13156
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 104000 | #Constraints: 7757
731.06/733.44 c #Conflicts: 105000 | #Constraints: 8757
731.06/733.44 c #Conflicts: 106000 | #Constraints: 9757
731.06/733.44 c #Conflicts: 107000 | #Constraints: 10757
731.06/733.44 c #Conflicts: 108000 | #Constraints: 11757
731.06/733.44 c #Conflicts: 109000 | #Constraints: 12757
731.06/733.44 c #Conflicts: 110000 | #Constraints: 13757
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 111000 | #Constraints: 8157
731.06/733.44 c #Conflicts: 112000 | #Constraints: 9157
731.06/733.44 c #Conflicts: 113000 | #Constraints: 10157
731.06/733.44 c #Conflicts: 114000 | #Constraints: 11157
731.06/733.44 c #Conflicts: 115000 | #Constraints: 12157
731.06/733.44 c #Conflicts: 116000 | #Constraints: 13157
731.06/733.44 c #Conflicts: 117000 | #Constraints: 14157
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 118000 | #Constraints: 8357
731.06/733.44 c #Conflicts: 119000 | #Constraints: 9357
731.06/733.44 c #Conflicts: 120000 | #Constraints: 10357
731.06/733.44 c #Conflicts: 121000 | #Constraints: 11357
731.06/733.44 c #Conflicts: 122000 | #Constraints: 12357
731.06/733.44 c #Conflicts: 123000 | #Constraints: 13357
731.06/733.44 c #Conflicts: 124000 | #Constraints: 14357
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 125000 | #Constraints: 8353
731.06/733.44 c #Conflicts: 126000 | #Constraints: 9353
731.06/733.44 c #Conflicts: 127000 | #Constraints: 10353
731.06/733.44 c #Conflicts: 128000 | #Constraints: 11353
731.06/733.44 c #Conflicts: 129000 | #Constraints: 12353
731.06/733.44 c #Conflicts: 130000 | #Constraints: 13353
731.06/733.44 c #Conflicts: 131000 | #Constraints: 14353
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 132000 | #Constraints: 8152
731.06/733.44 c #Conflicts: 133000 | #Constraints: 9152
731.06/733.44 c #Conflicts: 134000 | #Constraints: 10152
731.06/733.44 c #Conflicts: 135000 | #Constraints: 11152
731.06/733.44 c #Conflicts: 136000 | #Constraints: 12152
731.06/733.44 c #Conflicts: 137000 | #Constraints: 13152
731.06/733.44 c #Conflicts: 138000 | #Constraints: 14152
731.06/733.44 c #Conflicts: 139000 | #Constraints: 15152
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 140000 | #Constraints: 8755
731.06/733.44 c #Conflicts: 141000 | #Constraints: 9755
731.06/733.44 c #Conflicts: 142000 | #Constraints: 10755
731.06/733.44 c #Conflicts: 143000 | #Constraints: 11755
731.06/733.44 c #Conflicts: 144000 | #Constraints: 12755
731.06/733.44 c #Conflicts: 145000 | #Constraints: 13755
731.06/733.44 c #Conflicts: 146000 | #Constraints: 14755
731.06/733.44 c #Conflicts: 147000 | #Constraints: 15755
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 148000 | #Constraints: 9158
731.06/733.44 c #Conflicts: 149000 | #Constraints: 10158
731.06/733.44 c #Conflicts: 150000 | #Constraints: 11158
731.06/733.44 c #Conflicts: 151000 | #Constraints: 12158
731.06/733.44 c #Conflicts: 152000 | #Constraints: 13158
731.06/733.44 c #Conflicts: 153000 | #Constraints: 14158
731.06/733.44 c #Conflicts: 154000 | #Constraints: 15158
731.06/733.44 c #Conflicts: 155000 | #Constraints: 16158
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 156000 | #Constraints: 9355
731.06/733.44 c #Conflicts: 157000 | #Constraints: 10355
731.06/733.44 c #Conflicts: 158000 | #Constraints: 11355
731.06/733.44 c #Conflicts: 159000 | #Constraints: 12355
731.06/733.44 c #Conflicts: 160000 | #Constraints: 13355
731.06/733.44 c #Conflicts: 161000 | #Constraints: 14355
731.06/733.44 c #Conflicts: 162000 | #Constraints: 15355
731.06/733.44 c #Conflicts: 163000 | #Constraints: 16355
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 164000 | #Constraints: 9353
731.06/733.44 c #Conflicts: 165000 | #Constraints: 10353
731.06/733.44 c #Conflicts: 166000 | #Constraints: 11353
731.06/733.44 c #Conflicts: 167000 | #Constraints: 12353
731.06/733.44 c #Conflicts: 168000 | #Constraints: 13353
731.06/733.44 c #Conflicts: 169000 | #Constraints: 14353
731.06/733.44 c #Conflicts: 170000 | #Constraints: 15353
731.06/733.44 c #Conflicts: 171000 | #Constraints: 16353
731.06/733.44 c INPROCESSING
731.06/733.44 c GARBAGE COLLECT
731.06/733.44 c #Conflicts: 172000 | #Constraints: 9151
731.06/733.44 c #Conflicts: 173000 | #Constraints: 10151
731.06/733.44 c #Conflicts: 174000 | #Constraints: 11151
731.06/733.44 c #Conflicts: 175000 | #Constraints: 12151
731.06/733.44 c #Conflicts: 176000 | #Constraints: 13151
1032.88/1036.34 c #Conflicts: 177000 | #Constraints: 14151
1032.88/1036.34 c #Conflicts: 178000 | #Constraints: 15151
1032.88/1036.34 c #Conflicts: 179000 | #Constraints: 16151
1032.88/1036.34 c #Conflicts: 180000 | #Constraints: 17151
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 181000 | #Constraints: 9753
1032.88/1036.34 c #Conflicts: 182000 | #Constraints: 10753
1032.88/1036.34 c #Conflicts: 183000 | #Constraints: 11753
1032.88/1036.34 c #Conflicts: 184000 | #Constraints: 12753
1032.88/1036.34 c #Conflicts: 185000 | #Constraints: 13753
1032.88/1036.34 c #Conflicts: 186000 | #Constraints: 14753
1032.88/1036.34 c #Conflicts: 187000 | #Constraints: 15753
1032.88/1036.34 c #Conflicts: 188000 | #Constraints: 16753
1032.88/1036.34 c #Conflicts: 189000 | #Constraints: 17753
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 190000 | #Constraints: 10158
1032.88/1036.34 c #Conflicts: 191000 | #Constraints: 11158
1032.88/1036.34 c #Conflicts: 192000 | #Constraints: 12158
1032.88/1036.34 c #Conflicts: 193000 | #Constraints: 13158
1032.88/1036.34 c #Conflicts: 194000 | #Constraints: 14158
1032.88/1036.34 c #Conflicts: 195000 | #Constraints: 15158
1032.88/1036.34 c #Conflicts: 196000 | #Constraints: 16158
1032.88/1036.34 c #Conflicts: 197000 | #Constraints: 17158
1032.88/1036.34 c #Conflicts: 198000 | #Constraints: 18158
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 199000 | #Constraints: 10361
1032.88/1036.34 c #Conflicts: 200000 | #Constraints: 11361
1032.88/1036.34 c #Conflicts: 201000 | #Constraints: 12361
1032.88/1036.34 c #Conflicts: 202000 | #Constraints: 13361
1032.88/1036.34 c #Conflicts: 203000 | #Constraints: 14361
1032.88/1036.34 c #Conflicts: 204000 | #Constraints: 15361
1032.88/1036.34 c #Conflicts: 205000 | #Constraints: 16361
1032.88/1036.34 c #Conflicts: 206000 | #Constraints: 17361
1032.88/1036.34 c #Conflicts: 207000 | #Constraints: 18361
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 208000 | #Constraints: 10359
1032.88/1036.34 c #Conflicts: 209000 | #Constraints: 11359
1032.88/1036.34 c #Conflicts: 210000 | #Constraints: 12359
1032.88/1036.34 c #Conflicts: 211000 | #Constraints: 13359
1032.88/1036.34 c #Conflicts: 212000 | #Constraints: 14359
1032.88/1036.34 c #Conflicts: 213000 | #Constraints: 15359
1032.88/1036.34 c #Conflicts: 214000 | #Constraints: 16359
1032.88/1036.34 c #Conflicts: 215000 | #Constraints: 17359
1032.88/1036.34 c #Conflicts: 216000 | #Constraints: 18359
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 217000 | #Constraints: 10156
1032.88/1036.34 c #Conflicts: 218000 | #Constraints: 11156
1032.88/1036.34 c #Conflicts: 219000 | #Constraints: 12156
1032.88/1036.34 c #Conflicts: 220000 | #Constraints: 13156
1032.88/1036.34 c #Conflicts: 221000 | #Constraints: 14156
1032.88/1036.34 c #Conflicts: 222000 | #Constraints: 15156
1032.88/1036.34 c #Conflicts: 223000 | #Constraints: 16156
1032.88/1036.34 c #Conflicts: 224000 | #Constraints: 17156
1032.88/1036.34 c #Conflicts: 225000 | #Constraints: 18156
1032.88/1036.34 c #Conflicts: 226000 | #Constraints: 19156
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 227000 | #Constraints: 10759
1032.88/1036.34 c #Conflicts: 228000 | #Constraints: 11759
1032.88/1036.34 c #Conflicts: 229000 | #Constraints: 12759
1032.88/1036.34 c #Conflicts: 230000 | #Constraints: 13759
1032.88/1036.34 c #Conflicts: 231000 | #Constraints: 14759
1032.88/1036.34 c #Conflicts: 232000 | #Constraints: 15759
1032.88/1036.34 c #Conflicts: 233000 | #Constraints: 16759
1032.88/1036.34 c #Conflicts: 234000 | #Constraints: 17759
1032.88/1036.34 c #Conflicts: 235000 | #Constraints: 18759
1032.88/1036.34 c #Conflicts: 236000 | #Constraints: 19759
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 237000 | #Constraints: 11159
1032.88/1036.34 c #Conflicts: 238000 | #Constraints: 12159
1032.88/1036.34 c #Conflicts: 239000 | #Constraints: 13159
1032.88/1036.34 c #Conflicts: 240000 | #Constraints: 14159
1032.88/1036.34 c #Conflicts: 241000 | #Constraints: 15159
1032.88/1036.34 c #Conflicts: 242000 | #Constraints: 16159
1032.88/1036.34 c #Conflicts: 243000 | #Constraints: 17159
1032.88/1036.34 c #Conflicts: 244000 | #Constraints: 18159
1032.88/1036.34 c #Conflicts: 245000 | #Constraints: 19159
1032.88/1036.34 c #Conflicts: 246000 | #Constraints: 20159
1032.88/1036.34 c INPROCESSING
1032.88/1036.34 c GARBAGE COLLECT
1032.88/1036.34 c #Conflicts: 247000 | #Constraints: 11357
1032.88/1036.34 c #Conflicts: 248000 | #Constraints: 12357
1032.88/1036.34 c #Conflicts: 249000 | #Constraints: 13357
1032.88/1036.34 c #Conflicts: 250000 | #Constraints: 14357
1411.02/1415.61 c #Conflicts: 251000 | #Constraints: 15357
1411.02/1415.61 c #Conflicts: 252000 | #Constraints: 16357
1411.02/1415.61 c #Conflicts: 253000 | #Constraints: 17357
1411.02/1415.61 c #Conflicts: 254000 | #Constraints: 18357
1411.02/1415.61 c #Conflicts: 255000 | #Constraints: 19357
1411.02/1415.61 c #Conflicts: 256000 | #Constraints: 20357
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 257000 | #Constraints: 11356
1411.02/1415.61 c #Conflicts: 258000 | #Constraints: 12356
1411.02/1415.61 c #Conflicts: 259000 | #Constraints: 13356
1411.02/1415.61 c #Conflicts: 260000 | #Constraints: 14356
1411.02/1415.61 c #Conflicts: 261000 | #Constraints: 15356
1411.02/1415.61 c #Conflicts: 262000 | #Constraints: 16356
1411.02/1415.61 c #Conflicts: 263000 | #Constraints: 17356
1411.02/1415.61 c #Conflicts: 264000 | #Constraints: 18356
1411.02/1415.61 c #Conflicts: 265000 | #Constraints: 19356
1411.02/1415.61 c #Conflicts: 266000 | #Constraints: 20356
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 267000 | #Constraints: 11153
1411.02/1415.61 c #Conflicts: 268000 | #Constraints: 12153
1411.02/1415.61 c #Conflicts: 269000 | #Constraints: 13153
1411.02/1415.61 c #Conflicts: 270000 | #Constraints: 14153
1411.02/1415.61 c #Conflicts: 271000 | #Constraints: 15153
1411.02/1415.61 c #Conflicts: 272000 | #Constraints: 16153
1411.02/1415.61 c #Conflicts: 273000 | #Constraints: 17153
1411.02/1415.61 c #Conflicts: 274000 | #Constraints: 18153
1411.02/1415.61 c #Conflicts: 275000 | #Constraints: 19153
1411.02/1415.61 c #Conflicts: 276000 | #Constraints: 20153
1411.02/1415.61 c #Conflicts: 277000 | #Constraints: 21153
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 278000 | #Constraints: 11756
1411.02/1415.61 c #Conflicts: 279000 | #Constraints: 12756
1411.02/1415.61 c #Conflicts: 280000 | #Constraints: 13756
1411.02/1415.61 c #Conflicts: 281000 | #Constraints: 14756
1411.02/1415.61 c #Conflicts: 282000 | #Constraints: 15756
1411.02/1415.61 c #Conflicts: 283000 | #Constraints: 16756
1411.02/1415.61 c #Conflicts: 284000 | #Constraints: 17756
1411.02/1415.61 c #Conflicts: 285000 | #Constraints: 18756
1411.02/1415.61 c #Conflicts: 286000 | #Constraints: 19756
1411.02/1415.61 c #Conflicts: 287000 | #Constraints: 20756
1411.02/1415.61 c #Conflicts: 288000 | #Constraints: 21756
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 289000 | #Constraints: 12155
1411.02/1415.61 c #Conflicts: 290000 | #Constraints: 13155
1411.02/1415.61 c #Conflicts: 291000 | #Constraints: 14155
1411.02/1415.61 c #Conflicts: 292000 | #Constraints: 15155
1411.02/1415.61 c #Conflicts: 293000 | #Constraints: 16155
1411.02/1415.61 c #Conflicts: 294000 | #Constraints: 17155
1411.02/1415.61 c #Conflicts: 295000 | #Constraints: 18155
1411.02/1415.61 c #Conflicts: 296000 | #Constraints: 19155
1411.02/1415.61 c #Conflicts: 297000 | #Constraints: 20155
1411.02/1415.61 c #Conflicts: 298000 | #Constraints: 21155
1411.02/1415.61 c #Conflicts: 299000 | #Constraints: 22155
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 300000 | #Constraints: 12354
1411.02/1415.61 c #Conflicts: 301000 | #Constraints: 13354
1411.02/1415.61 c #Conflicts: 302000 | #Constraints: 14354
1411.02/1415.61 c #Conflicts: 303000 | #Constraints: 15354
1411.02/1415.61 c #Conflicts: 304000 | #Constraints: 16354
1411.02/1415.61 c #Conflicts: 305000 | #Constraints: 17354
1411.02/1415.61 c #Conflicts: 306000 | #Constraints: 18354
1411.02/1415.61 c #Conflicts: 307000 | #Constraints: 19354
1411.02/1415.61 c #Conflicts: 308000 | #Constraints: 20354
1411.02/1415.61 c #Conflicts: 309000 | #Constraints: 21354
1411.02/1415.61 c #Conflicts: 310000 | #Constraints: 22354
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 311000 | #Constraints: 12356
1411.02/1415.61 c #Conflicts: 312000 | #Constraints: 13356
1411.02/1415.61 c #Conflicts: 313000 | #Constraints: 14356
1411.02/1415.61 c #Conflicts: 314000 | #Constraints: 15356
1411.02/1415.61 c #Conflicts: 315000 | #Constraints: 16356
1411.02/1415.61 c #Conflicts: 316000 | #Constraints: 17356
1411.02/1415.61 c #Conflicts: 317000 | #Constraints: 18356
1411.02/1415.61 c #Conflicts: 318000 | #Constraints: 19356
1411.02/1415.61 c #Conflicts: 319000 | #Constraints: 20356
1411.02/1415.61 c #Conflicts: 320000 | #Constraints: 21356
1411.02/1415.61 c #Conflicts: 321000 | #Constraints: 22356
1411.02/1415.61 c INPROCESSING
1411.02/1415.61 c GARBAGE COLLECT
1411.02/1415.61 c #Conflicts: 322000 | #Constraints: 12158
1411.02/1415.61 c #Conflicts: 323000 | #Constraints: 13158
1411.02/1415.61 c #Conflicts: 324000 | #Constraints: 14158
1811.61/1817.30 c #Conflicts: 325000 | #Constraints: 15158
1811.61/1817.30 c #Conflicts: 326000 | #Constraints: 16158
1811.61/1817.30 c #Conflicts: 327000 | #Constraints: 17158
1811.61/1817.30 c #Conflicts: 328000 | #Constraints: 18158
1811.61/1817.30 c #Conflicts: 329000 | #Constraints: 19158
1811.61/1817.30 c #Conflicts: 330000 | #Constraints: 20158
1811.61/1817.30 c #Conflicts: 331000 | #Constraints: 21158
1811.61/1817.30 c #Conflicts: 332000 | #Constraints: 22158
1811.61/1817.30 c #Conflicts: 333000 | #Constraints: 23158
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 334000 | #Constraints: 12756
1811.61/1817.30 c #Conflicts: 335000 | #Constraints: 13756
1811.61/1817.30 c #Conflicts: 336000 | #Constraints: 14756
1811.61/1817.30 c #Conflicts: 337000 | #Constraints: 15756
1811.61/1817.30 c #Conflicts: 338000 | #Constraints: 16756
1811.61/1817.30 c #Conflicts: 339000 | #Constraints: 17756
1811.61/1817.30 c #Conflicts: 340000 | #Constraints: 18756
1811.61/1817.30 c #Conflicts: 341000 | #Constraints: 19756
1811.61/1817.30 c #Conflicts: 342000 | #Constraints: 20756
1811.61/1817.30 c #Conflicts: 343000 | #Constraints: 21756
1811.61/1817.30 c #Conflicts: 344000 | #Constraints: 22756
1811.61/1817.30 c #Conflicts: 345000 | #Constraints: 23756
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 346000 | #Constraints: 13154
1811.61/1817.30 c #Conflicts: 347000 | #Constraints: 14154
1811.61/1817.30 c #Conflicts: 348000 | #Constraints: 15154
1811.61/1817.30 c #Conflicts: 349000 | #Constraints: 16154
1811.61/1817.30 c #Conflicts: 350000 | #Constraints: 17154
1811.61/1817.30 c #Conflicts: 351000 | #Constraints: 18154
1811.61/1817.30 c #Conflicts: 352000 | #Constraints: 19154
1811.61/1817.30 c #Conflicts: 353000 | #Constraints: 20154
1811.61/1817.30 c #Conflicts: 354000 | #Constraints: 21154
1811.61/1817.30 c #Conflicts: 355000 | #Constraints: 22154
1811.61/1817.30 c #Conflicts: 356000 | #Constraints: 23154
1811.61/1817.30 c #Conflicts: 357000 | #Constraints: 24154
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 358000 | #Constraints: 13353
1811.61/1817.30 c #Conflicts: 359000 | #Constraints: 14353
1811.61/1817.30 c #Conflicts: 360000 | #Constraints: 15353
1811.61/1817.30 c #Conflicts: 361000 | #Constraints: 16353
1811.61/1817.30 c #Conflicts: 362000 | #Constraints: 17353
1811.61/1817.30 c #Conflicts: 363000 | #Constraints: 18353
1811.61/1817.30 c #Conflicts: 364000 | #Constraints: 19353
1811.61/1817.30 c #Conflicts: 365000 | #Constraints: 20353
1811.61/1817.30 c #Conflicts: 366000 | #Constraints: 21353
1811.61/1817.30 c #Conflicts: 367000 | #Constraints: 22353
1811.61/1817.30 c #Conflicts: 368000 | #Constraints: 23353
1811.61/1817.30 c #Conflicts: 369000 | #Constraints: 24353
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 370000 | #Constraints: 13357
1811.61/1817.30 c #Conflicts: 371000 | #Constraints: 14357
1811.61/1817.30 c #Conflicts: 372000 | #Constraints: 15357
1811.61/1817.30 c #Conflicts: 373000 | #Constraints: 16357
1811.61/1817.30 c #Conflicts: 374000 | #Constraints: 17357
1811.61/1817.30 c #Conflicts: 375000 | #Constraints: 18357
1811.61/1817.30 c #Conflicts: 376000 | #Constraints: 19357
1811.61/1817.30 c #Conflicts: 377000 | #Constraints: 20357
1811.61/1817.30 c #Conflicts: 378000 | #Constraints: 21357
1811.61/1817.30 c #Conflicts: 379000 | #Constraints: 22357
1811.61/1817.30 c #Conflicts: 380000 | #Constraints: 23357
1811.61/1817.30 c #Conflicts: 381000 | #Constraints: 24357
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 382000 | #Constraints: 13158
1811.61/1817.30 c #Conflicts: 383000 | #Constraints: 14158
1811.61/1817.30 c #Conflicts: 384000 | #Constraints: 15158
1811.61/1817.30 c #Conflicts: 385000 | #Constraints: 16158
1811.61/1817.30 c #Conflicts: 386000 | #Constraints: 17158
1811.61/1817.30 c #Conflicts: 387000 | #Constraints: 18158
1811.61/1817.30 c #Conflicts: 388000 | #Constraints: 19158
1811.61/1817.30 c #Conflicts: 389000 | #Constraints: 20158
1811.61/1817.30 c #Conflicts: 390000 | #Constraints: 21158
1811.61/1817.30 c #Conflicts: 391000 | #Constraints: 22158
1811.61/1817.30 c #Conflicts: 392000 | #Constraints: 23158
1811.61/1817.30 c #Conflicts: 393000 | #Constraints: 24158
1811.61/1817.30 c #Conflicts: 394000 | #Constraints: 25158
1811.61/1817.30 c INPROCESSING
1811.61/1817.30 c GARBAGE COLLECT
1811.61/1817.30 c #Conflicts: 395000 | #Constraints: 13762
1811.61/1817.30 c #Conflicts: 396000 | #Constraints: 14762
1811.61/1817.30 c #Conflicts: 397000 | #Constraints: 15762
1811.61/1817.30 c #Conflicts: 398000 | #Constraints: 16762
1811.61/1817.30 c #Conflicts: 399000 | #Constraints: 17762
2172.52/2179.33 c #Conflicts: 400000 | #Constraints: 18762
2172.52/2179.33 c #Conflicts: 401000 | #Constraints: 19762
2172.52/2179.33 c #Conflicts: 402000 | #Constraints: 20762
2172.52/2179.33 c #Conflicts: 403000 | #Constraints: 21762
2172.52/2179.33 c #Conflicts: 404000 | #Constraints: 22762
2172.52/2179.33 c #Conflicts: 405000 | #Constraints: 23762
2172.52/2179.33 c #Conflicts: 406000 | #Constraints: 24762
2172.52/2179.33 c #Conflicts: 407000 | #Constraints: 25762
2172.52/2179.33 c INPROCESSING
2172.52/2179.33 c GARBAGE COLLECT
2172.52/2179.33 c #Conflicts: 408000 | #Constraints: 14160
2172.52/2179.33 c #Conflicts: 409000 | #Constraints: 15160
2172.52/2179.33 c #Conflicts: 410000 | #Constraints: 16160
2172.52/2179.33 c #Conflicts: 411000 | #Constraints: 17160
2172.52/2179.33 c #Conflicts: 412000 | #Constraints: 18160
2172.52/2179.33 c #Conflicts: 413000 | #Constraints: 19160
2172.52/2179.33 c #Conflicts: 414000 | #Constraints: 20160
2172.52/2179.33 c #Conflicts: 415000 | #Constraints: 21160
2172.52/2179.33 c #Conflicts: 416000 | #Constraints: 22160
2172.52/2179.33 c #Conflicts: 417000 | #Constraints: 23160
2172.52/2179.33 c #Conflicts: 418000 | #Constraints: 24160
2172.52/2179.33 c #Conflicts: 419000 | #Constraints: 25160
2172.52/2179.33 c #Conflicts: 420000 | #Constraints: 26160
2172.52/2179.33 c INPROCESSING
2172.52/2179.33 c GARBAGE COLLECT
2172.52/2179.33 c #Conflicts: 421000 | #Constraints: 14361
2172.52/2179.33 c #Conflicts: 422000 | #Constraints: 15361
2172.52/2179.33 c #Conflicts: 423000 | #Constraints: 16361
2172.52/2179.33 c #Conflicts: 424000 | #Constraints: 17361
2172.52/2179.33 c #Conflicts: 425000 | #Constraints: 18361
2172.52/2179.33 c #Conflicts: 426000 | #Constraints: 19361
2172.52/2179.33 c #Conflicts: 427000 | #Constraints: 20361
2172.52/2179.33 c #Conflicts: 428000 | #Constraints: 21361
2172.52/2179.33 c #Conflicts: 429000 | #Constraints: 22361
2172.52/2179.33 c #Conflicts: 430000 | #Constraints: 23361
2172.52/2179.33 c #Conflicts: 431000 | #Constraints: 24361
2172.52/2179.33 c #Conflicts: 432000 | #Constraints: 25361
2172.52/2179.33 c #Conflicts: 433000 | #Constraints: 26361
2172.52/2179.33 c INPROCESSING
2172.52/2179.33 c GARBAGE COLLECT
2172.52/2179.33 c #Conflicts: 434000 | #Constraints: 14360
2172.52/2179.33 c #Conflicts: 435000 | #Constraints: 15360
2172.52/2179.33 c #Conflicts: 436000 | #Constraints: 16360
2172.52/2179.33 c #Conflicts: 437000 | #Constraints: 17360
2172.52/2179.33 c #Conflicts: 438000 | #Constraints: 18360
2172.52/2179.33 c #Conflicts: 439000 | #Constraints: 19360
2172.52/2179.33 c #Conflicts: 440000 | #Constraints: 20360
2172.52/2179.33 c #Conflicts: 441000 | #Constraints: 21360
2172.52/2179.33 c #Conflicts: 442000 | #Constraints: 22360
2172.52/2179.33 c #Conflicts: 443000 | #Constraints: 23360
2172.52/2179.33 c #Conflicts: 444000 | #Constraints: 24360
2172.52/2179.33 c #Conflicts: 445000 | #Constraints: 25360
2172.52/2179.33 c #Conflicts: 446000 | #Constraints: 26360
2172.52/2179.33 c INPROCESSING
2172.52/2179.33 c GARBAGE COLLECT
2172.52/2179.33 c #Conflicts: 447000 | #Constraints: 14169
2172.52/2179.33 c #Conflicts: 448000 | #Constraints: 15169
2172.52/2179.33 c #Conflicts: 449000 | #Constraints: 16169
2172.52/2179.33 c #Conflicts: 450000 | #Constraints: 17169
2172.52/2179.33 c #Conflicts: 451000 | #Constraints: 18169
2172.52/2179.33 c #Conflicts: 452000 | #Constraints: 19169
2172.52/2179.33 c #Conflicts: 453000 | #Constraints: 20169
2172.52/2179.33 c #Conflicts: 454000 | #Constraints: 21169
2172.52/2179.33 c #Conflicts: 455000 | #Constraints: 22169
2172.52/2179.33 c #Conflicts: 456000 | #Constraints: 23169
2172.52/2179.33 c #Conflicts: 457000 | #Constraints: 24169
2172.52/2179.33 c #Conflicts: 458000 | #Constraints: 25169
2172.52/2179.33 c #Conflicts: 459000 | #Constraints: 26169
2172.52/2179.33 c #Conflicts: 460000 | #Constraints: 27169
2172.52/2179.33 c INPROCESSING
2172.52/2179.33 c GARBAGE COLLECT
2172.52/2179.33 c #Conflicts: 461000 | #Constraints: 14764
2172.52/2179.33 c #Conflicts: 462000 | #Constraints: 15764
2172.52/2179.33 c #Conflicts: 463000 | #Constraints: 16764
2172.52/2179.33 c #Conflicts: 464000 | #Constraints: 17764
2172.52/2179.33 c #Conflicts: 465000 | #Constraints: 18764
2172.52/2179.33 c #Conflicts: 466000 | #Constraints: 19764
2172.52/2179.33 c #Conflicts: 467000 | #Constraints: 20764
2172.52/2179.33 c #Conflicts: 468000 | #Constraints: 21764
2172.52/2179.33 c #Conflicts: 469000 | #Constraints: 22764
2172.52/2179.33 c #Conflicts: 470000 | #Constraints: 23764
2172.52/2179.33 c #Conflicts: 471000 | #Constraints: 24764
2172.52/2179.33 c #Conflicts: 472000 | #Constraints: 25764
2172.52/2179.33 c #Conflicts: 473000 | #Constraints: 26764
2172.52/2179.33 c #Conflicts: 474000 | #Constraints: 27764
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 475000 | #Constraints: 15164
2717.66/2726.20 c #Conflicts: 476000 | #Constraints: 16164
2717.66/2726.20 c #Conflicts: 477000 | #Constraints: 17164
2717.66/2726.20 c #Conflicts: 478000 | #Constraints: 18164
2717.66/2726.20 c #Conflicts: 479000 | #Constraints: 19164
2717.66/2726.20 c #Conflicts: 480000 | #Constraints: 20164
2717.66/2726.20 c #Conflicts: 481000 | #Constraints: 21164
2717.66/2726.20 c #Conflicts: 482000 | #Constraints: 22164
2717.66/2726.20 c #Conflicts: 483000 | #Constraints: 23164
2717.66/2726.20 c #Conflicts: 484000 | #Constraints: 24164
2717.66/2726.20 c #Conflicts: 485000 | #Constraints: 25164
2717.66/2726.20 c #Conflicts: 486000 | #Constraints: 26164
2717.66/2726.20 c #Conflicts: 487000 | #Constraints: 27164
2717.66/2726.20 c #Conflicts: 488000 | #Constraints: 28164
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 489000 | #Constraints: 15362
2717.66/2726.20 c #Conflicts: 490000 | #Constraints: 16362
2717.66/2726.20 c #Conflicts: 491000 | #Constraints: 17362
2717.66/2726.20 c #Conflicts: 492000 | #Constraints: 18362
2717.66/2726.20 c #Conflicts: 493000 | #Constraints: 19362
2717.66/2726.20 c #Conflicts: 494000 | #Constraints: 20362
2717.66/2726.20 c #Conflicts: 495000 | #Constraints: 21362
2717.66/2726.20 c #Conflicts: 496000 | #Constraints: 22362
2717.66/2726.20 c #Conflicts: 497000 | #Constraints: 23362
2717.66/2726.20 c #Conflicts: 498000 | #Constraints: 24362
2717.66/2726.20 c #Conflicts: 499000 | #Constraints: 25362
2717.66/2726.20 c #Conflicts: 500000 | #Constraints: 26362
2717.66/2726.20 c #Conflicts: 501000 | #Constraints: 27362
2717.66/2726.20 c #Conflicts: 502000 | #Constraints: 28362
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 503000 | #Constraints: 15366
2717.66/2726.20 c #Conflicts: 504000 | #Constraints: 16366
2717.66/2726.20 c #Conflicts: 505000 | #Constraints: 17366
2717.66/2726.20 c #Conflicts: 506000 | #Constraints: 18366
2717.66/2726.20 c #Conflicts: 507000 | #Constraints: 19366
2717.66/2726.20 c #Conflicts: 508000 | #Constraints: 20366
2717.66/2726.20 c #Conflicts: 509000 | #Constraints: 21366
2717.66/2726.20 c #Conflicts: 510000 | #Constraints: 22366
2717.66/2726.20 c #Conflicts: 511000 | #Constraints: 23366
2717.66/2726.20 c #Conflicts: 512000 | #Constraints: 24366
2717.66/2726.20 c #Conflicts: 513000 | #Constraints: 25366
2717.66/2726.20 c #Conflicts: 514000 | #Constraints: 26366
2717.66/2726.20 c #Conflicts: 515000 | #Constraints: 27366
2717.66/2726.20 c #Conflicts: 516000 | #Constraints: 28366
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 517000 | #Constraints: 15159
2717.66/2726.20 c #Conflicts: 518000 | #Constraints: 16159
2717.66/2726.20 c #Conflicts: 519000 | #Constraints: 17159
2717.66/2726.20 c #Conflicts: 520000 | #Constraints: 18159
2717.66/2726.20 c #Conflicts: 521000 | #Constraints: 19159
2717.66/2726.20 c #Conflicts: 522000 | #Constraints: 20159
2717.66/2726.20 c #Conflicts: 523000 | #Constraints: 21159
2717.66/2726.20 c #Conflicts: 524000 | #Constraints: 22159
2717.66/2726.20 c #Conflicts: 525000 | #Constraints: 23159
2717.66/2726.20 c #Conflicts: 526000 | #Constraints: 24159
2717.66/2726.20 c #Conflicts: 527000 | #Constraints: 25159
2717.66/2726.20 c #Conflicts: 528000 | #Constraints: 26159
2717.66/2726.20 c #Conflicts: 529000 | #Constraints: 27159
2717.66/2726.20 c #Conflicts: 530000 | #Constraints: 28159
2717.66/2726.20 c #Conflicts: 531000 | #Constraints: 29159
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 532000 | #Constraints: 15756
2717.66/2726.20 c #Conflicts: 533000 | #Constraints: 16756
2717.66/2726.20 c #Conflicts: 534000 | #Constraints: 17756
2717.66/2726.20 c #Conflicts: 535000 | #Constraints: 18756
2717.66/2726.20 c #Conflicts: 536000 | #Constraints: 19756
2717.66/2726.20 c #Conflicts: 537000 | #Constraints: 20756
2717.66/2726.20 c #Conflicts: 538000 | #Constraints: 21756
2717.66/2726.20 c #Conflicts: 539000 | #Constraints: 22756
2717.66/2726.20 c #Conflicts: 540000 | #Constraints: 23756
2717.66/2726.20 c #Conflicts: 541000 | #Constraints: 24756
2717.66/2726.20 c #Conflicts: 542000 | #Constraints: 25756
2717.66/2726.20 c #Conflicts: 543000 | #Constraints: 26756
2717.66/2726.20 c #Conflicts: 544000 | #Constraints: 27756
2717.66/2726.20 c #Conflicts: 545000 | #Constraints: 28756
2717.66/2726.20 c #Conflicts: 546000 | #Constraints: 29756
2717.66/2726.20 c INPROCESSING
2717.66/2726.20 c GARBAGE COLLECT
2717.66/2726.20 c #Conflicts: 547000 | #Constraints: 16155
2717.66/2726.20 c #Conflicts: 548000 | #Constraints: 17155
2717.66/2726.20 c #Conflicts: 549000 | #Constraints: 18155
3434.14/3445.09 c #Conflicts: 550000 | #Constraints: 19155
3434.14/3445.09 c #Conflicts: 551000 | #Constraints: 20155
3434.14/3445.09 c #Conflicts: 552000 | #Constraints: 21155
3434.14/3445.09 c #Conflicts: 553000 | #Constraints: 22155
3434.14/3445.09 c #Conflicts: 554000 | #Constraints: 23155
3434.14/3445.09 c #Conflicts: 555000 | #Constraints: 24155
3434.14/3445.09 c #Conflicts: 556000 | #Constraints: 25155
3434.14/3445.09 c #Conflicts: 557000 | #Constraints: 26155
3434.14/3445.09 c #Conflicts: 558000 | #Constraints: 27155
3434.14/3445.09 c #Conflicts: 559000 | #Constraints: 28155
3434.14/3445.09 c #Conflicts: 560000 | #Constraints: 29155
3434.14/3445.09 c #Conflicts: 561000 | #Constraints: 30155
3434.14/3445.09 c INPROCESSING
3434.14/3445.09 c GARBAGE COLLECT
3434.14/3445.09 c #Conflicts: 562000 | #Constraints: 16361
3434.14/3445.09 c #Conflicts: 563000 | #Constraints: 17361
3434.14/3445.09 c #Conflicts: 564000 | #Constraints: 18361
3434.14/3445.09 c #Conflicts: 565000 | #Constraints: 19361
3434.14/3445.09 c #Conflicts: 566000 | #Constraints: 20361
3434.14/3445.09 c #Conflicts: 567000 | #Constraints: 21361
3434.14/3445.09 c #Conflicts: 568000 | #Constraints: 22361
3434.14/3445.09 c #Conflicts: 569000 | #Constraints: 23361
3434.14/3445.09 c #Conflicts: 570000 | #Constraints: 24361
3434.14/3445.09 c #Conflicts: 571000 | #Constraints: 25361
3434.14/3445.09 c #Conflicts: 572000 | #Constraints: 26361
3434.14/3445.09 c #Conflicts: 573000 | #Constraints: 27361
3434.14/3445.09 c #Conflicts: 574000 | #Constraints: 28361
3434.14/3445.09 c #Conflicts: 575000 | #Constraints: 29361
3434.14/3445.09 c #Conflicts: 576000 | #Constraints: 30361
3434.14/3445.09 c INPROCESSING
3434.14/3445.09 c GARBAGE COLLECT
3434.14/3445.09 c #Conflicts: 577000 | #Constraints: 16360
3434.14/3445.09 c #Conflicts: 578000 | #Constraints: 17360
3434.14/3445.09 c #Conflicts: 579000 | #Constraints: 18360
3434.14/3445.09 c #Conflicts: 580000 | #Constraints: 19360
3434.14/3445.09 c #Conflicts: 581000 | #Constraints: 20360
3434.14/3445.09 c #Conflicts: 582000 | #Constraints: 21360
3434.14/3445.09 c #Conflicts: 583000 | #Constraints: 22360
3434.14/3445.09 c #Conflicts: 584000 | #Constraints: 23360
3434.14/3445.09 c #Conflicts: 585000 | #Constraints: 24360
3434.14/3445.09 c #Conflicts: 586000 | #Constraints: 25360
3434.14/3445.09 c #Conflicts: 587000 | #Constraints: 26360
3434.14/3445.09 c #Conflicts: 588000 | #Constraints: 27360
3434.14/3445.09 c #Conflicts: 589000 | #Constraints: 28360
3434.14/3445.09 c #Conflicts: 590000 | #Constraints: 29360
3434.14/3445.09 c #Conflicts: 591000 | #Constraints: 30360
3434.14/3445.09 c INPROCESSING
3434.14/3445.09 c GARBAGE COLLECT
3434.14/3445.09 c #Conflicts: 592000 | #Constraints: 16158
3434.14/3445.09 c #Conflicts: 593000 | #Constraints: 17158
3434.14/3445.09 c #Conflicts: 594000 | #Constraints: 18158
3434.14/3445.09 c #Conflicts: 595000 | #Constraints: 19158
3434.14/3445.09 c #Conflicts: 596000 | #Constraints: 20158
3434.14/3445.09 c #Conflicts: 597000 | #Constraints: 21158
3434.14/3445.09 c #Conflicts: 598000 | #Constraints: 22158
3434.14/3445.09 c #Conflicts: 599000 | #Constraints: 23158
3434.14/3445.09 c #Conflicts: 600000 | #Constraints: 24158
3434.14/3445.09 c #Conflicts: 601000 | #Constraints: 25158
3434.14/3445.09 c #Conflicts: 602000 | #Constraints: 26158
3434.14/3445.09 c #Conflicts: 603000 | #Constraints: 27158
3434.14/3445.09 c #Conflicts: 604000 | #Constraints: 28158
3434.14/3445.09 c #Conflicts: 605000 | #Constraints: 29158
3434.14/3445.09 c #Conflicts: 606000 | #Constraints: 30158
3434.14/3445.09 c #Conflicts: 607000 | #Constraints: 31158
3434.14/3445.09 c INPROCESSING
3434.14/3445.09 c GARBAGE COLLECT
3434.14/3445.09 c #Conflicts: 608000 | #Constraints: 16755
3434.14/3445.09 c #Conflicts: 609000 | #Constraints: 17755
3434.14/3445.09 c #Conflicts: 610000 | #Constraints: 18755
3434.14/3445.09 c #Conflicts: 611000 | #Constraints: 19755
3434.14/3445.09 c #Conflicts: 612000 | #Constraints: 20755
3434.14/3445.09 c #Conflicts: 613000 | #Constraints: 21755
3434.14/3445.09 c #Conflicts: 614000 | #Constraints: 22755
3434.14/3445.09 c #Conflicts: 615000 | #Constraints: 23755
3434.14/3445.09 c #Conflicts: 616000 | #Constraints: 24755
3434.14/3445.09 c #Conflicts: 617000 | #Constraints: 25755
3434.14/3445.09 c #Conflicts: 618000 | #Constraints: 26755
3434.14/3445.09 c #Conflicts: 619000 | #Constraints: 27755
3434.14/3445.09 c #Conflicts: 620000 | #Constraints: 28755
3434.14/3445.09 c #Conflicts: 621000 | #Constraints: 29755
3434.14/3445.09 c #Conflicts: 622000 | #Constraints: 30755
3434.14/3445.09 c #Conflicts: 623000 | #Constraints: 31755
3434.14/3445.09 c INPROCESSING
3434.14/3445.09 c GARBAGE COLLECT
3434.14/3445.09 c #Conflicts: 624000 | #Constraints: 17158
3434.14/3445.09 c #Conflicts: 625000 | #Constraints: 18158
3600.08/3611.40 c #Conflicts: 626000 | #Constraints: 19158
3600.08/3611.40 c #Conflicts: 627000 | #Constraints: 20158
3600.08/3611.40 c #Conflicts: 628000 | #Constraints: 21158
3600.08/3611.40 c #Conflicts: 629000 | #Constraints: 22158
3600.08/3611.40 c #Conflicts: 630000 | #Constraints: 23158
3600.08/3611.40 c #Conflicts: 631000 | #Constraints: 24158
3600.08/3611.40 c #Conflicts: 632000 | #Constraints: 25158
3600.08/3611.40 c #Conflicts: 633000 | #Constraints: 26158
3600.08/3611.40 c #Conflicts: 634000 | #Constraints: 27158
3600.08/3611.40 c #Conflicts: 635000 | #Constraints: 28158
3600.08/3611.40 c #Conflicts: 636000 | #Constraints: 29158
3600.08/3611.40 c #Conflicts: 637000 | #Constraints: 30158
3600.08/3611.40 c #Conflicts: 638000 | #Constraints: 31158
3600.08/3611.40 c #Conflicts: 639000 | #Constraints: 32158
3600.08/3611.40 c INPROCESSING
3600.08/3611.40 c GARBAGE COLLECT
3600.08/3611.40 c #Conflicts: 640000 | #Constraints: 17358
3600.08/3611.40 c #Conflicts: 641000 | #Constraints: 18358
3600.08/3611.40 c #Conflicts: 642000 | #Constraints: 19358
3600.08/3611.40 c #Conflicts: 643000 | #Constraints: 20358
3600.08/3611.40 c #Conflicts: 644000 | #Constraints: 21358
3600.08/3611.40 c #Conflicts: 645000 | #Constraints: 22358
3600.08/3611.40 c Program interrupted by user.
3600.08/3611.40 c cpu time 3590.11 s
3600.08/3611.40 c deterministic time 345059491323 3.45e+11
3600.08/3611.40 c optimization time 50.0403 s
3600.08/3611.40 c total solve time 3240.85 s
3600.08/3611.40 c core-guided solve time 3240.85 s
3600.08/3611.40 c propagation time 2966.19 s
3600.08/3611.40 c conflict analysis time 277.032 s
3600.08/3611.40 c propagations 49917261
3600.08/3611.40 c resolve steps 2960275
3600.08/3611.40 c decisions 6202207
3600.08/3611.40 c conflicts 645356
3600.08/3611.40 c restarts 1391
3600.08/3611.40 c inprocessing phases 71
3600.08/3611.40 c input clauses 59
3600.08/3611.40 c input cardinalities 77
3600.08/3611.40 c input general constraints 480
3600.08/3611.40 c input average constraint length 67.43
3600.08/3611.40 c input average constraint degree 34.96
3600.08/3611.40 c learned clauses 92868
3600.08/3611.40 c learned cardinalities 735
3600.08/3611.40 c learned general constraints 551772
3600.08/3611.40 c learned average constraint length 345.64
3600.08/3611.40 c learned average constraint degree 251038.62
3600.08/3611.40 c watched constraints 440196
3600.08/3611.40 c counting constraints 112056
3600.08/3611.40 c gcd simplifications 76893
3600.08/3611.40 c detected cardinalities 608
3600.08/3611.40 c weakened non-implied lits 16116142
3600.08/3611.40 c weakened non-implying lits 39516
3600.08/3611.40 c original variables 481
3600.08/3611.40 c clausal propagations 1072734
3600.08/3611.40 c cardinality propagations 124926
3600.08/3611.40 c watched propagations 25465858
3600.08/3611.40 c counting propagations 22643067
3600.08/3611.40 c watch lookups 60548027974
3600.08/3611.40 c watch backjump lookups 57952585315
3600.08/3611.40 c watch checks 218073192477
3600.08/3611.40 c propagation checks 7703440126
3600.08/3611.40 c constraint additions 669361563
3600.08/3611.40 c trail pops 56764399
3600.08/3611.40 c formula constraints 481
3600.08/3611.40 c learned constraints 645375
3600.08/3611.40 c bound constraints 77
3600.08/3611.40 c core-guided constraints 58
3600.08/3611.40 c encountered formula constraints 1825442
3600.08/3611.40 c encountered learned constraints 1727028
3600.08/3611.40 c encountered bound constraints 702
3600.08/3611.40 c encountered core-guided constraints 52459
3600.08/3611.40 c LP total time 0 s
3600.08/3611.40 c LP solve time 0 s
3600.08/3611.40 c LP constraints added 0
3600.08/3611.40 c LP constraints removed 0
3600.08/3611.40 c LP pivots internal 0
3600.08/3611.40 c LP pivots root 0
3600.08/3611.40 c LP calls 0
3600.08/3611.40 c LP optimalities 0
3600.08/3611.40 c LP no pivot count 0
3600.08/3611.40 c LP infeasibilities 0
3600.08/3611.40 c LP valid Farkas constraints 0
3600.08/3611.40 c LP learned Farkas constraints 0
3600.08/3611.40 c LP basis resets 0
3600.08/3611.40 c LP cycling count 0
3600.08/3611.40 c LP singular count 0
3600.08/3611.40 c LP no primal count 0
3600.08/3611.40 c LP no farkas count 0
3600.08/3611.40 c LP other issue count 0
3600.08/3611.40 c LP Gomory cuts 0
3600.08/3611.40 c LP learned cuts 0
3600.08/3611.40 c LP deleted cuts 0
3600.08/3611.40 c LP encountered Gomory constraints 0
3600.08/3611.40 c LP encountered Farkas constraints 0
3600.08/3611.40 c LP encountered learned Farkas constraints 0
3600.08/3611.40 c CG auxiliary variables introduced 58
3600.08/3611.40 c CG solutions found 0
3600.08/3611.40 c CG cores constructed 76
3600.08/3611.40 c CG core cardinality constraints returned 0
3600.08/3611.40 c CG unit cores 0
3600.08/3611.40 c CG single cores 76
3600.08/3611.40 c CG blocks removed during cardinality reduction 0
3600.08/3611.40 c CG first core best 0
3600.08/3611.40 c CG decision core best 0
3600.08/3611.40 c CG core reduction tie 0
3600.08/3611.40 c CG core degree average 1.00
3600.08/3611.40 c CG core slack average 2.93
3600.08/3611.40 c CG exhausted 0
3600.08/3611.40 c CG exhaust time 0 s
3600.08/3611.40 c CG trimmed 5
3600.08/3611.40 c CG trim time 0.000288 s
3600.08/3611.40 c CG minimized 0
3600.08/3611.40 c CG minimize time 0 s
3600.08/3611.40 c CG am1 prop time 7.7e-05 s
3600.08/3611.40 c CG # am1s reformulated 58
3600.08/3611.40 c CG lower bound derived from am1s 58
3600.08/3611.40 c CG # clausal cores 21
3600.08/3611.40 c CG # cardinality cores 0
3600.08/3611.40 c CG # pb cores 55
3600.08/3611.40 c CG # pb reforms 0
3600.08/3611.40 c CG # cores discarded because of pb reform 0
3600.08/3611.40 d LOWERBOUND 134
3600.08/3611.40 d NCORES 76
3600.08/3611.40 d NPBCORES 55
3600.08/3611.40 d NPBREFORM 0
3600.08/3611.40 d NTRIMMED 5
3600.08/3611.40 d NEXHAUSTED 0
3600.08/3611.40 d NAM1S 58
3600.08/3611.40 d AM1LB 58
3600.08/3611.40 c [Papilo Statistics]
3600.08/3611.40 c prepro time 0.00437759s
3600.08/3611.40 c # tsx applied 14
3600.08/3611.40 c # tsx conflicts 0
3600.08/3611.40 c # bound changes 0
3600.08/3611.40 c # side changes 0
3600.08/3611.40 c # coef changes 19
3600.08/3611.40 c # rounds 3
3600.08/3611.40 c # deted vars 0
3600.08/3611.40 c # deted constrs 0
3600.08/3611.40 c # consecutive rounds of only bound changes 0
3600.08/3611.40 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: 63837 MiB (62860 MiB free)
memory of node 1: 64465 MiB (59109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528913-1752256448/watcher-4528913-1752256448 -o /tmp/evaluation-result-4528913-1752256448/solver-4528913-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122974 --watchdog 3760 mixed-bag HOME/instance-4528913-1752256448.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123022, runsolver pid=123013
[startup+0.100102 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124864100/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=97320 memory=24416 CPUtime=0.09 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 2590 0 0 0 8 1 0 0 20 0 1 0 141323990 99655680 6104 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 24330 6104 4064 2834 0 6535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97320 KiB
Current children cumulated memory: 24416 KiB
[startup+0.213774 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124859564/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=99452 memory=26976 CPUtime=0.2 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 3115 0 0 0 19 1 0 0 20 0 1 0 141323990 101838848 6744 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 24863 6744 4192 2834 0 7068 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99452 KiB
Current children cumulated memory: 26976 KiB
[startup+0.313412 s]*
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=99636 memory=27104 CPUtime=0.3 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 3149 0 0 0 29 1 0 0 20 0 1 0 141323990 102027264 6776 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 24909 6776 4192 2834 0 7114 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99636 KiB
Current children cumulated memory: 27104 KiB
[startup+0.700253 s]
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=99636 memory=27232 CPUtime=0.67 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 3162 0 0 0 66 1 0 0 20 0 1 0 141323990 102027264 6808 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 24909 6808 4192 2834 0 7114 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99636 KiB
Current children cumulated memory: 27232 KiB
[startup+1.50029 s]
/proc/loadavg: 0.90 1.23 2.20 5/252 123031
/proc/meminfo: memFree=124849392/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=116084 memory=43360 CPUtime=1.47 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 7218 0 0 0 145 2 0 0 20 0 1 0 141323990 118870016 10840 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 29021 10840 4224 2834 0 11226 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116084 KiB
Current children cumulated memory: 43360 KiB
[startup+3.11296 s]
/proc/loadavg: 1.23 1.30 2.21 5/252 123031
/proc/meminfo: memFree=124427632/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=230680 memory=154880 CPUtime=3.08 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 36909 0 0 0 300 8 0 0 20 0 1 0 141323990 236216320 38720 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 57670 38720 4224 2834 0 39875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230680 KiB
Current children cumulated memory: 154880 KiB
[startup+6.30024 s]
/proc/loadavg: 1.23 1.30 2.21 5/252 123031
/proc/meminfo: memFree=124387640/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=236092 memory=158848 CPUtime=6.25 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 37906 0 0 0 617 8 0 0 20 0 1 0 141323990 241758208 39712 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 59023 39712 4224 2834 0 41228 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 236092 KiB
Current children cumulated memory: 158848 KiB
[startup+12.7003 s]
/proc/loadavg: 1.45 1.34 2.22 5/252 123031
/proc/meminfo: memFree=124323160/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=240584 memory=163968 CPUtime=12.63 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 39173 0 0 0 1255 8 0 0 20 0 1 0 141323990 246358016 40992 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 60146 40992 4224 2834 0 42351 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 240584 KiB
Current children cumulated memory: 163968 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 1.47 2.25 5/252 123031
/proc/meminfo: memFree=124189992/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=297944 memory=220388 CPUtime=25.39 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 54316 0 0 0 2528 11 0 0 20 0 1 0 141323990 305094656 55097 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 74486 55097 4224 2834 0 56691 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 297944 KiB
Current children cumulated memory: 220388 KiB
[startup+51.1129 s]
/proc/loadavg: 2.77 1.69 2.31 5/252 123032
/proc/meminfo: memFree=124109012/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=297944 memory=220388 CPUtime=50.92 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 54318 0 0 0 5081 11 0 0 20 0 1 0 141323990 305094656 55097 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 74486 55097 4224 2834 0 56691 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 297944 KiB
Current children cumulated memory: 220388 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.40 5/252 123034
/proc/meminfo: memFree=123883000/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=368232 memory=292672 CPUtime=101.95 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 72634 0 0 0 10180 15 0 0 20 0 1 0 141323990 377069568 73168 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 92058 73168 4224 2834 0 74263 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 368232 KiB
Current children cumulated memory: 292672 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.42 2.51 5/252 123036
/proc/meminfo: memFree=123814548/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=373336 memory=297152 CPUtime=161.75 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 73769 0 0 0 16160 15 0 0 20 0 1 0 141323990 382296064 74288 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 93334 74288 4224 2834 0 75539 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 373336 KiB
Current children cumulated memory: 297152 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.76 2.62 5/252 123038
/proc/meminfo: memFree=123793812/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=383404 memory=307136 CPUtime=221.56 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 76240 0 0 0 22140 16 0 0 20 0 1 0 141323990 392605696 76784 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 95851 76784 4224 2834 0 78056 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 383404 KiB
Current children cumulated memory: 307136 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.00 2.71 5/252 123040
/proc/meminfo: memFree=123759844/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=400872 memory=325184 CPUtime=281.37 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 80721 0 0 0 28120 17 0 0 20 0 1 0 141323990 410492928 81296 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 100218 81296 4224 2834 0 82423 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 400872 KiB
Current children cumulated memory: 325184 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.20 2.80 5/251 123042
/proc/meminfo: memFree=123980800/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=315068 memory=242396 CPUtime=341.19 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 83356 0 0 0 34036 83 0 0 20 0 1 0 141323990 322629632 60599 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 78767 60599 4448 2834 0 60972 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 315068 KiB
Current children cumulated memory: 242396 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.88 5/251 123047
/proc/meminfo: memFree=123921672/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=315068 memory=253532 CPUtime=400.99 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 83408 0 0 0 39965 134 0 0 20 0 1 0 141323990 322629632 63383 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 78767 63383 4448 2834 0 60972 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 315068 KiB
Current children cumulated memory: 253532 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.96 5/250 123060
/proc/meminfo: memFree=123904092/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=334036 memory=259844 CPUtime=460.82 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 84013 0 0 0 45914 168 0 0 20 0 1 0 141323990 342052864 64961 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 83509 64961 4448 2834 0 65714 0
################
# More data... #
################
Current children cumulated memory: 308152 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 123173
/proc/meminfo: memFree=123545608/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=2853.28 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85861 0 0 0 284494 834 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 2853.28 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/251 123180
/proc/meminfo: memFree=123545056/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=2913.08 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85861 0 0 0 290459 849 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 2913.08 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/250 123182
/proc/meminfo: memFree=123531348/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=2972.88 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85863 0 0 0 296424 864 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 2972.88 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/251 123185
/proc/meminfo: memFree=123530956/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=3032.67 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85863 0 0 0 302385 882 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 3032.67 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/251 123187
/proc/meminfo: memFree=123530572/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=3092.47 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85863 0 0 0 308350 897 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 3092.47 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/251 123188
/proc/meminfo: memFree=123526832/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=3152.26 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85863 0 0 0 314318 908 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/250 123190
/proc/meminfo: memFree=123524704/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=308152 CPUtime=3212.06 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85873 0 0 0 320283 923 0 0 20 0 1 0 141323990 424902656 77038 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77038 4448 2834 0 85941 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 308152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/250 123192
/proc/meminfo: memFree=123525736/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=310200 CPUtime=3271.86 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85903 0 0 0 326249 937 0 0 20 0 1 0 141323990 424902656 77550 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77550 4448 2834 0 85941 0
Current children cumulated CPU time: 3271.86 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 310200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/250 123194
/proc/meminfo: memFree=123525916/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=310200 CPUtime=3331.7 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85903 0 0 0 332224 946 0 0 20 0 1 0 141323990 424902656 77550 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77550 4448 2834 0 85941 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 310200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/251 123200
/proc/meminfo: memFree=123525488/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=310200 CPUtime=3391.54 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85903 0 0 0 338199 955 0 0 20 0 1 0 141323990 424902656 77550 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 77550 4448 2834 0 85941 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 310200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/251 123202
/proc/meminfo: memFree=123521696/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=312248 CPUtime=3451.38 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85905 0 0 0 344170 968 0 0 20 0 1 0 141323990 424902656 78062 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 78062 4448 2834 0 85941 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 312248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/251 123208
/proc/meminfo: memFree=123520964/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=312248 CPUtime=3511.22 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85905 0 0 0 350142 980 0 0 20 0 1 0 141323990 424902656 78062 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 78062 4448 2834 0 85941 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 312248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/251 123210
/proc/meminfo: memFree=123522388/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=312248 CPUtime=3571.07 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 85998 0 0 0 356115 992 0 0 20 0 1 0 141323990 424902656 78062 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 78062 4448 2834 0 85941 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 312248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.09 4.09 4.05 2/239 123236
/proc/meminfo: memFree=124610420/131382112 swapFree=33000116/33010684
[pid=123022] ppid=123013 vsize=414944 memory=312248 CPUtime=3600.08 cores=5,7
/proc/123022/stat : 123022 (mixed-bag) R 123013 123022 122961 0 -1 4194304 86003 0 0 0 359010 998 0 0 20 0 1 0 141323990 424902656 78062 18446744073709551615 4235264 15840557 140727124418752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 34881536 140727124421018 140727124421095 140727124421095 140727124426699 0
/proc/123022/statm: 103736 78062 4448 2834 0 85941 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 414944 KiB
Current children cumulated memory: 312248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 123022 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.11 s, system=9.98302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.41
CPU time (s): 3600.09
CPU user time (s): 3590.11
CPU system time (s): 9.98302
CPU usage (%): 99.6867
Max. virtual memory (cumulated for all children) (KiB): 414944
Max. memory (cumulated for all children) (KiB): 326848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.11
system time used= 9.98302
maximum resident set size= 326848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 1209
# summary of solver processes directly reported to runsolver:
# pid: 123022
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.11
# total CPU system time (s): 9.98302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6514 second user time and 34.8487 second system time
The end
Begin job on nodeC007 at 2025-07-11 19:54:08
IDJOB=4528913
IDBENCH=147536
IDSOLVER=3386
FILE ID=nodeC007/4528913-1752256448
RUNJOBID= nodeC007-1752256448-122974
SLURM_JOB_ID= 9682599
Free space on /tmp= 431084 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528913-1752256448/watcher-4528913-1752256448 -o /tmp/evaluation-result-4528913-1752256448/solver-4528913-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122974 --watchdog 3760 mixed-bag HOME/instance-4528913-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=856085768
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.579
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124901544 kB
MemAvailable: 129785284 kB
Buffers: 16 kB
Cached: 5549532 kB
SwapCached: 2804 kB
Active: 337548 kB
Inactive: 5279176 kB
Active(anon): 44104 kB
Inactive(anon): 35084 kB
Active(file): 293444 kB
Inactive(file): 5244092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 67440 kB
Mapped: 98888 kB
Shmem: 12012 kB
KReclaimable: 371664 kB
Slab: 464764 kB
SReclaimable: 371664 kB
SUnreclaim: 93100 kB
KernelStack: 3816 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 342604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431024 MiB
End job on nodeC007 at 2025-07-11 20:54:20