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 776 #constraints 867
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -474 @ 0.002852
0.00/0.00 c stratification level: 3
0.00/0.00 c bounds - >= -440 @ 0.003008
0.00/0.00 c bounds - >= -436 @ 0.003008
0.00/0.00 c bounds - >= -432 @ 0.003116
0.00/0.00 c bounds - >= -426 @ 0.003254
0.00/0.00 c bounds - >= -420 @ 0.003428
0.00/0.00 c bounds - >= -414 @ 0.003583
0.00/0.00 c bounds - >= -411 @ 0.003753
0.00/0.00 c bounds - >= -408 @ 0.003969
0.00/0.00 c bounds - >= -402 @ 0.004013
0.00/0.00 c bounds - >= -399 @ 0.004013
0.00/0.00 c bounds - >= -396 @ 0.004013
0.00/0.00 c bounds - >= -393 @ 0.004013
0.00/0.00 c bounds - >= -390 @ 0.004013
0.00/0.00 c bounds - >= -387 @ 0.004255
0.00/0.00 c bounds - >= -384 @ 0.004508
0.00/0.00 c bounds - >= -381 @ 0.004744
0.00/0.00 c finalizing WCE round: reformulating cores
0.30/0.38 c #Conflicts: 1000 | #Constraints: 1929
0.30/0.38 c bounds 22 >= -380 @ 0.262564
0.30/0.38 c bounds 22 >= -377 @ 0.263377
0.30/0.38 c finalizing WCE round: reformulating cores
0.40/0.45 c bounds 20 >= -377 @ 0.364193
0.40/0.45 c #Conflicts: 2000 | #Constraints: 2957
0.40/0.45 c INPROCESSING
0.40/0.45 c GARBAGE COLLECT
0.40/0.45 c bounds 19 >= -377 @ 0.424619
0.40/0.45 c stratification level: 2
0.69/0.76 c bounds 19 >= -342 @ 0.428406
0.69/0.76 c bounds 19 >= -338 @ 0.428892
0.69/0.76 c bounds 19 >= -336 @ 0.429271
0.69/0.76 c bounds 19 >= -334 @ 0.42973
0.69/0.76 c bounds 19 >= -332 @ 0.429818
0.69/0.76 c bounds 19 >= -330 @ 0.429818
0.69/0.76 c bounds 19 >= -326 @ 0.429818
0.69/0.76 c bounds 19 >= -324 @ 0.429946
0.69/0.76 c bounds 19 >= -322 @ 0.43103
0.69/0.76 c bounds 19 >= -320 @ 0.43171
0.69/0.76 c bounds 19 >= -318 @ 0.431814
0.69/0.76 c bounds 19 >= -316 @ 0.43228
0.69/0.76 c bounds 19 >= -314 @ 0.433107
0.69/0.76 c bounds 19 >= -312 @ 0.433769
0.69/0.76 c bounds 19 >= -310 @ 0.434426
0.69/0.76 c bounds 19 >= -308 @ 0.435135
0.69/0.76 c bounds 19 >= -306 @ 0.436017
0.69/0.76 c bounds 19 >= -304 @ 0.436528
0.69/0.76 c bounds 19 >= -302 @ 0.437208
0.69/0.76 c bounds 19 >= -300 @ 0.437911
0.69/0.76 c bounds 19 >= -298 @ 0.44077
0.69/0.76 c #Conflicts: 3000 | #Constraints: 2977
0.69/0.76 c finalizing WCE round: reformulating cores
5.47/5.53 c #Conflicts: 4000 | #Constraints: 3986
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c #Conflicts: 5000 | #Constraints: 3366
5.47/5.53 c #Conflicts: 6000 | #Constraints: 4371
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c #Conflicts: 7000 | #Constraints: 3372
5.47/5.53 c #Conflicts: 8000 | #Constraints: 4381
5.47/5.53 c #Conflicts: 9000 | #Constraints: 5387
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c #Conflicts: 10000 | #Constraints: 4101
5.47/5.53 c #Conflicts: 11000 | #Constraints: 5103
5.47/5.53 c #Conflicts: 12000 | #Constraints: 6105
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c #Conflicts: 13000 | #Constraints: 4563
5.47/5.53 c #Conflicts: 14000 | #Constraints: 5565
5.47/5.53 c #Conflicts: 15000 | #Constraints: 6567
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c bounds 7 >= -298 @ 3.85697
5.47/5.53 c bounds 7 >= -292 @ 3.85729
5.47/5.53 c bounds 7 >= -290 @ 3.85797
5.47/5.53 c bounds 7 >= -288 @ 3.859
5.47/5.53 c #Conflicts: 16000 | #Constraints: 4829
5.47/5.53 c #Conflicts: 17000 | #Constraints: 5829
5.47/5.53 c #Conflicts: 18000 | #Constraints: 6829
5.47/5.53 c INPROCESSING
5.47/5.53 c GARBAGE COLLECT
5.47/5.53 c finalizing WCE round: reformulating cores
8.07/8.19 c #Conflicts: 19000 | #Constraints: 4837
8.07/8.19 c #Conflicts: 20000 | #Constraints: 5839
8.07/8.19 c #Conflicts: 21000 | #Constraints: 6841
8.07/8.19 c bounds 6 >= -288 @ 5.90488
8.07/8.19 c bounds 6 >= -286 @ 5.90646
8.07/8.19 c INPROCESSING
8.07/8.19 c GARBAGE COLLECT
8.07/8.19 c #Conflicts: 22000 | #Constraints: 4643
8.07/8.19 c #Conflicts: 23000 | #Constraints: 5643
8.07/8.19 c #Conflicts: 24000 | #Constraints: 6643
8.07/8.19 c finalizing WCE round: reformulating cores
12.75/12.80 c #Conflicts: 25000 | #Constraints: 7646
12.75/12.80 c INPROCESSING
12.75/12.80 c GARBAGE COLLECT
12.75/12.80 c bounds 5 >= -286 @ 8.25563
12.75/12.80 c #Conflicts: 26000 | #Constraints: 5249
12.75/12.80 c #Conflicts: 27000 | #Constraints: 6249
12.75/12.80 c #Conflicts: 28000 | #Constraints: 7249
12.75/12.80 c #Conflicts: 29000 | #Constraints: 8249
12.75/12.80 c INPROCESSING
12.75/12.80 c GARBAGE COLLECT
12.75/12.80 c #Conflicts: 30000 | #Constraints: 5654
12.75/12.80 c #Conflicts: 31000 | #Constraints: 6654
12.75/12.80 c bounds 4 >= -286 @ 12.5105
12.75/12.80 c stratification level: 1
36.69/36.89 c bounds 4 >= -254 @ 12.5184
36.69/36.89 c bounds 4 >= -252 @ 12.5187
36.69/36.89 c bounds 4 >= -250 @ 12.5187
36.69/36.89 c bounds 4 >= -247 @ 12.5187
36.69/36.89 c bounds 4 >= -246 @ 12.5192
36.69/36.89 c bounds 4 >= -245 @ 12.5205
36.69/36.89 c bounds 4 >= -242 @ 12.521
36.69/36.89 c bounds 4 >= -239 @ 12.5214
36.69/36.89 c bounds 4 >= -237 @ 12.5219
36.69/36.89 c bounds 4 >= -235 @ 12.5224
36.69/36.89 c bounds 4 >= -232 @ 12.5228
36.69/36.89 c bounds 4 >= -230 @ 12.5233
36.69/36.89 c bounds 4 >= -227 @ 12.5238
36.69/36.89 c bounds 4 >= -224 @ 12.5242
36.69/36.89 c bounds 4 >= -223 @ 12.5248
36.69/36.89 c bounds 4 >= -220 @ 12.5252
36.69/36.89 c bounds 4 >= -219 @ 12.5259
36.69/36.89 c bounds 4 >= -218 @ 12.5265
36.69/36.89 c bounds 4 >= -217 @ 12.5266
36.69/36.89 c bounds 4 >= -216 @ 12.5266
36.69/36.89 c bounds 4 >= -215 @ 12.5283
36.69/36.89 c bounds 4 >= -212 @ 12.5286
36.69/36.89 c bounds 4 >= -211 @ 12.5286
36.69/36.89 c bounds 4 >= -209 @ 12.5289
36.69/36.89 c bounds 4 >= -207 @ 12.5293
36.69/36.89 c bounds 4 >= -206 @ 12.5301
36.69/36.89 c bounds 4 >= -205 @ 12.5306
36.69/36.89 c bounds 4 >= -204 @ 12.5321
36.69/36.89 c bounds 4 >= -203 @ 12.5327
36.69/36.89 c bounds 4 >= -201 @ 12.5331
36.69/36.89 c bounds 4 >= -198 @ 12.5335
36.69/36.89 c bounds 4 >= -195 @ 12.5339
36.69/36.89 c bounds 4 >= -192 @ 12.5343
36.69/36.89 c bounds 4 >= -190 @ 12.5347
36.69/36.89 c bounds 4 >= -189 @ 12.5352
36.69/36.89 c bounds 4 >= -188 @ 12.5357
36.69/36.89 c bounds 4 >= -187 @ 12.5362
36.69/36.89 c bounds 4 >= -186 @ 12.5368
36.69/36.89 c bounds 4 >= -185 @ 12.5373
36.69/36.89 c bounds 4 >= -182 @ 12.5378
36.69/36.89 c bounds 4 >= -180 @ 12.5382
36.69/36.89 c bounds 4 >= -179 @ 12.5387
36.69/36.89 c bounds 4 >= -177 @ 12.5392
36.69/36.89 c bounds 4 >= -176 @ 12.5399
36.69/36.89 c bounds 4 >= -174 @ 12.5406
36.69/36.89 c bounds 4 >= -173 @ 12.5406
36.69/36.89 c bounds 4 >= -172 @ 12.5406
36.69/36.89 c bounds 4 >= -171 @ 12.5406
36.69/36.89 c bounds 4 >= -170 @ 12.5412
36.69/36.89 c bounds 4 >= -168 @ 12.5417
36.69/36.89 c bounds 4 >= -167 @ 12.5424
36.69/36.89 c bounds 4 >= -166 @ 12.5432
36.69/36.89 c bounds 4 >= -165 @ 12.5437
36.69/36.89 c bounds 4 >= -164 @ 12.5443
36.69/36.89 c bounds 4 >= -163 @ 12.5446
36.69/36.89 c bounds 4 >= -162 @ 12.5446
36.69/36.89 c bounds 4 >= -161 @ 12.5458
36.69/36.89 c bounds 4 >= -160 @ 12.5465
36.69/36.89 c bounds 4 >= -159 @ 12.5469
36.69/36.89 c bounds 4 >= -158 @ 12.5484
36.69/36.89 c bounds 4 >= -157 @ 12.5486
36.69/36.89 c bounds 4 >= -156 @ 12.5489
36.69/36.89 c bounds 4 >= -155 @ 12.5492
36.69/36.89 c bounds 4 >= -154 @ 12.5496
36.69/36.89 c bounds 4 >= -153 @ 12.5516
36.69/36.89 c bounds 4 >= -152 @ 12.5526
36.69/36.89 c bounds 4 >= -151 @ 12.553
36.69/36.89 c bounds 4 >= -150 @ 12.5538
36.69/36.89 c bounds 4 >= -149 @ 12.5544
36.69/36.89 c bounds 4 >= -148 @ 12.5559
36.69/36.89 c bounds 4 >= -147 @ 12.5568
36.69/36.89 c bounds 4 >= -146 @ 12.5594
36.69/36.89 c bounds 4 >= -145 @ 12.5632
36.69/36.89 c bounds 4 >= -144 @ 12.5648
36.69/36.89 c bounds 4 >= -143 @ 12.5665
36.69/36.89 c bounds 4 >= -142 @ 12.5668
36.69/36.89 c bounds 4 >= -141 @ 12.5677
36.69/36.89 c bounds 4 >= -140 @ 12.5753
36.69/36.89 c bounds 4 >= -139 @ 12.5818
36.69/36.89 c #Conflicts: 32000 | #Constraints: 7992
36.69/36.89 c #Conflicts: 33000 | #Constraints: 8992
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 34000 | #Constraints: 6051
36.69/36.89 c #Conflicts: 35000 | #Constraints: 7051
36.69/36.89 c bounds 4 >= -138 @ 14.3586
36.69/36.89 c #Conflicts: 36000 | #Constraints: 8055
36.69/36.89 c #Conflicts: 37000 | #Constraints: 9055
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 38000 | #Constraints: 6035
36.69/36.89 c #Conflicts: 39000 | #Constraints: 7035
36.69/36.89 c #Conflicts: 40000 | #Constraints: 8035
36.69/36.89 c #Conflicts: 41000 | #Constraints: 9035
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 42000 | #Constraints: 5830
36.69/36.89 c #Conflicts: 43000 | #Constraints: 6830
36.69/36.89 c #Conflicts: 44000 | #Constraints: 7830
36.69/36.89 c #Conflicts: 45000 | #Constraints: 8830
36.69/36.89 c #Conflicts: 46000 | #Constraints: 9830
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 47000 | #Constraints: 6430
36.69/36.89 c #Conflicts: 48000 | #Constraints: 7430
36.69/36.89 c #Conflicts: 49000 | #Constraints: 8430
36.69/36.89 c #Conflicts: 50000 | #Constraints: 9430
36.69/36.89 c #Conflicts: 51000 | #Constraints: 10430
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 52000 | #Constraints: 6831
36.69/36.89 c #Conflicts: 53000 | #Constraints: 7831
36.69/36.89 c #Conflicts: 54000 | #Constraints: 8831
36.69/36.89 c bounds 4 >= -137 @ 32.4228
36.69/36.89 c #Conflicts: 55000 | #Constraints: 9901
36.69/36.89 c #Conflicts: 56000 | #Constraints: 10901
36.69/36.89 c INPROCESSING
36.69/36.89 c GARBAGE COLLECT
36.69/36.89 c #Conflicts: 57000 | #Constraints: 7057
36.69/36.89 c #Conflicts: 58000 | #Constraints: 8057
36.69/36.89 c #Conflicts: 59000 | #Constraints: 9057
36.69/36.89 c #Conflicts: 60000 | #Constraints: 10057
36.69/36.89 c #Conflicts: 61000 | #Constraints: 11057
51.24/51.43 c INPROCESSING
51.24/51.43 c GARBAGE COLLECT
51.24/51.43 c #Conflicts: 62000 | #Constraints: 7038
51.24/51.43 c #Conflicts: 63000 | #Constraints: 8038
51.24/51.43 c #Conflicts: 64000 | #Constraints: 9038
51.24/51.43 c #Conflicts: 65000 | #Constraints: 10038
51.24/51.43 c #Conflicts: 66000 | #Constraints: 11038
51.24/51.43 c INPROCESSING
51.24/51.43 c GARBAGE COLLECT
51.24/51.43 c #Conflicts: 67000 | #Constraints: 6832
51.24/51.43 c #Conflicts: 68000 | #Constraints: 7832
51.24/51.43 c #Conflicts: 69000 | #Constraints: 8832
51.24/51.43 c #Conflicts: 70000 | #Constraints: 9832
51.24/51.43 c #Conflicts: 71000 | #Constraints: 10832
51.24/51.43 c #Conflicts: 72000 | #Constraints: 11832
51.24/51.43 c INPROCESSING
51.24/51.43 c GARBAGE COLLECT
51.24/51.43 c #Conflicts: 73000 | #Constraints: 7423
51.24/51.43 c #Conflicts: 74000 | #Constraints: 8423
51.24/51.43 c #Conflicts: 75000 | #Constraints: 9423
51.24/51.43 c #Conflicts: 76000 | #Constraints: 10423
51.24/51.43 c #Conflicts: 77000 | #Constraints: 11423
51.24/51.43 c #Conflicts: 78000 | #Constraints: 12423
51.24/51.43 c INPROCESSING
51.24/51.43 c GARBAGE COLLECT
51.24/51.43 c #Conflicts: 79000 | #Constraints: 7819
51.24/51.43 c #Conflicts: 80000 | #Constraints: 8819
51.24/51.43 c #Conflicts: 81000 | #Constraints: 9819
51.24/51.43 c #Conflicts: 82000 | #Constraints: 10819
51.24/51.43 c finalizing WCE round: reformulating cores
93.72/94.05 c #Conflicts: 83000 | #Constraints: 11822
93.72/94.05 c #Conflicts: 84000 | #Constraints: 12824
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 85000 | #Constraints: 8023
93.72/94.05 c #Conflicts: 86000 | #Constraints: 9025
93.72/94.05 c #Conflicts: 87000 | #Constraints: 10027
93.72/94.05 c #Conflicts: 88000 | #Constraints: 11031
93.72/94.05 c #Conflicts: 89000 | #Constraints: 12033
93.72/94.05 c #Conflicts: 90000 | #Constraints: 13035
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 91000 | #Constraints: 8045
93.72/94.05 c #Conflicts: 92000 | #Constraints: 9047
93.72/94.05 c #Conflicts: 93000 | #Constraints: 10049
93.72/94.05 c #Conflicts: 94000 | #Constraints: 11053
93.72/94.05 c #Conflicts: 95000 | #Constraints: 12055
93.72/94.05 c #Conflicts: 96000 | #Constraints: 13057
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 97000 | #Constraints: 7871
93.72/94.05 c #Conflicts: 98000 | #Constraints: 8873
93.72/94.05 c #Conflicts: 99000 | #Constraints: 9877
93.72/94.05 c #Conflicts: 100000 | #Constraints: 10879
93.72/94.05 c #Conflicts: 101000 | #Constraints: 11881
93.72/94.05 c #Conflicts: 102000 | #Constraints: 12885
93.72/94.05 c #Conflicts: 103000 | #Constraints: 13887
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 104000 | #Constraints: 8482
93.72/94.05 c #Conflicts: 105000 | #Constraints: 9484
93.72/94.05 c #Conflicts: 106000 | #Constraints: 10486
93.72/94.05 c #Conflicts: 107000 | #Constraints: 11490
93.72/94.05 c #Conflicts: 108000 | #Constraints: 12492
93.72/94.05 c #Conflicts: 109000 | #Constraints: 13494
93.72/94.05 c #Conflicts: 110000 | #Constraints: 14498
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 111000 | #Constraints: 8896
93.72/94.05 c #Conflicts: 112000 | #Constraints: 9898
93.72/94.05 c #Conflicts: 113000 | #Constraints: 10900
93.72/94.05 c #Conflicts: 114000 | #Constraints: 11904
93.72/94.05 c #Conflicts: 115000 | #Constraints: 12906
93.72/94.05 c #Conflicts: 116000 | #Constraints: 13908
93.72/94.05 c #Conflicts: 117000 | #Constraints: 14912
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 118000 | #Constraints: 9115
93.72/94.05 c #Conflicts: 119000 | #Constraints: 10117
93.72/94.05 c #Conflicts: 120000 | #Constraints: 11119
93.72/94.05 c #Conflicts: 121000 | #Constraints: 12123
93.72/94.05 c #Conflicts: 122000 | #Constraints: 13125
93.72/94.05 c #Conflicts: 123000 | #Constraints: 14127
93.72/94.05 c #Conflicts: 124000 | #Constraints: 15131
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 125000 | #Constraints: 9139
93.72/94.05 c #Conflicts: 126000 | #Constraints: 10141
93.72/94.05 c #Conflicts: 127000 | #Constraints: 11143
93.72/94.05 c #Conflicts: 128000 | #Constraints: 12147
93.72/94.05 c #Conflicts: 129000 | #Constraints: 13149
93.72/94.05 c #Conflicts: 130000 | #Constraints: 14151
93.72/94.05 c #Conflicts: 131000 | #Constraints: 15155
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 132000 | #Constraints: 8956
93.72/94.05 c #Conflicts: 133000 | #Constraints: 9958
93.72/94.05 c #Conflicts: 134000 | #Constraints: 10962
93.72/94.05 c #Conflicts: 135000 | #Constraints: 11964
93.72/94.05 c #Conflicts: 136000 | #Constraints: 12966
93.72/94.05 c #Conflicts: 137000 | #Constraints: 13970
93.72/94.05 c #Conflicts: 138000 | #Constraints: 14972
93.72/94.05 c #Conflicts: 139000 | #Constraints: 15974
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c #Conflicts: 140000 | #Constraints: 9587
93.72/94.05 c #Conflicts: 141000 | #Constraints: 10589
93.72/94.05 c #Conflicts: 142000 | #Constraints: 11591
93.72/94.05 c #Conflicts: 143000 | #Constraints: 12595
93.72/94.05 c #Conflicts: 144000 | #Constraints: 13597
93.72/94.05 c #Conflicts: 145000 | #Constraints: 14599
93.72/94.05 c #Conflicts: 146000 | #Constraints: 15603
93.72/94.05 c bounds 3 >= -137 @ 92.5717
93.72/94.05 c bounds 3 >= -129 @ 92.5769
93.72/94.05 c bounds 3 >= -128 @ 92.5774
93.72/94.05 c bounds 3 >= -127 @ 92.578
93.72/94.05 c bounds 3 >= -126 @ 92.5801
93.72/94.05 c bounds 3 >= -125 @ 92.5812
93.72/94.05 c bounds 3 >= -124 @ 92.5818
93.72/94.05 c bounds 3 >= -123 @ 92.5841
93.72/94.05 c bounds 3 >= -122 @ 92.5983
93.72/94.05 c bounds 3 >= -121 @ 92.6014
93.72/94.05 c bounds 3 >= -120 @ 92.6059
93.72/94.05 c bounds 3 >= -119 @ 92.6236
93.72/94.05 c bounds 3 >= -118 @ 92.6804
93.72/94.05 c bounds 3 >= -117 @ 92.7193
93.72/94.05 c bounds 3 >= -116 @ 92.742
93.72/94.05 c bounds 3 >= -115 @ 92.7444
93.72/94.05 c bounds 3 >= -114 @ 92.7486
153.44/153.92 c bounds 3 >= -113 @ 92.7642
153.44/153.92 c bounds 3 >= -112 @ 92.7704
153.44/153.92 c bounds 3 >= -111 @ 92.7718
153.44/153.92 c bounds 3 >= -110 @ 92.7841
153.44/153.92 c #Conflicts: 147000 | #Constraints: 16944
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c bounds 3 >= -109 @ 92.8498
153.44/153.92 c bounds 3 >= -108 @ 93.0003
153.44/153.92 c #Conflicts: 148000 | #Constraints: 10357
153.44/153.92 c bounds 3 >= -107 @ 94.011
153.44/153.92 c #Conflicts: 149000 | #Constraints: 11463
153.44/153.92 c #Conflicts: 150000 | #Constraints: 12463
153.44/153.92 c bounds 3 >= -106 @ 94.8918
153.44/153.92 c #Conflicts: 151000 | #Constraints: 13480
153.44/153.92 c #Conflicts: 152000 | #Constraints: 14480
153.44/153.92 c bounds 3 >= -105 @ 96.7987
153.44/153.92 c #Conflicts: 153000 | #Constraints: 15493
153.44/153.92 c #Conflicts: 154000 | #Constraints: 16493
153.44/153.92 c #Conflicts: 155000 | #Constraints: 17493
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c #Conflicts: 156000 | #Constraints: 10602
153.44/153.92 c #Conflicts: 157000 | #Constraints: 11602
153.44/153.92 c #Conflicts: 158000 | #Constraints: 12602
153.44/153.92 c #Conflicts: 159000 | #Constraints: 13602
153.44/153.92 c #Conflicts: 160000 | #Constraints: 14602
153.44/153.92 c #Conflicts: 161000 | #Constraints: 15602
153.44/153.92 c #Conflicts: 162000 | #Constraints: 16602
153.44/153.92 c #Conflicts: 163000 | #Constraints: 17602
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c #Conflicts: 164000 | #Constraints: 10575
153.44/153.92 c #Conflicts: 165000 | #Constraints: 11575
153.44/153.92 c #Conflicts: 166000 | #Constraints: 12575
153.44/153.92 c bounds 3 >= -104 @ 115.315
153.44/153.92 c #Conflicts: 167000 | #Constraints: 13657
153.44/153.92 c #Conflicts: 168000 | #Constraints: 14657
153.44/153.92 c #Conflicts: 169000 | #Constraints: 15657
153.44/153.92 c #Conflicts: 170000 | #Constraints: 16657
153.44/153.92 c #Conflicts: 171000 | #Constraints: 17657
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c #Conflicts: 172000 | #Constraints: 10401
153.44/153.92 c #Conflicts: 173000 | #Constraints: 11401
153.44/153.92 c #Conflicts: 174000 | #Constraints: 12401
153.44/153.92 c #Conflicts: 175000 | #Constraints: 13401
153.44/153.92 c #Conflicts: 176000 | #Constraints: 14401
153.44/153.92 c #Conflicts: 177000 | #Constraints: 15401
153.44/153.92 c #Conflicts: 178000 | #Constraints: 16401
153.44/153.92 c #Conflicts: 179000 | #Constraints: 17401
153.44/153.92 c #Conflicts: 180000 | #Constraints: 18401
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c #Conflicts: 181000 | #Constraints: 10971
153.44/153.92 c #Conflicts: 182000 | #Constraints: 11971
153.44/153.92 c #Conflicts: 183000 | #Constraints: 12971
153.44/153.92 c #Conflicts: 184000 | #Constraints: 13971
153.44/153.92 c #Conflicts: 185000 | #Constraints: 14971
153.44/153.92 c #Conflicts: 186000 | #Constraints: 15971
153.44/153.92 c #Conflicts: 187000 | #Constraints: 16971
153.44/153.92 c #Conflicts: 188000 | #Constraints: 17971
153.44/153.92 c #Conflicts: 189000 | #Constraints: 18971
153.44/153.92 c INPROCESSING
153.44/153.92 c GARBAGE COLLECT
153.44/153.92 c #Conflicts: 190000 | #Constraints: 11355
153.44/153.92 c #Conflicts: 191000 | #Constraints: 12355
153.44/153.92 c finalizing WCE round: reformulating cores
264.22/265.04 c #Conflicts: 192000 | #Constraints: 13360
264.22/265.04 c #Conflicts: 193000 | #Constraints: 14362
264.22/265.04 c #Conflicts: 194000 | #Constraints: 15364
264.22/265.04 c #Conflicts: 195000 | #Constraints: 16368
264.22/265.04 c #Conflicts: 196000 | #Constraints: 17370
264.22/265.04 c #Conflicts: 197000 | #Constraints: 18372
264.22/265.04 c bounds 2 >= -121 @ 158.411
264.22/265.04 c #Conflicts: 198000 | #Constraints: 19376
264.22/265.04 c INPROCESSING
264.22/265.04 c GARBAGE COLLECT
264.22/265.04 c #Conflicts: 199000 | #Constraints: 11532
264.22/265.04 c #Conflicts: 200000 | #Constraints: 12534
264.22/265.04 c bounds 2 >= -117 @ 160.671
264.22/265.04 c #Conflicts: 201000 | #Constraints: 13538
264.22/265.04 c #Conflicts: 202000 | #Constraints: 14542
264.22/265.04 c #Conflicts: 203000 | #Constraints: 15544
264.22/265.04 c #Conflicts: 204000 | #Constraints: 16546
264.22/265.04 c bounds 2 >= -110 @ 166.052
264.22/265.04 c bounds 2 >= -110 @ 166.172
264.22/265.04 c #Conflicts: 205000 | #Constraints: 17554
264.22/265.04 c #Conflicts: 206000 | #Constraints: 18556
264.22/265.04 c #Conflicts: 207000 | #Constraints: 19558
264.22/265.04 c INPROCESSING
264.22/265.04 c GARBAGE COLLECT
264.22/265.04 c #Conflicts: 208000 | #Constraints: 11535
264.22/265.04 c #Conflicts: 209000 | #Constraints: 12537
264.22/265.04 c #Conflicts: 210000 | #Constraints: 13539
264.22/265.04 c #Conflicts: 211000 | #Constraints: 14543
264.22/265.04 c bounds 2 >= -100 @ 175.32
264.22/265.04 c bounds 2 >= -99 @ 175.328
264.22/265.04 c bounds 2 >= -98 @ 175.354
264.22/265.04 c bounds 2 >= -97 @ 175.496
264.22/265.04 c #Conflicts: 212000 | #Constraints: 15615
264.22/265.04 c #Conflicts: 213000 | #Constraints: 16615
264.22/265.04 c #Conflicts: 214000 | #Constraints: 17615
264.22/265.04 c bounds 2 >= -96 @ 178.725
264.22/265.04 c #Conflicts: 215000 | #Constraints: 18721
264.22/265.04 c bounds 2 >= -95 @ 179.103
264.22/265.04 c bounds 2 >= -94 @ 179.349
264.22/265.04 c #Conflicts: 216000 | #Constraints: 19789
264.22/265.04 c INPROCESSING
264.22/265.04 c GARBAGE COLLECT
264.22/265.04 c #Conflicts: 217000 | #Constraints: 11545
264.22/265.04 c #Conflicts: 218000 | #Constraints: 12545
264.22/265.04 c #Conflicts: 219000 | #Constraints: 13545
264.22/265.04 c #Conflicts: 220000 | #Constraints: 14545
264.22/265.04 c #Conflicts: 221000 | #Constraints: 15545
264.22/265.04 c #Conflicts: 222000 | #Constraints: 16545
264.22/265.04 c #Conflicts: 223000 | #Constraints: 17545
264.22/265.04 c #Conflicts: 224000 | #Constraints: 18545
264.22/265.04 c #Conflicts: 225000 | #Constraints: 19545
264.22/265.04 c #Conflicts: 226000 | #Constraints: 20545
264.22/265.04 c INPROCESSING
264.22/265.04 c GARBAGE COLLECT
264.22/265.04 c #Conflicts: 227000 | #Constraints: 12144
264.22/265.04 c #Conflicts: 228000 | #Constraints: 13144
264.22/265.04 c #Conflicts: 229000 | #Constraints: 14144
264.22/265.04 c #Conflicts: 230000 | #Constraints: 15144
264.22/265.04 c #Conflicts: 231000 | #Constraints: 16144
264.22/265.04 c #Conflicts: 232000 | #Constraints: 17144
264.22/265.04 c #Conflicts: 233000 | #Constraints: 18144
264.22/265.04 c #Conflicts: 234000 | #Constraints: 19144
264.22/265.04 c bounds 2 >= -93 @ 204.308
264.22/265.04 c #Conflicts: 235000 | #Constraints: 20214
264.22/265.04 c #Conflicts: 236000 | #Constraints: 21214
264.22/265.04 c INPROCESSING
264.22/265.04 c GARBAGE COLLECT
264.22/265.04 c #Conflicts: 237000 | #Constraints: 12575
264.22/265.04 c #Conflicts: 238000 | #Constraints: 13575
264.22/265.04 c #Conflicts: 239000 | #Constraints: 14575
264.22/265.04 c #Conflicts: 240000 | #Constraints: 15575
264.22/265.04 c #Conflicts: 241000 | #Constraints: 16575
264.22/265.04 c #Conflicts: 242000 | #Constraints: 17575
264.22/265.04 c #Conflicts: 243000 | #Constraints: 18575
264.22/265.04 c #Conflicts: 244000 | #Constraints: 19575
264.22/265.04 c #Conflicts: 245000 | #Constraints: 20575
264.22/265.04 c #Conflicts: 246000 | #Constraints: 21575
264.22/265.04 c #Conflicts: 247000 | #Constraints: 22575
264.22/265.04 c #Conflicts: 248000 | #Constraints: 23575
264.22/265.04 c #Conflicts: 249000 | #Constraints: 24575
264.22/265.04 c #Conflicts: 250000 | #Constraints: 25575
264.22/265.04 c #Conflicts: 251000 | #Constraints: 26575
264.22/265.04 c #Conflicts: 252000 | #Constraints: 27575
264.22/265.04 c #Conflicts: 253000 | #Constraints: 28575
264.22/265.04 c #Conflicts: 254000 | #Constraints: 29575
264.22/265.04 c #Conflicts: 255000 | #Constraints: 30575
264.22/265.04 c #Conflicts: 256000 | #Constraints: 31575
264.22/265.04 c #Conflicts: 257000 | #Constraints: 32575
264.22/265.04 c #Conflicts: 258000 | #Constraints: 33575
264.22/265.04 c #Conflicts: 259000 | #Constraints: 34575
264.22/265.04 c #Conflicts: 260000 | #Constraints: 35575
264.22/265.04 c #Conflicts: 261000 | #Constraints: 36575
729.65/731.95 c #Conflicts: 262000 | #Constraints: 37575
729.65/731.95 c #Conflicts: 263000 | #Constraints: 38575
729.65/731.95 c #Conflicts: 264000 | #Constraints: 39575
729.65/731.95 c #Conflicts: 265000 | #Constraints: 40575
729.65/731.95 c #Conflicts: 266000 | #Constraints: 41575
729.65/731.95 c #Conflicts: 267000 | #Constraints: 42575
729.65/731.95 c #Conflicts: 268000 | #Constraints: 43575
729.65/731.95 c #Conflicts: 269000 | #Constraints: 44575
729.65/731.95 c #Conflicts: 270000 | #Constraints: 45575
729.65/731.95 c #Conflicts: 271000 | #Constraints: 46575
729.65/731.95 c #Conflicts: 272000 | #Constraints: 47575
729.65/731.95 c #Conflicts: 273000 | #Constraints: 48575
729.65/731.95 c #Conflicts: 274000 | #Constraints: 49575
729.65/731.95 c #Conflicts: 275000 | #Constraints: 50575
729.65/731.95 c bounds 2 >= -92 @ 341.72
729.65/731.95 c #Conflicts: 276000 | #Constraints: 51684
729.65/731.95 c #Conflicts: 277000 | #Constraints: 52684
729.65/731.95 c #Conflicts: 278000 | #Constraints: 53684
729.65/731.95 c #Conflicts: 279000 | #Constraints: 54684
729.65/731.95 c #Conflicts: 280000 | #Constraints: 55684
729.65/731.95 c #Conflicts: 281000 | #Constraints: 56684
729.65/731.95 c #Conflicts: 282000 | #Constraints: 57684
729.65/731.95 c INPROCESSING
729.65/731.95 c GARBAGE COLLECT
729.65/731.95 c #Conflicts: 283000 | #Constraints: 30397
729.65/731.95 c #Conflicts: 284000 | #Constraints: 31397
729.65/731.95 c #Conflicts: 285000 | #Constraints: 32397
729.65/731.95 c #Conflicts: 286000 | #Constraints: 33397
729.65/731.95 c #Conflicts: 287000 | #Constraints: 34397
729.65/731.95 c #Conflicts: 288000 | #Constraints: 35397
729.65/731.95 c #Conflicts: 289000 | #Constraints: 36397
729.65/731.95 c #Conflicts: 290000 | #Constraints: 37397
729.65/731.95 c #Conflicts: 291000 | #Constraints: 38397
729.65/731.95 c #Conflicts: 292000 | #Constraints: 39397
729.65/731.95 c #Conflicts: 293000 | #Constraints: 40397
729.65/731.95 c #Conflicts: 294000 | #Constraints: 41397
729.65/731.95 c INPROCESSING
729.65/731.95 c GARBAGE COLLECT
729.65/731.95 c #Conflicts: 295000 | #Constraints: 22710
729.65/731.95 c #Conflicts: 296000 | #Constraints: 23710
729.65/731.95 c #Conflicts: 297000 | #Constraints: 24710
729.65/731.95 c #Conflicts: 298000 | #Constraints: 25710
729.65/731.95 c #Conflicts: 299000 | #Constraints: 26710
729.65/731.95 c #Conflicts: 300000 | #Constraints: 27710
729.65/731.95 c #Conflicts: 301000 | #Constraints: 28710
729.65/731.95 c #Conflicts: 302000 | #Constraints: 29710
729.65/731.95 c #Conflicts: 303000 | #Constraints: 30710
729.65/731.95 c #Conflicts: 304000 | #Constraints: 31710
729.65/731.95 c #Conflicts: 305000 | #Constraints: 32710
729.65/731.95 c INPROCESSING
729.65/731.95 c GARBAGE COLLECT
729.65/731.95 c #Conflicts: 306000 | #Constraints: 18221
729.65/731.95 c #Conflicts: 307000 | #Constraints: 19221
729.65/731.95 c #Conflicts: 308000 | #Constraints: 20221
729.65/731.95 c #Conflicts: 309000 | #Constraints: 21221
729.65/731.95 c #Conflicts: 310000 | #Constraints: 22221
729.65/731.95 c #Conflicts: 311000 | #Constraints: 23221
729.65/731.95 c #Conflicts: 312000 | #Constraints: 24221
729.65/731.95 c #Conflicts: 313000 | #Constraints: 25221
729.65/731.95 c #Conflicts: 314000 | #Constraints: 26221
729.65/731.95 c #Conflicts: 315000 | #Constraints: 27221
729.65/731.95 c #Conflicts: 316000 | #Constraints: 28221
729.65/731.95 c #Conflicts: 317000 | #Constraints: 29221
729.65/731.95 c #Conflicts: 318000 | #Constraints: 30221
729.65/731.95 c #Conflicts: 319000 | #Constraints: 31221
729.65/731.95 c #Conflicts: 320000 | #Constraints: 32221
729.65/731.95 c #Conflicts: 321000 | #Constraints: 33221
729.65/731.95 c #Conflicts: 322000 | #Constraints: 34221
729.65/731.95 c #Conflicts: 323000 | #Constraints: 35221
729.65/731.95 c #Conflicts: 324000 | #Constraints: 36221
729.65/731.95 c #Conflicts: 325000 | #Constraints: 37221
729.65/731.95 c #Conflicts: 326000 | #Constraints: 38221
729.65/731.95 c #Conflicts: 327000 | #Constraints: 39221
729.65/731.95 c #Conflicts: 328000 | #Constraints: 40221
729.65/731.95 c #Conflicts: 329000 | #Constraints: 41221
729.65/731.95 c #Conflicts: 330000 | #Constraints: 42221
729.65/731.95 c #Conflicts: 331000 | #Constraints: 43221
729.65/731.95 c #Conflicts: 332000 | #Constraints: 44221
729.65/731.95 c #Conflicts: 333000 | #Constraints: 45221
729.65/731.95 c #Conflicts: 334000 | #Constraints: 46221
729.65/731.95 c #Conflicts: 335000 | #Constraints: 47221
729.65/731.95 c #Conflicts: 336000 | #Constraints: 48221
729.65/731.95 c #Conflicts: 337000 | #Constraints: 49221
1639.31/1644.53 c #Conflicts: 338000 | #Constraints: 50221
1639.31/1644.53 c #Conflicts: 339000 | #Constraints: 51221
1639.31/1644.53 c #Conflicts: 340000 | #Constraints: 52221
1639.31/1644.53 c #Conflicts: 341000 | #Constraints: 53221
1639.31/1644.53 c #Conflicts: 342000 | #Constraints: 54221
1639.31/1644.53 c #Conflicts: 343000 | #Constraints: 55221
1639.31/1644.53 c #Conflicts: 344000 | #Constraints: 56221
1639.31/1644.53 c #Conflicts: 345000 | #Constraints: 57221
1639.31/1644.53 c #Conflicts: 346000 | #Constraints: 58221
1639.31/1644.53 c #Conflicts: 347000 | #Constraints: 59221
1639.31/1644.53 c #Conflicts: 348000 | #Constraints: 60221
1639.31/1644.53 c #Conflicts: 349000 | #Constraints: 61221
1639.31/1644.53 c #Conflicts: 350000 | #Constraints: 62221
1639.31/1644.53 c #Conflicts: 351000 | #Constraints: 63221
1639.31/1644.53 c #Conflicts: 352000 | #Constraints: 64221
1639.31/1644.53 c #Conflicts: 353000 | #Constraints: 65221
1639.31/1644.53 c #Conflicts: 354000 | #Constraints: 66221
1639.31/1644.53 c #Conflicts: 355000 | #Constraints: 67221
1639.31/1644.53 c #Conflicts: 356000 | #Constraints: 68221
1639.31/1644.53 c INPROCESSING
1639.31/1644.53 c GARBAGE COLLECT
1639.31/1644.53 c #Conflicts: 357000 | #Constraints: 35927
1639.31/1644.53 c #Conflicts: 358000 | #Constraints: 36927
1639.31/1644.53 c #Conflicts: 359000 | #Constraints: 37927
1639.31/1644.53 c #Conflicts: 360000 | #Constraints: 38927
1639.31/1644.53 c #Conflicts: 361000 | #Constraints: 39927
1639.31/1644.53 c #Conflicts: 362000 | #Constraints: 40927
1639.31/1644.53 c #Conflicts: 363000 | #Constraints: 41927
1639.31/1644.53 c #Conflicts: 364000 | #Constraints: 42927
1639.31/1644.53 c #Conflicts: 365000 | #Constraints: 43927
1639.31/1644.53 c #Conflicts: 366000 | #Constraints: 44927
1639.31/1644.53 c #Conflicts: 367000 | #Constraints: 45927
1639.31/1644.53 c #Conflicts: 368000 | #Constraints: 46927
1639.31/1644.53 c #Conflicts: 369000 | #Constraints: 47927
1639.31/1644.53 c INPROCESSING
1639.31/1644.53 c GARBAGE COLLECT
1639.31/1644.53 c #Conflicts: 370000 | #Constraints: 25988
1639.31/1644.53 c #Conflicts: 371000 | #Constraints: 26988
1639.31/1644.53 c #Conflicts: 372000 | #Constraints: 27988
1639.31/1644.53 c #Conflicts: 373000 | #Constraints: 28988
1639.31/1644.53 c #Conflicts: 374000 | #Constraints: 29988
1639.31/1644.53 c #Conflicts: 375000 | #Constraints: 30988
1639.31/1644.53 c #Conflicts: 376000 | #Constraints: 31988
1639.31/1644.53 c #Conflicts: 377000 | #Constraints: 32988
1639.31/1644.53 c #Conflicts: 378000 | #Constraints: 33988
1639.31/1644.53 c #Conflicts: 379000 | #Constraints: 34988
1639.31/1644.53 c #Conflicts: 380000 | #Constraints: 35988
1639.31/1644.53 c #Conflicts: 381000 | #Constraints: 36988
1639.31/1644.53 c INPROCESSING
1639.31/1644.53 c GARBAGE COLLECT
1639.31/1644.53 c #Conflicts: 382000 | #Constraints: 22323
1639.31/1644.53 c #Conflicts: 383000 | #Constraints: 23323
1639.31/1644.53 c #Conflicts: 384000 | #Constraints: 24323
1639.31/1644.53 c #Conflicts: 385000 | #Constraints: 25323
1639.31/1644.53 c #Conflicts: 386000 | #Constraints: 26323
1639.31/1644.53 c #Conflicts: 387000 | #Constraints: 27323
1639.31/1644.53 c #Conflicts: 388000 | #Constraints: 28323
1639.31/1644.53 c #Conflicts: 389000 | #Constraints: 29323
1639.31/1644.53 c #Conflicts: 390000 | #Constraints: 30323
1639.31/1644.53 c #Conflicts: 391000 | #Constraints: 31323
1639.31/1644.53 c #Conflicts: 392000 | #Constraints: 32323
1639.31/1644.53 c #Conflicts: 393000 | #Constraints: 33323
1639.31/1644.53 c #Conflicts: 394000 | #Constraints: 34323
1639.31/1644.53 c #Conflicts: 395000 | #Constraints: 35323
1639.31/1644.53 c #Conflicts: 396000 | #Constraints: 36323
1639.31/1644.53 c #Conflicts: 397000 | #Constraints: 37323
1639.31/1644.53 c #Conflicts: 398000 | #Constraints: 38323
1639.31/1644.53 c #Conflicts: 399000 | #Constraints: 39323
1639.31/1644.53 c #Conflicts: 400000 | #Constraints: 40323
1639.31/1644.53 c #Conflicts: 401000 | #Constraints: 41323
1639.31/1644.53 c #Conflicts: 402000 | #Constraints: 42323
1639.31/1644.53 c #Conflicts: 403000 | #Constraints: 43323
1639.31/1644.53 c #Conflicts: 404000 | #Constraints: 44323
1639.31/1644.53 c #Conflicts: 405000 | #Constraints: 45323
1639.31/1644.53 c #Conflicts: 406000 | #Constraints: 46323
1639.31/1644.53 c #Conflicts: 407000 | #Constraints: 47323
1639.31/1644.53 c #Conflicts: 408000 | #Constraints: 48323
1639.31/1644.53 c #Conflicts: 409000 | #Constraints: 49323
1639.31/1644.53 c #Conflicts: 410000 | #Constraints: 50323
1639.31/1644.53 c #Conflicts: 411000 | #Constraints: 51323
1639.31/1644.53 c #Conflicts: 412000 | #Constraints: 52323
1639.31/1644.53 c #Conflicts: 413000 | #Constraints: 53323
1639.31/1644.53 c #Conflicts: 414000 | #Constraints: 54323
2778.05/2786.33 c #Conflicts: 415000 | #Constraints: 55323
2778.05/2786.33 c #Conflicts: 416000 | #Constraints: 56323
2778.05/2786.33 c #Conflicts: 417000 | #Constraints: 57323
2778.05/2786.33 c #Conflicts: 418000 | #Constraints: 58323
2778.05/2786.33 c #Conflicts: 419000 | #Constraints: 59323
2778.05/2786.33 c #Conflicts: 420000 | #Constraints: 60323
2778.05/2786.33 c #Conflicts: 421000 | #Constraints: 61323
2778.05/2786.33 c #Conflicts: 422000 | #Constraints: 62323
2778.05/2786.33 c #Conflicts: 423000 | #Constraints: 63323
2778.05/2786.33 c #Conflicts: 424000 | #Constraints: 64323
2778.05/2786.33 c #Conflicts: 425000 | #Constraints: 65323
2778.05/2786.33 c #Conflicts: 426000 | #Constraints: 66323
2778.05/2786.33 c #Conflicts: 427000 | #Constraints: 67323
2778.05/2786.33 c #Conflicts: 428000 | #Constraints: 68323
2778.05/2786.33 c #Conflicts: 429000 | #Constraints: 69323
2778.05/2786.33 c #Conflicts: 430000 | #Constraints: 70323
2778.05/2786.33 c #Conflicts: 431000 | #Constraints: 71323
2778.05/2786.33 c #Conflicts: 432000 | #Constraints: 72323
2778.05/2786.33 c #Conflicts: 433000 | #Constraints: 73323
2778.05/2786.33 c #Conflicts: 434000 | #Constraints: 74323
2778.05/2786.33 c #Conflicts: 435000 | #Constraints: 75323
2778.05/2786.33 c #Conflicts: 436000 | #Constraints: 76323
2778.05/2786.33 c #Conflicts: 437000 | #Constraints: 77323
2778.05/2786.33 c INPROCESSING
2778.05/2786.33 c GARBAGE COLLECT
2778.05/2786.33 c #Conflicts: 438000 | #Constraints: 40627
2778.05/2786.33 c #Conflicts: 439000 | #Constraints: 41627
2778.05/2786.33 c #Conflicts: 440000 | #Constraints: 42627
2778.05/2786.33 c #Conflicts: 441000 | #Constraints: 43627
2778.05/2786.33 c #Conflicts: 442000 | #Constraints: 44627
2778.05/2786.33 c #Conflicts: 443000 | #Constraints: 45627
2778.05/2786.33 c #Conflicts: 444000 | #Constraints: 46627
2778.05/2786.33 c #Conflicts: 445000 | #Constraints: 47627
2778.05/2786.33 c #Conflicts: 446000 | #Constraints: 48627
2778.05/2786.33 c #Conflicts: 447000 | #Constraints: 49627
2778.05/2786.33 c #Conflicts: 448000 | #Constraints: 50627
2778.05/2786.33 c #Conflicts: 449000 | #Constraints: 51627
2778.05/2786.33 c #Conflicts: 450000 | #Constraints: 52627
2778.05/2786.33 c #Conflicts: 451000 | #Constraints: 53627
2778.05/2786.33 c INPROCESSING
2778.05/2786.33 c GARBAGE COLLECT
2778.05/2786.33 c #Conflicts: 452000 | #Constraints: 28730
2778.05/2786.33 c #Conflicts: 453000 | #Constraints: 29730
2778.05/2786.33 c #Conflicts: 454000 | #Constraints: 30730
2778.05/2786.33 c #Conflicts: 455000 | #Constraints: 31730
2778.05/2786.33 c #Conflicts: 456000 | #Constraints: 32730
2778.05/2786.33 c #Conflicts: 457000 | #Constraints: 33730
2778.05/2786.33 c #Conflicts: 458000 | #Constraints: 34730
2778.05/2786.33 c #Conflicts: 459000 | #Constraints: 35730
2778.05/2786.33 c #Conflicts: 460000 | #Constraints: 36730
2778.05/2786.33 c #Conflicts: 461000 | #Constraints: 37730
2778.05/2786.33 c #Conflicts: 462000 | #Constraints: 38730
2778.05/2786.33 c #Conflicts: 463000 | #Constraints: 39730
2778.05/2786.33 c #Conflicts: 464000 | #Constraints: 40730
2778.05/2786.33 c #Conflicts: 465000 | #Constraints: 41730
2778.05/2786.33 c #Conflicts: 466000 | #Constraints: 42730
2778.05/2786.33 c #Conflicts: 467000 | #Constraints: 43730
2778.05/2786.33 c #Conflicts: 468000 | #Constraints: 44730
2778.05/2786.33 c #Conflicts: 469000 | #Constraints: 45730
2778.05/2786.33 c #Conflicts: 470000 | #Constraints: 46730
2778.05/2786.33 c #Conflicts: 471000 | #Constraints: 47730
2778.05/2786.33 c #Conflicts: 472000 | #Constraints: 48730
2778.05/2786.33 c #Conflicts: 473000 | #Constraints: 49730
2778.05/2786.33 c #Conflicts: 474000 | #Constraints: 50730
2778.05/2786.33 c #Conflicts: 475000 | #Constraints: 51730
2778.05/2786.33 c #Conflicts: 476000 | #Constraints: 52730
2778.05/2786.33 c #Conflicts: 477000 | #Constraints: 53730
2778.05/2786.33 c #Conflicts: 478000 | #Constraints: 54730
2778.05/2786.33 c #Conflicts: 479000 | #Constraints: 55730
2778.05/2786.33 c #Conflicts: 480000 | #Constraints: 56730
2778.05/2786.33 c #Conflicts: 481000 | #Constraints: 57730
2778.05/2786.33 c #Conflicts: 482000 | #Constraints: 58730
2778.05/2786.33 c #Conflicts: 483000 | #Constraints: 59730
2778.05/2786.33 c #Conflicts: 484000 | #Constraints: 60730
2778.05/2786.33 c #Conflicts: 485000 | #Constraints: 61730
2778.05/2786.33 c #Conflicts: 486000 | #Constraints: 62730
2778.05/2786.33 c #Conflicts: 487000 | #Constraints: 63730
2778.05/2786.33 c #Conflicts: 488000 | #Constraints: 64730
2778.05/2786.33 c #Conflicts: 489000 | #Constraints: 65730
2778.05/2786.33 c #Conflicts: 490000 | #Constraints: 66730
2778.05/2786.33 c #Conflicts: 491000 | #Constraints: 67730
3600.06/3610.80 c #Conflicts: 492000 | #Constraints: 68730
3600.06/3610.80 c #Conflicts: 493000 | #Constraints: 69730
3600.06/3610.80 c #Conflicts: 494000 | #Constraints: 70730
3600.06/3610.80 c #Conflicts: 495000 | #Constraints: 71730
3600.06/3610.80 c #Conflicts: 496000 | #Constraints: 72730
3600.06/3610.80 c #Conflicts: 497000 | #Constraints: 73730
3600.06/3610.80 c #Conflicts: 498000 | #Constraints: 74730
3600.06/3610.80 c #Conflicts: 499000 | #Constraints: 75730
3600.06/3610.80 c #Conflicts: 500000 | #Constraints: 76730
3600.06/3610.80 c #Conflicts: 501000 | #Constraints: 77730
3600.06/3610.80 c #Conflicts: 502000 | #Constraints: 78730
3600.06/3610.80 c #Conflicts: 503000 | #Constraints: 79730
3600.06/3610.80 c #Conflicts: 504000 | #Constraints: 80730
3600.06/3610.80 c #Conflicts: 505000 | #Constraints: 81730
3600.06/3610.80 c #Conflicts: 506000 | #Constraints: 82730
3600.06/3610.80 c #Conflicts: 507000 | #Constraints: 83730
3600.06/3610.80 c #Conflicts: 508000 | #Constraints: 84730
3600.06/3610.80 c #Conflicts: 509000 | #Constraints: 85730
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 510000 | #Constraints: 44587
3600.06/3610.80 c #Conflicts: 511000 | #Constraints: 45587
3600.06/3610.80 c #Conflicts: 512000 | #Constraints: 46587
3600.06/3610.80 c #Conflicts: 513000 | #Constraints: 47587
3600.06/3610.80 c #Conflicts: 514000 | #Constraints: 48587
3600.06/3610.80 c #Conflicts: 515000 | #Constraints: 49587
3600.06/3610.80 c #Conflicts: 516000 | #Constraints: 50587
3600.06/3610.80 c #Conflicts: 517000 | #Constraints: 51587
3600.06/3610.80 c #Conflicts: 518000 | #Constraints: 52587
3600.06/3610.80 c #Conflicts: 519000 | #Constraints: 53587
3600.06/3610.80 c #Conflicts: 520000 | #Constraints: 54587
3600.06/3610.80 c #Conflicts: 521000 | #Constraints: 55587
3600.06/3610.80 c #Conflicts: 522000 | #Constraints: 56587
3600.06/3610.80 c #Conflicts: 523000 | #Constraints: 57587
3600.06/3610.80 c #Conflicts: 524000 | #Constraints: 58587
3600.06/3610.80 c #Conflicts: 525000 | #Constraints: 59587
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 526000 | #Constraints: 32376
3600.06/3610.80 c #Conflicts: 527000 | #Constraints: 33376
3600.06/3610.80 c #Conflicts: 528000 | #Constraints: 34376
3600.06/3610.80 c #Conflicts: 529000 | #Constraints: 35376
3600.06/3610.80 c #Conflicts: 530000 | #Constraints: 36376
3600.06/3610.80 c #Conflicts: 531000 | #Constraints: 37376
3600.06/3610.80 c #Conflicts: 532000 | #Constraints: 38376
3600.06/3610.80 c #Conflicts: 533000 | #Constraints: 39376
3600.06/3610.80 c #Conflicts: 534000 | #Constraints: 40376
3600.06/3610.80 c #Conflicts: 535000 | #Constraints: 41376
3600.06/3610.80 c #Conflicts: 536000 | #Constraints: 42376
3600.06/3610.80 c #Conflicts: 537000 | #Constraints: 43376
3600.06/3610.80 c Program interrupted by user.
3600.06/3610.80 c cpu time 3590.07 s
3600.06/3610.80 c deterministic time 284088256838 2.84e+11
3600.06/3610.80 c optimization time 208.305 s
3600.06/3610.80 c total solve time 3381.77 s
3600.06/3610.80 c core-guided solve time 3381.77 s
3600.06/3610.80 c propagation time 3228.05 s
3600.06/3610.80 c conflict analysis time 346.12 s
3600.06/3610.80 c propagations 80645014
3600.06/3610.80 c resolve steps 6320010
3600.06/3610.80 c decisions 6888804
3600.06/3610.80 c conflicts 537794
3600.06/3610.80 c restarts 1116
3600.06/3610.80 c inprocessing phases 50
3600.06/3610.80 c input clauses 1213
3600.06/3610.80 c input cardinalities 618
3600.06/3610.80 c input general constraints 916
3600.06/3610.80 c input average constraint length 62.80
3600.06/3610.80 c input average constraint degree 35.46
3600.06/3610.80 c learned clauses 137015
3600.06/3610.80 c learned cardinalities 1128
3600.06/3610.80 c learned general constraints 399743
3600.06/3610.80 c learned average constraint length 151.72
3600.06/3610.80 c learned average constraint degree 663682.14
3600.06/3610.80 c watched constraints 315690
3600.06/3610.80 c counting constraints 84969
3600.06/3610.80 c gcd simplifications 12185
3600.06/3610.80 c detected cardinalities 26
3600.06/3610.80 c weakened non-implied lits 10594695
3600.06/3610.80 c weakened non-implying lits 39759
3600.06/3610.80 c original variables 776
3600.06/3610.80 c clausal propagations 30370690
3600.06/3610.80 c cardinality propagations 3196081
3600.06/3610.80 c watched propagations 11127008
3600.06/3610.80 c counting propagations 35572250
3600.06/3610.80 c watch lookups 68308689833
3600.06/3610.80 c watch backjump lookups 64382939690
3600.06/3610.80 c watch checks 139509166931
3600.06/3610.80 c propagation checks 11450499798
3600.06/3610.80 c constraint additions 261355457
3600.06/3610.80 c trail pops 88071310
3600.06/3610.80 c formula constraints 867
3600.06/3610.80 c learned constraints 537886
3600.06/3610.80 c bound constraints 194
3600.06/3610.80 c core-guided constraints 1686
3600.06/3610.80 c encountered formula constraints 1575161
3600.06/3610.80 c encountered learned constraints 4050055
3600.06/3610.80 c encountered bound constraints 176
3600.06/3610.80 c encountered core-guided constraints 1232412
3600.06/3610.80 c LP total time 0 s
3600.06/3610.80 c LP solve time 0 s
3600.06/3610.80 c LP constraints added 0
3600.06/3610.80 c LP constraints removed 0
3600.06/3610.80 c LP pivots internal 0
3600.06/3610.80 c LP pivots root 0
3600.06/3610.80 c LP calls 0
3600.06/3610.80 c LP optimalities 0
3600.06/3610.80 c LP no pivot count 0
3600.06/3610.80 c LP infeasibilities 0
3600.06/3610.80 c LP valid Farkas constraints 0
3600.06/3610.80 c LP learned Farkas constraints 0
3600.06/3610.80 c LP basis resets 0
3600.06/3610.80 c LP cycling count 0
3600.06/3610.80 c LP singular count 0
3600.06/3610.80 c LP no primal count 0
3600.06/3610.80 c LP no farkas count 0
3600.06/3610.80 c LP other issue count 0
3600.06/3610.80 c LP Gomory cuts 0
3600.06/3610.80 c LP learned cuts 0
3600.06/3610.80 c LP deleted cuts 0
3600.06/3610.80 c LP encountered Gomory constraints 0
3600.06/3610.80 c LP encountered Farkas constraints 0
3600.06/3610.80 c LP encountered learned Farkas constraints 0
3600.06/3610.80 c CG auxiliary variables introduced 647
3600.06/3610.80 c CG solutions found 9
3600.06/3610.80 c CG cores constructed 157
3600.06/3610.80 c CG core cardinality constraints returned 33
3600.06/3610.80 c CG unit cores 0
3600.06/3610.80 c CG single cores 134
3600.06/3610.80 c CG blocks removed during cardinality reduction 0
3600.06/3610.80 c CG first core best 0
3600.06/3610.80 c CG decision core best 8
3600.06/3610.80 c CG core reduction tie 15
3600.06/3610.80 c CG core degree average 1.29
3600.06/3610.80 c CG core slack average 9.15
3600.06/3610.80 c CG exhausted 4
3600.06/3610.80 c CG exhaust time 69.6125 s
3600.06/3610.80 c CG trimmed 40
3600.06/3610.80 c CG trim time 0.023551 s
3600.06/3610.80 c CG minimized 0
3600.06/3610.80 c CG minimize time 0 s
3600.06/3610.80 c CG am1 prop time 0.020171 s
3600.06/3610.80 c CG # am1s reformulated 53
3600.06/3610.80 c CG lower bound derived from am1s 101
3600.06/3610.80 c CG # clausal cores 135
3600.06/3610.80 c CG # cardinality cores 35
3600.06/3610.80 c CG # pb cores 10
3600.06/3610.80 c CG # pb reforms 25
3600.06/3610.80 c CG # cores discarded because of pb reform 0
3600.06/3610.80 d LOWERBOUND -92
3600.06/3610.80 d NCORES 157
3600.06/3610.80 d NPBCORES 10
3600.06/3610.80 d NPBREFORM 25
3600.06/3610.80 d NTRIMMED 40
3600.06/3610.80 d NEXHAUSTED 4
3600.06/3610.80 d NAM1S 53
3600.06/3610.80 d AM1LB 101
3600.06/3610.80 o 2
3600.06/3610.80 s SATISFIABLE
3600.06/3610.80 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: 63931 MiB (59974 MiB free)
memory of node 1: 64510 MiB (60621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454378-1721434063/watcher-4454378-1721434063 -o /tmp/evaluation-result-4454378-1721434063/solver-4454378-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063214 --watchdog 3760 pb-oll-rs HOME/instance-4454378-1721434063.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=1063265, runsolver pid=1063256
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 1.06 1.50 2.09 6/256 1063276
/proc/meminfo: memFree=123467184/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=41576 memory=10716 CPUtime=0.1 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 1009 0 0 0 9 1 0 0 20 0 1 0 195571695 42573824 2679 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 10394 2679 1340 291 0 1928 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 10716 KiB
[startup+0.205915 s]*
/proc/loadavg: 1.06 1.50 2.09 6/256 1063276
/proc/meminfo: memFree=123448332/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=47512 memory=16016 CPUtime=0.2 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 1847 0 0 0 19 1 0 0 20 0 1 0 195571695 48652288 4004 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 11878 4004 1340 291 0 3412 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47512 KiB
Current children cumulated memory: 16016 KiB
[startup+0.305827 s]*
/proc/loadavg: 1.06 1.50 2.09 6/256 1063276
/proc/meminfo: memFree=123438020/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=49640 memory=19708 CPUtime=0.3 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 2747 0 0 0 28 2 0 0 20 0 1 0 195571695 50831360 4927 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 12410 4927 1340 291 0 3944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49640 KiB
Current children cumulated memory: 19708 KiB
[startup+0.700202 s]
/proc/loadavg: 1.06 1.50 2.09 6/256 1063276
/proc/meminfo: memFree=123417404/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=57216 memory=24244 CPUtime=0.69 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 3825 0 0 0 65 4 0 0 20 0 1 0 195571695 58589184 6061 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 14304 6061 1401 291 0 5838 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57216 KiB
Current children cumulated memory: 24244 KiB
[startup+1.50024 s]
/proc/loadavg: 1.06 1.50 2.09 6/256 1063278
/proc/meminfo: memFree=123387012/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=64032 memory=32532 CPUtime=1.49 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 5407 0 0 0 141 8 0 0 20 0 1 0 195571695 65568768 8133 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 16008 8133 1401 291 0 7542 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64032 KiB
Current children cumulated memory: 32532 KiB
[startup+3.10575 s]
/proc/loadavg: 1.06 1.50 2.09 6/256 1063278
/proc/meminfo: memFree=123255840/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=72652 memory=38788 CPUtime=3.09 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 6448 0 0 0 297 12 0 0 20 0 1 0 195571695 74395648 9697 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 18163 9697 1401 291 0 9697 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72652 KiB
Current children cumulated memory: 38788 KiB
[startup+6.30023 s]
/proc/loadavg: 1.30 1.54 2.10 6/256 1063278
/proc/meminfo: memFree=123196444/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=73420 memory=39312 CPUtime=6.27 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 6582 0 0 0 609 18 0 0 20 0 1 0 195571695 75182080 9828 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 18355 9828 1401 291 0 9889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73420 KiB
Current children cumulated memory: 39312 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.58 2.11 6/256 1063279
/proc/meminfo: memFree=123040608/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=74564 memory=40092 CPUtime=12.65 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 6753 0 0 0 1240 25 0 0 20 0 1 0 195571695 76353536 10023 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 18641 10023 1401 291 0 10175 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74564 KiB
Current children cumulated memory: 40092 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 1.72 2.15 6/256 1063281
/proc/meminfo: memFree=122857416/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=75652 memory=40928 CPUtime=25.42 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 7009 0 0 0 2506 36 0 0 20 0 1 0 195571695 77467648 10232 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 18913 10232 1401 291 0 10447 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75652 KiB
Current children cumulated memory: 40928 KiB
[startup+51.1058 s]
/proc/loadavg: 2.78 1.90 2.20 6/256 1063286
/proc/meminfo: memFree=122659484/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=79812 memory=46700 CPUtime=50.95 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 7896 0 0 0 5038 57 0 0 20 0 1 0 195571695 81727488 11675 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 19953 11675 1401 291 0 11487 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 79812 KiB
Current children cumulated memory: 46700 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.24 2.30 6/256 1063294
/proc/meminfo: memFree=122360756/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=116784 memory=69172 CPUtime=101.99 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 13541 0 0 0 10077 122 0 0 20 0 1 0 195571695 119586816 17293 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 29196 17293 1401 291 0 20730 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 69172 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.61 2.43 6/258 1063309
/proc/meminfo: memFree=122300596/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=129768 memory=87548 CPUtime=161.82 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 16712 0 0 0 15976 206 0 0 20 0 1 0 195571695 132882432 21887 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 32442 21887 1401 291 0 23976 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 129768 KiB
Current children cumulated memory: 87548 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.87 2.53 6/258 1063320
/proc/meminfo: memFree=122143620/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=134488 memory=91468 CPUtime=221.64 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 17879 0 0 0 21887 277 0 0 20 0 1 0 195571695 137715712 22867 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 33622 22867 1401 291 0 25156 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 134488 KiB
Current children cumulated memory: 91468 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.11 2.63 6/258 1063331
/proc/meminfo: memFree=122074644/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=164816 memory=106884 CPUtime=281.46 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 20685 0 0 0 27832 314 0 0 20 0 1 0 195571695 168771584 26721 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 41204 26721 1401 291 0 32738 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 164816 KiB
Current children cumulated memory: 106884 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.29 2.73 6/258 1063343
/proc/meminfo: memFree=121959604/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=172168 memory=121412 CPUtime=341.28 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 22319 0 0 0 33796 332 0 0 20 0 1 0 195571695 176300032 30353 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 43042 30353 1401 291 0 34576 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 172168 KiB
Current children cumulated memory: 121412 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.43 2.81 6/258 1063354
/proc/meminfo: memFree=121846744/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=176432 memory=131256 CPUtime=401.1 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 23430 0 0 0 39741 369 0 0 20 0 1 0 195571695 180666368 32814 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 44108 32814 1401 291 0 35642 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 176432 KiB
Current children cumulated memory: 131256 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.57 2.90 7/258 1063366
/proc/meminfo: memFree=121777764/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=179416 memory=133696 CPUtime=460.92 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 24128 0 0 0 45693 399 0 0 20 0 1 0 195571695 183721984 33424 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 44854 33424 1401 291 0 36388 0
################
# More data... #
################
Current children cumulated memory: 211440 KiB
[startup+2862.3 s]
/proc/loadavg: 4.25 4.18 4.06 7/261 1064815
/proc/meminfo: memFree=119561428/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=255716 memory=211452 CPUtime=2853.84 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 36092 0 0 0 284491 893 0 0 20 0 1 0 195571695 261853184 52863 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 63929 52863 1401 291 0 55463 0
Current children cumulated CPU time: 2853.84 s
Current children cumulated vsize: 255716 KiB
Current children cumulated memory: 211452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.16 4.06 7/259 1064825
/proc/meminfo: memFree=119398848/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=255992 memory=211632 CPUtime=2913.66 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 36238 0 0 0 290468 898 0 0 20 0 1 0 195571695 262135808 52908 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 63998 52908 1401 291 0 55532 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 255992 KiB
Current children cumulated memory: 211632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.07 7/257 1064836
/proc/meminfo: memFree=119357272/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=257184 memory=212256 CPUtime=2973.48 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 36523 0 0 0 296443 905 0 0 20 0 1 0 195571695 263356416 53064 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 64296 53064 1401 291 0 55830 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 257184 KiB
Current children cumulated memory: 212256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.22 4.09 6/258 1065015
/proc/meminfo: memFree=119264396/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=258980 memory=215500 CPUtime=3033.3 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 36903 0 0 0 302419 911 0 0 20 0 1 0 195571695 265195520 53875 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 64745 53875 1401 291 0 56279 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 258980 KiB
Current children cumulated memory: 215500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.19 4.09 6/258 1065026
/proc/meminfo: memFree=119220276/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=260792 memory=218744 CPUtime=3093.12 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 37292 0 0 0 308396 916 0 0 20 0 1 0 195571695 267051008 54686 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 65198 54686 1401 291 0 56732 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 260792 KiB
Current children cumulated memory: 218744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.17 4.09 7/258 1065040
/proc/meminfo: memFree=119169836/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=262708 memory=221752 CPUtime=3152.94 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 37729 0 0 0 314372 922 0 0 20 0 1 0 195571695 269012992 55438 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 65677 55438 1401 291 0 57211 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 262708 KiB
Current children cumulated memory: 221752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.10 7/259 1065064
/proc/meminfo: memFree=119112456/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3212.75 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 38619 0 0 0 320346 929 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.09 7/260 1065075
/proc/meminfo: memFree=119069600/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3272.57 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 38700 0 0 0 326316 941 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 7/259 1065086
/proc/meminfo: memFree=119023792/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3332.38 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 38784 0 0 0 332288 950 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.09 7/259 1065099
/proc/meminfo: memFree=118862156/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3392.2 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 38869 0 0 0 338261 959 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 7/257 1065109
/proc/meminfo: memFree=118827736/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3452.01 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 38956 0 0 0 344235 966 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.10 7/257 1065119
/proc/meminfo: memFree=118784932/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3511.83 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 39032 0 0 0 350202 981 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 7/256 1065130
/proc/meminfo: memFree=118740968/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3571.64 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 39111 0 0 0 356171 993 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.13 4.14 4.09 6/256 1065180
/proc/meminfo: memFree=122966744/131524600 swapFree=131071996/131071996
[pid=1063265] ppid=1063256 vsize=266240 memory=226320 CPUtime=3600.06 cores=1,3
/proc/1063265/stat : 1063265 (pb-oll-rs) R 1063256 1063265 1063202 0 -1 4194304 39112 0 0 0 359007 999 0 0 20 0 1 0 195571695 272629760 56580 134679101440 4194304 5384485 140720801895904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10219520 140720801899541 140720801899618 140720801899618 140720801906635 0
/proc/1063265/statm: 66560 56580 1401 291 0 58094 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 266240 KiB
Current children cumulated memory: 226320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 1063265 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.08 s, system=9.99568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.07
CPU user time (s): 3590.08
CPU system time (s): 9.99568
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 267248
Max. memory (cumulated for all children) (KiB): 227096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.08
system time used= 9.99568
maximum resident set size= 227096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39128
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= 65
involuntary context switches= 2534
# summary of solver processes directly reported to runsolver:
# pid: 1063265
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.08
# total CPU system time (s): 9.99568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81326 second user time and 20.2732 second system time
The end
Begin job on nodeC025 at 2024-07-20 02:07:56
IDJOB=4454378
IDBENCH=146660
IDSOLVER=3082
FILE ID=nodeC025/4454378-1721434063
RUNJOBID= nodeC025-1721434076-1063214
SLURM_JOB_ID= 7545633
Free space on /tmp= 890032 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454378-1721434063/watcher-4454378-1721434063 -o /tmp/evaluation-result-4454378-1721434063/solver-4454378-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063214 --watchdog 3760 pb-oll-rs HOME/instance-4454378-1721434063.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=2034756044
nodeC025.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 : 3594.001
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3499.466
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.09
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 : 3598.509
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3221.278
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.09
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 : 3599.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3384.116
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.09
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 : 3515.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3551.888
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.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123493788 kB
MemAvailable: 129604392 kB
Buffers: 560328 kB
Cached: 6320340 kB
SwapCached: 0 kB
Active: 1138432 kB
Inactive: 6112128 kB
Active(anon): 1420 kB
Inactive(anon): 414380 kB
Active(file): 1137012 kB
Inactive(file): 5697748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6120 kB
Writeback: 0 kB
AnonPages: 367336 kB
Mapped: 106696 kB
Shmem: 45912 kB
KReclaimable: 230980 kB
Slab: 360472 kB
SReclaimable: 230980 kB
SUnreclaim: 129492 kB
KernelStack: 3856 kB
PageTables: 9856 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 789756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-20 03:08:07