0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.19/0.26 c #variables 2025 #constraints 61821
0.19/0.26 c objective is ce32
0.19/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.26 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.19/0.26 c GLOBAL bounds - >= -326 @ 0.175852
0.19/0.26 c GLOBAL bounds - >= -326 @ 0.177745
0.19/0.26 c GLOBAL bounds - >= -326 @ 0.178421
0.19/0.27 c GLOBAL bounds - >= -326 @ 0.178421
0.19/0.27 c GLOBAL bounds - >= -326 @ 0.179412
0.19/0.27 c GLOBAL bounds - >= -326 @ 0.180407
0.19/0.27 c GLOBAL bounds - >= -326 @ 0.180827
0.19/0.27 c GLOBAL bounds - >= -326 @ 0.1814
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.1814
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.182423
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.183383
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.184375
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.186013
0.19/0.28 c GLOBAL bounds - >= -326 @ 0.187366
0.19/0.29 c GLOBAL bounds - >= -326 @ 0.187366
0.19/0.29 c GLOBAL bounds - >= -326 @ 0.188561
0.19/0.29 c GLOBAL bounds - >= -326 @ 0.189357
0.19/0.29 c GLOBAL bounds - >= -326 @ 0.190275
0.19/0.29 c GLOBAL bounds - >= -326 @ 0.190352
0.19/0.30 c GLOBAL bounds - >= -326 @ 0.190352
0.19/0.30 c GLOBAL bounds - >= -326 @ 0.19134
0.19/0.30 c GLOBAL bounds - >= -326 @ 0.19134
0.19/0.30 c GLOBAL bounds - >= -326 @ 0.191838
0.19/0.30 c GLOBAL bounds - >= -326 @ 0.193853
0.19/0.31 c GLOBAL bounds - >= -326 @ 0.194292
0.28/0.31 c GLOBAL bounds - >= -326 @ 0.194292
0.28/0.31 c GLOBAL bounds - >= -326 @ 0.195275
0.28/0.31 c GLOBAL bounds - >= -326 @ 0.195439
0.28/0.31 c GLOBAL bounds - >= -326 @ 0.19627
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.19627
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.19627
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.196794
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.197613
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.19825
0.28/0.32 c GLOBAL bounds - >= -326 @ 0.198316
0.28/0.33 c GLOBAL bounds - >= -326 @ 0.200122
0.28/0.33 c GLOBAL bounds - >= -326 @ 0.200239
0.28/0.33 c GLOBAL bounds - >= -326 @ 0.200239
0.28/0.33 c GLOBAL bounds - >= -326 @ 0.200239
0.28/0.33 c GLOBAL bounds - >= -326 @ 0.200449
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.202273
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.203216
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.203219
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.203768
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.205209
0.28/0.34 c GLOBAL bounds - >= -326 @ 0.205209
0.28/0.35 c GLOBAL bounds - >= -326 @ 0.205209
0.28/0.35 c GLOBAL bounds - >= -326 @ 0.205209
0.28/0.35 c GLOBAL bounds - >= -326 @ 0.206197
0.28/0.35 c GLOBAL bounds - >= -326 @ 0.206197
0.28/0.35 c GLOBAL bounds - >= -326 @ 0.207189
0.28/0.36 c GLOBAL bounds - >= -326 @ 0.208186
0.28/0.36 c GLOBAL bounds - >= -326 @ 0.209184
0.28/0.36 c GLOBAL bounds - >= -326 @ 0.210438
0.28/0.36 c GLOBAL bounds - >= -326 @ 0.212176
0.28/0.36 c GLOBAL bounds - >= -326 @ 0.213213
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.214172
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.21517
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.21517
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.216163
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.217161
0.28/0.37 c GLOBAL bounds - >= -326 @ 0.217161
0.28/0.38 c GLOBAL bounds - >= -326 @ 0.217161
0.28/0.38 c GLOBAL bounds - >= -326 @ 0.21836
0.28/0.38 c GLOBAL bounds - >= -326 @ 0.219259
0.28/0.38 c GLOBAL bounds - >= -326 @ 0.221173
0.28/0.38 c GLOBAL bounds - >= -326 @ 0.222144
0.28/0.39 c GLOBAL bounds - >= -326 @ 0.223144
0.28/0.39 c GLOBAL bounds - >= -326 @ 0.223144
0.28/0.39 c GLOBAL bounds - >= -326 @ 0.224818
0.28/0.39 c GLOBAL bounds - >= -326 @ 0.225136
0.28/0.39 c GLOBAL bounds - >= -326 @ 0.226132
0.28/0.40 c GLOBAL bounds - >= -326 @ 0.226132
0.28/0.40 c GLOBAL bounds - >= -326 @ 0.227127
0.28/0.40 c GLOBAL bounds - >= -326 @ 0.2272
0.28/0.40 c GLOBAL bounds - >= -326 @ 0.228122
0.28/0.40 c GLOBAL bounds - >= -326 @ 0.228958
0.28/0.41 c GLOBAL bounds - >= -326 @ 0.229093
0.39/0.41 c GLOBAL bounds - >= -326 @ 0.230079
0.39/0.41 c GLOBAL bounds - >= -326 @ 0.230079
0.39/0.41 c GLOBAL bounds - >= -326 @ 0.231077
0.39/0.41 c GLOBAL bounds - >= -326 @ 0.231077
0.39/0.41 c GLOBAL bounds - >= -326 @ 0.231148
0.39/0.42 c GLOBAL bounds - >= -326 @ 0.232995
0.39/0.42 c GLOBAL bounds - >= -326 @ 0.233856
0.39/0.42 c GLOBAL bounds - >= -326 @ 0.234064
0.39/0.42 c GLOBAL bounds - >= -326 @ 0.234064
0.39/0.42 c GLOBAL bounds - >= -326 @ 0.235057
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.235057
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.235133
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.236981
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.237821
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.238045
0.39/0.43 c GLOBAL bounds - >= -326 @ 0.238045
0.39/0.44 c GLOBAL bounds - >= -326 @ 0.238045
0.39/0.44 c GLOBAL bounds - >= -326 @ 0.239233
0.39/0.44 c GLOBAL bounds - >= -326 @ 0.240101
0.39/0.44 c GLOBAL bounds - >= -326 @ 0.241032
0.39/0.44 c GLOBAL bounds - >= -326 @ 0.241032
0.39/0.45 c GLOBAL bounds - >= -326 @ 0.241032
0.39/0.45 c GLOBAL bounds - >= -326 @ 0.241032
0.39/0.45 c GLOBAL bounds - >= -326 @ 0.241032
0.39/0.45 c GLOBAL bounds - >= -326 @ 0.242019
0.39/0.45 c GLOBAL bounds - >= -326 @ 0.242382
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.243246
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.244009
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.244981
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.246001
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.246002
0.39/0.46 c GLOBAL bounds - >= -326 @ 0.246999
0.39/0.47 c GLOBAL bounds - >= -326 @ 0.246999
0.39/0.47 c GLOBAL bounds - >= -326 @ 0.247995
0.39/0.47 c GLOBAL bounds - >= -326 @ 0.247995
0.39/0.47 c GLOBAL bounds - >= -326 @ 0.248992
0.39/0.47 c GLOBAL bounds - >= -326 @ 0.249656
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.249988
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.250985
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.252108
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.252981
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.25398
0.39/0.48 c GLOBAL bounds - >= -326 @ 0.255535
0.39/0.49 c GLOBAL bounds - >= -326 @ 0.25643
0.39/0.49 c GLOBAL bounds - >= -326 @ 0.258253
0.39/0.49 c GLOBAL bounds - >= -326 @ 0.258973
0.39/0.49 c GLOBAL bounds - >= -326 @ 0.258973
0.39/0.49 c GLOBAL bounds - >= -326 @ 0.259969
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.5947
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59486
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.5949
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59493
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59495
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59497
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.595
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59502
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59504
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59507
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59509
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59511
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59513
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59516
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59518
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.5952
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59522
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59525
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59527
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59529
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59532
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59534
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59536
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59538
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.5954
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59542
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59544
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59546
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59549
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59551
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59555
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59557
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59559
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59561
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59563
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59565
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59567
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59569
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59571
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59574
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59576
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59578
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.5958
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59582
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59584
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59587
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59589
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59591
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59593
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59595
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59597
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59609
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59612
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59648
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59651
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59655
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59658
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59661
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59663
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59666
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59668
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59671
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59672
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59698
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59701
1.77/1.85 c GLOBAL bounds - >= -326 @ 1.59704
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59773
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59773
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59783
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59814
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59872
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59872
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59872
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59872
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59972
1.77/1.86 c GLOBAL bounds - >= -326 @ 1.59972
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.59999
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.60031
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.60171
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.60171
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.60318
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.60343
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.6047
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.6047
1.77/1.87 c GLOBAL bounds - >= -326 @ 1.6057
1.77/1.88 c GLOBAL bounds - >= -326 @ 1.60719
1.77/1.88 c GLOBAL bounds - >= -326 @ 1.6087
1.77/1.88 c GLOBAL bounds - >= -326 @ 1.60969
1.77/1.88 c GLOBAL bounds - >= -326 @ 1.60983
1.77/1.88 c GLOBAL bounds - >= -326 @ 1.61167
1.77/1.89 c GLOBAL bounds - >= -326 @ 1.61269
1.77/1.89 c GLOBAL bounds - >= -326 @ 1.61369
1.77/1.89 c GLOBAL bounds - >= -326 @ 1.61468
1.77/1.89 c GLOBAL bounds - >= -326 @ 1.61468
1.77/1.89 c GLOBAL bounds - >= -326 @ 1.61468
1.77/1.90 c GLOBAL bounds - >= -326 @ 1.61475
1.87/1.91 c GLOBAL bounds - >= -326 @ 1.62366
1.87/1.91 c GLOBAL bounds - >= -326 @ 1.62665
1.87/1.91 c GLOBAL bounds - >= -326 @ 1.62665
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.62964
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.62997
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63003
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63007
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63011
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63016
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.6302
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63023
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63027
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.6303
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63034
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63037
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.6304
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63043
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63049
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63053
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.6306
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63164
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63164
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63164
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63177
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63359
1.87/1.92 c GLOBAL bounds - >= -270 @ 1.63367
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63559
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63602
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63692
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63716
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63762
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63762
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63762
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63762
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63762
1.87/1.93 c GLOBAL bounds - >= -270 @ 1.63782
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.6387
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.63887
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.64072
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.64161
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.6426
1.87/1.94 c GLOBAL bounds - >= -270 @ 1.64454
1.87/1.95 c GLOBAL bounds - >= -270 @ 1.6456
1.87/1.95 c GLOBAL bounds - >= -270 @ 1.64758
1.87/1.95 c GLOBAL bounds - >= -270 @ 1.64758
1.87/1.95 c GLOBAL bounds - >= -270 @ 1.64758
1.87/1.95 c GLOBAL bounds - >= -270 @ 1.64765
1.87/1.96 c GLOBAL bounds - >= -270 @ 1.6486
1.87/1.96 c GLOBAL bounds - >= -270 @ 1.64964
1.87/1.96 c GLOBAL bounds - >= -270 @ 1.65057
1.87/1.96 c GLOBAL bounds - >= -270 @ 1.65238
1.87/1.96 c GLOBAL bounds - >= -270 @ 1.65257
1.87/1.97 c GLOBAL bounds - >= -270 @ 1.65356
1.87/1.97 c GLOBAL bounds - >= -270 @ 1.65406
1.87/1.97 c GLOBAL bounds - >= -270 @ 1.65456
1.87/1.97 c GLOBAL bounds - >= -270 @ 1.65556
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.6583
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.65955
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.65955
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.66055
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.66128
1.87/1.98 c GLOBAL bounds - >= -270 @ 1.66154
1.87/1.99 c GLOBAL bounds - >= -270 @ 1.66154
1.87/1.99 c GLOBAL bounds - >= -270 @ 1.66154
1.87/2.00 c GLOBAL bounds - >= -270 @ 1.66952
1.98/2.00 c GLOBAL bounds - >= -270 @ 1.67061
1.98/2.02 c GLOBAL bounds - >= -270 @ 1.68444
1.98/2.07 c #Conflicts: 1000 | #Constraints: 1731
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.73975
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.07 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7403
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74039
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74051
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74057
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74062
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74068
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74073
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74078
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74083
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74088
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74093
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74097
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74102
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74107
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74116
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74131
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74135
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74138
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.74142
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.08 c GLOBAL bounds - >= -246 @ 1.7423
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.7433
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.7433
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74517
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74537
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.7464
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74664
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74757
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74775
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74828
1.98/2.09 c GLOBAL bounds - >= -246 @ 1.74828
1.98/2.10 c GLOBAL bounds - >= -246 @ 1.74828
1.98/2.10 c GLOBAL bounds - >= -246 @ 1.74828
1.98/2.10 c GLOBAL bounds - >= -246 @ 1.74928
1.98/2.10 c GLOBAL bounds - >= -246 @ 1.75028
2.08/2.10 c GLOBAL bounds - >= -246 @ 1.75216
2.08/2.10 c GLOBAL bounds - >= -246 @ 1.75327
2.08/2.11 c GLOBAL bounds - >= -246 @ 1.75511
2.08/2.11 c GLOBAL bounds - >= -246 @ 1.75626
2.08/2.11 c GLOBAL bounds - >= -246 @ 1.75726
2.08/2.11 c GLOBAL bounds - >= -246 @ 1.75906
2.08/2.11 c GLOBAL bounds - >= -246 @ 1.7613
2.08/2.12 c GLOBAL bounds - >= -246 @ 1.76234
2.08/2.12 c GLOBAL bounds - >= -246 @ 1.7643
2.08/2.12 c GLOBAL bounds - >= -246 @ 1.76524
2.08/2.12 c GLOBAL bounds - >= -246 @ 1.76553
2.08/2.12 c GLOBAL bounds - >= -246 @ 1.76624
2.08/2.13 c GLOBAL bounds - >= -246 @ 1.76624
2.08/2.13 c GLOBAL bounds - >= -246 @ 1.76624
2.08/2.14 c #Conflicts: 2000 | #Constraints: 2793
2.08/2.14 c INPROCESSING
2.08/2.14 c GARBAGE COLLECT
2.08/2.14 c GLOBAL bounds - >= -246 @ 1.77307
2.08/2.14 c GLOBAL bounds - >= -246 @ 1.77521
2.08/2.14 c GLOBAL bounds - >= -246 @ 1.77521
2.08/2.14 c GLOBAL bounds - >= -246 @ 1.77689
2.08/2.15 c GLOBAL bounds - >= -246 @ 1.77821
2.08/2.16 c GLOBAL bounds - >= -246 @ 1.78619
2.08/2.16 c GLOBAL bounds - >= -246 @ 1.78719
2.47/2.58 c #Conflicts: 3000 | #Constraints: 2765
2.47/2.58 c #Conflicts: 4000 | #Constraints: 3765
2.47/2.58 c INPROCESSING
2.47/2.58 c GARBAGE COLLECT
2.47/2.58 c #Conflicts: 5000 | #Constraints: 3169
2.47/2.58 c #Conflicts: 6000 | #Constraints: 4169
2.47/2.58 c INPROCESSING
2.47/2.58 c GARBAGE COLLECT
2.47/2.58 c #Conflicts: 7000 | #Constraints: 3174
2.47/2.58 c GLOBAL bounds - >= -222 @ 2.20257
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20371
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20379
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20386
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20402
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20409
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20416
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20426
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20433
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20448
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20453
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20457
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20466
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20477
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20484
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.2049
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20496
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20505
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20512
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20519
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20526
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20541
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20553
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20568
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20579
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20688
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20717
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.2082
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20839
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20919
2.47/2.59 c GLOBAL bounds - >= -222 @ 2.20919
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21055
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21078
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21119
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21128
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21228
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21249
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21318
2.57/2.60 c GLOBAL bounds - >= -222 @ 2.21318
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21375
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21401
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21502
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.2153
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21617
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21717
2.57/2.61 c GLOBAL bounds - >= -222 @ 2.21717
2.57/2.62 c GLOBAL bounds - >= -222 @ 2.21747
2.57/2.62 c GLOBAL bounds - >= -222 @ 2.21817
2.57/2.62 c GLOBAL bounds - >= -222 @ 2.21851
2.57/2.62 c GLOBAL bounds - >= -222 @ 2.22049
2.57/2.62 c GLOBAL bounds - >= -222 @ 2.22255
2.57/2.63 c GLOBAL bounds - >= -222 @ 2.22316
2.57/2.63 c GLOBAL bounds - >= -222 @ 2.22316
2.57/2.63 c GLOBAL bounds - >= -222 @ 2.22316
2.57/2.63 c GLOBAL bounds - >= -222 @ 2.22388
2.57/2.63 c GLOBAL bounds - >= -222 @ 2.22484
2.57/2.64 c #Conflicts: 8000 | #Constraints: 4227
2.57/2.64 c GLOBAL bounds - >= -222 @ 2.2296
2.57/2.64 c GLOBAL bounds - >= -222 @ 2.23339
2.57/2.65 c GLOBAL bounds - >= -222 @ 2.23414
2.57/2.65 c GLOBAL bounds - >= -222 @ 2.23414
2.57/2.65 c GLOBAL bounds - >= -222 @ 2.23513
2.57/2.67 c GLOBAL bounds - >= -222 @ 2.2491
2.57/2.67 c GLOBAL bounds - >= -222 @ 2.2491
2.57/2.67 c GLOBAL bounds - >= -222 @ 2.2502
7.36/7.48 c #Conflicts: 9000 | #Constraints: 5227
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 10000 | #Constraints: 3920
7.36/7.48 c #Conflicts: 11000 | #Constraints: 4920
7.36/7.48 c #Conflicts: 12000 | #Constraints: 5920
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 13000 | #Constraints: 4374
7.36/7.48 c #Conflicts: 14000 | #Constraints: 5374
7.36/7.48 c #Conflicts: 15000 | #Constraints: 6374
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 16000 | #Constraints: 4601
7.36/7.48 c #Conflicts: 17000 | #Constraints: 5601
7.36/7.48 c #Conflicts: 18000 | #Constraints: 6601
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 19000 | #Constraints: 4614
7.36/7.48 c #Conflicts: 20000 | #Constraints: 5614
7.36/7.48 c #Conflicts: 21000 | #Constraints: 6614
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 22000 | #Constraints: 4420
7.36/7.48 c #Conflicts: 23000 | #Constraints: 5420
7.36/7.48 c #Conflicts: 24000 | #Constraints: 6420
7.36/7.48 c #Conflicts: 25000 | #Constraints: 7420
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 26000 | #Constraints: 5025
7.36/7.48 c #Conflicts: 27000 | #Constraints: 6025
7.36/7.48 c #Conflicts: 28000 | #Constraints: 7025
7.36/7.48 c #Conflicts: 29000 | #Constraints: 8025
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 30000 | #Constraints: 5425
7.36/7.48 c #Conflicts: 31000 | #Constraints: 6425
7.36/7.48 c #Conflicts: 32000 | #Constraints: 7425
7.36/7.48 c #Conflicts: 33000 | #Constraints: 8425
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 34000 | #Constraints: 5627
7.36/7.48 c #Conflicts: 35000 | #Constraints: 6627
7.36/7.48 c #Conflicts: 36000 | #Constraints: 7627
7.36/7.48 c #Conflicts: 37000 | #Constraints: 8627
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 38000 | #Constraints: 5629
7.36/7.48 c #Conflicts: 39000 | #Constraints: 6629
7.36/7.48 c #Conflicts: 40000 | #Constraints: 7629
7.36/7.48 c #Conflicts: 41000 | #Constraints: 8629
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 42000 | #Constraints: 5428
7.36/7.48 c #Conflicts: 43000 | #Constraints: 6428
7.36/7.48 c #Conflicts: 44000 | #Constraints: 7428
7.36/7.48 c #Conflicts: 45000 | #Constraints: 8428
7.36/7.48 c #Conflicts: 46000 | #Constraints: 9428
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 47000 | #Constraints: 6029
7.36/7.48 c #Conflicts: 48000 | #Constraints: 7029
7.36/7.48 c #Conflicts: 49000 | #Constraints: 8029
7.36/7.48 c #Conflicts: 50000 | #Constraints: 9029
7.36/7.48 c #Conflicts: 51000 | #Constraints: 10029
7.36/7.48 c INPROCESSING
7.36/7.48 c GARBAGE COLLECT
7.36/7.48 c #Conflicts: 52000 | #Constraints: 6429
7.36/7.48 c #Conflicts: 53000 | #Constraints: 7429
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.964
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96549
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96557
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96612
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96621
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96647
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96657
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96668
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96678
7.36/7.48 c GLOBAL bounds - >= -199 @ 6.96703
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96727
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96737
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96756
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96765
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96772
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96783
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96791
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96799
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96806
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96814
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96844
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96864
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.96883
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.97138
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.97201
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.9734
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.97354
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.97539
7.36/7.49 c GLOBAL bounds - >= -199 @ 6.97539
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.97593
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.97612
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.97739
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.97745
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.97956
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.98008
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.98231
7.45/7.50 c GLOBAL bounds - >= -199 @ 6.98266
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98482
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98512
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98637
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98656
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98836
7.45/7.51 c GLOBAL bounds - >= -199 @ 6.98836
7.45/7.52 c GLOBAL bounds - >= -199 @ 6.98908
7.45/7.52 c GLOBAL bounds - >= -199 @ 6.99127
7.45/7.52 c GLOBAL bounds - >= -199 @ 6.99347
7.45/7.52 c GLOBAL bounds - >= -199 @ 6.99458
7.45/7.53 c GLOBAL bounds - >= -199 @ 6.99732
7.45/7.53 c GLOBAL bounds - >= -199 @ 6.99796
7.45/7.53 c GLOBAL bounds - >= -199 @ 6.99906
7.45/7.54 c GLOBAL bounds - >= -199 @ 7.00231
7.45/7.54 c GLOBAL bounds - >= -199 @ 7.0073
7.45/7.54 c GLOBAL bounds - >= -199 @ 7.0073
7.45/7.55 c GLOBAL bounds - >= -199 @ 7.0073
7.45/7.55 c GLOBAL bounds - >= -199 @ 7.01567
7.45/7.56 c GLOBAL bounds - >= -199 @ 7.01852
7.45/7.57 c GLOBAL bounds - >= -199 @ 7.02946
7.45/7.59 c GLOBAL bounds - >= -199 @ 7.04621
7.56/7.62 c #Conflicts: 54000 | #Constraints: 8480
7.56/7.62 c GLOBAL bounds - >= -199 @ 7.07614
7.56/7.62 c GLOBAL bounds - >= -199 @ 7.07614
7.56/7.63 c GLOBAL bounds - >= -199 @ 7.08013
7.75/7.87 c #Conflicts: 55000 | #Constraints: 9480
7.75/7.87 c #Conflicts: 56000 | #Constraints: 10480
7.75/7.87 c INPROCESSING
7.75/7.87 c GARBAGE COLLECT
7.75/7.87 c GLOBAL bounds - >= -199 @ 7.31452
7.75/7.87 c GLOBAL bounds - >= -199 @ 7.31566
7.75/7.87 c GLOBAL bounds - >= -199 @ 7.31727
17.13/17.28 c #Conflicts: 57000 | #Constraints: 6676
17.13/17.28 c #Conflicts: 58000 | #Constraints: 7676
17.13/17.28 c #Conflicts: 59000 | #Constraints: 8676
17.13/17.28 c #Conflicts: 60000 | #Constraints: 9676
17.13/17.28 c #Conflicts: 61000 | #Constraints: 10676
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 62000 | #Constraints: 6676
17.13/17.28 c #Conflicts: 63000 | #Constraints: 7676
17.13/17.28 c #Conflicts: 64000 | #Constraints: 8676
17.13/17.28 c #Conflicts: 65000 | #Constraints: 9676
17.13/17.28 c #Conflicts: 66000 | #Constraints: 10676
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 67000 | #Constraints: 6474
17.13/17.28 c #Conflicts: 68000 | #Constraints: 7474
17.13/17.28 c #Conflicts: 69000 | #Constraints: 8474
17.13/17.28 c #Conflicts: 70000 | #Constraints: 9474
17.13/17.28 c #Conflicts: 71000 | #Constraints: 10474
17.13/17.28 c #Conflicts: 72000 | #Constraints: 11474
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 73000 | #Constraints: 7073
17.13/17.28 c #Conflicts: 74000 | #Constraints: 8073
17.13/17.28 c #Conflicts: 75000 | #Constraints: 9073
17.13/17.28 c #Conflicts: 76000 | #Constraints: 10073
17.13/17.28 c #Conflicts: 77000 | #Constraints: 11073
17.13/17.28 c #Conflicts: 78000 | #Constraints: 12073
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 79000 | #Constraints: 7476
17.13/17.28 c #Conflicts: 80000 | #Constraints: 8476
17.13/17.28 c #Conflicts: 81000 | #Constraints: 9476
17.13/17.28 c #Conflicts: 82000 | #Constraints: 10476
17.13/17.28 c #Conflicts: 83000 | #Constraints: 11476
17.13/17.28 c #Conflicts: 84000 | #Constraints: 12476
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 85000 | #Constraints: 7673
17.13/17.28 c #Conflicts: 86000 | #Constraints: 8673
17.13/17.28 c #Conflicts: 87000 | #Constraints: 9673
17.13/17.28 c #Conflicts: 88000 | #Constraints: 10673
17.13/17.28 c #Conflicts: 89000 | #Constraints: 11673
17.13/17.28 c #Conflicts: 90000 | #Constraints: 12673
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 91000 | #Constraints: 7672
17.13/17.28 c #Conflicts: 92000 | #Constraints: 8672
17.13/17.28 c #Conflicts: 93000 | #Constraints: 9672
17.13/17.28 c #Conflicts: 94000 | #Constraints: 10672
17.13/17.28 c #Conflicts: 95000 | #Constraints: 11672
17.13/17.28 c #Conflicts: 96000 | #Constraints: 12672
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 97000 | #Constraints: 7478
17.13/17.28 c #Conflicts: 98000 | #Constraints: 8478
17.13/17.28 c #Conflicts: 99000 | #Constraints: 9478
17.13/17.28 c #Conflicts: 100000 | #Constraints: 10478
17.13/17.28 c #Conflicts: 101000 | #Constraints: 11478
17.13/17.28 c #Conflicts: 102000 | #Constraints: 12478
17.13/17.28 c #Conflicts: 103000 | #Constraints: 13478
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 104000 | #Constraints: 8078
17.13/17.28 c #Conflicts: 105000 | #Constraints: 9078
17.13/17.28 c #Conflicts: 106000 | #Constraints: 10078
17.13/17.28 c #Conflicts: 107000 | #Constraints: 11078
17.13/17.28 c #Conflicts: 108000 | #Constraints: 12078
17.13/17.28 c #Conflicts: 109000 | #Constraints: 13078
17.13/17.28 c #Conflicts: 110000 | #Constraints: 14078
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 111000 | #Constraints: 8481
17.13/17.28 c #Conflicts: 112000 | #Constraints: 9481
17.13/17.28 c #Conflicts: 113000 | #Constraints: 10481
17.13/17.28 c #Conflicts: 114000 | #Constraints: 11481
17.13/17.28 c #Conflicts: 115000 | #Constraints: 12481
17.13/17.28 c #Conflicts: 116000 | #Constraints: 13481
17.13/17.28 c #Conflicts: 117000 | #Constraints: 14481
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 118000 | #Constraints: 8683
17.13/17.28 c #Conflicts: 119000 | #Constraints: 9683
17.13/17.28 c #Conflicts: 120000 | #Constraints: 10683
17.13/17.28 c #Conflicts: 121000 | #Constraints: 11683
17.13/17.28 c #Conflicts: 122000 | #Constraints: 12683
17.13/17.28 c #Conflicts: 123000 | #Constraints: 13683
17.13/17.28 c #Conflicts: 124000 | #Constraints: 14683
17.13/17.28 c INPROCESSING
17.13/17.28 c GARBAGE COLLECT
17.13/17.28 c #Conflicts: 125000 | #Constraints: 8686
17.13/17.28 c #Conflicts: 126000 | #Constraints: 9686
17.13/17.28 c #Conflicts: 127000 | #Constraints: 10686
17.13/17.28 c #Conflicts: 128000 | #Constraints: 11686
17.94/18.08 c #Conflicts: 129000 | #Constraints: 12686
17.94/18.08 c #Conflicts: 130000 | #Constraints: 13686
17.94/18.08 c #Conflicts: 131000 | #Constraints: 14686
17.94/18.08 c INPROCESSING
17.94/18.08 c GARBAGE COLLECT
17.94/18.08 c #Conflicts: 132000 | #Constraints: 8485
17.94/18.08 c GLOBAL bounds - >= -199 @ 17.2928
17.94/18.08 c GLOBAL bounds - >= -199 @ 17.2941
20.22/20.31 c #Conflicts: 133000 | #Constraints: 9485
20.22/20.31 c #Conflicts: 134000 | #Constraints: 10485
20.22/20.31 c #Conflicts: 135000 | #Constraints: 11485
20.22/20.31 c #Conflicts: 136000 | #Constraints: 12485
20.22/20.31 c #Conflicts: 137000 | #Constraints: 13485
20.22/20.31 c #Conflicts: 138000 | #Constraints: 14485
20.22/20.31 c #Conflicts: 139000 | #Constraints: 15485
20.22/20.31 c INPROCESSING
20.22/20.31 c GARBAGE COLLECT
20.22/20.31 c #Conflicts: 140000 | #Constraints: 9081
20.22/20.31 c #Conflicts: 141000 | #Constraints: 10081
20.22/20.31 c #Conflicts: 142000 | #Constraints: 11081
20.22/20.31 c #Conflicts: 143000 | #Constraints: 12081
20.22/20.31 c #Conflicts: 144000 | #Constraints: 13081
20.22/20.31 c #Conflicts: 145000 | #Constraints: 14081
20.22/20.31 c #Conflicts: 146000 | #Constraints: 15081
20.22/20.31 c GLOBAL bounds - >= -190 @ 19.4941
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4963
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4965
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4965
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4969
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.497
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.497
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4973
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4974
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4975
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4979
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4982
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4985
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4987
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4989
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4992
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4994
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4996
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.4998
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.5
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.5013
20.22/20.32 c GLOBAL bounds - >= -190 @ 19.5018
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5042
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5044
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.507
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5072
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5083
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5083
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5093
20.22/20.33 c GLOBAL bounds - >= -190 @ 19.5093
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5105
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5108
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5133
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5136
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5161
20.22/20.34 c GLOBAL bounds - >= -190 @ 19.5164
20.22/20.35 c GLOBAL bounds - >= -190 @ 19.5183
20.22/20.35 c GLOBAL bounds - >= -190 @ 19.5184
20.22/20.35 c GLOBAL bounds - >= -190 @ 19.5199
20.22/20.35 c GLOBAL bounds - >= -190 @ 19.5225
20.22/20.36 c GLOBAL bounds - >= -190 @ 19.5272
20.22/20.36 c GLOBAL bounds - >= -190 @ 19.5289
20.22/20.36 c GLOBAL bounds - >= -190 @ 19.5315
20.22/20.37 c GLOBAL bounds - >= -190 @ 19.5332
20.22/20.37 c GLOBAL bounds - >= -190 @ 19.5358
20.22/20.37 c GLOBAL bounds - >= -190 @ 19.5383
20.22/20.38 c GLOBAL bounds - >= -190 @ 19.5443
20.22/20.38 c GLOBAL bounds - >= -190 @ 19.5452
20.22/20.38 c GLOBAL bounds - >= -190 @ 19.5462
20.22/20.39 c GLOBAL bounds - >= -190 @ 19.5483
20.22/20.39 c GLOBAL bounds - >= -190 @ 19.5498
20.22/20.39 c GLOBAL bounds - >= -190 @ 19.5522
20.22/20.39 c GLOBAL bounds - >= -190 @ 19.5532
20.32/20.40 c GLOBAL bounds - >= -190 @ 19.5545
20.32/20.40 c GLOBAL bounds - >= -190 @ 19.5562
20.32/20.40 c GLOBAL bounds - >= -190 @ 19.5611
20.32/20.41 c GLOBAL bounds - >= -190 @ 19.5634
20.32/20.44 c GLOBAL bounds - >= -190 @ 19.5972
20.43/20.52 c #Conflicts: 147000 | #Constraints: 16142
20.43/20.52 c INPROCESSING
20.43/20.52 c GARBAGE COLLECT
20.43/20.52 c GLOBAL bounds - >= -190 @ 19.6699
20.43/20.53 c GLOBAL bounds - >= -190 @ 19.679
20.43/20.53 c GLOBAL bounds - >= -190 @ 19.6809
21.22/21.35 c #Conflicts: 148000 | #Constraints: 9526
21.22/21.35 c #Conflicts: 149000 | #Constraints: 10526
21.22/21.35 c #Conflicts: 150000 | #Constraints: 11526
21.22/21.35 c #Conflicts: 151000 | #Constraints: 12526
21.22/21.35 c #Conflicts: 152000 | #Constraints: 13526
21.22/21.35 c #Conflicts: 153000 | #Constraints: 14526
21.22/21.35 c GLOBAL bounds - >= -190 @ 20.4789
21.22/21.36 c GLOBAL bounds - >= -190 @ 20.4839
23.31/23.46 c #Conflicts: 154000 | #Constraints: 15526
23.31/23.46 c #Conflicts: 155000 | #Constraints: 16526
23.31/23.46 c INPROCESSING
23.31/23.46 c GARBAGE COLLECT
23.31/23.46 c #Conflicts: 156000 | #Constraints: 9726
23.31/23.46 c #Conflicts: 157000 | #Constraints: 10726
23.31/23.46 c #Conflicts: 158000 | #Constraints: 11726
23.31/23.46 c #Conflicts: 159000 | #Constraints: 12726
23.31/23.46 c #Conflicts: 160000 | #Constraints: 13726
23.31/23.46 c #Conflicts: 161000 | #Constraints: 14726
23.31/23.46 c #Conflicts: 162000 | #Constraints: 15726
23.31/23.46 c #Conflicts: 163000 | #Constraints: 16726
23.31/23.46 c INPROCESSING
23.31/23.46 c GARBAGE COLLECT
23.31/23.46 c #Conflicts: 164000 | #Constraints: 9725
23.31/23.46 c #Conflicts: 165000 | #Constraints: 10725
23.31/23.46 c #Conflicts: 166000 | #Constraints: 11725
23.31/23.46 c #Conflicts: 167000 | #Constraints: 12725
23.31/23.46 c GLOBAL bounds - >= -190 @ 22.5438
35.68/35.86 c #Conflicts: 168000 | #Constraints: 13725
35.68/35.86 c #Conflicts: 169000 | #Constraints: 14725
35.68/35.86 c #Conflicts: 170000 | #Constraints: 15725
35.68/35.86 c #Conflicts: 171000 | #Constraints: 16725
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 172000 | #Constraints: 9527
35.68/35.86 c #Conflicts: 173000 | #Constraints: 10527
35.68/35.86 c #Conflicts: 174000 | #Constraints: 11527
35.68/35.86 c #Conflicts: 175000 | #Constraints: 12527
35.68/35.86 c #Conflicts: 176000 | #Constraints: 13527
35.68/35.86 c #Conflicts: 177000 | #Constraints: 14527
35.68/35.86 c #Conflicts: 178000 | #Constraints: 15527
35.68/35.86 c #Conflicts: 179000 | #Constraints: 16527
35.68/35.86 c #Conflicts: 180000 | #Constraints: 17527
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 181000 | #Constraints: 10129
35.68/35.86 c #Conflicts: 182000 | #Constraints: 11129
35.68/35.86 c #Conflicts: 183000 | #Constraints: 12129
35.68/35.86 c #Conflicts: 184000 | #Constraints: 13129
35.68/35.86 c #Conflicts: 185000 | #Constraints: 14129
35.68/35.86 c #Conflicts: 186000 | #Constraints: 15129
35.68/35.86 c #Conflicts: 187000 | #Constraints: 16129
35.68/35.86 c #Conflicts: 188000 | #Constraints: 17129
35.68/35.86 c #Conflicts: 189000 | #Constraints: 18129
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 190000 | #Constraints: 10531
35.68/35.86 c #Conflicts: 191000 | #Constraints: 11531
35.68/35.86 c #Conflicts: 192000 | #Constraints: 12531
35.68/35.86 c #Conflicts: 193000 | #Constraints: 13531
35.68/35.86 c #Conflicts: 194000 | #Constraints: 14531
35.68/35.86 c #Conflicts: 195000 | #Constraints: 15531
35.68/35.86 c #Conflicts: 196000 | #Constraints: 16531
35.68/35.86 c #Conflicts: 197000 | #Constraints: 17531
35.68/35.86 c #Conflicts: 198000 | #Constraints: 18531
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 199000 | #Constraints: 10730
35.68/35.86 c #Conflicts: 200000 | #Constraints: 11730
35.68/35.86 c #Conflicts: 201000 | #Constraints: 12730
35.68/35.86 c #Conflicts: 202000 | #Constraints: 13730
35.68/35.86 c #Conflicts: 203000 | #Constraints: 14730
35.68/35.86 c #Conflicts: 204000 | #Constraints: 15730
35.68/35.86 c #Conflicts: 205000 | #Constraints: 16730
35.68/35.86 c #Conflicts: 206000 | #Constraints: 17730
35.68/35.86 c #Conflicts: 207000 | #Constraints: 18730
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 208000 | #Constraints: 10727
35.68/35.86 c #Conflicts: 209000 | #Constraints: 11727
35.68/35.86 c #Conflicts: 210000 | #Constraints: 12727
35.68/35.86 c #Conflicts: 211000 | #Constraints: 13727
35.68/35.86 c #Conflicts: 212000 | #Constraints: 14727
35.68/35.86 c #Conflicts: 213000 | #Constraints: 15727
35.68/35.86 c #Conflicts: 214000 | #Constraints: 16727
35.68/35.86 c #Conflicts: 215000 | #Constraints: 17727
35.68/35.86 c #Conflicts: 216000 | #Constraints: 18727
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 217000 | #Constraints: 10533
35.68/35.86 c #Conflicts: 218000 | #Constraints: 11533
35.68/35.86 c #Conflicts: 219000 | #Constraints: 12533
35.68/35.86 c #Conflicts: 220000 | #Constraints: 13533
35.68/35.86 c #Conflicts: 221000 | #Constraints: 14533
35.68/35.86 c #Conflicts: 222000 | #Constraints: 15533
35.68/35.86 c #Conflicts: 223000 | #Constraints: 16533
35.68/35.86 c #Conflicts: 224000 | #Constraints: 17533
35.68/35.86 c #Conflicts: 225000 | #Constraints: 18533
35.68/35.86 c #Conflicts: 226000 | #Constraints: 19533
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 227000 | #Constraints: 11134
35.68/35.86 c #Conflicts: 228000 | #Constraints: 12134
35.68/35.86 c #Conflicts: 229000 | #Constraints: 13134
35.68/35.86 c #Conflicts: 230000 | #Constraints: 14134
35.68/35.86 c #Conflicts: 231000 | #Constraints: 15134
35.68/35.86 c #Conflicts: 232000 | #Constraints: 16134
35.68/35.86 c #Conflicts: 233000 | #Constraints: 17134
35.68/35.86 c #Conflicts: 234000 | #Constraints: 18134
35.68/35.86 c #Conflicts: 235000 | #Constraints: 19134
35.68/35.86 c #Conflicts: 236000 | #Constraints: 20134
35.68/35.86 c INPROCESSING
35.68/35.86 c GARBAGE COLLECT
35.68/35.86 c #Conflicts: 237000 | #Constraints: 11533
35.68/35.86 c #Conflicts: 238000 | #Constraints: 12533
35.68/35.86 c #Conflicts: 239000 | #Constraints: 13533
35.68/35.86 c #Conflicts: 240000 | #Constraints: 14533
35.68/35.86 c #Conflicts: 241000 | #Constraints: 15533
49.35/49.56 c #Conflicts: 242000 | #Constraints: 16533
49.35/49.56 c #Conflicts: 243000 | #Constraints: 17533
49.35/49.56 c #Conflicts: 244000 | #Constraints: 18533
49.35/49.56 c #Conflicts: 245000 | #Constraints: 19533
49.35/49.56 c #Conflicts: 246000 | #Constraints: 20533
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 247000 | #Constraints: 11731
49.35/49.56 c #Conflicts: 248000 | #Constraints: 12731
49.35/49.56 c #Conflicts: 249000 | #Constraints: 13731
49.35/49.56 c #Conflicts: 250000 | #Constraints: 14731
49.35/49.56 c #Conflicts: 251000 | #Constraints: 15731
49.35/49.56 c #Conflicts: 252000 | #Constraints: 16731
49.35/49.56 c #Conflicts: 253000 | #Constraints: 17731
49.35/49.56 c #Conflicts: 254000 | #Constraints: 18731
49.35/49.56 c #Conflicts: 255000 | #Constraints: 19731
49.35/49.56 c #Conflicts: 256000 | #Constraints: 20731
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 257000 | #Constraints: 11734
49.35/49.56 c #Conflicts: 258000 | #Constraints: 12734
49.35/49.56 c #Conflicts: 259000 | #Constraints: 13734
49.35/49.56 c #Conflicts: 260000 | #Constraints: 14734
49.35/49.56 c #Conflicts: 261000 | #Constraints: 15734
49.35/49.56 c #Conflicts: 262000 | #Constraints: 16734
49.35/49.56 c #Conflicts: 263000 | #Constraints: 17734
49.35/49.56 c #Conflicts: 264000 | #Constraints: 18734
49.35/49.56 c #Conflicts: 265000 | #Constraints: 19734
49.35/49.56 c #Conflicts: 266000 | #Constraints: 20734
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 267000 | #Constraints: 11540
49.35/49.56 c #Conflicts: 268000 | #Constraints: 12540
49.35/49.56 c #Conflicts: 269000 | #Constraints: 13540
49.35/49.56 c #Conflicts: 270000 | #Constraints: 14540
49.35/49.56 c #Conflicts: 271000 | #Constraints: 15540
49.35/49.56 c #Conflicts: 272000 | #Constraints: 16540
49.35/49.56 c #Conflicts: 273000 | #Constraints: 17540
49.35/49.56 c #Conflicts: 274000 | #Constraints: 18540
49.35/49.56 c #Conflicts: 275000 | #Constraints: 19540
49.35/49.56 c #Conflicts: 276000 | #Constraints: 20540
49.35/49.56 c #Conflicts: 277000 | #Constraints: 21540
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 278000 | #Constraints: 12136
49.35/49.56 c #Conflicts: 279000 | #Constraints: 13136
49.35/49.56 c #Conflicts: 280000 | #Constraints: 14136
49.35/49.56 c #Conflicts: 281000 | #Constraints: 15136
49.35/49.56 c #Conflicts: 282000 | #Constraints: 16136
49.35/49.56 c #Conflicts: 283000 | #Constraints: 17136
49.35/49.56 c #Conflicts: 284000 | #Constraints: 18136
49.35/49.56 c #Conflicts: 285000 | #Constraints: 19136
49.35/49.56 c #Conflicts: 286000 | #Constraints: 20136
49.35/49.56 c #Conflicts: 287000 | #Constraints: 21136
49.35/49.56 c #Conflicts: 288000 | #Constraints: 22136
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 289000 | #Constraints: 12539
49.35/49.56 c #Conflicts: 290000 | #Constraints: 13539
49.35/49.56 c #Conflicts: 291000 | #Constraints: 14539
49.35/49.56 c #Conflicts: 292000 | #Constraints: 15539
49.35/49.56 c #Conflicts: 293000 | #Constraints: 16539
49.35/49.56 c #Conflicts: 294000 | #Constraints: 17539
49.35/49.56 c #Conflicts: 295000 | #Constraints: 18539
49.35/49.56 c #Conflicts: 296000 | #Constraints: 19539
49.35/49.56 c #Conflicts: 297000 | #Constraints: 20539
49.35/49.56 c #Conflicts: 298000 | #Constraints: 21539
49.35/49.56 c #Conflicts: 299000 | #Constraints: 22539
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 300000 | #Constraints: 12737
49.35/49.56 c #Conflicts: 301000 | #Constraints: 13737
49.35/49.56 c #Conflicts: 302000 | #Constraints: 14737
49.35/49.56 c #Conflicts: 303000 | #Constraints: 15737
49.35/49.56 c #Conflicts: 304000 | #Constraints: 16737
49.35/49.56 c #Conflicts: 305000 | #Constraints: 17737
49.35/49.56 c #Conflicts: 306000 | #Constraints: 18737
49.35/49.56 c #Conflicts: 307000 | #Constraints: 19737
49.35/49.56 c #Conflicts: 308000 | #Constraints: 20737
49.35/49.56 c #Conflicts: 309000 | #Constraints: 21737
49.35/49.56 c #Conflicts: 310000 | #Constraints: 22737
49.35/49.56 c INPROCESSING
49.35/49.56 c GARBAGE COLLECT
49.35/49.56 c #Conflicts: 311000 | #Constraints: 12737
49.35/49.56 c #Conflicts: 312000 | #Constraints: 13737
49.35/49.56 c #Conflicts: 313000 | #Constraints: 14737
49.35/49.56 c #Conflicts: 314000 | #Constraints: 15737
49.35/49.56 c #Conflicts: 315000 | #Constraints: 16737
49.35/49.56 c #Conflicts: 316000 | #Constraints: 17737
54.34/54.52 c #Conflicts: 317000 | #Constraints: 18737
54.34/54.52 c #Conflicts: 318000 | #Constraints: 19737
54.34/54.52 c #Conflicts: 319000 | #Constraints: 20737
54.34/54.52 c #Conflicts: 320000 | #Constraints: 21737
54.34/54.52 c #Conflicts: 321000 | #Constraints: 22737
54.34/54.52 c INPROCESSING
54.34/54.52 c GARBAGE COLLECT
54.34/54.52 c #Conflicts: 322000 | #Constraints: 12538
54.34/54.52 c #Conflicts: 323000 | #Constraints: 13538
54.34/54.52 c #Conflicts: 324000 | #Constraints: 14538
54.34/54.52 c #Conflicts: 325000 | #Constraints: 15538
54.34/54.52 c #Conflicts: 326000 | #Constraints: 16538
54.34/54.52 c #Conflicts: 327000 | #Constraints: 17538
54.34/54.52 c #Conflicts: 328000 | #Constraints: 18538
54.34/54.52 c #Conflicts: 329000 | #Constraints: 19538
54.34/54.52 c #Conflicts: 330000 | #Constraints: 20538
54.34/54.52 c #Conflicts: 331000 | #Constraints: 21538
54.34/54.52 c #Conflicts: 332000 | #Constraints: 22538
54.34/54.52 c #Conflicts: 333000 | #Constraints: 23538
54.34/54.52 c INPROCESSING
54.34/54.52 c GARBAGE COLLECT
54.34/54.52 c #Conflicts: 334000 | #Constraints: 13141
54.34/54.52 c #Conflicts: 335000 | #Constraints: 14141
54.34/54.52 c #Conflicts: 336000 | #Constraints: 15141
54.34/54.52 c #Conflicts: 337000 | #Constraints: 16141
54.34/54.52 c #Conflicts: 338000 | #Constraints: 17141
54.34/54.52 c #Conflicts: 339000 | #Constraints: 18141
54.34/54.52 c #Conflicts: 340000 | #Constraints: 19141
54.34/54.52 c #Conflicts: 341000 | #Constraints: 20141
54.34/54.52 c #Conflicts: 342000 | #Constraints: 21141
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0115
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0138
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0138
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0145
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0146
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0148
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0149
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0149
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0154
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0158
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.016
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0163
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0165
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0167
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0169
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0173
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0175
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0177
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.018
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0182
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0184
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0186
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0188
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0191
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0193
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0195
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0199
54.34/54.52 c GLOBAL bounds - >= -184 @ 53.0203
54.34/54.53 c GLOBAL bounds - >= -184 @ 53.0223
54.34/54.53 c GLOBAL bounds - >= -184 @ 53.0223
54.34/54.53 c GLOBAL bounds - >= -184 @ 53.0235
54.34/54.53 c GLOBAL bounds - >= -184 @ 53.0242
54.34/54.53 c GLOBAL bounds - >= -184 @ 53.0253
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0253
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0263
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0263
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0273
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0273
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0291
54.34/54.54 c GLOBAL bounds - >= -184 @ 53.0293
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0312
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0318
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0335
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0339
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0353
54.34/54.55 c GLOBAL bounds - >= -184 @ 53.0353
54.34/54.56 c GLOBAL bounds - >= -184 @ 53.0363
54.34/54.56 c GLOBAL bounds - >= -184 @ 53.0376
54.34/54.56 c GLOBAL bounds - >= -184 @ 53.0383
54.34/54.56 c GLOBAL bounds - >= -184 @ 53.0399
54.34/54.57 c GLOBAL bounds - >= -184 @ 53.0416
54.34/54.57 c GLOBAL bounds - >= -184 @ 53.0445
54.34/54.57 c GLOBAL bounds - >= -184 @ 53.0463
54.34/54.58 c GLOBAL bounds - >= -184 @ 53.0463
54.34/54.58 c GLOBAL bounds - >= -184 @ 53.0473
54.34/54.58 c GLOBAL bounds - >= -184 @ 53.0505
54.34/54.59 c GLOBAL bounds - >= -184 @ 53.0523
54.34/54.59 c GLOBAL bounds - >= -184 @ 53.0568
54.34/54.59 c GLOBAL bounds - >= -184 @ 53.0583
54.44/54.60 c GLOBAL bounds - >= -184 @ 53.0603
54.44/54.60 c GLOBAL bounds - >= -184 @ 53.0625
54.44/54.61 c GLOBAL bounds - >= -184 @ 53.0633
54.44/54.61 c GLOBAL bounds - >= -184 @ 53.0662
54.44/54.61 c GLOBAL bounds - >= -184 @ 53.0673
54.44/54.65 c GLOBAL bounds - >= -184 @ 53.0996
54.44/54.65 c GLOBAL bounds - >= -184 @ 53.1022
54.64/54.83 c #Conflicts: 343000 | #Constraints: 22188
54.64/54.83 c GLOBAL bounds - >= -184 @ 53.2807
54.64/54.83 c GLOBAL bounds - >= -184 @ 53.2817
54.64/54.86 c GLOBAL bounds - >= -184 @ 53.3012
54.74/54.91 c GLOBAL bounds - >= -184 @ 53.3537
54.74/54.91 c GLOBAL bounds - >= -184 @ 53.3554
63.51/63.70 c #Conflicts: 344000 | #Constraints: 23191
63.51/63.70 c #Conflicts: 345000 | #Constraints: 24191
63.51/63.70 c INPROCESSING
63.51/63.70 c GARBAGE COLLECT
63.51/63.70 c #Conflicts: 346000 | #Constraints: 13579
63.51/63.70 c #Conflicts: 347000 | #Constraints: 14579
63.51/63.70 c #Conflicts: 348000 | #Constraints: 15579
63.51/63.70 c #Conflicts: 349000 | #Constraints: 16579
63.51/63.70 c #Conflicts: 350000 | #Constraints: 17579
63.51/63.70 c #Conflicts: 351000 | #Constraints: 18579
63.51/63.70 c #Conflicts: 352000 | #Constraints: 19579
63.51/63.70 c #Conflicts: 353000 | #Constraints: 20579
63.51/63.70 c #Conflicts: 354000 | #Constraints: 21579
63.51/63.70 c #Conflicts: 355000 | #Constraints: 22579
63.51/63.70 c #Conflicts: 356000 | #Constraints: 23579
63.51/63.70 c #Conflicts: 357000 | #Constraints: 24579
63.51/63.70 c INPROCESSING
63.51/63.70 c GARBAGE COLLECT
63.51/63.70 c #Conflicts: 358000 | #Constraints: 13782
63.51/63.70 c #Conflicts: 359000 | #Constraints: 14782
63.51/63.70 c #Conflicts: 360000 | #Constraints: 15782
63.51/63.70 c #Conflicts: 361000 | #Constraints: 16782
63.51/63.70 c #Conflicts: 362000 | #Constraints: 17782
63.51/63.70 c #Conflicts: 363000 | #Constraints: 18782
63.51/63.70 c #Conflicts: 364000 | #Constraints: 19782
63.51/63.70 c #Conflicts: 365000 | #Constraints: 20782
63.51/63.70 c #Conflicts: 366000 | #Constraints: 21782
63.51/63.70 c #Conflicts: 367000 | #Constraints: 22782
63.51/63.70 c #Conflicts: 368000 | #Constraints: 23782
63.51/63.70 c #Conflicts: 369000 | #Constraints: 24782
63.51/63.70 c INPROCESSING
63.51/63.70 c GARBAGE COLLECT
63.51/63.70 c #Conflicts: 370000 | #Constraints: 13781
63.51/63.70 c #Conflicts: 371000 | #Constraints: 14781
63.51/63.70 c #Conflicts: 372000 | #Constraints: 15781
63.51/63.70 c #Conflicts: 373000 | #Constraints: 16781
63.51/63.70 c #Conflicts: 374000 | #Constraints: 17781
63.51/63.70 c #Conflicts: 375000 | #Constraints: 18781
63.51/63.70 c #Conflicts: 376000 | #Constraints: 19781
63.51/63.70 c #Conflicts: 377000 | #Constraints: 20781
63.51/63.70 c #Conflicts: 378000 | #Constraints: 21781
63.51/63.70 c #Conflicts: 379000 | #Constraints: 22781
63.51/63.70 c #Conflicts: 380000 | #Constraints: 23781
63.51/63.70 c #Conflicts: 381000 | #Constraints: 24781
63.51/63.70 c INPROCESSING
63.51/63.70 c GARBAGE COLLECT
63.51/63.70 c #Conflicts: 382000 | #Constraints: 13580
63.51/63.70 c #Conflicts: 383000 | #Constraints: 14580
63.51/63.70 c #Conflicts: 384000 | #Constraints: 15580
63.51/63.70 c #Conflicts: 385000 | #Constraints: 16580
63.51/63.70 c GLOBAL bounds - >= -184 @ 62.0015
63.51/63.70 c GLOBAL bounds - >= -184 @ 62.0025
63.51/63.77 c GLOBAL bounds - >= -184 @ 62.0624
63.51/63.77 c GLOBAL bounds - >= -184 @ 62.0648
79.47/79.70 c #Conflicts: 386000 | #Constraints: 17580
79.47/79.70 c #Conflicts: 387000 | #Constraints: 18580
79.47/79.70 c #Conflicts: 388000 | #Constraints: 19580
79.47/79.70 c #Conflicts: 389000 | #Constraints: 20580
79.47/79.70 c #Conflicts: 390000 | #Constraints: 21580
79.47/79.70 c #Conflicts: 391000 | #Constraints: 22580
79.47/79.70 c #Conflicts: 392000 | #Constraints: 23580
79.47/79.70 c #Conflicts: 393000 | #Constraints: 24580
79.47/79.70 c #Conflicts: 394000 | #Constraints: 25580
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
79.47/79.70 c #Conflicts: 395000 | #Constraints: 14177
79.47/79.70 c #Conflicts: 396000 | #Constraints: 15177
79.47/79.70 c #Conflicts: 397000 | #Constraints: 16177
79.47/79.70 c #Conflicts: 398000 | #Constraints: 17177
79.47/79.70 c #Conflicts: 399000 | #Constraints: 18177
79.47/79.70 c #Conflicts: 400000 | #Constraints: 19177
79.47/79.70 c #Conflicts: 401000 | #Constraints: 20177
79.47/79.70 c #Conflicts: 402000 | #Constraints: 21177
79.47/79.70 c #Conflicts: 403000 | #Constraints: 22177
79.47/79.70 c #Conflicts: 404000 | #Constraints: 23177
79.47/79.70 c #Conflicts: 405000 | #Constraints: 24177
79.47/79.70 c #Conflicts: 406000 | #Constraints: 25177
79.47/79.70 c #Conflicts: 407000 | #Constraints: 26177
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
79.47/79.70 c #Conflicts: 408000 | #Constraints: 14579
79.47/79.70 c #Conflicts: 409000 | #Constraints: 15579
79.47/79.70 c #Conflicts: 410000 | #Constraints: 16579
79.47/79.70 c #Conflicts: 411000 | #Constraints: 17579
79.47/79.70 c #Conflicts: 412000 | #Constraints: 18579
79.47/79.70 c #Conflicts: 413000 | #Constraints: 19579
79.47/79.70 c #Conflicts: 414000 | #Constraints: 20579
79.47/79.70 c #Conflicts: 415000 | #Constraints: 21579
79.47/79.70 c #Conflicts: 416000 | #Constraints: 22579
79.47/79.70 c #Conflicts: 417000 | #Constraints: 23579
79.47/79.70 c #Conflicts: 418000 | #Constraints: 24579
79.47/79.70 c #Conflicts: 419000 | #Constraints: 25579
79.47/79.70 c #Conflicts: 420000 | #Constraints: 26579
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
79.47/79.70 c #Conflicts: 421000 | #Constraints: 14781
79.47/79.70 c #Conflicts: 422000 | #Constraints: 15781
79.47/79.70 c #Conflicts: 423000 | #Constraints: 16781
79.47/79.70 c #Conflicts: 424000 | #Constraints: 17781
79.47/79.70 c #Conflicts: 425000 | #Constraints: 18781
79.47/79.70 c #Conflicts: 426000 | #Constraints: 19781
79.47/79.70 c #Conflicts: 427000 | #Constraints: 20781
79.47/79.70 c #Conflicts: 428000 | #Constraints: 21781
79.47/79.70 c #Conflicts: 429000 | #Constraints: 22781
79.47/79.70 c #Conflicts: 430000 | #Constraints: 23781
79.47/79.70 c #Conflicts: 431000 | #Constraints: 24781
79.47/79.70 c #Conflicts: 432000 | #Constraints: 25781
79.47/79.70 c #Conflicts: 433000 | #Constraints: 26781
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
79.47/79.70 c #Conflicts: 434000 | #Constraints: 14781
79.47/79.70 c #Conflicts: 435000 | #Constraints: 15781
79.47/79.70 c #Conflicts: 436000 | #Constraints: 16781
79.47/79.70 c #Conflicts: 437000 | #Constraints: 17781
79.47/79.70 c #Conflicts: 438000 | #Constraints: 18781
79.47/79.70 c #Conflicts: 439000 | #Constraints: 19781
79.47/79.70 c #Conflicts: 440000 | #Constraints: 20781
79.47/79.70 c #Conflicts: 441000 | #Constraints: 21781
79.47/79.70 c #Conflicts: 442000 | #Constraints: 22781
79.47/79.70 c #Conflicts: 443000 | #Constraints: 23781
79.47/79.70 c #Conflicts: 444000 | #Constraints: 24781
79.47/79.70 c #Conflicts: 445000 | #Constraints: 25781
79.47/79.70 c #Conflicts: 446000 | #Constraints: 26781
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
79.47/79.70 c #Conflicts: 447000 | #Constraints: 14581
79.47/79.70 c #Conflicts: 448000 | #Constraints: 15581
79.47/79.70 c #Conflicts: 449000 | #Constraints: 16581
79.47/79.70 c #Conflicts: 450000 | #Constraints: 17581
79.47/79.70 c #Conflicts: 451000 | #Constraints: 18581
79.47/79.70 c #Conflicts: 452000 | #Constraints: 19581
79.47/79.70 c #Conflicts: 453000 | #Constraints: 20581
79.47/79.70 c #Conflicts: 454000 | #Constraints: 21581
79.47/79.70 c #Conflicts: 455000 | #Constraints: 22581
79.47/79.70 c #Conflicts: 456000 | #Constraints: 23581
79.47/79.70 c #Conflicts: 457000 | #Constraints: 24581
79.47/79.70 c #Conflicts: 458000 | #Constraints: 25581
79.47/79.70 c #Conflicts: 459000 | #Constraints: 26581
79.47/79.70 c #Conflicts: 460000 | #Constraints: 27581
79.47/79.70 c INPROCESSING
79.47/79.70 c GARBAGE COLLECT
81.67/82.00 c #Conflicts: 461000 | #Constraints: 15178
81.67/82.00 c #Conflicts: 462000 | #Constraints: 16178
81.67/82.00 c #Conflicts: 463000 | #Constraints: 17178
81.67/82.00 c #Conflicts: 464000 | #Constraints: 18178
81.67/82.00 c #Conflicts: 465000 | #Constraints: 19178
81.67/82.00 c #Conflicts: 466000 | #Constraints: 20178
81.67/82.00 c #Conflicts: 467000 | #Constraints: 21178
81.67/82.00 c #Conflicts: 468000 | #Constraints: 22178
81.67/82.00 c #Conflicts: 469000 | #Constraints: 23178
81.67/82.00 c #Conflicts: 470000 | #Constraints: 24178
81.67/82.00 c #Conflicts: 471000 | #Constraints: 25178
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.9871
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.9905
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.9907
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.9908
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.991
81.67/82.00 c GLOBAL bounds - >= -182 @ 79.9911
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9919
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9921
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9923
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9926
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9928
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.993
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9933
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9936
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9937
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9938
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9938
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9939
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9943
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9945
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9947
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9949
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9951
81.78/82.00 c GLOBAL bounds - >= -182 @ 79.9953
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9956
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9958
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.996
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9962
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9966
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9966
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9966
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9994
81.78/82.01 c GLOBAL bounds - >= -182 @ 79.9999
81.78/82.01 c GLOBAL bounds - >= -182 @ 80.0029
81.78/82.01 c GLOBAL bounds - >= -182 @ 80.0033
81.78/82.02 c GLOBAL bounds - >= -182 @ 80.0048
81.78/82.02 c GLOBAL bounds - >= -182 @ 80.0048
81.78/82.02 c GLOBAL bounds - >= -182 @ 80.0068
81.78/82.02 c GLOBAL bounds - >= -182 @ 80.007
81.78/82.02 c GLOBAL bounds - >= -182 @ 80.0078
81.78/82.03 c GLOBAL bounds -153 >= -182 @ 80.0098
81.78/82.03 c GLOBAL bounds -153 >= -182 @ 80.0108
81.78/82.03 c GLOBAL bounds -158 >= -182 @ 80.0124
81.78/82.03 c GLOBAL bounds -158 >= -182 @ 80.0164
81.78/82.04 c GLOBAL bounds -158 >= -182 @ 80.0171
81.88/82.12 c #Conflicts: 472000 | #Constraints: 26216
81.88/82.12 c GLOBAL bounds -158 >= -182 @ 80.0975
81.88/82.12 c GLOBAL bounds -161 >= -182 @ 80.099
81.88/82.15 c GLOBAL bounds -161 >= -182 @ 80.1264
81.88/82.15 c GLOBAL bounds -161 >= -182 @ 80.1269
81.88/82.15 c GLOBAL bounds -161 >= -182 @ 80.1295
81.88/82.15 c GLOBAL bounds -161 >= -182 @ 80.1297
81.88/82.16 c GLOBAL bounds -161 >= -182 @ 80.1315
81.88/82.16 c GLOBAL bounds -161 >= -182 @ 80.1318
81.88/82.16 c GLOBAL bounds -161 >= -182 @ 80.1336
81.88/82.16 c GLOBAL bounds -161 >= -182 @ 80.1339
81.88/82.17 c GLOBAL bounds -161 >= -182 @ 80.1428
81.88/82.18 c GLOBAL bounds -161 >= -182 @ 80.1476
81.88/82.19 c GLOBAL bounds -161 >= -182 @ 80.1574
81.88/82.19 c GLOBAL bounds -161 >= -182 @ 80.1594
81.88/82.19 c GLOBAL bounds -161 >= -182 @ 80.1607
81.88/82.19 c GLOBAL bounds -161 >= -182 @ 80.1614
81.97/82.20 c GLOBAL bounds -161 >= -182 @ 80.1646
81.97/82.20 c GLOBAL bounds -161 >= -182 @ 80.1665
81.97/82.20 c GLOBAL bounds -161 >= -182 @ 80.1674
82.27/82.51 c #Conflicts: 473000 | #Constraints: 27222
82.27/82.51 c #Conflicts: 474000 | #Constraints: 28222
82.27/82.51 c INPROCESSING
82.27/82.51 c GARBAGE COLLECT
82.27/82.51 c GLOBAL bounds -161 >= -182 @ 80.4626
82.27/82.51 c GLOBAL bounds -161 >= -182 @ 80.4636
82.27/82.52 c GLOBAL bounds -161 >= -182 @ 80.4687
98.13/98.44 c #Conflicts: 475000 | #Constraints: 15471
98.13/98.44 c #Conflicts: 476000 | #Constraints: 16471
98.13/98.44 c #Conflicts: 477000 | #Constraints: 17471
98.13/98.44 c #Conflicts: 478000 | #Constraints: 18471
98.13/98.44 c #Conflicts: 479000 | #Constraints: 19471
98.13/98.44 c #Conflicts: 480000 | #Constraints: 20471
98.13/98.44 c #Conflicts: 481000 | #Constraints: 21471
98.13/98.44 c #Conflicts: 482000 | #Constraints: 22471
98.13/98.44 c #Conflicts: 483000 | #Constraints: 23471
98.13/98.44 c #Conflicts: 484000 | #Constraints: 24471
98.13/98.44 c #Conflicts: 485000 | #Constraints: 25471
98.13/98.44 c #Conflicts: 486000 | #Constraints: 26471
98.13/98.44 c #Conflicts: 487000 | #Constraints: 27471
98.13/98.44 c #Conflicts: 488000 | #Constraints: 28471
98.13/98.44 c INPROCESSING
98.13/98.44 c GARBAGE COLLECT
98.13/98.44 c #Conflicts: 489000 | #Constraints: 15676
98.13/98.44 c #Conflicts: 490000 | #Constraints: 16676
98.13/98.44 c #Conflicts: 491000 | #Constraints: 17676
98.13/98.44 c #Conflicts: 492000 | #Constraints: 18676
98.13/98.44 c #Conflicts: 493000 | #Constraints: 19676
98.13/98.44 c #Conflicts: 494000 | #Constraints: 20676
98.13/98.44 c #Conflicts: 495000 | #Constraints: 21676
98.13/98.44 c #Conflicts: 496000 | #Constraints: 22676
98.13/98.44 c #Conflicts: 497000 | #Constraints: 23676
98.13/98.44 c #Conflicts: 498000 | #Constraints: 24676
98.13/98.44 c #Conflicts: 499000 | #Constraints: 25676
98.13/98.44 c #Conflicts: 500000 | #Constraints: 26676
98.13/98.44 c #Conflicts: 501000 | #Constraints: 27676
98.13/98.44 c #Conflicts: 502000 | #Constraints: 28676
98.13/98.44 c INPROCESSING
98.13/98.44 c GARBAGE COLLECT
98.13/98.44 c #Conflicts: 503000 | #Constraints: 15678
98.13/98.44 c #Conflicts: 504000 | #Constraints: 16678
98.13/98.44 c #Conflicts: 505000 | #Constraints: 17678
98.13/98.44 c #Conflicts: 506000 | #Constraints: 18678
98.13/98.44 c #Conflicts: 507000 | #Constraints: 19678
98.13/98.44 c #Conflicts: 508000 | #Constraints: 20678
98.13/98.44 c #Conflicts: 509000 | #Constraints: 21678
98.13/98.44 c #Conflicts: 510000 | #Constraints: 22678
98.13/98.44 c #Conflicts: 511000 | #Constraints: 23678
98.13/98.44 c #Conflicts: 512000 | #Constraints: 24678
98.13/98.44 c #Conflicts: 513000 | #Constraints: 25678
98.13/98.44 c #Conflicts: 514000 | #Constraints: 26678
98.13/98.44 c #Conflicts: 515000 | #Constraints: 27678
98.13/98.44 c #Conflicts: 516000 | #Constraints: 28678
98.13/98.44 c INPROCESSING
98.13/98.44 c GARBAGE COLLECT
98.13/98.44 c #Conflicts: 517000 | #Constraints: 15471
98.13/98.44 c #Conflicts: 518000 | #Constraints: 16471
98.13/98.44 c #Conflicts: 519000 | #Constraints: 17471
98.13/98.44 c #Conflicts: 520000 | #Constraints: 18471
98.13/98.44 c #Conflicts: 521000 | #Constraints: 19471
98.13/98.44 c #Conflicts: 522000 | #Constraints: 20471
98.13/98.44 c #Conflicts: 523000 | #Constraints: 21471
98.13/98.44 c #Conflicts: 524000 | #Constraints: 22471
98.13/98.44 c #Conflicts: 525000 | #Constraints: 23471
98.13/98.44 c #Conflicts: 526000 | #Constraints: 24471
98.13/98.44 c #Conflicts: 527000 | #Constraints: 25471
98.13/98.44 c #Conflicts: 528000 | #Constraints: 26471
98.13/98.44 c #Conflicts: 529000 | #Constraints: 27471
98.13/98.44 c #Conflicts: 530000 | #Constraints: 28471
98.13/98.44 c #Conflicts: 531000 | #Constraints: 29471
98.13/98.44 c INPROCESSING
98.13/98.44 c GARBAGE COLLECT
98.13/98.44 c #Conflicts: 532000 | #Constraints: 16069
98.13/98.44 c #Conflicts: 533000 | #Constraints: 17069
98.13/98.44 c #Conflicts: 534000 | #Constraints: 18069
98.13/98.44 c #Conflicts: 535000 | #Constraints: 19069
98.13/98.44 c #Conflicts: 536000 | #Constraints: 20069
98.13/98.44 c #Conflicts: 537000 | #Constraints: 21069
98.13/98.44 c #Conflicts: 538000 | #Constraints: 22069
98.13/98.44 c #Conflicts: 539000 | #Constraints: 23069
98.13/98.44 c #Conflicts: 540000 | #Constraints: 24069
98.13/98.44 c #Conflicts: 541000 | #Constraints: 25069
98.13/98.44 c #Conflicts: 542000 | #Constraints: 26069
98.13/98.44 c #Conflicts: 543000 | #Constraints: 27069
98.13/98.44 c #Conflicts: 544000 | #Constraints: 28069
98.13/98.44 c #Conflicts: 545000 | #Constraints: 29069
98.13/98.44 c #Conflicts: 546000 | #Constraints: 30069
98.13/98.44 c INPROCESSING
98.13/98.44 c GARBAGE COLLECT
98.13/98.44 c #Conflicts: 547000 | #Constraints: 16476
98.13/98.44 c #Conflicts: 548000 | #Constraints: 17476
98.13/98.44 c #Conflicts: 549000 | #Constraints: 18476
98.13/98.44 c #Conflicts: 550000 | #Constraints: 19476
114.19/114.54 c #Conflicts: 551000 | #Constraints: 20476
114.19/114.54 c #Conflicts: 552000 | #Constraints: 21476
114.19/114.54 c #Conflicts: 553000 | #Constraints: 22476
114.19/114.54 c #Conflicts: 554000 | #Constraints: 23476
114.19/114.54 c #Conflicts: 555000 | #Constraints: 24476
114.19/114.54 c #Conflicts: 556000 | #Constraints: 25476
114.19/114.54 c #Conflicts: 557000 | #Constraints: 26476
114.19/114.54 c #Conflicts: 558000 | #Constraints: 27476
114.19/114.54 c #Conflicts: 559000 | #Constraints: 28476
114.19/114.54 c #Conflicts: 560000 | #Constraints: 29476
114.19/114.54 c #Conflicts: 561000 | #Constraints: 30476
114.19/114.54 c INPROCESSING
114.19/114.54 c GARBAGE COLLECT
114.19/114.54 c #Conflicts: 562000 | #Constraints: 16677
114.19/114.54 c #Conflicts: 563000 | #Constraints: 17677
114.19/114.54 c #Conflicts: 564000 | #Constraints: 18677
114.19/114.54 c #Conflicts: 565000 | #Constraints: 19677
114.19/114.54 c #Conflicts: 566000 | #Constraints: 20677
114.19/114.54 c #Conflicts: 567000 | #Constraints: 21677
114.19/114.54 c #Conflicts: 568000 | #Constraints: 22677
114.19/114.54 c #Conflicts: 569000 | #Constraints: 23677
114.19/114.54 c #Conflicts: 570000 | #Constraints: 24677
114.19/114.54 c #Conflicts: 571000 | #Constraints: 25677
114.19/114.54 c #Conflicts: 572000 | #Constraints: 26677
114.19/114.54 c #Conflicts: 573000 | #Constraints: 27677
114.19/114.54 c #Conflicts: 574000 | #Constraints: 28677
114.19/114.54 c #Conflicts: 575000 | #Constraints: 29677
114.19/114.54 c #Conflicts: 576000 | #Constraints: 30677
114.19/114.54 c INPROCESSING
114.19/114.54 c GARBAGE COLLECT
114.19/114.54 c #Conflicts: 577000 | #Constraints: 16683
114.19/114.54 c #Conflicts: 578000 | #Constraints: 17683
114.19/114.54 c #Conflicts: 579000 | #Constraints: 18683
114.19/114.54 c #Conflicts: 580000 | #Constraints: 19683
114.19/114.54 c #Conflicts: 581000 | #Constraints: 20683
114.19/114.54 c #Conflicts: 582000 | #Constraints: 21683
114.19/114.54 c #Conflicts: 583000 | #Constraints: 22683
114.19/114.54 c #Conflicts: 584000 | #Constraints: 23683
114.19/114.54 c #Conflicts: 585000 | #Constraints: 24683
114.19/114.54 c #Conflicts: 586000 | #Constraints: 25683
114.19/114.54 c #Conflicts: 587000 | #Constraints: 26683
114.19/114.54 c #Conflicts: 588000 | #Constraints: 27683
114.19/114.54 c #Conflicts: 589000 | #Constraints: 28683
114.19/114.54 c #Conflicts: 590000 | #Constraints: 29683
114.19/114.54 c #Conflicts: 591000 | #Constraints: 30683
114.19/114.54 c INPROCESSING
114.19/114.54 c GARBAGE COLLECT
114.19/114.54 c #Conflicts: 592000 | #Constraints: 16477
114.19/114.54 c #Conflicts: 593000 | #Constraints: 17477
114.19/114.54 c #Conflicts: 594000 | #Constraints: 18477
114.19/114.54 c #Conflicts: 595000 | #Constraints: 19477
114.19/114.54 c #Conflicts: 596000 | #Constraints: 20477
114.19/114.54 c #Conflicts: 597000 | #Constraints: 21477
114.19/114.54 c #Conflicts: 598000 | #Constraints: 22477
114.19/114.54 c #Conflicts: 599000 | #Constraints: 23477
114.19/114.54 c #Conflicts: 600000 | #Constraints: 24477
114.19/114.54 c #Conflicts: 601000 | #Constraints: 25477
114.19/114.54 c #Conflicts: 602000 | #Constraints: 26477
114.19/114.54 c #Conflicts: 603000 | #Constraints: 27477
114.19/114.54 c #Conflicts: 604000 | #Constraints: 28477
114.19/114.54 c #Conflicts: 605000 | #Constraints: 29477
114.19/114.54 c #Conflicts: 606000 | #Constraints: 30477
114.19/114.54 c #Conflicts: 607000 | #Constraints: 31477
114.19/114.55 c INPROCESSING
114.19/114.55 c GARBAGE COLLECT
114.19/114.55 c #Conflicts: 608000 | #Constraints: 17074
114.19/114.55 c #Conflicts: 609000 | #Constraints: 18074
114.19/114.55 c #Conflicts: 610000 | #Constraints: 19074
114.19/114.55 c #Conflicts: 611000 | #Constraints: 20074
114.19/114.55 c #Conflicts: 612000 | #Constraints: 21074
114.19/114.55 c #Conflicts: 613000 | #Constraints: 22074
114.19/114.55 c #Conflicts: 614000 | #Constraints: 23074
114.19/114.55 c #Conflicts: 615000 | #Constraints: 24074
114.19/114.55 c #Conflicts: 616000 | #Constraints: 25074
114.19/114.55 c #Conflicts: 617000 | #Constraints: 26074
114.19/114.55 c #Conflicts: 618000 | #Constraints: 27074
114.19/114.55 c #Conflicts: 619000 | #Constraints: 28074
114.19/114.55 c #Conflicts: 620000 | #Constraints: 29074
114.19/114.55 c #Conflicts: 621000 | #Constraints: 30074
114.19/114.55 c #Conflicts: 622000 | #Constraints: 31074
114.19/114.55 c #Conflicts: 623000 | #Constraints: 32074
114.19/114.55 c INPROCESSING
114.19/114.55 c GARBAGE COLLECT
114.19/114.55 c #Conflicts: 624000 | #Constraints: 17478
114.19/114.55 c #Conflicts: 625000 | #Constraints: 18478
114.19/114.55 c #Conflicts: 626000 | #Constraints: 19478
131.54/131.94 c #Conflicts: 627000 | #Constraints: 20478
131.54/131.94 c #Conflicts: 628000 | #Constraints: 21478
131.54/131.94 c #Conflicts: 629000 | #Constraints: 22478
131.54/131.94 c #Conflicts: 630000 | #Constraints: 23478
131.54/131.94 c #Conflicts: 631000 | #Constraints: 24478
131.54/131.94 c #Conflicts: 632000 | #Constraints: 25478
131.54/131.94 c #Conflicts: 633000 | #Constraints: 26478
131.54/131.94 c #Conflicts: 634000 | #Constraints: 27478
131.54/131.94 c #Conflicts: 635000 | #Constraints: 28478
131.54/131.94 c #Conflicts: 636000 | #Constraints: 29478
131.54/131.94 c #Conflicts: 637000 | #Constraints: 30478
131.54/131.94 c #Conflicts: 638000 | #Constraints: 31478
131.54/131.94 c #Conflicts: 639000 | #Constraints: 32478
131.54/131.94 c INPROCESSING
131.54/131.94 c GARBAGE COLLECT
131.54/131.94 c #Conflicts: 640000 | #Constraints: 17677
131.54/131.94 c #Conflicts: 641000 | #Constraints: 18677
131.54/131.94 c #Conflicts: 642000 | #Constraints: 19677
131.54/131.94 c #Conflicts: 643000 | #Constraints: 20677
131.54/131.94 c #Conflicts: 644000 | #Constraints: 21677
131.54/131.94 c #Conflicts: 645000 | #Constraints: 22677
131.54/131.94 c #Conflicts: 646000 | #Constraints: 23677
131.54/131.94 c #Conflicts: 647000 | #Constraints: 24677
131.54/131.94 c #Conflicts: 648000 | #Constraints: 25677
131.54/131.94 c #Conflicts: 649000 | #Constraints: 26677
131.54/131.94 c #Conflicts: 650000 | #Constraints: 27677
131.54/131.94 c #Conflicts: 651000 | #Constraints: 28677
131.54/131.94 c #Conflicts: 652000 | #Constraints: 29677
131.54/131.94 c #Conflicts: 653000 | #Constraints: 30677
131.54/131.94 c #Conflicts: 654000 | #Constraints: 31677
131.54/131.94 c #Conflicts: 655000 | #Constraints: 32677
131.54/131.94 c INPROCESSING
131.54/131.94 c GARBAGE COLLECT
131.54/131.94 c #Conflicts: 656000 | #Constraints: 17675
131.54/131.94 c #Conflicts: 657000 | #Constraints: 18675
131.54/131.94 c #Conflicts: 658000 | #Constraints: 19675
131.54/131.94 c #Conflicts: 659000 | #Constraints: 20675
131.54/131.94 c #Conflicts: 660000 | #Constraints: 21675
131.54/131.94 c #Conflicts: 661000 | #Constraints: 22675
131.54/131.94 c #Conflicts: 662000 | #Constraints: 23675
131.54/131.94 c #Conflicts: 663000 | #Constraints: 24675
131.54/131.94 c #Conflicts: 664000 | #Constraints: 25675
131.54/131.94 c #Conflicts: 665000 | #Constraints: 26675
131.54/131.94 c #Conflicts: 666000 | #Constraints: 27675
131.54/131.94 c #Conflicts: 667000 | #Constraints: 28675
131.54/131.94 c #Conflicts: 668000 | #Constraints: 29675
131.54/131.94 c #Conflicts: 669000 | #Constraints: 30675
131.54/131.94 c #Conflicts: 670000 | #Constraints: 31675
131.54/131.94 c #Conflicts: 671000 | #Constraints: 32675
131.54/131.94 c INPROCESSING
131.54/131.94 c GARBAGE COLLECT
131.54/131.94 c #Conflicts: 672000 | #Constraints: 17478
131.54/131.94 c #Conflicts: 673000 | #Constraints: 18478
131.54/131.94 c #Conflicts: 674000 | #Constraints: 19478
131.54/131.94 c #Conflicts: 675000 | #Constraints: 20478
131.54/131.94 c #Conflicts: 676000 | #Constraints: 21478
131.54/131.94 c #Conflicts: 677000 | #Constraints: 22478
131.54/131.94 c #Conflicts: 678000 | #Constraints: 23478
131.54/131.94 c #Conflicts: 679000 | #Constraints: 24478
131.54/131.94 c #Conflicts: 680000 | #Constraints: 25478
131.54/131.94 c #Conflicts: 681000 | #Constraints: 26478
131.54/131.94 c #Conflicts: 682000 | #Constraints: 27478
131.54/131.94 c #Conflicts: 683000 | #Constraints: 28478
131.54/131.94 c #Conflicts: 684000 | #Constraints: 29478
131.54/131.94 c #Conflicts: 685000 | #Constraints: 30478
131.54/131.94 c #Conflicts: 686000 | #Constraints: 31478
131.54/131.94 c #Conflicts: 687000 | #Constraints: 32478
131.54/131.94 c #Conflicts: 688000 | #Constraints: 33478
131.54/131.94 c INPROCESSING
131.54/131.94 c GARBAGE COLLECT
131.54/131.94 c #Conflicts: 689000 | #Constraints: 18077
131.54/131.94 c #Conflicts: 690000 | #Constraints: 19077
131.54/131.94 c #Conflicts: 691000 | #Constraints: 20077
131.54/131.94 c #Conflicts: 692000 | #Constraints: 21077
131.54/131.94 c #Conflicts: 693000 | #Constraints: 22077
131.54/131.94 c #Conflicts: 694000 | #Constraints: 23077
131.54/131.94 c #Conflicts: 695000 | #Constraints: 24077
131.54/131.94 c #Conflicts: 696000 | #Constraints: 25077
131.54/131.94 c #Conflicts: 697000 | #Constraints: 26077
131.54/131.94 c #Conflicts: 698000 | #Constraints: 27077
131.54/131.94 c #Conflicts: 699000 | #Constraints: 28077
131.54/131.94 c #Conflicts: 700000 | #Constraints: 29077
131.54/131.94 c #Conflicts: 701000 | #Constraints: 30077
131.54/131.94 c #Conflicts: 702000 | #Constraints: 31077
137.83/138.26 c #Conflicts: 703000 | #Constraints: 32077
137.83/138.26 c #Conflicts: 704000 | #Constraints: 33077
137.83/138.26 c #Conflicts: 705000 | #Constraints: 34077
137.83/138.26 c INPROCESSING
137.83/138.26 c GARBAGE COLLECT
137.83/138.26 c #Conflicts: 706000 | #Constraints: 18477
137.83/138.26 c #Conflicts: 707000 | #Constraints: 19477
137.83/138.26 c #Conflicts: 708000 | #Constraints: 20477
137.83/138.26 c #Conflicts: 709000 | #Constraints: 21477
137.83/138.26 c #Conflicts: 710000 | #Constraints: 22477
137.83/138.26 c #Conflicts: 711000 | #Constraints: 23477
137.83/138.26 c #Conflicts: 712000 | #Constraints: 24477
137.83/138.26 c #Conflicts: 713000 | #Constraints: 25477
137.83/138.26 c #Conflicts: 714000 | #Constraints: 26477
137.83/138.26 c #Conflicts: 715000 | #Constraints: 27477
137.83/138.26 c #Conflicts: 716000 | #Constraints: 28477
137.83/138.26 c #Conflicts: 717000 | #Constraints: 29477
137.83/138.26 c #Conflicts: 718000 | #Constraints: 30477
137.83/138.26 c #Conflicts: 719000 | #Constraints: 31477
137.83/138.26 c #Conflicts: 720000 | #Constraints: 32477
137.83/138.26 c #Conflicts: 721000 | #Constraints: 33477
137.83/138.26 c #Conflicts: 722000 | #Constraints: 34477
137.83/138.26 c INPROCESSING
137.83/138.26 c GARBAGE COLLECT
137.83/138.26 c #Conflicts: 723000 | #Constraints: 18681
137.83/138.26 c #Conflicts: 724000 | #Constraints: 19681
137.83/138.26 c #Conflicts: 725000 | #Constraints: 20681
137.83/138.26 c #Conflicts: 726000 | #Constraints: 21681
137.83/138.26 c #Conflicts: 727000 | #Constraints: 22681
137.83/138.26 c #Conflicts: 728000 | #Constraints: 23681
137.83/138.26 c #Conflicts: 729000 | #Constraints: 24681
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.334
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.338
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.338
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.338
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.339
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.339
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.339
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.339
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.339
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.34
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.34
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.34
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.34
137.83/138.26 c GLOBAL bounds -161 >= -174 @ 135.341
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.343
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.343
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.345
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.345
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.347
137.83/138.27 c GLOBAL bounds -161 >= -174 @ 135.347
137.83/138.28 c GLOBAL bounds -161 >= -174 @ 135.349
137.83/138.28 c GLOBAL bounds -161 >= -174 @ 135.349
137.92/138.31 c GLOBAL bounds -161 >= -174 @ 135.386
137.92/138.32 c GLOBAL bounds -161 >= -174 @ 135.386
138.02/138.41 c #Conflicts: 730000 | #Constraints: 25698
138.02/138.41 c GLOBAL bounds -161 >= -174 @ 135.478
138.02/138.41 c GLOBAL bounds -161 >= -174 @ 135.478
138.02/138.41 c GLOBAL bounds -161 >= -174 @ 135.482
138.02/138.42 c GLOBAL bounds -161 >= -174 @ 135.482
138.02/138.44 c GLOBAL bounds -161 >= -174 @ 135.501
138.02/138.44 c GLOBAL bounds -161 >= -174 @ 135.501
138.02/138.44 c GLOBAL bounds -161 >= -174 @ 135.503
138.02/138.44 c GLOBAL bounds -161 >= -174 @ 135.503
138.32/138.79 c #Conflicts: 731000 | #Constraints: 26702
138.32/138.79 c #Conflicts: 732000 | #Constraints: 27702
138.32/138.79 c GLOBAL bounds -161 >= -174 @ 135.846
138.32/138.79 c GLOBAL bounds -161 >= -174 @ 135.848
138.43/138.81 c GLOBAL bounds -161 >= -174 @ 135.863
138.43/138.81 c GLOBAL bounds -161 >= -174 @ 135.865
138.43/138.85 c GLOBAL bounds -161 >= -174 @ 135.906
142.02/142.45 c #Conflicts: 733000 | #Constraints: 28702
142.02/142.45 c #Conflicts: 734000 | #Constraints: 29702
142.02/142.45 c #Conflicts: 735000 | #Constraints: 30702
142.02/142.45 c #Conflicts: 736000 | #Constraints: 31702
142.02/142.45 c #Conflicts: 737000 | #Constraints: 32702
142.02/142.45 c #Conflicts: 738000 | #Constraints: 33702
142.02/142.45 c #Conflicts: 739000 | #Constraints: 34702
142.02/142.45 c INPROCESSING
142.02/142.45 c GARBAGE COLLECT
142.02/142.45 c #Conflicts: 740000 | #Constraints: 18699
142.02/142.45 c #Conflicts: 741000 | #Constraints: 19699
142.02/142.45 c #Conflicts: 742000 | #Constraints: 20699
142.02/142.45 c #Conflicts: 743000 | #Constraints: 21699
142.02/142.45 c #Conflicts: 744000 | #Constraints: 22699
142.02/142.45 c #Conflicts: 745000 | #Constraints: 23699
142.02/142.45 c #Conflicts: 746000 | #Constraints: 24699
142.02/142.45 c #Conflicts: 747000 | #Constraints: 25699
142.02/142.45 c #Conflicts: 748000 | #Constraints: 26699
142.02/142.45 c GLOBAL bounds -161 >= -174 @ 139.435
142.02/142.45 c GLOBAL bounds -161 >= -174 @ 139.437
142.21/142.69 c #Conflicts: 749000 | #Constraints: 27699
142.21/142.69 c GLOBAL bounds -161 >= -174 @ 139.672
142.31/142.70 c GLOBAL bounds -161 >= -174 @ 139.674
142.31/142.73 c GLOBAL bounds -161 >= -174 @ 139.709
163.67/164.16 c #Conflicts: 750000 | #Constraints: 28699
163.67/164.16 c #Conflicts: 751000 | #Constraints: 29699
163.67/164.16 c #Conflicts: 752000 | #Constraints: 30699
163.67/164.16 c #Conflicts: 753000 | #Constraints: 31699
163.67/164.16 c #Conflicts: 754000 | #Constraints: 32699
163.67/164.16 c #Conflicts: 755000 | #Constraints: 33699
163.67/164.16 c #Conflicts: 756000 | #Constraints: 34699
163.67/164.16 c INPROCESSING
163.67/164.16 c GARBAGE COLLECT
163.67/164.16 c #Conflicts: 757000 | #Constraints: 18498
163.67/164.16 c #Conflicts: 758000 | #Constraints: 19498
163.67/164.16 c #Conflicts: 759000 | #Constraints: 20498
163.67/164.16 c #Conflicts: 760000 | #Constraints: 21498
163.67/164.16 c #Conflicts: 761000 | #Constraints: 22498
163.67/164.16 c #Conflicts: 762000 | #Constraints: 23498
163.67/164.16 c #Conflicts: 763000 | #Constraints: 24498
163.67/164.16 c #Conflicts: 764000 | #Constraints: 25498
163.67/164.16 c #Conflicts: 765000 | #Constraints: 26498
163.67/164.16 c #Conflicts: 766000 | #Constraints: 27498
163.67/164.16 c #Conflicts: 767000 | #Constraints: 28498
163.67/164.16 c #Conflicts: 768000 | #Constraints: 29498
163.67/164.16 c #Conflicts: 769000 | #Constraints: 30498
163.67/164.16 c #Conflicts: 770000 | #Constraints: 31498
163.67/164.16 c #Conflicts: 771000 | #Constraints: 32498
163.67/164.16 c #Conflicts: 772000 | #Constraints: 33498
163.67/164.16 c #Conflicts: 773000 | #Constraints: 34498
163.67/164.16 c #Conflicts: 774000 | #Constraints: 35498
163.67/164.16 c INPROCESSING
163.67/164.16 c GARBAGE COLLECT
163.67/164.16 c #Conflicts: 775000 | #Constraints: 19096
163.67/164.16 c #Conflicts: 776000 | #Constraints: 20096
163.67/164.16 c #Conflicts: 777000 | #Constraints: 21096
163.67/164.16 c #Conflicts: 778000 | #Constraints: 22096
163.67/164.16 c #Conflicts: 779000 | #Constraints: 23096
163.67/164.16 c #Conflicts: 780000 | #Constraints: 24096
163.67/164.16 c #Conflicts: 781000 | #Constraints: 25096
163.67/164.16 c #Conflicts: 782000 | #Constraints: 26096
163.67/164.16 c #Conflicts: 783000 | #Constraints: 27096
163.67/164.16 c #Conflicts: 784000 | #Constraints: 28096
163.67/164.16 c #Conflicts: 785000 | #Constraints: 29096
163.67/164.16 c #Conflicts: 786000 | #Constraints: 30096
163.67/164.16 c #Conflicts: 787000 | #Constraints: 31096
163.67/164.16 c #Conflicts: 788000 | #Constraints: 32096
163.67/164.16 c #Conflicts: 789000 | #Constraints: 33096
163.67/164.16 c #Conflicts: 790000 | #Constraints: 34096
163.67/164.16 c #Conflicts: 791000 | #Constraints: 35096
163.67/164.16 c #Conflicts: 792000 | #Constraints: 36096
163.67/164.16 c INPROCESSING
163.67/164.16 c GARBAGE COLLECT
163.67/164.16 c #Conflicts: 793000 | #Constraints: 19495
163.67/164.16 c #Conflicts: 794000 | #Constraints: 20495
163.67/164.16 c #Conflicts: 795000 | #Constraints: 21495
163.67/164.16 c #Conflicts: 796000 | #Constraints: 22495
163.67/164.16 c #Conflicts: 797000 | #Constraints: 23495
163.67/164.16 c #Conflicts: 798000 | #Constraints: 24495
163.67/164.16 c #Conflicts: 799000 | #Constraints: 25495
163.67/164.16 c #Conflicts: 800000 | #Constraints: 26495
163.67/164.16 c #Conflicts: 801000 | #Constraints: 27495
163.67/164.16 c #Conflicts: 802000 | #Constraints: 28495
163.67/164.16 c #Conflicts: 803000 | #Constraints: 29495
163.67/164.16 c #Conflicts: 804000 | #Constraints: 30495
163.67/164.16 c #Conflicts: 805000 | #Constraints: 31495
163.67/164.16 c #Conflicts: 806000 | #Constraints: 32495
163.67/164.16 c #Conflicts: 807000 | #Constraints: 33495
163.67/164.16 c #Conflicts: 808000 | #Constraints: 34495
163.67/164.16 c #Conflicts: 809000 | #Constraints: 35495
163.67/164.16 c #Conflicts: 810000 | #Constraints: 36495
163.67/164.16 c INPROCESSING
163.67/164.16 c GARBAGE COLLECT
163.67/164.16 c #Conflicts: 811000 | #Constraints: 19698
163.67/164.16 c #Conflicts: 812000 | #Constraints: 20698
163.67/164.16 c #Conflicts: 813000 | #Constraints: 21698
163.67/164.16 c #Conflicts: 814000 | #Constraints: 22698
163.67/164.16 c #Conflicts: 815000 | #Constraints: 23698
163.67/164.16 c #Conflicts: 816000 | #Constraints: 24698
163.67/164.16 c #Conflicts: 817000 | #Constraints: 25698
163.67/164.16 c #Conflicts: 818000 | #Constraints: 26698
163.67/164.16 c #Conflicts: 819000 | #Constraints: 27698
163.67/164.16 c #Conflicts: 820000 | #Constraints: 28698
163.67/164.16 c #Conflicts: 821000 | #Constraints: 29698
163.67/164.16 c #Conflicts: 822000 | #Constraints: 30698
163.67/164.16 c #Conflicts: 823000 | #Constraints: 31698
163.67/164.16 c #Conflicts: 824000 | #Constraints: 32698
163.67/164.16 c #Conflicts: 825000 | #Constraints: 33698
163.67/164.16 c #Conflicts: 826000 | #Constraints: 34698
184.51/185.05 c #Conflicts: 827000 | #Constraints: 35698
184.51/185.05 c #Conflicts: 828000 | #Constraints: 36698
184.51/185.05 c INPROCESSING
184.51/185.05 c GARBAGE COLLECT
184.51/185.05 c #Conflicts: 829000 | #Constraints: 19700
184.51/185.05 c #Conflicts: 830000 | #Constraints: 20700
184.51/185.05 c #Conflicts: 831000 | #Constraints: 21700
184.51/185.05 c #Conflicts: 832000 | #Constraints: 22700
184.51/185.05 c #Conflicts: 833000 | #Constraints: 23700
184.51/185.05 c #Conflicts: 834000 | #Constraints: 24700
184.51/185.05 c #Conflicts: 835000 | #Constraints: 25700
184.51/185.05 c #Conflicts: 836000 | #Constraints: 26700
184.51/185.05 c #Conflicts: 837000 | #Constraints: 27700
184.51/185.05 c #Conflicts: 838000 | #Constraints: 28700
184.51/185.05 c #Conflicts: 839000 | #Constraints: 29700
184.51/185.05 c #Conflicts: 840000 | #Constraints: 30700
184.51/185.05 c #Conflicts: 841000 | #Constraints: 31700
184.51/185.05 c #Conflicts: 842000 | #Constraints: 32700
184.51/185.05 c #Conflicts: 843000 | #Constraints: 33700
184.51/185.05 c #Conflicts: 844000 | #Constraints: 34700
184.51/185.05 c #Conflicts: 845000 | #Constraints: 35700
184.51/185.05 c #Conflicts: 846000 | #Constraints: 36700
184.51/185.05 c INPROCESSING
184.51/185.05 c GARBAGE COLLECT
184.51/185.05 c #Conflicts: 847000 | #Constraints: 19502
184.51/185.05 c #Conflicts: 848000 | #Constraints: 20502
184.51/185.05 c #Conflicts: 849000 | #Constraints: 21502
184.51/185.05 c #Conflicts: 850000 | #Constraints: 22502
184.51/185.05 c #Conflicts: 851000 | #Constraints: 23502
184.51/185.05 c #Conflicts: 852000 | #Constraints: 24502
184.51/185.05 c #Conflicts: 853000 | #Constraints: 25502
184.51/185.05 c #Conflicts: 854000 | #Constraints: 26502
184.51/185.05 c #Conflicts: 855000 | #Constraints: 27502
184.51/185.05 c #Conflicts: 856000 | #Constraints: 28502
184.51/185.05 c #Conflicts: 857000 | #Constraints: 29502
184.51/185.05 c #Conflicts: 858000 | #Constraints: 30502
184.51/185.05 c #Conflicts: 859000 | #Constraints: 31502
184.51/185.05 c #Conflicts: 860000 | #Constraints: 32502
184.51/185.05 c #Conflicts: 861000 | #Constraints: 33502
184.51/185.05 c #Conflicts: 862000 | #Constraints: 34502
184.51/185.05 c #Conflicts: 863000 | #Constraints: 35502
184.51/185.05 c #Conflicts: 864000 | #Constraints: 36502
184.51/185.05 c #Conflicts: 865000 | #Constraints: 37502
184.51/185.05 c INPROCESSING
184.51/185.05 c GARBAGE COLLECT
184.51/185.05 c #Conflicts: 866000 | #Constraints: 20103
184.51/185.05 c #Conflicts: 867000 | #Constraints: 21103
184.51/185.05 c #Conflicts: 868000 | #Constraints: 22103
184.51/185.05 c #Conflicts: 869000 | #Constraints: 23103
184.51/185.05 c #Conflicts: 870000 | #Constraints: 24103
184.51/185.05 c #Conflicts: 871000 | #Constraints: 25103
184.51/185.05 c #Conflicts: 872000 | #Constraints: 26103
184.51/185.05 c #Conflicts: 873000 | #Constraints: 27103
184.51/185.05 c #Conflicts: 874000 | #Constraints: 28103
184.51/185.05 c #Conflicts: 875000 | #Constraints: 29103
184.51/185.05 c #Conflicts: 876000 | #Constraints: 30103
184.51/185.05 c #Conflicts: 877000 | #Constraints: 31103
184.51/185.05 c #Conflicts: 878000 | #Constraints: 32103
184.51/185.05 c #Conflicts: 879000 | #Constraints: 33103
184.51/185.05 c #Conflicts: 880000 | #Constraints: 34103
184.51/185.05 c #Conflicts: 881000 | #Constraints: 35103
184.51/185.05 c #Conflicts: 882000 | #Constraints: 36103
184.51/185.05 c #Conflicts: 883000 | #Constraints: 37103
184.51/185.05 c #Conflicts: 884000 | #Constraints: 38103
184.51/185.05 c INPROCESSING
184.51/185.05 c GARBAGE COLLECT
184.51/185.05 c #Conflicts: 885000 | #Constraints: 20498
184.51/185.05 c #Conflicts: 886000 | #Constraints: 21498
184.51/185.05 c #Conflicts: 887000 | #Constraints: 22498
184.51/185.05 c #Conflicts: 888000 | #Constraints: 23498
184.51/185.05 c #Conflicts: 889000 | #Constraints: 24498
184.51/185.05 c #Conflicts: 890000 | #Constraints: 25498
184.51/185.05 c #Conflicts: 891000 | #Constraints: 26498
184.51/185.05 c #Conflicts: 892000 | #Constraints: 27498
184.51/185.05 c #Conflicts: 893000 | #Constraints: 28498
184.51/185.05 c #Conflicts: 894000 | #Constraints: 29498
184.51/185.05 c #Conflicts: 895000 | #Constraints: 30498
184.51/185.05 c #Conflicts: 896000 | #Constraints: 31498
184.51/185.05 c #Conflicts: 897000 | #Constraints: 32498
184.51/185.05 c #Conflicts: 898000 | #Constraints: 33498
184.51/185.05 c #Conflicts: 899000 | #Constraints: 34498
184.51/185.05 c #Conflicts: 900000 | #Constraints: 35498
184.51/185.05 c #Conflicts: 901000 | #Constraints: 36498
184.51/185.05 c #Conflicts: 902000 | #Constraints: 37498
204.25/204.81 c #Conflicts: 903000 | #Constraints: 38498
204.25/204.81 c INPROCESSING
204.25/204.81 c GARBAGE COLLECT
204.25/204.81 c #Conflicts: 904000 | #Constraints: 20699
204.25/204.81 c #Conflicts: 905000 | #Constraints: 21699
204.25/204.81 c #Conflicts: 906000 | #Constraints: 22699
204.25/204.81 c #Conflicts: 907000 | #Constraints: 23699
204.25/204.81 c #Conflicts: 908000 | #Constraints: 24699
204.25/204.81 c #Conflicts: 909000 | #Constraints: 25699
204.25/204.81 c #Conflicts: 910000 | #Constraints: 26699
204.25/204.81 c #Conflicts: 911000 | #Constraints: 27699
204.25/204.81 c #Conflicts: 912000 | #Constraints: 28699
204.25/204.81 c #Conflicts: 913000 | #Constraints: 29699
204.25/204.81 c #Conflicts: 914000 | #Constraints: 30699
204.25/204.81 c #Conflicts: 915000 | #Constraints: 31699
204.25/204.81 c #Conflicts: 916000 | #Constraints: 32699
204.25/204.81 c #Conflicts: 917000 | #Constraints: 33699
204.25/204.81 c #Conflicts: 918000 | #Constraints: 34699
204.25/204.81 c #Conflicts: 919000 | #Constraints: 35699
204.25/204.81 c #Conflicts: 920000 | #Constraints: 36699
204.25/204.81 c #Conflicts: 921000 | #Constraints: 37699
204.25/204.81 c #Conflicts: 922000 | #Constraints: 38699
204.25/204.81 c INPROCESSING
204.25/204.81 c GARBAGE COLLECT
204.25/204.81 c #Conflicts: 923000 | #Constraints: 20701
204.25/204.81 c #Conflicts: 924000 | #Constraints: 21701
204.25/204.81 c #Conflicts: 925000 | #Constraints: 22701
204.25/204.81 c #Conflicts: 926000 | #Constraints: 23701
204.25/204.81 c #Conflicts: 927000 | #Constraints: 24701
204.25/204.81 c #Conflicts: 928000 | #Constraints: 25701
204.25/204.81 c #Conflicts: 929000 | #Constraints: 26701
204.25/204.81 c #Conflicts: 930000 | #Constraints: 27701
204.25/204.81 c #Conflicts: 931000 | #Constraints: 28701
204.25/204.81 c #Conflicts: 932000 | #Constraints: 29701
204.25/204.81 c #Conflicts: 933000 | #Constraints: 30701
204.25/204.81 c #Conflicts: 934000 | #Constraints: 31701
204.25/204.81 c #Conflicts: 935000 | #Constraints: 32701
204.25/204.81 c #Conflicts: 936000 | #Constraints: 33701
204.25/204.81 c #Conflicts: 937000 | #Constraints: 34701
204.25/204.81 c #Conflicts: 938000 | #Constraints: 35701
204.25/204.81 c #Conflicts: 939000 | #Constraints: 36701
204.25/204.81 c #Conflicts: 940000 | #Constraints: 37701
204.25/204.81 c #Conflicts: 941000 | #Constraints: 38701
204.25/204.81 c INPROCESSING
204.25/204.81 c GARBAGE COLLECT
204.25/204.81 c #Conflicts: 942000 | #Constraints: 20501
204.25/204.81 c #Conflicts: 943000 | #Constraints: 21501
204.25/204.81 c #Conflicts: 944000 | #Constraints: 22501
204.25/204.81 c #Conflicts: 945000 | #Constraints: 23501
204.25/204.81 c #Conflicts: 946000 | #Constraints: 24501
204.25/204.81 c #Conflicts: 947000 | #Constraints: 25501
204.25/204.81 c #Conflicts: 948000 | #Constraints: 26501
204.25/204.81 c #Conflicts: 949000 | #Constraints: 27501
204.25/204.81 c #Conflicts: 950000 | #Constraints: 28501
204.25/204.81 c #Conflicts: 951000 | #Constraints: 29501
204.25/204.81 c #Conflicts: 952000 | #Constraints: 30501
204.25/204.81 c #Conflicts: 953000 | #Constraints: 31501
204.25/204.81 c #Conflicts: 954000 | #Constraints: 32501
204.25/204.81 c #Conflicts: 955000 | #Constraints: 33501
204.25/204.81 c #Conflicts: 956000 | #Constraints: 34501
204.25/204.81 c #Conflicts: 957000 | #Constraints: 35501
204.25/204.81 c #Conflicts: 958000 | #Constraints: 36501
204.25/204.81 c #Conflicts: 959000 | #Constraints: 37501
204.25/204.81 c #Conflicts: 960000 | #Constraints: 38501
204.25/204.81 c #Conflicts: 961000 | #Constraints: 39501
204.25/204.81 c INPROCESSING
204.25/204.81 c GARBAGE COLLECT
204.25/204.81 c #Conflicts: 962000 | #Constraints: 21101
204.25/204.81 c #Conflicts: 963000 | #Constraints: 22101
204.25/204.81 c #Conflicts: 964000 | #Constraints: 23101
204.25/204.81 c #Conflicts: 965000 | #Constraints: 24101
204.25/204.81 c #Conflicts: 966000 | #Constraints: 25101
204.25/204.81 c #Conflicts: 967000 | #Constraints: 26101
204.25/204.81 c #Conflicts: 968000 | #Constraints: 27101
204.25/204.81 c #Conflicts: 969000 | #Constraints: 28101
204.25/204.81 c #Conflicts: 970000 | #Constraints: 29101
204.25/204.81 c #Conflicts: 971000 | #Constraints: 30101
204.25/204.81 c #Conflicts: 972000 | #Constraints: 31101
204.25/204.81 c #Conflicts: 973000 | #Constraints: 32101
204.25/204.81 c #Conflicts: 974000 | #Constraints: 33101
204.25/204.81 c #Conflicts: 975000 | #Constraints: 34101
204.25/204.81 c #Conflicts: 976000 | #Constraints: 35101
204.25/204.81 c #Conflicts: 977000 | #Constraints: 36101
204.25/204.81 c GLOBAL bounds -161 >= -171 @ 200.927
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.932
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.932
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.933
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.933
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.933
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.934
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.934
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.934
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.935
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.935
204.25/204.82 c GLOBAL bounds -161 >= -171 @ 200.935
204.25/204.83 c GLOBAL bounds -161 >= -171 @ 200.94
204.25/204.83 c GLOBAL bounds -161 >= -171 @ 200.941
204.25/204.83 c GLOBAL bounds -161 >= -171 @ 200.943
204.25/204.83 c GLOBAL bounds -161 >= -171 @ 200.943
204.25/204.84 c GLOBAL bounds -161 >= -171 @ 200.944
204.25/204.84 c GLOBAL bounds -166 >= -171 @ 200.945
204.25/204.84 c GLOBAL bounds -166 >= -171 @ 200.947
204.25/204.84 c GLOBAL bounds -166 >= -171 @ 200.948
204.25/204.84 c GLOBAL bounds -166 >= -171 @ 200.949
204.25/204.85 c GLOBAL bounds -166 >= -171 @ 200.949
204.25/204.85 c GLOBAL bounds -166 >= -171 @ 200.952
204.25/204.85 c GLOBAL bounds -167 >= -171 @ 200.952
204.25/204.86 c GLOBAL bounds -167 >= -171 @ 200.959
204.25/204.86 c GLOBAL bounds -167 >= -171 @ 200.959
207.34/207.99 c #Conflicts: 978000 | #Constraints: 37120
207.34/207.99 c #Conflicts: 979000 | #Constraints: 38120
207.34/207.99 c #Conflicts: 980000 | #Constraints: 39120
207.34/207.99 c #Conflicts: 981000 | #Constraints: 40120
207.34/207.99 c INPROCESSING
207.34/207.99 c GARBAGE COLLECT
207.34/207.99 c #Conflicts: 982000 | #Constraints: 21505
207.34/207.99 c #Conflicts: 983000 | #Constraints: 22505
207.34/207.99 c #Conflicts: 984000 | #Constraints: 23505
207.34/207.99 c #Conflicts: 985000 | #Constraints: 24505
207.34/207.99 c #Conflicts: 986000 | #Constraints: 25505
207.34/207.99 c #Conflicts: 987000 | #Constraints: 26505
207.34/207.99 c #Conflicts: 988000 | #Constraints: 27505
207.34/207.99 c #Conflicts: 989000 | #Constraints: 28505
207.34/207.99 c #Conflicts: 990000 | #Constraints: 29505
207.34/207.99 c #Conflicts: 991000 | #Constraints: 30505
207.34/207.99 c #Conflicts: 992000 | #Constraints: 31505
207.34/207.99 c #Conflicts: 993000 | #Constraints: 32505
207.34/207.99 c #Conflicts: 994000 | #Constraints: 33505
207.34/207.99 c #Conflicts: 995000 | #Constraints: 34505
207.34/207.99 c GLOBAL bounds -167 >= -171 @ 204.039
207.34/207.99 c GLOBAL bounds -167 >= -171 @ 204.04
208.54/209.19 c #Conflicts: 996000 | #Constraints: 35506
208.54/209.19 c #Conflicts: 997000 | #Constraints: 36506
208.54/209.19 c #Conflicts: 998000 | #Constraints: 37506
208.54/209.19 c #Conflicts: 999000 | #Constraints: 38506
208.54/209.19 c #Conflicts: 1000000 | #Constraints: 39506
208.54/209.19 c #Conflicts: 1001000 | #Constraints: 40506
208.54/209.19 c INPROCESSING
208.54/209.19 c GARBAGE COLLECT
208.54/209.19 c #Conflicts: 1002000 | #Constraints: 21705
208.54/209.19 c GLOBAL bounds -167 >= -171 @ 205.205
208.54/209.19 c GLOBAL bounds -167 >= -171 @ 205.205
208.54/209.20 c GLOBAL bounds -167 >= -171 @ 205.207
208.63/209.20 c GLOBAL bounds -167 >= -171 @ 205.207
222.20/222.80 c #Conflicts: 1003000 | #Constraints: 22707
222.20/222.80 c #Conflicts: 1004000 | #Constraints: 23707
222.20/222.80 c #Conflicts: 1005000 | #Constraints: 24707
222.20/222.80 c #Conflicts: 1006000 | #Constraints: 25707
222.20/222.80 c #Conflicts: 1007000 | #Constraints: 26707
222.20/222.80 c #Conflicts: 1008000 | #Constraints: 27707
222.20/222.80 c #Conflicts: 1009000 | #Constraints: 28707
222.20/222.80 c #Conflicts: 1010000 | #Constraints: 29707
222.20/222.80 c #Conflicts: 1011000 | #Constraints: 30707
222.20/222.80 c #Conflicts: 1012000 | #Constraints: 31707
222.20/222.80 c #Conflicts: 1013000 | #Constraints: 32707
222.20/222.80 c #Conflicts: 1014000 | #Constraints: 33707
222.20/222.80 c #Conflicts: 1015000 | #Constraints: 34707
222.20/222.80 c #Conflicts: 1016000 | #Constraints: 35707
222.20/222.80 c #Conflicts: 1017000 | #Constraints: 36707
222.20/222.80 c #Conflicts: 1018000 | #Constraints: 37707
222.20/222.80 c #Conflicts: 1019000 | #Constraints: 38707
222.20/222.80 c #Conflicts: 1020000 | #Constraints: 39707
222.20/222.80 c #Conflicts: 1021000 | #Constraints: 40707
222.20/222.80 c INPROCESSING
222.20/222.80 c GARBAGE COLLECT
222.20/222.80 c #Conflicts: 1022000 | #Constraints: 21709
222.20/222.80 c #Conflicts: 1023000 | #Constraints: 22709
222.20/222.80 c #Conflicts: 1024000 | #Constraints: 23709
222.20/222.80 c #Conflicts: 1025000 | #Constraints: 24709
222.20/222.80 c #Conflicts: 1026000 | #Constraints: 25709
222.20/222.80 c #Conflicts: 1027000 | #Constraints: 26709
222.20/222.80 c #Conflicts: 1028000 | #Constraints: 27709
222.20/222.80 c #Conflicts: 1029000 | #Constraints: 28709
222.20/222.80 c #Conflicts: 1030000 | #Constraints: 29709
222.20/222.80 c #Conflicts: 1031000 | #Constraints: 30709
222.20/222.80 c #Conflicts: 1032000 | #Constraints: 31709
222.20/222.80 c #Conflicts: 1033000 | #Constraints: 32709
222.20/222.80 c #Conflicts: 1034000 | #Constraints: 33709
222.20/222.80 c #Conflicts: 1035000 | #Constraints: 34709
222.20/222.80 c #Conflicts: 1036000 | #Constraints: 35709
222.20/222.80 c #Conflicts: 1037000 | #Constraints: 36709
222.20/222.80 c #Conflicts: 1038000 | #Constraints: 37709
222.20/222.80 c #Conflicts: 1039000 | #Constraints: 38709
222.20/222.80 c #Conflicts: 1040000 | #Constraints: 39709
222.20/222.80 c #Conflicts: 1041000 | #Constraints: 40709
222.20/222.80 c INPROCESSING
222.20/222.80 c GARBAGE COLLECT
222.20/222.80 c #Conflicts: 1042000 | #Constraints: 21508
222.20/222.80 c #Conflicts: 1043000 | #Constraints: 22508
222.20/222.80 c #Conflicts: 1044000 | #Constraints: 23508
222.20/222.80 c #Conflicts: 1045000 | #Constraints: 24508
222.20/222.80 c #Conflicts: 1046000 | #Constraints: 25508
222.20/222.80 c #Conflicts: 1047000 | #Constraints: 26508
222.20/222.80 c #Conflicts: 1048000 | #Constraints: 27508
222.20/222.80 c #Conflicts: 1049000 | #Constraints: 28508
222.20/222.80 c #Conflicts: 1050000 | #Constraints: 29508
222.20/222.80 c #Conflicts: 1051000 | #Constraints: 30508
222.20/222.80 c #Conflicts: 1052000 | #Constraints: 31508
222.20/222.80 c #Conflicts: 1053000 | #Constraints: 32508
222.20/222.80 c #Conflicts: 1054000 | #Constraints: 33508
222.20/222.80 c #Conflicts: 1055000 | #Constraints: 34508
222.20/222.80 c #Conflicts: 1056000 | #Constraints: 35508
222.20/222.80 c #Conflicts: 1057000 | #Constraints: 36508
222.20/222.80 c #Conflicts: 1058000 | #Constraints: 37508
222.20/222.80 c #Conflicts: 1059000 | #Constraints: 38508
222.20/222.80 c #Conflicts: 1060000 | #Constraints: 39508
222.20/222.80 c #Conflicts: 1061000 | #Constraints: 40508
222.20/222.80 c #Conflicts: 1062000 | #Constraints: 41508
222.20/222.80 c INPROCESSING
222.20/222.80 c GARBAGE COLLECT
222.20/222.80 c #Conflicts: 1063000 | #Constraints: 22109
222.20/222.80 c #Conflicts: 1064000 | #Constraints: 23109
222.20/222.80 c #Conflicts: 1065000 | #Constraints: 24109
222.20/222.80 c #Conflicts: 1066000 | #Constraints: 25109
222.20/222.80 c #Conflicts: 1067000 | #Constraints: 26109
222.20/222.80 c #Conflicts: 1068000 | #Constraints: 27109
222.20/222.80 c #Conflicts: 1069000 | #Constraints: 28109
222.20/222.80 c #Conflicts: 1070000 | #Constraints: 29109
222.20/222.80 c #Conflicts: 1071000 | #Constraints: 30109
222.20/222.80 c #Conflicts: 1072000 | #Constraints: 31109
222.20/222.80 c #Conflicts: 1073000 | #Constraints: 32109
222.20/222.80 c #Conflicts: 1074000 | #Constraints: 33109
222.20/222.80 c #Conflicts: 1075000 | #Constraints: 34109
222.20/222.80 c #Conflicts: 1076000 | #Constraints: 35109
222.20/222.80 c #Conflicts: 1077000 | #Constraints: 36109
222.20/222.80 c #Conflicts: 1078000 | #Constraints: 37109
222.20/222.80 c #Conflicts: 1079000 | #Constraints: 38109
236.27/236.94 c #Conflicts: 1080000 | #Constraints: 39109
236.27/236.94 c #Conflicts: 1081000 | #Constraints: 40109
236.27/236.94 c #Conflicts: 1082000 | #Constraints: 41109
236.27/236.94 c #Conflicts: 1083000 | #Constraints: 42109
236.27/236.94 c INPROCESSING
236.27/236.94 c GARBAGE COLLECT
236.27/236.94 c #Conflicts: 1084000 | #Constraints: 22504
236.27/236.94 c #Conflicts: 1085000 | #Constraints: 23504
236.27/236.94 c #Conflicts: 1086000 | #Constraints: 24504
236.27/236.94 c #Conflicts: 1087000 | #Constraints: 25504
236.27/236.94 c #Conflicts: 1088000 | #Constraints: 26504
236.27/236.94 c #Conflicts: 1089000 | #Constraints: 27504
236.27/236.94 c #Conflicts: 1090000 | #Constraints: 28504
236.27/236.94 c #Conflicts: 1091000 | #Constraints: 29504
236.27/236.94 c #Conflicts: 1092000 | #Constraints: 30504
236.27/236.94 c #Conflicts: 1093000 | #Constraints: 31504
236.27/236.94 c #Conflicts: 1094000 | #Constraints: 32504
236.27/236.94 c #Conflicts: 1095000 | #Constraints: 33504
236.27/236.94 c #Conflicts: 1096000 | #Constraints: 34504
236.27/236.94 c #Conflicts: 1097000 | #Constraints: 35504
236.27/236.94 c #Conflicts: 1098000 | #Constraints: 36504
236.27/236.94 c #Conflicts: 1099000 | #Constraints: 37504
236.27/236.94 c #Conflicts: 1100000 | #Constraints: 38504
236.27/236.94 c #Conflicts: 1101000 | #Constraints: 39504
236.27/236.94 c #Conflicts: 1102000 | #Constraints: 40504
236.27/236.94 c #Conflicts: 1103000 | #Constraints: 41504
236.27/236.94 c #Conflicts: 1104000 | #Constraints: 42504
236.27/236.94 c INPROCESSING
236.27/236.94 c GARBAGE COLLECT
236.27/236.94 c #Conflicts: 1105000 | #Constraints: 22706
236.27/236.94 c #Conflicts: 1106000 | #Constraints: 23706
236.27/236.94 c #Conflicts: 1107000 | #Constraints: 24706
236.27/236.94 c #Conflicts: 1108000 | #Constraints: 25706
236.27/236.94 c #Conflicts: 1109000 | #Constraints: 26706
236.27/236.94 c #Conflicts: 1110000 | #Constraints: 27706
236.27/236.94 c #Conflicts: 1111000 | #Constraints: 28706
236.27/236.94 c #Conflicts: 1112000 | #Constraints: 29706
236.27/236.94 c #Conflicts: 1113000 | #Constraints: 30706
236.27/236.94 c #Conflicts: 1114000 | #Constraints: 31706
236.27/236.94 c #Conflicts: 1115000 | #Constraints: 32706
236.27/236.94 c #Conflicts: 1116000 | #Constraints: 33706
236.27/236.94 c #Conflicts: 1117000 | #Constraints: 34706
236.27/236.94 c #Conflicts: 1118000 | #Constraints: 35706
236.27/236.94 c #Conflicts: 1119000 | #Constraints: 36706
236.27/236.94 c #Conflicts: 1120000 | #Constraints: 37706
236.27/236.94 c #Conflicts: 1121000 | #Constraints: 38706
236.27/236.94 c #Conflicts: 1122000 | #Constraints: 39706
236.27/236.94 c #Conflicts: 1123000 | #Constraints: 40706
236.27/236.94 c #Conflicts: 1124000 | #Constraints: 41706
236.27/236.94 c #Conflicts: 1125000 | #Constraints: 42706
236.27/236.94 c INPROCESSING
236.27/236.94 c GARBAGE COLLECT
236.27/236.94 c #Conflicts: 1126000 | #Constraints: 22704
236.27/236.94 c #Conflicts: 1127000 | #Constraints: 23704
236.27/236.94 c #Conflicts: 1128000 | #Constraints: 24704
236.27/236.94 c #Conflicts: 1129000 | #Constraints: 25704
236.27/236.94 c #Conflicts: 1130000 | #Constraints: 26704
236.27/236.94 c #Conflicts: 1131000 | #Constraints: 27704
236.27/236.94 c #Conflicts: 1132000 | #Constraints: 28704
236.27/236.94 c #Conflicts: 1133000 | #Constraints: 29704
236.27/236.94 c #Conflicts: 1134000 | #Constraints: 30704
236.27/236.94 c #Conflicts: 1135000 | #Constraints: 31704
236.27/236.94 c #Conflicts: 1136000 | #Constraints: 32704
236.27/236.94 c #Conflicts: 1137000 | #Constraints: 33704
236.27/236.94 c #Conflicts: 1138000 | #Constraints: 34704
236.27/236.94 c #Conflicts: 1139000 | #Constraints: 35704
236.27/236.94 c #Conflicts: 1140000 | #Constraints: 36704
236.27/236.94 c #Conflicts: 1141000 | #Constraints: 37704
236.27/236.94 c #Conflicts: 1142000 | #Constraints: 38704
236.27/236.94 c #Conflicts: 1143000 | #Constraints: 39704
236.27/236.94 c #Conflicts: 1144000 | #Constraints: 40704
236.27/236.94 c #Conflicts: 1145000 | #Constraints: 41704
236.27/236.94 c #Conflicts: 1146000 | #Constraints: 42704
236.27/236.94 c INPROCESSING
236.27/236.94 c GARBAGE COLLECT
236.27/236.94 c #Conflicts: 1147000 | #Constraints: 20877
236.27/236.94 c #Conflicts: 1148000 | #Constraints: 21877
236.27/236.94 c #Conflicts: 1149000 | #Constraints: 22877
236.27/236.94 c #Conflicts: 1150000 | #Constraints: 23877
236.27/236.94 c #Conflicts: 1151000 | #Constraints: 24877
236.27/236.94 c #Conflicts: 1152000 | #Constraints: 25877
236.27/236.94 c #Conflicts: 1153000 | #Constraints: 26877
236.27/236.94 c #Conflicts: 1154000 | #Constraints: 27877
236.27/236.94 c #Conflicts: 1155000 | #Constraints: 28877
236.27/236.94 c #Conflicts: 1156000 | #Constraints: 29877
250.45/251.16 c #Conflicts: 1157000 | #Constraints: 30877
250.45/251.16 c #Conflicts: 1158000 | #Constraints: 31877
250.45/251.16 c #Conflicts: 1159000 | #Constraints: 32877
250.45/251.16 c #Conflicts: 1160000 | #Constraints: 33877
250.45/251.16 c #Conflicts: 1161000 | #Constraints: 34877
250.45/251.16 c #Conflicts: 1162000 | #Constraints: 35877
250.45/251.16 c #Conflicts: 1163000 | #Constraints: 36877
250.45/251.16 c #Conflicts: 1164000 | #Constraints: 37877
250.45/251.16 c #Conflicts: 1165000 | #Constraints: 38877
250.45/251.16 c #Conflicts: 1166000 | #Constraints: 39877
250.45/251.16 c #Conflicts: 1167000 | #Constraints: 40877
250.45/251.16 c #Conflicts: 1168000 | #Constraints: 41877
250.45/251.16 c INPROCESSING
250.45/251.16 c GARBAGE COLLECT
250.45/251.16 c #Conflicts: 1169000 | #Constraints: 22290
250.45/251.16 c #Conflicts: 1170000 | #Constraints: 23290
250.45/251.16 c #Conflicts: 1171000 | #Constraints: 24290
250.45/251.16 c #Conflicts: 1172000 | #Constraints: 25290
250.45/251.16 c #Conflicts: 1173000 | #Constraints: 26290
250.45/251.16 c #Conflicts: 1174000 | #Constraints: 27290
250.45/251.16 c #Conflicts: 1175000 | #Constraints: 28290
250.45/251.16 c #Conflicts: 1176000 | #Constraints: 29290
250.45/251.16 c #Conflicts: 1177000 | #Constraints: 30290
250.45/251.16 c #Conflicts: 1178000 | #Constraints: 31290
250.45/251.16 c #Conflicts: 1179000 | #Constraints: 32290
250.45/251.16 c #Conflicts: 1180000 | #Constraints: 33290
250.45/251.16 c #Conflicts: 1181000 | #Constraints: 34290
250.45/251.16 c #Conflicts: 1182000 | #Constraints: 35290
250.45/251.16 c #Conflicts: 1183000 | #Constraints: 36290
250.45/251.16 c #Conflicts: 1184000 | #Constraints: 37290
250.45/251.16 c #Conflicts: 1185000 | #Constraints: 38290
250.45/251.16 c #Conflicts: 1186000 | #Constraints: 39290
250.45/251.16 c #Conflicts: 1187000 | #Constraints: 40290
250.45/251.16 c #Conflicts: 1188000 | #Constraints: 41290
250.45/251.16 c #Conflicts: 1189000 | #Constraints: 42290
250.45/251.16 c #Conflicts: 1190000 | #Constraints: 43290
250.45/251.16 c INPROCESSING
250.45/251.16 c GARBAGE COLLECT
250.45/251.16 c #Conflicts: 1191000 | #Constraints: 23097
250.45/251.16 c #Conflicts: 1192000 | #Constraints: 24097
250.45/251.16 c #Conflicts: 1193000 | #Constraints: 25097
250.45/251.16 c #Conflicts: 1194000 | #Constraints: 26097
250.45/251.16 c #Conflicts: 1195000 | #Constraints: 27097
250.45/251.16 c #Conflicts: 1196000 | #Constraints: 28097
250.45/251.16 c #Conflicts: 1197000 | #Constraints: 29097
250.45/251.16 c #Conflicts: 1198000 | #Constraints: 30097
250.45/251.16 c #Conflicts: 1199000 | #Constraints: 31097
250.45/251.16 c #Conflicts: 1200000 | #Constraints: 32097
250.45/251.16 c #Conflicts: 1201000 | #Constraints: 33097
250.45/251.16 c #Conflicts: 1202000 | #Constraints: 34097
250.45/251.16 c #Conflicts: 1203000 | #Constraints: 35097
250.45/251.16 c #Conflicts: 1204000 | #Constraints: 36097
250.45/251.16 c #Conflicts: 1205000 | #Constraints: 37097
250.45/251.16 c #Conflicts: 1206000 | #Constraints: 38097
250.45/251.16 c #Conflicts: 1207000 | #Constraints: 39097
250.45/251.16 c #Conflicts: 1208000 | #Constraints: 40097
250.45/251.16 c #Conflicts: 1209000 | #Constraints: 41097
250.45/251.16 c #Conflicts: 1210000 | #Constraints: 42097
250.45/251.16 c #Conflicts: 1211000 | #Constraints: 43097
250.45/251.16 c #Conflicts: 1212000 | #Constraints: 44097
250.45/251.16 c INPROCESSING
250.45/251.16 c GARBAGE COLLECT
250.45/251.16 c #Conflicts: 1213000 | #Constraints: 23501
250.45/251.16 c #Conflicts: 1214000 | #Constraints: 24501
250.45/251.16 c #Conflicts: 1215000 | #Constraints: 25501
250.45/251.16 c #Conflicts: 1216000 | #Constraints: 26501
250.45/251.16 c #Conflicts: 1217000 | #Constraints: 27501
250.45/251.16 c #Conflicts: 1218000 | #Constraints: 28501
250.45/251.16 c #Conflicts: 1219000 | #Constraints: 29501
250.45/251.16 c #Conflicts: 1220000 | #Constraints: 30501
250.45/251.16 c #Conflicts: 1221000 | #Constraints: 31501
250.45/251.16 c #Conflicts: 1222000 | #Constraints: 32501
250.45/251.16 c #Conflicts: 1223000 | #Constraints: 33501
250.45/251.16 c #Conflicts: 1224000 | #Constraints: 34501
250.45/251.16 c #Conflicts: 1225000 | #Constraints: 35501
250.45/251.16 c #Conflicts: 1226000 | #Constraints: 36501
250.45/251.16 c #Conflicts: 1227000 | #Constraints: 37501
250.45/251.16 c #Conflicts: 1228000 | #Constraints: 38501
250.45/251.16 c #Conflicts: 1229000 | #Constraints: 39501
250.45/251.16 c #Conflicts: 1230000 | #Constraints: 40501
250.45/251.16 c #Conflicts: 1231000 | #Constraints: 41501
250.45/251.16 c #Conflicts: 1232000 | #Constraints: 42501
255.63/256.39 c #Conflicts: 1233000 | #Constraints: 43501
255.63/256.39 c #Conflicts: 1234000 | #Constraints: 44501
255.63/256.39 c INPROCESSING
255.63/256.39 c GARBAGE COLLECT
255.63/256.39 c #Conflicts: 1235000 | #Constraints: 21762
255.63/256.39 c #Conflicts: 1236000 | #Constraints: 22762
255.63/256.39 c #Conflicts: 1237000 | #Constraints: 23762
255.63/256.39 c #Conflicts: 1238000 | #Constraints: 24762
255.63/256.39 c #Conflicts: 1239000 | #Constraints: 25762
255.63/256.39 c #Conflicts: 1240000 | #Constraints: 26762
255.63/256.39 c #Conflicts: 1241000 | #Constraints: 27762
255.63/256.39 c #Conflicts: 1242000 | #Constraints: 28762
255.63/256.39 c #Conflicts: 1243000 | #Constraints: 29762
255.63/256.39 c #Conflicts: 1244000 | #Constraints: 30762
255.63/256.39 c #Conflicts: 1245000 | #Constraints: 31762
255.63/256.39 c #Conflicts: 1246000 | #Constraints: 32762
255.63/256.39 c #Conflicts: 1247000 | #Constraints: 33762
255.63/256.39 c #Conflicts: 1248000 | #Constraints: 34762
255.63/256.39 c #Conflicts: 1249000 | #Constraints: 35762
255.63/256.39 c #Conflicts: 1250000 | #Constraints: 36762
255.63/256.39 c #Conflicts: 1251000 | #Constraints: 37762
255.63/256.39 c #Conflicts: 1252000 | #Constraints: 38762
255.63/256.39 c #Conflicts: 1253000 | #Constraints: 39762
255.63/256.39 c #Conflicts: 1254000 | #Constraints: 40762
255.63/256.39 c #Conflicts: 1255000 | #Constraints: 41762
255.63/256.39 c #Conflicts: 1256000 | #Constraints: 42762
255.63/256.39 c INPROCESSING
255.63/256.39 c GARBAGE COLLECT
255.63/256.39 c #Conflicts: 1257000 | #Constraints: 15618
255.63/256.39 c GLOBAL bounds -167 >= -167 @ 251.593
255.63/256.39 c cpu time 251.593 s
255.63/256.39 c deterministic time 2503835 2.50e+06
255.63/256.39 c optimization time 250.031 s
255.63/256.39 c total solve time 1.38988 s
255.63/256.39 c core-guided solve time 0 s
255.63/256.39 c propagation time 1.34206 s
255.63/256.39 c conflict analysis time 0.010975 s
255.63/256.39 c propagations 275348
255.63/256.39 c resolve steps 0
255.63/256.39 c decisions 20613
255.63/256.39 c conflicts 172
255.63/256.39 c restarts 2
255.63/256.39 c inprocessing phases 0
255.63/256.39 c garbage collections 0 ,( -nan )
255.63/256.39 c input clauses 62400 ,( 99.83 )
255.63/256.39 c input cardinalities 0 ,( 0.00 )
255.63/256.39 c input general constraints 108 ,( 0.17 )
255.63/256.39 c input average constraint length 3.22
255.63/256.39 c input average constraint degree 1.39
255.63/256.39 c learned clauses 236 ,( 100.00 )
255.63/256.39 c learned cardinalities 0 ,( 0.00 )
255.63/256.39 c learned general constraints 0 ,( 0.00 )
255.63/256.39 c learned average constraint length 5.10
255.63/256.39 c learned average constraint degree 1.00
255.63/256.39 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
255.63/256.39 c counting CF 32, 64, 128, Arb: 109 , 0 , 0 , 0
255.63/256.39 c watched constraints 0 ,( 0.00 )
255.63/256.39 c counting constraints 108 ,( 100.00 )
255.63/256.39 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 380760 , 0 , 406798 ,( 0 , 406798 )
255.63/256.39 c gcd simplifications 0
255.63/256.39 c detected cardinalities 0
255.63/256.39 c weakened non-implied lits 0
255.63/256.39 c weakened non-implying lits 0
255.63/256.39 c original variables 2025
255.63/256.39 c clausal propagations 133345
255.63/256.39 c cardinality propagations 0
255.63/256.39 c watched propagations 0
255.63/256.39 c counting propagations 16689
255.63/256.39 c watch lookups 1417387
255.63/256.39 c watch backjump lookups 0
255.63/256.39 c watch checks 337246
255.63/256.39 c propagation checks 150446
255.63/256.39 c constraint additions 3661
255.63/256.39 c trail pops 296133
255.63/256.39 c formula constraints 61821
255.63/256.39 c learned constraints 236
255.63/256.39 c bound constraints 0
255.63/256.39 c core-guided constraints 0
255.63/256.39 c encountered formula constraints 90
255.63/256.39 c encountered learned constraints 21
255.63/256.39 c encountered bound constraints 0
255.63/256.39 c encountered core-guided constraints 0
255.63/256.39 c LP total time 1.33294 s
255.63/256.39 c LP solve time 1.31 s
255.63/256.39 c LP constraints added 61821
255.63/256.39 c LP constraints removed 0
255.63/256.39 c LP pivots internal 2000
255.63/256.39 c LP pivots root 1000
255.63/256.39 c LP calls 2
255.63/256.39 c LP optimalities 0
255.63/256.39 c LP no pivot count 0
255.63/256.39 c LP infeasibilities 0
255.63/256.39 c LP valid Farkas constraints 0
255.63/256.39 c LP learned Farkas constraints 0
255.63/256.39 c LP basis resets 0
255.63/256.39 c LP cycling count 0
255.63/256.39 c LP singular count 0
255.63/256.39 c LP no primal count 0
255.63/256.39 c LP no farkas count 0
255.63/256.39 c LP other issue count 0
255.63/256.39 c LP Gomory cuts 0
255.63/256.39 c LP learned cuts 0
255.63/256.39 c LP deleted cuts 0
255.63/256.39 c LP encountered Gomory constraints 0
255.63/256.39 c LP encountered Farkas constraints 0
255.63/256.39 c LP encountered learned Farkas constraints 0
255.63/256.39 c CG auxiliary variables introduced 193
255.63/256.39 c CG solutions found 5
255.63/256.39 c CG cores constructed 389
255.63/256.39 c CG core cardinality constraints returned 0
255.63/256.39 c CG unit cores 0
255.63/256.39 c CG single cores 0
255.63/256.39 c CG blocks removed during cardinality reduction 0
255.63/256.39 c CG first core best 0
255.63/256.39 c CG decision core best 0
255.63/256.39 c CG core reduction tie 0
255.63/256.39 c CG core degree average 0.00
255.63/256.39 c CG core slack average 0.00
255.63/256.39 c CG core upper bound improvements 0
255.63/256.39 c STR number of successful calls 0
255.63/256.39 c STR number of unsuccessful calls 0
255.63/256.39 c STR number of inconclusive calls 0
255.63/256.39 c STR number of successful attempts 0
255.63/256.39 c STR number of unsuccessful attempts 0
255.63/256.39 c STR number of inconclusive attempts 0
255.63/256.39 c STR average degree increase per successful call inf
255.63/256.39 c STR average degree increase per successful attempt inf
255.63/256.39 c STR total number of conflicts for successful attempts 0
255.63/256.39 c STR total number of conflicts for unsuccessful attempts 0
255.63/256.39 c STR total number of conflicts for inconclusive attempts 0
255.63/256.39 c STR average number of conflicts per successful attempt inf
255.63/256.39 c STR average number of conflicts per unsuccessful attempt inf
255.63/256.39 c STR average number of conflicts per inconclusive attempt inf
255.63/256.39 c AVG.sumWPerc 82.83
255.63/256.39 c bigint constraints 0
255.63/256.39 o -167
255.63/256.39 s OPTIMUM FOUND
255.63/256.39 v x1 x2 x3 x4 x5 -x6 x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 -x20 -x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 -x38 x39 x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 x96 -x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 x152 x153 -x154 x155 -x156 x157 x158 x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 -x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 x229 x230 x231 -x232 -x233 x234 -x235 x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 x248 x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 x260 x261 x262 -x263 x264 x265 x266 x267 x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 x321 -x322 -x323 x324 x325 x326 x327 -x328 x329 -x330 -x331 -x332 -x333 x334 x335 -x336 x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 x415 x416 -x417 x418 -x419 x420 -x421 -x422 x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 x432 -x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 -x442 x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 x465 -x466 x467 -x468 x469 -x470 x471 -x472 x473 -x474 -x475 x476 -x477 -x478 x479 -x480 x481 x482 -x483 -x484 -x485 x486 x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 x549 x550 -x551 -x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 -x569 -x570 x571 -x572 x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 -x584 x585 x586 -x587 x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 x603 -x604 x605 -x606 -x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 x630 -x631 x632 -x633 -x634 x635 -x636 x637 -x638 x639 -x640 x641 -x642 x643 -x644 -x645 -x646 x647 -x648 -x649 x650 -x651 -x652 x653 -x654 x655 -x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 x687 x688 -x689 x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 x760 x761 -x762 x763 -x764 -x765 x766 -x767 -x768 x769 x770 -x771 x772 -x773 x774 -x775 x776 -x777 -x778 x779 -x780 x781 -x782 x783 -x784 x785 -x786 x787 -x788 -x789 x790 x791 -x792 -x793 -x794 -x795 -x796 x797 x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 x817 -x818 x819 -x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 x830 -x831 x832 -x833 -x834 -x835 x836 x837 -x838 x839 -x840 x841 -x842 -x843 -x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 x858 x859 -x860 x861 -x862 x863 -x864 -x865 -x866 x867 -x868 x869 x870 -x871 -x872 x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 x899 -x900 -x901 x902 -x903 x904 -x905 x906 x907 x908 -x909 -x910 -x911 x912 -x913 x914 x915 -x916 -x917 x918 -x919 x920 x921 -x922 -x923 x924 -x925 x926 x927 -x928 x929 -x930 -x931 -x932 x933 -x934 x935 x936 x937 -x938 x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 x948 -x949 x950 -x951 -x952 x953 x954 -x955 -x956 x957 x958 -x959 -x960 x961 -x962 x963 -x964 x965 -x966 x967 x968 -x969 -x970 x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 -x1055 x1056 -x1057 x1058 -x1059 -x1060 x1061 x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 x1069 x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 x1093 x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 x1115 -x1116 x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 -x1265 x1266 -x1267 x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 -x1332 x1333 x1334 -x1335 x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 -x1365 -x1366 x1367 x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 x1416 -x1417 x1418 -x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 -x1433 x1434 -x1435 x1436 -x1437 x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 x1503 x1504 x1505 -x1506 x1507 -x1508 x1509 x1510 -x1511 -x1512 x1513 x1514 -x1515 -x1516 x1517 x1518 x1519 -x1520 x1521 -x1522 x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 x1543 -x1544 -x1545 x1546 x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 x1587 -x1588 x1589 -x1590 x1591 -x1592 x1593 -x1594 x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 x1611 -x1612 x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 x1622 x1623 -x1624 x1625 -x1626 x1627 -x1628 x1629 -x1630 x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 x1649 -x1650 x1651 -x1652 x1653 -x1654 x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 x1695 x1696 -x1697 x1698 -x1699 x1700 -x1701 x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 -x1720 x1721 x1722 -x1723 x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 x1761 x1762 -x1763 x1764 -x1765 -x1766 x1767 -x1768 x1769 -x1770 x1771 -x1772 x1773 -x1774 -x1775 -x1776 x1777 x1778 -x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 x1832 -x1833 -x1834 x1835 x1836 -x1837 x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 x1887 -x1888 -x1889 x1890 -x1891 x1892 x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 x1908 -x1909 x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937 x1938 x1939 -x1940 -x1941 x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 x1986 -x1987 -x1988 x1989 -x1990 x1991 -x1992 x1993 x1994 -x1995 x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 x2008 -x2009 -x2010 x2011 x2012 -x2013 x2014 -x2015 x2016 x2017 -x2018 -x2019 x2020 x2021 -x2022 -x2023 -x2024 x2025
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (46424 MiB free)
memory of node 1: 64465 MiB (55106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499580-1751469842/watcher-4499580-1751469842 -o /tmp/evaluation-result-4499580-1751469842/solver-4499580-1751469842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4499580-1751469842.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66318, runsolver pid=66315
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.15 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103968312/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=58012 memory=12900 CPUtime=0.08 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 1037 0 0 0 6 2 0 0 20 0 1 0 62660782 59404288 3225 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 14503 3225 1952 1147 0 1930 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62204 KiB
Current children cumulated memory: 15844 KiB
[startup+0.205697 s]*
/proc/loadavg: 4.15 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103968312/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=79636 memory=34296 CPUtime=0.19 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 4626 0 0 0 13 6 0 0 20 0 1 0 62660782 81547264 8574 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 19909 8574 2272 1147 0 7336 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83828 KiB
Current children cumulated memory: 37240 KiB
[startup+0.305652 s]*
/proc/loadavg: 4.15 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103960120/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=105584 memory=56588 CPUtime=0.28 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 6171 0 0 0 19 9 0 0 20 0 1 0 62660782 108118016 14147 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 26396 14147 2368 1147 0 13823 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 109776 KiB
Current children cumulated memory: 59532 KiB
[startup+0.700214 s]
/proc/loadavg: 4.15 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103944116/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=91556 CPUtime=0.67 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12338 0 0 0 44 23 0 0 20 0 1 0 62660782 141852672 22889 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 22889 2400 1147 0 22059 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 94500 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103923892/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=91556 CPUtime=1.47 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12338 0 0 0 124 23 0 0 20 0 1 0 62660782 141852672 22889 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 22889 2400 1147 0 22059 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 94500 KiB
[startup+3.10579 s]
/proc/loadavg: 4.14 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103923968/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=91812 CPUtime=3.08 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12366 0 0 0 267 41 0 0 20 0 1 0 62660782 141852672 22953 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 22953 2432 1147 0 22059 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 94756 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103895864/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=91812 CPUtime=6.26 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12369 0 0 0 580 46 0 0 20 0 1 0 62660782 141852672 22953 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 22953 2432 1147 0 22059 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 94756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103847352/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=93948 CPUtime=12.64 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12381 0 0 0 1202 62 0 0 20 0 1 0 62660782 141852672 23487 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 23487 2432 1147 0 22059 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 96892 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 66320
/proc/meminfo: memFree=103794744/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=138528 memory=93948 CPUtime=25.41 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12384 0 0 0 2453 88 0 0 20 0 1 0 62660782 141852672 23487 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 34632 23487 2432 1147 0 22059 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 142720 KiB
Current children cumulated memory: 96892 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.12 4.08 5/268 66321
/proc/meminfo: memFree=103661264/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=145600 memory=99084 CPUtime=50.95 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 12673 0 0 0 4966 129 0 0 20 0 1 0 62660782 149094400 24771 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 36400 24771 2432 1147 0 23827 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 149792 KiB
Current children cumulated memory: 102028 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/269 66331
/proc/meminfo: memFree=103337604/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=145600 memory=101132 CPUtime=102.02 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13173 0 0 0 9992 210 0 0 20 0 1 0 62660782 149094400 25283 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 36400 25283 2432 1147 0 23827 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 149792 KiB
Current children cumulated memory: 104076 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/269 66332
/proc/meminfo: memFree=103027720/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=105020 CPUtime=161.86 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13671 0 0 0 15899 287 0 0 20 0 1 0 62660782 160862208 26255 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 26255 2432 1147 0 26700 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 107964 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 66748
/proc/meminfo: memFree=126415520/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111544 CPUtime=221.71 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13729 0 0 0 21807 364 0 0 20 0 1 0 62660782 160862208 27886 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27886 2432 1147 0 26700 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114488 KiB
[startup+256.397 s]
# the end of solver process 66318 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=251.596 s, system=4.1372 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.12 4.11 4.08 5/268 66749
/proc/meminfo: memFree=126382844/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=229.79 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13731 0 0 0 22602 377 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 229.79 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+243.2 s]
/proc/loadavg: 4.09 4.11 4.08 5/268 66749
/proc/meminfo: memFree=126338956/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=242.55 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 23862 393 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 242.55 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+249.6 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126302980/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=248.94 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 24491 403 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 248.94 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+252.8 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126290820/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=252.14 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 24806 408 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 252.14 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+254.4 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126278660/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=253.73 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 24963 410 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 253.73 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+255.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126278660/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=254.53 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 25042 411 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 254.53 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+256 s]*
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126278660/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=255.33 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 25121 412 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 255.33 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+256.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126278660/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=255.53 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 25140 413 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 255.53 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
[startup+256.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 66749
/proc/meminfo: memFree=126278660/131250000 swapFree=33010672/33010684
[pid=66318] ppid=66315 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66318/stat : 66318 (run-opt.sh) S 66315 66318 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62660781 4292608 736 18446744073709551615 94241319460864 94241320355397 140734417750352 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94241320594448 94241320642192 94241346248704 140734417758573 140734417758696 140734417758696 140734417764298 0
/proc/66318/statm: 1048 736 672 219 0 110 0
[pid=66320] ppid=66318 vsize=157092 memory=111672 CPUtime=255.63 cores=1,3
/proc/66320/stat : 66320 (roundingsat) R 66318 66318 66032 0 -1 4194304 13733 0 0 0 25150 413 0 0 20 0 1 0 62660782 160862208 27918 18446744073709551615 4227072 8923433 140735253775408 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22228992 140735253776802 140735253776936 140735253776936 140735253782506 0
/proc/66320/statm: 39273 27918 2432 1147 0 26700 0
Current children cumulated CPU time: 255.63 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 114616 KiB
Child status: 0
Real time (s): 256.397
CPU time (s): 255.733
CPU user time (s): 251.596
CPU system time (s): 4.1372
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 161284
Max. memory (cumulated for all children) (KiB): 114616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.596
system time used= 4.1372
maximum resident set size= 111672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13963
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= 156
involuntary context switches= 449
# summary of solver processes directly reported to runsolver:
# pid: 66318
# total CPU time (s): 255.733
# total CPU user time (s): 251.596
# total CPU system time (s): 4.1372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.488588 second user time and 1.20276 second system time
The end
Begin job on nodeC014 at 2025-07-02 17:24:02
IDJOB=4499580
IDBENCH=148784
IDSOLVER=3350
FILE ID=nodeC014/4499580-1751469842
RUNJOBID= nodeC014-1751466415-66044
SLURM_JOB_ID= 9598484
Free space on /tmp= 430500 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499580-1751469842/watcher-4499580-1751469842 -o /tmp/evaluation-result-4499580-1751469842/solver-4499580-1751469842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4499580-1751469842.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 244d2960852ad966f69f423720fc1906
RANDOM SEED=1816453504
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3608.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3599.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.105
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3599.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3589.514
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 103966796 kB
MemAvailable: 105712764 kB
Buffers: 2508 kB
Cached: 2541792 kB
SwapCached: 4 kB
Active: 24577040 kB
Inactive: 1994376 kB
Active(anon): 24041328 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1990524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9076 kB
Writeback: 64 kB
AnonPages: 24028716 kB
Mapped: 117632 kB
Shmem: 18064 kB
KReclaimable: 117940 kB
Slab: 208576 kB
SReclaimable: 117940 kB
SUnreclaim: 90636 kB
KernelStack: 4304 kB
PageTables: 55472 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 28493496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6373376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-02 17:28:18