0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.09 c #variables 2046 #constraints 18944
0.00/0.09 c objective is ce32
0.08/0.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.13 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.13 c GLOBAL bounds - >= -2046 @ 0.077464
0.08/0.13 c GLOBAL bounds - >= -2046 @ 0.078985
0.08/0.13 c GLOBAL bounds - >= -2046 @ 0.08018
0.08/0.14 c GLOBAL bounds - >= -2046 @ 0.081682
0.08/0.14 c GLOBAL bounds - >= -2046 @ 0.082683
0.08/0.14 c GLOBAL bounds - >= -2046 @ 0.084126
0.08/0.14 c GLOBAL bounds - >= -2046 @ 0.084676
0.08/0.14 c GLOBAL bounds - >= -2046 @ 0.084684
0.08/0.15 c GLOBAL bounds - >= -2046 @ 0.084693
0.08/0.15 c GLOBAL bounds - >= -2046 @ 0.087085
0.08/0.15 c GLOBAL bounds - >= -2046 @ 0.088837
0.08/0.16 c GLOBAL bounds - >= -2046 @ 0.091268
0.08/0.16 c GLOBAL bounds - >= -2046 @ 0.092244
0.08/0.16 c GLOBAL bounds - >= -2046 @ 0.09329
0.08/0.16 c GLOBAL bounds - >= -2046 @ 0.094215
0.08/0.16 c GLOBAL bounds - >= -2046 @ 0.095214
0.08/0.17 c GLOBAL bounds - >= -2046 @ 0.096556
0.08/0.17 c GLOBAL bounds - >= -2046 @ 0.098147
0.08/0.17 c GLOBAL bounds - >= -2046 @ 0.09894
0.08/0.17 c GLOBAL bounds - >= -2046 @ 0.099887
0.08/0.17 c GLOBAL bounds - >= -2046 @ 0.102738
0.08/0.18 c GLOBAL bounds - >= -2046 @ 0.103819
0.08/0.18 c GLOBAL bounds - >= -2046 @ 0.104777
0.08/0.18 c GLOBAL bounds - >= -2046 @ 0.10864
0.08/0.19 c GLOBAL bounds - >= -2046 @ 0.110589
0.08/0.19 c GLOBAL bounds - >= -2046 @ 0.110632
0.08/0.19 c GLOBAL bounds - >= -2046 @ 0.111632
0.08/0.19 c GLOBAL bounds - >= -2046 @ 0.111637
0.08/0.19 c GLOBAL bounds - >= -2046 @ 0.112635
0.08/0.20 c GLOBAL bounds - >= -2046 @ 0.11326
0.08/0.20 c GLOBAL bounds - >= -2046 @ 0.114653
0.08/0.20 c GLOBAL bounds - >= -2046 @ 0.115634
0.08/0.20 c GLOBAL bounds - >= -2046 @ 0.115639
0.08/0.20 c GLOBAL bounds - >= -2046 @ 0.116876
0.18/0.21 c GLOBAL bounds - >= -2046 @ 0.117832
0.18/0.21 c GLOBAL bounds - >= -2046 @ 0.118738
0.18/0.21 c GLOBAL bounds - >= -2046 @ 0.119608
0.18/0.21 c GLOBAL bounds - >= -2046 @ 0.121362
0.18/0.22 c GLOBAL bounds - >= -2046 @ 0.123174
0.18/0.22 c GLOBAL bounds - >= -2046 @ 0.1236
0.18/0.22 c GLOBAL bounds - >= -2046 @ 0.124415
0.18/0.22 c GLOBAL bounds - >= -2046 @ 0.12534
0.18/0.22 c GLOBAL bounds - >= -2046 @ 0.126312
0.18/0.23 c GLOBAL bounds - >= -2046 @ 0.127598
0.18/0.23 c GLOBAL bounds - >= -2046 @ 0.127725
0.18/0.23 c GLOBAL bounds - >= -2046 @ 0.129904
0.18/0.23 c GLOBAL bounds - >= -2046 @ 0.130596
0.18/0.24 c GLOBAL bounds - >= -2046 @ 0.131175
0.18/0.24 c GLOBAL bounds - >= -2046 @ 0.132594
0.18/0.24 c GLOBAL bounds - >= -2046 @ 0.134906
0.18/0.24 c GLOBAL bounds - >= -2046 @ 0.136784
0.18/0.25 c GLOBAL bounds - >= -2046 @ 0.13867
0.18/0.25 c GLOBAL bounds - >= -2046 @ 0.140064
0.18/0.25 c GLOBAL bounds - >= -2046 @ 0.140937
0.18/0.25 c GLOBAL bounds - >= -2046 @ 0.142776
0.18/0.25 c GLOBAL bounds - >= -2046 @ 0.144644
0.18/0.26 c GLOBAL bounds - >= -2046 @ 0.145554
0.18/0.26 c GLOBAL bounds - >= -2046 @ 0.145558
0.18/0.26 c GLOBAL bounds - >= -2046 @ 0.146556
0.18/0.26 c GLOBAL bounds - >= -2046 @ 0.147555
0.18/0.26 c GLOBAL bounds - >= -2046 @ 0.149948
0.18/0.27 c GLOBAL bounds - >= -2046 @ 0.151269
0.18/0.27 c GLOBAL bounds - >= -2046 @ 0.153191
0.18/0.27 c GLOBAL bounds - >= -2046 @ 0.154657
0.18/0.27 c GLOBAL bounds - >= -2046 @ 0.157038
0.18/0.28 c GLOBAL bounds - >= -2046 @ 0.157519
0.18/0.28 c GLOBAL bounds - >= -2046 @ 0.15858
0.18/0.28 c GLOBAL bounds - >= -2046 @ 0.16058
0.18/0.28 c GLOBAL bounds - >= -2046 @ 0.163344
0.18/0.29 c GLOBAL bounds - >= -2046 @ 0.165321
0.18/0.29 c GLOBAL bounds - >= -2046 @ 0.165623
0.18/0.29 c GLOBAL bounds - >= -2046 @ 0.168086
0.18/0.29 c GLOBAL bounds - >= -2046 @ 0.169484
0.18/0.30 c GLOBAL bounds - >= -2046 @ 0.169982
0.18/0.30 c GLOBAL bounds - >= -2046 @ 0.172771
0.18/0.30 c GLOBAL bounds - >= -2046 @ 0.173475
0.18/0.30 c GLOBAL bounds - >= -2046 @ 0.174454
0.18/0.31 c GLOBAL bounds - >= -2046 @ 0.176903
0.28/0.31 c GLOBAL bounds - >= -2046 @ 0.17928
0.28/0.31 c GLOBAL bounds - >= -2046 @ 0.180997
0.28/0.32 c GLOBAL bounds - >= -2046 @ 0.183181
0.28/0.32 c GLOBAL bounds - >= -2046 @ 0.184328
0.28/0.32 c GLOBAL bounds - >= -2046 @ 0.184432
0.28/0.32 c GLOBAL bounds - >= -2046 @ 0.186295
0.28/0.33 c GLOBAL bounds - >= -2046 @ 0.187275
0.28/0.33 c GLOBAL bounds - >= -2046 @ 0.189588
0.28/0.33 c GLOBAL bounds - >= -2046 @ 0.191153
0.28/0.34 c GLOBAL bounds - >= -2046 @ 0.192524
0.28/0.34 c GLOBAL bounds - >= -2046 @ 0.195211
0.28/0.34 c GLOBAL bounds - >= -2046 @ 0.197372
0.28/0.34 c GLOBAL bounds - >= -2046 @ 0.198619
0.28/0.35 c GLOBAL bounds - >= -2046 @ 0.200615
0.28/0.35 c GLOBAL bounds - >= -2046 @ 0.202569
0.28/0.35 c GLOBAL bounds - >= -2046 @ 0.203578
0.28/0.35 c GLOBAL bounds - >= -2046 @ 0.205502
0.28/0.36 c GLOBAL bounds - >= -2046 @ 0.2093
0.28/0.36 c GLOBAL bounds - >= -2046 @ 0.209955
0.28/0.36 c GLOBAL bounds - >= -2046 @ 0.212278
0.28/0.36 c GLOBAL bounds - >= -2046 @ 0.214741
0.28/0.37 c GLOBAL bounds - >= -2046 @ 0.217337
0.28/0.37 c GLOBAL bounds - >= -2046 @ 0.221538
0.28/0.38 c GLOBAL bounds - >= -2046 @ 0.225485
0.28/0.38 c GLOBAL bounds - >= -2046 @ 0.228161
0.28/0.39 c GLOBAL bounds - >= -2046 @ 0.235245
0.28/0.39 c GLOBAL bounds - >= -2046 @ 0.239223
0.28/0.40 c GLOBAL bounds - >= -2046 @ 0.240977
0.28/0.40 c GLOBAL bounds - >= -2046 @ 0.245803
0.38/0.41 c GLOBAL bounds - >= -2046 @ 0.248201
0.38/0.41 c GLOBAL bounds - >= -2046 @ 0.250539
0.38/0.42 c GLOBAL bounds - >= -2046 @ 0.253868
0.38/0.42 c GLOBAL bounds - >= -2046 @ 0.256186
0.38/0.42 c GLOBAL bounds - >= -2046 @ 0.258529
0.38/0.43 c GLOBAL bounds - >= -2046 @ 0.261322
0.38/0.43 c GLOBAL bounds - >= -2046 @ 0.262948
0.38/0.43 c GLOBAL bounds - >= -2046 @ 0.264601
0.38/0.43 c GLOBAL bounds - >= -2046 @ 0.266741
0.38/0.44 c GLOBAL bounds - >= -2046 @ 0.269065
0.38/0.44 c GLOBAL bounds - >= -2046 @ 0.272103
0.38/0.44 c GLOBAL bounds - >= -2046 @ 0.276409
0.38/0.45 c GLOBAL bounds - >= -2046 @ 0.27935
0.38/0.45 c GLOBAL bounds - >= -2046 @ 0.282746
0.38/0.46 c GLOBAL bounds - >= -2046 @ 0.285828
0.38/0.46 c GLOBAL bounds - >= -2046 @ 0.288702
0.38/0.46 c GLOBAL bounds - >= -2046 @ 0.290636
0.38/0.47 c GLOBAL bounds - >= -2046 @ 0.292383
0.38/0.47 c GLOBAL bounds - >= -2046 @ 0.294116
0.38/0.47 c GLOBAL bounds - >= -2046 @ 0.295638
0.38/0.47 c GLOBAL bounds - >= -2046 @ 0.29731
0.38/0.48 c GLOBAL bounds - >= -2046 @ 0.298768
0.38/0.48 c GLOBAL bounds - >= -2046 @ 0.30056
0.38/0.48 c GLOBAL bounds - >= -2046 @ 0.303851
0.38/0.49 c GLOBAL bounds - >= -2046 @ 0.306422
0.38/0.49 c GLOBAL bounds - >= -2046 @ 0.309283
0.38/0.49 c GLOBAL bounds - >= -2046 @ 0.311553
0.38/0.50 c GLOBAL bounds - >= -2046 @ 0.314322
0.38/0.50 c GLOBAL bounds - >= -2046 @ 0.316792
0.38/0.50 c GLOBAL bounds - >= -2046 @ 0.319358
0.38/0.50 c GLOBAL bounds - >= -2046 @ 0.321756
0.48/0.51 c GLOBAL bounds - >= -2046 @ 0.324894
0.48/0.51 c GLOBAL bounds - >= -2046 @ 0.325986
0.48/0.51 c GLOBAL bounds - >= -2046 @ 0.327788
0.48/0.52 c GLOBAL bounds - >= -2046 @ 0.331183
0.48/0.52 c GLOBAL bounds - >= -2046 @ 0.33499
0.48/0.52 c GLOBAL bounds - >= -2046 @ 0.339336
0.48/0.53 c GLOBAL bounds - >= -2046 @ 0.342302
0.48/0.53 c GLOBAL bounds - >= -2046 @ 0.345981
0.48/0.54 c GLOBAL bounds - >= -2046 @ 0.34979
0.48/0.54 c GLOBAL bounds - >= -2046 @ 0.352878
0.48/0.54 c GLOBAL bounds - >= -2046 @ 0.354742
0.48/0.55 c GLOBAL bounds - >= -2046 @ 0.356358
0.48/0.55 c GLOBAL bounds - >= -2046 @ 0.359104
0.48/0.55 c GLOBAL bounds - >= -2046 @ 0.36122
0.48/0.56 c GLOBAL bounds - >= -2046 @ 0.363297
0.48/0.56 c GLOBAL bounds - >= -2046 @ 0.366369
0.48/0.56 c GLOBAL bounds - >= -2046 @ 0.367868
0.48/0.56 c GLOBAL bounds - >= -2046 @ 0.369033
0.48/0.57 c GLOBAL bounds - >= -2046 @ 0.373487
0.48/0.57 c GLOBAL bounds - >= -2046 @ 0.376747
0.48/0.58 c GLOBAL bounds - >= -2046 @ 0.379511
0.48/0.58 c GLOBAL bounds - >= -2046 @ 0.387449
0.48/0.59 c GLOBAL bounds - >= -2046 @ 0.395507
0.48/0.60 c GLOBAL bounds - >= -2046 @ 0.403217
0.58/0.61 c GLOBAL bounds - >= -2046 @ 0.408756
0.58/0.61 c GLOBAL bounds - >= -2046 @ 0.415832
0.58/0.62 c GLOBAL bounds - >= -2046 @ 0.421394
0.58/0.63 c GLOBAL bounds - >= -2046 @ 0.428556
0.58/0.64 c GLOBAL bounds - >= -2046 @ 0.436574
0.58/0.65 c GLOBAL bounds - >= -2046 @ 0.443073
0.58/0.65 c GLOBAL bounds - >= -2046 @ 0.450025
0.58/0.66 c GLOBAL bounds - >= -2046 @ 0.455492
0.58/0.66 c GLOBAL bounds - >= -2046 @ 0.460934
0.58/0.67 c GLOBAL bounds - >= -2046 @ 0.467253
0.58/0.68 c GLOBAL bounds - >= -2046 @ 0.472633
0.58/0.68 c GLOBAL bounds - >= -2046 @ 0.47826
0.58/0.69 c GLOBAL bounds - >= -2046 @ 0.483578
0.58/0.69 c GLOBAL bounds - >= -2046 @ 0.488753
0.67/0.70 c GLOBAL bounds - >= -2046 @ 0.491599
0.67/0.70 c GLOBAL bounds - >= -2046 @ 0.496364
0.67/0.71 c GLOBAL bounds - >= -2046 @ 0.501084
0.67/0.71 c GLOBAL bounds - >= -2046 @ 0.503722
0.67/0.72 c GLOBAL bounds - >= -2046 @ 0.507851
0.67/0.72 c GLOBAL bounds - >= -2046 @ 0.511265
0.67/0.73 c GLOBAL bounds - >= -2046 @ 0.520692
0.67/0.73 c GLOBAL bounds - >= -2046 @ 0.524208
0.67/0.74 c GLOBAL bounds - >= -2046 @ 0.527299
0.67/0.74 c GLOBAL bounds - >= -2046 @ 0.531435
0.67/0.74 c GLOBAL bounds - >= -2046 @ 0.534317
0.67/0.75 c GLOBAL bounds - >= -2046 @ 0.538291
0.67/0.76 c GLOBAL bounds - >= -2046 @ 0.544284
0.67/0.76 c GLOBAL bounds - >= -2046 @ 0.548989
0.67/0.77 c GLOBAL bounds - >= -2046 @ 0.553304
0.67/0.77 c GLOBAL bounds - >= -2046 @ 0.558367
0.67/0.78 c GLOBAL bounds - >= -2046 @ 0.564938
0.67/0.78 c GLOBAL bounds - >= -2046 @ 0.570522
0.67/0.79 c GLOBAL bounds - >= -2046 @ 0.578058
0.77/0.80 c GLOBAL bounds - >= -2046 @ 0.585273
0.77/0.82 c GLOBAL bounds - >= -2046 @ 0.600939
0.77/0.82 c GLOBAL bounds - >= -2046 @ 0.610557
0.77/0.84 c GLOBAL bounds - >= -2046 @ 0.622893
0.77/0.85 c GLOBAL bounds - >= -2046 @ 0.632376
0.77/0.86 c GLOBAL bounds - >= -2046 @ 0.641208
0.77/0.87 c GLOBAL bounds - >= -2046 @ 0.656372
0.77/0.88 c GLOBAL bounds - >= -2046 @ 0.665272
0.77/0.89 c GLOBAL bounds - >= -2046 @ 0.671683
0.87/0.90 c GLOBAL bounds - >= -2046 @ 0.678268
0.87/0.91 c GLOBAL bounds - >= -2046 @ 0.686972
0.87/0.91 c GLOBAL bounds - >= -2046 @ 0.69411
0.87/0.92 c GLOBAL bounds - >= -2046 @ 0.702348
0.87/0.93 c GLOBAL bounds - >= -2046 @ 0.710215
0.87/0.94 c GLOBAL bounds - >= -2046 @ 0.718905
0.87/0.95 c GLOBAL bounds - >= -2046 @ 0.726191
0.87/0.96 c GLOBAL bounds - >= -2046 @ 0.733572
0.87/0.96 c GLOBAL bounds - >= -2046 @ 0.741318
0.87/0.97 c GLOBAL bounds - >= -2046 @ 0.74796
0.87/0.98 c GLOBAL bounds - >= -2046 @ 0.756205
0.87/0.99 c GLOBAL bounds - >= -2046 @ 0.764622
0.97/1.00 c GLOBAL bounds - >= -2046 @ 0.775098
0.97/1.01 c GLOBAL bounds - >= -2046 @ 0.785237
0.97/1.02 c GLOBAL bounds - >= -2046 @ 0.795044
0.97/1.03 c GLOBAL bounds - >= -2046 @ 0.803778
0.97/1.04 c GLOBAL bounds - >= -2046 @ 0.812469
0.97/1.05 c GLOBAL bounds - >= -2046 @ 0.821393
0.97/1.07 c GLOBAL bounds - >= -2046 @ 0.836465
0.97/1.07 c GLOBAL bounds - >= -2046 @ 0.84392
0.97/1.08 c GLOBAL bounds - >= -2046 @ 0.853145
0.97/1.09 c GLOBAL bounds - >= -2046 @ 0.863497
1.08/1.10 c GLOBAL bounds - >= -2046 @ 0.871673
1.08/1.11 c GLOBAL bounds - >= -2046 @ 0.882313
1.08/1.13 c GLOBAL bounds - >= -2046 @ 0.892717
1.08/1.14 c GLOBAL bounds - >= -2046 @ 0.907199
1.08/1.15 c GLOBAL bounds - >= -2046 @ 0.91928
1.08/1.16 c GLOBAL bounds - >= -2046 @ 0.929016
1.08/1.18 c GLOBAL bounds - >= -2046 @ 0.940655
1.08/1.19 c GLOBAL bounds - >= -2046 @ 0.950409
1.17/1.20 c GLOBAL bounds - >= -2046 @ 0.962629
1.17/1.21 c GLOBAL bounds - >= -2046 @ 0.977344
1.17/1.23 c GLOBAL bounds - >= -2046 @ 0.98931
1.17/1.24 c GLOBAL bounds - >= -2046 @ 1.0003
1.17/1.25 c GLOBAL bounds - >= -2046 @ 1.01588
1.17/1.27 c GLOBAL bounds - >= -2046 @ 1.02926
1.17/1.28 c GLOBAL bounds - >= -2046 @ 1.0431
1.17/1.29 c GLOBAL bounds - >= -2046 @ 1.05526
1.27/1.31 c GLOBAL bounds - >= -2046 @ 1.06684
1.27/1.32 c GLOBAL bounds - >= -2046 @ 1.08001
1.27/1.33 c GLOBAL bounds - >= -2046 @ 1.09487
1.27/1.35 c GLOBAL bounds - >= -2046 @ 1.10745
1.27/1.36 c GLOBAL bounds - >= -2046 @ 1.12013
1.27/1.37 c GLOBAL bounds - >= -2046 @ 1.1326
1.27/1.39 c GLOBAL bounds - >= -2046 @ 1.14616
1.37/1.40 c GLOBAL bounds - >= -2046 @ 1.16032
1.37/1.43 c GLOBAL bounds - >= -2046 @ 1.18808
1.37/1.44 c GLOBAL bounds - >= -2046 @ 1.2029
1.37/1.46 c GLOBAL bounds - >= -2046 @ 1.2185
1.37/1.48 c GLOBAL bounds - >= -2046 @ 1.23793
1.37/1.49 c GLOBAL bounds - >= -2046 @ 1.25046
1.47/1.51 c GLOBAL bounds - >= -2046 @ 1.26752
1.47/1.53 c GLOBAL bounds - >= -2046 @ 1.28511
1.47/1.55 c GLOBAL bounds - >= -2046 @ 1.30405
1.47/1.57 c GLOBAL bounds - >= -2046 @ 1.32136
1.47/1.59 c GLOBAL bounds - >= -2046 @ 1.33808
1.56/1.60 c GLOBAL bounds - >= -2046 @ 1.35514
1.56/1.62 c GLOBAL bounds - >= -2046 @ 1.37067
1.56/1.64 c GLOBAL bounds - >= -2046 @ 1.38763
1.56/1.65 c GLOBAL bounds - >= -2046 @ 1.40096
1.56/1.67 c GLOBAL bounds - >= -2046 @ 1.41819
1.56/1.68 c GLOBAL bounds - >= -2046 @ 1.43467
1.67/1.70 c GLOBAL bounds - >= -2046 @ 1.44854
1.67/1.71 c GLOBAL bounds - >= -2046 @ 1.46126
1.67/1.73 c GLOBAL bounds - >= -2046 @ 1.47965
1.67/1.75 c GLOBAL bounds - >= -2046 @ 1.49892
1.67/1.77 c GLOBAL bounds - >= -2046 @ 1.51859
1.67/1.79 c GLOBAL bounds - >= -2046 @ 1.53561
1.77/1.80 c GLOBAL bounds - >= -2046 @ 1.55046
1.77/1.82 c GLOBAL bounds - >= -2046 @ 1.56279
1.77/1.89 c GLOBAL bounds - >= -2046 @ 1.63568
1.87/1.93 c #Conflicts: 1000 | #Constraints: 20490
1.87/1.93 c GLOBAL bounds - >= -2046 @ 1.6727
1.87/1.98 c GLOBAL bounds - >= -2046 @ 1.7188
1.97/2.05 c GLOBAL bounds - >= -2046 @ 1.79254
2.07/2.18 c GLOBAL bounds - >= -2046 @ 1.91779
11.84/11.98 c #Conflicts: 2000 | #Constraints: 21498
11.84/11.98 c INPROCESSING
11.84/11.98 c GARBAGE COLLECT
11.84/11.98 c #Conflicts: 3000 | #Constraints: 21520
11.84/11.98 c #Conflicts: 4000 | #Constraints: 22520
11.84/11.98 c INPROCESSING
11.84/11.98 c GARBAGE COLLECT
11.84/11.98 c #Conflicts: 5000 | #Constraints: 21937
11.84/11.98 c #Conflicts: 6000 | #Constraints: 22937
11.84/11.98 c INPROCESSING
11.84/11.98 c GARBAGE COLLECT
11.84/11.98 c #Conflicts: 7000 | #Constraints: 21950
11.84/11.98 c #Conflicts: 8000 | #Constraints: 22950
11.84/11.98 c GLOBAL bounds - >= -2046 @ 11.5822
67.70/67.99 c #Conflicts: 9000 | #Constraints: 23952
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 10000 | #Constraints: 22659
67.70/67.99 c #Conflicts: 11000 | #Constraints: 23659
67.70/67.99 c #Conflicts: 12000 | #Constraints: 24659
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 13000 | #Constraints: 23111
67.70/67.99 c #Conflicts: 14000 | #Constraints: 24111
67.70/67.99 c #Conflicts: 15000 | #Constraints: 25111
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 16000 | #Constraints: 23338
67.70/67.99 c #Conflicts: 17000 | #Constraints: 24338
67.70/67.99 c #Conflicts: 18000 | #Constraints: 25338
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 19000 | #Constraints: 23354
67.70/67.99 c #Conflicts: 20000 | #Constraints: 24354
67.70/67.99 c #Conflicts: 21000 | #Constraints: 25354
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 22000 | #Constraints: 23163
67.70/67.99 c #Conflicts: 23000 | #Constraints: 24163
67.70/67.99 c #Conflicts: 24000 | #Constraints: 25163
67.70/67.99 c #Conflicts: 25000 | #Constraints: 26163
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 26000 | #Constraints: 23770
67.70/67.99 c #Conflicts: 27000 | #Constraints: 24770
67.70/67.99 c #Conflicts: 28000 | #Constraints: 25770
67.70/67.99 c #Conflicts: 29000 | #Constraints: 26770
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 30000 | #Constraints: 24176
67.70/67.99 c #Conflicts: 31000 | #Constraints: 25176
67.70/67.99 c #Conflicts: 32000 | #Constraints: 26176
67.70/67.99 c #Conflicts: 33000 | #Constraints: 27176
67.70/67.99 c INPROCESSING
67.70/67.99 c GARBAGE COLLECT
67.70/67.99 c #Conflicts: 34000 | #Constraints: 24370
67.70/67.99 c GLOBAL bounds - >= -2046 @ 67.1141
103.82/104.13 c #Conflicts: 35000 | #Constraints: 25372
103.82/104.13 c #Conflicts: 36000 | #Constraints: 26372
103.82/104.13 c #Conflicts: 37000 | #Constraints: 27372
103.82/104.13 c INPROCESSING
103.82/104.13 c GARBAGE COLLECT
103.82/104.13 c #Conflicts: 38000 | #Constraints: 24379
103.82/104.13 c #Conflicts: 39000 | #Constraints: 25379
103.82/104.13 c #Conflicts: 40000 | #Constraints: 26379
103.82/104.13 c #Conflicts: 41000 | #Constraints: 27379
103.82/104.13 c INPROCESSING
103.82/104.13 c GARBAGE COLLECT
103.82/104.13 c #Conflicts: 42000 | #Constraints: 24167
103.82/104.13 c #Conflicts: 43000 | #Constraints: 25167
103.82/104.13 c #Conflicts: 44000 | #Constraints: 26167
103.82/104.13 c #Conflicts: 45000 | #Constraints: 27167
103.82/104.13 c #Conflicts: 46000 | #Constraints: 28167
103.82/104.13 c INPROCESSING
103.82/104.13 c GARBAGE COLLECT
103.82/104.13 c #Conflicts: 47000 | #Constraints: 24761
103.82/104.13 c #Conflicts: 48000 | #Constraints: 25761
103.82/104.13 c #Conflicts: 49000 | #Constraints: 26761
103.82/104.13 c GLOBAL bounds - >= -2046 @ 103.001
163.56/164.02 c #Conflicts: 50000 | #Constraints: 27763
163.56/164.02 c #Conflicts: 51000 | #Constraints: 28763
163.56/164.02 c INPROCESSING
163.56/164.02 c GARBAGE COLLECT
163.56/164.02 c #Conflicts: 52000 | #Constraints: 25167
163.56/164.02 c #Conflicts: 53000 | #Constraints: 26167
163.56/164.02 c #Conflicts: 54000 | #Constraints: 27167
163.56/164.02 c #Conflicts: 55000 | #Constraints: 28167
163.56/164.02 c #Conflicts: 56000 | #Constraints: 29167
163.56/164.02 c INPROCESSING
163.56/164.02 c GARBAGE COLLECT
163.56/164.02 c #Conflicts: 57000 | #Constraints: 25381
163.56/164.02 c #Conflicts: 58000 | #Constraints: 26381
163.56/164.02 c #Conflicts: 59000 | #Constraints: 27381
163.56/164.02 c #Conflicts: 60000 | #Constraints: 28381
163.56/164.02 c #Conflicts: 61000 | #Constraints: 29381
163.56/164.02 c INPROCESSING
163.56/164.02 c GARBAGE COLLECT
163.56/164.02 c #Conflicts: 62000 | #Constraints: 25378
163.56/164.02 c #Conflicts: 63000 | #Constraints: 26378
163.56/164.02 c #Conflicts: 64000 | #Constraints: 27378
163.56/164.02 c #Conflicts: 65000 | #Constraints: 28378
163.56/164.02 c #Conflicts: 66000 | #Constraints: 29378
163.56/164.02 c INPROCESSING
163.56/164.02 c GARBAGE COLLECT
163.56/164.02 c #Conflicts: 67000 | #Constraints: 25183
163.56/164.02 c #Conflicts: 68000 | #Constraints: 26183
163.56/164.02 c #Conflicts: 69000 | #Constraints: 27183
163.56/164.02 c GLOBAL bounds - >= -2046 @ 162.492
427.88/429.01 c #Conflicts: 70000 | #Constraints: 28185
427.88/429.01 c #Conflicts: 71000 | #Constraints: 29185
427.88/429.01 c #Conflicts: 72000 | #Constraints: 30185
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 73000 | #Constraints: 25780
427.88/429.01 c #Conflicts: 74000 | #Constraints: 26780
427.88/429.01 c #Conflicts: 75000 | #Constraints: 27780
427.88/429.01 c #Conflicts: 76000 | #Constraints: 28780
427.88/429.01 c #Conflicts: 77000 | #Constraints: 29780
427.88/429.01 c #Conflicts: 78000 | #Constraints: 30780
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 79000 | #Constraints: 26188
427.88/429.01 c #Conflicts: 80000 | #Constraints: 27188
427.88/429.01 c #Conflicts: 81000 | #Constraints: 28188
427.88/429.01 c #Conflicts: 82000 | #Constraints: 29188
427.88/429.01 c #Conflicts: 83000 | #Constraints: 30188
427.88/429.01 c #Conflicts: 84000 | #Constraints: 31188
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 85000 | #Constraints: 26394
427.88/429.01 c #Conflicts: 86000 | #Constraints: 27394
427.88/429.01 c #Conflicts: 87000 | #Constraints: 28394
427.88/429.01 c #Conflicts: 88000 | #Constraints: 29394
427.88/429.01 c #Conflicts: 89000 | #Constraints: 30394
427.88/429.01 c #Conflicts: 90000 | #Constraints: 31394
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 91000 | #Constraints: 26394
427.88/429.01 c #Conflicts: 92000 | #Constraints: 27394
427.88/429.01 c #Conflicts: 93000 | #Constraints: 28394
427.88/429.01 c #Conflicts: 94000 | #Constraints: 29394
427.88/429.01 c #Conflicts: 95000 | #Constraints: 30394
427.88/429.01 c #Conflicts: 96000 | #Constraints: 31394
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 97000 | #Constraints: 26197
427.88/429.01 c #Conflicts: 98000 | #Constraints: 27197
427.88/429.01 c #Conflicts: 99000 | #Constraints: 28197
427.88/429.01 c #Conflicts: 100000 | #Constraints: 29197
427.88/429.01 c #Conflicts: 101000 | #Constraints: 30197
427.88/429.01 c #Conflicts: 102000 | #Constraints: 31197
427.88/429.01 c #Conflicts: 103000 | #Constraints: 32197
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 104000 | #Constraints: 26795
427.88/429.01 c #Conflicts: 105000 | #Constraints: 27795
427.88/429.01 c #Conflicts: 106000 | #Constraints: 28795
427.88/429.01 c #Conflicts: 107000 | #Constraints: 29795
427.88/429.01 c #Conflicts: 108000 | #Constraints: 30795
427.88/429.01 c #Conflicts: 109000 | #Constraints: 31795
427.88/429.01 c #Conflicts: 110000 | #Constraints: 32795
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 111000 | #Constraints: 27195
427.88/429.01 c #Conflicts: 112000 | #Constraints: 28195
427.88/429.01 c #Conflicts: 113000 | #Constraints: 29195
427.88/429.01 c #Conflicts: 114000 | #Constraints: 30195
427.88/429.01 c #Conflicts: 115000 | #Constraints: 31195
427.88/429.01 c #Conflicts: 116000 | #Constraints: 32195
427.88/429.01 c #Conflicts: 117000 | #Constraints: 33195
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 118000 | #Constraints: 27394
427.88/429.01 c #Conflicts: 119000 | #Constraints: 28394
427.88/429.01 c #Conflicts: 120000 | #Constraints: 29394
427.88/429.01 c #Conflicts: 121000 | #Constraints: 30394
427.88/429.01 c #Conflicts: 122000 | #Constraints: 31394
427.88/429.01 c #Conflicts: 123000 | #Constraints: 32394
427.88/429.01 c #Conflicts: 124000 | #Constraints: 33394
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 125000 | #Constraints: 27394
427.88/429.01 c #Conflicts: 126000 | #Constraints: 28394
427.88/429.01 c #Conflicts: 127000 | #Constraints: 29394
427.88/429.01 c #Conflicts: 128000 | #Constraints: 30394
427.88/429.01 c #Conflicts: 129000 | #Constraints: 31394
427.88/429.01 c #Conflicts: 130000 | #Constraints: 32394
427.88/429.01 c #Conflicts: 131000 | #Constraints: 33394
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 132000 | #Constraints: 27190
427.88/429.01 c #Conflicts: 133000 | #Constraints: 28190
427.88/429.01 c #Conflicts: 134000 | #Constraints: 29190
427.88/429.01 c #Conflicts: 135000 | #Constraints: 30190
427.88/429.01 c #Conflicts: 136000 | #Constraints: 31190
427.88/429.01 c #Conflicts: 137000 | #Constraints: 32190
427.88/429.01 c #Conflicts: 138000 | #Constraints: 33190
427.88/429.01 c #Conflicts: 139000 | #Constraints: 34190
427.88/429.01 c INPROCESSING
427.88/429.01 c GARBAGE COLLECT
427.88/429.01 c #Conflicts: 140000 | #Constraints: 27784
427.88/429.01 c #Conflicts: 141000 | #Constraints: 28784
452.91/454.17 c #Conflicts: 142000 | #Constraints: 29784
452.91/454.17 c #Conflicts: 143000 | #Constraints: 30784
452.91/454.17 c #Conflicts: 144000 | #Constraints: 31784
452.91/454.17 c #Conflicts: 145000 | #Constraints: 32784
452.91/454.17 c #Conflicts: 146000 | #Constraints: 33784
452.91/454.17 c #Conflicts: 147000 | #Constraints: 34784
452.91/454.17 c INPROCESSING
452.91/454.17 c GARBAGE COLLECT
452.91/454.17 c #Conflicts: 148000 | #Constraints: 28176
452.91/454.17 c #Conflicts: 149000 | #Constraints: 29176
452.91/454.17 c GLOBAL bounds - >= -2046 @ 451.02
531.50/532.90 c #Conflicts: 150000 | #Constraints: 30178
531.50/532.90 c #Conflicts: 151000 | #Constraints: 31178
531.50/532.90 c #Conflicts: 152000 | #Constraints: 32178
531.50/532.90 c #Conflicts: 153000 | #Constraints: 33178
531.50/532.90 c #Conflicts: 154000 | #Constraints: 34178
531.50/532.90 c #Conflicts: 155000 | #Constraints: 35178
531.50/532.90 c INPROCESSING
531.50/532.90 c GARBAGE COLLECT
531.50/532.90 c #Conflicts: 156000 | #Constraints: 28389
531.50/532.90 c #Conflicts: 157000 | #Constraints: 29389
531.50/532.90 c #Conflicts: 158000 | #Constraints: 30389
531.50/532.90 c #Conflicts: 159000 | #Constraints: 31389
531.50/532.90 c #Conflicts: 160000 | #Constraints: 32389
531.50/532.90 c #Conflicts: 161000 | #Constraints: 33389
531.50/532.90 c #Conflicts: 162000 | #Constraints: 34389
531.50/532.90 c #Conflicts: 163000 | #Constraints: 35389
531.50/532.90 c INPROCESSING
531.50/532.90 c GARBAGE COLLECT
531.50/532.90 c #Conflicts: 164000 | #Constraints: 28392
531.50/532.90 c #Conflicts: 165000 | #Constraints: 29392
531.50/532.90 c #Conflicts: 166000 | #Constraints: 30392
531.50/532.90 c GLOBAL bounds - >= -2046 @ 529.342
828.52/830.72 c #Conflicts: 167000 | #Constraints: 31394
828.52/830.72 c #Conflicts: 168000 | #Constraints: 32394
828.52/830.72 c #Conflicts: 169000 | #Constraints: 33394
828.52/830.72 c #Conflicts: 170000 | #Constraints: 34394
828.52/830.72 c #Conflicts: 171000 | #Constraints: 35394
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 172000 | #Constraints: 28197
828.52/830.72 c #Conflicts: 173000 | #Constraints: 29197
828.52/830.72 c #Conflicts: 174000 | #Constraints: 30197
828.52/830.72 c #Conflicts: 175000 | #Constraints: 31197
828.52/830.72 c #Conflicts: 176000 | #Constraints: 32197
828.52/830.72 c #Conflicts: 177000 | #Constraints: 33197
828.52/830.72 c #Conflicts: 178000 | #Constraints: 34197
828.52/830.72 c #Conflicts: 179000 | #Constraints: 35197
828.52/830.72 c #Conflicts: 180000 | #Constraints: 36197
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 181000 | #Constraints: 28796
828.52/830.72 c #Conflicts: 182000 | #Constraints: 29796
828.52/830.72 c #Conflicts: 183000 | #Constraints: 30796
828.52/830.72 c #Conflicts: 184000 | #Constraints: 31796
828.52/830.72 c #Conflicts: 185000 | #Constraints: 32796
828.52/830.72 c #Conflicts: 186000 | #Constraints: 33796
828.52/830.72 c #Conflicts: 187000 | #Constraints: 34796
828.52/830.72 c #Conflicts: 188000 | #Constraints: 35796
828.52/830.72 c #Conflicts: 189000 | #Constraints: 36796
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 190000 | #Constraints: 29195
828.52/830.72 c #Conflicts: 191000 | #Constraints: 30195
828.52/830.72 c #Conflicts: 192000 | #Constraints: 31195
828.52/830.72 c #Conflicts: 193000 | #Constraints: 32195
828.52/830.72 c #Conflicts: 194000 | #Constraints: 33195
828.52/830.72 c #Conflicts: 195000 | #Constraints: 34195
828.52/830.72 c #Conflicts: 196000 | #Constraints: 35195
828.52/830.72 c #Conflicts: 197000 | #Constraints: 36195
828.52/830.72 c #Conflicts: 198000 | #Constraints: 37195
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 199000 | #Constraints: 29401
828.52/830.72 c #Conflicts: 200000 | #Constraints: 30401
828.52/830.72 c #Conflicts: 201000 | #Constraints: 31401
828.52/830.72 c #Conflicts: 202000 | #Constraints: 32401
828.52/830.72 c #Conflicts: 203000 | #Constraints: 33401
828.52/830.72 c #Conflicts: 204000 | #Constraints: 34401
828.52/830.72 c #Conflicts: 205000 | #Constraints: 35401
828.52/830.72 c #Conflicts: 206000 | #Constraints: 36401
828.52/830.72 c #Conflicts: 207000 | #Constraints: 37401
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 208000 | #Constraints: 29400
828.52/830.72 c #Conflicts: 209000 | #Constraints: 30400
828.52/830.72 c #Conflicts: 210000 | #Constraints: 31400
828.52/830.72 c #Conflicts: 211000 | #Constraints: 32400
828.52/830.72 c #Conflicts: 212000 | #Constraints: 33400
828.52/830.72 c #Conflicts: 213000 | #Constraints: 34400
828.52/830.72 c #Conflicts: 214000 | #Constraints: 35400
828.52/830.72 c #Conflicts: 215000 | #Constraints: 36400
828.52/830.72 c #Conflicts: 216000 | #Constraints: 37400
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 217000 | #Constraints: 29198
828.52/830.72 c #Conflicts: 218000 | #Constraints: 30198
828.52/830.72 c #Conflicts: 219000 | #Constraints: 31198
828.52/830.72 c #Conflicts: 220000 | #Constraints: 32198
828.52/830.72 c #Conflicts: 221000 | #Constraints: 33198
828.52/830.72 c #Conflicts: 222000 | #Constraints: 34198
828.52/830.72 c #Conflicts: 223000 | #Constraints: 35198
828.52/830.72 c #Conflicts: 224000 | #Constraints: 36198
828.52/830.72 c #Conflicts: 225000 | #Constraints: 37198
828.52/830.72 c #Conflicts: 226000 | #Constraints: 38198
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 227000 | #Constraints: 29801
828.52/830.72 c #Conflicts: 228000 | #Constraints: 30801
828.52/830.72 c #Conflicts: 229000 | #Constraints: 31801
828.52/830.72 c #Conflicts: 230000 | #Constraints: 32801
828.52/830.72 c #Conflicts: 231000 | #Constraints: 33801
828.52/830.72 c #Conflicts: 232000 | #Constraints: 34801
828.52/830.72 c #Conflicts: 233000 | #Constraints: 35801
828.52/830.72 c #Conflicts: 234000 | #Constraints: 36801
828.52/830.72 c #Conflicts: 235000 | #Constraints: 37801
828.52/830.72 c #Conflicts: 236000 | #Constraints: 38801
828.52/830.72 c INPROCESSING
828.52/830.72 c GARBAGE COLLECT
828.52/830.72 c #Conflicts: 237000 | #Constraints: 30200
828.52/830.72 c #Conflicts: 238000 | #Constraints: 31200
828.52/830.72 c #Conflicts: 239000 | #Constraints: 32200
828.52/830.72 c #Conflicts: 240000 | #Constraints: 33200
1269.75/1273.16 c #Conflicts: 241000 | #Constraints: 34200
1269.75/1273.16 c #Conflicts: 242000 | #Constraints: 35200
1269.75/1273.16 c #Conflicts: 243000 | #Constraints: 36200
1269.75/1273.16 c #Conflicts: 244000 | #Constraints: 37200
1269.75/1273.16 c #Conflicts: 245000 | #Constraints: 38200
1269.75/1273.16 c #Conflicts: 246000 | #Constraints: 39200
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 247000 | #Constraints: 30390
1269.75/1273.16 c #Conflicts: 248000 | #Constraints: 31390
1269.75/1273.16 c #Conflicts: 249000 | #Constraints: 32390
1269.75/1273.16 c #Conflicts: 250000 | #Constraints: 33390
1269.75/1273.16 c #Conflicts: 251000 | #Constraints: 34390
1269.75/1273.16 c #Conflicts: 252000 | #Constraints: 35390
1269.75/1273.16 c #Conflicts: 253000 | #Constraints: 36390
1269.75/1273.16 c #Conflicts: 254000 | #Constraints: 37390
1269.75/1273.16 c #Conflicts: 255000 | #Constraints: 38390
1269.75/1273.16 c #Conflicts: 256000 | #Constraints: 39390
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 257000 | #Constraints: 30390
1269.75/1273.16 c #Conflicts: 258000 | #Constraints: 31390
1269.75/1273.16 c #Conflicts: 259000 | #Constraints: 32390
1269.75/1273.16 c #Conflicts: 260000 | #Constraints: 33390
1269.75/1273.16 c #Conflicts: 261000 | #Constraints: 34390
1269.75/1273.16 c #Conflicts: 262000 | #Constraints: 35390
1269.75/1273.16 c #Conflicts: 263000 | #Constraints: 36390
1269.75/1273.16 c #Conflicts: 264000 | #Constraints: 37390
1269.75/1273.16 c #Conflicts: 265000 | #Constraints: 38390
1269.75/1273.16 c #Conflicts: 266000 | #Constraints: 39390
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 267000 | #Constraints: 30190
1269.75/1273.16 c #Conflicts: 268000 | #Constraints: 31190
1269.75/1273.16 c #Conflicts: 269000 | #Constraints: 32190
1269.75/1273.16 c #Conflicts: 270000 | #Constraints: 33190
1269.75/1273.16 c #Conflicts: 271000 | #Constraints: 34190
1269.75/1273.16 c #Conflicts: 272000 | #Constraints: 35190
1269.75/1273.16 c #Conflicts: 273000 | #Constraints: 36190
1269.75/1273.16 c #Conflicts: 274000 | #Constraints: 37190
1269.75/1273.16 c #Conflicts: 275000 | #Constraints: 38190
1269.75/1273.16 c #Conflicts: 276000 | #Constraints: 39190
1269.75/1273.16 c #Conflicts: 277000 | #Constraints: 40190
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 278000 | #Constraints: 30795
1269.75/1273.16 c #Conflicts: 279000 | #Constraints: 31795
1269.75/1273.16 c #Conflicts: 280000 | #Constraints: 32795
1269.75/1273.16 c #Conflicts: 281000 | #Constraints: 33795
1269.75/1273.16 c #Conflicts: 282000 | #Constraints: 34795
1269.75/1273.16 c #Conflicts: 283000 | #Constraints: 35795
1269.75/1273.16 c #Conflicts: 284000 | #Constraints: 36795
1269.75/1273.16 c #Conflicts: 285000 | #Constraints: 37795
1269.75/1273.16 c #Conflicts: 286000 | #Constraints: 38795
1269.75/1273.16 c #Conflicts: 287000 | #Constraints: 39795
1269.75/1273.16 c #Conflicts: 288000 | #Constraints: 40795
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 289000 | #Constraints: 31207
1269.75/1273.16 c #Conflicts: 290000 | #Constraints: 32207
1269.75/1273.16 c #Conflicts: 291000 | #Constraints: 33207
1269.75/1273.16 c #Conflicts: 292000 | #Constraints: 34207
1269.75/1273.16 c #Conflicts: 293000 | #Constraints: 35207
1269.75/1273.16 c #Conflicts: 294000 | #Constraints: 36207
1269.75/1273.16 c #Conflicts: 295000 | #Constraints: 37207
1269.75/1273.16 c #Conflicts: 296000 | #Constraints: 38207
1269.75/1273.16 c #Conflicts: 297000 | #Constraints: 39207
1269.75/1273.16 c #Conflicts: 298000 | #Constraints: 40207
1269.75/1273.16 c #Conflicts: 299000 | #Constraints: 41207
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 300000 | #Constraints: 31413
1269.75/1273.16 c #Conflicts: 301000 | #Constraints: 32413
1269.75/1273.16 c #Conflicts: 302000 | #Constraints: 33413
1269.75/1273.16 c #Conflicts: 303000 | #Constraints: 34413
1269.75/1273.16 c #Conflicts: 304000 | #Constraints: 35413
1269.75/1273.16 c #Conflicts: 305000 | #Constraints: 36413
1269.75/1273.16 c #Conflicts: 306000 | #Constraints: 37413
1269.75/1273.16 c #Conflicts: 307000 | #Constraints: 38413
1269.75/1273.16 c #Conflicts: 308000 | #Constraints: 39413
1269.75/1273.16 c #Conflicts: 309000 | #Constraints: 40413
1269.75/1273.16 c #Conflicts: 310000 | #Constraints: 41413
1269.75/1273.16 c INPROCESSING
1269.75/1273.16 c GARBAGE COLLECT
1269.75/1273.16 c #Conflicts: 311000 | #Constraints: 31404
1269.75/1273.16 c #Conflicts: 312000 | #Constraints: 32404
1269.75/1273.16 c #Conflicts: 313000 | #Constraints: 33404
1269.75/1273.16 c #Conflicts: 314000 | #Constraints: 34404
1269.75/1273.16 c #Conflicts: 315000 | #Constraints: 35404
1652.19/1656.65 c #Conflicts: 316000 | #Constraints: 36404
1652.19/1656.65 c #Conflicts: 317000 | #Constraints: 37404
1652.19/1656.65 c #Conflicts: 318000 | #Constraints: 38404
1652.19/1656.65 c #Conflicts: 319000 | #Constraints: 39404
1652.19/1656.65 c #Conflicts: 320000 | #Constraints: 40404
1652.19/1656.65 c #Conflicts: 321000 | #Constraints: 41404
1652.19/1656.65 c INPROCESSING
1652.19/1656.65 c GARBAGE COLLECT
1652.19/1656.65 c #Conflicts: 322000 | #Constraints: 31187
1652.19/1656.65 c #Conflicts: 323000 | #Constraints: 32187
1652.19/1656.65 c #Conflicts: 324000 | #Constraints: 33187
1652.19/1656.65 c #Conflicts: 325000 | #Constraints: 34187
1652.19/1656.65 c #Conflicts: 326000 | #Constraints: 35187
1652.19/1656.65 c #Conflicts: 327000 | #Constraints: 36187
1652.19/1656.65 c #Conflicts: 328000 | #Constraints: 37187
1652.19/1656.65 c #Conflicts: 329000 | #Constraints: 38187
1652.19/1656.65 c #Conflicts: 330000 | #Constraints: 39187
1652.19/1656.65 c #Conflicts: 331000 | #Constraints: 40187
1652.19/1656.65 c #Conflicts: 332000 | #Constraints: 41187
1652.19/1656.65 c #Conflicts: 333000 | #Constraints: 42187
1652.19/1656.65 c INPROCESSING
1652.19/1656.65 c GARBAGE COLLECT
1652.19/1656.65 c #Conflicts: 334000 | #Constraints: 31790
1652.19/1656.65 c #Conflicts: 335000 | #Constraints: 32790
1652.19/1656.65 c #Conflicts: 336000 | #Constraints: 33790
1652.19/1656.65 c #Conflicts: 337000 | #Constraints: 34790
1652.19/1656.65 c #Conflicts: 338000 | #Constraints: 35790
1652.19/1656.65 c #Conflicts: 339000 | #Constraints: 36790
1652.19/1656.65 c #Conflicts: 340000 | #Constraints: 37790
1652.19/1656.65 c #Conflicts: 341000 | #Constraints: 38790
1652.19/1656.65 c #Conflicts: 342000 | #Constraints: 39790
1652.19/1656.65 c #Conflicts: 343000 | #Constraints: 40790
1652.19/1656.65 c #Conflicts: 344000 | #Constraints: 41790
1652.19/1656.65 c #Conflicts: 345000 | #Constraints: 42790
1652.19/1656.65 c INPROCESSING
1652.19/1656.65 c GARBAGE COLLECT
1652.19/1656.65 c #Conflicts: 346000 | #Constraints: 32196
1652.19/1656.65 c #Conflicts: 347000 | #Constraints: 33196
1652.19/1656.65 c #Conflicts: 348000 | #Constraints: 34196
1652.19/1656.65 c #Conflicts: 349000 | #Constraints: 35196
1652.19/1656.65 c #Conflicts: 350000 | #Constraints: 36196
1652.19/1656.65 c #Conflicts: 351000 | #Constraints: 37196
1652.19/1656.65 c #Conflicts: 352000 | #Constraints: 38196
1652.19/1656.65 c #Conflicts: 353000 | #Constraints: 39196
1652.19/1656.65 c #Conflicts: 354000 | #Constraints: 40196
1652.19/1656.65 c #Conflicts: 355000 | #Constraints: 41196
1652.19/1656.65 c #Conflicts: 356000 | #Constraints: 42196
1652.19/1656.65 c #Conflicts: 357000 | #Constraints: 43196
1652.19/1656.65 c INPROCESSING
1652.19/1656.65 c GARBAGE COLLECT
1652.19/1656.65 c #Conflicts: 358000 | #Constraints: 32398
1652.19/1656.65 c #Conflicts: 359000 | #Constraints: 33398
1652.19/1656.65 c #Conflicts: 360000 | #Constraints: 34398
1652.19/1656.65 c #Conflicts: 361000 | #Constraints: 35398
1652.19/1656.65 c #Conflicts: 362000 | #Constraints: 36398
1652.19/1656.65 c #Conflicts: 363000 | #Constraints: 37398
1652.19/1656.65 c #Conflicts: 364000 | #Constraints: 38398
1652.19/1656.65 c #Conflicts: 365000 | #Constraints: 39398
1652.19/1656.65 c #Conflicts: 366000 | #Constraints: 40398
1652.19/1656.65 c #Conflicts: 367000 | #Constraints: 41398
1652.19/1656.65 c #Conflicts: 368000 | #Constraints: 42398
1652.19/1656.65 c #Conflicts: 369000 | #Constraints: 43398
1652.19/1656.65 c INPROCESSING
1652.19/1656.65 c GARBAGE COLLECT
1652.19/1656.65 c #Conflicts: 370000 | #Constraints: 32411
1652.19/1656.65 c #Conflicts: 371000 | #Constraints: 33411
1652.19/1656.65 c #Conflicts: 372000 | #Constraints: 34411
1652.19/1656.65 c #Conflicts: 373000 | #Constraints: 35411
1652.19/1656.65 c #Conflicts: 374000 | #Constraints: 36411
1652.19/1656.65 c #Conflicts: 375000 | #Constraints: 37411
1652.19/1656.65 c #Conflicts: 376000 | #Constraints: 38411
1652.19/1656.65 c #Conflicts: 377000 | #Constraints: 39411
1652.19/1656.65 c #Conflicts: 378000 | #Constraints: 40411
1652.19/1656.65 c #Conflicts: 379000 | #Constraints: 41411
1652.19/1656.65 c GLOBAL bounds - >= -2046 @ 1647.9
1831.66/1836.69 c #Conflicts: 380000 | #Constraints: 42413
1831.66/1836.69 c #Conflicts: 381000 | #Constraints: 43413
1831.66/1836.69 c INPROCESSING
1831.66/1836.69 c GARBAGE COLLECT
1831.66/1836.69 c #Conflicts: 382000 | #Constraints: 32221
1831.66/1836.69 c #Conflicts: 383000 | #Constraints: 33221
1831.66/1836.69 c #Conflicts: 384000 | #Constraints: 34221
1831.66/1836.69 c #Conflicts: 385000 | #Constraints: 35221
1831.66/1836.69 c #Conflicts: 386000 | #Constraints: 36221
1831.66/1836.69 c #Conflicts: 387000 | #Constraints: 37221
1831.66/1836.69 c #Conflicts: 388000 | #Constraints: 38221
1831.66/1836.69 c #Conflicts: 389000 | #Constraints: 39221
1831.66/1836.69 c #Conflicts: 390000 | #Constraints: 40221
1831.66/1836.69 c #Conflicts: 391000 | #Constraints: 41221
1831.66/1836.69 c #Conflicts: 392000 | #Constraints: 42221
1831.66/1836.69 c #Conflicts: 393000 | #Constraints: 43221
1831.66/1836.69 c #Conflicts: 394000 | #Constraints: 44221
1831.66/1836.69 c INPROCESSING
1831.66/1836.69 c GARBAGE COLLECT
1831.66/1836.69 c #Conflicts: 395000 | #Constraints: 32813
1831.66/1836.69 c #Conflicts: 396000 | #Constraints: 33813
1831.66/1836.69 c #Conflicts: 397000 | #Constraints: 34813
1831.66/1836.69 c #Conflicts: 398000 | #Constraints: 35813
1831.66/1836.69 c #Conflicts: 399000 | #Constraints: 36813
1831.66/1836.69 c #Conflicts: 400000 | #Constraints: 37813
1831.66/1836.69 c #Conflicts: 401000 | #Constraints: 38813
1831.66/1836.69 c #Conflicts: 402000 | #Constraints: 39813
1831.66/1836.69 c #Conflicts: 403000 | #Constraints: 40813
1831.66/1836.69 c #Conflicts: 404000 | #Constraints: 41813
1831.66/1836.69 c #Conflicts: 405000 | #Constraints: 42813
1831.66/1836.69 c #Conflicts: 406000 | #Constraints: 43813
1831.66/1836.69 c #Conflicts: 407000 | #Constraints: 44813
1831.66/1836.69 c INPROCESSING
1831.66/1836.69 c GARBAGE COLLECT
1831.66/1836.69 c #Conflicts: 408000 | #Constraints: 33200
1831.66/1836.69 c #Conflicts: 409000 | #Constraints: 34200
1831.66/1836.69 c GLOBAL bounds - >= -2046 @ 1827.15
2115.10/2120.99 c #Conflicts: 410000 | #Constraints: 35202
2115.10/2120.99 c #Conflicts: 411000 | #Constraints: 36202
2115.10/2120.99 c #Conflicts: 412000 | #Constraints: 37202
2115.10/2120.99 c #Conflicts: 413000 | #Constraints: 38202
2115.10/2120.99 c #Conflicts: 414000 | #Constraints: 39202
2115.10/2120.99 c #Conflicts: 415000 | #Constraints: 40202
2115.10/2120.99 c #Conflicts: 416000 | #Constraints: 41202
2115.10/2120.99 c #Conflicts: 417000 | #Constraints: 42202
2115.10/2120.99 c #Conflicts: 418000 | #Constraints: 43202
2115.10/2120.99 c #Conflicts: 419000 | #Constraints: 44202
2115.10/2120.99 c #Conflicts: 420000 | #Constraints: 45202
2115.10/2120.99 c INPROCESSING
2115.10/2120.99 c GARBAGE COLLECT
2115.10/2120.99 c #Conflicts: 421000 | #Constraints: 33412
2115.10/2120.99 c #Conflicts: 422000 | #Constraints: 34412
2115.10/2120.99 c #Conflicts: 423000 | #Constraints: 35412
2115.10/2120.99 c #Conflicts: 424000 | #Constraints: 36412
2115.10/2120.99 c #Conflicts: 425000 | #Constraints: 37412
2115.10/2120.99 c #Conflicts: 426000 | #Constraints: 38412
2115.10/2120.99 c #Conflicts: 427000 | #Constraints: 39412
2115.10/2120.99 c #Conflicts: 428000 | #Constraints: 40412
2115.10/2120.99 c #Conflicts: 429000 | #Constraints: 41412
2115.10/2120.99 c #Conflicts: 430000 | #Constraints: 42412
2115.10/2120.99 c #Conflicts: 431000 | #Constraints: 43412
2115.10/2120.99 c #Conflicts: 432000 | #Constraints: 44412
2115.10/2120.99 c #Conflicts: 433000 | #Constraints: 45412
2115.10/2120.99 c INPROCESSING
2115.10/2120.99 c GARBAGE COLLECT
2115.10/2120.99 c #Conflicts: 434000 | #Constraints: 33415
2115.10/2120.99 c #Conflicts: 435000 | #Constraints: 34415
2115.10/2120.99 c #Conflicts: 436000 | #Constraints: 35415
2115.10/2120.99 c #Conflicts: 437000 | #Constraints: 36415
2115.10/2120.99 c #Conflicts: 438000 | #Constraints: 37415
2115.10/2120.99 c #Conflicts: 439000 | #Constraints: 38415
2115.10/2120.99 c #Conflicts: 440000 | #Constraints: 39415
2115.10/2120.99 c #Conflicts: 441000 | #Constraints: 40415
2115.10/2120.99 c #Conflicts: 442000 | #Constraints: 41415
2115.10/2120.99 c #Conflicts: 443000 | #Constraints: 42415
2115.10/2120.99 c #Conflicts: 444000 | #Constraints: 43415
2115.10/2120.99 c #Conflicts: 445000 | #Constraints: 44415
2115.10/2120.99 c #Conflicts: 446000 | #Constraints: 45415
2115.10/2120.99 c INPROCESSING
2115.10/2120.99 c GARBAGE COLLECT
2115.10/2120.99 c #Conflicts: 447000 | #Constraints: 33215
2115.10/2120.99 c #Conflicts: 448000 | #Constraints: 34215
2115.10/2120.99 c #Conflicts: 449000 | #Constraints: 35215
2115.10/2120.99 c #Conflicts: 450000 | #Constraints: 36215
2115.10/2120.99 c #Conflicts: 451000 | #Constraints: 37215
2115.10/2120.99 c #Conflicts: 452000 | #Constraints: 38215
2115.10/2120.99 c #Conflicts: 453000 | #Constraints: 39215
2115.10/2120.99 c #Conflicts: 454000 | #Constraints: 40215
2115.10/2120.99 c #Conflicts: 455000 | #Constraints: 41215
2115.10/2120.99 c #Conflicts: 456000 | #Constraints: 42215
2115.10/2120.99 c #Conflicts: 457000 | #Constraints: 43215
2115.10/2120.99 c #Conflicts: 458000 | #Constraints: 44215
2115.10/2120.99 c #Conflicts: 459000 | #Constraints: 45215
2115.10/2120.99 c #Conflicts: 460000 | #Constraints: 46215
2115.10/2120.99 c INPROCESSING
2115.10/2120.99 c GARBAGE COLLECT
2115.10/2120.99 c #Conflicts: 461000 | #Constraints: 33807
2115.10/2120.99 c #Conflicts: 462000 | #Constraints: 34807
2115.10/2120.99 c #Conflicts: 463000 | #Constraints: 35807
2115.10/2120.99 c #Conflicts: 464000 | #Constraints: 36807
2115.10/2120.99 c #Conflicts: 465000 | #Constraints: 37807
2115.10/2120.99 c #Conflicts: 466000 | #Constraints: 38807
2115.10/2120.99 c #Conflicts: 467000 | #Constraints: 39807
2115.10/2120.99 c #Conflicts: 468000 | #Constraints: 40807
2115.10/2120.99 c #Conflicts: 469000 | #Constraints: 41807
2115.10/2120.99 c GLOBAL bounds - >= -2046 @ 2110.28
2377.11/2383.70 c #Conflicts: 470000 | #Constraints: 42809
2377.11/2383.70 c #Conflicts: 471000 | #Constraints: 43809
2377.11/2383.70 c #Conflicts: 472000 | #Constraints: 44809
2377.11/2383.70 c #Conflicts: 473000 | #Constraints: 45809
2377.11/2383.70 c #Conflicts: 474000 | #Constraints: 46809
2377.11/2383.70 c INPROCESSING
2377.11/2383.70 c GARBAGE COLLECT
2377.11/2383.70 c #Conflicts: 475000 | #Constraints: 34213
2377.11/2383.70 c #Conflicts: 476000 | #Constraints: 35213
2377.11/2383.70 c #Conflicts: 477000 | #Constraints: 36213
2377.11/2383.70 c #Conflicts: 478000 | #Constraints: 37213
2377.11/2383.70 c #Conflicts: 479000 | #Constraints: 38213
2377.11/2383.70 c #Conflicts: 480000 | #Constraints: 39213
2377.11/2383.70 c #Conflicts: 481000 | #Constraints: 40213
2377.11/2383.70 c #Conflicts: 482000 | #Constraints: 41213
2377.11/2383.70 c #Conflicts: 483000 | #Constraints: 42213
2377.11/2383.70 c #Conflicts: 484000 | #Constraints: 43213
2377.11/2383.70 c #Conflicts: 485000 | #Constraints: 44213
2377.11/2383.70 c #Conflicts: 486000 | #Constraints: 45213
2377.11/2383.70 c #Conflicts: 487000 | #Constraints: 46213
2377.11/2383.70 c #Conflicts: 488000 | #Constraints: 47213
2377.11/2383.70 c INPROCESSING
2377.11/2383.70 c GARBAGE COLLECT
2377.11/2383.70 c #Conflicts: 489000 | #Constraints: 34416
2377.11/2383.70 c #Conflicts: 490000 | #Constraints: 35416
2377.11/2383.70 c #Conflicts: 491000 | #Constraints: 36416
2377.11/2383.70 c #Conflicts: 492000 | #Constraints: 37416
2377.11/2383.70 c #Conflicts: 493000 | #Constraints: 38416
2377.11/2383.70 c #Conflicts: 494000 | #Constraints: 39416
2377.11/2383.70 c #Conflicts: 495000 | #Constraints: 40416
2377.11/2383.70 c #Conflicts: 496000 | #Constraints: 41416
2377.11/2383.70 c #Conflicts: 497000 | #Constraints: 42416
2377.11/2383.70 c #Conflicts: 498000 | #Constraints: 43416
2377.11/2383.70 c #Conflicts: 499000 | #Constraints: 44416
2377.11/2383.70 c #Conflicts: 500000 | #Constraints: 45416
2377.11/2383.70 c #Conflicts: 501000 | #Constraints: 46416
2377.11/2383.70 c #Conflicts: 502000 | #Constraints: 47416
2377.11/2383.70 c INPROCESSING
2377.11/2383.70 c GARBAGE COLLECT
2377.11/2383.70 c #Conflicts: 503000 | #Constraints: 34420
2377.11/2383.70 c #Conflicts: 504000 | #Constraints: 35420
2377.11/2383.70 c #Conflicts: 505000 | #Constraints: 36420
2377.11/2383.70 c #Conflicts: 506000 | #Constraints: 37420
2377.11/2383.70 c #Conflicts: 507000 | #Constraints: 38420
2377.11/2383.70 c #Conflicts: 508000 | #Constraints: 39420
2377.11/2383.70 c #Conflicts: 509000 | #Constraints: 40420
2377.11/2383.70 c #Conflicts: 510000 | #Constraints: 41420
2377.11/2383.70 c #Conflicts: 511000 | #Constraints: 42420
2377.11/2383.70 c #Conflicts: 512000 | #Constraints: 43420
2377.11/2383.70 c #Conflicts: 513000 | #Constraints: 44420
2377.11/2383.70 c #Conflicts: 514000 | #Constraints: 45420
2377.11/2383.70 c #Conflicts: 515000 | #Constraints: 46420
2377.11/2383.70 c #Conflicts: 516000 | #Constraints: 47420
2377.11/2383.70 c INPROCESSING
2377.11/2383.70 c GARBAGE COLLECT
2377.11/2383.70 c #Conflicts: 517000 | #Constraints: 34211
2377.11/2383.70 c #Conflicts: 518000 | #Constraints: 35211
2377.11/2383.70 c GLOBAL bounds - >= -2046 @ 2371.88
2460.16/2467.03 c #Conflicts: 519000 | #Constraints: 36213
2460.16/2467.03 c #Conflicts: 520000 | #Constraints: 37213
2460.16/2467.03 c #Conflicts: 521000 | #Constraints: 38213
2460.16/2467.03 c #Conflicts: 522000 | #Constraints: 39213
2460.16/2467.03 c #Conflicts: 523000 | #Constraints: 40213
2460.16/2467.03 c #Conflicts: 524000 | #Constraints: 41213
2460.16/2467.03 c #Conflicts: 525000 | #Constraints: 42213
2460.16/2467.03 c #Conflicts: 526000 | #Constraints: 43213
2460.16/2467.03 c #Conflicts: 527000 | #Constraints: 44213
2460.16/2467.03 c #Conflicts: 528000 | #Constraints: 45213
2460.16/2467.03 c #Conflicts: 529000 | #Constraints: 46213
2460.16/2467.03 c #Conflicts: 530000 | #Constraints: 47213
2460.16/2467.03 c #Conflicts: 531000 | #Constraints: 48213
2460.16/2467.03 c INPROCESSING
2460.16/2467.03 c GARBAGE COLLECT
2460.16/2467.03 c #Conflicts: 532000 | #Constraints: 34811
2460.16/2467.03 c #Conflicts: 533000 | #Constraints: 35811
2460.16/2467.03 c GLOBAL bounds - >= -2046 @ 2454.81
3057.82/3066.54 c #Conflicts: 534000 | #Constraints: 36813
3057.82/3066.54 c #Conflicts: 535000 | #Constraints: 37813
3057.82/3066.54 c #Conflicts: 536000 | #Constraints: 38813
3057.82/3066.54 c #Conflicts: 537000 | #Constraints: 39813
3057.82/3066.54 c #Conflicts: 538000 | #Constraints: 40813
3057.82/3066.54 c #Conflicts: 539000 | #Constraints: 41813
3057.82/3066.54 c #Conflicts: 540000 | #Constraints: 42813
3057.82/3066.54 c #Conflicts: 541000 | #Constraints: 43813
3057.82/3066.54 c #Conflicts: 542000 | #Constraints: 44813
3057.82/3066.54 c #Conflicts: 543000 | #Constraints: 45813
3057.82/3066.54 c #Conflicts: 544000 | #Constraints: 46813
3057.82/3066.54 c #Conflicts: 545000 | #Constraints: 47813
3057.82/3066.54 c #Conflicts: 546000 | #Constraints: 48813
3057.82/3066.54 c INPROCESSING
3057.82/3066.54 c GARBAGE COLLECT
3057.82/3066.54 c #Conflicts: 547000 | #Constraints: 35216
3057.82/3066.54 c #Conflicts: 548000 | #Constraints: 36216
3057.82/3066.54 c #Conflicts: 549000 | #Constraints: 37216
3057.82/3066.54 c #Conflicts: 550000 | #Constraints: 38216
3057.82/3066.54 c #Conflicts: 551000 | #Constraints: 39216
3057.82/3066.54 c #Conflicts: 552000 | #Constraints: 40216
3057.82/3066.54 c #Conflicts: 553000 | #Constraints: 41216
3057.82/3066.54 c #Conflicts: 554000 | #Constraints: 42216
3057.82/3066.54 c #Conflicts: 555000 | #Constraints: 43216
3057.82/3066.54 c #Conflicts: 556000 | #Constraints: 44216
3057.82/3066.54 c #Conflicts: 557000 | #Constraints: 45216
3057.82/3066.54 c #Conflicts: 558000 | #Constraints: 46216
3057.82/3066.54 c #Conflicts: 559000 | #Constraints: 47216
3057.82/3066.54 c #Conflicts: 560000 | #Constraints: 48216
3057.82/3066.54 c #Conflicts: 561000 | #Constraints: 49216
3057.82/3066.54 c INPROCESSING
3057.82/3066.54 c GARBAGE COLLECT
3057.82/3066.54 c #Conflicts: 562000 | #Constraints: 35416
3057.82/3066.54 c #Conflicts: 563000 | #Constraints: 36416
3057.82/3066.54 c #Conflicts: 564000 | #Constraints: 37416
3057.82/3066.54 c #Conflicts: 565000 | #Constraints: 38416
3057.82/3066.54 c #Conflicts: 566000 | #Constraints: 39416
3057.82/3066.54 c #Conflicts: 567000 | #Constraints: 40416
3057.82/3066.54 c #Conflicts: 568000 | #Constraints: 41416
3057.82/3066.54 c #Conflicts: 569000 | #Constraints: 42416
3057.82/3066.54 c #Conflicts: 570000 | #Constraints: 43416
3057.82/3066.54 c #Conflicts: 571000 | #Constraints: 44416
3057.82/3066.54 c #Conflicts: 572000 | #Constraints: 45416
3057.82/3066.54 c #Conflicts: 573000 | #Constraints: 46416
3057.82/3066.54 c #Conflicts: 574000 | #Constraints: 47416
3057.82/3066.54 c #Conflicts: 575000 | #Constraints: 48416
3057.82/3066.54 c #Conflicts: 576000 | #Constraints: 49416
3057.82/3066.54 c INPROCESSING
3057.82/3066.54 c GARBAGE COLLECT
3057.82/3066.54 c #Conflicts: 577000 | #Constraints: 35415
3057.82/3066.54 c #Conflicts: 578000 | #Constraints: 36415
3057.82/3066.54 c #Conflicts: 579000 | #Constraints: 37415
3057.82/3066.54 c #Conflicts: 580000 | #Constraints: 38415
3057.82/3066.54 c #Conflicts: 581000 | #Constraints: 39415
3057.82/3066.54 c #Conflicts: 582000 | #Constraints: 40415
3057.82/3066.54 c #Conflicts: 583000 | #Constraints: 41415
3057.82/3066.54 c #Conflicts: 584000 | #Constraints: 42415
3057.82/3066.54 c #Conflicts: 585000 | #Constraints: 43415
3057.82/3066.54 c #Conflicts: 586000 | #Constraints: 44415
3057.82/3066.54 c #Conflicts: 587000 | #Constraints: 45415
3057.82/3066.54 c #Conflicts: 588000 | #Constraints: 46415
3057.82/3066.54 c #Conflicts: 589000 | #Constraints: 47415
3057.82/3066.54 c #Conflicts: 590000 | #Constraints: 48415
3057.82/3066.54 c #Conflicts: 591000 | #Constraints: 49415
3057.82/3066.54 c INPROCESSING
3057.82/3066.54 c GARBAGE COLLECT
3057.82/3066.54 c #Conflicts: 592000 | #Constraints: 35218
3057.82/3066.54 c #Conflicts: 593000 | #Constraints: 36218
3057.82/3066.54 c #Conflicts: 594000 | #Constraints: 37218
3057.82/3066.54 c #Conflicts: 595000 | #Constraints: 38218
3057.82/3066.54 c #Conflicts: 596000 | #Constraints: 39218
3057.82/3066.54 c #Conflicts: 597000 | #Constraints: 40218
3057.82/3066.54 c #Conflicts: 598000 | #Constraints: 41218
3057.82/3066.54 c #Conflicts: 599000 | #Constraints: 42218
3057.82/3066.54 c #Conflicts: 600000 | #Constraints: 43218
3057.82/3066.54 c #Conflicts: 601000 | #Constraints: 44218
3057.82/3066.54 c #Conflicts: 602000 | #Constraints: 45218
3057.82/3066.54 c #Conflicts: 603000 | #Constraints: 46218
3057.82/3066.54 c #Conflicts: 604000 | #Constraints: 47218
3057.82/3066.54 c #Conflicts: 605000 | #Constraints: 48218
3057.82/3066.54 c #Conflicts: 606000 | #Constraints: 49218
3057.82/3066.54 c #Conflicts: 607000 | #Constraints: 50218
3057.82/3066.54 c INPROCESSING
3057.82/3066.54 c GARBAGE COLLECT
3057.82/3066.54 c #Conflicts: 608000 | #Constraints: 35814
3057.82/3066.54 c #Conflicts: 609000 | #Constraints: 36814
3600.05/3610.40 c #Conflicts: 610000 | #Constraints: 37814
3600.05/3610.40 c #Conflicts: 611000 | #Constraints: 38814
3600.05/3610.40 c #Conflicts: 612000 | #Constraints: 39814
3600.05/3610.40 c #Conflicts: 613000 | #Constraints: 40814
3600.05/3610.40 c #Conflicts: 614000 | #Constraints: 41814
3600.05/3610.40 c #Conflicts: 615000 | #Constraints: 42814
3600.05/3610.40 c #Conflicts: 616000 | #Constraints: 43814
3600.05/3610.40 c #Conflicts: 617000 | #Constraints: 44814
3600.05/3610.40 c #Conflicts: 618000 | #Constraints: 45814
3600.05/3610.40 c #Conflicts: 619000 | #Constraints: 46814
3600.05/3610.40 c #Conflicts: 620000 | #Constraints: 47814
3600.05/3610.40 c #Conflicts: 621000 | #Constraints: 48814
3600.05/3610.40 c #Conflicts: 622000 | #Constraints: 49814
3600.05/3610.40 c #Conflicts: 623000 | #Constraints: 50814
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 624000 | #Constraints: 36213
3600.05/3610.40 c #Conflicts: 625000 | #Constraints: 37213
3600.05/3610.40 c #Conflicts: 626000 | #Constraints: 38213
3600.05/3610.40 c #Conflicts: 627000 | #Constraints: 39213
3600.05/3610.40 c #Conflicts: 628000 | #Constraints: 40213
3600.05/3610.40 c #Conflicts: 629000 | #Constraints: 41213
3600.05/3610.40 c #Conflicts: 630000 | #Constraints: 42213
3600.05/3610.40 c #Conflicts: 631000 | #Constraints: 43213
3600.05/3610.40 c #Conflicts: 632000 | #Constraints: 44213
3600.05/3610.40 c #Conflicts: 633000 | #Constraints: 45213
3600.05/3610.40 c #Conflicts: 634000 | #Constraints: 46213
3600.05/3610.40 c #Conflicts: 635000 | #Constraints: 47213
3600.05/3610.40 c #Conflicts: 636000 | #Constraints: 48213
3600.05/3610.40 c #Conflicts: 637000 | #Constraints: 49213
3600.05/3610.40 c #Conflicts: 638000 | #Constraints: 50213
3600.05/3610.40 c #Conflicts: 639000 | #Constraints: 51213
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 640000 | #Constraints: 36419
3600.05/3610.40 c #Conflicts: 641000 | #Constraints: 37419
3600.05/3610.40 c #Conflicts: 642000 | #Constraints: 38419
3600.05/3610.40 c #Conflicts: 643000 | #Constraints: 39419
3600.05/3610.40 c #Conflicts: 644000 | #Constraints: 40419
3600.05/3610.40 c #Conflicts: 645000 | #Constraints: 41419
3600.05/3610.40 c #Conflicts: 646000 | #Constraints: 42419
3600.05/3610.40 c #Conflicts: 647000 | #Constraints: 43419
3600.05/3610.40 c #Conflicts: 648000 | #Constraints: 44419
3600.05/3610.40 c #Conflicts: 649000 | #Constraints: 45419
3600.05/3610.40 c #Conflicts: 650000 | #Constraints: 46419
3600.05/3610.40 c #Conflicts: 651000 | #Constraints: 47419
3600.05/3610.40 c #Conflicts: 652000 | #Constraints: 48419
3600.05/3610.40 c #Conflicts: 653000 | #Constraints: 49419
3600.05/3610.40 c #Conflicts: 654000 | #Constraints: 50419
3600.05/3610.40 c #Conflicts: 655000 | #Constraints: 51419
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 656000 | #Constraints: 36421
3600.05/3610.40 c #Conflicts: 657000 | #Constraints: 37421
3600.05/3610.40 c #Conflicts: 658000 | #Constraints: 38421
3600.05/3610.40 c #Conflicts: 659000 | #Constraints: 39421
3600.05/3610.40 c #Conflicts: 660000 | #Constraints: 40421
3600.05/3610.40 c #Conflicts: 661000 | #Constraints: 41421
3600.05/3610.40 c #Conflicts: 662000 | #Constraints: 42421
3600.05/3610.40 c #Conflicts: 663000 | #Constraints: 43421
3600.05/3610.40 c #Conflicts: 664000 | #Constraints: 44421
3600.05/3610.40 c #Conflicts: 665000 | #Constraints: 45421
3600.05/3610.40 c cpu time 3593.44 s
3600.05/3610.40 c deterministic time 1 1.00e+00
3600.05/3610.40 c optimization time 3593.39 s
3600.05/3610.40 c total solve time 0 s
3600.05/3610.40 c core-guided solve time 0 s
3600.05/3610.40 c propagation time 0.005118 s
3600.05/3610.40 c conflict analysis time 0 s
3600.05/3610.40 c propagations 0
3600.05/3610.40 c resolve steps 0
3600.05/3610.40 c decisions 0
3600.05/3610.40 c conflicts 0
3600.05/3610.40 c restarts 0
3600.05/3610.40 c inprocessing phases 0
3600.05/3610.40 c garbage collections 0 ,( -nan )
3600.05/3610.40 c input clauses 18944 ,( 100.00 )
3600.05/3610.40 c input cardinalities 0 ,( 0.00 )
3600.05/3610.40 c input general constraints 0 ,( 0.00 )
3600.05/3610.40 c input average constraint length 2.00
3600.05/3610.40 c input average constraint degree 1.00
3600.05/3610.40 c learned clauses 0 ,( 0.00 )
3600.05/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.40 c learned general constraints 0 ,( 0.00 )
3600.05/3610.40 c learned average constraint length 0.00
3600.05/3610.40 c learned average constraint degree 0.00
3600.05/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.40 c watched constraints 0 ,( -nan )
3600.05/3610.40 c counting constraints 0 ,( -nan )
3600.05/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.40 c gcd simplifications 0
3600.05/3610.40 c detected cardinalities 0
3600.05/3610.40 c weakened non-implied lits 0
3600.05/3610.40 c weakened non-implying lits 0
3600.05/3610.40 c original variables 2046
3600.05/3610.40 c clausal propagations 0
3600.05/3610.40 c cardinality propagations 0
3600.05/3610.40 c watched propagations 0
3600.05/3610.40 c counting propagations 0
3600.05/3610.40 c watch lookups 0
3600.05/3610.40 c watch backjump lookups 0
3600.05/3610.40 c watch checks 0
3600.05/3610.40 c propagation checks 0
3600.05/3610.40 c constraint additions 0
3600.05/3610.40 c trail pops 0
3600.05/3610.40 c formula constraints 18944
3600.05/3610.40 c learned constraints 0
3600.05/3610.40 c bound constraints 0
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 0
3600.05/3610.40 c encountered learned constraints 0
3600.05/3610.40 c encountered bound constraints 0
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG core upper bound improvements 0
3600.05/3610.40 c STR number of successful calls 0
3600.05/3610.40 c STR number of unsuccessful calls 0
3600.05/3610.40 c STR number of inconclusive calls 0
3600.05/3610.40 c STR number of successful attempts 0
3600.05/3610.40 c STR number of unsuccessful attempts 0
3600.05/3610.40 c STR number of inconclusive attempts 0
3600.05/3610.40 c STR average degree increase per successful call inf
3600.05/3610.40 c STR average degree increase per successful attempt inf
3600.05/3610.40 c STR total number of conflicts for successful attempts 0
3600.05/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40 c STR average number of conflicts per successful attempt inf
3600.05/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40 c AVG.sumWPerc -nan
3600.05/3610.40 c bigint constraints 0
3600.05/3610.40 s UNKNOWN
3600.05/3610.40 c Program interrupted by user.
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 (61971 MiB free)
memory of node 1: 64465 MiB (62823 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522090-1751592819/watcher-4522090-1751592819 -o /tmp/evaluation-result-4522090-1751592819/solver-4522090-1751592819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4522090-1751592819.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85034, runsolver pid=85027
[startup+0.100059 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 85047
/proc/meminfo: memFree=127772180/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=88384 memory=33860 CPUtime=0.08 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 5614 0 0 0 6 2 0 0 20 0 1 0 74904451 90505216 8465 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 22096 8465 2272 1147 0 9523 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 92576 KiB
Current children cumulated memory: 36804 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.12 4.09 4.09 4/264 85054
/proc/meminfo: memFree=127711000/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=92600 memory=39748 CPUtime=0.18 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 7095 0 0 0 11 7 0 0 20 0 1 0 74904451 94822400 9937 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 23150 9937 2336 1147 0 10577 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 96792 KiB
Current children cumulated memory: 42692 KiB
[startup+0.305794 s]*
/proc/loadavg: 4.12 4.09 4.09 5/269 85059
/proc/meminfo: memFree=127698816/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=92600 memory=41896 CPUtime=0.28 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 7108 0 0 0 17 11 0 0 20 0 1 0 74904451 94822400 10474 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 23150 10474 2336 1147 0 10577 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 96792 KiB
Current children cumulated memory: 44840 KiB
[startup+0.700196 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 85059
/proc/meminfo: memFree=127675736/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=111172 memory=59236 CPUtime=0.67 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 8382 0 0 0 49 18 0 0 20 0 1 0 74904451 113840128 14809 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 27793 14809 2336 1147 0 15220 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115364 KiB
Current children cumulated memory: 62180 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 85059
/proc/meminfo: memFree=127615380/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=118352 memory=66544 CPUtime=1.47 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 9203 0 0 0 125 22 0 0 20 0 1 0 74904451 121192448 16636 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 29588 16636 2336 1147 0 17015 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122544 KiB
Current children cumulated memory: 69488 KiB
[startup+3.10555 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 85060
/proc/meminfo: memFree=127446788/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=173028 memory=104956 CPUtime=3.07 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 15737 0 0 0 281 26 0 0 20 0 1 0 74904451 177180672 26239 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 43257 26239 2336 1147 0 30684 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 177220 KiB
Current children cumulated memory: 107900 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 85060
/proc/meminfo: memFree=127208088/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=218960 memory=154964 CPUtime=6.25 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 25189 0 0 0 595 30 0 0 20 0 1 0 74904451 224215040 38741 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 54740 38741 2336 1147 0 42167 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 223152 KiB
Current children cumulated memory: 157908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 85060
/proc/meminfo: memFree=126791696/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=264072 memory=173888 CPUtime=12.64 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 28385 0 0 0 1228 36 0 0 20 0 1 0 74904451 270409728 43472 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 66018 43472 2336 1147 0 53445 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 268264 KiB
Current children cumulated memory: 176832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 85061
/proc/meminfo: memFree=126467744/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=286992 memory=207276 CPUtime=25.41 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 33178 0 0 0 2496 45 0 0 20 0 1 0 74904451 293879808 51819 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 71748 51819 2336 1147 0 59175 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 291184 KiB
Current children cumulated memory: 210220 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 85061
/proc/meminfo: memFree=125757964/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=368168 memory=256968 CPUtime=50.95 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 41491 0 0 0 5035 60 0 0 20 0 1 0 74904451 377004032 64242 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 92042 64242 2336 1147 0 79469 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 372360 KiB
Current children cumulated memory: 259912 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 85065
/proc/meminfo: memFree=125369012/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=434244 memory=322624 CPUtime=102.01 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 53317 0 0 0 10117 84 0 0 20 0 1 0 74904451 444665856 80656 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 108561 80656 2336 1147 0 95988 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 438436 KiB
Current children cumulated memory: 325568 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 85067
/proc/meminfo: memFree=124605368/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=477108 memory=375092 CPUtime=161.86 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 61831 0 0 0 16078 108 0 0 20 0 1 0 74904451 488558592 93773 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 119277 93773 2336 1147 0 106704 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 481300 KiB
Current children cumulated memory: 378036 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 85069
/proc/meminfo: memFree=124308324/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=565012 memory=394128 CPUtime=221.71 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 65099 0 0 0 22043 128 0 0 20 0 1 0 74904451 578572288 98532 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 141253 98532 2336 1147 0 128680 0
################
# More data... #
################
/proc/85038/statm: 270811 242355 2336 1147 0 258238 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 1087436 KiB
Current children cumulated memory: 972364 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 85222
/proc/meminfo: memFree=118657136/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1300728 memory=979992 CPUtime=3093.51 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 141445 0 0 0 308739 612 0 0 20 0 1 0 74904451 1331945472 244998 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 325182 244998 2336 1147 0 312609 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 1304920 KiB
Current children cumulated memory: 982936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 85224
/proc/meminfo: memFree=118639484/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1301240 memory=980376 CPUtime=3153.33 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 141522 0 0 0 314716 617 0 0 20 0 1 0 74904451 1332469760 245094 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 325310 245094 2336 1147 0 312737 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 1305432 KiB
Current children cumulated memory: 983320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 85226
/proc/meminfo: memFree=118610796/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1305336 memory=982680 CPUtime=3213.14 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 142206 0 0 0 320691 623 0 0 20 0 1 0 74904451 1336664064 245670 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 326334 245670 2336 1147 0 313761 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 1309528 KiB
Current children cumulated memory: 985624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/267 85228
/proc/meminfo: memFree=118600832/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1305336 memory=982680 CPUtime=3272.95 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 142234 0 0 0 326665 630 0 0 20 0 1 0 74904451 1336664064 245670 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 326334 245670 2336 1147 0 313761 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 1309528 KiB
Current children cumulated memory: 985624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/267 85230
/proc/meminfo: memFree=118542428/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1313020 memory=986904 CPUtime=3332.77 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 143337 0 0 0 332642 635 0 0 20 0 1 0 74904451 1344532480 246726 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 328255 246726 2336 1147 0 315682 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 1317212 KiB
Current children cumulated memory: 989848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/267 85232
/proc/meminfo: memFree=118489268/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1314044 memory=990936 CPUtime=3392.59 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 143815 0 0 0 338617 642 0 0 20 0 1 0 74904451 1345581056 247734 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 328511 247734 2336 1147 0 315938 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 1318236 KiB
Current children cumulated memory: 993880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/267 85236
/proc/meminfo: memFree=118477004/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1316092 memory=991960 CPUtime=3452.4 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 144085 0 0 0 344592 648 0 0 20 0 1 0 74904451 1347678208 247990 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 329023 247990 2336 1147 0 316450 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1320284 KiB
Current children cumulated memory: 994904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.23 4.14 5/267 85239
/proc/meminfo: memFree=118316196/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1318652 memory=1001920 CPUtime=3512.22 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 144533 0 0 0 350568 654 0 0 20 0 1 0 74904451 1350299648 250480 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 329663 250480 2336 1147 0 317090 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 1322844 KiB
Current children cumulated memory: 1004864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/268 85247
/proc/meminfo: memFree=118196096/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1318652 memory=1001920 CPUtime=3572.03 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 144533 0 0 0 356545 658 0 0 20 0 1 0 74904451 1350299648 250480 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 329663 250480 2336 1147 0 317090 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 1322844 KiB
Current children cumulated memory: 1004864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.15 4.19 4.13 4/264 85258
/proc/meminfo: memFree=121383332/131250000 swapFree=33010684/33010684
[pid=85034] ppid=85027 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/85034/stat : 85034 (run-opt.sh) S 85027 85034 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74904450 4292608 736 18446744073709551615 93848721465344 93848722359877 140720936453744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848722598928 93848722646672 93848726921216 140720936462701 140720936462824 140720936462824 140720936468426 0
/proc/85034/statm: 1048 736 672 219 0 110 0
[pid=85038] ppid=85034 vsize=1318652 memory=1001920 CPUtime=3600.05 cores=5,7
/proc/85038/stat : 85038 (roundingsat) R 85034 85034 84107 0 -1 4194304 144533 0 0 0 359343 662 0 0 20 0 1 0 74904451 1350299648 250480 18446744073709551615 4227072 8923433 140725722351232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40243200 140725722356130 140725722356264 140725722356264 140725722361834 0
/proc/85038/statm: 329663 250480 2336 1147 0 317090 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1322844 KiB
Current children cumulated memory: 1004864 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 85034 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002646 s
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 85038 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.45 s, system=6.63138 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.42
CPU time (s): 3600.08
CPU user time (s): 3593.45
CPU system time (s): 6.63138
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 1322844
Max. memory (cumulated for all children) (KiB): 1004864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.45
system time used= 6.63138
maximum resident set size= 1002432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144766
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= 286
involuntary context switches= 2792
# summary of solver processes directly reported to runsolver:
# pid: 85034,85038
# total CPU time (s): 3600.08
# total CPU user time (s): 3593.45
# total CPU system time (s): 6.63138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83805 second user time and 18.0376 second system time
The end
Begin job on nodeC028 at 2025-07-04 03:33:39
IDJOB=4522090
IDBENCH=178576
IDSOLVER=3350
FILE ID=nodeC028/4522090-1751592819
RUNJOBID= nodeC028-1751585596-84120
SLURM_JOB_ID= 9598831
Free space on /tmp= 431468 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522090-1751592819/watcher-4522090-1751592819 -o /tmp/evaluation-result-4522090-1751592819/solver-4522090-1751592819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4522090-1751592819.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=1519939713
nodeC028 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.295
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.16
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.000
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.296
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.16
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 : 3419.653
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.16
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.080
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.16
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 : 3174.981
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.308
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127766668 kB
MemAvailable: 129669964 kB
Buffers: 3280 kB
Cached: 2704408 kB
SwapCached: 0 kB
Active: 446828 kB
Inactive: 2395144 kB
Active(anon): 152360 kB
Inactive(anon): 0 kB
Active(file): 294468 kB
Inactive(file): 2395144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18716 kB
Writeback: 12 kB
AnonPages: 137260 kB
Mapped: 110352 kB
Shmem: 18068 kB
KReclaimable: 105844 kB
Slab: 195844 kB
SReclaimable: 105844 kB
SUnreclaim: 90000 kB
KernelStack: 4240 kB
PageTables: 3180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 431204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431448 MiB
End job on nodeC028 at 2025-07-04 04:33:50