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.01 c [STEP] solving
0.00/0.01 c #variables 776 #constraints 867
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -474 @ 0.006964
0.00/0.01 c stratification level: 3
0.00/0.02 c bounds - >= -440 @ 0.009738
0.00/0.02 c bounds - >= -436 @ 0.009951
0.00/0.02 c bounds - >= -432 @ 0.009951
0.00/0.02 c bounds - >= -426 @ 0.009951
0.00/0.02 c bounds - >= -420 @ 0.01042
0.00/0.02 c bounds - >= -414 @ 0.010887
0.00/0.02 c bounds - >= -411 @ 0.010944
0.00/0.02 c bounds - >= -408 @ 0.011075
0.00/0.02 c bounds - >= -402 @ 0.011676
0.00/0.02 c bounds - >= -399 @ 0.012189
0.00/0.02 c bounds - >= -396 @ 0.012767
0.00/0.02 c bounds - >= -393 @ 0.012935
0.00/0.02 c bounds - >= -390 @ 0.013077
0.00/0.02 c bounds - >= -387 @ 0.013732
0.00/0.02 c bounds - >= -384 @ 0.013931
0.00/0.02 c bounds - >= -381 @ 0.014152
0.00/0.02 c finalizing WCE round: reformulating cores
0.68/0.71 c #Conflicts: 1000 | #Constraints: 1929
0.68/0.71 c bounds 22 >= -380 @ 0.469201
0.68/0.71 c bounds 22 >= -377 @ 0.470728
0.68/0.71 c finalizing WCE round: reformulating cores
0.79/0.81 c bounds 20 >= -377 @ 0.658781
0.79/0.81 c #Conflicts: 2000 | #Constraints: 2957
0.79/0.81 c INPROCESSING
0.79/0.81 c GARBAGE COLLECT
0.79/0.81 c bounds 19 >= -377 @ 0.74553
0.79/0.81 c stratification level: 2
1.18/1.26 c bounds 19 >= -342 @ 0.750921
1.18/1.26 c bounds 19 >= -338 @ 0.751641
1.18/1.26 c bounds 19 >= -336 @ 0.752221
1.18/1.26 c bounds 19 >= -334 @ 0.752912
1.18/1.26 c bounds 19 >= -332 @ 0.753637
1.18/1.26 c bounds 19 >= -330 @ 0.754392
1.18/1.26 c bounds 19 >= -326 @ 0.755499
1.18/1.26 c bounds 19 >= -324 @ 0.756207
1.18/1.26 c bounds 19 >= -322 @ 0.75779
1.18/1.26 c bounds 19 >= -320 @ 0.758516
1.18/1.26 c bounds 19 >= -318 @ 0.758843
1.18/1.26 c bounds 19 >= -316 @ 0.760053
1.18/1.26 c bounds 19 >= -314 @ 0.761335
1.18/1.26 c bounds 19 >= -312 @ 0.762323
1.18/1.26 c bounds 19 >= -310 @ 0.76331
1.18/1.26 c bounds 19 >= -308 @ 0.763506
1.18/1.26 c bounds 19 >= -306 @ 0.764671
1.18/1.26 c bounds 19 >= -304 @ 0.765441
1.18/1.26 c bounds 19 >= -302 @ 0.765502
1.18/1.26 c bounds 19 >= -300 @ 0.765504
1.18/1.26 c bounds 19 >= -298 @ 0.769645
1.18/1.26 c #Conflicts: 3000 | #Constraints: 2977
1.18/1.26 c finalizing WCE round: reformulating cores
6.08/6.16 c #Conflicts: 4000 | #Constraints: 3986
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c #Conflicts: 5000 | #Constraints: 3366
6.08/6.16 c #Conflicts: 6000 | #Constraints: 4371
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c #Conflicts: 7000 | #Constraints: 3372
6.08/6.16 c #Conflicts: 8000 | #Constraints: 4381
6.08/6.16 c #Conflicts: 9000 | #Constraints: 5387
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c #Conflicts: 10000 | #Constraints: 4101
6.08/6.16 c #Conflicts: 11000 | #Constraints: 5103
6.08/6.16 c #Conflicts: 12000 | #Constraints: 6105
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c #Conflicts: 13000 | #Constraints: 4563
6.08/6.16 c #Conflicts: 14000 | #Constraints: 5565
6.08/6.16 c #Conflicts: 15000 | #Constraints: 6567
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c bounds 7 >= -298 @ 4.44725
6.08/6.16 c bounds 7 >= -292 @ 4.44841
6.08/6.16 c bounds 7 >= -290 @ 4.44935
6.08/6.16 c bounds 7 >= -288 @ 4.45037
6.08/6.16 c #Conflicts: 16000 | #Constraints: 4829
6.08/6.16 c #Conflicts: 17000 | #Constraints: 5829
6.08/6.16 c #Conflicts: 18000 | #Constraints: 6829
6.08/6.16 c INPROCESSING
6.08/6.16 c GARBAGE COLLECT
6.08/6.16 c finalizing WCE round: reformulating cores
8.76/8.85 c #Conflicts: 19000 | #Constraints: 4837
8.76/8.85 c #Conflicts: 20000 | #Constraints: 5839
8.76/8.85 c #Conflicts: 21000 | #Constraints: 6841
8.76/8.85 c bounds 6 >= -288 @ 6.50302
8.76/8.85 c bounds 6 >= -286 @ 6.5049
8.76/8.85 c INPROCESSING
8.76/8.85 c GARBAGE COLLECT
8.76/8.85 c #Conflicts: 22000 | #Constraints: 4643
8.76/8.85 c #Conflicts: 23000 | #Constraints: 5643
8.76/8.85 c #Conflicts: 24000 | #Constraints: 6643
8.76/8.85 c finalizing WCE round: reformulating cores
13.35/13.47 c #Conflicts: 25000 | #Constraints: 7646
13.35/13.47 c INPROCESSING
13.35/13.47 c GARBAGE COLLECT
13.35/13.47 c bounds 5 >= -286 @ 8.89067
13.35/13.47 c #Conflicts: 26000 | #Constraints: 5249
13.35/13.47 c #Conflicts: 27000 | #Constraints: 6249
13.35/13.47 c #Conflicts: 28000 | #Constraints: 7249
13.35/13.47 c #Conflicts: 29000 | #Constraints: 8249
13.35/13.47 c INPROCESSING
13.35/13.47 c GARBAGE COLLECT
13.35/13.47 c #Conflicts: 30000 | #Constraints: 5654
13.35/13.47 c #Conflicts: 31000 | #Constraints: 6654
13.35/13.47 c bounds 4 >= -286 @ 13.1386
13.35/13.47 c stratification level: 1
37.00/37.14 c bounds 4 >= -254 @ 13.1468
37.00/37.14 c bounds 4 >= -252 @ 13.1473
37.00/37.14 c bounds 4 >= -250 @ 13.1477
37.00/37.14 c bounds 4 >= -247 @ 13.1481
37.00/37.14 c bounds 4 >= -246 @ 13.1487
37.00/37.14 c bounds 4 >= -245 @ 13.15
37.00/37.14 c bounds 4 >= -242 @ 13.1506
37.00/37.14 c bounds 4 >= -239 @ 13.151
37.00/37.14 c bounds 4 >= -237 @ 13.1515
37.00/37.14 c bounds 4 >= -235 @ 13.152
37.00/37.14 c bounds 4 >= -232 @ 13.1521
37.00/37.14 c bounds 4 >= -230 @ 13.1521
37.00/37.14 c bounds 4 >= -227 @ 13.1521
37.00/37.14 c bounds 4 >= -224 @ 13.1521
37.00/37.14 c bounds 4 >= -223 @ 13.1521
37.00/37.14 c bounds 4 >= -220 @ 13.1521
37.00/37.14 c bounds 4 >= -219 @ 13.1526
37.00/37.14 c bounds 4 >= -218 @ 13.1533
37.00/37.14 c bounds 4 >= -217 @ 13.1538
37.00/37.14 c bounds 4 >= -216 @ 13.1542
37.00/37.14 c bounds 4 >= -215 @ 13.1562
37.00/37.14 c bounds 4 >= -212 @ 13.1567
37.00/37.14 c bounds 4 >= -211 @ 13.1573
37.00/37.14 c bounds 4 >= -209 @ 13.1578
37.00/37.14 c bounds 4 >= -207 @ 13.1582
37.00/37.14 c bounds 4 >= -206 @ 13.159
37.00/37.14 c bounds 4 >= -205 @ 13.1591
37.00/37.14 c bounds 4 >= -204 @ 13.1601
37.00/37.14 c bounds 4 >= -203 @ 13.1601
37.00/37.14 c bounds 4 >= -201 @ 13.1601
37.00/37.14 c bounds 4 >= -198 @ 13.1605
37.00/37.14 c bounds 4 >= -195 @ 13.1609
37.00/37.14 c bounds 4 >= -192 @ 13.1611
37.00/37.14 c bounds 4 >= -190 @ 13.1611
37.00/37.14 c bounds 4 >= -189 @ 13.1611
37.00/37.14 c bounds 4 >= -188 @ 13.1611
37.00/37.14 c bounds 4 >= -187 @ 13.1613
37.00/37.14 c bounds 4 >= -186 @ 13.1618
37.00/37.14 c bounds 4 >= -185 @ 13.1623
37.00/37.14 c bounds 4 >= -182 @ 13.1628
37.00/37.14 c bounds 4 >= -180 @ 13.1633
37.00/37.14 c bounds 4 >= -179 @ 13.1638
37.00/37.14 c bounds 4 >= -177 @ 13.1641
37.00/37.14 c bounds 4 >= -176 @ 13.1641
37.00/37.14 c bounds 4 >= -174 @ 13.1647
37.00/37.14 c bounds 4 >= -173 @ 13.1655
37.00/37.14 c bounds 4 >= -172 @ 13.1661
37.00/37.14 c bounds 4 >= -171 @ 13.1667
37.00/37.14 c bounds 4 >= -170 @ 13.1675
37.00/37.14 c bounds 4 >= -168 @ 13.168
37.00/37.14 c bounds 4 >= -167 @ 13.1688
37.00/37.14 c bounds 4 >= -166 @ 13.1696
37.00/37.14 c bounds 4 >= -165 @ 13.1701
37.00/37.14 c bounds 4 >= -164 @ 13.1708
37.00/37.14 c bounds 4 >= -163 @ 13.1713
37.00/37.14 c bounds 4 >= -162 @ 13.1721
37.00/37.14 c bounds 4 >= -161 @ 13.1733
37.00/37.14 c bounds 4 >= -160 @ 13.174
37.00/37.14 c bounds 4 >= -159 @ 13.174
37.00/37.14 c bounds 4 >= -158 @ 13.1751
37.00/37.14 c bounds 4 >= -157 @ 13.1755
37.00/37.14 c bounds 4 >= -156 @ 13.1765
37.00/37.14 c bounds 4 >= -155 @ 13.1769
37.00/37.14 c bounds 4 >= -154 @ 13.1773
37.00/37.14 c bounds 4 >= -153 @ 13.1793
37.00/37.14 c bounds 4 >= -152 @ 13.1803
37.00/37.14 c bounds 4 >= -151 @ 13.1807
37.00/37.14 c bounds 4 >= -150 @ 13.1814
37.00/37.14 c bounds 4 >= -149 @ 13.1821
37.00/37.14 c bounds 4 >= -148 @ 13.1836
37.00/37.14 c bounds 4 >= -147 @ 13.1854
37.00/37.14 c bounds 4 >= -146 @ 13.188
37.00/37.14 c bounds 4 >= -145 @ 13.1907
37.00/37.14 c bounds 4 >= -144 @ 13.1923
37.00/37.14 c bounds 4 >= -143 @ 13.194
37.00/37.14 c bounds 4 >= -142 @ 13.1942
37.00/37.14 c bounds 4 >= -141 @ 13.1951
37.00/37.14 c bounds 4 >= -140 @ 13.2026
37.00/37.14 c bounds 4 >= -139 @ 13.2111
37.00/37.14 c #Conflicts: 32000 | #Constraints: 7992
37.00/37.14 c #Conflicts: 33000 | #Constraints: 8992
37.00/37.14 c INPROCESSING
37.00/37.14 c GARBAGE COLLECT
37.00/37.14 c #Conflicts: 34000 | #Constraints: 6051
37.00/37.14 c #Conflicts: 35000 | #Constraints: 7051
37.00/37.14 c bounds 4 >= -138 @ 14.9787
37.00/37.14 c #Conflicts: 36000 | #Constraints: 8055
37.00/37.14 c #Conflicts: 37000 | #Constraints: 9055
37.00/37.14 c INPROCESSING
37.00/37.14 c GARBAGE COLLECT
37.00/37.14 c #Conflicts: 38000 | #Constraints: 6035
37.00/37.14 c #Conflicts: 39000 | #Constraints: 7035
37.00/37.14 c #Conflicts: 40000 | #Constraints: 8035
37.00/37.14 c #Conflicts: 41000 | #Constraints: 9035
37.00/37.14 c INPROCESSING
37.00/37.14 c GARBAGE COLLECT
37.00/37.14 c #Conflicts: 42000 | #Constraints: 5830
37.00/37.14 c #Conflicts: 43000 | #Constraints: 6830
37.00/37.14 c #Conflicts: 44000 | #Constraints: 7830
37.00/37.15 c #Conflicts: 45000 | #Constraints: 8830
37.00/37.15 c #Conflicts: 46000 | #Constraints: 9830
37.00/37.15 c INPROCESSING
37.00/37.15 c GARBAGE COLLECT
37.00/37.15 c #Conflicts: 47000 | #Constraints: 6430
37.00/37.15 c #Conflicts: 48000 | #Constraints: 7430
37.00/37.15 c #Conflicts: 49000 | #Constraints: 8430
37.00/37.15 c #Conflicts: 50000 | #Constraints: 9430
37.00/37.15 c #Conflicts: 51000 | #Constraints: 10430
37.00/37.15 c INPROCESSING
37.00/37.15 c GARBAGE COLLECT
37.00/37.15 c #Conflicts: 52000 | #Constraints: 6831
37.00/37.15 c #Conflicts: 53000 | #Constraints: 7831
37.00/37.15 c #Conflicts: 54000 | #Constraints: 8831
37.00/37.15 c bounds 4 >= -137 @ 32.7057
37.00/37.15 c #Conflicts: 55000 | #Constraints: 9901
37.00/37.15 c #Conflicts: 56000 | #Constraints: 10901
37.00/37.15 c INPROCESSING
37.00/37.15 c GARBAGE COLLECT
37.00/37.15 c #Conflicts: 57000 | #Constraints: 7057
37.00/37.15 c #Conflicts: 58000 | #Constraints: 8057
37.00/37.15 c #Conflicts: 59000 | #Constraints: 9057
37.00/37.15 c #Conflicts: 60000 | #Constraints: 10057
37.00/37.15 c #Conflicts: 61000 | #Constraints: 11057
51.35/51.54 c INPROCESSING
51.35/51.54 c GARBAGE COLLECT
51.35/51.54 c #Conflicts: 62000 | #Constraints: 7038
51.35/51.54 c #Conflicts: 63000 | #Constraints: 8038
51.35/51.54 c #Conflicts: 64000 | #Constraints: 9038
51.35/51.54 c #Conflicts: 65000 | #Constraints: 10038
51.35/51.54 c #Conflicts: 66000 | #Constraints: 11038
51.35/51.54 c INPROCESSING
51.35/51.54 c GARBAGE COLLECT
51.35/51.54 c #Conflicts: 67000 | #Constraints: 6832
51.35/51.54 c #Conflicts: 68000 | #Constraints: 7832
51.35/51.54 c #Conflicts: 69000 | #Constraints: 8832
51.35/51.54 c #Conflicts: 70000 | #Constraints: 9832
51.35/51.54 c #Conflicts: 71000 | #Constraints: 10832
51.35/51.54 c #Conflicts: 72000 | #Constraints: 11832
51.35/51.54 c INPROCESSING
51.35/51.54 c GARBAGE COLLECT
51.35/51.54 c #Conflicts: 73000 | #Constraints: 7423
51.35/51.54 c #Conflicts: 74000 | #Constraints: 8423
51.35/51.54 c #Conflicts: 75000 | #Constraints: 9423
51.35/51.54 c #Conflicts: 76000 | #Constraints: 10423
51.35/51.54 c #Conflicts: 77000 | #Constraints: 11423
51.35/51.54 c #Conflicts: 78000 | #Constraints: 12423
51.35/51.54 c INPROCESSING
51.35/51.54 c GARBAGE COLLECT
51.35/51.54 c #Conflicts: 79000 | #Constraints: 7819
51.35/51.54 c #Conflicts: 80000 | #Constraints: 8819
51.35/51.54 c #Conflicts: 81000 | #Constraints: 9819
51.35/51.54 c #Conflicts: 82000 | #Constraints: 10819
51.35/51.54 c finalizing WCE round: reformulating cores
93.43/93.70 c #Conflicts: 83000 | #Constraints: 11822
93.43/93.70 c #Conflicts: 84000 | #Constraints: 12824
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 85000 | #Constraints: 8023
93.43/93.70 c #Conflicts: 86000 | #Constraints: 9025
93.43/93.70 c #Conflicts: 87000 | #Constraints: 10027
93.43/93.70 c #Conflicts: 88000 | #Constraints: 11031
93.43/93.70 c #Conflicts: 89000 | #Constraints: 12033
93.43/93.70 c #Conflicts: 90000 | #Constraints: 13035
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 91000 | #Constraints: 8045
93.43/93.70 c #Conflicts: 92000 | #Constraints: 9047
93.43/93.70 c #Conflicts: 93000 | #Constraints: 10049
93.43/93.70 c #Conflicts: 94000 | #Constraints: 11053
93.43/93.70 c #Conflicts: 95000 | #Constraints: 12055
93.43/93.70 c #Conflicts: 96000 | #Constraints: 13057
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 97000 | #Constraints: 7871
93.43/93.70 c #Conflicts: 98000 | #Constraints: 8873
93.43/93.70 c #Conflicts: 99000 | #Constraints: 9877
93.43/93.70 c #Conflicts: 100000 | #Constraints: 10879
93.43/93.70 c #Conflicts: 101000 | #Constraints: 11881
93.43/93.70 c #Conflicts: 102000 | #Constraints: 12885
93.43/93.70 c #Conflicts: 103000 | #Constraints: 13887
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 104000 | #Constraints: 8482
93.43/93.70 c #Conflicts: 105000 | #Constraints: 9484
93.43/93.70 c #Conflicts: 106000 | #Constraints: 10486
93.43/93.70 c #Conflicts: 107000 | #Constraints: 11490
93.43/93.70 c #Conflicts: 108000 | #Constraints: 12492
93.43/93.70 c #Conflicts: 109000 | #Constraints: 13494
93.43/93.70 c #Conflicts: 110000 | #Constraints: 14498
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 111000 | #Constraints: 8896
93.43/93.70 c #Conflicts: 112000 | #Constraints: 9898
93.43/93.70 c #Conflicts: 113000 | #Constraints: 10900
93.43/93.70 c #Conflicts: 114000 | #Constraints: 11904
93.43/93.70 c #Conflicts: 115000 | #Constraints: 12906
93.43/93.70 c #Conflicts: 116000 | #Constraints: 13908
93.43/93.70 c #Conflicts: 117000 | #Constraints: 14912
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 118000 | #Constraints: 9115
93.43/93.70 c #Conflicts: 119000 | #Constraints: 10117
93.43/93.70 c #Conflicts: 120000 | #Constraints: 11119
93.43/93.70 c #Conflicts: 121000 | #Constraints: 12123
93.43/93.70 c #Conflicts: 122000 | #Constraints: 13125
93.43/93.70 c #Conflicts: 123000 | #Constraints: 14127
93.43/93.70 c #Conflicts: 124000 | #Constraints: 15131
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 125000 | #Constraints: 9139
93.43/93.70 c #Conflicts: 126000 | #Constraints: 10141
93.43/93.70 c #Conflicts: 127000 | #Constraints: 11143
93.43/93.70 c #Conflicts: 128000 | #Constraints: 12147
93.43/93.70 c #Conflicts: 129000 | #Constraints: 13149
93.43/93.70 c #Conflicts: 130000 | #Constraints: 14151
93.43/93.70 c #Conflicts: 131000 | #Constraints: 15155
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 132000 | #Constraints: 8956
93.43/93.70 c #Conflicts: 133000 | #Constraints: 9958
93.43/93.70 c #Conflicts: 134000 | #Constraints: 10962
93.43/93.70 c #Conflicts: 135000 | #Constraints: 11964
93.43/93.70 c #Conflicts: 136000 | #Constraints: 12966
93.43/93.70 c #Conflicts: 137000 | #Constraints: 13970
93.43/93.70 c #Conflicts: 138000 | #Constraints: 14972
93.43/93.70 c #Conflicts: 139000 | #Constraints: 15974
93.43/93.70 c INPROCESSING
93.43/93.70 c GARBAGE COLLECT
93.43/93.70 c #Conflicts: 140000 | #Constraints: 9587
93.43/93.70 c #Conflicts: 141000 | #Constraints: 10589
93.43/93.70 c #Conflicts: 142000 | #Constraints: 11591
93.43/93.70 c #Conflicts: 143000 | #Constraints: 12595
93.43/93.70 c #Conflicts: 144000 | #Constraints: 13597
93.43/93.70 c #Conflicts: 145000 | #Constraints: 14599
93.43/93.70 c #Conflicts: 146000 | #Constraints: 15603
93.43/93.70 c bounds 3 >= -137 @ 92.2565
93.43/93.70 c bounds 3 >= -129 @ 92.2616
93.43/93.70 c bounds 3 >= -128 @ 92.2621
93.43/93.70 c bounds 3 >= -127 @ 92.2628
93.43/93.70 c bounds 3 >= -126 @ 92.2648
93.43/93.70 c bounds 3 >= -125 @ 92.2659
93.43/93.70 c bounds 3 >= -124 @ 92.2664
93.43/93.70 c bounds 3 >= -123 @ 92.2687
93.43/93.70 c bounds 3 >= -122 @ 92.2817
93.43/93.70 c bounds 3 >= -121 @ 92.2845
93.43/93.70 c bounds 3 >= -120 @ 92.2894
93.43/93.70 c bounds 3 >= -119 @ 92.3063
93.43/93.70 c bounds 3 >= -118 @ 92.3593
93.43/93.70 c bounds 3 >= -117 @ 92.3946
93.43/93.70 c bounds 3 >= -116 @ 92.4143
93.43/93.70 c bounds 3 >= -115 @ 92.4158
93.43/93.70 c bounds 3 >= -114 @ 92.4196
152.18/152.67 c bounds 3 >= -113 @ 92.4337
152.18/152.67 c bounds 3 >= -112 @ 92.4385
152.18/152.67 c bounds 3 >= -111 @ 92.4398
152.18/152.67 c bounds 3 >= -110 @ 92.4523
152.18/152.67 c #Conflicts: 147000 | #Constraints: 16944
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c bounds 3 >= -109 @ 92.5142
152.18/152.67 c bounds 3 >= -108 @ 92.6619
152.18/152.67 c #Conflicts: 148000 | #Constraints: 10357
152.18/152.67 c bounds 3 >= -107 @ 93.6693
152.18/152.67 c #Conflicts: 149000 | #Constraints: 11463
152.18/152.67 c #Conflicts: 150000 | #Constraints: 12463
152.18/152.67 c bounds 3 >= -106 @ 94.5717
152.18/152.67 c #Conflicts: 151000 | #Constraints: 13480
152.18/152.67 c #Conflicts: 152000 | #Constraints: 14480
152.18/152.67 c bounds 3 >= -105 @ 96.5173
152.18/152.67 c #Conflicts: 153000 | #Constraints: 15493
152.18/152.67 c #Conflicts: 154000 | #Constraints: 16493
152.18/152.67 c #Conflicts: 155000 | #Constraints: 17493
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c #Conflicts: 156000 | #Constraints: 10602
152.18/152.67 c #Conflicts: 157000 | #Constraints: 11602
152.18/152.67 c #Conflicts: 158000 | #Constraints: 12602
152.18/152.67 c #Conflicts: 159000 | #Constraints: 13602
152.18/152.67 c #Conflicts: 160000 | #Constraints: 14602
152.18/152.67 c #Conflicts: 161000 | #Constraints: 15602
152.18/152.67 c #Conflicts: 162000 | #Constraints: 16602
152.18/152.67 c #Conflicts: 163000 | #Constraints: 17602
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c #Conflicts: 164000 | #Constraints: 10575
152.18/152.67 c #Conflicts: 165000 | #Constraints: 11575
152.18/152.67 c #Conflicts: 166000 | #Constraints: 12575
152.18/152.67 c bounds 3 >= -104 @ 114.769
152.18/152.67 c #Conflicts: 167000 | #Constraints: 13657
152.18/152.67 c #Conflicts: 168000 | #Constraints: 14657
152.18/152.67 c #Conflicts: 169000 | #Constraints: 15657
152.18/152.67 c #Conflicts: 170000 | #Constraints: 16657
152.18/152.67 c #Conflicts: 171000 | #Constraints: 17657
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c #Conflicts: 172000 | #Constraints: 10401
152.18/152.67 c #Conflicts: 173000 | #Constraints: 11401
152.18/152.67 c #Conflicts: 174000 | #Constraints: 12401
152.18/152.67 c #Conflicts: 175000 | #Constraints: 13401
152.18/152.67 c #Conflicts: 176000 | #Constraints: 14401
152.18/152.67 c #Conflicts: 177000 | #Constraints: 15401
152.18/152.67 c #Conflicts: 178000 | #Constraints: 16401
152.18/152.67 c #Conflicts: 179000 | #Constraints: 17401
152.18/152.67 c #Conflicts: 180000 | #Constraints: 18401
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c #Conflicts: 181000 | #Constraints: 10971
152.18/152.67 c #Conflicts: 182000 | #Constraints: 11971
152.18/152.67 c #Conflicts: 183000 | #Constraints: 12971
152.18/152.67 c #Conflicts: 184000 | #Constraints: 13971
152.18/152.67 c #Conflicts: 185000 | #Constraints: 14971
152.18/152.67 c #Conflicts: 186000 | #Constraints: 15971
152.18/152.67 c #Conflicts: 187000 | #Constraints: 16971
152.18/152.67 c #Conflicts: 188000 | #Constraints: 17971
152.18/152.67 c #Conflicts: 189000 | #Constraints: 18971
152.18/152.67 c INPROCESSING
152.18/152.67 c GARBAGE COLLECT
152.18/152.67 c #Conflicts: 190000 | #Constraints: 11355
152.18/152.67 c #Conflicts: 191000 | #Constraints: 12355
152.18/152.67 c finalizing WCE round: reformulating cores
258.18/258.96 c #Conflicts: 192000 | #Constraints: 13360
258.18/258.96 c #Conflicts: 193000 | #Constraints: 14362
258.18/258.96 c #Conflicts: 194000 | #Constraints: 15364
258.18/258.96 c #Conflicts: 195000 | #Constraints: 16368
258.18/258.96 c #Conflicts: 196000 | #Constraints: 17370
258.18/258.96 c #Conflicts: 197000 | #Constraints: 18372
258.18/258.96 c bounds 2 >= -121 @ 157.169
258.18/258.96 c #Conflicts: 198000 | #Constraints: 19376
258.18/258.96 c INPROCESSING
258.18/258.96 c GARBAGE COLLECT
258.18/258.96 c #Conflicts: 199000 | #Constraints: 11532
258.18/258.96 c #Conflicts: 200000 | #Constraints: 12534
258.18/258.96 c bounds 2 >= -117 @ 159.389
258.18/258.96 c #Conflicts: 201000 | #Constraints: 13538
258.18/258.96 c #Conflicts: 202000 | #Constraints: 14542
258.18/258.96 c #Conflicts: 203000 | #Constraints: 15544
258.18/258.96 c #Conflicts: 204000 | #Constraints: 16546
258.18/258.96 c bounds 2 >= -110 @ 164.734
258.18/258.96 c bounds 2 >= -110 @ 164.843
258.18/258.96 c #Conflicts: 205000 | #Constraints: 17554
258.18/258.96 c #Conflicts: 206000 | #Constraints: 18556
258.18/258.96 c #Conflicts: 207000 | #Constraints: 19558
258.18/258.96 c INPROCESSING
258.18/258.96 c GARBAGE COLLECT
258.18/258.96 c #Conflicts: 208000 | #Constraints: 11535
258.18/258.96 c #Conflicts: 209000 | #Constraints: 12537
258.18/258.96 c #Conflicts: 210000 | #Constraints: 13539
258.18/258.96 c #Conflicts: 211000 | #Constraints: 14543
258.18/258.96 c bounds 2 >= -100 @ 174.565
258.18/258.96 c bounds 2 >= -99 @ 174.571
258.18/258.96 c bounds 2 >= -98 @ 174.597
258.18/258.96 c bounds 2 >= -97 @ 174.744
258.18/258.96 c #Conflicts: 212000 | #Constraints: 15615
258.18/258.96 c #Conflicts: 213000 | #Constraints: 16615
258.18/258.96 c #Conflicts: 214000 | #Constraints: 17615
258.18/258.96 c bounds 2 >= -96 @ 178.054
258.18/258.96 c #Conflicts: 215000 | #Constraints: 18721
258.18/258.96 c bounds 2 >= -95 @ 178.433
258.18/258.96 c bounds 2 >= -94 @ 178.681
258.18/258.96 c #Conflicts: 216000 | #Constraints: 19789
258.18/258.96 c INPROCESSING
258.18/258.96 c GARBAGE COLLECT
258.18/258.96 c #Conflicts: 217000 | #Constraints: 11545
258.18/258.96 c #Conflicts: 218000 | #Constraints: 12545
258.18/258.96 c #Conflicts: 219000 | #Constraints: 13545
258.18/258.96 c #Conflicts: 220000 | #Constraints: 14545
258.18/258.96 c #Conflicts: 221000 | #Constraints: 15545
258.18/258.96 c #Conflicts: 222000 | #Constraints: 16545
258.18/258.96 c #Conflicts: 223000 | #Constraints: 17545
258.18/258.96 c #Conflicts: 224000 | #Constraints: 18545
258.18/258.96 c #Conflicts: 225000 | #Constraints: 19545
258.18/258.96 c #Conflicts: 226000 | #Constraints: 20545
258.18/258.96 c INPROCESSING
258.18/258.96 c GARBAGE COLLECT
258.18/258.96 c #Conflicts: 227000 | #Constraints: 12144
258.18/258.96 c #Conflicts: 228000 | #Constraints: 13144
258.18/258.96 c #Conflicts: 229000 | #Constraints: 14144
258.18/258.96 c #Conflicts: 230000 | #Constraints: 15144
258.18/258.96 c #Conflicts: 231000 | #Constraints: 16144
258.18/258.96 c #Conflicts: 232000 | #Constraints: 17144
258.18/258.96 c #Conflicts: 233000 | #Constraints: 18144
258.18/258.96 c #Conflicts: 234000 | #Constraints: 19144
258.18/258.96 c bounds 2 >= -93 @ 202.449
258.18/258.96 c #Conflicts: 235000 | #Constraints: 20214
258.18/258.96 c #Conflicts: 236000 | #Constraints: 21214
258.18/258.96 c INPROCESSING
258.18/258.96 c GARBAGE COLLECT
258.18/258.96 c #Conflicts: 237000 | #Constraints: 12575
258.18/258.96 c #Conflicts: 238000 | #Constraints: 13575
258.18/258.96 c #Conflicts: 239000 | #Constraints: 14575
258.18/258.96 c #Conflicts: 240000 | #Constraints: 15575
258.18/258.96 c #Conflicts: 241000 | #Constraints: 16575
258.18/258.96 c #Conflicts: 242000 | #Constraints: 17575
258.18/258.96 c #Conflicts: 243000 | #Constraints: 18575
258.18/258.96 c #Conflicts: 244000 | #Constraints: 19575
258.18/258.96 c #Conflicts: 245000 | #Constraints: 20575
258.18/258.96 c #Conflicts: 246000 | #Constraints: 21575
258.18/258.96 c #Conflicts: 247000 | #Constraints: 22575
258.18/258.96 c #Conflicts: 248000 | #Constraints: 23575
258.18/258.96 c #Conflicts: 249000 | #Constraints: 24575
258.18/258.96 c #Conflicts: 250000 | #Constraints: 25575
258.18/258.96 c #Conflicts: 251000 | #Constraints: 26575
258.18/258.96 c #Conflicts: 252000 | #Constraints: 27575
258.18/258.96 c #Conflicts: 253000 | #Constraints: 28575
258.18/258.96 c #Conflicts: 254000 | #Constraints: 29575
258.18/258.96 c #Conflicts: 255000 | #Constraints: 30575
258.18/258.96 c #Conflicts: 256000 | #Constraints: 31575
258.18/258.96 c #Conflicts: 257000 | #Constraints: 32575
258.18/258.96 c #Conflicts: 258000 | #Constraints: 33575
258.18/258.96 c #Conflicts: 259000 | #Constraints: 34575
258.18/258.96 c #Conflicts: 260000 | #Constraints: 35575
258.18/258.96 c #Conflicts: 261000 | #Constraints: 36575
685.97/687.86 c #Conflicts: 262000 | #Constraints: 37575
685.97/687.86 c #Conflicts: 263000 | #Constraints: 38575
685.97/687.86 c #Conflicts: 264000 | #Constraints: 39575
685.97/687.86 c #Conflicts: 265000 | #Constraints: 40575
685.97/687.86 c #Conflicts: 266000 | #Constraints: 41575
685.97/687.86 c #Conflicts: 267000 | #Constraints: 42575
685.97/687.86 c #Conflicts: 268000 | #Constraints: 43575
685.97/687.86 c #Conflicts: 269000 | #Constraints: 44575
685.97/687.86 c #Conflicts: 270000 | #Constraints: 45575
685.97/687.86 c #Conflicts: 271000 | #Constraints: 46575
685.97/687.86 c #Conflicts: 272000 | #Constraints: 47575
685.97/687.86 c #Conflicts: 273000 | #Constraints: 48575
685.97/687.86 c #Conflicts: 274000 | #Constraints: 49575
685.97/687.86 c #Conflicts: 275000 | #Constraints: 50575
685.97/687.86 c bounds 2 >= -92 @ 335.389
685.97/687.86 c #Conflicts: 276000 | #Constraints: 51684
685.97/687.86 c #Conflicts: 277000 | #Constraints: 52684
685.97/687.86 c #Conflicts: 278000 | #Constraints: 53684
685.97/687.86 c #Conflicts: 279000 | #Constraints: 54684
685.97/687.86 c #Conflicts: 280000 | #Constraints: 55684
685.97/687.86 c #Conflicts: 281000 | #Constraints: 56684
685.97/687.86 c #Conflicts: 282000 | #Constraints: 57684
685.97/687.86 c INPROCESSING
685.97/687.86 c GARBAGE COLLECT
685.97/687.86 c #Conflicts: 283000 | #Constraints: 30397
685.97/687.86 c #Conflicts: 284000 | #Constraints: 31397
685.97/687.86 c #Conflicts: 285000 | #Constraints: 32397
685.97/687.86 c #Conflicts: 286000 | #Constraints: 33397
685.97/687.86 c #Conflicts: 287000 | #Constraints: 34397
685.97/687.86 c #Conflicts: 288000 | #Constraints: 35397
685.97/687.86 c #Conflicts: 289000 | #Constraints: 36397
685.97/687.86 c #Conflicts: 290000 | #Constraints: 37397
685.97/687.86 c #Conflicts: 291000 | #Constraints: 38397
685.97/687.86 c #Conflicts: 292000 | #Constraints: 39397
685.97/687.86 c #Conflicts: 293000 | #Constraints: 40397
685.97/687.86 c #Conflicts: 294000 | #Constraints: 41397
685.97/687.86 c INPROCESSING
685.97/687.86 c GARBAGE COLLECT
685.97/687.86 c #Conflicts: 295000 | #Constraints: 22710
685.97/687.86 c #Conflicts: 296000 | #Constraints: 23710
685.97/687.86 c #Conflicts: 297000 | #Constraints: 24710
685.97/687.86 c #Conflicts: 298000 | #Constraints: 25710
685.97/687.86 c #Conflicts: 299000 | #Constraints: 26710
685.97/687.86 c #Conflicts: 300000 | #Constraints: 27710
685.97/687.86 c #Conflicts: 301000 | #Constraints: 28710
685.97/687.86 c #Conflicts: 302000 | #Constraints: 29710
685.97/687.86 c #Conflicts: 303000 | #Constraints: 30710
685.97/687.86 c #Conflicts: 304000 | #Constraints: 31710
685.97/687.86 c #Conflicts: 305000 | #Constraints: 32710
685.97/687.86 c INPROCESSING
685.97/687.86 c GARBAGE COLLECT
685.97/687.86 c #Conflicts: 306000 | #Constraints: 18221
685.97/687.86 c #Conflicts: 307000 | #Constraints: 19221
685.97/687.86 c #Conflicts: 308000 | #Constraints: 20221
685.97/687.86 c #Conflicts: 309000 | #Constraints: 21221
685.97/687.86 c #Conflicts: 310000 | #Constraints: 22221
685.97/687.86 c #Conflicts: 311000 | #Constraints: 23221
685.97/687.86 c #Conflicts: 312000 | #Constraints: 24221
685.97/687.86 c #Conflicts: 313000 | #Constraints: 25221
685.97/687.86 c #Conflicts: 314000 | #Constraints: 26221
685.97/687.86 c #Conflicts: 315000 | #Constraints: 27221
685.97/687.86 c #Conflicts: 316000 | #Constraints: 28221
685.97/687.86 c #Conflicts: 317000 | #Constraints: 29221
685.97/687.86 c #Conflicts: 318000 | #Constraints: 30221
685.97/687.86 c #Conflicts: 319000 | #Constraints: 31221
685.97/687.86 c #Conflicts: 320000 | #Constraints: 32221
685.97/687.86 c #Conflicts: 321000 | #Constraints: 33221
685.97/687.86 c #Conflicts: 322000 | #Constraints: 34221
685.97/687.86 c #Conflicts: 323000 | #Constraints: 35221
685.97/687.86 c #Conflicts: 324000 | #Constraints: 36221
685.97/687.86 c #Conflicts: 325000 | #Constraints: 37221
685.97/687.86 c #Conflicts: 326000 | #Constraints: 38221
685.97/687.86 c #Conflicts: 327000 | #Constraints: 39221
685.97/687.86 c #Conflicts: 328000 | #Constraints: 40221
685.97/687.86 c #Conflicts: 329000 | #Constraints: 41221
685.97/687.86 c #Conflicts: 330000 | #Constraints: 42221
685.97/687.86 c #Conflicts: 331000 | #Constraints: 43221
685.97/687.86 c #Conflicts: 332000 | #Constraints: 44221
685.97/687.86 c #Conflicts: 333000 | #Constraints: 45221
685.97/687.86 c #Conflicts: 334000 | #Constraints: 46221
685.97/687.86 c #Conflicts: 335000 | #Constraints: 47221
685.97/687.86 c #Conflicts: 336000 | #Constraints: 48221
685.97/687.86 c #Conflicts: 337000 | #Constraints: 49221
1611.05/1615.41 c #Conflicts: 338000 | #Constraints: 50221
1611.05/1615.41 c #Conflicts: 339000 | #Constraints: 51221
1611.05/1615.41 c #Conflicts: 340000 | #Constraints: 52221
1611.05/1615.41 c #Conflicts: 341000 | #Constraints: 53221
1611.05/1615.41 c #Conflicts: 342000 | #Constraints: 54221
1611.05/1615.41 c #Conflicts: 343000 | #Constraints: 55221
1611.05/1615.41 c #Conflicts: 344000 | #Constraints: 56221
1611.05/1615.41 c #Conflicts: 345000 | #Constraints: 57221
1611.05/1615.41 c #Conflicts: 346000 | #Constraints: 58221
1611.05/1615.41 c #Conflicts: 347000 | #Constraints: 59221
1611.05/1615.41 c #Conflicts: 348000 | #Constraints: 60221
1611.05/1615.41 c #Conflicts: 349000 | #Constraints: 61221
1611.05/1615.41 c #Conflicts: 350000 | #Constraints: 62221
1611.05/1615.41 c #Conflicts: 351000 | #Constraints: 63221
1611.05/1615.41 c #Conflicts: 352000 | #Constraints: 64221
1611.05/1615.41 c #Conflicts: 353000 | #Constraints: 65221
1611.05/1615.41 c #Conflicts: 354000 | #Constraints: 66221
1611.05/1615.41 c #Conflicts: 355000 | #Constraints: 67221
1611.05/1615.41 c #Conflicts: 356000 | #Constraints: 68221
1611.05/1615.41 c INPROCESSING
1611.05/1615.41 c GARBAGE COLLECT
1611.05/1615.41 c #Conflicts: 357000 | #Constraints: 35927
1611.05/1615.41 c #Conflicts: 358000 | #Constraints: 36927
1611.05/1615.41 c #Conflicts: 359000 | #Constraints: 37927
1611.05/1615.41 c #Conflicts: 360000 | #Constraints: 38927
1611.05/1615.41 c #Conflicts: 361000 | #Constraints: 39927
1611.05/1615.41 c #Conflicts: 362000 | #Constraints: 40927
1611.05/1615.41 c #Conflicts: 363000 | #Constraints: 41927
1611.05/1615.41 c #Conflicts: 364000 | #Constraints: 42927
1611.05/1615.41 c #Conflicts: 365000 | #Constraints: 43927
1611.05/1615.41 c #Conflicts: 366000 | #Constraints: 44927
1611.05/1615.41 c #Conflicts: 367000 | #Constraints: 45927
1611.05/1615.41 c #Conflicts: 368000 | #Constraints: 46927
1611.05/1615.41 c #Conflicts: 369000 | #Constraints: 47927
1611.05/1615.41 c INPROCESSING
1611.05/1615.41 c GARBAGE COLLECT
1611.05/1615.41 c #Conflicts: 370000 | #Constraints: 25988
1611.05/1615.41 c #Conflicts: 371000 | #Constraints: 26988
1611.05/1615.41 c #Conflicts: 372000 | #Constraints: 27988
1611.05/1615.41 c #Conflicts: 373000 | #Constraints: 28988
1611.05/1615.41 c #Conflicts: 374000 | #Constraints: 29988
1611.05/1615.41 c #Conflicts: 375000 | #Constraints: 30988
1611.05/1615.41 c #Conflicts: 376000 | #Constraints: 31988
1611.05/1615.41 c #Conflicts: 377000 | #Constraints: 32988
1611.05/1615.41 c #Conflicts: 378000 | #Constraints: 33988
1611.05/1615.41 c #Conflicts: 379000 | #Constraints: 34988
1611.05/1615.41 c #Conflicts: 380000 | #Constraints: 35988
1611.05/1615.41 c #Conflicts: 381000 | #Constraints: 36988
1611.05/1615.41 c INPROCESSING
1611.05/1615.41 c GARBAGE COLLECT
1611.05/1615.41 c #Conflicts: 382000 | #Constraints: 22323
1611.05/1615.41 c #Conflicts: 383000 | #Constraints: 23323
1611.05/1615.41 c #Conflicts: 384000 | #Constraints: 24323
1611.05/1615.41 c #Conflicts: 385000 | #Constraints: 25323
1611.05/1615.41 c #Conflicts: 386000 | #Constraints: 26323
1611.05/1615.41 c #Conflicts: 387000 | #Constraints: 27323
1611.05/1615.41 c #Conflicts: 388000 | #Constraints: 28323
1611.05/1615.41 c #Conflicts: 389000 | #Constraints: 29323
1611.05/1615.41 c #Conflicts: 390000 | #Constraints: 30323
1611.05/1615.41 c #Conflicts: 391000 | #Constraints: 31323
1611.05/1615.41 c #Conflicts: 392000 | #Constraints: 32323
1611.05/1615.41 c #Conflicts: 393000 | #Constraints: 33323
1611.05/1615.41 c #Conflicts: 394000 | #Constraints: 34323
1611.05/1615.41 c #Conflicts: 395000 | #Constraints: 35323
1611.05/1615.41 c #Conflicts: 396000 | #Constraints: 36323
1611.05/1615.41 c #Conflicts: 397000 | #Constraints: 37323
1611.05/1615.41 c #Conflicts: 398000 | #Constraints: 38323
1611.05/1615.41 c #Conflicts: 399000 | #Constraints: 39323
1611.05/1615.41 c #Conflicts: 400000 | #Constraints: 40323
1611.05/1615.41 c #Conflicts: 401000 | #Constraints: 41323
1611.05/1615.41 c #Conflicts: 402000 | #Constraints: 42323
1611.05/1615.41 c #Conflicts: 403000 | #Constraints: 43323
1611.05/1615.41 c #Conflicts: 404000 | #Constraints: 44323
1611.05/1615.41 c #Conflicts: 405000 | #Constraints: 45323
1611.05/1615.41 c #Conflicts: 406000 | #Constraints: 46323
1611.05/1615.41 c #Conflicts: 407000 | #Constraints: 47323
1611.05/1615.41 c #Conflicts: 408000 | #Constraints: 48323
1611.05/1615.41 c #Conflicts: 409000 | #Constraints: 49323
1611.05/1615.41 c #Conflicts: 410000 | #Constraints: 50323
1611.05/1615.41 c #Conflicts: 411000 | #Constraints: 51323
1611.05/1615.41 c #Conflicts: 412000 | #Constraints: 52323
1611.05/1615.41 c #Conflicts: 413000 | #Constraints: 53323
1611.05/1615.41 c #Conflicts: 414000 | #Constraints: 54323
2780.09/2787.62 c #Conflicts: 415000 | #Constraints: 55323
2780.09/2787.62 c #Conflicts: 416000 | #Constraints: 56323
2780.09/2787.62 c #Conflicts: 417000 | #Constraints: 57323
2780.09/2787.62 c #Conflicts: 418000 | #Constraints: 58323
2780.09/2787.62 c #Conflicts: 419000 | #Constraints: 59323
2780.09/2787.62 c #Conflicts: 420000 | #Constraints: 60323
2780.09/2787.62 c #Conflicts: 421000 | #Constraints: 61323
2780.09/2787.62 c #Conflicts: 422000 | #Constraints: 62323
2780.09/2787.62 c #Conflicts: 423000 | #Constraints: 63323
2780.09/2787.62 c #Conflicts: 424000 | #Constraints: 64323
2780.09/2787.62 c #Conflicts: 425000 | #Constraints: 65323
2780.09/2787.62 c #Conflicts: 426000 | #Constraints: 66323
2780.09/2787.62 c #Conflicts: 427000 | #Constraints: 67323
2780.09/2787.62 c #Conflicts: 428000 | #Constraints: 68323
2780.09/2787.62 c #Conflicts: 429000 | #Constraints: 69323
2780.09/2787.62 c #Conflicts: 430000 | #Constraints: 70323
2780.09/2787.62 c #Conflicts: 431000 | #Constraints: 71323
2780.09/2787.62 c #Conflicts: 432000 | #Constraints: 72323
2780.09/2787.62 c #Conflicts: 433000 | #Constraints: 73323
2780.09/2787.62 c #Conflicts: 434000 | #Constraints: 74323
2780.09/2787.62 c #Conflicts: 435000 | #Constraints: 75323
2780.09/2787.62 c #Conflicts: 436000 | #Constraints: 76323
2780.09/2787.62 c #Conflicts: 437000 | #Constraints: 77323
2780.09/2787.62 c INPROCESSING
2780.09/2787.62 c GARBAGE COLLECT
2780.09/2787.62 c #Conflicts: 438000 | #Constraints: 40627
2780.09/2787.62 c #Conflicts: 439000 | #Constraints: 41627
2780.09/2787.62 c #Conflicts: 440000 | #Constraints: 42627
2780.09/2787.62 c #Conflicts: 441000 | #Constraints: 43627
2780.09/2787.62 c #Conflicts: 442000 | #Constraints: 44627
2780.09/2787.62 c #Conflicts: 443000 | #Constraints: 45627
2780.09/2787.62 c #Conflicts: 444000 | #Constraints: 46627
2780.09/2787.62 c #Conflicts: 445000 | #Constraints: 47627
2780.09/2787.62 c #Conflicts: 446000 | #Constraints: 48627
2780.09/2787.62 c #Conflicts: 447000 | #Constraints: 49627
2780.09/2787.62 c #Conflicts: 448000 | #Constraints: 50627
2780.09/2787.62 c #Conflicts: 449000 | #Constraints: 51627
2780.09/2787.62 c #Conflicts: 450000 | #Constraints: 52627
2780.09/2787.62 c #Conflicts: 451000 | #Constraints: 53627
2780.09/2787.62 c INPROCESSING
2780.09/2787.62 c GARBAGE COLLECT
2780.09/2787.62 c #Conflicts: 452000 | #Constraints: 28730
2780.09/2787.62 c #Conflicts: 453000 | #Constraints: 29730
2780.09/2787.62 c #Conflicts: 454000 | #Constraints: 30730
2780.09/2787.62 c #Conflicts: 455000 | #Constraints: 31730
2780.09/2787.62 c #Conflicts: 456000 | #Constraints: 32730
2780.09/2787.62 c #Conflicts: 457000 | #Constraints: 33730
2780.09/2787.62 c #Conflicts: 458000 | #Constraints: 34730
2780.09/2787.62 c #Conflicts: 459000 | #Constraints: 35730
2780.09/2787.62 c #Conflicts: 460000 | #Constraints: 36730
2780.09/2787.62 c #Conflicts: 461000 | #Constraints: 37730
2780.09/2787.62 c #Conflicts: 462000 | #Constraints: 38730
2780.09/2787.62 c #Conflicts: 463000 | #Constraints: 39730
2780.09/2787.62 c #Conflicts: 464000 | #Constraints: 40730
2780.09/2787.62 c #Conflicts: 465000 | #Constraints: 41730
2780.09/2787.62 c #Conflicts: 466000 | #Constraints: 42730
2780.09/2787.62 c #Conflicts: 467000 | #Constraints: 43730
2780.09/2787.62 c #Conflicts: 468000 | #Constraints: 44730
2780.09/2787.62 c #Conflicts: 469000 | #Constraints: 45730
2780.09/2787.62 c #Conflicts: 470000 | #Constraints: 46730
2780.09/2787.62 c #Conflicts: 471000 | #Constraints: 47730
2780.09/2787.62 c #Conflicts: 472000 | #Constraints: 48730
2780.09/2787.62 c #Conflicts: 473000 | #Constraints: 49730
2780.09/2787.62 c #Conflicts: 474000 | #Constraints: 50730
2780.09/2787.62 c #Conflicts: 475000 | #Constraints: 51730
2780.09/2787.62 c #Conflicts: 476000 | #Constraints: 52730
2780.09/2787.62 c #Conflicts: 477000 | #Constraints: 53730
2780.09/2787.62 c #Conflicts: 478000 | #Constraints: 54730
2780.09/2787.62 c #Conflicts: 479000 | #Constraints: 55730
2780.09/2787.62 c #Conflicts: 480000 | #Constraints: 56730
2780.09/2787.62 c #Conflicts: 481000 | #Constraints: 57730
2780.09/2787.62 c #Conflicts: 482000 | #Constraints: 58730
2780.09/2787.62 c #Conflicts: 483000 | #Constraints: 59730
2780.09/2787.62 c #Conflicts: 484000 | #Constraints: 60730
2780.09/2787.62 c #Conflicts: 485000 | #Constraints: 61730
2780.09/2787.62 c #Conflicts: 486000 | #Constraints: 62730
2780.09/2787.62 c #Conflicts: 487000 | #Constraints: 63730
2780.09/2787.62 c #Conflicts: 488000 | #Constraints: 64730
2780.09/2787.62 c #Conflicts: 489000 | #Constraints: 65730
2780.09/2787.62 c #Conflicts: 490000 | #Constraints: 66730
2780.09/2787.62 c #Conflicts: 491000 | #Constraints: 67730
3600.06/3610.11 c #Conflicts: 492000 | #Constraints: 68730
3600.06/3610.11 c #Conflicts: 493000 | #Constraints: 69730
3600.06/3610.11 c #Conflicts: 494000 | #Constraints: 70730
3600.06/3610.11 c #Conflicts: 495000 | #Constraints: 71730
3600.06/3610.11 c #Conflicts: 496000 | #Constraints: 72730
3600.06/3610.11 c #Conflicts: 497000 | #Constraints: 73730
3600.06/3610.11 c #Conflicts: 498000 | #Constraints: 74730
3600.06/3610.11 c #Conflicts: 499000 | #Constraints: 75730
3600.06/3610.11 c #Conflicts: 500000 | #Constraints: 76730
3600.06/3610.11 c #Conflicts: 501000 | #Constraints: 77730
3600.06/3610.11 c #Conflicts: 502000 | #Constraints: 78730
3600.06/3610.11 c #Conflicts: 503000 | #Constraints: 79730
3600.06/3610.11 c #Conflicts: 504000 | #Constraints: 80730
3600.06/3610.11 c #Conflicts: 505000 | #Constraints: 81730
3600.06/3610.11 c #Conflicts: 506000 | #Constraints: 82730
3600.06/3610.11 c #Conflicts: 507000 | #Constraints: 83730
3600.06/3610.11 c #Conflicts: 508000 | #Constraints: 84730
3600.06/3610.11 c #Conflicts: 509000 | #Constraints: 85730
3600.06/3610.11 c INPROCESSING
3600.06/3610.11 c GARBAGE COLLECT
3600.06/3610.11 c #Conflicts: 510000 | #Constraints: 44587
3600.06/3610.11 c #Conflicts: 511000 | #Constraints: 45587
3600.06/3610.11 c #Conflicts: 512000 | #Constraints: 46587
3600.06/3610.11 c #Conflicts: 513000 | #Constraints: 47587
3600.06/3610.11 c #Conflicts: 514000 | #Constraints: 48587
3600.06/3610.11 c #Conflicts: 515000 | #Constraints: 49587
3600.06/3610.11 c #Conflicts: 516000 | #Constraints: 50587
3600.06/3610.11 c #Conflicts: 517000 | #Constraints: 51587
3600.06/3610.11 c #Conflicts: 518000 | #Constraints: 52587
3600.06/3610.11 c #Conflicts: 519000 | #Constraints: 53587
3600.06/3610.11 c #Conflicts: 520000 | #Constraints: 54587
3600.06/3610.11 c #Conflicts: 521000 | #Constraints: 55587
3600.06/3610.11 c #Conflicts: 522000 | #Constraints: 56587
3600.06/3610.11 c #Conflicts: 523000 | #Constraints: 57587
3600.06/3610.11 c #Conflicts: 524000 | #Constraints: 58587
3600.06/3610.11 c #Conflicts: 525000 | #Constraints: 59587
3600.06/3610.11 c INPROCESSING
3600.06/3610.11 c GARBAGE COLLECT
3600.06/3610.11 c #Conflicts: 526000 | #Constraints: 32376
3600.06/3610.11 c #Conflicts: 527000 | #Constraints: 33376
3600.06/3610.11 c #Conflicts: 528000 | #Constraints: 34376
3600.06/3610.11 c #Conflicts: 529000 | #Constraints: 35376
3600.06/3610.11 c #Conflicts: 530000 | #Constraints: 36376
3600.06/3610.11 c #Conflicts: 531000 | #Constraints: 37376
3600.06/3610.11 c #Conflicts: 532000 | #Constraints: 38376
3600.06/3610.11 c #Conflicts: 533000 | #Constraints: 39376
3600.06/3610.11 c #Conflicts: 534000 | #Constraints: 40376
3600.06/3610.11 c #Conflicts: 535000 | #Constraints: 41376
3600.06/3610.11 c #Conflicts: 536000 | #Constraints: 42376
3600.06/3610.11 c #Conflicts: 537000 | #Constraints: 43376
3600.06/3610.11 c Program interrupted by user.
3600.06/3610.11 c cpu time 3590.41 s
3600.06/3610.11 c deterministic time 283686272001 2.84e+11
3600.06/3610.11 c optimization time 201.832 s
3600.06/3610.11 c total solve time 3388.57 s
3600.06/3610.11 c core-guided solve time 3388.57 s
3600.06/3610.11 c propagation time 3236.21 s
3600.06/3610.11 c conflict analysis time 338.652 s
3600.06/3610.11 c propagations 80542713
3600.06/3610.11 c resolve steps 6311342
3600.06/3610.11 c decisions 6882242
3600.06/3610.11 c conflicts 537303
3600.06/3610.11 c restarts 1115
3600.06/3610.11 c inprocessing phases 50
3600.06/3610.11 c input clauses 1213
3600.06/3610.11 c input cardinalities 618
3600.06/3610.11 c input general constraints 916
3600.06/3610.11 c input average constraint length 62.80
3600.06/3610.11 c input average constraint degree 35.46
3600.06/3610.11 c learned clauses 136889
3600.06/3610.11 c learned cardinalities 1128
3600.06/3610.11 c learned general constraints 399378
3600.06/3610.11 c learned average constraint length 151.74
3600.06/3610.11 c learned average constraint degree 663933.25
3600.06/3610.11 c watched constraints 315356
3600.06/3610.11 c counting constraints 84938
3600.06/3610.11 c gcd simplifications 12168
3600.06/3610.11 c detected cardinalities 26
3600.06/3610.11 c weakened non-implied lits 10587408
3600.06/3610.11 c weakened non-implying lits 39702
3600.06/3610.11 c original variables 776
3600.06/3610.11 c clausal propagations 30330413
3600.06/3610.11 c cardinality propagations 3192645
3600.06/3610.11 c watched propagations 11113649
3600.06/3610.11 c counting propagations 35527153
3600.06/3610.11 c watch lookups 68184980431
3600.06/3610.11 c watch backjump lookups 64262924595
3600.06/3610.11 c watch checks 139371257512
3600.06/3610.11 c propagation checks 11430623785
3600.06/3610.11 c constraint additions 261098813
3600.06/3610.11 c trail pops 87961909
3600.06/3610.11 c formula constraints 867
3600.06/3610.11 c learned constraints 537395
3600.06/3610.11 c bound constraints 194
3600.06/3610.11 c core-guided constraints 1686
3600.06/3610.11 c encountered formula constraints 1573524
3600.06/3610.11 c encountered learned constraints 4044054
3600.06/3610.11 c encountered bound constraints 176
3600.06/3610.11 c encountered core-guided constraints 1230891
3600.06/3610.11 c LP total time 0 s
3600.06/3610.11 c LP solve time 0 s
3600.06/3610.11 c LP constraints added 0
3600.06/3610.11 c LP constraints removed 0
3600.06/3610.11 c LP pivots internal 0
3600.06/3610.11 c LP pivots root 0
3600.06/3610.11 c LP calls 0
3600.06/3610.11 c LP optimalities 0
3600.06/3610.11 c LP no pivot count 0
3600.06/3610.11 c LP infeasibilities 0
3600.06/3610.11 c LP valid Farkas constraints 0
3600.06/3610.11 c LP learned Farkas constraints 0
3600.06/3610.11 c LP basis resets 0
3600.06/3610.11 c LP cycling count 0
3600.06/3610.11 c LP singular count 0
3600.06/3610.11 c LP no primal count 0
3600.06/3610.11 c LP no farkas count 0
3600.06/3610.11 c LP other issue count 0
3600.06/3610.11 c LP Gomory cuts 0
3600.06/3610.11 c LP learned cuts 0
3600.06/3610.11 c LP deleted cuts 0
3600.06/3610.11 c LP encountered Gomory constraints 0
3600.06/3610.11 c LP encountered Farkas constraints 0
3600.06/3610.11 c LP encountered learned Farkas constraints 0
3600.06/3610.11 c CG auxiliary variables introduced 647
3600.06/3610.11 c CG solutions found 9
3600.06/3610.11 c CG cores constructed 157
3600.06/3610.11 c CG core cardinality constraints returned 33
3600.06/3610.11 c CG unit cores 0
3600.06/3610.11 c CG single cores 134
3600.06/3610.11 c CG blocks removed during cardinality reduction 0
3600.06/3610.11 c CG first core best 0
3600.06/3610.11 c CG decision core best 8
3600.06/3610.11 c CG core reduction tie 15
3600.06/3610.11 c CG core degree average 1.29
3600.06/3610.11 c CG core slack average 9.15
3600.06/3610.11 c CG exhausted 4
3600.06/3610.11 c CG exhaust time 69.9398 s
3600.06/3610.11 c CG trimmed 40
3600.06/3610.11 c CG trim time 0.02484 s
3600.06/3610.11 c CG minimized 0
3600.06/3610.11 c CG minimize time 0 s
3600.06/3610.11 c CG am1 prop time 0.023453 s
3600.06/3610.11 c CG # am1s reformulated 53
3600.06/3610.11 c CG lower bound derived from am1s 101
3600.06/3610.11 c CG # clausal cores 135
3600.06/3610.11 c CG # cardinality cores 35
3600.06/3610.11 c CG # pb cores 10
3600.06/3610.11 c CG # pb reforms 25
3600.06/3610.11 c CG # cores discarded because of pb reform 0
3600.06/3610.11 d LOWERBOUND -92
3600.06/3610.11 d NCORES 157
3600.06/3610.11 d NPBCORES 10
3600.06/3610.11 d NPBREFORM 25
3600.06/3610.11 d NTRIMMED 40
3600.06/3610.11 d NEXHAUSTED 4
3600.06/3610.11 d NAM1S 53
3600.06/3610.11 d AM1LB 101
3600.06/3610.11 o 2
3600.06/3610.11 s SATISFIABLE
3600.06/3610.11 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
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: 64059 MiB (61605 MiB free)
memory of node 1: 64510 MiB (63598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435936-1721064834/watcher-4435936-1721064834 -o /tmp/evaluation-result-4435936-1721064834/solver-4435936-1721064834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800994 --watchdog 3760 pb-oll-rs HOME/instance-4435936-1721064834.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=803012, runsolver pid=803009
[startup+0.100294 s]*
/proc/loadavg: 4.15 4.14 4.13 5/235 803029
/proc/meminfo: memFree=128208552/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=39600 memory=7096 CPUtime=0.1 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 606 0 0 0 9 1 0 0 20 0 1 0 158642969 40550400 1774 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 9900 1774 1358 291 0 1434 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 7096 KiB
[startup+0.21183 s]*
/proc/loadavg: 4.15 4.14 4.13 5/240 803058
/proc/meminfo: memFree=128200712/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=42624 memory=12796 CPUtime=0.21 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 1492 0 0 0 19 2 0 0 20 0 1 0 158642969 43646976 3199 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 10656 3199 1358 291 0 2190 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42624 KiB
Current children cumulated memory: 12796 KiB
[startup+0.313006 s]*
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128188400/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=44384 memory=15168 CPUtime=0.31 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 2125 0 0 0 29 2 0 0 20 0 1 0 158642969 45449216 3792 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 11096 3792 1358 291 0 2630 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44384 KiB
Current children cumulated memory: 15168 KiB
[startup+0.700277 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128176604/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=56784 memory=23296 CPUtime=0.68 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 4173 0 0 0 63 5 0 0 20 0 1 0 158642969 58146816 5824 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 14196 5824 1358 291 0 5730 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56784 KiB
Current children cumulated memory: 23296 KiB
[startup+1.50032 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128152684/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=59932 memory=28736 CPUtime=1.48 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 4908 0 0 0 141 7 0 0 20 0 1 0 158642969 61370368 7184 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 14983 7184 1419 291 0 6517 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59932 KiB
Current children cumulated memory: 28736 KiB
[startup+3.11294 s]
/proc/loadavg: 4.13 4.14 4.13 4/243 803069
/proc/meminfo: memFree=128349680/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=72652 memory=37792 CPUtime=3.09 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 6682 0 0 0 296 13 0 0 20 0 1 0 158642969 74395648 9448 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 18163 9448 1419 291 0 9697 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72652 KiB
Current children cumulated memory: 37792 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.14 4.13 5/245 803116
/proc/meminfo: memFree=128230432/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=73420 memory=38316 CPUtime=6.27 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 6807 0 0 0 608 19 0 0 20 0 1 0 158642969 75182080 9579 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 18355 9579 1419 291 0 9889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73420 KiB
Current children cumulated memory: 38316 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.13 5/245 803118
/proc/meminfo: memFree=128064860/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=74564 memory=39100 CPUtime=12.66 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 6990 0 0 0 1238 28 0 0 20 0 1 0 158642969 76353536 9775 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 18641 9775 1419 291 0 10175 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 74564 KiB
Current children cumulated memory: 39100 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.14 6/245 803119
/proc/meminfo: memFree=127879432/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=75652 memory=40124 CPUtime=25.42 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 7247 0 0 0 2503 39 0 0 20 0 1 0 158642969 77467648 10031 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 18913 10031 1419 291 0 10447 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75652 KiB
Current children cumulated memory: 40124 KiB
[startup+51.1128 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 803122
/proc/meminfo: memFree=127681232/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=79812 memory=45676 CPUtime=50.96 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 8135 0 0 0 5038 58 0 0 20 0 1 0 158642969 81727488 11419 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 19953 11419 1419 291 0 11487 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 79812 KiB
Current children cumulated memory: 45676 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 803133
/proc/meminfo: memFree=127376864/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=116784 memory=69244 CPUtime=102.02 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 13543 0 0 0 10082 120 0 0 20 0 1 0 158642969 119586816 17311 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 29196 17311 1419 291 0 20730 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 69244 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.12 5/242 803143
/proc/meminfo: memFree=127318592/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=129768 memory=87788 CPUtime=161.84 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 16454 0 0 0 15981 203 0 0 20 0 1 0 158642969 132882432 21947 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 32442 21947 1419 291 0 23976 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 129768 KiB
Current children cumulated memory: 87788 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/242 803153
/proc/meminfo: memFree=127150560/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=134924 memory=101536 CPUtime=221.67 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 17738 0 0 0 21900 267 0 0 20 0 1 0 158642969 138162176 25384 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 33731 25384 1419 291 0 25265 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 134924 KiB
Current children cumulated memory: 101536 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/241 803163
/proc/meminfo: memFree=127088900/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=165536 memory=115916 CPUtime=281.52 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 20442 0 0 0 27852 300 0 0 20 0 1 0 158642969 169508864 28979 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 41384 28979 1419 291 0 32918 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 165536 KiB
Current children cumulated memory: 115916 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/241 803174
/proc/meminfo: memFree=126986292/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=173932 memory=130760 CPUtime=341.37 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 22151 0 0 0 33820 317 0 0 20 0 1 0 158642969 178106368 32690 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 43483 32690 1419 291 0 35017 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 173932 KiB
Current children cumulated memory: 130760 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/243 803188
/proc/meminfo: memFree=126869528/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=178412 memory=138212 CPUtime=401.21 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 23264 0 0 0 39770 351 0 0 20 0 1 0 158642969 182693888 34553 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 44603 34553 1419 291 0 36137 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 178412 KiB
Current children cumulated memory: 138212 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/243 803198
/proc/meminfo: memFree=126803368/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=179416 memory=139456 CPUtime=461.06 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 23682 0 0 0 45728 378 0 0 20 0 1 0 158642969 183721984 34864 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 44854 34864 1419 291 0 36388 0
################
# More data... #
################
Current children cumulated memory: 213120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/244 804216
/proc/meminfo: memFree=124825176/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=255992 memory=213292 CPUtime=2914.42 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 36309 0 0 0 290578 864 0 0 20 0 1 0 158642969 262135808 53323 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 63998 53323 1419 291 0 55532 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 255992 KiB
Current children cumulated memory: 213292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/245 804227
/proc/meminfo: memFree=124791484/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=257184 memory=213896 CPUtime=2974.23 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 36584 0 0 0 296553 870 0 0 20 0 1 0 158642969 263356416 53474 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 64296 53474 1419 291 0 55830 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 257184 KiB
Current children cumulated memory: 213896 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/245 804238
/proc/meminfo: memFree=124747412/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=258980 memory=215092 CPUtime=3034.04 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 36955 0 0 0 302527 877 0 0 20 0 1 0 158642969 265195520 53773 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 64745 53773 1419 291 0 56279 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 258980 KiB
Current children cumulated memory: 215092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.86 4.35 4.22 5/245 804631
/proc/meminfo: memFree=124223964/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=260792 memory=218068 CPUtime=3093.84 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 37340 0 0 0 308501 883 0 0 20 0 1 0 158642969 267051008 54517 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 65198 54517 1419 291 0 56732 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 260792 KiB
Current children cumulated memory: 218068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.31 4.21 5/243 804641
/proc/meminfo: memFree=124178892/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=262452 memory=221264 CPUtime=3153.66 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 37740 0 0 0 314477 889 0 0 20 0 1 0 158642969 268750848 55316 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 65613 55316 1419 291 0 57147 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 262452 KiB
Current children cumulated memory: 221264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.25 4.20 5/243 804651
/proc/meminfo: memFree=124129824/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=265912 memory=227332 CPUtime=3213.47 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 38350 0 0 0 320451 896 0 0 20 0 1 0 158642969 272293888 56833 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66478 56833 1419 291 0 58012 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 265912 KiB
Current children cumulated memory: 227332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.23 4.19 5/244 804830
/proc/meminfo: memFree=124031752/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3273.29 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 38740 0 0 0 326423 906 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/243 804842
/proc/meminfo: memFree=123989508/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3333.09 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 38824 0 0 0 332394 915 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/246 804911
/proc/meminfo: memFree=123949556/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3392.9 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 38910 0 0 0 338365 925 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/246 804921
/proc/meminfo: memFree=123899756/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3452.72 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 38997 0 0 0 344338 934 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/246 804933
/proc/meminfo: memFree=123857016/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3512.52 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 39074 0 0 0 350306 946 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.19 4.18 5/246 804943
/proc/meminfo: memFree=123812460/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3572.34 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 39154 0 0 0 356274 960 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 804994
/proc/meminfo: memFree=123873200/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3600.06 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 39155 0 0 0 359040 966 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 803012 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.41 s, system=9.66514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 804994
/proc/meminfo: memFree=123873200/131655788 swapFree=131071996/131071996
[pid=803012] ppid=803009 vsize=266240 memory=227832 CPUtime=3600.06 cores=5,7
/proc/803012/stat : 803012 (pb-oll-rs) R 803009 803012 800981 0 -1 4194304 39155 0 0 0 359040 966 0 0 20 0 1 0 158642969 272629760 56958 134679101440 4194304 5384005 140722411033248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31428608 140722411041815 140722411041892 140722411041892 140722411048907 0
/proc/803012/statm: 66560 56958 1419 291 0 58094 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 227832 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.07
CPU user time (s): 3590.41
CPU system time (s): 9.66514
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 267248
Max. memory (cumulated for all children) (KiB): 228652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.41
system time used= 9.66515
maximum resident set size= 228652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39171
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= 83
involuntary context switches= 2785
# summary of solver processes directly reported to runsolver:
# pid: 803012
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.41
# total CPU system time (s): 9.66514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9276 second user time and 30.5271 second system time
The end
Begin job on nodeC009 at 2024-07-15 19:34:06
IDJOB=4435936
IDBENCH=146660
IDSOLVER=3067
FILE ID=nodeC009/4435936-1721064834
RUNJOBID= nodeC009-1721061236-800994
SLURM_JOB_ID= 7505510
Free space on /tmp= 723764 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435936-1721064834/watcher-4435936-1721064834 -o /tmp/evaluation-result-4435936-1721064834/solver-4435936-1721064834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800994 --watchdog 3760 pb-oll-rs HOME/instance-4435936-1721064834.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=235380278
nodeC009.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 : 0xb00001f
cpu MHz : 3586.843
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3626.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.500
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128209844 kB
MemAvailable: 129632324 kB
Buffers: 372576 kB
Cached: 1878472 kB
SwapCached: 0 kB
Active: 602176 kB
Inactive: 2292804 kB
Active(anon): 1460 kB
Inactive(anon): 680164 kB
Active(file): 600716 kB
Inactive(file): 1612640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2144 kB
Writeback: 8 kB
AnonPages: 633712 kB
Mapped: 105496 kB
Shmem: 37700 kB
KReclaimable: 98308 kB
Slab: 195272 kB
SReclaimable: 98308 kB
SUnreclaim: 96964 kB
KernelStack: 3772 kB
PageTables: 11040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1018420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 604160 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-15 20:34:16