0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
299.51/300.35 c [STEP] preprocessing done, loading into solver
299.51/300.35 c [STEP] solving
299.51/300.35 c #variables 482 #constraints 481
299.51/300.35 c SMALL=int, LARGE=long long
299.51/300.35 d SCIPUB 201
299.51/300.35 c bounds - >= 0 @ 299.444
299.51/300.35 c stratification level: 0
318.65/319.54 c bounds - >= 59 @ 299.446
318.65/319.54 c bounds - >= 60 @ 299.446
318.65/319.54 c bounds - >= 61 @ 299.446
318.65/319.54 c bounds - >= 62 @ 299.446
318.65/319.54 c bounds - >= 63 @ 299.447
318.65/319.54 c bounds - >= 64 @ 299.447
318.65/319.54 c bounds - >= 65 @ 299.447
318.65/319.54 c bounds - >= 66 @ 299.447
318.65/319.54 c bounds - >= 67 @ 299.447
318.65/319.54 c bounds - >= 68 @ 299.447
318.65/319.54 c bounds - >= 69 @ 299.447
318.65/319.54 c bounds - >= 70 @ 299.447
318.65/319.54 c bounds - >= 71 @ 299.447
318.65/319.54 c bounds - >= 72 @ 299.447
318.65/319.54 c bounds - >= 73 @ 299.447
318.65/319.54 c bounds - >= 74 @ 299.447
318.65/319.54 c bounds - >= 75 @ 299.447
318.65/319.54 c bounds - >= 76 @ 299.447
318.65/319.54 c bounds - >= 77 @ 299.447
318.65/319.54 c bounds - >= 78 @ 299.447
318.65/319.54 c bounds - >= 79 @ 299.447
318.65/319.54 c bounds - >= 80 @ 299.447
318.65/319.54 c bounds - >= 81 @ 299.447
318.65/319.54 c bounds - >= 82 @ 299.447
318.65/319.54 c bounds - >= 83 @ 299.447
318.65/319.54 c bounds - >= 84 @ 299.447
318.65/319.54 c bounds - >= 85 @ 299.447
318.65/319.54 c bounds - >= 86 @ 299.447
318.65/319.54 c bounds - >= 87 @ 299.447
318.65/319.54 c bounds - >= 88 @ 299.447
318.65/319.54 c bounds - >= 89 @ 299.447
318.65/319.54 c bounds - >= 90 @ 299.447
318.65/319.54 c bounds - >= 91 @ 299.447
318.65/319.54 c bounds - >= 92 @ 299.447
318.65/319.54 c bounds - >= 93 @ 299.447
318.65/319.54 c bounds - >= 94 @ 299.447
318.65/319.54 c bounds - >= 95 @ 299.447
318.65/319.54 c bounds - >= 96 @ 299.447
318.65/319.54 c bounds - >= 97 @ 299.447
318.65/319.54 c bounds - >= 98 @ 299.447
318.65/319.54 c bounds - >= 99 @ 299.447
318.65/319.54 c bounds - >= 100 @ 299.447
318.65/319.54 c bounds - >= 101 @ 299.447
318.65/319.54 c bounds - >= 102 @ 299.447
318.65/319.54 c bounds - >= 103 @ 299.447
318.65/319.54 c bounds - >= 104 @ 299.447
318.65/319.54 c bounds - >= 105 @ 299.447
318.65/319.54 c bounds - >= 106 @ 299.447
318.65/319.54 c bounds - >= 107 @ 299.447
318.65/319.54 c bounds - >= 108 @ 299.447
318.65/319.54 c bounds - >= 109 @ 299.447
318.65/319.54 c bounds - >= 110 @ 299.447
318.65/319.54 c bounds - >= 111 @ 299.448
318.65/319.54 c bounds - >= 112 @ 299.448
318.65/319.54 c bounds - >= 113 @ 299.448
318.65/319.54 c bounds - >= 114 @ 299.448
318.65/319.54 c bounds - >= 115 @ 299.448
318.65/319.54 c bounds - >= 116 @ 299.449
318.65/319.54 c bounds - >= 117 @ 299.449
318.65/319.54 c bounds - >= 118 @ 299.449
318.65/319.54 c bounds - >= 119 @ 299.449
318.65/319.54 c bounds - >= 120 @ 299.449
318.65/319.54 c bounds - >= 121 @ 299.449
318.65/319.54 c bounds - >= 122 @ 299.449
318.65/319.54 c bounds - >= 123 @ 299.45
318.65/319.54 c bounds - >= 124 @ 299.45
318.65/319.54 c bounds - >= 125 @ 299.45
318.65/319.54 c bounds - >= 126 @ 299.45
318.65/319.54 c bounds - >= 127 @ 299.45
318.65/319.54 c bounds - >= 128 @ 299.45
318.65/319.54 c bounds - >= 129 @ 299.45
318.65/319.54 c bounds - >= 130 @ 299.451
318.65/319.54 c bounds - >= 131 @ 299.451
318.65/319.54 c bounds - >= 132 @ 299.451
318.65/319.54 c bounds - >= 133 @ 299.451
318.65/319.54 c bounds - >= 134 @ 299.451
318.65/319.54 c #Conflicts: 1000 | #Constraints: 1634
318.65/319.54 c #Conflicts: 2000 | #Constraints: 2634
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 3000 | #Constraints: 2554
318.65/319.54 c #Conflicts: 4000 | #Constraints: 3554
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 5000 | #Constraints: 2952
318.65/319.54 c #Conflicts: 6000 | #Constraints: 3952
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 7000 | #Constraints: 2953
318.65/319.54 c #Conflicts: 8000 | #Constraints: 3953
318.65/319.54 c #Conflicts: 9000 | #Constraints: 4953
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 10000 | #Constraints: 3651
318.65/319.54 c #Conflicts: 11000 | #Constraints: 4651
318.65/319.54 c #Conflicts: 12000 | #Constraints: 5651
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 13000 | #Constraints: 4101
318.65/319.54 c #Conflicts: 14000 | #Constraints: 5101
318.65/319.54 c #Conflicts: 15000 | #Constraints: 6101
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 16000 | #Constraints: 4331
318.65/319.54 c #Conflicts: 17000 | #Constraints: 5331
318.65/319.54 c #Conflicts: 18000 | #Constraints: 6331
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 19000 | #Constraints: 4344
318.65/319.54 c #Conflicts: 20000 | #Constraints: 5344
318.65/319.54 c #Conflicts: 21000 | #Constraints: 6344
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 22000 | #Constraints: 4150
318.65/319.54 c #Conflicts: 23000 | #Constraints: 5150
318.65/319.54 c #Conflicts: 24000 | #Constraints: 6150
318.65/319.54 c #Conflicts: 25000 | #Constraints: 7150
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 26000 | #Constraints: 4752
318.65/319.54 c #Conflicts: 27000 | #Constraints: 5752
318.65/319.54 c #Conflicts: 28000 | #Constraints: 6752
318.65/319.54 c #Conflicts: 29000 | #Constraints: 7752
318.65/319.54 c INPROCESSING
318.65/319.54 c GARBAGE COLLECT
318.65/319.54 c #Conflicts: 30000 | #Constraints: 5162
318.65/319.54 c #Conflicts: 31000 | #Constraints: 6162
318.65/319.54 c #Conflicts: 32000 | #Constraints: 7162
318.65/319.54 c #Conflicts: 33000 | #Constraints: 8162
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 34000 | #Constraints: 5364
405.55/406.72 c #Conflicts: 35000 | #Constraints: 6364
405.55/406.72 c #Conflicts: 36000 | #Constraints: 7364
405.55/406.72 c #Conflicts: 37000 | #Constraints: 8364
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 38000 | #Constraints: 5367
405.55/406.72 c #Conflicts: 39000 | #Constraints: 6367
405.55/406.72 c #Conflicts: 40000 | #Constraints: 7367
405.55/406.72 c #Conflicts: 41000 | #Constraints: 8367
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 42000 | #Constraints: 5165
405.55/406.72 c #Conflicts: 43000 | #Constraints: 6165
405.55/406.72 c #Conflicts: 44000 | #Constraints: 7165
405.55/406.72 c #Conflicts: 45000 | #Constraints: 8165
405.55/406.72 c #Conflicts: 46000 | #Constraints: 9165
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 47000 | #Constraints: 5762
405.55/406.72 c #Conflicts: 48000 | #Constraints: 6762
405.55/406.72 c #Conflicts: 49000 | #Constraints: 7762
405.55/406.72 c #Conflicts: 50000 | #Constraints: 8762
405.55/406.72 c #Conflicts: 51000 | #Constraints: 9762
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 52000 | #Constraints: 6157
405.55/406.72 c #Conflicts: 53000 | #Constraints: 7157
405.55/406.72 c #Conflicts: 54000 | #Constraints: 8157
405.55/406.72 c #Conflicts: 55000 | #Constraints: 9157
405.55/406.72 c #Conflicts: 56000 | #Constraints: 10157
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 57000 | #Constraints: 6353
405.55/406.72 c #Conflicts: 58000 | #Constraints: 7353
405.55/406.72 c #Conflicts: 59000 | #Constraints: 8353
405.55/406.72 c #Conflicts: 60000 | #Constraints: 9353
405.55/406.72 c #Conflicts: 61000 | #Constraints: 10353
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 62000 | #Constraints: 6356
405.55/406.72 c #Conflicts: 63000 | #Constraints: 7356
405.55/406.72 c #Conflicts: 64000 | #Constraints: 8356
405.55/406.72 c #Conflicts: 65000 | #Constraints: 9356
405.55/406.72 c #Conflicts: 66000 | #Constraints: 10356
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 67000 | #Constraints: 6160
405.55/406.72 c #Conflicts: 68000 | #Constraints: 7160
405.55/406.72 c #Conflicts: 69000 | #Constraints: 8160
405.55/406.72 c #Conflicts: 70000 | #Constraints: 9160
405.55/406.72 c #Conflicts: 71000 | #Constraints: 10160
405.55/406.72 c #Conflicts: 72000 | #Constraints: 11160
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 73000 | #Constraints: 6756
405.55/406.72 c #Conflicts: 74000 | #Constraints: 7756
405.55/406.72 c #Conflicts: 75000 | #Constraints: 8756
405.55/406.72 c #Conflicts: 76000 | #Constraints: 9756
405.55/406.72 c #Conflicts: 77000 | #Constraints: 10756
405.55/406.72 c #Conflicts: 78000 | #Constraints: 11756
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 79000 | #Constraints: 7156
405.55/406.72 c #Conflicts: 80000 | #Constraints: 8156
405.55/406.72 c #Conflicts: 81000 | #Constraints: 9156
405.55/406.72 c #Conflicts: 82000 | #Constraints: 10156
405.55/406.72 c #Conflicts: 83000 | #Constraints: 11156
405.55/406.72 c #Conflicts: 84000 | #Constraints: 12156
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 85000 | #Constraints: 7355
405.55/406.72 c #Conflicts: 86000 | #Constraints: 8355
405.55/406.72 c #Conflicts: 87000 | #Constraints: 9355
405.55/406.72 c #Conflicts: 88000 | #Constraints: 10355
405.55/406.72 c #Conflicts: 89000 | #Constraints: 11355
405.55/406.72 c #Conflicts: 90000 | #Constraints: 12355
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 91000 | #Constraints: 7358
405.55/406.72 c #Conflicts: 92000 | #Constraints: 8358
405.55/406.72 c #Conflicts: 93000 | #Constraints: 9358
405.55/406.72 c #Conflicts: 94000 | #Constraints: 10358
405.55/406.72 c #Conflicts: 95000 | #Constraints: 11358
405.55/406.72 c #Conflicts: 96000 | #Constraints: 12358
405.55/406.72 c INPROCESSING
405.55/406.72 c GARBAGE COLLECT
405.55/406.72 c #Conflicts: 97000 | #Constraints: 7162
405.55/406.72 c #Conflicts: 98000 | #Constraints: 8162
405.55/406.72 c #Conflicts: 99000 | #Constraints: 9162
405.55/406.72 c #Conflicts: 100000 | #Constraints: 10162
405.55/406.72 c #Conflicts: 101000 | #Constraints: 11162
405.55/406.72 c #Conflicts: 102000 | #Constraints: 12162
405.55/406.72 c #Conflicts: 103000 | #Constraints: 13162
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 104000 | #Constraints: 7759
526.43/527.92 c #Conflicts: 105000 | #Constraints: 8759
526.43/527.92 c #Conflicts: 106000 | #Constraints: 9759
526.43/527.92 c #Conflicts: 107000 | #Constraints: 10759
526.43/527.92 c #Conflicts: 108000 | #Constraints: 11759
526.43/527.92 c #Conflicts: 109000 | #Constraints: 12759
526.43/527.92 c #Conflicts: 110000 | #Constraints: 13759
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 111000 | #Constraints: 8161
526.43/527.92 c #Conflicts: 112000 | #Constraints: 9161
526.43/527.92 c #Conflicts: 113000 | #Constraints: 10161
526.43/527.92 c #Conflicts: 114000 | #Constraints: 11161
526.43/527.92 c #Conflicts: 115000 | #Constraints: 12161
526.43/527.92 c #Conflicts: 116000 | #Constraints: 13161
526.43/527.92 c #Conflicts: 117000 | #Constraints: 14161
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 118000 | #Constraints: 8358
526.43/527.92 c #Conflicts: 119000 | #Constraints: 9358
526.43/527.92 c #Conflicts: 120000 | #Constraints: 10358
526.43/527.92 c #Conflicts: 121000 | #Constraints: 11358
526.43/527.92 c #Conflicts: 122000 | #Constraints: 12358
526.43/527.92 c #Conflicts: 123000 | #Constraints: 13358
526.43/527.92 c #Conflicts: 124000 | #Constraints: 14358
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 125000 | #Constraints: 8355
526.43/527.92 c #Conflicts: 126000 | #Constraints: 9355
526.43/527.92 c #Conflicts: 127000 | #Constraints: 10355
526.43/527.92 c #Conflicts: 128000 | #Constraints: 11355
526.43/527.92 c #Conflicts: 129000 | #Constraints: 12355
526.43/527.92 c #Conflicts: 130000 | #Constraints: 13355
526.43/527.92 c #Conflicts: 131000 | #Constraints: 14355
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 132000 | #Constraints: 8154
526.43/527.92 c #Conflicts: 133000 | #Constraints: 9154
526.43/527.92 c #Conflicts: 134000 | #Constraints: 10154
526.43/527.92 c #Conflicts: 135000 | #Constraints: 11154
526.43/527.92 c #Conflicts: 136000 | #Constraints: 12154
526.43/527.92 c #Conflicts: 137000 | #Constraints: 13154
526.43/527.92 c #Conflicts: 138000 | #Constraints: 14154
526.43/527.92 c #Conflicts: 139000 | #Constraints: 15154
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 140000 | #Constraints: 8753
526.43/527.92 c #Conflicts: 141000 | #Constraints: 9753
526.43/527.92 c #Conflicts: 142000 | #Constraints: 10753
526.43/527.92 c #Conflicts: 143000 | #Constraints: 11753
526.43/527.92 c #Conflicts: 144000 | #Constraints: 12753
526.43/527.92 c #Conflicts: 145000 | #Constraints: 13753
526.43/527.92 c #Conflicts: 146000 | #Constraints: 14753
526.43/527.92 c #Conflicts: 147000 | #Constraints: 15753
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 148000 | #Constraints: 9160
526.43/527.92 c #Conflicts: 149000 | #Constraints: 10160
526.43/527.92 c #Conflicts: 150000 | #Constraints: 11160
526.43/527.92 c #Conflicts: 151000 | #Constraints: 12160
526.43/527.92 c #Conflicts: 152000 | #Constraints: 13160
526.43/527.92 c #Conflicts: 153000 | #Constraints: 14160
526.43/527.92 c #Conflicts: 154000 | #Constraints: 15160
526.43/527.92 c #Conflicts: 155000 | #Constraints: 16160
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 156000 | #Constraints: 9359
526.43/527.92 c #Conflicts: 157000 | #Constraints: 10359
526.43/527.92 c #Conflicts: 158000 | #Constraints: 11359
526.43/527.92 c #Conflicts: 159000 | #Constraints: 12359
526.43/527.92 c #Conflicts: 160000 | #Constraints: 13359
526.43/527.92 c #Conflicts: 161000 | #Constraints: 14359
526.43/527.92 c #Conflicts: 162000 | #Constraints: 15359
526.43/527.92 c #Conflicts: 163000 | #Constraints: 16359
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 164000 | #Constraints: 9356
526.43/527.92 c #Conflicts: 165000 | #Constraints: 10356
526.43/527.92 c #Conflicts: 166000 | #Constraints: 11356
526.43/527.92 c #Conflicts: 167000 | #Constraints: 12356
526.43/527.92 c #Conflicts: 168000 | #Constraints: 13356
526.43/527.92 c #Conflicts: 169000 | #Constraints: 14356
526.43/527.92 c #Conflicts: 170000 | #Constraints: 15356
526.43/527.92 c #Conflicts: 171000 | #Constraints: 16356
526.43/527.92 c INPROCESSING
526.43/527.92 c GARBAGE COLLECT
526.43/527.92 c #Conflicts: 172000 | #Constraints: 9153
526.43/527.92 c #Conflicts: 173000 | #Constraints: 10153
526.43/527.92 c #Conflicts: 174000 | #Constraints: 11153
526.43/527.92 c #Conflicts: 175000 | #Constraints: 12153
526.43/527.92 c #Conflicts: 176000 | #Constraints: 13153
660.79/662.62 c #Conflicts: 177000 | #Constraints: 14153
660.79/662.62 c #Conflicts: 178000 | #Constraints: 15153
660.79/662.62 c #Conflicts: 179000 | #Constraints: 16153
660.79/662.62 c #Conflicts: 180000 | #Constraints: 17153
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 181000 | #Constraints: 9754
660.79/662.62 c #Conflicts: 182000 | #Constraints: 10754
660.79/662.62 c #Conflicts: 183000 | #Constraints: 11754
660.79/662.62 c #Conflicts: 184000 | #Constraints: 12754
660.79/662.62 c #Conflicts: 185000 | #Constraints: 13754
660.79/662.62 c #Conflicts: 186000 | #Constraints: 14754
660.79/662.62 c #Conflicts: 187000 | #Constraints: 15754
660.79/662.62 c #Conflicts: 188000 | #Constraints: 16754
660.79/662.62 c #Conflicts: 189000 | #Constraints: 17754
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 190000 | #Constraints: 10156
660.79/662.62 c #Conflicts: 191000 | #Constraints: 11156
660.79/662.62 c #Conflicts: 192000 | #Constraints: 12156
660.79/662.62 c #Conflicts: 193000 | #Constraints: 13156
660.79/662.62 c #Conflicts: 194000 | #Constraints: 14156
660.79/662.62 c #Conflicts: 195000 | #Constraints: 15156
660.79/662.62 c #Conflicts: 196000 | #Constraints: 16156
660.79/662.62 c #Conflicts: 197000 | #Constraints: 17156
660.79/662.62 c #Conflicts: 198000 | #Constraints: 18156
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 199000 | #Constraints: 10356
660.79/662.62 c #Conflicts: 200000 | #Constraints: 11356
660.79/662.62 c #Conflicts: 201000 | #Constraints: 12356
660.79/662.62 c #Conflicts: 202000 | #Constraints: 13356
660.79/662.62 c #Conflicts: 203000 | #Constraints: 14356
660.79/662.62 c #Conflicts: 204000 | #Constraints: 15356
660.79/662.62 c #Conflicts: 205000 | #Constraints: 16356
660.79/662.62 c #Conflicts: 206000 | #Constraints: 17356
660.79/662.62 c #Conflicts: 207000 | #Constraints: 18356
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 208000 | #Constraints: 10354
660.79/662.62 c #Conflicts: 209000 | #Constraints: 11354
660.79/662.62 c #Conflicts: 210000 | #Constraints: 12354
660.79/662.62 c #Conflicts: 211000 | #Constraints: 13354
660.79/662.62 c #Conflicts: 212000 | #Constraints: 14354
660.79/662.62 c #Conflicts: 213000 | #Constraints: 15354
660.79/662.62 c #Conflicts: 214000 | #Constraints: 16354
660.79/662.62 c #Conflicts: 215000 | #Constraints: 17354
660.79/662.62 c #Conflicts: 216000 | #Constraints: 18354
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 217000 | #Constraints: 10154
660.79/662.62 c #Conflicts: 218000 | #Constraints: 11154
660.79/662.62 c #Conflicts: 219000 | #Constraints: 12154
660.79/662.62 c #Conflicts: 220000 | #Constraints: 13154
660.79/662.62 c #Conflicts: 221000 | #Constraints: 14154
660.79/662.62 c #Conflicts: 222000 | #Constraints: 15154
660.79/662.62 c #Conflicts: 223000 | #Constraints: 16154
660.79/662.62 c #Conflicts: 224000 | #Constraints: 17154
660.79/662.62 c #Conflicts: 225000 | #Constraints: 18154
660.79/662.62 c #Conflicts: 226000 | #Constraints: 19154
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 227000 | #Constraints: 10758
660.79/662.62 c #Conflicts: 228000 | #Constraints: 11758
660.79/662.62 c #Conflicts: 229000 | #Constraints: 12758
660.79/662.62 c #Conflicts: 230000 | #Constraints: 13758
660.79/662.62 c #Conflicts: 231000 | #Constraints: 14758
660.79/662.62 c #Conflicts: 232000 | #Constraints: 15758
660.79/662.62 c #Conflicts: 233000 | #Constraints: 16758
660.79/662.62 c #Conflicts: 234000 | #Constraints: 17758
660.79/662.62 c #Conflicts: 235000 | #Constraints: 18758
660.79/662.62 c #Conflicts: 236000 | #Constraints: 19758
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 237000 | #Constraints: 11157
660.79/662.62 c #Conflicts: 238000 | #Constraints: 12157
660.79/662.62 c #Conflicts: 239000 | #Constraints: 13157
660.79/662.62 c #Conflicts: 240000 | #Constraints: 14157
660.79/662.62 c #Conflicts: 241000 | #Constraints: 15157
660.79/662.62 c #Conflicts: 242000 | #Constraints: 16157
660.79/662.62 c #Conflicts: 243000 | #Constraints: 17157
660.79/662.62 c #Conflicts: 244000 | #Constraints: 18157
660.79/662.62 c #Conflicts: 245000 | #Constraints: 19157
660.79/662.62 c #Conflicts: 246000 | #Constraints: 20157
660.79/662.62 c INPROCESSING
660.79/662.62 c GARBAGE COLLECT
660.79/662.62 c #Conflicts: 247000 | #Constraints: 11358
660.79/662.62 c #Conflicts: 248000 | #Constraints: 12358
660.79/662.62 c #Conflicts: 249000 | #Constraints: 13358
660.79/662.62 c #Conflicts: 250000 | #Constraints: 14358
816.50/818.75 c #Conflicts: 251000 | #Constraints: 15358
816.50/818.75 c #Conflicts: 252000 | #Constraints: 16358
816.50/818.75 c #Conflicts: 253000 | #Constraints: 17358
816.50/818.75 c #Conflicts: 254000 | #Constraints: 18358
816.50/818.75 c #Conflicts: 255000 | #Constraints: 19358
816.50/818.75 c #Conflicts: 256000 | #Constraints: 20358
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 257000 | #Constraints: 11355
816.50/818.75 c #Conflicts: 258000 | #Constraints: 12355
816.50/818.75 c #Conflicts: 259000 | #Constraints: 13355
816.50/818.75 c #Conflicts: 260000 | #Constraints: 14355
816.50/818.75 c #Conflicts: 261000 | #Constraints: 15355
816.50/818.75 c #Conflicts: 262000 | #Constraints: 16355
816.50/818.75 c #Conflicts: 263000 | #Constraints: 17355
816.50/818.75 c #Conflicts: 264000 | #Constraints: 18355
816.50/818.75 c #Conflicts: 265000 | #Constraints: 19355
816.50/818.75 c #Conflicts: 266000 | #Constraints: 20355
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 267000 | #Constraints: 11156
816.50/818.75 c #Conflicts: 268000 | #Constraints: 12156
816.50/818.75 c #Conflicts: 269000 | #Constraints: 13156
816.50/818.75 c #Conflicts: 270000 | #Constraints: 14156
816.50/818.75 c #Conflicts: 271000 | #Constraints: 15156
816.50/818.75 c #Conflicts: 272000 | #Constraints: 16156
816.50/818.75 c #Conflicts: 273000 | #Constraints: 17156
816.50/818.75 c #Conflicts: 274000 | #Constraints: 18156
816.50/818.75 c #Conflicts: 275000 | #Constraints: 19156
816.50/818.75 c #Conflicts: 276000 | #Constraints: 20156
816.50/818.75 c #Conflicts: 277000 | #Constraints: 21156
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 278000 | #Constraints: 11753
816.50/818.75 c #Conflicts: 279000 | #Constraints: 12753
816.50/818.75 c #Conflicts: 280000 | #Constraints: 13753
816.50/818.75 c #Conflicts: 281000 | #Constraints: 14753
816.50/818.75 c #Conflicts: 282000 | #Constraints: 15753
816.50/818.75 c #Conflicts: 283000 | #Constraints: 16753
816.50/818.75 c #Conflicts: 284000 | #Constraints: 17753
816.50/818.75 c #Conflicts: 285000 | #Constraints: 18753
816.50/818.75 c #Conflicts: 286000 | #Constraints: 19753
816.50/818.75 c #Conflicts: 287000 | #Constraints: 20753
816.50/818.75 c #Conflicts: 288000 | #Constraints: 21753
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 289000 | #Constraints: 12155
816.50/818.75 c #Conflicts: 290000 | #Constraints: 13155
816.50/818.75 c #Conflicts: 291000 | #Constraints: 14155
816.50/818.75 c #Conflicts: 292000 | #Constraints: 15155
816.50/818.75 c #Conflicts: 293000 | #Constraints: 16155
816.50/818.75 c #Conflicts: 294000 | #Constraints: 17155
816.50/818.75 c #Conflicts: 295000 | #Constraints: 18155
816.50/818.75 c #Conflicts: 296000 | #Constraints: 19155
816.50/818.75 c #Conflicts: 297000 | #Constraints: 20155
816.50/818.75 c #Conflicts: 298000 | #Constraints: 21155
816.50/818.75 c #Conflicts: 299000 | #Constraints: 22155
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 300000 | #Constraints: 12353
816.50/818.75 c #Conflicts: 301000 | #Constraints: 13353
816.50/818.75 c #Conflicts: 302000 | #Constraints: 14353
816.50/818.75 c #Conflicts: 303000 | #Constraints: 15353
816.50/818.75 c #Conflicts: 304000 | #Constraints: 16353
816.50/818.75 c #Conflicts: 305000 | #Constraints: 17353
816.50/818.75 c #Conflicts: 306000 | #Constraints: 18353
816.50/818.75 c #Conflicts: 307000 | #Constraints: 19353
816.50/818.75 c #Conflicts: 308000 | #Constraints: 20353
816.50/818.75 c #Conflicts: 309000 | #Constraints: 21353
816.50/818.75 c #Conflicts: 310000 | #Constraints: 22353
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 311000 | #Constraints: 12358
816.50/818.75 c #Conflicts: 312000 | #Constraints: 13358
816.50/818.75 c #Conflicts: 313000 | #Constraints: 14358
816.50/818.75 c #Conflicts: 314000 | #Constraints: 15358
816.50/818.75 c #Conflicts: 315000 | #Constraints: 16358
816.50/818.75 c #Conflicts: 316000 | #Constraints: 17358
816.50/818.75 c #Conflicts: 317000 | #Constraints: 18358
816.50/818.75 c #Conflicts: 318000 | #Constraints: 19358
816.50/818.75 c #Conflicts: 319000 | #Constraints: 20358
816.50/818.75 c #Conflicts: 320000 | #Constraints: 21358
816.50/818.75 c #Conflicts: 321000 | #Constraints: 22358
816.50/818.75 c INPROCESSING
816.50/818.75 c GARBAGE COLLECT
816.50/818.75 c #Conflicts: 322000 | #Constraints: 12161
816.50/818.75 c #Conflicts: 323000 | #Constraints: 13161
816.50/818.75 c #Conflicts: 324000 | #Constraints: 14161
985.18/987.89 c #Conflicts: 325000 | #Constraints: 15161
985.18/987.89 c #Conflicts: 326000 | #Constraints: 16161
985.18/987.89 c #Conflicts: 327000 | #Constraints: 17161
985.18/987.89 c #Conflicts: 328000 | #Constraints: 18161
985.18/987.89 c #Conflicts: 329000 | #Constraints: 19161
985.18/987.89 c #Conflicts: 330000 | #Constraints: 20161
985.18/987.89 c #Conflicts: 331000 | #Constraints: 21161
985.18/987.89 c #Conflicts: 332000 | #Constraints: 22161
985.18/987.89 c #Conflicts: 333000 | #Constraints: 23161
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 334000 | #Constraints: 12758
985.18/987.89 c #Conflicts: 335000 | #Constraints: 13758
985.18/987.89 c #Conflicts: 336000 | #Constraints: 14758
985.18/987.89 c #Conflicts: 337000 | #Constraints: 15758
985.18/987.89 c #Conflicts: 338000 | #Constraints: 16758
985.18/987.89 c #Conflicts: 339000 | #Constraints: 17758
985.18/987.89 c #Conflicts: 340000 | #Constraints: 18758
985.18/987.89 c #Conflicts: 341000 | #Constraints: 19758
985.18/987.89 c #Conflicts: 342000 | #Constraints: 20758
985.18/987.89 c #Conflicts: 343000 | #Constraints: 21758
985.18/987.89 c #Conflicts: 344000 | #Constraints: 22758
985.18/987.89 c #Conflicts: 345000 | #Constraints: 23758
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 346000 | #Constraints: 13158
985.18/987.89 c #Conflicts: 347000 | #Constraints: 14158
985.18/987.89 c #Conflicts: 348000 | #Constraints: 15158
985.18/987.89 c #Conflicts: 349000 | #Constraints: 16158
985.18/987.89 c #Conflicts: 350000 | #Constraints: 17158
985.18/987.89 c #Conflicts: 351000 | #Constraints: 18158
985.18/987.89 c #Conflicts: 352000 | #Constraints: 19158
985.18/987.89 c #Conflicts: 353000 | #Constraints: 20158
985.18/987.89 c #Conflicts: 354000 | #Constraints: 21158
985.18/987.89 c #Conflicts: 355000 | #Constraints: 22158
985.18/987.89 c #Conflicts: 356000 | #Constraints: 23158
985.18/987.89 c #Conflicts: 357000 | #Constraints: 24158
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 358000 | #Constraints: 13357
985.18/987.89 c #Conflicts: 359000 | #Constraints: 14357
985.18/987.89 c #Conflicts: 360000 | #Constraints: 15357
985.18/987.89 c #Conflicts: 361000 | #Constraints: 16357
985.18/987.89 c #Conflicts: 362000 | #Constraints: 17357
985.18/987.89 c #Conflicts: 363000 | #Constraints: 18357
985.18/987.89 c #Conflicts: 364000 | #Constraints: 19357
985.18/987.89 c #Conflicts: 365000 | #Constraints: 20357
985.18/987.89 c #Conflicts: 366000 | #Constraints: 21357
985.18/987.89 c #Conflicts: 367000 | #Constraints: 22357
985.18/987.89 c #Conflicts: 368000 | #Constraints: 23357
985.18/987.89 c #Conflicts: 369000 | #Constraints: 24357
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 370000 | #Constraints: 13358
985.18/987.89 c #Conflicts: 371000 | #Constraints: 14358
985.18/987.89 c #Conflicts: 372000 | #Constraints: 15358
985.18/987.89 c #Conflicts: 373000 | #Constraints: 16358
985.18/987.89 c #Conflicts: 374000 | #Constraints: 17358
985.18/987.89 c #Conflicts: 375000 | #Constraints: 18358
985.18/987.89 c #Conflicts: 376000 | #Constraints: 19358
985.18/987.89 c #Conflicts: 377000 | #Constraints: 20358
985.18/987.89 c #Conflicts: 378000 | #Constraints: 21358
985.18/987.89 c #Conflicts: 379000 | #Constraints: 22358
985.18/987.89 c #Conflicts: 380000 | #Constraints: 23358
985.18/987.89 c #Conflicts: 381000 | #Constraints: 24358
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 382000 | #Constraints: 13158
985.18/987.89 c #Conflicts: 383000 | #Constraints: 14158
985.18/987.89 c #Conflicts: 384000 | #Constraints: 15158
985.18/987.89 c #Conflicts: 385000 | #Constraints: 16158
985.18/987.89 c #Conflicts: 386000 | #Constraints: 17158
985.18/987.89 c #Conflicts: 387000 | #Constraints: 18158
985.18/987.89 c #Conflicts: 388000 | #Constraints: 19158
985.18/987.89 c #Conflicts: 389000 | #Constraints: 20158
985.18/987.89 c #Conflicts: 390000 | #Constraints: 21158
985.18/987.89 c #Conflicts: 391000 | #Constraints: 22158
985.18/987.89 c #Conflicts: 392000 | #Constraints: 23158
985.18/987.89 c #Conflicts: 393000 | #Constraints: 24158
985.18/987.89 c #Conflicts: 394000 | #Constraints: 25158
985.18/987.89 c INPROCESSING
985.18/987.89 c GARBAGE COLLECT
985.18/987.89 c #Conflicts: 395000 | #Constraints: 13752
985.18/987.89 c #Conflicts: 396000 | #Constraints: 14752
985.18/987.89 c #Conflicts: 397000 | #Constraints: 15752
985.18/987.89 c #Conflicts: 398000 | #Constraints: 16752
985.18/987.89 c #Conflicts: 399000 | #Constraints: 17752
1225.98/1229.27 c #Conflicts: 400000 | #Constraints: 18752
1225.98/1229.27 c #Conflicts: 401000 | #Constraints: 19752
1225.98/1229.27 c #Conflicts: 402000 | #Constraints: 20752
1225.98/1229.27 c #Conflicts: 403000 | #Constraints: 21752
1225.98/1229.27 c #Conflicts: 404000 | #Constraints: 22752
1225.98/1229.27 c #Conflicts: 405000 | #Constraints: 23752
1225.98/1229.27 c #Conflicts: 406000 | #Constraints: 24752
1225.98/1229.27 c #Conflicts: 407000 | #Constraints: 25752
1225.98/1229.27 c INPROCESSING
1225.98/1229.27 c GARBAGE COLLECT
1225.98/1229.27 c #Conflicts: 408000 | #Constraints: 14155
1225.98/1229.27 c #Conflicts: 409000 | #Constraints: 15155
1225.98/1229.27 c #Conflicts: 410000 | #Constraints: 16155
1225.98/1229.27 c #Conflicts: 411000 | #Constraints: 17155
1225.98/1229.27 c #Conflicts: 412000 | #Constraints: 18155
1225.98/1229.27 c #Conflicts: 413000 | #Constraints: 19155
1225.98/1229.27 c #Conflicts: 414000 | #Constraints: 20155
1225.98/1229.27 c #Conflicts: 415000 | #Constraints: 21155
1225.98/1229.27 c #Conflicts: 416000 | #Constraints: 22155
1225.98/1229.27 c #Conflicts: 417000 | #Constraints: 23155
1225.98/1229.27 c #Conflicts: 418000 | #Constraints: 24155
1225.98/1229.27 c #Conflicts: 419000 | #Constraints: 25155
1225.98/1229.27 c #Conflicts: 420000 | #Constraints: 26155
1225.98/1229.27 c INPROCESSING
1225.98/1229.27 c GARBAGE COLLECT
1225.98/1229.27 c #Conflicts: 421000 | #Constraints: 14360
1225.98/1229.27 c #Conflicts: 422000 | #Constraints: 15360
1225.98/1229.27 c #Conflicts: 423000 | #Constraints: 16360
1225.98/1229.27 c #Conflicts: 424000 | #Constraints: 17360
1225.98/1229.27 c #Conflicts: 425000 | #Constraints: 18360
1225.98/1229.27 c #Conflicts: 426000 | #Constraints: 19360
1225.98/1229.27 c #Conflicts: 427000 | #Constraints: 20360
1225.98/1229.27 c #Conflicts: 428000 | #Constraints: 21360
1225.98/1229.27 c #Conflicts: 429000 | #Constraints: 22360
1225.98/1229.27 c #Conflicts: 430000 | #Constraints: 23360
1225.98/1229.27 c #Conflicts: 431000 | #Constraints: 24360
1225.98/1229.27 c #Conflicts: 432000 | #Constraints: 25360
1225.98/1229.27 c #Conflicts: 433000 | #Constraints: 26360
1225.98/1229.27 c INPROCESSING
1225.98/1229.27 c GARBAGE COLLECT
1225.98/1229.27 c #Conflicts: 434000 | #Constraints: 14365
1225.98/1229.27 c #Conflicts: 435000 | #Constraints: 15365
1225.98/1229.27 c #Conflicts: 436000 | #Constraints: 16365
1225.98/1229.27 c #Conflicts: 437000 | #Constraints: 17365
1225.98/1229.27 c #Conflicts: 438000 | #Constraints: 18365
1225.98/1229.27 c #Conflicts: 439000 | #Constraints: 19365
1225.98/1229.27 c #Conflicts: 440000 | #Constraints: 20365
1225.98/1229.27 c #Conflicts: 441000 | #Constraints: 21365
1225.98/1229.27 c #Conflicts: 442000 | #Constraints: 22365
1225.98/1229.27 c #Conflicts: 443000 | #Constraints: 23365
1225.98/1229.27 c #Conflicts: 444000 | #Constraints: 24365
1225.98/1229.27 c #Conflicts: 445000 | #Constraints: 25365
1225.98/1229.27 c #Conflicts: 446000 | #Constraints: 26365
1225.98/1229.27 c INPROCESSING
1225.98/1229.27 c GARBAGE COLLECT
1225.98/1229.27 c #Conflicts: 447000 | #Constraints: 14180
1225.98/1229.27 c #Conflicts: 448000 | #Constraints: 15180
1225.98/1229.27 c #Conflicts: 449000 | #Constraints: 16180
1225.98/1229.27 c #Conflicts: 450000 | #Constraints: 17180
1225.98/1229.27 c #Conflicts: 451000 | #Constraints: 18180
1225.98/1229.27 c #Conflicts: 452000 | #Constraints: 19180
1225.98/1229.27 c #Conflicts: 453000 | #Constraints: 20180
1225.98/1229.27 c #Conflicts: 454000 | #Constraints: 21180
1225.98/1229.27 c #Conflicts: 455000 | #Constraints: 22180
1225.98/1229.27 c #Conflicts: 456000 | #Constraints: 23180
1225.98/1229.27 c #Conflicts: 457000 | #Constraints: 24180
1225.98/1229.27 c #Conflicts: 458000 | #Constraints: 25180
1225.98/1229.27 c #Conflicts: 459000 | #Constraints: 26180
1225.98/1229.27 c #Conflicts: 460000 | #Constraints: 27180
1225.98/1229.27 c INPROCESSING
1225.98/1229.27 c GARBAGE COLLECT
1225.98/1229.27 c #Conflicts: 461000 | #Constraints: 14773
1225.98/1229.27 c #Conflicts: 462000 | #Constraints: 15773
1225.98/1229.27 c #Conflicts: 463000 | #Constraints: 16773
1225.98/1229.27 c #Conflicts: 464000 | #Constraints: 17773
1225.98/1229.27 c #Conflicts: 465000 | #Constraints: 18773
1225.98/1229.27 c #Conflicts: 466000 | #Constraints: 19773
1225.98/1229.27 c #Conflicts: 467000 | #Constraints: 20773
1225.98/1229.27 c #Conflicts: 468000 | #Constraints: 21773
1225.98/1229.27 c #Conflicts: 469000 | #Constraints: 22773
1225.98/1229.27 c #Conflicts: 470000 | #Constraints: 23773
1225.98/1229.27 c #Conflicts: 471000 | #Constraints: 24773
1225.98/1229.27 c #Conflicts: 472000 | #Constraints: 25773
1225.98/1229.27 c #Conflicts: 473000 | #Constraints: 26773
1225.98/1229.27 c #Conflicts: 474000 | #Constraints: 27773
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 475000 | #Constraints: 15167
1516.16/1520.17 c #Conflicts: 476000 | #Constraints: 16167
1516.16/1520.17 c #Conflicts: 477000 | #Constraints: 17167
1516.16/1520.17 c #Conflicts: 478000 | #Constraints: 18167
1516.16/1520.17 c #Conflicts: 479000 | #Constraints: 19167
1516.16/1520.17 c #Conflicts: 480000 | #Constraints: 20167
1516.16/1520.17 c #Conflicts: 481000 | #Constraints: 21167
1516.16/1520.17 c #Conflicts: 482000 | #Constraints: 22167
1516.16/1520.17 c #Conflicts: 483000 | #Constraints: 23167
1516.16/1520.17 c #Conflicts: 484000 | #Constraints: 24167
1516.16/1520.17 c #Conflicts: 485000 | #Constraints: 25167
1516.16/1520.17 c #Conflicts: 486000 | #Constraints: 26167
1516.16/1520.17 c #Conflicts: 487000 | #Constraints: 27167
1516.16/1520.17 c #Conflicts: 488000 | #Constraints: 28167
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 489000 | #Constraints: 15366
1516.16/1520.17 c #Conflicts: 490000 | #Constraints: 16366
1516.16/1520.17 c #Conflicts: 491000 | #Constraints: 17366
1516.16/1520.17 c #Conflicts: 492000 | #Constraints: 18366
1516.16/1520.17 c #Conflicts: 493000 | #Constraints: 19366
1516.16/1520.17 c #Conflicts: 494000 | #Constraints: 20366
1516.16/1520.17 c #Conflicts: 495000 | #Constraints: 21366
1516.16/1520.17 c #Conflicts: 496000 | #Constraints: 22366
1516.16/1520.17 c #Conflicts: 497000 | #Constraints: 23366
1516.16/1520.17 c #Conflicts: 498000 | #Constraints: 24366
1516.16/1520.17 c #Conflicts: 499000 | #Constraints: 25366
1516.16/1520.17 c #Conflicts: 500000 | #Constraints: 26366
1516.16/1520.17 c #Conflicts: 501000 | #Constraints: 27366
1516.16/1520.17 c #Conflicts: 502000 | #Constraints: 28366
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 503000 | #Constraints: 15360
1516.16/1520.17 c #Conflicts: 504000 | #Constraints: 16360
1516.16/1520.17 c #Conflicts: 505000 | #Constraints: 17360
1516.16/1520.17 c #Conflicts: 506000 | #Constraints: 18360
1516.16/1520.17 c #Conflicts: 507000 | #Constraints: 19360
1516.16/1520.17 c #Conflicts: 508000 | #Constraints: 20360
1516.16/1520.17 c #Conflicts: 509000 | #Constraints: 21360
1516.16/1520.17 c #Conflicts: 510000 | #Constraints: 22360
1516.16/1520.17 c #Conflicts: 511000 | #Constraints: 23360
1516.16/1520.17 c #Conflicts: 512000 | #Constraints: 24360
1516.16/1520.17 c #Conflicts: 513000 | #Constraints: 25360
1516.16/1520.17 c #Conflicts: 514000 | #Constraints: 26360
1516.16/1520.17 c #Conflicts: 515000 | #Constraints: 27360
1516.16/1520.17 c #Conflicts: 516000 | #Constraints: 28360
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 517000 | #Constraints: 15154
1516.16/1520.17 c #Conflicts: 518000 | #Constraints: 16154
1516.16/1520.17 c #Conflicts: 519000 | #Constraints: 17154
1516.16/1520.17 c #Conflicts: 520000 | #Constraints: 18154
1516.16/1520.17 c #Conflicts: 521000 | #Constraints: 19154
1516.16/1520.17 c #Conflicts: 522000 | #Constraints: 20154
1516.16/1520.17 c #Conflicts: 523000 | #Constraints: 21154
1516.16/1520.17 c #Conflicts: 524000 | #Constraints: 22154
1516.16/1520.17 c #Conflicts: 525000 | #Constraints: 23154
1516.16/1520.17 c #Conflicts: 526000 | #Constraints: 24154
1516.16/1520.17 c #Conflicts: 527000 | #Constraints: 25154
1516.16/1520.17 c #Conflicts: 528000 | #Constraints: 26154
1516.16/1520.17 c #Conflicts: 529000 | #Constraints: 27154
1516.16/1520.17 c #Conflicts: 530000 | #Constraints: 28154
1516.16/1520.17 c #Conflicts: 531000 | #Constraints: 29154
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 532000 | #Constraints: 15757
1516.16/1520.17 c #Conflicts: 533000 | #Constraints: 16757
1516.16/1520.17 c #Conflicts: 534000 | #Constraints: 17757
1516.16/1520.17 c #Conflicts: 535000 | #Constraints: 18757
1516.16/1520.17 c #Conflicts: 536000 | #Constraints: 19757
1516.16/1520.17 c #Conflicts: 537000 | #Constraints: 20757
1516.16/1520.17 c #Conflicts: 538000 | #Constraints: 21757
1516.16/1520.17 c #Conflicts: 539000 | #Constraints: 22757
1516.16/1520.17 c #Conflicts: 540000 | #Constraints: 23757
1516.16/1520.17 c #Conflicts: 541000 | #Constraints: 24757
1516.16/1520.17 c #Conflicts: 542000 | #Constraints: 25757
1516.16/1520.17 c #Conflicts: 543000 | #Constraints: 26757
1516.16/1520.17 c #Conflicts: 544000 | #Constraints: 27757
1516.16/1520.17 c #Conflicts: 545000 | #Constraints: 28757
1516.16/1520.17 c #Conflicts: 546000 | #Constraints: 29757
1516.16/1520.17 c INPROCESSING
1516.16/1520.17 c GARBAGE COLLECT
1516.16/1520.17 c #Conflicts: 547000 | #Constraints: 16157
1516.16/1520.17 c #Conflicts: 548000 | #Constraints: 17157
1516.16/1520.17 c #Conflicts: 549000 | #Constraints: 18157
1824.09/1828.85 c #Conflicts: 550000 | #Constraints: 19157
1824.09/1828.85 c #Conflicts: 551000 | #Constraints: 20157
1824.09/1828.85 c #Conflicts: 552000 | #Constraints: 21157
1824.09/1828.85 c #Conflicts: 553000 | #Constraints: 22157
1824.09/1828.85 c #Conflicts: 554000 | #Constraints: 23157
1824.09/1828.85 c #Conflicts: 555000 | #Constraints: 24157
1824.09/1828.85 c #Conflicts: 556000 | #Constraints: 25157
1824.09/1828.85 c #Conflicts: 557000 | #Constraints: 26157
1824.09/1828.85 c #Conflicts: 558000 | #Constraints: 27157
1824.09/1828.85 c #Conflicts: 559000 | #Constraints: 28157
1824.09/1828.85 c #Conflicts: 560000 | #Constraints: 29157
1824.09/1828.85 c #Conflicts: 561000 | #Constraints: 30157
1824.09/1828.85 c INPROCESSING
1824.09/1828.85 c GARBAGE COLLECT
1824.09/1828.85 c #Conflicts: 562000 | #Constraints: 16360
1824.09/1828.85 c #Conflicts: 563000 | #Constraints: 17360
1824.09/1828.85 c #Conflicts: 564000 | #Constraints: 18360
1824.09/1828.85 c #Conflicts: 565000 | #Constraints: 19360
1824.09/1828.85 c #Conflicts: 566000 | #Constraints: 20360
1824.09/1828.85 c #Conflicts: 567000 | #Constraints: 21360
1824.09/1828.85 c #Conflicts: 568000 | #Constraints: 22360
1824.09/1828.85 c #Conflicts: 569000 | #Constraints: 23360
1824.09/1828.85 c #Conflicts: 570000 | #Constraints: 24360
1824.09/1828.85 c #Conflicts: 571000 | #Constraints: 25360
1824.09/1828.85 c #Conflicts: 572000 | #Constraints: 26360
1824.09/1828.85 c #Conflicts: 573000 | #Constraints: 27360
1824.09/1828.85 c #Conflicts: 574000 | #Constraints: 28360
1824.09/1828.85 c #Conflicts: 575000 | #Constraints: 29360
1824.09/1828.85 c #Conflicts: 576000 | #Constraints: 30360
1824.09/1828.85 c INPROCESSING
1824.09/1828.85 c GARBAGE COLLECT
1824.09/1828.85 c #Conflicts: 577000 | #Constraints: 16362
1824.09/1828.85 c #Conflicts: 578000 | #Constraints: 17362
1824.09/1828.85 c #Conflicts: 579000 | #Constraints: 18362
1824.09/1828.85 c #Conflicts: 580000 | #Constraints: 19362
1824.09/1828.85 c #Conflicts: 581000 | #Constraints: 20362
1824.09/1828.85 c #Conflicts: 582000 | #Constraints: 21362
1824.09/1828.85 c #Conflicts: 583000 | #Constraints: 22362
1824.09/1828.85 c #Conflicts: 584000 | #Constraints: 23362
1824.09/1828.85 c #Conflicts: 585000 | #Constraints: 24362
1824.09/1828.85 c #Conflicts: 586000 | #Constraints: 25362
1824.09/1828.85 c #Conflicts: 587000 | #Constraints: 26362
1824.09/1828.85 c #Conflicts: 588000 | #Constraints: 27362
1824.09/1828.85 c #Conflicts: 589000 | #Constraints: 28362
1824.09/1828.85 c #Conflicts: 590000 | #Constraints: 29362
1824.09/1828.85 c #Conflicts: 591000 | #Constraints: 30362
1824.09/1828.85 c INPROCESSING
1824.09/1828.85 c GARBAGE COLLECT
1824.09/1828.85 c #Conflicts: 592000 | #Constraints: 16160
1824.09/1828.85 c #Conflicts: 593000 | #Constraints: 17160
1824.09/1828.85 c #Conflicts: 594000 | #Constraints: 18160
1824.09/1828.85 c #Conflicts: 595000 | #Constraints: 19160
1824.09/1828.85 c #Conflicts: 596000 | #Constraints: 20160
1824.09/1828.85 c #Conflicts: 597000 | #Constraints: 21160
1824.09/1828.85 c #Conflicts: 598000 | #Constraints: 22160
1824.09/1828.85 c #Conflicts: 599000 | #Constraints: 23160
1824.09/1828.85 c #Conflicts: 600000 | #Constraints: 24160
1824.09/1828.85 c #Conflicts: 601000 | #Constraints: 25160
1824.09/1828.85 c #Conflicts: 602000 | #Constraints: 26160
1824.09/1828.85 c #Conflicts: 603000 | #Constraints: 27160
1824.09/1828.85 c #Conflicts: 604000 | #Constraints: 28160
1824.09/1828.85 c #Conflicts: 605000 | #Constraints: 29160
1824.09/1828.85 c #Conflicts: 606000 | #Constraints: 30160
1824.09/1828.85 c #Conflicts: 607000 | #Constraints: 31160
1824.09/1828.85 c INPROCESSING
1824.09/1828.85 c GARBAGE COLLECT
1824.09/1828.85 c #Conflicts: 608000 | #Constraints: 16761
1824.09/1828.85 c #Conflicts: 609000 | #Constraints: 17761
1824.09/1828.85 c #Conflicts: 610000 | #Constraints: 18761
1824.09/1828.85 c #Conflicts: 611000 | #Constraints: 19761
1824.09/1828.85 c #Conflicts: 612000 | #Constraints: 20761
1824.09/1828.85 c #Conflicts: 613000 | #Constraints: 21761
1824.09/1828.85 c #Conflicts: 614000 | #Constraints: 22761
1824.09/1828.85 c #Conflicts: 615000 | #Constraints: 23761
1824.09/1828.85 c #Conflicts: 616000 | #Constraints: 24761
1824.09/1828.85 c #Conflicts: 617000 | #Constraints: 25761
1824.09/1828.85 c #Conflicts: 618000 | #Constraints: 26761
1824.09/1828.85 c #Conflicts: 619000 | #Constraints: 27761
1824.09/1828.85 c #Conflicts: 620000 | #Constraints: 28761
1824.09/1828.85 c #Conflicts: 621000 | #Constraints: 29761
1824.09/1828.85 c #Conflicts: 622000 | #Constraints: 30761
1824.09/1828.85 c #Conflicts: 623000 | #Constraints: 31761
1824.09/1828.85 c INPROCESSING
1824.09/1828.85 c GARBAGE COLLECT
1824.09/1828.85 c #Conflicts: 624000 | #Constraints: 17157
1824.09/1828.85 c #Conflicts: 625000 | #Constraints: 18157
2155.25/2160.82 c #Conflicts: 626000 | #Constraints: 19157
2155.25/2160.82 c #Conflicts: 627000 | #Constraints: 20157
2155.25/2160.82 c #Conflicts: 628000 | #Constraints: 21157
2155.25/2160.82 c #Conflicts: 629000 | #Constraints: 22157
2155.25/2160.82 c #Conflicts: 630000 | #Constraints: 23157
2155.25/2160.82 c #Conflicts: 631000 | #Constraints: 24157
2155.25/2160.82 c #Conflicts: 632000 | #Constraints: 25157
2155.25/2160.82 c #Conflicts: 633000 | #Constraints: 26157
2155.25/2160.82 c #Conflicts: 634000 | #Constraints: 27157
2155.25/2160.82 c #Conflicts: 635000 | #Constraints: 28157
2155.25/2160.82 c #Conflicts: 636000 | #Constraints: 29157
2155.25/2160.82 c #Conflicts: 637000 | #Constraints: 30157
2155.25/2160.82 c #Conflicts: 638000 | #Constraints: 31157
2155.25/2160.82 c #Conflicts: 639000 | #Constraints: 32157
2155.25/2160.82 c INPROCESSING
2155.25/2160.82 c GARBAGE COLLECT
2155.25/2160.82 c #Conflicts: 640000 | #Constraints: 17357
2155.25/2160.82 c #Conflicts: 641000 | #Constraints: 18357
2155.25/2160.82 c #Conflicts: 642000 | #Constraints: 19357
2155.25/2160.82 c #Conflicts: 643000 | #Constraints: 20357
2155.25/2160.82 c #Conflicts: 644000 | #Constraints: 21357
2155.25/2160.82 c #Conflicts: 645000 | #Constraints: 22357
2155.25/2160.82 c #Conflicts: 646000 | #Constraints: 23357
2155.25/2160.82 c #Conflicts: 647000 | #Constraints: 24357
2155.25/2160.82 c #Conflicts: 648000 | #Constraints: 25357
2155.25/2160.82 c #Conflicts: 649000 | #Constraints: 26357
2155.25/2160.82 c #Conflicts: 650000 | #Constraints: 27357
2155.25/2160.82 c #Conflicts: 651000 | #Constraints: 28357
2155.25/2160.82 c #Conflicts: 652000 | #Constraints: 29357
2155.25/2160.82 c #Conflicts: 653000 | #Constraints: 30357
2155.25/2160.82 c #Conflicts: 654000 | #Constraints: 31357
2155.25/2160.82 c #Conflicts: 655000 | #Constraints: 32357
2155.25/2160.82 c INPROCESSING
2155.25/2160.82 c GARBAGE COLLECT
2155.25/2160.82 c #Conflicts: 656000 | #Constraints: 17358
2155.25/2160.82 c #Conflicts: 657000 | #Constraints: 18358
2155.25/2160.82 c #Conflicts: 658000 | #Constraints: 19358
2155.25/2160.82 c #Conflicts: 659000 | #Constraints: 20358
2155.25/2160.82 c #Conflicts: 660000 | #Constraints: 21358
2155.25/2160.82 c #Conflicts: 661000 | #Constraints: 22358
2155.25/2160.82 c #Conflicts: 662000 | #Constraints: 23358
2155.25/2160.82 c #Conflicts: 663000 | #Constraints: 24358
2155.25/2160.82 c #Conflicts: 664000 | #Constraints: 25358
2155.25/2160.82 c #Conflicts: 665000 | #Constraints: 26358
2155.25/2160.82 c #Conflicts: 666000 | #Constraints: 27358
2155.25/2160.82 c #Conflicts: 667000 | #Constraints: 28358
2155.25/2160.82 c #Conflicts: 668000 | #Constraints: 29358
2155.25/2160.82 c #Conflicts: 669000 | #Constraints: 30358
2155.25/2160.82 c #Conflicts: 670000 | #Constraints: 31358
2155.25/2160.82 c #Conflicts: 671000 | #Constraints: 32358
2155.25/2160.82 c INPROCESSING
2155.25/2160.82 c GARBAGE COLLECT
2155.25/2160.82 c #Conflicts: 672000 | #Constraints: 17156
2155.25/2160.82 c #Conflicts: 673000 | #Constraints: 18156
2155.25/2160.82 c #Conflicts: 674000 | #Constraints: 19156
2155.25/2160.82 c #Conflicts: 675000 | #Constraints: 20156
2155.25/2160.82 c #Conflicts: 676000 | #Constraints: 21156
2155.25/2160.82 c #Conflicts: 677000 | #Constraints: 22156
2155.25/2160.82 c #Conflicts: 678000 | #Constraints: 23156
2155.25/2160.82 c #Conflicts: 679000 | #Constraints: 24156
2155.25/2160.82 c #Conflicts: 680000 | #Constraints: 25156
2155.25/2160.82 c #Conflicts: 681000 | #Constraints: 26156
2155.25/2160.82 c #Conflicts: 682000 | #Constraints: 27156
2155.25/2160.82 c #Conflicts: 683000 | #Constraints: 28156
2155.25/2160.82 c #Conflicts: 684000 | #Constraints: 29156
2155.25/2160.82 c #Conflicts: 685000 | #Constraints: 30156
2155.25/2160.82 c #Conflicts: 686000 | #Constraints: 31156
2155.25/2160.82 c #Conflicts: 687000 | #Constraints: 32156
2155.25/2160.82 c #Conflicts: 688000 | #Constraints: 33156
2155.25/2160.82 c INPROCESSING
2155.25/2160.82 c GARBAGE COLLECT
2155.25/2160.82 c #Conflicts: 689000 | #Constraints: 17755
2155.25/2160.82 c #Conflicts: 690000 | #Constraints: 18755
2155.25/2160.82 c #Conflicts: 691000 | #Constraints: 19755
2155.25/2160.82 c #Conflicts: 692000 | #Constraints: 20755
2155.25/2160.82 c #Conflicts: 693000 | #Constraints: 21755
2155.25/2160.82 c #Conflicts: 694000 | #Constraints: 22755
2155.25/2160.82 c #Conflicts: 695000 | #Constraints: 23755
2155.25/2160.82 c #Conflicts: 696000 | #Constraints: 24755
2155.25/2160.82 c #Conflicts: 697000 | #Constraints: 25755
2155.25/2160.82 c #Conflicts: 698000 | #Constraints: 26755
2155.25/2160.82 c #Conflicts: 699000 | #Constraints: 27755
2155.25/2160.82 c #Conflicts: 700000 | #Constraints: 28755
2155.25/2160.82 c #Conflicts: 701000 | #Constraints: 29755
2527.45/2534.04 c #Conflicts: 702000 | #Constraints: 30755
2527.45/2534.04 c #Conflicts: 703000 | #Constraints: 31755
2527.45/2534.04 c #Conflicts: 704000 | #Constraints: 32755
2527.45/2534.04 c #Conflicts: 705000 | #Constraints: 33755
2527.45/2534.04 c INPROCESSING
2527.45/2534.04 c GARBAGE COLLECT
2527.45/2534.04 c #Conflicts: 706000 | #Constraints: 18159
2527.45/2534.04 c #Conflicts: 707000 | #Constraints: 19159
2527.45/2534.04 c #Conflicts: 708000 | #Constraints: 20159
2527.45/2534.04 c #Conflicts: 709000 | #Constraints: 21159
2527.45/2534.04 c #Conflicts: 710000 | #Constraints: 22159
2527.45/2534.04 c #Conflicts: 711000 | #Constraints: 23159
2527.45/2534.04 c #Conflicts: 712000 | #Constraints: 24159
2527.45/2534.04 c #Conflicts: 713000 | #Constraints: 25159
2527.45/2534.04 c #Conflicts: 714000 | #Constraints: 26159
2527.45/2534.04 c #Conflicts: 715000 | #Constraints: 27159
2527.45/2534.04 c #Conflicts: 716000 | #Constraints: 28159
2527.45/2534.04 c #Conflicts: 717000 | #Constraints: 29159
2527.45/2534.04 c #Conflicts: 718000 | #Constraints: 30159
2527.45/2534.04 c #Conflicts: 719000 | #Constraints: 31159
2527.45/2534.04 c #Conflicts: 720000 | #Constraints: 32159
2527.45/2534.04 c #Conflicts: 721000 | #Constraints: 33159
2527.45/2534.04 c #Conflicts: 722000 | #Constraints: 34159
2527.45/2534.04 c INPROCESSING
2527.45/2534.04 c GARBAGE COLLECT
2527.45/2534.04 c #Conflicts: 723000 | #Constraints: 18363
2527.45/2534.04 c #Conflicts: 724000 | #Constraints: 19363
2527.45/2534.04 c #Conflicts: 725000 | #Constraints: 20363
2527.45/2534.04 c #Conflicts: 726000 | #Constraints: 21363
2527.45/2534.04 c #Conflicts: 727000 | #Constraints: 22363
2527.45/2534.04 c #Conflicts: 728000 | #Constraints: 23363
2527.45/2534.04 c #Conflicts: 729000 | #Constraints: 24363
2527.45/2534.04 c #Conflicts: 730000 | #Constraints: 25363
2527.45/2534.04 c #Conflicts: 731000 | #Constraints: 26363
2527.45/2534.04 c #Conflicts: 732000 | #Constraints: 27363
2527.45/2534.04 c #Conflicts: 733000 | #Constraints: 28363
2527.45/2534.04 c #Conflicts: 734000 | #Constraints: 29363
2527.45/2534.04 c #Conflicts: 735000 | #Constraints: 30363
2527.45/2534.04 c #Conflicts: 736000 | #Constraints: 31363
2527.45/2534.04 c #Conflicts: 737000 | #Constraints: 32363
2527.45/2534.04 c #Conflicts: 738000 | #Constraints: 33363
2527.45/2534.04 c #Conflicts: 739000 | #Constraints: 34363
2527.45/2534.04 c INPROCESSING
2527.45/2534.04 c GARBAGE COLLECT
2527.45/2534.04 c #Conflicts: 740000 | #Constraints: 18362
2527.45/2534.04 c #Conflicts: 741000 | #Constraints: 19362
2527.45/2534.04 c #Conflicts: 742000 | #Constraints: 20362
2527.45/2534.04 c #Conflicts: 743000 | #Constraints: 21362
2527.45/2534.04 c #Conflicts: 744000 | #Constraints: 22362
2527.45/2534.04 c #Conflicts: 745000 | #Constraints: 23362
2527.45/2534.04 c #Conflicts: 746000 | #Constraints: 24362
2527.45/2534.04 c #Conflicts: 747000 | #Constraints: 25362
2527.45/2534.04 c #Conflicts: 748000 | #Constraints: 26362
2527.45/2534.04 c #Conflicts: 749000 | #Constraints: 27362
2527.45/2534.04 c #Conflicts: 750000 | #Constraints: 28362
2527.45/2534.04 c #Conflicts: 751000 | #Constraints: 29362
2527.45/2534.04 c #Conflicts: 752000 | #Constraints: 30362
2527.45/2534.04 c #Conflicts: 753000 | #Constraints: 31362
2527.45/2534.04 c #Conflicts: 754000 | #Constraints: 32362
2527.45/2534.04 c #Conflicts: 755000 | #Constraints: 33362
2527.45/2534.04 c #Conflicts: 756000 | #Constraints: 34362
2527.45/2534.04 c INPROCESSING
2527.45/2534.04 c GARBAGE COLLECT
2527.45/2534.04 c #Conflicts: 757000 | #Constraints: 18158
2527.45/2534.04 c #Conflicts: 758000 | #Constraints: 19158
2527.45/2534.04 c #Conflicts: 759000 | #Constraints: 20158
2527.45/2534.04 c #Conflicts: 760000 | #Constraints: 21158
2527.45/2534.04 c #Conflicts: 761000 | #Constraints: 22158
2527.45/2534.04 c #Conflicts: 762000 | #Constraints: 23158
2527.45/2534.04 c #Conflicts: 763000 | #Constraints: 24158
2527.45/2534.04 c #Conflicts: 764000 | #Constraints: 25158
2527.45/2534.04 c #Conflicts: 765000 | #Constraints: 26158
2527.45/2534.04 c #Conflicts: 766000 | #Constraints: 27158
2527.45/2534.04 c #Conflicts: 767000 | #Constraints: 28158
2527.45/2534.04 c #Conflicts: 768000 | #Constraints: 29158
2527.45/2534.04 c #Conflicts: 769000 | #Constraints: 30158
2527.45/2534.04 c #Conflicts: 770000 | #Constraints: 31158
2527.45/2534.04 c #Conflicts: 771000 | #Constraints: 32158
2527.45/2534.04 c #Conflicts: 772000 | #Constraints: 33158
2527.45/2534.04 c #Conflicts: 773000 | #Constraints: 34158
2527.45/2534.04 c #Conflicts: 774000 | #Constraints: 35158
2527.45/2534.04 c INPROCESSING
2527.45/2534.04 c GARBAGE COLLECT
2527.45/2534.04 c #Conflicts: 775000 | #Constraints: 18754
2527.45/2534.04 c #Conflicts: 776000 | #Constraints: 19754
2527.45/2534.04 c #Conflicts: 777000 | #Constraints: 20754
2939.43/2947.11 c #Conflicts: 778000 | #Constraints: 21754
2939.43/2947.11 c #Conflicts: 779000 | #Constraints: 22754
2939.43/2947.11 c #Conflicts: 780000 | #Constraints: 23754
2939.43/2947.11 c #Conflicts: 781000 | #Constraints: 24754
2939.43/2947.11 c #Conflicts: 782000 | #Constraints: 25754
2939.43/2947.11 c #Conflicts: 783000 | #Constraints: 26754
2939.43/2947.11 c #Conflicts: 784000 | #Constraints: 27754
2939.43/2947.11 c #Conflicts: 785000 | #Constraints: 28754
2939.43/2947.11 c #Conflicts: 786000 | #Constraints: 29754
2939.43/2947.11 c #Conflicts: 787000 | #Constraints: 30754
2939.43/2947.11 c #Conflicts: 788000 | #Constraints: 31754
2939.43/2947.11 c #Conflicts: 789000 | #Constraints: 32754
2939.43/2947.11 c #Conflicts: 790000 | #Constraints: 33754
2939.43/2947.11 c #Conflicts: 791000 | #Constraints: 34754
2939.43/2947.11 c #Conflicts: 792000 | #Constraints: 35754
2939.43/2947.11 c INPROCESSING
2939.43/2947.11 c GARBAGE COLLECT
2939.43/2947.11 c #Conflicts: 793000 | #Constraints: 19156
2939.43/2947.11 c #Conflicts: 794000 | #Constraints: 20156
2939.43/2947.11 c #Conflicts: 795000 | #Constraints: 21156
2939.43/2947.11 c #Conflicts: 796000 | #Constraints: 22156
2939.43/2947.11 c #Conflicts: 797000 | #Constraints: 23156
2939.43/2947.11 c #Conflicts: 798000 | #Constraints: 24156
2939.43/2947.11 c #Conflicts: 799000 | #Constraints: 25156
2939.43/2947.11 c #Conflicts: 800000 | #Constraints: 26156
2939.43/2947.11 c #Conflicts: 801000 | #Constraints: 27156
2939.43/2947.11 c #Conflicts: 802000 | #Constraints: 28156
2939.43/2947.11 c #Conflicts: 803000 | #Constraints: 29156
2939.43/2947.11 c #Conflicts: 804000 | #Constraints: 30156
2939.43/2947.11 c #Conflicts: 805000 | #Constraints: 31156
2939.43/2947.11 c #Conflicts: 806000 | #Constraints: 32156
2939.43/2947.11 c #Conflicts: 807000 | #Constraints: 33156
2939.43/2947.11 c #Conflicts: 808000 | #Constraints: 34156
2939.43/2947.11 c #Conflicts: 809000 | #Constraints: 35156
2939.43/2947.11 c #Conflicts: 810000 | #Constraints: 36156
2939.43/2947.11 c INPROCESSING
2939.43/2947.11 c GARBAGE COLLECT
2939.43/2947.11 c #Conflicts: 811000 | #Constraints: 19356
2939.43/2947.11 c #Conflicts: 812000 | #Constraints: 20356
2939.43/2947.11 c #Conflicts: 813000 | #Constraints: 21356
2939.43/2947.11 c #Conflicts: 814000 | #Constraints: 22356
2939.43/2947.11 c #Conflicts: 815000 | #Constraints: 23356
2939.43/2947.11 c #Conflicts: 816000 | #Constraints: 24356
2939.43/2947.11 c #Conflicts: 817000 | #Constraints: 25356
2939.43/2947.11 c #Conflicts: 818000 | #Constraints: 26356
2939.43/2947.11 c #Conflicts: 819000 | #Constraints: 27356
2939.43/2947.11 c #Conflicts: 820000 | #Constraints: 28356
2939.43/2947.11 c #Conflicts: 821000 | #Constraints: 29356
2939.43/2947.11 c #Conflicts: 822000 | #Constraints: 30356
2939.43/2947.11 c #Conflicts: 823000 | #Constraints: 31356
2939.43/2947.11 c #Conflicts: 824000 | #Constraints: 32356
2939.43/2947.11 c #Conflicts: 825000 | #Constraints: 33356
2939.43/2947.11 c #Conflicts: 826000 | #Constraints: 34356
2939.43/2947.11 c #Conflicts: 827000 | #Constraints: 35356
2939.43/2947.11 c #Conflicts: 828000 | #Constraints: 36356
2939.43/2947.11 c INPROCESSING
2939.43/2947.11 c GARBAGE COLLECT
2939.43/2947.11 c #Conflicts: 829000 | #Constraints: 19361
2939.43/2947.11 c #Conflicts: 830000 | #Constraints: 20361
2939.43/2947.11 c #Conflicts: 831000 | #Constraints: 21361
2939.43/2947.11 c #Conflicts: 832000 | #Constraints: 22361
2939.43/2947.11 c #Conflicts: 833000 | #Constraints: 23361
2939.43/2947.11 c #Conflicts: 834000 | #Constraints: 24361
2939.43/2947.11 c #Conflicts: 835000 | #Constraints: 25361
2939.43/2947.11 c #Conflicts: 836000 | #Constraints: 26361
2939.43/2947.11 c #Conflicts: 837000 | #Constraints: 27361
2939.43/2947.11 c #Conflicts: 838000 | #Constraints: 28361
2939.43/2947.11 c #Conflicts: 839000 | #Constraints: 29361
2939.43/2947.11 c #Conflicts: 840000 | #Constraints: 30361
2939.43/2947.11 c #Conflicts: 841000 | #Constraints: 31361
2939.43/2947.11 c #Conflicts: 842000 | #Constraints: 32361
2939.43/2947.11 c #Conflicts: 843000 | #Constraints: 33361
2939.43/2947.11 c #Conflicts: 844000 | #Constraints: 34361
2939.43/2947.11 c #Conflicts: 845000 | #Constraints: 35361
2939.43/2947.11 c #Conflicts: 846000 | #Constraints: 36361
2939.43/2947.11 c INPROCESSING
2939.43/2947.11 c GARBAGE COLLECT
2939.43/2947.11 c #Conflicts: 847000 | #Constraints: 19159
2939.43/2947.11 c #Conflicts: 848000 | #Constraints: 20159
2939.43/2947.11 c #Conflicts: 849000 | #Constraints: 21159
2939.43/2947.11 c #Conflicts: 850000 | #Constraints: 22159
2939.43/2947.11 c #Conflicts: 851000 | #Constraints: 23159
2939.43/2947.11 c #Conflicts: 852000 | #Constraints: 24159
2939.43/2947.11 c #Conflicts: 853000 | #Constraints: 25159
3293.82/3302.44 c #Conflicts: 854000 | #Constraints: 26159
3293.82/3302.44 c #Conflicts: 855000 | #Constraints: 27159
3293.82/3302.44 c #Conflicts: 856000 | #Constraints: 28159
3293.82/3302.44 c #Conflicts: 857000 | #Constraints: 29159
3293.82/3302.44 c #Conflicts: 858000 | #Constraints: 30159
3293.82/3302.44 c #Conflicts: 859000 | #Constraints: 31159
3293.82/3302.44 c #Conflicts: 860000 | #Constraints: 32159
3293.82/3302.44 c #Conflicts: 861000 | #Constraints: 33159
3293.82/3302.44 c #Conflicts: 862000 | #Constraints: 34159
3293.82/3302.44 c #Conflicts: 863000 | #Constraints: 35159
3293.82/3302.44 c #Conflicts: 864000 | #Constraints: 36159
3293.82/3302.44 c #Conflicts: 865000 | #Constraints: 37159
3293.82/3302.44 c INPROCESSING
3293.82/3302.44 c GARBAGE COLLECT
3293.82/3302.44 c #Conflicts: 866000 | #Constraints: 19758
3293.82/3302.44 c #Conflicts: 867000 | #Constraints: 20758
3293.82/3302.44 c #Conflicts: 868000 | #Constraints: 21758
3293.82/3302.44 c #Conflicts: 869000 | #Constraints: 22758
3293.82/3302.44 c #Conflicts: 870000 | #Constraints: 23758
3293.82/3302.44 c #Conflicts: 871000 | #Constraints: 24758
3293.82/3302.44 c #Conflicts: 872000 | #Constraints: 25758
3293.82/3302.44 c #Conflicts: 873000 | #Constraints: 26758
3293.82/3302.44 c #Conflicts: 874000 | #Constraints: 27758
3293.82/3302.44 c #Conflicts: 875000 | #Constraints: 28758
3293.82/3302.44 c #Conflicts: 876000 | #Constraints: 29758
3293.82/3302.44 c #Conflicts: 877000 | #Constraints: 30758
3293.82/3302.44 c #Conflicts: 878000 | #Constraints: 31758
3293.82/3302.44 c #Conflicts: 879000 | #Constraints: 32758
3293.82/3302.44 c #Conflicts: 880000 | #Constraints: 33758
3293.82/3302.44 c #Conflicts: 881000 | #Constraints: 34758
3293.82/3302.44 c #Conflicts: 882000 | #Constraints: 35758
3293.82/3302.44 c #Conflicts: 883000 | #Constraints: 36758
3293.82/3302.44 c #Conflicts: 884000 | #Constraints: 37758
3293.82/3302.44 c INPROCESSING
3293.82/3302.44 c GARBAGE COLLECT
3293.82/3302.44 c #Conflicts: 885000 | #Constraints: 20160
3293.82/3302.44 c #Conflicts: 886000 | #Constraints: 21160
3293.82/3302.44 c #Conflicts: 887000 | #Constraints: 22160
3293.82/3302.44 c #Conflicts: 888000 | #Constraints: 23160
3293.82/3302.44 c #Conflicts: 889000 | #Constraints: 24160
3293.82/3302.44 c #Conflicts: 890000 | #Constraints: 25160
3293.82/3302.44 c #Conflicts: 891000 | #Constraints: 26160
3293.82/3302.44 c #Conflicts: 892000 | #Constraints: 27160
3293.82/3302.44 c #Conflicts: 893000 | #Constraints: 28160
3293.82/3302.44 c #Conflicts: 894000 | #Constraints: 29160
3293.82/3302.44 c #Conflicts: 895000 | #Constraints: 30160
3293.82/3302.44 c #Conflicts: 896000 | #Constraints: 31160
3293.82/3302.44 c #Conflicts: 897000 | #Constraints: 32160
3293.82/3302.44 c #Conflicts: 898000 | #Constraints: 33160
3293.82/3302.44 c #Conflicts: 899000 | #Constraints: 34160
3293.82/3302.44 c #Conflicts: 900000 | #Constraints: 35160
3293.82/3302.44 c #Conflicts: 901000 | #Constraints: 36160
3293.82/3302.44 c #Conflicts: 902000 | #Constraints: 37160
3293.82/3302.44 c #Conflicts: 903000 | #Constraints: 38160
3293.82/3302.44 c INPROCESSING
3293.82/3302.44 c GARBAGE COLLECT
3293.82/3302.44 c #Conflicts: 904000 | #Constraints: 20360
3293.82/3302.44 c #Conflicts: 905000 | #Constraints: 21360
3293.82/3302.44 c #Conflicts: 906000 | #Constraints: 22360
3293.82/3302.44 c #Conflicts: 907000 | #Constraints: 23360
3293.82/3302.44 c #Conflicts: 908000 | #Constraints: 24360
3293.82/3302.44 c #Conflicts: 909000 | #Constraints: 25360
3293.82/3302.44 c #Conflicts: 910000 | #Constraints: 26360
3293.82/3302.44 c #Conflicts: 911000 | #Constraints: 27360
3293.82/3302.44 c #Conflicts: 912000 | #Constraints: 28360
3293.82/3302.44 c #Conflicts: 913000 | #Constraints: 29360
3293.82/3302.44 c #Conflicts: 914000 | #Constraints: 30360
3293.82/3302.44 c #Conflicts: 915000 | #Constraints: 31360
3293.82/3302.44 c #Conflicts: 916000 | #Constraints: 32360
3293.82/3302.44 c #Conflicts: 917000 | #Constraints: 33360
3293.82/3302.44 c #Conflicts: 918000 | #Constraints: 34360
3293.82/3302.44 c #Conflicts: 919000 | #Constraints: 35360
3293.82/3302.44 c #Conflicts: 920000 | #Constraints: 36360
3293.82/3302.44 c #Conflicts: 921000 | #Constraints: 37360
3293.82/3302.44 c #Conflicts: 922000 | #Constraints: 38360
3293.82/3302.44 c INPROCESSING
3293.82/3302.44 c GARBAGE COLLECT
3293.82/3302.44 c #Conflicts: 923000 | #Constraints: 20358
3293.82/3302.44 c #Conflicts: 924000 | #Constraints: 21358
3293.82/3302.44 c #Conflicts: 925000 | #Constraints: 22358
3293.82/3302.44 c #Conflicts: 926000 | #Constraints: 23358
3293.82/3302.44 c #Conflicts: 927000 | #Constraints: 24358
3293.82/3302.44 c #Conflicts: 928000 | #Constraints: 25358
3293.82/3302.44 c #Conflicts: 929000 | #Constraints: 26358
3600.03/3609.40 c #Conflicts: 930000 | #Constraints: 27358
3600.03/3609.40 c #Conflicts: 931000 | #Constraints: 28358
3600.03/3609.40 c #Conflicts: 932000 | #Constraints: 29358
3600.03/3609.40 c #Conflicts: 933000 | #Constraints: 30358
3600.03/3609.40 c #Conflicts: 934000 | #Constraints: 31358
3600.03/3609.40 c #Conflicts: 935000 | #Constraints: 32358
3600.03/3609.40 c #Conflicts: 936000 | #Constraints: 33358
3600.03/3609.40 c #Conflicts: 937000 | #Constraints: 34358
3600.03/3609.40 c #Conflicts: 938000 | #Constraints: 35358
3600.03/3609.40 c #Conflicts: 939000 | #Constraints: 36358
3600.03/3609.40 c #Conflicts: 940000 | #Constraints: 37358
3600.03/3609.40 c #Conflicts: 941000 | #Constraints: 38358
3600.03/3609.40 c INPROCESSING
3600.03/3609.40 c GARBAGE COLLECT
3600.03/3609.40 c #Conflicts: 942000 | #Constraints: 20158
3600.03/3609.40 c #Conflicts: 943000 | #Constraints: 21158
3600.03/3609.40 c #Conflicts: 944000 | #Constraints: 22158
3600.03/3609.40 c #Conflicts: 945000 | #Constraints: 23158
3600.03/3609.40 c #Conflicts: 946000 | #Constraints: 24158
3600.03/3609.40 c #Conflicts: 947000 | #Constraints: 25158
3600.03/3609.40 c #Conflicts: 948000 | #Constraints: 26158
3600.03/3609.40 c #Conflicts: 949000 | #Constraints: 27158
3600.03/3609.40 c #Conflicts: 950000 | #Constraints: 28158
3600.03/3609.40 c #Conflicts: 951000 | #Constraints: 29158
3600.03/3609.40 c #Conflicts: 952000 | #Constraints: 30158
3600.03/3609.40 c #Conflicts: 953000 | #Constraints: 31158
3600.03/3609.40 c #Conflicts: 954000 | #Constraints: 32158
3600.03/3609.40 c #Conflicts: 955000 | #Constraints: 33158
3600.03/3609.40 c #Conflicts: 956000 | #Constraints: 34158
3600.03/3609.40 c #Conflicts: 957000 | #Constraints: 35158
3600.03/3609.40 c #Conflicts: 958000 | #Constraints: 36158
3600.03/3609.40 c #Conflicts: 959000 | #Constraints: 37158
3600.03/3609.40 c #Conflicts: 960000 | #Constraints: 38158
3600.03/3609.40 c #Conflicts: 961000 | #Constraints: 39158
3600.03/3609.40 c INPROCESSING
3600.03/3609.40 c GARBAGE COLLECT
3600.03/3609.40 c #Conflicts: 962000 | #Constraints: 20760
3600.03/3609.40 c #Conflicts: 963000 | #Constraints: 21760
3600.03/3609.40 c #Conflicts: 964000 | #Constraints: 22760
3600.03/3609.40 c #Conflicts: 965000 | #Constraints: 23760
3600.03/3609.40 c #Conflicts: 966000 | #Constraints: 24760
3600.03/3609.40 c #Conflicts: 967000 | #Constraints: 25760
3600.03/3609.40 c #Conflicts: 968000 | #Constraints: 26760
3600.03/3609.40 c #Conflicts: 969000 | #Constraints: 27760
3600.03/3609.40 c #Conflicts: 970000 | #Constraints: 28760
3600.03/3609.40 c #Conflicts: 971000 | #Constraints: 29760
3600.03/3609.40 c #Conflicts: 972000 | #Constraints: 30760
3600.03/3609.40 c #Conflicts: 973000 | #Constraints: 31760
3600.03/3609.40 c #Conflicts: 974000 | #Constraints: 32760
3600.03/3609.40 c #Conflicts: 975000 | #Constraints: 33760
3600.03/3609.40 c #Conflicts: 976000 | #Constraints: 34760
3600.03/3609.40 c #Conflicts: 977000 | #Constraints: 35760
3600.03/3609.40 c #Conflicts: 978000 | #Constraints: 36760
3600.03/3609.40 c #Conflicts: 979000 | #Constraints: 37760
3600.03/3609.40 c Program interrupted by user.
3600.03/3609.40 c cpu time 3589.92 s
3600.03/3609.40 c deterministic time 395329625109 3.95e+11
3600.03/3609.40 c optimization time 138.88 s
3600.03/3609.40 c total solve time 3151.6 s
3600.03/3609.40 c core-guided solve time 3151.6 s
3600.03/3609.40 c propagation time 2841.99 s
3600.03/3609.40 c conflict analysis time 384.636 s
3600.03/3609.40 c propagations 70823052
3600.03/3609.40 c resolve steps 4834805
3600.03/3609.40 c decisions 6323058
3600.03/3609.40 c conflicts 979767
3600.03/3609.40 c restarts 2045
3600.03/3609.40 c inprocessing phases 89
3600.03/3609.40 c input clauses 59
3600.03/3609.40 c input cardinalities 77
3600.03/3609.40 c input general constraints 480
3600.03/3609.40 c input average constraint length 67.43
3600.03/3609.40 c input average constraint degree 34.96
3600.03/3609.40 c learned clauses 184116
3600.03/3609.40 c learned cardinalities 1137
3600.03/3609.40 c learned general constraints 794533
3600.03/3609.40 c learned average constraint length 339.20
3600.03/3609.40 c learned average constraint degree 586214.67
3600.03/3609.40 c watched constraints 655507
3600.03/3609.40 c counting constraints 139506
3600.03/3609.40 c gcd simplifications 153285
3600.03/3609.40 c detected cardinalities 968
3600.03/3609.40 c weakened non-implied lits 31171446
3600.03/3609.40 c weakened non-implying lits 78772
3600.03/3609.40 c original variables 481
3600.03/3609.40 c clausal propagations 1289935
3600.03/3609.40 c cardinality propagations 187743
3600.03/3609.40 c watched propagations 37771162
3600.03/3609.40 c counting propagations 30473999
3600.03/3609.40 c watch lookups 69857276816
3600.03/3609.40 c watch backjump lookups 66352227954
3600.03/3609.40 c watch checks 249305937911
3600.03/3609.40 c propagation checks 8586854805
3600.03/3609.40 c constraint additions 1072056013
3600.03/3609.40 c trail pops 78125499
3600.03/3609.40 c formula constraints 481
3600.03/3609.40 c learned constraints 979786
3600.03/3609.40 c bound constraints 77
3600.03/3609.40 c core-guided constraints 58
3600.03/3609.40 c encountered formula constraints 2929921
3600.03/3609.40 c encountered learned constraints 2787711
3600.03/3609.40 c encountered bound constraints 464
3600.03/3609.40 c encountered core-guided constraints 96476
3600.03/3609.40 c LP total time 0 s
3600.03/3609.40 c LP solve time 0 s
3600.03/3609.40 c LP constraints added 0
3600.03/3609.40 c LP constraints removed 0
3600.03/3609.40 c LP pivots internal 0
3600.03/3609.40 c LP pivots root 0
3600.03/3609.40 c LP calls 0
3600.03/3609.40 c LP optimalities 0
3600.03/3609.40 c LP no pivot count 0
3600.03/3609.40 c LP infeasibilities 0
3600.03/3609.40 c LP valid Farkas constraints 0
3600.03/3609.40 c LP learned Farkas constraints 0
3600.03/3609.40 c LP basis resets 0
3600.03/3609.40 c LP cycling count 0
3600.03/3609.40 c LP singular count 0
3600.03/3609.40 c LP no primal count 0
3600.03/3609.40 c LP no farkas count 0
3600.03/3609.40 c LP other issue count 0
3600.03/3609.40 c LP Gomory cuts 0
3600.03/3609.40 c LP learned cuts 0
3600.03/3609.40 c LP deleted cuts 0
3600.03/3609.40 c LP encountered Gomory constraints 0
3600.03/3609.40 c LP encountered Farkas constraints 0
3600.03/3609.40 c LP encountered learned Farkas constraints 0
3600.03/3609.40 c CG auxiliary variables introduced 58
3600.03/3609.40 c CG solutions found 0
3600.03/3609.40 c CG cores constructed 76
3600.03/3609.40 c CG core cardinality constraints returned 0
3600.03/3609.40 c CG unit cores 0
3600.03/3609.40 c CG single cores 76
3600.03/3609.40 c CG blocks removed during cardinality reduction 0
3600.03/3609.40 c CG first core best 0
3600.03/3609.40 c CG decision core best 0
3600.03/3609.40 c CG core reduction tie 0
3600.03/3609.40 c CG core degree average 1.00
3600.03/3609.40 c CG core slack average 2.93
3600.03/3609.40 c CG exhausted 0
3600.03/3609.40 c CG exhaust time 0 s
3600.03/3609.40 c CG trimmed 5
3600.03/3609.40 c CG trim time 0.000314 s
3600.03/3609.40 c CG minimized 0
3600.03/3609.40 c CG minimize time 0 s
3600.03/3609.40 c CG am1 prop time 0.000815 s
3600.03/3609.40 c CG # am1s reformulated 58
3600.03/3609.40 c CG lower bound derived from am1s 58
3600.03/3609.40 c CG # clausal cores 21
3600.03/3609.40 c CG # cardinality cores 0
3600.03/3609.40 c CG # pb cores 55
3600.03/3609.40 c CG # pb reforms 0
3600.03/3609.40 c CG # cores discarded because of pb reform 0
3600.03/3609.40 d LOWERBOUND 134
3600.03/3609.40 d NCORES 76
3600.03/3609.40 d NPBCORES 55
3600.03/3609.40 d NPBREFORM 0
3600.03/3609.40 d NTRIMMED 5
3600.03/3609.40 d NEXHAUSTED 0
3600.03/3609.40 d NAM1S 58
3600.03/3609.40 d AM1LB 58
3600.03/3609.40 c [Papilo Statistics]
3600.03/3609.40 c prepro time 0.0014285s
3600.03/3609.40 c # tsx applied 14
3600.03/3609.40 c # tsx conflicts 0
3600.03/3609.40 c # bound changes 0
3600.03/3609.40 c # side changes 0
3600.03/3609.40 c # coef changes 19
3600.03/3609.40 c # rounds 3
3600.03/3609.40 c # deted vars 0
3600.03/3609.40 c # deted constrs 0
3600.03/3609.40 c # consecutive rounds of only bound changes 0
3600.03/3609.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: 63708 MiB (62348 MiB free)
memory of node 1: 64465 MiB (63883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488991-1751333782/watcher-4488991-1751333782 -o /tmp/evaluation-result-4488991-1751333782/solver-4488991-1751333782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45657 --watchdog 3760 mixed-bag HOME/instance-4488991-1751333782.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48013, runsolver pid=48010
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129253676/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=101580 memory=27648 CPUtime=0.08 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 3140 0 0 0 8 0 0 0 20 0 1 0 49055674 104017920 6912 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 25395 6912 4288 2842 0 7089 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101580 KiB
Current children cumulated memory: 27648 KiB
[startup+0.205476 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129253676/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=101600 memory=27776 CPUtime=0.18 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 3185 0 0 0 18 0 0 0 20 0 1 0 49055674 104038400 6944 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 25400 6944 4288 2842 0 7094 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 101600 KiB
Current children cumulated memory: 27776 KiB
[startup+0.304675 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129253676/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=101892 memory=27740 CPUtime=0.28 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 3240 0 0 0 28 0 0 0 20 0 1 0 49055674 104337408 6935 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 25473 6935 4288 2842 0 7167 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 101892 KiB
Current children cumulated memory: 27740 KiB
[startup+0.700108 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129253676/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=115276 memory=40924 CPUtime=0.68 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 6548 0 0 0 67 1 0 0 20 0 1 0 49055674 118042624 10231 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 28819 10231 4288 2842 0 10513 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115276 KiB
Current children cumulated memory: 40924 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129212096/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=195752 memory=119384 CPUtime=1.48 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 27970 0 0 0 144 4 0 0 20 0 1 0 49055674 200450048 29846 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 48938 29846 4288 2842 0 30632 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195752 KiB
Current children cumulated memory: 119384 KiB
[startup+3.10479 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129120116/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=237216 memory=158552 CPUtime=3.07 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 37788 0 0 0 302 5 0 0 20 0 1 0 49055674 242909184 39638 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 59304 39638 4288 2842 0 40998 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 237216 KiB
Current children cumulated memory: 158552 KiB
[startup+6.3001 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129112212/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=237216 memory=158552 CPUtime=6.26 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 37788 0 0 0 621 5 0 0 20 0 1 0 49055674 242909184 39638 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 59304 39638 4288 2842 0 40998 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 237216 KiB
Current children cumulated memory: 158552 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 48014
/proc/meminfo: memFree=129104404/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=242508 memory=163928 CPUtime=12.64 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 39118 0 0 0 1259 5 0 0 20 0 1 0 49055674 248328192 40982 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 60627 40982 4288 2842 0 42321 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 242508 KiB
Current children cumulated memory: 163928 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 48014
/proc/meminfo: memFree=128959612/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=295820 memory=215932 CPUtime=25.41 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 53258 0 0 0 2534 7 0 0 20 0 1 0 49055674 302919680 53983 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 73955 53983 4288 2842 0 55649 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 295820 KiB
Current children cumulated memory: 215932 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48015
/proc/meminfo: memFree=128926568/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=295968 memory=216796 CPUtime=50.95 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 53514 0 0 0 5088 7 0 0 20 0 1 0 49055674 303071232 54199 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 73992 54199 4288 2842 0 55686 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 295968 KiB
Current children cumulated memory: 216796 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 48021
/proc/meminfo: memFree=128871472/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=305356 memory=225108 CPUtime=102.01 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 56097 0 0 0 10194 7 0 0 20 0 1 0 49055674 312684544 56277 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 76339 56277 4288 2842 0 58033 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 305356 KiB
Current children cumulated memory: 225108 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 48023
/proc/meminfo: memFree=129108472/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=384020 memory=303616 CPUtime=161.86 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 76417 0 0 0 16176 10 0 0 20 0 1 0 49055674 393236480 75904 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 96005 75904 4288 2842 0 77699 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 384020 KiB
Current children cumulated memory: 303616 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 48026
/proc/meminfo: memFree=129031396/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=414076 memory=333568 CPUtime=221.72 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 83913 0 0 0 22160 12 0 0 20 0 1 0 49055674 424013824 83392 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 103519 83392 4288 2842 0 85213 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 414076 KiB
Current children cumulated memory: 333568 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48028
/proc/meminfo: memFree=128996180/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=416752 memory=336256 CPUtime=281.56 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 84568 0 0 0 28144 12 0 0 20 0 1 0 49055674 426754048 84064 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 104188 84064 4288 2842 0 85882 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 416752 KiB
Current children cumulated memory: 336256 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 48031
/proc/meminfo: memFree=129102564/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=410780 memory=333096 CPUtime=341.37 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 86929 0 0 0 34068 69 0 0 20 0 1 0 49055674 420638720 83274 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 102695 83274 4480 2842 0 84389 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 410780 KiB
Current children cumulated memory: 333096 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 48033
/proc/meminfo: memFree=129088800/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=429748 memory=338984 CPUtime=401.16 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 87396 0 0 0 40002 114 0 0 20 0 1 0 49055674 440061952 84746 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 107437 84746 4480 2842 0 89131 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 429748 KiB
Current children cumulated memory: 338984 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 48035
/proc/meminfo: memFree=129027936/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=429748 memory=348112 CPUtime=460.99 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 87551 0 0 0 45943 156 0 0 20 0 1 0 49055674 440061952 87028 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 107437 87028 4480 2842 0 89131 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 412148 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 48167
/proc/meminfo: memFree=128403532/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=412148 CPUtime=2854.84 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88900 0 0 0 284606 878 0 0 20 0 1 0 49055674 522911744 103037 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 103037 4480 2842 0 109358 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 412148 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 48171
/proc/meminfo: memFree=128402068/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=2914.69 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 290583 886 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+2982.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/264 48173
/proc/meminfo: memFree=128393900/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=2974.53 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 296550 903 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/265 48178
/proc/meminfo: memFree=128385624/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3034.38 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 302523 915 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/265 48184
/proc/meminfo: memFree=128357860/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3094.23 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 308497 926 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/265 48186
/proc/meminfo: memFree=128346624/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3154.07 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 314468 939 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 48188
/proc/meminfo: memFree=128346752/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3213.93 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 320440 953 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3213.93 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 48191
/proc/meminfo: memFree=128338568/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3273.78 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 326415 963 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 48193
/proc/meminfo: memFree=128318360/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3333.62 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 332391 971 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 48196
/proc/meminfo: memFree=128302368/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3393.46 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 338366 980 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3462.3 s]
/proc/loadavg: 3.79 4.03 4.07 4/258 48229
/proc/meminfo: memFree=128767480/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3453.31 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 344345 986 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3522.3 s]
/proc/loadavg: 2.83 3.72 3.95 3/252 48261
/proc/meminfo: memFree=129198940/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3513.16 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 350319 997 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
[startup+3582.3 s]
/proc/loadavg: 2.30 3.40 3.83 3/252 48263
/proc/meminfo: memFree=129190908/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=416244 CPUtime=3573 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88902 0 0 0 356292 1008 0 0 20 0 1 0 49055674 522911744 104061 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 104061 4480 2842 0 109358 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 416244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.02 3.23 3.76 2/246 48295
/proc/meminfo: memFree=129618988/131249996 swapFree=33010416/33010684
[pid=48013] ppid=48010 vsize=510656 memory=420340 CPUtime=3600.03 cores=1,3
/proc/48013/stat : 48013 (mixed-bag) R 48010 48013 45645 0 -1 4194304 88952 0 0 0 358992 1011 0 0 20 0 1 0 49055674 522911744 105085 18446744073709551615 4235264 15874749 140735682617456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 36536320 140735682623900 140735682623977 140735682623977 140735682629579 0
/proc/48013/statm: 127664 105085 4480 2842 0 109358 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 510656 KiB
Current children cumulated memory: 420340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 48013 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.93 s, system=10.1172 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.04
CPU user time (s): 3589.93
CPU system time (s): 10.1172
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 510656
Max. memory (cumulated for all children) (KiB): 420340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.93
system time used= 10.1172
maximum resident set size= 420980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88982
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= 193
involuntary context switches= 4741
# summary of solver processes directly reported to runsolver:
# pid: 48013
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.93
# total CPU system time (s): 10.1172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65029 second user time and 15.6997 second system time
The end
Begin job on nodeC015 at 2025-07-01 03:36:22
IDJOB=4488991
IDBENCH=147536
IDSOLVER=3340
FILE ID=nodeC015/4488991-1751333782
RUNJOBID= nodeC015-1751326375-45657
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488991-1751333782/watcher-4488991-1751333782 -o /tmp/evaluation-result-4488991-1751333782/solver-4488991-1751333782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45657 --watchdog 3760 mixed-bag HOME/instance-4488991-1751333782.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=805472997
nodeC015 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 : 0xb00002a
cpu MHz : 3600.073
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3600.599
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3599.382
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3600.145
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3600.065
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3599.925
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3600.695
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 pti ibrs ibpb stibp 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 : 7000.14
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 : 3600.057
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 pti ibrs ibpb stibp 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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129261952 kB
MemAvailable: 128986792 kB
Buffers: 2128 kB
Cached: 513616 kB
SwapCached: 24 kB
Active: 1118960 kB
Inactive: 209212 kB
Active(anon): 810396 kB
Inactive(anon): 20084 kB
Active(file): 308564 kB
Inactive(file): 189128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15640 kB
Writeback: 8 kB
AnonPages: 815508 kB
Mapped: 137096 kB
Shmem: 18052 kB
KReclaimable: 132776 kB
Slab: 221964 kB
SReclaimable: 132776 kB
SUnreclaim: 89188 kB
KernelStack: 4304 kB
PageTables: 4988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1250664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC015 at 2025-07-01 04:36:32