0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1086 #constraints 169
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001621
0.00/0.00 c stratification level: 235
0.00/0.02 c bounds 4878 >= 0 @ 0.017857
0.00/0.02 c stratification level: 234
0.00/0.02 c bounds 4877 >= 0 @ 0.020859
0.00/0.02 c stratification level: 233
0.00/0.05 c bounds 4777 >= 0 @ 0.049103
0.00/0.05 c stratification level: 232
0.00/0.05 c bounds 4770 >= 0 @ 0.050836
0.00/0.05 c stratification level: 231
0.00/0.05 c bounds 4767 >= 0 @ 0.052152
0.00/0.05 c stratification level: 230
0.00/0.05 c bounds 4762 >= 0 @ 0.053491
0.00/0.05 c stratification level: 229
0.00/0.05 c bounds 4760 >= 0 @ 0.053849
0.00/0.05 c stratification level: 228
0.00/0.06 c bounds 4759 >= 0 @ 0.058997
0.00/0.06 c stratification level: 227
0.00/0.07 c bounds 4755 >= 0 @ 0.064645
0.00/0.07 c stratification level: 226
0.00/0.09 c bounds 4177 >= 0 @ 0.09216
0.00/0.09 c stratification level: 225
0.00/0.09 c bounds 4176 >= 0 @ 0.09337
0.00/0.09 c stratification level: 224
0.09/0.10 c bounds 4173 >= 0 @ 0.09972
0.09/0.10 c stratification level: 223
0.09/0.12 c bounds 4049 >= 0 @ 0.11811
0.09/0.12 c stratification level: 222
0.09/0.12 c bounds 4014 >= 0 @ 0.11991
0.09/0.12 c stratification level: 221
0.09/0.13 c bounds 3992 >= 0 @ 0.126623
0.09/0.13 c stratification level: 220
0.69/0.74 c #Conflicts: 1000 | #Constraints: 1183
0.69/0.74 c #Conflicts: 2000 | #Constraints: 2183
0.69/0.74 c INPROCESSING
0.69/0.74 c GARBAGE COLLECT
0.69/0.74 c bounds 3948 >= 0 @ 0.720215
0.69/0.74 c stratification level: 219
0.79/0.83 c bounds 3822 >= 0 @ 0.808618
0.79/0.83 c stratification level: 218
2.38/2.40 c #Conflicts: 3000 | #Constraints: 2186
2.38/2.40 c #Conflicts: 4000 | #Constraints: 3186
2.38/2.40 c INPROCESSING
2.38/2.40 c GARBAGE COLLECT
2.38/2.40 c #Conflicts: 5000 | #Constraints: 2597
2.38/2.40 c bounds 3776 >= 0 @ 2.35225
2.38/2.40 c stratification level: 217
6.67/6.70 c #Conflicts: 6000 | #Constraints: 3598
6.67/6.70 c INPROCESSING
6.67/6.70 c GARBAGE COLLECT
6.67/6.70 c #Conflicts: 7000 | #Constraints: 2602
6.67/6.70 c #Conflicts: 8000 | #Constraints: 3602
6.67/6.70 c #Conflicts: 9000 | #Constraints: 4602
6.67/6.70 c INPROCESSING
6.67/6.70 c GARBAGE COLLECT
6.67/6.70 c #Conflicts: 10000 | #Constraints: 3307
6.67/6.70 c #Conflicts: 11000 | #Constraints: 4307
6.67/6.70 c bounds 3686 >= 0 @ 6.58344
6.67/6.70 c stratification level: 216
6.98/7.00 c #Conflicts: 12000 | #Constraints: 5308
6.98/7.00 c INPROCESSING
6.98/7.00 c GARBAGE COLLECT
6.98/7.00 c bounds 3678 >= 0 @ 6.87181
6.98/7.00 c stratification level: 215
7.87/7.92 c #Conflicts: 13000 | #Constraints: 3765
7.87/7.92 c bounds 3630 >= 0 @ 7.7855
7.87/7.92 c stratification level: 214
7.87/7.93 c bounds 3628 >= 0 @ 7.79235
7.87/7.93 c stratification level: 213
8.27/8.39 c #Conflicts: 14000 | #Constraints: 4767
8.27/8.39 c bounds 3622 >= 0 @ 8.23954
8.27/8.39 c stratification level: 212
32.02/32.10 c bounds 3622 >= 212 @ 8.61424
32.02/32.10 c #Conflicts: 15000 | #Constraints: 5769
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 16000 | #Constraints: 3991
32.02/32.10 c #Conflicts: 17000 | #Constraints: 4991
32.02/32.10 c #Conflicts: 18000 | #Constraints: 5991
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 19000 | #Constraints: 4009
32.02/32.10 c #Conflicts: 20000 | #Constraints: 5009
32.02/32.10 c #Conflicts: 21000 | #Constraints: 6009
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 22000 | #Constraints: 3808
32.02/32.10 c #Conflicts: 23000 | #Constraints: 4808
32.02/32.10 c #Conflicts: 24000 | #Constraints: 5808
32.02/32.10 c #Conflicts: 25000 | #Constraints: 6808
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 26000 | #Constraints: 4410
32.02/32.10 c #Conflicts: 27000 | #Constraints: 5410
32.02/32.10 c #Conflicts: 28000 | #Constraints: 6410
32.02/32.10 c #Conflicts: 29000 | #Constraints: 7410
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 30000 | #Constraints: 4815
32.02/32.10 c #Conflicts: 31000 | #Constraints: 5815
32.02/32.10 c #Conflicts: 32000 | #Constraints: 6815
32.02/32.10 c #Conflicts: 33000 | #Constraints: 7815
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 34000 | #Constraints: 5017
32.02/32.10 c #Conflicts: 35000 | #Constraints: 6017
32.02/32.10 c #Conflicts: 36000 | #Constraints: 7017
32.02/32.10 c #Conflicts: 37000 | #Constraints: 8017
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 38000 | #Constraints: 5018
32.02/32.10 c #Conflicts: 39000 | #Constraints: 6018
32.02/32.10 c #Conflicts: 40000 | #Constraints: 7018
32.02/32.10 c #Conflicts: 41000 | #Constraints: 8018
32.02/32.10 c INPROCESSING
32.02/32.10 c GARBAGE COLLECT
32.02/32.10 c #Conflicts: 42000 | #Constraints: 4828
32.02/32.10 c #Conflicts: 43000 | #Constraints: 5828
32.02/32.10 c #Conflicts: 44000 | #Constraints: 6828
32.02/32.10 c finalizing WCE round: reformulating cores
35.50/35.67 c bounds 3580 >= 212 @ 32.3841
35.50/35.67 c #Conflicts: 45000 | #Constraints: 7831
35.50/35.67 c #Conflicts: 46000 | #Constraints: 8831
35.50/35.67 c INPROCESSING
35.50/35.67 c GARBAGE COLLECT
35.50/35.67 c bounds 3484 >= 212 @ 35.1357
35.50/35.67 c stratification level: 211
35.50/35.68 c bounds 3481 >= 212 @ 35.1474
35.50/35.68 c stratification level: 210
36.90/37.08 c #Conflicts: 47000 | #Constraints: 5437
36.90/37.08 c #Conflicts: 48000 | #Constraints: 6437
36.90/37.08 c bounds 3480 >= 212 @ 36.5194
36.90/37.08 c stratification level: 209
37.00/37.12 c bounds 3479 >= 212 @ 36.5496
37.00/37.12 c stratification level: 208
39.69/39.81 c #Conflicts: 49000 | #Constraints: 7439
39.69/39.81 c bounds 3463 >= 212 @ 39.2081
39.69/39.81 c stratification level: 207
39.69/39.84 c bounds 3460 >= 212 @ 39.2332
39.69/39.84 c stratification level: 206
39.69/39.86 c bounds 3457 >= 212 @ 39.2597
39.69/39.86 c stratification level: 205
39.79/39.97 c bounds 3454 >= 212 @ 39.3634
39.79/39.97 c stratification level: 204
39.79/39.99 c bounds 3448 >= 212 @ 39.3874
39.79/39.99 c stratification level: 203
40.09/40.28 c bounds 3416 >= 212 @ 39.6789
40.09/40.28 c stratification level: 202
40.19/40.31 c bounds 3415 >= 212 @ 39.7043
40.19/40.31 c stratification level: 201
603.42/604.96 c #Conflicts: 50000 | #Constraints: 8446
603.42/604.96 c #Conflicts: 51000 | #Constraints: 9446
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 52000 | #Constraints: 5837
603.42/604.96 c #Conflicts: 53000 | #Constraints: 6837
603.42/604.96 c #Conflicts: 54000 | #Constraints: 7837
603.42/604.96 c #Conflicts: 55000 | #Constraints: 8837
603.42/604.96 c #Conflicts: 56000 | #Constraints: 9837
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 57000 | #Constraints: 6044
603.42/604.96 c #Conflicts: 58000 | #Constraints: 7044
603.42/604.96 c #Conflicts: 59000 | #Constraints: 8044
603.42/604.96 c #Conflicts: 60000 | #Constraints: 9044
603.42/604.96 c #Conflicts: 61000 | #Constraints: 10044
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 62000 | #Constraints: 6042
603.42/604.96 c #Conflicts: 63000 | #Constraints: 7042
603.42/604.96 c #Conflicts: 64000 | #Constraints: 8042
603.42/604.96 c #Conflicts: 65000 | #Constraints: 9042
603.42/604.96 c #Conflicts: 66000 | #Constraints: 10042
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 67000 | #Constraints: 5847
603.42/604.96 c #Conflicts: 68000 | #Constraints: 6847
603.42/604.96 c #Conflicts: 69000 | #Constraints: 7847
603.42/604.96 c #Conflicts: 70000 | #Constraints: 8847
603.42/604.96 c #Conflicts: 71000 | #Constraints: 9847
603.42/604.96 c #Conflicts: 72000 | #Constraints: 10847
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 73000 | #Constraints: 6449
603.42/604.96 c #Conflicts: 74000 | #Constraints: 7449
603.42/604.96 c #Conflicts: 75000 | #Constraints: 8449
603.42/604.96 c #Conflicts: 76000 | #Constraints: 9449
603.42/604.96 c #Conflicts: 77000 | #Constraints: 10449
603.42/604.96 c #Conflicts: 78000 | #Constraints: 11449
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 79000 | #Constraints: 6855
603.42/604.96 c #Conflicts: 80000 | #Constraints: 7855
603.42/604.96 c #Conflicts: 81000 | #Constraints: 8855
603.42/604.96 c #Conflicts: 82000 | #Constraints: 9855
603.42/604.96 c #Conflicts: 83000 | #Constraints: 10855
603.42/604.96 c #Conflicts: 84000 | #Constraints: 11855
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 85000 | #Constraints: 7054
603.42/604.96 c #Conflicts: 86000 | #Constraints: 8054
603.42/604.96 c #Conflicts: 87000 | #Constraints: 9054
603.42/604.96 c #Conflicts: 88000 | #Constraints: 10054
603.42/604.96 c #Conflicts: 89000 | #Constraints: 11054
603.42/604.96 c #Conflicts: 90000 | #Constraints: 12054
603.42/604.96 c INPROCESSING
603.42/604.96 c GARBAGE COLLECT
603.42/604.96 c #Conflicts: 91000 | #Constraints: 7058
603.42/604.96 c #Conflicts: 92000 | #Constraints: 8058
603.42/604.96 c #Conflicts: 93000 | #Constraints: 9058
603.42/604.96 c #Conflicts: 94000 | #Constraints: 10058
603.42/604.96 c #Conflicts: 95000 | #Constraints: 11058
603.42/604.96 c #Conflicts: 96000 | #Constraints: 12058
603.42/604.96 c bounds 3326 >= 212 @ 598.202
603.42/604.96 c stratification level: 200
776.47/778.47 c bounds 3326 >= 412 @ 598.894
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 97000 | #Constraints: 6849
776.47/778.47 c #Conflicts: 98000 | #Constraints: 7849
776.47/778.47 c #Conflicts: 99000 | #Constraints: 8849
776.47/778.47 c #Conflicts: 100000 | #Constraints: 9849
776.47/778.47 c #Conflicts: 101000 | #Constraints: 10849
776.47/778.47 c #Conflicts: 102000 | #Constraints: 11849
776.47/778.47 c #Conflicts: 103000 | #Constraints: 12849
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 104000 | #Constraints: 7437
776.47/778.47 c #Conflicts: 105000 | #Constraints: 8437
776.47/778.47 c #Conflicts: 106000 | #Constraints: 9437
776.47/778.47 c #Conflicts: 107000 | #Constraints: 10437
776.47/778.47 c #Conflicts: 108000 | #Constraints: 11437
776.47/778.47 c #Conflicts: 109000 | #Constraints: 12437
776.47/778.47 c #Conflicts: 110000 | #Constraints: 13437
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 111000 | #Constraints: 7833
776.47/778.47 c #Conflicts: 112000 | #Constraints: 8833
776.47/778.47 c #Conflicts: 113000 | #Constraints: 9833
776.47/778.47 c #Conflicts: 114000 | #Constraints: 10833
776.47/778.47 c #Conflicts: 115000 | #Constraints: 11833
776.47/778.47 c #Conflicts: 116000 | #Constraints: 12833
776.47/778.47 c #Conflicts: 117000 | #Constraints: 13833
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 118000 | #Constraints: 8029
776.47/778.47 c #Conflicts: 119000 | #Constraints: 9029
776.47/778.47 c #Conflicts: 120000 | #Constraints: 10029
776.47/778.47 c #Conflicts: 121000 | #Constraints: 11029
776.47/778.47 c #Conflicts: 122000 | #Constraints: 12029
776.47/778.47 c #Conflicts: 123000 | #Constraints: 13029
776.47/778.47 c #Conflicts: 124000 | #Constraints: 14029
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 125000 | #Constraints: 8021
776.47/778.47 c #Conflicts: 126000 | #Constraints: 9021
776.47/778.47 c #Conflicts: 127000 | #Constraints: 10021
776.47/778.47 c #Conflicts: 128000 | #Constraints: 11021
776.47/778.47 c #Conflicts: 129000 | #Constraints: 12021
776.47/778.47 c #Conflicts: 130000 | #Constraints: 13021
776.47/778.47 c #Conflicts: 131000 | #Constraints: 14021
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 132000 | #Constraints: 7820
776.47/778.47 c #Conflicts: 133000 | #Constraints: 8820
776.47/778.47 c #Conflicts: 134000 | #Constraints: 9820
776.47/778.47 c #Conflicts: 135000 | #Constraints: 10820
776.47/778.47 c #Conflicts: 136000 | #Constraints: 11820
776.47/778.47 c #Conflicts: 137000 | #Constraints: 12820
776.47/778.47 c #Conflicts: 138000 | #Constraints: 13820
776.47/778.47 c #Conflicts: 139000 | #Constraints: 14820
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 140000 | #Constraints: 8426
776.47/778.47 c #Conflicts: 141000 | #Constraints: 9426
776.47/778.47 c #Conflicts: 142000 | #Constraints: 10426
776.47/778.47 c #Conflicts: 143000 | #Constraints: 11426
776.47/778.47 c #Conflicts: 144000 | #Constraints: 12426
776.47/778.47 c #Conflicts: 145000 | #Constraints: 13426
776.47/778.47 c #Conflicts: 146000 | #Constraints: 14426
776.47/778.47 c #Conflicts: 147000 | #Constraints: 15426
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 148000 | #Constraints: 8832
776.47/778.47 c #Conflicts: 149000 | #Constraints: 9832
776.47/778.47 c #Conflicts: 150000 | #Constraints: 10832
776.47/778.47 c #Conflicts: 151000 | #Constraints: 11832
776.47/778.47 c #Conflicts: 152000 | #Constraints: 12832
776.47/778.47 c #Conflicts: 153000 | #Constraints: 13832
776.47/778.47 c #Conflicts: 154000 | #Constraints: 14832
776.47/778.47 c #Conflicts: 155000 | #Constraints: 15832
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 156000 | #Constraints: 9027
776.47/778.47 c #Conflicts: 157000 | #Constraints: 10027
776.47/778.47 c #Conflicts: 158000 | #Constraints: 11027
776.47/778.47 c #Conflicts: 159000 | #Constraints: 12027
776.47/778.47 c #Conflicts: 160000 | #Constraints: 13027
776.47/778.47 c #Conflicts: 161000 | #Constraints: 14027
776.47/778.47 c #Conflicts: 162000 | #Constraints: 15027
776.47/778.47 c #Conflicts: 163000 | #Constraints: 16027
776.47/778.47 c INPROCESSING
776.47/778.47 c GARBAGE COLLECT
776.47/778.47 c #Conflicts: 164000 | #Constraints: 9029
776.47/778.47 c #Conflicts: 165000 | #Constraints: 10029
776.47/778.47 c #Conflicts: 166000 | #Constraints: 11029
776.47/778.47 c #Conflicts: 167000 | #Constraints: 12029
776.47/778.47 c #Conflicts: 168000 | #Constraints: 13029
987.65/990.15 c #Conflicts: 169000 | #Constraints: 14029
987.65/990.15 c #Conflicts: 170000 | #Constraints: 15029
987.65/990.15 c #Conflicts: 171000 | #Constraints: 16029
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 172000 | #Constraints: 8829
987.65/990.15 c #Conflicts: 173000 | #Constraints: 9829
987.65/990.15 c #Conflicts: 174000 | #Constraints: 10829
987.65/990.15 c #Conflicts: 175000 | #Constraints: 11829
987.65/990.15 c #Conflicts: 176000 | #Constraints: 12829
987.65/990.15 c #Conflicts: 177000 | #Constraints: 13829
987.65/990.15 c #Conflicts: 178000 | #Constraints: 14829
987.65/990.15 c #Conflicts: 179000 | #Constraints: 15829
987.65/990.15 c #Conflicts: 180000 | #Constraints: 16829
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 181000 | #Constraints: 9427
987.65/990.15 c #Conflicts: 182000 | #Constraints: 10427
987.65/990.15 c #Conflicts: 183000 | #Constraints: 11427
987.65/990.15 c #Conflicts: 184000 | #Constraints: 12427
987.65/990.15 c #Conflicts: 185000 | #Constraints: 13427
987.65/990.15 c #Conflicts: 186000 | #Constraints: 14427
987.65/990.15 c #Conflicts: 187000 | #Constraints: 15427
987.65/990.15 c #Conflicts: 188000 | #Constraints: 16427
987.65/990.15 c #Conflicts: 189000 | #Constraints: 17427
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 190000 | #Constraints: 9834
987.65/990.15 c #Conflicts: 191000 | #Constraints: 10834
987.65/990.15 c #Conflicts: 192000 | #Constraints: 11834
987.65/990.15 c #Conflicts: 193000 | #Constraints: 12834
987.65/990.15 c #Conflicts: 194000 | #Constraints: 13834
987.65/990.15 c #Conflicts: 195000 | #Constraints: 14834
987.65/990.15 c #Conflicts: 196000 | #Constraints: 15834
987.65/990.15 c #Conflicts: 197000 | #Constraints: 16834
987.65/990.15 c #Conflicts: 198000 | #Constraints: 17834
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 199000 | #Constraints: 10041
987.65/990.15 c #Conflicts: 200000 | #Constraints: 11041
987.65/990.15 c #Conflicts: 201000 | #Constraints: 12041
987.65/990.15 c #Conflicts: 202000 | #Constraints: 13041
987.65/990.15 c #Conflicts: 203000 | #Constraints: 14041
987.65/990.15 c #Conflicts: 204000 | #Constraints: 15041
987.65/990.15 c #Conflicts: 205000 | #Constraints: 16041
987.65/990.15 c #Conflicts: 206000 | #Constraints: 17041
987.65/990.15 c #Conflicts: 207000 | #Constraints: 18041
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 208000 | #Constraints: 10048
987.65/990.15 c #Conflicts: 209000 | #Constraints: 11048
987.65/990.15 c #Conflicts: 210000 | #Constraints: 12048
987.65/990.15 c #Conflicts: 211000 | #Constraints: 13048
987.65/990.15 c #Conflicts: 212000 | #Constraints: 14048
987.65/990.15 c #Conflicts: 213000 | #Constraints: 15048
987.65/990.15 c #Conflicts: 214000 | #Constraints: 16048
987.65/990.15 c #Conflicts: 215000 | #Constraints: 17048
987.65/990.15 c #Conflicts: 216000 | #Constraints: 18048
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 217000 | #Constraints: 9843
987.65/990.15 c #Conflicts: 218000 | #Constraints: 10843
987.65/990.15 c #Conflicts: 219000 | #Constraints: 11843
987.65/990.15 c #Conflicts: 220000 | #Constraints: 12843
987.65/990.15 c #Conflicts: 221000 | #Constraints: 13843
987.65/990.15 c #Conflicts: 222000 | #Constraints: 14843
987.65/990.15 c #Conflicts: 223000 | #Constraints: 15843
987.65/990.15 c #Conflicts: 224000 | #Constraints: 16843
987.65/990.15 c #Conflicts: 225000 | #Constraints: 17843
987.65/990.15 c #Conflicts: 226000 | #Constraints: 18843
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 227000 | #Constraints: 10449
987.65/990.15 c #Conflicts: 228000 | #Constraints: 11449
987.65/990.15 c #Conflicts: 229000 | #Constraints: 12449
987.65/990.15 c #Conflicts: 230000 | #Constraints: 13449
987.65/990.15 c #Conflicts: 231000 | #Constraints: 14449
987.65/990.15 c #Conflicts: 232000 | #Constraints: 15449
987.65/990.15 c #Conflicts: 233000 | #Constraints: 16449
987.65/990.15 c #Conflicts: 234000 | #Constraints: 17449
987.65/990.15 c #Conflicts: 235000 | #Constraints: 18449
987.65/990.15 c #Conflicts: 236000 | #Constraints: 19449
987.65/990.15 c INPROCESSING
987.65/990.15 c GARBAGE COLLECT
987.65/990.15 c #Conflicts: 237000 | #Constraints: 10834
987.65/990.15 c #Conflicts: 238000 | #Constraints: 11834
987.65/990.15 c #Conflicts: 239000 | #Constraints: 12834
987.65/990.15 c #Conflicts: 240000 | #Constraints: 13834
987.65/990.15 c #Conflicts: 241000 | #Constraints: 14834
987.65/990.15 c #Conflicts: 242000 | #Constraints: 15834
1202.32/1205.34 c #Conflicts: 243000 | #Constraints: 16834
1202.32/1205.34 c #Conflicts: 244000 | #Constraints: 17834
1202.32/1205.34 c #Conflicts: 245000 | #Constraints: 18834
1202.32/1205.34 c #Conflicts: 246000 | #Constraints: 19834
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 247000 | #Constraints: 11039
1202.32/1205.34 c #Conflicts: 248000 | #Constraints: 12039
1202.32/1205.34 c #Conflicts: 249000 | #Constraints: 13039
1202.32/1205.34 c #Conflicts: 250000 | #Constraints: 14039
1202.32/1205.34 c #Conflicts: 251000 | #Constraints: 15039
1202.32/1205.34 c #Conflicts: 252000 | #Constraints: 16039
1202.32/1205.34 c #Conflicts: 253000 | #Constraints: 17039
1202.32/1205.34 c #Conflicts: 254000 | #Constraints: 18039
1202.32/1205.34 c #Conflicts: 255000 | #Constraints: 19039
1202.32/1205.34 c #Conflicts: 256000 | #Constraints: 20039
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 257000 | #Constraints: 11037
1202.32/1205.34 c #Conflicts: 258000 | #Constraints: 12037
1202.32/1205.34 c #Conflicts: 259000 | #Constraints: 13037
1202.32/1205.34 c #Conflicts: 260000 | #Constraints: 14037
1202.32/1205.34 c #Conflicts: 261000 | #Constraints: 15037
1202.32/1205.34 c #Conflicts: 262000 | #Constraints: 16037
1202.32/1205.34 c #Conflicts: 263000 | #Constraints: 17037
1202.32/1205.34 c #Conflicts: 264000 | #Constraints: 18037
1202.32/1205.34 c #Conflicts: 265000 | #Constraints: 19037
1202.32/1205.34 c #Conflicts: 266000 | #Constraints: 20037
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 267000 | #Constraints: 10835
1202.32/1205.34 c #Conflicts: 268000 | #Constraints: 11835
1202.32/1205.34 c #Conflicts: 269000 | #Constraints: 12835
1202.32/1205.34 c #Conflicts: 270000 | #Constraints: 13835
1202.32/1205.34 c #Conflicts: 271000 | #Constraints: 14835
1202.32/1205.34 c #Conflicts: 272000 | #Constraints: 15835
1202.32/1205.34 c #Conflicts: 273000 | #Constraints: 16835
1202.32/1205.34 c #Conflicts: 274000 | #Constraints: 17835
1202.32/1205.34 c #Conflicts: 275000 | #Constraints: 18835
1202.32/1205.34 c #Conflicts: 276000 | #Constraints: 19835
1202.32/1205.34 c #Conflicts: 277000 | #Constraints: 20835
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 278000 | #Constraints: 11435
1202.32/1205.34 c #Conflicts: 279000 | #Constraints: 12435
1202.32/1205.34 c #Conflicts: 280000 | #Constraints: 13435
1202.32/1205.34 c #Conflicts: 281000 | #Constraints: 14435
1202.32/1205.34 c #Conflicts: 282000 | #Constraints: 15435
1202.32/1205.34 c #Conflicts: 283000 | #Constraints: 16435
1202.32/1205.34 c #Conflicts: 284000 | #Constraints: 17435
1202.32/1205.34 c #Conflicts: 285000 | #Constraints: 18435
1202.32/1205.34 c #Conflicts: 286000 | #Constraints: 19435
1202.32/1205.34 c #Conflicts: 287000 | #Constraints: 20435
1202.32/1205.34 c #Conflicts: 288000 | #Constraints: 21435
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 289000 | #Constraints: 11835
1202.32/1205.34 c #Conflicts: 290000 | #Constraints: 12835
1202.32/1205.34 c #Conflicts: 291000 | #Constraints: 13835
1202.32/1205.34 c #Conflicts: 292000 | #Constraints: 14835
1202.32/1205.34 c #Conflicts: 293000 | #Constraints: 15835
1202.32/1205.34 c #Conflicts: 294000 | #Constraints: 16835
1202.32/1205.34 c #Conflicts: 295000 | #Constraints: 17835
1202.32/1205.34 c #Conflicts: 296000 | #Constraints: 18835
1202.32/1205.34 c #Conflicts: 297000 | #Constraints: 19835
1202.32/1205.34 c #Conflicts: 298000 | #Constraints: 20835
1202.32/1205.34 c #Conflicts: 299000 | #Constraints: 21835
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 300000 | #Constraints: 12027
1202.32/1205.34 c #Conflicts: 301000 | #Constraints: 13027
1202.32/1205.34 c #Conflicts: 302000 | #Constraints: 14027
1202.32/1205.34 c #Conflicts: 303000 | #Constraints: 15027
1202.32/1205.34 c #Conflicts: 304000 | #Constraints: 16027
1202.32/1205.34 c #Conflicts: 305000 | #Constraints: 17027
1202.32/1205.34 c #Conflicts: 306000 | #Constraints: 18027
1202.32/1205.34 c #Conflicts: 307000 | #Constraints: 19027
1202.32/1205.34 c #Conflicts: 308000 | #Constraints: 20027
1202.32/1205.34 c #Conflicts: 309000 | #Constraints: 21027
1202.32/1205.34 c #Conflicts: 310000 | #Constraints: 22027
1202.32/1205.34 c INPROCESSING
1202.32/1205.34 c GARBAGE COLLECT
1202.32/1205.34 c #Conflicts: 311000 | #Constraints: 12026
1202.32/1205.34 c #Conflicts: 312000 | #Constraints: 13026
1202.32/1205.34 c #Conflicts: 313000 | #Constraints: 14026
1202.32/1205.34 c #Conflicts: 314000 | #Constraints: 15026
1202.32/1205.34 c #Conflicts: 315000 | #Constraints: 16026
1202.32/1205.34 c #Conflicts: 316000 | #Constraints: 17026
1423.70/1427.25 c #Conflicts: 317000 | #Constraints: 18026
1423.70/1427.25 c #Conflicts: 318000 | #Constraints: 19026
1423.70/1427.25 c #Conflicts: 319000 | #Constraints: 20026
1423.70/1427.25 c #Conflicts: 320000 | #Constraints: 21026
1423.70/1427.25 c #Conflicts: 321000 | #Constraints: 22026
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 322000 | #Constraints: 11838
1423.70/1427.25 c #Conflicts: 323000 | #Constraints: 12838
1423.70/1427.25 c #Conflicts: 324000 | #Constraints: 13838
1423.70/1427.25 c #Conflicts: 325000 | #Constraints: 14838
1423.70/1427.25 c #Conflicts: 326000 | #Constraints: 15838
1423.70/1427.25 c #Conflicts: 327000 | #Constraints: 16838
1423.70/1427.25 c #Conflicts: 328000 | #Constraints: 17838
1423.70/1427.25 c #Conflicts: 329000 | #Constraints: 18838
1423.70/1427.25 c #Conflicts: 330000 | #Constraints: 19838
1423.70/1427.25 c #Conflicts: 331000 | #Constraints: 20838
1423.70/1427.25 c #Conflicts: 332000 | #Constraints: 21838
1423.70/1427.25 c #Conflicts: 333000 | #Constraints: 22838
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 334000 | #Constraints: 12440
1423.70/1427.25 c #Conflicts: 335000 | #Constraints: 13440
1423.70/1427.25 c #Conflicts: 336000 | #Constraints: 14440
1423.70/1427.25 c #Conflicts: 337000 | #Constraints: 15440
1423.70/1427.25 c #Conflicts: 338000 | #Constraints: 16440
1423.70/1427.25 c #Conflicts: 339000 | #Constraints: 17440
1423.70/1427.25 c #Conflicts: 340000 | #Constraints: 18440
1423.70/1427.25 c #Conflicts: 341000 | #Constraints: 19440
1423.70/1427.25 c #Conflicts: 342000 | #Constraints: 20440
1423.70/1427.25 c #Conflicts: 343000 | #Constraints: 21440
1423.70/1427.25 c #Conflicts: 344000 | #Constraints: 22440
1423.70/1427.25 c #Conflicts: 345000 | #Constraints: 23440
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 346000 | #Constraints: 12835
1423.70/1427.25 c #Conflicts: 347000 | #Constraints: 13835
1423.70/1427.25 c #Conflicts: 348000 | #Constraints: 14835
1423.70/1427.25 c #Conflicts: 349000 | #Constraints: 15835
1423.70/1427.25 c #Conflicts: 350000 | #Constraints: 16835
1423.70/1427.25 c #Conflicts: 351000 | #Constraints: 17835
1423.70/1427.25 c #Conflicts: 352000 | #Constraints: 18835
1423.70/1427.25 c #Conflicts: 353000 | #Constraints: 19835
1423.70/1427.25 c #Conflicts: 354000 | #Constraints: 20835
1423.70/1427.25 c #Conflicts: 355000 | #Constraints: 21835
1423.70/1427.25 c #Conflicts: 356000 | #Constraints: 22835
1423.70/1427.25 c #Conflicts: 357000 | #Constraints: 23835
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 358000 | #Constraints: 13035
1423.70/1427.25 c #Conflicts: 359000 | #Constraints: 14035
1423.70/1427.25 c #Conflicts: 360000 | #Constraints: 15035
1423.70/1427.25 c #Conflicts: 361000 | #Constraints: 16035
1423.70/1427.25 c #Conflicts: 362000 | #Constraints: 17035
1423.70/1427.25 c #Conflicts: 363000 | #Constraints: 18035
1423.70/1427.25 c #Conflicts: 364000 | #Constraints: 19035
1423.70/1427.25 c #Conflicts: 365000 | #Constraints: 20035
1423.70/1427.25 c #Conflicts: 366000 | #Constraints: 21035
1423.70/1427.25 c #Conflicts: 367000 | #Constraints: 22035
1423.70/1427.25 c #Conflicts: 368000 | #Constraints: 23035
1423.70/1427.25 c #Conflicts: 369000 | #Constraints: 24035
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 370000 | #Constraints: 13034
1423.70/1427.25 c #Conflicts: 371000 | #Constraints: 14034
1423.70/1427.25 c #Conflicts: 372000 | #Constraints: 15034
1423.70/1427.25 c #Conflicts: 373000 | #Constraints: 16034
1423.70/1427.25 c #Conflicts: 374000 | #Constraints: 17034
1423.70/1427.25 c #Conflicts: 375000 | #Constraints: 18034
1423.70/1427.25 c #Conflicts: 376000 | #Constraints: 19034
1423.70/1427.25 c #Conflicts: 377000 | #Constraints: 20034
1423.70/1427.25 c #Conflicts: 378000 | #Constraints: 21034
1423.70/1427.25 c #Conflicts: 379000 | #Constraints: 22034
1423.70/1427.25 c #Conflicts: 380000 | #Constraints: 23034
1423.70/1427.25 c #Conflicts: 381000 | #Constraints: 24034
1423.70/1427.25 c INPROCESSING
1423.70/1427.25 c GARBAGE COLLECT
1423.70/1427.25 c #Conflicts: 382000 | #Constraints: 12832
1423.70/1427.25 c #Conflicts: 383000 | #Constraints: 13832
1423.70/1427.25 c #Conflicts: 384000 | #Constraints: 14832
1423.70/1427.25 c #Conflicts: 385000 | #Constraints: 15832
1423.70/1427.25 c #Conflicts: 386000 | #Constraints: 16832
1423.70/1427.25 c #Conflicts: 387000 | #Constraints: 17832
1423.70/1427.25 c #Conflicts: 388000 | #Constraints: 18832
1423.70/1427.25 c #Conflicts: 389000 | #Constraints: 19832
1423.70/1427.25 c #Conflicts: 390000 | #Constraints: 20832
1423.70/1427.25 c #Conflicts: 391000 | #Constraints: 21832
1676.81/1681.07 c #Conflicts: 392000 | #Constraints: 22832
1676.81/1681.07 c #Conflicts: 393000 | #Constraints: 23832
1676.81/1681.07 c #Conflicts: 394000 | #Constraints: 24832
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 395000 | #Constraints: 13433
1676.81/1681.07 c #Conflicts: 396000 | #Constraints: 14433
1676.81/1681.07 c #Conflicts: 397000 | #Constraints: 15433
1676.81/1681.07 c #Conflicts: 398000 | #Constraints: 16433
1676.81/1681.07 c #Conflicts: 399000 | #Constraints: 17433
1676.81/1681.07 c #Conflicts: 400000 | #Constraints: 18433
1676.81/1681.07 c #Conflicts: 401000 | #Constraints: 19433
1676.81/1681.07 c #Conflicts: 402000 | #Constraints: 20433
1676.81/1681.07 c #Conflicts: 403000 | #Constraints: 21433
1676.81/1681.07 c #Conflicts: 404000 | #Constraints: 22433
1676.81/1681.07 c #Conflicts: 405000 | #Constraints: 23433
1676.81/1681.07 c #Conflicts: 406000 | #Constraints: 24433
1676.81/1681.07 c #Conflicts: 407000 | #Constraints: 25433
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 408000 | #Constraints: 13829
1676.81/1681.07 c #Conflicts: 409000 | #Constraints: 14829
1676.81/1681.07 c #Conflicts: 410000 | #Constraints: 15829
1676.81/1681.07 c #Conflicts: 411000 | #Constraints: 16829
1676.81/1681.07 c #Conflicts: 412000 | #Constraints: 17829
1676.81/1681.07 c #Conflicts: 413000 | #Constraints: 18829
1676.81/1681.07 c #Conflicts: 414000 | #Constraints: 19829
1676.81/1681.07 c #Conflicts: 415000 | #Constraints: 20829
1676.81/1681.07 c #Conflicts: 416000 | #Constraints: 21829
1676.81/1681.07 c #Conflicts: 417000 | #Constraints: 22829
1676.81/1681.07 c #Conflicts: 418000 | #Constraints: 23829
1676.81/1681.07 c #Conflicts: 419000 | #Constraints: 24829
1676.81/1681.07 c #Conflicts: 420000 | #Constraints: 25829
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 421000 | #Constraints: 14036
1676.81/1681.07 c #Conflicts: 422000 | #Constraints: 15036
1676.81/1681.07 c #Conflicts: 423000 | #Constraints: 16036
1676.81/1681.07 c #Conflicts: 424000 | #Constraints: 17036
1676.81/1681.07 c #Conflicts: 425000 | #Constraints: 18036
1676.81/1681.07 c #Conflicts: 426000 | #Constraints: 19036
1676.81/1681.07 c #Conflicts: 427000 | #Constraints: 20036
1676.81/1681.07 c #Conflicts: 428000 | #Constraints: 21036
1676.81/1681.07 c #Conflicts: 429000 | #Constraints: 22036
1676.81/1681.07 c #Conflicts: 430000 | #Constraints: 23036
1676.81/1681.07 c #Conflicts: 431000 | #Constraints: 24036
1676.81/1681.07 c #Conflicts: 432000 | #Constraints: 25036
1676.81/1681.07 c #Conflicts: 433000 | #Constraints: 26036
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 434000 | #Constraints: 14048
1676.81/1681.07 c #Conflicts: 435000 | #Constraints: 15048
1676.81/1681.07 c #Conflicts: 436000 | #Constraints: 16048
1676.81/1681.07 c #Conflicts: 437000 | #Constraints: 17048
1676.81/1681.07 c #Conflicts: 438000 | #Constraints: 18048
1676.81/1681.07 c #Conflicts: 439000 | #Constraints: 19048
1676.81/1681.07 c #Conflicts: 440000 | #Constraints: 20048
1676.81/1681.07 c #Conflicts: 441000 | #Constraints: 21048
1676.81/1681.07 c #Conflicts: 442000 | #Constraints: 22048
1676.81/1681.07 c #Conflicts: 443000 | #Constraints: 23048
1676.81/1681.07 c #Conflicts: 444000 | #Constraints: 24048
1676.81/1681.07 c #Conflicts: 445000 | #Constraints: 25048
1676.81/1681.07 c #Conflicts: 446000 | #Constraints: 26048
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 447000 | #Constraints: 13848
1676.81/1681.07 c #Conflicts: 448000 | #Constraints: 14848
1676.81/1681.07 c #Conflicts: 449000 | #Constraints: 15848
1676.81/1681.07 c #Conflicts: 450000 | #Constraints: 16848
1676.81/1681.07 c #Conflicts: 451000 | #Constraints: 17848
1676.81/1681.07 c #Conflicts: 452000 | #Constraints: 18848
1676.81/1681.07 c #Conflicts: 453000 | #Constraints: 19848
1676.81/1681.07 c #Conflicts: 454000 | #Constraints: 20848
1676.81/1681.07 c #Conflicts: 455000 | #Constraints: 21848
1676.81/1681.07 c #Conflicts: 456000 | #Constraints: 22848
1676.81/1681.07 c #Conflicts: 457000 | #Constraints: 23848
1676.81/1681.07 c #Conflicts: 458000 | #Constraints: 24848
1676.81/1681.07 c #Conflicts: 459000 | #Constraints: 25848
1676.81/1681.07 c #Conflicts: 460000 | #Constraints: 26848
1676.81/1681.07 c INPROCESSING
1676.81/1681.07 c GARBAGE COLLECT
1676.81/1681.07 c #Conflicts: 461000 | #Constraints: 14453
1676.81/1681.07 c #Conflicts: 462000 | #Constraints: 15453
1676.81/1681.07 c #Conflicts: 463000 | #Constraints: 16453
1676.81/1681.07 c #Conflicts: 464000 | #Constraints: 17453
1676.81/1681.07 c #Conflicts: 465000 | #Constraints: 18453
1676.81/1681.07 c #Conflicts: 466000 | #Constraints: 19453
1976.89/1981.92 c #Conflicts: 467000 | #Constraints: 20453
1976.89/1981.92 c #Conflicts: 468000 | #Constraints: 21453
1976.89/1981.92 c #Conflicts: 469000 | #Constraints: 22453
1976.89/1981.92 c #Conflicts: 470000 | #Constraints: 23453
1976.89/1981.92 c #Conflicts: 471000 | #Constraints: 24453
1976.89/1981.92 c #Conflicts: 472000 | #Constraints: 25453
1976.89/1981.92 c #Conflicts: 473000 | #Constraints: 26453
1976.89/1981.92 c #Conflicts: 474000 | #Constraints: 27453
1976.89/1981.92 c INPROCESSING
1976.89/1981.92 c GARBAGE COLLECT
1976.89/1981.92 c #Conflicts: 475000 | #Constraints: 14845
1976.89/1981.92 c #Conflicts: 476000 | #Constraints: 15845
1976.89/1981.92 c #Conflicts: 477000 | #Constraints: 16845
1976.89/1981.92 c #Conflicts: 478000 | #Constraints: 17845
1976.89/1981.92 c #Conflicts: 479000 | #Constraints: 18845
1976.89/1981.92 c #Conflicts: 480000 | #Constraints: 19845
1976.89/1981.92 c #Conflicts: 481000 | #Constraints: 20845
1976.89/1981.92 c #Conflicts: 482000 | #Constraints: 21845
1976.89/1981.92 c #Conflicts: 483000 | #Constraints: 22845
1976.89/1981.92 c #Conflicts: 484000 | #Constraints: 23845
1976.89/1981.92 c #Conflicts: 485000 | #Constraints: 24845
1976.89/1981.92 c #Conflicts: 486000 | #Constraints: 25845
1976.89/1981.92 c #Conflicts: 487000 | #Constraints: 26845
1976.89/1981.92 c #Conflicts: 488000 | #Constraints: 27845
1976.89/1981.92 c INPROCESSING
1976.89/1981.92 c GARBAGE COLLECT
1976.89/1981.92 c #Conflicts: 489000 | #Constraints: 15039
1976.89/1981.92 c #Conflicts: 490000 | #Constraints: 16039
1976.89/1981.92 c #Conflicts: 491000 | #Constraints: 17039
1976.89/1981.92 c #Conflicts: 492000 | #Constraints: 18039
1976.89/1981.92 c #Conflicts: 493000 | #Constraints: 19039
1976.89/1981.92 c #Conflicts: 494000 | #Constraints: 20039
1976.89/1981.92 c #Conflicts: 495000 | #Constraints: 21039
1976.89/1981.92 c #Conflicts: 496000 | #Constraints: 22039
1976.89/1981.92 c #Conflicts: 497000 | #Constraints: 23039
1976.89/1981.92 c #Conflicts: 498000 | #Constraints: 24039
1976.89/1981.92 c #Conflicts: 499000 | #Constraints: 25039
1976.89/1981.92 c #Conflicts: 500000 | #Constraints: 26039
1976.89/1981.92 c #Conflicts: 501000 | #Constraints: 27039
1976.89/1981.92 c #Conflicts: 502000 | #Constraints: 28039
1976.89/1981.92 c INPROCESSING
1976.89/1981.92 c GARBAGE COLLECT
1976.89/1981.92 c #Conflicts: 503000 | #Constraints: 15042
1976.89/1981.92 c #Conflicts: 504000 | #Constraints: 16042
1976.89/1981.92 c #Conflicts: 505000 | #Constraints: 17042
1976.89/1981.92 c #Conflicts: 506000 | #Constraints: 18042
1976.89/1981.92 c #Conflicts: 507000 | #Constraints: 19042
1976.89/1981.92 c #Conflicts: 508000 | #Constraints: 20042
1976.89/1981.92 c #Conflicts: 509000 | #Constraints: 21042
1976.89/1981.92 c #Conflicts: 510000 | #Constraints: 22042
1976.89/1981.92 c #Conflicts: 511000 | #Constraints: 23042
1976.89/1981.92 c #Conflicts: 512000 | #Constraints: 24042
1976.89/1981.92 c #Conflicts: 513000 | #Constraints: 25042
1976.89/1981.92 c #Conflicts: 514000 | #Constraints: 26042
1976.89/1981.92 c #Conflicts: 515000 | #Constraints: 27042
1976.89/1981.92 c #Conflicts: 516000 | #Constraints: 28042
1976.89/1981.92 c INPROCESSING
1976.89/1981.92 c GARBAGE COLLECT
1976.89/1981.92 c #Conflicts: 517000 | #Constraints: 14841
1976.89/1981.92 c #Conflicts: 518000 | #Constraints: 15841
1976.89/1981.92 c #Conflicts: 519000 | #Constraints: 16841
1976.89/1981.92 c #Conflicts: 520000 | #Constraints: 17841
1976.89/1981.92 c #Conflicts: 521000 | #Constraints: 18841
1976.89/1981.92 c #Conflicts: 522000 | #Constraints: 19841
1976.89/1981.92 c #Conflicts: 523000 | #Constraints: 20841
1976.89/1981.92 c #Conflicts: 524000 | #Constraints: 21841
1976.89/1981.92 c #Conflicts: 525000 | #Constraints: 22841
1976.89/1981.92 c #Conflicts: 526000 | #Constraints: 23841
1976.89/1981.92 c #Conflicts: 527000 | #Constraints: 24841
1976.89/1981.92 c #Conflicts: 528000 | #Constraints: 25841
1976.89/1981.92 c #Conflicts: 529000 | #Constraints: 26841
1976.89/1981.92 c #Conflicts: 530000 | #Constraints: 27841
1976.89/1981.92 c #Conflicts: 531000 | #Constraints: 28841
1976.89/1981.92 c INPROCESSING
1976.89/1981.92 c GARBAGE COLLECT
1976.89/1981.92 c #Conflicts: 532000 | #Constraints: 15445
1976.89/1981.92 c #Conflicts: 533000 | #Constraints: 16445
1976.89/1981.92 c #Conflicts: 534000 | #Constraints: 17445
1976.89/1981.92 c #Conflicts: 535000 | #Constraints: 18445
1976.89/1981.92 c #Conflicts: 536000 | #Constraints: 19445
1976.89/1981.92 c #Conflicts: 537000 | #Constraints: 20445
1976.89/1981.92 c #Conflicts: 538000 | #Constraints: 21445
1976.89/1981.92 c #Conflicts: 539000 | #Constraints: 22445
1976.89/1981.92 c #Conflicts: 540000 | #Constraints: 23445
1976.89/1981.92 c #Conflicts: 541000 | #Constraints: 24445
1976.89/1981.92 c #Conflicts: 542000 | #Constraints: 25445
2288.03/2293.90 c #Conflicts: 543000 | #Constraints: 26445
2288.03/2293.90 c #Conflicts: 544000 | #Constraints: 27445
2288.03/2293.90 c #Conflicts: 545000 | #Constraints: 28445
2288.03/2293.90 c #Conflicts: 546000 | #Constraints: 29445
2288.03/2293.90 c INPROCESSING
2288.03/2293.90 c GARBAGE COLLECT
2288.03/2293.90 c #Conflicts: 547000 | #Constraints: 15847
2288.03/2293.90 c #Conflicts: 548000 | #Constraints: 16847
2288.03/2293.90 c #Conflicts: 549000 | #Constraints: 17847
2288.03/2293.90 c #Conflicts: 550000 | #Constraints: 18847
2288.03/2293.90 c #Conflicts: 551000 | #Constraints: 19847
2288.03/2293.90 c #Conflicts: 552000 | #Constraints: 20847
2288.03/2293.90 c #Conflicts: 553000 | #Constraints: 21847
2288.03/2293.90 c #Conflicts: 554000 | #Constraints: 22847
2288.03/2293.90 c #Conflicts: 555000 | #Constraints: 23847
2288.03/2293.90 c #Conflicts: 556000 | #Constraints: 24847
2288.03/2293.90 c #Conflicts: 557000 | #Constraints: 25847
2288.03/2293.90 c #Conflicts: 558000 | #Constraints: 26847
2288.03/2293.90 c #Conflicts: 559000 | #Constraints: 27847
2288.03/2293.90 c #Conflicts: 560000 | #Constraints: 28847
2288.03/2293.90 c #Conflicts: 561000 | #Constraints: 29847
2288.03/2293.90 c INPROCESSING
2288.03/2293.90 c GARBAGE COLLECT
2288.03/2293.90 c #Conflicts: 562000 | #Constraints: 16042
2288.03/2293.90 c #Conflicts: 563000 | #Constraints: 17042
2288.03/2293.90 c #Conflicts: 564000 | #Constraints: 18042
2288.03/2293.90 c #Conflicts: 565000 | #Constraints: 19042
2288.03/2293.90 c #Conflicts: 566000 | #Constraints: 20042
2288.03/2293.90 c #Conflicts: 567000 | #Constraints: 21042
2288.03/2293.90 c #Conflicts: 568000 | #Constraints: 22042
2288.03/2293.90 c #Conflicts: 569000 | #Constraints: 23042
2288.03/2293.90 c #Conflicts: 570000 | #Constraints: 24042
2288.03/2293.90 c #Conflicts: 571000 | #Constraints: 25042
2288.03/2293.90 c #Conflicts: 572000 | #Constraints: 26042
2288.03/2293.90 c #Conflicts: 573000 | #Constraints: 27042
2288.03/2293.90 c #Conflicts: 574000 | #Constraints: 28042
2288.03/2293.90 c #Conflicts: 575000 | #Constraints: 29042
2288.03/2293.90 c #Conflicts: 576000 | #Constraints: 30042
2288.03/2293.90 c INPROCESSING
2288.03/2293.90 c GARBAGE COLLECT
2288.03/2293.90 c #Conflicts: 577000 | #Constraints: 16042
2288.03/2293.90 c #Conflicts: 578000 | #Constraints: 17042
2288.03/2293.90 c #Conflicts: 579000 | #Constraints: 18042
2288.03/2293.90 c #Conflicts: 580000 | #Constraints: 19042
2288.03/2293.90 c #Conflicts: 581000 | #Constraints: 20042
2288.03/2293.90 c #Conflicts: 582000 | #Constraints: 21042
2288.03/2293.90 c #Conflicts: 583000 | #Constraints: 22042
2288.03/2293.90 c #Conflicts: 584000 | #Constraints: 23042
2288.03/2293.90 c #Conflicts: 585000 | #Constraints: 24042
2288.03/2293.90 c #Conflicts: 586000 | #Constraints: 25042
2288.03/2293.90 c #Conflicts: 587000 | #Constraints: 26042
2288.03/2293.90 c #Conflicts: 588000 | #Constraints: 27042
2288.03/2293.90 c #Conflicts: 589000 | #Constraints: 28042
2288.03/2293.90 c #Conflicts: 590000 | #Constraints: 29042
2288.03/2293.90 c #Conflicts: 591000 | #Constraints: 30042
2288.03/2293.90 c INPROCESSING
2288.03/2293.90 c GARBAGE COLLECT
2288.03/2293.90 c #Conflicts: 592000 | #Constraints: 15838
2288.03/2293.90 c #Conflicts: 593000 | #Constraints: 16838
2288.03/2293.90 c #Conflicts: 594000 | #Constraints: 17838
2288.03/2293.90 c #Conflicts: 595000 | #Constraints: 18838
2288.03/2293.90 c #Conflicts: 596000 | #Constraints: 19838
2288.03/2293.90 c #Conflicts: 597000 | #Constraints: 20838
2288.03/2293.90 c #Conflicts: 598000 | #Constraints: 21838
2288.03/2293.90 c #Conflicts: 599000 | #Constraints: 22838
2288.03/2293.90 c #Conflicts: 600000 | #Constraints: 23838
2288.03/2293.90 c #Conflicts: 601000 | #Constraints: 24838
2288.03/2293.90 c #Conflicts: 602000 | #Constraints: 25838
2288.03/2293.90 c #Conflicts: 603000 | #Constraints: 26838
2288.03/2293.90 c #Conflicts: 604000 | #Constraints: 27838
2288.03/2293.90 c #Conflicts: 605000 | #Constraints: 28838
2288.03/2293.90 c #Conflicts: 606000 | #Constraints: 29838
2288.03/2293.90 c #Conflicts: 607000 | #Constraints: 30838
2288.03/2293.90 c INPROCESSING
2288.03/2293.90 c GARBAGE COLLECT
2288.03/2293.90 c #Conflicts: 608000 | #Constraints: 16439
2288.03/2293.90 c #Conflicts: 609000 | #Constraints: 17439
2288.03/2293.90 c #Conflicts: 610000 | #Constraints: 18439
2288.03/2293.90 c #Conflicts: 611000 | #Constraints: 19439
2288.03/2293.90 c #Conflicts: 612000 | #Constraints: 20439
2288.03/2293.90 c #Conflicts: 613000 | #Constraints: 21439
2288.03/2293.90 c #Conflicts: 614000 | #Constraints: 22439
2288.03/2293.90 c #Conflicts: 615000 | #Constraints: 23439
2288.03/2293.90 c #Conflicts: 616000 | #Constraints: 24439
2288.03/2293.90 c #Conflicts: 617000 | #Constraints: 25439
2621.55/2628.39 c #Conflicts: 618000 | #Constraints: 26439
2621.55/2628.39 c #Conflicts: 619000 | #Constraints: 27439
2621.55/2628.39 c #Conflicts: 620000 | #Constraints: 28439
2621.55/2628.39 c #Conflicts: 621000 | #Constraints: 29439
2621.55/2628.39 c #Conflicts: 622000 | #Constraints: 30439
2621.55/2628.39 c #Conflicts: 623000 | #Constraints: 31439
2621.55/2628.39 c INPROCESSING
2621.55/2628.39 c GARBAGE COLLECT
2621.55/2628.39 c #Conflicts: 624000 | #Constraints: 16836
2621.55/2628.39 c #Conflicts: 625000 | #Constraints: 17836
2621.55/2628.39 c #Conflicts: 626000 | #Constraints: 18836
2621.55/2628.39 c #Conflicts: 627000 | #Constraints: 19836
2621.55/2628.39 c #Conflicts: 628000 | #Constraints: 20836
2621.55/2628.39 c #Conflicts: 629000 | #Constraints: 21836
2621.55/2628.39 c #Conflicts: 630000 | #Constraints: 22836
2621.55/2628.39 c #Conflicts: 631000 | #Constraints: 23836
2621.55/2628.39 c #Conflicts: 632000 | #Constraints: 24836
2621.55/2628.39 c #Conflicts: 633000 | #Constraints: 25836
2621.55/2628.39 c #Conflicts: 634000 | #Constraints: 26836
2621.55/2628.39 c #Conflicts: 635000 | #Constraints: 27836
2621.55/2628.39 c #Conflicts: 636000 | #Constraints: 28836
2621.55/2628.39 c #Conflicts: 637000 | #Constraints: 29836
2621.55/2628.39 c #Conflicts: 638000 | #Constraints: 30836
2621.55/2628.39 c #Conflicts: 639000 | #Constraints: 31836
2621.55/2628.39 c INPROCESSING
2621.55/2628.39 c GARBAGE COLLECT
2621.55/2628.39 c #Conflicts: 640000 | #Constraints: 17044
2621.55/2628.39 c #Conflicts: 641000 | #Constraints: 18044
2621.55/2628.39 c #Conflicts: 642000 | #Constraints: 19044
2621.55/2628.39 c #Conflicts: 643000 | #Constraints: 20044
2621.55/2628.39 c #Conflicts: 644000 | #Constraints: 21044
2621.55/2628.39 c #Conflicts: 645000 | #Constraints: 22044
2621.55/2628.39 c #Conflicts: 646000 | #Constraints: 23044
2621.55/2628.39 c #Conflicts: 647000 | #Constraints: 24044
2621.55/2628.39 c #Conflicts: 648000 | #Constraints: 25044
2621.55/2628.39 c #Conflicts: 649000 | #Constraints: 26044
2621.55/2628.39 c #Conflicts: 650000 | #Constraints: 27044
2621.55/2628.39 c #Conflicts: 651000 | #Constraints: 28044
2621.55/2628.39 c #Conflicts: 652000 | #Constraints: 29044
2621.55/2628.39 c #Conflicts: 653000 | #Constraints: 30044
2621.55/2628.39 c #Conflicts: 654000 | #Constraints: 31044
2621.55/2628.39 c #Conflicts: 655000 | #Constraints: 32044
2621.55/2628.39 c INPROCESSING
2621.55/2628.39 c GARBAGE COLLECT
2621.55/2628.39 c #Conflicts: 656000 | #Constraints: 17051
2621.55/2628.39 c #Conflicts: 657000 | #Constraints: 18051
2621.55/2628.39 c #Conflicts: 658000 | #Constraints: 19051
2621.55/2628.39 c #Conflicts: 659000 | #Constraints: 20051
2621.55/2628.39 c #Conflicts: 660000 | #Constraints: 21051
2621.55/2628.39 c #Conflicts: 661000 | #Constraints: 22051
2621.55/2628.39 c #Conflicts: 662000 | #Constraints: 23051
2621.55/2628.39 c #Conflicts: 663000 | #Constraints: 24051
2621.55/2628.39 c #Conflicts: 664000 | #Constraints: 25051
2621.55/2628.39 c #Conflicts: 665000 | #Constraints: 26051
2621.55/2628.39 c #Conflicts: 666000 | #Constraints: 27051
2621.55/2628.39 c #Conflicts: 667000 | #Constraints: 28051
2621.55/2628.39 c #Conflicts: 668000 | #Constraints: 29051
2621.55/2628.39 c #Conflicts: 669000 | #Constraints: 30051
2621.55/2628.39 c #Conflicts: 670000 | #Constraints: 31051
2621.55/2628.39 c #Conflicts: 671000 | #Constraints: 32051
2621.55/2628.39 c INPROCESSING
2621.55/2628.39 c GARBAGE COLLECT
2621.55/2628.39 c #Conflicts: 672000 | #Constraints: 16841
2621.55/2628.39 c #Conflicts: 673000 | #Constraints: 17841
2621.55/2628.39 c #Conflicts: 674000 | #Constraints: 18841
2621.55/2628.39 c #Conflicts: 675000 | #Constraints: 19841
2621.55/2628.39 c #Conflicts: 676000 | #Constraints: 20841
2621.55/2628.39 c #Conflicts: 677000 | #Constraints: 21841
2621.55/2628.39 c #Conflicts: 678000 | #Constraints: 22841
2621.55/2628.39 c #Conflicts: 679000 | #Constraints: 23841
2621.55/2628.39 c #Conflicts: 680000 | #Constraints: 24841
2621.55/2628.39 c #Conflicts: 681000 | #Constraints: 25841
2621.55/2628.39 c #Conflicts: 682000 | #Constraints: 26841
2621.55/2628.39 c #Conflicts: 683000 | #Constraints: 27841
2621.55/2628.39 c #Conflicts: 684000 | #Constraints: 28841
2621.55/2628.39 c #Conflicts: 685000 | #Constraints: 29841
2621.55/2628.39 c #Conflicts: 686000 | #Constraints: 30841
2621.55/2628.39 c #Conflicts: 687000 | #Constraints: 31841
2621.55/2628.39 c #Conflicts: 688000 | #Constraints: 32841
2621.55/2628.39 c INPROCESSING
2621.55/2628.39 c GARBAGE COLLECT
2621.55/2628.39 c #Conflicts: 689000 | #Constraints: 17443
2621.55/2628.39 c #Conflicts: 690000 | #Constraints: 18443
2621.55/2628.39 c #Conflicts: 691000 | #Constraints: 19443
2621.55/2628.39 c #Conflicts: 692000 | #Constraints: 20443
2621.55/2628.39 c #Conflicts: 693000 | #Constraints: 21443
3022.67/3030.53 c #Conflicts: 694000 | #Constraints: 22443
3022.67/3030.53 c #Conflicts: 695000 | #Constraints: 23443
3022.67/3030.53 c #Conflicts: 696000 | #Constraints: 24443
3022.67/3030.53 c #Conflicts: 697000 | #Constraints: 25443
3022.67/3030.53 c #Conflicts: 698000 | #Constraints: 26443
3022.67/3030.53 c #Conflicts: 699000 | #Constraints: 27443
3022.67/3030.53 c #Conflicts: 700000 | #Constraints: 28443
3022.67/3030.53 c #Conflicts: 701000 | #Constraints: 29443
3022.67/3030.53 c #Conflicts: 702000 | #Constraints: 30443
3022.67/3030.53 c #Conflicts: 703000 | #Constraints: 31443
3022.67/3030.53 c #Conflicts: 704000 | #Constraints: 32443
3022.67/3030.53 c #Conflicts: 705000 | #Constraints: 33443
3022.67/3030.53 c INPROCESSING
3022.67/3030.53 c GARBAGE COLLECT
3022.67/3030.53 c #Conflicts: 706000 | #Constraints: 17842
3022.67/3030.53 c #Conflicts: 707000 | #Constraints: 18842
3022.67/3030.53 c #Conflicts: 708000 | #Constraints: 19842
3022.67/3030.53 c #Conflicts: 709000 | #Constraints: 20842
3022.67/3030.53 c #Conflicts: 710000 | #Constraints: 21842
3022.67/3030.53 c #Conflicts: 711000 | #Constraints: 22842
3022.67/3030.53 c #Conflicts: 712000 | #Constraints: 23842
3022.67/3030.53 c #Conflicts: 713000 | #Constraints: 24842
3022.67/3030.53 c #Conflicts: 714000 | #Constraints: 25842
3022.67/3030.53 c #Conflicts: 715000 | #Constraints: 26842
3022.67/3030.53 c #Conflicts: 716000 | #Constraints: 27842
3022.67/3030.53 c #Conflicts: 717000 | #Constraints: 28842
3022.67/3030.53 c #Conflicts: 718000 | #Constraints: 29842
3022.67/3030.53 c #Conflicts: 719000 | #Constraints: 30842
3022.67/3030.53 c #Conflicts: 720000 | #Constraints: 31842
3022.67/3030.53 c #Conflicts: 721000 | #Constraints: 32842
3022.67/3030.53 c #Conflicts: 722000 | #Constraints: 33842
3022.67/3030.53 c INPROCESSING
3022.67/3030.53 c GARBAGE COLLECT
3022.67/3030.53 c #Conflicts: 723000 | #Constraints: 18046
3022.67/3030.53 c #Conflicts: 724000 | #Constraints: 19046
3022.67/3030.53 c #Conflicts: 725000 | #Constraints: 20046
3022.67/3030.53 c #Conflicts: 726000 | #Constraints: 21046
3022.67/3030.53 c #Conflicts: 727000 | #Constraints: 22046
3022.67/3030.53 c #Conflicts: 728000 | #Constraints: 23046
3022.67/3030.53 c #Conflicts: 729000 | #Constraints: 24046
3022.67/3030.53 c #Conflicts: 730000 | #Constraints: 25046
3022.67/3030.53 c #Conflicts: 731000 | #Constraints: 26046
3022.67/3030.53 c #Conflicts: 732000 | #Constraints: 27046
3022.67/3030.53 c #Conflicts: 733000 | #Constraints: 28046
3022.67/3030.53 c #Conflicts: 734000 | #Constraints: 29046
3022.67/3030.53 c #Conflicts: 735000 | #Constraints: 30046
3022.67/3030.53 c #Conflicts: 736000 | #Constraints: 31046
3022.67/3030.53 c #Conflicts: 737000 | #Constraints: 32046
3022.67/3030.53 c #Conflicts: 738000 | #Constraints: 33046
3022.67/3030.53 c #Conflicts: 739000 | #Constraints: 34046
3022.67/3030.53 c INPROCESSING
3022.67/3030.53 c GARBAGE COLLECT
3022.67/3030.53 c #Conflicts: 740000 | #Constraints: 18058
3022.67/3030.53 c #Conflicts: 741000 | #Constraints: 19058
3022.67/3030.53 c #Conflicts: 742000 | #Constraints: 20058
3022.67/3030.53 c #Conflicts: 743000 | #Constraints: 21058
3022.67/3030.53 c #Conflicts: 744000 | #Constraints: 22058
3022.67/3030.53 c #Conflicts: 745000 | #Constraints: 23058
3022.67/3030.53 c #Conflicts: 746000 | #Constraints: 24058
3022.67/3030.53 c #Conflicts: 747000 | #Constraints: 25058
3022.67/3030.53 c #Conflicts: 748000 | #Constraints: 26058
3022.67/3030.53 c #Conflicts: 749000 | #Constraints: 27058
3022.67/3030.53 c #Conflicts: 750000 | #Constraints: 28058
3022.67/3030.53 c #Conflicts: 751000 | #Constraints: 29058
3022.67/3030.53 c #Conflicts: 752000 | #Constraints: 30058
3022.67/3030.53 c #Conflicts: 753000 | #Constraints: 31058
3022.67/3030.53 c #Conflicts: 754000 | #Constraints: 32058
3022.67/3030.53 c #Conflicts: 755000 | #Constraints: 33058
3022.67/3030.53 c #Conflicts: 756000 | #Constraints: 34058
3022.67/3030.53 c INPROCESSING
3022.67/3030.53 c GARBAGE COLLECT
3022.67/3030.53 c #Conflicts: 757000 | #Constraints: 17846
3022.67/3030.53 c #Conflicts: 758000 | #Constraints: 18846
3022.67/3030.53 c #Conflicts: 759000 | #Constraints: 19846
3022.67/3030.53 c #Conflicts: 760000 | #Constraints: 20846
3022.67/3030.53 c #Conflicts: 761000 | #Constraints: 21846
3022.67/3030.53 c #Conflicts: 762000 | #Constraints: 22846
3022.67/3030.53 c #Conflicts: 763000 | #Constraints: 23846
3022.67/3030.53 c #Conflicts: 764000 | #Constraints: 24846
3022.67/3030.53 c #Conflicts: 765000 | #Constraints: 25846
3022.67/3030.53 c #Conflicts: 766000 | #Constraints: 26846
3022.67/3030.53 c #Conflicts: 767000 | #Constraints: 27846
3022.67/3030.53 c #Conflicts: 768000 | #Constraints: 28846
3022.67/3030.53 c #Conflicts: 769000 | #Constraints: 29846
3513.17/3522.32 c #Conflicts: 770000 | #Constraints: 30846
3513.17/3522.32 c #Conflicts: 771000 | #Constraints: 31846
3513.17/3522.32 c #Conflicts: 772000 | #Constraints: 32846
3513.17/3522.32 c #Conflicts: 773000 | #Constraints: 33846
3513.17/3522.32 c #Conflicts: 774000 | #Constraints: 34846
3513.17/3522.32 c INPROCESSING
3513.17/3522.32 c GARBAGE COLLECT
3513.17/3522.32 c #Conflicts: 775000 | #Constraints: 18452
3513.17/3522.32 c #Conflicts: 776000 | #Constraints: 19452
3513.17/3522.32 c #Conflicts: 777000 | #Constraints: 20452
3513.17/3522.32 c #Conflicts: 778000 | #Constraints: 21452
3513.17/3522.32 c #Conflicts: 779000 | #Constraints: 22452
3513.17/3522.32 c #Conflicts: 780000 | #Constraints: 23452
3513.17/3522.32 c #Conflicts: 781000 | #Constraints: 24452
3513.17/3522.32 c #Conflicts: 782000 | #Constraints: 25452
3513.17/3522.32 c #Conflicts: 783000 | #Constraints: 26452
3513.17/3522.32 c #Conflicts: 784000 | #Constraints: 27452
3513.17/3522.32 c #Conflicts: 785000 | #Constraints: 28452
3513.17/3522.32 c #Conflicts: 786000 | #Constraints: 29452
3513.17/3522.32 c #Conflicts: 787000 | #Constraints: 30452
3513.17/3522.32 c #Conflicts: 788000 | #Constraints: 31452
3513.17/3522.32 c #Conflicts: 789000 | #Constraints: 32452
3513.17/3522.32 c #Conflicts: 790000 | #Constraints: 33452
3513.17/3522.32 c #Conflicts: 791000 | #Constraints: 34452
3513.17/3522.32 c #Conflicts: 792000 | #Constraints: 35452
3513.17/3522.32 c INPROCESSING
3513.17/3522.32 c GARBAGE COLLECT
3513.17/3522.32 c #Conflicts: 793000 | #Constraints: 18843
3513.17/3522.32 c #Conflicts: 794000 | #Constraints: 19843
3513.17/3522.32 c #Conflicts: 795000 | #Constraints: 20843
3513.17/3522.32 c #Conflicts: 796000 | #Constraints: 21843
3513.17/3522.32 c #Conflicts: 797000 | #Constraints: 22843
3513.17/3522.32 c #Conflicts: 798000 | #Constraints: 23843
3513.17/3522.32 c #Conflicts: 799000 | #Constraints: 24843
3513.17/3522.32 c #Conflicts: 800000 | #Constraints: 25843
3513.17/3522.32 c #Conflicts: 801000 | #Constraints: 26843
3513.17/3522.32 c #Conflicts: 802000 | #Constraints: 27843
3513.17/3522.32 c #Conflicts: 803000 | #Constraints: 28843
3513.17/3522.32 c #Conflicts: 804000 | #Constraints: 29843
3513.17/3522.32 c #Conflicts: 805000 | #Constraints: 30843
3513.17/3522.32 c #Conflicts: 806000 | #Constraints: 31843
3513.17/3522.32 c #Conflicts: 807000 | #Constraints: 32843
3513.17/3522.32 c #Conflicts: 808000 | #Constraints: 33843
3513.17/3522.32 c #Conflicts: 809000 | #Constraints: 34843
3513.17/3522.32 c #Conflicts: 810000 | #Constraints: 35843
3513.17/3522.32 c INPROCESSING
3513.17/3522.32 c GARBAGE COLLECT
3513.17/3522.32 c #Conflicts: 811000 | #Constraints: 19046
3513.17/3522.32 c #Conflicts: 812000 | #Constraints: 20046
3513.17/3522.32 c #Conflicts: 813000 | #Constraints: 21046
3513.17/3522.32 c #Conflicts: 814000 | #Constraints: 22046
3513.17/3522.32 c #Conflicts: 815000 | #Constraints: 23046
3513.17/3522.32 c #Conflicts: 816000 | #Constraints: 24046
3513.17/3522.32 c #Conflicts: 817000 | #Constraints: 25046
3513.17/3522.32 c #Conflicts: 818000 | #Constraints: 26046
3513.17/3522.32 c #Conflicts: 819000 | #Constraints: 27046
3513.17/3522.32 c #Conflicts: 820000 | #Constraints: 28046
3513.17/3522.32 c #Conflicts: 821000 | #Constraints: 29046
3513.17/3522.32 c #Conflicts: 822000 | #Constraints: 30046
3513.17/3522.32 c #Conflicts: 823000 | #Constraints: 31046
3513.17/3522.32 c #Conflicts: 824000 | #Constraints: 32046
3513.17/3522.32 c #Conflicts: 825000 | #Constraints: 33046
3513.17/3522.32 c #Conflicts: 826000 | #Constraints: 34046
3513.17/3522.32 c #Conflicts: 827000 | #Constraints: 35046
3513.17/3522.32 c #Conflicts: 828000 | #Constraints: 36046
3513.17/3522.32 c INPROCESSING
3513.17/3522.32 c GARBAGE COLLECT
3513.17/3522.32 c #Conflicts: 829000 | #Constraints: 19046
3513.17/3522.32 c #Conflicts: 830000 | #Constraints: 20046
3513.17/3522.32 c #Conflicts: 831000 | #Constraints: 21046
3513.17/3522.32 c #Conflicts: 832000 | #Constraints: 22046
3513.17/3522.32 c #Conflicts: 833000 | #Constraints: 23046
3513.17/3522.32 c #Conflicts: 834000 | #Constraints: 24046
3513.17/3522.32 c #Conflicts: 835000 | #Constraints: 25046
3513.17/3522.32 c #Conflicts: 836000 | #Constraints: 26046
3513.17/3522.32 c #Conflicts: 837000 | #Constraints: 27046
3513.17/3522.32 c #Conflicts: 838000 | #Constraints: 28046
3513.17/3522.32 c #Conflicts: 839000 | #Constraints: 29046
3513.17/3522.32 c #Conflicts: 840000 | #Constraints: 30046
3513.17/3522.32 c #Conflicts: 841000 | #Constraints: 31046
3513.17/3522.32 c #Conflicts: 842000 | #Constraints: 32046
3513.17/3522.32 c #Conflicts: 843000 | #Constraints: 33046
3513.17/3522.32 c #Conflicts: 844000 | #Constraints: 34046
3513.17/3522.32 c #Conflicts: 845000 | #Constraints: 35046
3513.17/3522.32 c #Conflicts: 846000 | #Constraints: 36046
3600.03/3609.40 c INPROCESSING
3600.03/3609.40 c GARBAGE COLLECT
3600.03/3609.40 c #Conflicts: 847000 | #Constraints: 18831
3600.03/3609.40 c #Conflicts: 848000 | #Constraints: 19831
3600.03/3609.40 c #Conflicts: 849000 | #Constraints: 20831
3600.03/3609.40 c #Conflicts: 850000 | #Constraints: 21831
3600.03/3609.40 c #Conflicts: 851000 | #Constraints: 22831
3600.03/3609.40 c #Conflicts: 852000 | #Constraints: 23831
3600.03/3609.40 c #Conflicts: 853000 | #Constraints: 24831
3600.03/3609.40 c #Conflicts: 854000 | #Constraints: 25831
3600.03/3609.40 c #Conflicts: 855000 | #Constraints: 26831
3600.03/3609.40 c #Conflicts: 856000 | #Constraints: 27831
3600.03/3609.40 c #Conflicts: 857000 | #Constraints: 28831
3600.03/3609.40 c #Conflicts: 858000 | #Constraints: 29831
3600.03/3609.40 c #Conflicts: 859000 | #Constraints: 30831
3600.03/3609.40 c #Conflicts: 860000 | #Constraints: 31831
3600.03/3609.40 c #Conflicts: 861000 | #Constraints: 32831
3600.03/3609.40 c Program interrupted by user.
3600.03/3609.40 c cpu time 3586.39 s
3600.03/3609.40 c deterministic time 352380430869 3.52e+11
3600.03/3609.40 c optimization time 83.4759 s
3600.03/3609.40 c total solve time 3502.91 s
3600.03/3609.40 c core-guided solve time 3502.91 s
3600.03/3609.40 c propagation time 2900.69 s
3600.03/3609.40 c conflict analysis time 615.764 s
3600.03/3609.40 c propagations 73482552
3600.03/3609.40 c resolve steps 6566119
3600.03/3609.40 c decisions 8997116
3600.03/3609.40 c conflicts 861237
3600.03/3609.40 c restarts 1851
3600.03/3609.40 c inprocessing phases 83
3600.03/3609.40 c input clauses 83
3600.03/3609.40 c input cardinalities 86
3600.03/3609.40 c input general constraints 40
3600.03/3609.40 c input average constraint length 244.03
3600.03/3609.40 c input average constraint degree 33322.44
3600.03/3609.40 c learned clauses 81162
3600.03/3609.40 c learned cardinalities 1896
3600.03/3609.40 c learned general constraints 778178
3600.03/3609.40 c learned average constraint length 634.24
3600.03/3609.40 c learned average constraint degree 11147267.13
3600.03/3609.40 c watched constraints 356718
3600.03/3609.40 c counting constraints 421500
3600.03/3609.40 c gcd simplifications 9665
3600.03/3609.40 c detected cardinalities 0
3600.03/3609.40 c weakened non-implied lits 167919711
3600.03/3609.40 c weakened non-implying lits 423013
3600.03/3609.40 c original variables 1086
3600.03/3609.40 c clausal propagations 1026981
3600.03/3609.40 c cardinality propagations 30944334
3600.03/3609.40 c watched propagations 2575441
3600.03/3609.40 c counting propagations 38255531
3600.03/3609.40 c watch lookups 70489212624
3600.03/3609.40 c watch backjump lookups 69528511753
3600.03/3609.40 c watch checks 88149029942
3600.03/3609.40 c propagation checks 121333811813
3600.03/3609.40 c constraint additions 2714045125
3600.03/3609.40 c trail pops 83339943
3600.03/3609.40 c formula constraints 169
3600.03/3609.40 c learned constraints 861236
3600.03/3609.40 c bound constraints 38
3600.03/3609.40 c core-guided constraints 2
3600.03/3609.40 c encountered formula constraints 1660213
3600.03/3609.40 c encountered learned constraints 5762448
3600.03/3609.40 c encountered bound constraints 3528
3600.03/3609.40 c encountered core-guided constraints 1167
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 1
3600.03/3609.40 c CG solutions found 36
3600.03/3609.40 c CG cores constructed 2
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 2
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 175.50
3600.03/3609.40 c CG exhausted 0
3600.03/3609.40 c CG exhaust time 0.759897 s
3600.03/3609.40 c CG trimmed 0
3600.03/3609.40 c CG trim time 0.019616 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.008763 s
3600.03/3609.40 c CG # am1s reformulated 0
3600.03/3609.40 c CG lower bound derived from am1s 0
3600.03/3609.40 c CG # clausal cores 2
3600.03/3609.40 c CG # cardinality cores 0
3600.03/3609.40 c CG # pb cores 0
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 412
3600.03/3609.40 d NCORES 2
3600.03/3609.40 d NPBCORES 0
3600.03/3609.40 d NPBREFORM 0
3600.03/3609.40 d NTRIMMED 0
3600.03/3609.40 d NEXHAUSTED 0
3600.03/3609.40 d NAM1S 0
3600.03/3609.40 d AM1LB 0
3600.03/3609.40 o 3326
3600.03/3609.40 s SATISFIABLE
3600.03/3609.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61502 MiB free)
memory of node 1: 64510 MiB (61876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459569-1721901996/watcher-4459569-1721901996 -o /tmp/evaluation-result-4459569-1721901996/solver-4459569-1721901996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721901992-277499 --watchdog 3760 pb-oll-rs HOME/instance-4459569-1721901996.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=277696, runsolver pid=277693
[startup+0.100185 s]*
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126335068/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=40676 memory=8916 CPUtime=0.09 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 1066 0 0 0 9 0 0 0 20 0 1 0 26729118 41652224 2229 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 10169 2229 1339 291 0 1703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 8916 KiB
[startup+0.205211 s]*
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126330040/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=42348 memory=13064 CPUtime=0.2 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 1602 0 0 0 19 1 0 0 20 0 1 0 26729118 43364352 3266 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 10587 3266 1339 291 0 2121 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 13064 KiB
[startup+0.305468 s]*
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126327884/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=43760 memory=14632 CPUtime=0.3 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 2000 0 0 0 29 1 0 0 20 0 1 0 26729118 44810240 3658 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 10940 3658 1339 291 0 2474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43760 KiB
Current children cumulated memory: 14632 KiB
[startup+0.700198 s]
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126321300/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=55716 memory=25236 CPUtime=0.69 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 3664 0 0 0 67 2 0 0 20 0 1 0 26729118 57053184 6309 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 13929 6309 1339 291 0 5463 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55716 KiB
Current children cumulated memory: 25236 KiB
[startup+1.50021 s]
/proc/loadavg: 1.91 3.38 3.88 5/254 277697
/proc/meminfo: memFree=126313536/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=60964 memory=30908 CPUtime=1.49 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 5016 0 0 0 146 3 0 0 20 0 1 0 26729118 62427136 7727 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 15241 7727 1400 291 0 6775 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60964 KiB
Current children cumulated memory: 30908 KiB
[startup+3.10543 s]
/proc/loadavg: 2.16 3.41 3.89 5/254 277699
/proc/meminfo: memFree=126275212/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=71908 memory=37696 CPUtime=3.08 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 6214 0 0 0 303 5 0 0 20 0 1 0 26729118 73633792 9424 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 17977 9424 1400 291 0 9511 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71908 KiB
Current children cumulated memory: 37696 KiB
[startup+6.30022 s]
/proc/loadavg: 2.16 3.41 3.89 5/254 277699
/proc/meminfo: memFree=126256056/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=75032 memory=44952 CPUtime=6.28 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 6975 0 0 0 618 10 0 0 20 0 1 0 26729118 76832768 11238 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 18758 11238 1400 291 0 10292 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75032 KiB
Current children cumulated memory: 44952 KiB
[startup+12.7002 s]
/proc/loadavg: 2.31 3.42 3.89 5/254 277699
/proc/meminfo: memFree=126200156/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=93584 memory=54276 CPUtime=12.65 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 8799 0 0 0 1247 18 0 0 20 0 1 0 26729118 95830016 13569 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 23396 13569 1400 291 0 14930 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 54276 KiB
[startup+25.5002 s]
/proc/loadavg: 2.68 3.45 3.89 5/254 277702
/proc/meminfo: memFree=126113136/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=105944 memory=72960 CPUtime=25.42 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 11436 0 0 0 2508 34 0 0 20 0 1 0 26729118 108486656 18240 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 26486 18240 1400 291 0 18020 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 105944 KiB
Current children cumulated memory: 72960 KiB
[startup+51.1056 s]
/proc/loadavg: 3.21 3.51 3.90 5/255 277706
/proc/meminfo: memFree=126002512/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=136888 memory=91704 CPUtime=50.97 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 14618 0 0 0 5030 67 0 0 20 0 1 0 26729118 140173312 22926 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 34222 22926 1400 291 0 25756 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 136888 KiB
Current children cumulated memory: 91704 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 3.60 3.92 5/255 277716
/proc/meminfo: memFree=125864244/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=161308 memory=121648 CPUtime=102.04 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 19582 0 0 0 10081 123 0 0 20 0 1 0 26729118 165179392 30412 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 40327 30412 1400 291 0 31861 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 161308 KiB
Current children cumulated memory: 121648 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 3.69 3.93 5/255 277726
/proc/meminfo: memFree=125767784/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=196932 memory=132612 CPUtime=161.89 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 21317 0 0 0 15999 190 0 0 20 0 1 0 26729118 201658368 33153 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 49233 33153 1400 291 0 40767 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 196932 KiB
Current children cumulated memory: 132612 KiB
[startup+222.3 s]
/proc/loadavg: 3.67 3.67 3.91 4/251 277774
/proc/meminfo: memFree=125712324/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=202968 memory=141640 CPUtime=221.74 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 23022 0 0 0 21927 247 0 0 20 0 1 0 26729118 207839232 35410 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 50742 35410 1400 291 0 42276 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 202968 KiB
Current children cumulated memory: 141640 KiB
[startup+282.3 s]
/proc/loadavg: 3.31 3.56 3.85 4/251 277785
/proc/meminfo: memFree=125629064/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=208368 memory=151256 CPUtime=281.61 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 24413 0 0 0 27865 296 0 0 20 0 1 0 26729118 213368832 37814 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 52092 37814 1400 291 0 43626 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 208368 KiB
Current children cumulated memory: 151256 KiB
[startup+342.3 s]
/proc/loadavg: 3.16 3.47 3.80 4/251 277795
/proc/meminfo: memFree=125590972/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=208368 memory=151256 CPUtime=341.46 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 24417 0 0 0 33799 347 0 0 20 0 1 0 26729118 213368832 37814 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 52092 37814 1400 291 0 43626 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 208368 KiB
Current children cumulated memory: 151256 KiB
[startup+402.3 s]
/proc/loadavg: 3.09 3.40 3.75 4/250 277806
/proc/meminfo: memFree=125505384/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=222492 memory=164284 CPUtime=401.31 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 26655 0 0 0 39736 395 0 0 20 0 1 0 26729118 227831808 41071 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 55623 41071 1400 291 0 47157 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 222492 KiB
Current children cumulated memory: 164284 KiB
[startup+462.3 s]
/proc/loadavg: 3.09 3.34 3.71 4/250 277816
/proc/meminfo: memFree=125483972/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=222492 memory=164284 CPUtime=461.16 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 26678 0 0 0 45683 433 0 0 20 0 1 0 26729118 227831808 41071 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 55623 41071 1400 291 0 47157 0
################
# More data... #
################
Current children cumulated memory: 335004 KiB
[startup+2862.3 s]
/proc/loadavg: 3.21 3.27 3.22 4/251 278867
/proc/meminfo: memFree=124445936/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=444544 memory=335736 CPUtime=2854.92 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 48015 0 0 0 284310 1182 0 0 20 0 1 0 26729118 455213056 83934 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 111136 83934 1400 291 0 102670 0
Current children cumulated CPU time: 2854.92 s
Current children cumulated vsize: 444544 KiB
Current children cumulated memory: 335736 KiB
[startup+2922.3 s]
/proc/loadavg: 3.20 3.25 3.21 4/249 279262
/proc/meminfo: memFree=124538036/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=446600 memory=340836 CPUtime=2914.77 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 48590 0 0 0 290278 1199 0 0 20 0 1 0 26729118 457318400 85209 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 111650 85209 1400 291 0 103184 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 446600 KiB
Current children cumulated memory: 340836 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.23 3.21 4/249 279272
/proc/meminfo: memFree=124537676/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=447244 memory=341240 CPUtime=2974.59 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 48875 0 0 0 296245 1214 0 0 20 0 1 0 26729118 457977856 85310 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 111811 85310 1400 291 0 103345 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 447244 KiB
Current children cumulated memory: 341240 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.19 3.19 4/249 279283
/proc/meminfo: memFree=124502780/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=447244 memory=341240 CPUtime=3034.44 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 48961 0 0 0 302214 1230 0 0 20 0 1 0 26729118 457977856 85310 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 111811 85310 1400 291 0 103345 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 447244 KiB
Current children cumulated memory: 341240 KiB
[startup+3102.3 s]
/proc/loadavg: 3.06 3.17 3.18 4/248 279461
/proc/meminfo: memFree=124328852/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=449560 memory=341804 CPUtime=3094.28 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 49602 0 0 0 308182 1246 0 0 20 0 1 0 26729118 460349440 85451 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 112390 85451 1400 291 0 103924 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 449560 KiB
Current children cumulated memory: 341804 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.16 3.18 4/249 279472
/proc/meminfo: memFree=124327944/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=450332 memory=342012 CPUtime=3154.12 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 49820 0 0 0 314154 1258 0 0 20 0 1 0 26729118 461139968 85503 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 112583 85503 1400 291 0 104117 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 450332 KiB
Current children cumulated memory: 342012 KiB
[startup+3222.3 s]
/proc/loadavg: 3.17 3.16 3.18 4/250 279487
/proc/meminfo: memFree=124322136/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=451100 memory=346492 CPUtime=3213.96 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 50115 0 0 0 320120 1276 0 0 20 0 1 0 26729118 461926400 86623 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 112775 86623 1400 291 0 104309 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 451100 KiB
Current children cumulated memory: 346492 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.15 3.17 4/250 279509
/proc/meminfo: memFree=124318636/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=451876 memory=346704 CPUtime=3273.8 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 51198 0 0 0 326093 1287 0 0 20 0 1 0 26729118 462721024 86676 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 112969 86676 1400 291 0 104503 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 451876 KiB
Current children cumulated memory: 346704 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.14 3.17 4/250 279520
/proc/meminfo: memFree=124308612/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=457412 memory=352192 CPUtime=3333.64 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 52533 0 0 0 332061 1303 0 0 20 0 1 0 26729118 468389888 88048 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114353 88048 1400 291 0 105887 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 457412 KiB
Current children cumulated memory: 352192 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.12 3.16 4/250 279530
/proc/meminfo: memFree=124307708/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=457412 memory=352336 CPUtime=3393.48 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 52608 0 0 0 338032 1316 0 0 20 0 1 0 26729118 468389888 88084 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114353 88084 1400 291 0 105887 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 457412 KiB
Current children cumulated memory: 352336 KiB
[startup+3462.3 s]
/proc/loadavg: 3.06 3.11 3.15 4/249 279540
/proc/meminfo: memFree=124305104/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=459208 memory=352612 CPUtime=3453.32 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 53165 0 0 0 344003 1329 0 0 20 0 1 0 26729118 470228992 88153 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114802 88153 1400 291 0 106336 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 459208 KiB
Current children cumulated memory: 352612 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.11 3.15 4/249 279551
/proc/meminfo: memFree=124303884/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=459720 memory=353012 CPUtime=3513.17 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 53350 0 0 0 349976 1341 0 0 20 0 1 0 26729118 470753280 88253 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114930 88253 1400 291 0 106464 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 459720 KiB
Current children cumulated memory: 353012 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.12 3.15 4/247 279561
/proc/meminfo: memFree=124301164/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=459848 memory=355216 CPUtime=3573 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 53574 0 0 0 355941 1359 0 0 20 0 1 0 26729118 470884352 88804 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114962 88804 1400 291 0 106496 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 459848 KiB
Current children cumulated memory: 355216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.92 3.07 3.13 2/233 279628
/proc/meminfo: memFree=126188020/131524600 swapFree=131058856/131071996
[pid=277696] ppid=277693 vsize=459848 memory=355216 CPUtime=3600.03 cores=5,7
/proc/277696/stat : 277696 (pb-oll-rs) R 277693 277696 277486 0 -1 4194304 53646 0 0 0 358638 1365 0 0 20 0 1 0 26729118 470884352 88804 134679101440 4194304 5384485 140730128192112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 18018304 140730128196631 140730128196708 140730128196708 140730128203723 0
/proc/277696/statm: 114962 88804 1400 291 0 106496 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 459848 KiB
Current children cumulated memory: 355216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 277696 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.39 s, system=13.6592 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.05
CPU user time (s): 3586.39
CPU system time (s): 13.6592
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 460156
Max. memory (cumulated for all children) (KiB): 355316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.39
system time used= 13.6592
maximum resident set size= 355440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53662
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= 92
involuntary context switches= 2274
# summary of solver processes directly reported to runsolver:
# pid: 277696
# total CPU time (s): 3600.05
# total CPU user time (s): 3586.39
# total CPU system time (s): 13.6592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01031 second user time and 16.4526 second system time
The end
Begin job on nodeC031 at 2024-07-25 12:06:36
IDJOB=4459569
IDBENCH=178829
IDSOLVER=3082
FILE ID=nodeC031/4459569-1721901996
RUNJOBID= nodeC031-1721901992-277499
SLURM_JOB_ID= 8089399
Free space on /tmp= 890068 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459569-1721901996/watcher-4459569-1721901996 -o /tmp/evaluation-result-4459569-1721901996/solver-4459569-1721901996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721901992-277499 --watchdog 3760 pb-oll-rs HOME/instance-4459569-1721901996.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=790832338
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.964
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.44
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 : 3678.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
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 : 3600.512
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.44
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 : 3631.834
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
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 : 3665.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.44
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 : 3637.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
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.403
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.44
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 : 3655.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126340964 kB
MemAvailable: 129436128 kB
Buffers: 314368 kB
Cached: 3450224 kB
SwapCached: 360 kB
Active: 2215156 kB
Inactive: 2053292 kB
Active(anon): 1840 kB
Inactive(anon): 555308 kB
Active(file): 2213316 kB
Inactive(file): 1497984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131058856 kB
Dirty: 2136 kB
Writeback: 0 kB
AnonPages: 502280 kB
Mapped: 105168 kB
Shmem: 53296 kB
KReclaimable: 445096 kB
Slab: 566312 kB
SReclaimable: 445096 kB
SUnreclaim: 121216 kB
KernelStack: 4128 kB
PageTables: 10304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 829404 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 367316 kB
DirectMap2M: 37154816 kB
DirectMap1G: 98566144 kB
Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-25 13:06:45