0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
4.47/4.58 c #variables 4576880 #constraints 176770
4.47/4.58 c objective is ce32
4.86/4.98 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.86/4.98 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.86/4.98 c GLOBAL bounds - >= 0 @ 3.93299
9.46/9.51 c GLOBAL bounds - >= 0 @ 5.59041
14.95/15.00 c GLOBAL bounds - >= 0 @ 10.1901
19.44/19.56 c GLOBAL bounds - >= 0 @ 11.8572
19.53/19.64 c GLOBAL bounds - >= 0 @ 11.9129
24.13/24.21 c GLOBAL bounds - >= 0 @ 13.6129
24.13/24.26 c GLOBAL bounds - >= 0 @ 13.6533
28.72/28.80 c GLOBAL bounds - >= 0 @ 15.2773
28.72/28.86 c GLOBAL bounds - >= 0 @ 15.3209
33.31/33.42 c GLOBAL bounds - >= 0 @ 16.949
33.31/33.48 c GLOBAL bounds - >= 0 @ 16.9941
37.91/38.02 c GLOBAL bounds - >= 0 @ 18.6047
37.91/38.08 c GLOBAL bounds - >= 0 @ 18.6509
42.50/42.65 c GLOBAL bounds - >= 0 @ 20.3306
42.59/42.71 c GLOBAL bounds - >= 0 @ 20.3779
47.09/47.25 c GLOBAL bounds - >= 0 @ 22.0539
47.19/47.32 c GLOBAL bounds - >= 0 @ 22.1069
51.68/51.88 c GLOBAL bounds - >= 0 @ 23.8197
51.78/51.95 c GLOBAL bounds - >= 0 @ 23.871
56.28/56.49 c GLOBAL bounds - >= 0 @ 25.4702
56.37/56.56 c GLOBAL bounds - >= 0 @ 25.5184
60.97/61.13 c GLOBAL bounds - >= 0 @ 27.195
65.56/65.80 c GLOBAL bounds - >= 10 @ 28.9286
65.65/65.88 c GLOBAL bounds - >= 10 @ 28.9858
70.25/70.42 c GLOBAL bounds - >= 10 @ 30.6184
70.35/70.50 c GLOBAL bounds - >= 10 @ 30.675
74.84/75.01 c GLOBAL bounds - >= 10 @ 32.3184
74.84/75.10 c GLOBAL bounds - >= 10 @ 32.3728
79.43/79.62 c GLOBAL bounds - >= 10 @ 33.9485
79.54/79.70 c GLOBAL bounds - >= 10 @ 34.0069
84.03/84.22 c GLOBAL bounds - >= 10 @ 35.7058
84.12/84.31 c GLOBAL bounds - >= 10 @ 35.7655
88.62/88.83 c GLOBAL bounds - >= 10 @ 37.3824
88.71/88.92 c GLOBAL bounds - >= 10 @ 37.4464
93.21/93.44 c GLOBAL bounds - >= 10 @ 39.089
93.41/93.64 c GLOBAL bounds - >= 10 @ 39.2207
97.90/98.16 c GLOBAL bounds - >= 10 @ 40.8764
97.99/98.26 c GLOBAL bounds - >= 10 @ 40.9397
102.49/102.78 c GLOBAL bounds - >= 10 @ 42.5669
102.59/102.88 c #Conflicts: 1000 | #Constraints: 177807
102.59/102.88 c GLOBAL bounds - >= 10 @ 42.6338
107.18/107.40 c GLOBAL bounds - >= 10 @ 44.3191
107.28/107.51 c GLOBAL bounds - >= 10 @ 44.3863
111.78/112.03 c GLOBAL bounds - >= 10 @ 46.0294
111.78/112.06 c GLOBAL bounds - >= 20 @ 46.061
111.88/112.17 c GLOBAL bounds - >= 20 @ 46.1378
116.37/116.69 c GLOBAL bounds - >= 20 @ 47.7516
116.57/116.80 c GLOBAL bounds - >= 20 @ 47.822
121.05/121.32 c GLOBAL bounds - >= 20 @ 49.402
121.15/121.44 c GLOBAL bounds - >= 20 @ 49.4738
125.65/125.95 c GLOBAL bounds - >= 20 @ 51.0851
125.75/126.07 c GLOBAL bounds - >= 20 @ 51.1628
130.24/130.59 c GLOBAL bounds - >= 20 @ 52.7665
130.44/130.71 c GLOBAL bounds - >= 20 @ 52.8487
134.93/135.23 c GLOBAL bounds - >= 20 @ 54.3905
135.03/135.35 c GLOBAL bounds - >= 20 @ 54.4641
139.53/139.87 c GLOBAL bounds - >= 20 @ 56.1047
139.73/140.00 c GLOBAL bounds - >= 20 @ 56.178
144.22/144.52 c GLOBAL bounds - >= 20 @ 57.7873
144.31/144.65 c GLOBAL bounds - >= 20 @ 57.8612
148.81/149.17 c GLOBAL bounds - >= 20 @ 59.4783
149.01/149.31 c GLOBAL bounds - >= 20 @ 59.5566
153.50/153.82 c GLOBAL bounds - >= 20 @ 61.2044
153.60/153.96 c GLOBAL bounds - >= 20 @ 61.2911
158.09/158.48 c GLOBAL bounds - >= 20 @ 62.8927
158.19/158.52 c GLOBAL bounds - >= 30 @ 62.9328
158.29/158.67 c GLOBAL bounds - >= 30 @ 63.0263
162.79/163.18 c GLOBAL bounds - >= 30 @ 64.625
162.98/163.33 c GLOBAL bounds - >= 30 @ 64.7066
167.48/167.83 c GLOBAL bounds - >= 30 @ 66.3282
167.58/167.98 c GLOBAL bounds - >= 30 @ 66.4188
172.07/172.49 c GLOBAL bounds - >= 30 @ 68.027
172.27/172.64 c GLOBAL bounds - >= 30 @ 68.1104
176.77/177.15 c GLOBAL bounds - >= 30 @ 69.7417
176.96/177.31 c GLOBAL bounds - >= 30 @ 69.8393
181.45/181.82 c GLOBAL bounds - >= 30 @ 71.4645
181.55/181.98 c GLOBAL bounds - >= 30 @ 71.5564
186.05/186.48 c GLOBAL bounds - >= 30 @ 73.1593
186.24/186.64 c GLOBAL bounds - >= 30 @ 73.2578
190.73/191.15 c GLOBAL bounds - >= 30 @ 74.8697
190.93/191.32 c #Conflicts: 2000 | #Constraints: 178867
190.93/191.32 c GLOBAL bounds - >= 30 @ 74.9734
195.42/195.83 c GLOBAL bounds - >= 30 @ 76.5966
199.91/200.33 c INPROCESSING
199.91/200.33 c GLOBAL bounds - >= 30 @ 80.9253
204.41/204.84 c GLOBAL bounds - >= 30 @ 82.5574
204.61/205.01 c GLOBAL bounds - >= 30 @ 82.656
209.10/209.52 c GLOBAL bounds - >= 30 @ 84.3193
209.10/209.57 c GLOBAL bounds - >= 40 @ 84.3677
209.30/209.75 c GLOBAL bounds - >= 40 @ 84.4758
213.79/214.27 c GLOBAL bounds - >= 40 @ 86.1008
213.99/214.44 c GLOBAL bounds - >= 40 @ 86.2092
218.48/218.95 c GLOBAL bounds - >= 40 @ 87.8946
218.69/219.13 c GLOBAL bounds - >= 40 @ 87.9856
223.17/223.64 c GLOBAL bounds - >= 40 @ 89.6643
223.37/223.83 c GLOBAL bounds - >= 40 @ 89.7742
227.86/228.34 c GLOBAL bounds - >= 40 @ 91.4012
228.07/228.53 c GLOBAL bounds - >= 40 @ 91.5053
232.56/233.04 c GLOBAL bounds - >= 40 @ 93.1331
232.75/233.24 c GLOBAL bounds - >= 40 @ 93.2401
237.25/237.75 c GLOBAL bounds - >= 40 @ 94.8393
237.44/237.95 c GLOBAL bounds - >= 40 @ 94.9506
241.94/242.45 c GLOBAL bounds - >= 40 @ 96.5953
242.13/242.65 c GLOBAL bounds - >= 40 @ 96.7001
246.64/247.16 c GLOBAL bounds - >= 40 @ 98.3431
246.83/247.36 c GLOBAL bounds - >= 40 @ 98.4572
251.33/251.87 c GLOBAL bounds - >= 40 @ 100.132
251.53/252.08 c GLOBAL bounds - >= 40 @ 100.24
256.02/256.58 c GLOBAL bounds - >= 40 @ 101.856
256.11/256.64 c GLOBAL bounds - >= 50 @ 101.906
256.31/256.85 c GLOBAL bounds - >= 50 @ 102.025
260.80/261.36 c GLOBAL bounds - >= 50 @ 103.734
261.00/261.58 c GLOBAL bounds - >= 50 @ 103.848
265.50/266.08 c GLOBAL bounds - >= 50 @ 105.508
265.80/266.30 c GLOBAL bounds - >= 50 @ 105.628
270.29/270.81 c GLOBAL bounds - >= 50 @ 107.228
270.49/271.03 c GLOBAL bounds - >= 50 @ 107.347
274.98/275.53 c GLOBAL bounds - >= 50 @ 108.964
275.19/275.76 c GLOBAL bounds - >= 50 @ 109.086
279.67/280.27 c GLOBAL bounds - >= 50 @ 110.74
279.87/280.49 c #Conflicts: 3000 | #Constraints: 178934
279.87/280.49 c GLOBAL bounds - >= 50 @ 110.865
284.36/285.00 c GLOBAL bounds - >= 50 @ 112.513
284.47/285.05 c GLOBAL bounds - >= 50 @ 112.553
288.95/289.55 c GLOBAL bounds - >= 50 @ 114.203
289.06/289.61 c GLOBAL bounds - >= 50 @ 114.253
293.56/294.12 c GLOBAL bounds - >= 50 @ 115.905
293.75/294.36 c GLOBAL bounds - >= 50 @ 116.041
298.24/298.87 c GLOBAL bounds - >= 50 @ 117.657
298.34/298.93 c GLOBAL bounds - >= 50 @ 117.71
302.83/303.44 c GLOBAL bounds - >= 50 @ 119.318
307.32/307.96 c GLOBAL bounds - >= 50 @ 121.021
311.82/312.48 c GLOBAL bounds - >= 50 @ 122.662
316.31/317.00 c GLOBAL bounds - >= 50 @ 124.336
316.41/317.06 c GLOBAL bounds - >= 57 @ 124.395
316.71/317.30 c GLOBAL bounds - >= 57 @ 124.518
316.71/317.32 c GLOBAL bounds - >= 57 @ 124.533
321.20/321.83 c GLOBAL bounds - >= 57 @ 126.211
321.20/321.86 c GLOBAL bounds - >= 57 @ 126.232
325.69/326.37 c GLOBAL bounds - >= 57 @ 127.853
325.69/326.39 c GLOBAL bounds - >= 57 @ 127.874
330.28/330.90 c GLOBAL bounds - >= 57 @ 129.492
330.49/331.14 c GLOBAL bounds - >= 57 @ 129.613
334.98/335.65 c GLOBAL bounds - >= 57 @ 131.212
335.07/335.71 c GLOBAL bounds - >= 57 @ 131.263
339.56/340.21 c GLOBAL bounds - >= 57 @ 132.873
339.77/340.47 c GLOBAL bounds - >= 57 @ 133.015
344.26/344.98 c GLOBAL bounds - >= 57 @ 134.663
344.36/345.04 c #Conflicts: 4000 | #Constraints: 179962
344.36/345.04 c GLOBAL bounds - >= 57 @ 134.713
348.84/349.54 c GLOBAL bounds - >= 57 @ 136.315
349.15/349.80 c GLOBAL bounds - >= 57 @ 136.459
353.64/354.31 c GLOBAL bounds - >= 57 @ 138.056
353.83/354.54 c INPROCESSING
353.83/354.54 c GLOBAL bounds - >= 57 @ 138.281
358.34/359.05 c GLOBAL bounds - >= 57 @ 139.936
358.63/359.31 c GLOBAL bounds - >= 57 @ 140.076
363.12/363.83 c GLOBAL bounds - >= 57 @ 141.698
367.62/368.35 c GLOBAL bounds - >= 57 @ 143.372
372.10/372.87 c GLOBAL bounds - >= 57 @ 144.977
376.59/377.39 c GLOBAL bounds - >= 57 @ 146.609
381.18/381.91 c GLOBAL bounds - >= 57 @ 148.297
385.69/386.44 c GLOBAL bounds - >= 57 @ 149.93
390.17/390.96 c GLOBAL bounds - >= 57 @ 151.58
390.27/391.02 c GLOBAL bounds - >= 61 @ 151.64
390.27/391.07 c GLOBAL bounds - >= 61 @ 151.683
390.27/391.09 c GLOBAL bounds - >= 61 @ 151.694
394.86/395.60 c GLOBAL bounds - >= 61 @ 153.32
395.07/395.83 c GLOBAL bounds - >= 61 @ 153.429
399.55/400.34 c GLOBAL bounds - >= 61 @ 154.999
399.55/400.37 c GLOBAL bounds - >= 61 @ 155.023
404.05/404.88 c GLOBAL bounds - >= 61 @ 156.631
404.35/405.11 c GLOBAL bounds - >= 61 @ 156.745
408.84/409.62 c GLOBAL bounds - >= 61 @ 158.388
409.03/409.86 c GLOBAL bounds - >= 61 @ 158.499
413.53/414.37 c GLOBAL bounds - >= 61 @ 160.086
413.63/414.40 c GLOBAL bounds - >= 61 @ 160.108
418.12/418.91 c GLOBAL bounds - >= 61 @ 161.746
418.33/419.17 c GLOBAL bounds - >= 61 @ 161.879
422.81/423.69 c GLOBAL bounds - >= 61 @ 163.484
422.91/423.75 c GLOBAL bounds - >= 61 @ 163.539
427.40/428.26 c GLOBAL bounds - >= 61 @ 165.201
427.70/428.54 c #Conflicts: 5000 | #Constraints: 179410
427.70/428.54 c GLOBAL bounds - >= 61 @ 165.368
432.20/433.06 c GLOBAL bounds - >= 61 @ 166.943
432.30/433.12 c GLOBAL bounds - >= 61 @ 166.994
436.79/437.63 c GLOBAL bounds - >= 61 @ 168.648
441.28/442.17 c GLOBAL bounds - >= 61 @ 170.314
445.87/446.71 c GLOBAL bounds - >= 61 @ 171.935
450.36/451.24 c GLOBAL bounds - >= 61 @ 173.559
454.95/455.80 c GLOBAL bounds - >= 61 @ 175.291
459.44/460.38 c GLOBAL bounds - >= 61 @ 177.04
464.04/464.95 c GLOBAL bounds - >= 61 @ 178.74
468.63/469.52 c GLOBAL bounds - >= 61 @ 180.463
468.63/469.57 c GLOBAL bounds - >= 64 @ 180.519
468.73/469.63 c GLOBAL bounds - >= 64 @ 180.565
468.92/469.87 c GLOBAL bounds - >= 64 @ 180.668
468.92/469.89 c GLOBAL bounds - >= 64 @ 180.683
473.52/474.40 c GLOBAL bounds - >= 64 @ 182.315
473.52/474.43 c GLOBAL bounds - >= 64 @ 182.338
478.01/478.93 c GLOBAL bounds - >= 64 @ 183.961
478.01/478.96 c GLOBAL bounds - >= 64 @ 183.984
482.50/483.47 c GLOBAL bounds - >= 64 @ 185.56
482.59/483.50 c GLOBAL bounds - >= 64 @ 185.587
487.09/488.02 c GLOBAL bounds - >= 64 @ 187.218
487.09/488.06 c GLOBAL bounds - >= 64 @ 187.248
491.58/492.57 c GLOBAL bounds - >= 64 @ 188.879
491.58/492.59 c GLOBAL bounds - >= 64 @ 188.89
496.08/497.10 c GLOBAL bounds - >= 64 @ 190.518
496.18/497.13 c GLOBAL bounds - >= 64 @ 190.539
500.66/501.64 c GLOBAL bounds - >= 64 @ 192.152
500.66/501.69 c GLOBAL bounds - >= 64 @ 192.194
505.25/506.20 c GLOBAL bounds - >= 64 @ 193.865
505.45/506.48 c GLOBAL bounds - >= 64 @ 194.022
509.95/511.00 c GLOBAL bounds - >= 64 @ 195.676
510.04/511.06 c GLOBAL bounds - >= 64 @ 195.728
514.54/515.57 c GLOBAL bounds - >= 64 @ 197.364
519.13/520.10 c GLOBAL bounds - >= 64 @ 198.984
523.61/524.64 c GLOBAL bounds - >= 64 @ 200.586
528.11/529.16 c GLOBAL bounds - >= 64 @ 202.194
532.60/533.69 c GLOBAL bounds - >= 64 @ 203.83
537.19/538.24 c GLOBAL bounds - >= 64 @ 205.52
541.78/542.81 c GLOBAL bounds - >= 64 @ 207.198
546.27/547.37 c GLOBAL bounds - >= 64 @ 208.922
546.27/547.39 c GLOBAL bounds - >= 68 @ 208.945
546.38/547.46 c GLOBAL bounds - >= 68 @ 208.995
546.67/547.70 c GLOBAL bounds - >= 68 @ 209.11
546.67/547.72 c #Conflicts: 6000 | #Constraints: 180447
546.67/547.72 c GLOBAL bounds - >= 68 @ 209.122
551.16/552.23 c GLOBAL bounds - >= 68 @ 210.732
556.76/557.80 c GLOBAL bounds - >= 68 @ 216.153
561.25/562.31 c GLOBAL bounds - >= 68 @ 217.797
561.25/562.34 c GLOBAL bounds - >= 68 @ 217.819
565.74/566.85 c GLOBAL bounds - >= 68 @ 219.509
565.74/566.88 c GLOBAL bounds - >= 68 @ 219.532
570.32/571.40 c GLOBAL bounds - >= 68 @ 221.19
570.52/571.66 c GLOBAL bounds - >= 68 @ 221.302
575.02/576.17 c GLOBAL bounds - >= 68 @ 222.936
575.12/576.20 c GLOBAL bounds - >= 68 @ 222.96
579.61/580.71 c GLOBAL bounds - >= 68 @ 224.568
579.61/580.74 c GLOBAL bounds - >= 68 @ 224.588
584.10/585.25 c GLOBAL bounds - >= 68 @ 226.214
584.10/585.27 c GLOBAL bounds - >= 68 @ 226.237
588.59/589.79 c GLOBAL bounds - >= 68 @ 227.894
588.90/590.05 c GLOBAL bounds - >= 68 @ 228.011
593.39/594.56 c GLOBAL bounds - >= 68 @ 229.631
593.39/594.59 c GLOBAL bounds - >= 68 @ 229.656
597.98/599.10 c GLOBAL bounds - >= 68 @ 231.276
602.46/603.63 c GLOBAL bounds - >= 68 @ 232.927
606.96/608.15 c GLOBAL bounds - >= 68 @ 234.61
606.96/608.17 c GLOBAL bounds - >= 71 @ 234.631
607.06/608.20 c GLOBAL bounds - >= 71 @ 234.658
607.06/608.22 c GLOBAL bounds - >= 71 @ 234.67
611.54/612.73 c GLOBAL bounds - >= 71 @ 236.309
611.75/612.99 c GLOBAL bounds - >= 71 @ 236.445
616.34/617.51 c GLOBAL bounds - >= 71 @ 238.114
616.54/617.76 c INPROCESSING
616.54/617.76 c GARBAGE COLLECT
616.54/617.76 c GLOBAL bounds - >= 71 @ 238.359
621.02/622.27 c GLOBAL bounds - >= 71 @ 240.011
621.13/622.31 c GLOBAL bounds - >= 71 @ 240.045
625.62/626.83 c GLOBAL bounds - >= 71 @ 241.663
625.92/627.11 c GLOBAL bounds - >= 71 @ 241.794
630.41/631.62 c GLOBAL bounds - >= 71 @ 243.423
630.41/631.68 c GLOBAL bounds - >= 71 @ 243.477
635.00/636.20 c GLOBAL bounds - >= 71 @ 245.107
635.30/636.50 c #Conflicts: 7000 | #Constraints: 179493
635.30/636.50 c GLOBAL bounds - >= 71 @ 245.271
639.80/641.01 c GLOBAL bounds - >= 71 @ 246.874
639.80/641.07 c GLOBAL bounds - >= 71 @ 246.926
644.28/645.59 c GLOBAL bounds - >= 71 @ 248.494
644.59/645.89 c GLOBAL bounds - >= 71 @ 248.647
649.18/650.41 c GLOBAL bounds - >= 71 @ 250.272
649.18/650.47 c GLOBAL bounds - >= 71 @ 250.324
653.67/654.98 c GLOBAL bounds - >= 71 @ 251.903
658.25/659.50 c GLOBAL bounds - >= 71 @ 253.545
662.75/664.03 c GLOBAL bounds - >= 71 @ 255.179
667.24/668.55 c GLOBAL bounds - >= 71 @ 256.831
671.74/673.09 c GLOBAL bounds - >= 71 @ 258.524
676.32/677.63 c GLOBAL bounds - >= 71 @ 260.157
676.42/677.71 c GLOBAL bounds - >= 76 @ 260.235
676.72/678.01 c GLOBAL bounds - >= 76 @ 260.389
676.72/678.02 c GLOBAL bounds - >= 76 @ 260.401
681.21/682.54 c GLOBAL bounds - >= 76 @ 262.007
681.21/682.56 c GLOBAL bounds - >= 76 @ 262.027
685.71/687.07 c GLOBAL bounds - >= 76 @ 263.686
685.71/687.10 c GLOBAL bounds - >= 76 @ 263.709
690.29/691.61 c GLOBAL bounds - >= 76 @ 265.256
690.59/691.90 c GLOBAL bounds - >= 76 @ 265.402
695.09/696.42 c GLOBAL bounds - >= 76 @ 267.041
695.09/696.46 c GLOBAL bounds - >= 76 @ 267.078
699.57/700.97 c GLOBAL bounds - >= 76 @ 268.745
699.87/701.27 c GLOBAL bounds - >= 76 @ 268.899
704.36/705.77 c GLOBAL bounds - >= 76 @ 270.521
704.47/705.83 c #Conflicts: 8000 | #Constraints: 180515
704.47/705.83 c GLOBAL bounds - >= 76 @ 270.572
708.96/710.35 c GLOBAL bounds - >= 76 @ 272.249
709.26/710.67 c GLOBAL bounds - >= 76 @ 272.407
713.75/715.18 c GLOBAL bounds - >= 76 @ 274.034
713.85/715.24 c GLOBAL bounds - >= 76 @ 274.088
718.34/719.76 c GLOBAL bounds - >= 76 @ 275.641
718.64/720.08 c GLOBAL bounds - >= 76 @ 275.812
723.13/724.59 c GLOBAL bounds - >= 76 @ 277.443
727.73/729.12 c GLOBAL bounds - >= 76 @ 279.082
732.21/733.65 c GLOBAL bounds - >= 76 @ 280.746
736.71/738.18 c GLOBAL bounds - >= 76 @ 282.395
741.30/742.71 c #Conflicts: 1000 | #Constraints: 1288
741.30/742.71 c GLOBAL bounds - >= 76 @ 284.063
745.79/747.24 c GLOBAL bounds - >= 76 @ 285.709
750.38/751.80 c GLOBAL bounds - >= 76 @ 287.415
750.38/751.87 c GLOBAL bounds - >= 80 @ 287.487
750.47/751.92 c GLOBAL bounds - >= 80 @ 287.531
750.47/751.94 c GLOBAL bounds - >= 80 @ 287.545
754.97/756.45 c GLOBAL bounds - >= 80 @ 289.197
755.27/756.74 c GLOBAL bounds - >= 80 @ 289.339
759.76/761.25 c GLOBAL bounds - >= 80 @ 290.937
759.76/761.28 c GLOBAL bounds - >= 80 @ 290.959
764.25/765.79 c GLOBAL bounds - >= 80 @ 292.614
764.35/765.83 c GLOBAL bounds - >= 80 @ 292.645
768.85/770.34 c GLOBAL bounds - >= 80 @ 294.246
769.14/770.65 c GLOBAL bounds - >= 80 @ 294.396
773.64/775.17 c GLOBAL bounds - >= 80 @ 295.979
773.74/775.21 c GLOBAL bounds - >= 80 @ 296.012
778.22/779.72 c GLOBAL bounds - >= 80 @ 297.738
778.53/780.04 c #Conflicts: 9000 | #Constraints: 181536
778.53/780.04 c GLOBAL bounds - >= 80 @ 297.883
783.02/784.56 c GLOBAL bounds - >= 80 @ 299.495
783.11/784.62 c GLOBAL bounds - >= 80 @ 299.545
787.61/789.13 c GLOBAL bounds - >= 80 @ 301.163
787.91/789.47 c GLOBAL bounds - >= 80 @ 301.338
792.39/793.98 c GLOBAL bounds - >= 80 @ 302.939
803.87/805.45 c INPROCESSING
803.87/805.45 c GLOBAL bounds - >= 80 @ 314.025
808.36/809.96 c GLOBAL bounds - >= 80 @ 315.649
812.85/814.49 c GLOBAL bounds - >= 80 @ 317.323
817.45/819.02 c GLOBAL bounds - >= 80 @ 318.937
821.93/823.57 c GLOBAL bounds - >= 80 @ 320.684
826.53/828.14 c GLOBAL bounds - >= 80 @ 322.312
831.11/832.70 c GLOBAL bounds - >= 80 @ 323.985
831.11/832.77 c GLOBAL bounds - >= 85 @ 324.055
831.52/833.10 c GLOBAL bounds - >= 85 @ 324.214
831.52/833.12 c GLOBAL bounds - >= 85 @ 324.224
836.01/837.64 c GLOBAL bounds - >= 85 @ 325.852
836.01/837.66 c GLOBAL bounds - >= 85 @ 325.873
840.50/842.18 c GLOBAL bounds - >= 85 @ 327.507
840.60/842.20 c GLOBAL bounds - >= 85 @ 327.529
845.09/846.72 c GLOBAL bounds - >= 85 @ 329.143
845.39/847.02 c GLOBAL bounds - >= 85 @ 329.29
849.88/851.53 c GLOBAL bounds - >= 85 @ 330.911
849.88/851.56 c GLOBAL bounds - >= 85 @ 330.934
854.37/856.07 c GLOBAL bounds - >= 85 @ 332.569
854.48/856.12 c GLOBAL bounds - >= 85 @ 332.604
858.96/860.63 c GLOBAL bounds - >= 85 @ 334.22
859.26/860.96 c GLOBAL bounds - >= 85 @ 334.389
863.75/865.47 c GLOBAL bounds - >= 85 @ 336.021
863.86/865.51 c GLOBAL bounds - >= 85 @ 336.052
868.34/870.03 c GLOBAL bounds - >= 85 @ 337.708
868.65/870.38 c #Conflicts: 10000 | #Constraints: 180255
868.65/870.38 c GLOBAL bounds - >= 85 @ 337.898
873.24/874.90 c GLOBAL bounds - >= 85 @ 339.532
873.24/874.96 c GLOBAL bounds - >= 85 @ 339.583
877.73/879.48 c GLOBAL bounds - >= 85 @ 341.212
882.32/884.01 c GLOBAL bounds - >= 85 @ 342.843
886.81/888.54 c GLOBAL bounds - >= 85 @ 344.449
891.31/893.07 c GLOBAL bounds - >= 85 @ 346.064
895.89/897.60 c GLOBAL bounds - >= 85 @ 347.71
895.89/897.67 c GLOBAL bounds - >= 89 @ 347.78
896.30/898.01 c GLOBAL bounds - >= 89 @ 347.955
896.30/898.03 c GLOBAL bounds - >= 89 @ 347.966
900.78/902.54 c GLOBAL bounds - >= 89 @ 349.548
900.78/902.57 c GLOBAL bounds - >= 89 @ 349.568
905.28/907.08 c GLOBAL bounds - >= 89 @ 351.204
905.38/907.11 c GLOBAL bounds - >= 89 @ 351.226
909.87/911.61 c GLOBAL bounds - >= 89 @ 352.889
910.16/911.95 c GLOBAL bounds - >= 89 @ 353.055
914.66/916.46 c GLOBAL bounds - >= 89 @ 354.686
914.76/916.50 c GLOBAL bounds - >= 89 @ 354.72
919.25/921.02 c GLOBAL bounds - >= 89 @ 356.347
919.55/921.37 c GLOBAL bounds - >= 89 @ 356.532
924.04/925.89 c GLOBAL bounds - >= 89 @ 358.157
924.14/925.95 c GLOBAL bounds - >= 89 @ 358.209
928.63/930.46 c GLOBAL bounds - >= 89 @ 359.826
929.03/930.83 c GLOBAL bounds - >= 89 @ 360.021
933.52/935.34 c GLOBAL bounds - >= 89 @ 361.601
933.62/935.40 c #Conflicts: 11000 | #Constraints: 181278
933.62/935.40 c GLOBAL bounds - >= 89 @ 361.652
938.11/939.91 c GLOBAL bounds - >= 89 @ 363.271
938.41/940.28 c GLOBAL bounds - >= 89 @ 363.453
942.90/944.79 c GLOBAL bounds - >= 89 @ 365.073
947.49/949.32 c GLOBAL bounds - >= 89 @ 366.709
951.99/953.85 c GLOBAL bounds - >= 89 @ 368.386
956.47/958.38 c GLOBAL bounds - >= 89 @ 370.04
961.07/962.91 c GLOBAL bounds - >= 89 @ 371.687
965.56/967.44 c GLOBAL bounds - >= 89 @ 373.342
970.15/972.01 c GLOBAL bounds - >= 89 @ 374.943
970.15/972.08 c GLOBAL bounds - >= 93 @ 375.018
970.26/972.13 c GLOBAL bounds - >= 93 @ 375.065
970.26/972.15 c GLOBAL bounds - >= 93 @ 375.074
974.74/976.66 c GLOBAL bounds - >= 93 @ 376.72
975.04/976.99 c GLOBAL bounds - >= 93 @ 376.88
979.63/981.50 c GLOBAL bounds - >= 93 @ 378.465
979.63/981.53 c GLOBAL bounds - >= 93 @ 378.488
984.13/986.04 c GLOBAL bounds - >= 93 @ 380.125
984.13/986.08 c GLOBAL bounds - >= 93 @ 380.156
988.72/990.60 c GLOBAL bounds - >= 93 @ 381.753
989.01/990.95 c GLOBAL bounds - >= 93 @ 381.934
993.50/995.46 c GLOBAL bounds - >= 93 @ 383.562
993.61/995.50 c GLOBAL bounds - >= 93 @ 383.599
998.11/1000.01 c GLOBAL bounds - >= 93 @ 385.22
998.41/1000.36 c GLOBAL bounds - >= 93 @ 385.4
1002.89/1004.87 c GLOBAL bounds - >= 93 @ 387.045
1002.99/1004.93 c GLOBAL bounds - >= 93 @ 387.098
1007.48/1009.45 c GLOBAL bounds - >= 93 @ 388.769
1007.88/1009.82 c #Conflicts: 12000 | #Constraints: 182307
1007.88/1009.82 c GLOBAL bounds - >= 93 @ 388.965
1012.37/1014.34 c GLOBAL bounds - >= 93 @ 390.618
1012.67/1014.64 c INPROCESSING
1012.67/1014.64 c GARBAGE COLLECT
1012.67/1014.64 c GLOBAL bounds - >= 93 @ 390.909
1017.17/1019.15 c GLOBAL bounds - >= 93 @ 392.552
1021.66/1023.69 c GLOBAL bounds - >= 93 @ 394.236
1026.25/1028.22 c GLOBAL bounds - >= 93 @ 395.874
1030.74/1032.76 c GLOBAL bounds - >= 93 @ 397.577
1035.34/1037.35 c GLOBAL bounds - >= 93 @ 399.248
1039.93/1041.93 c GLOBAL bounds - >= 93 @ 401.016
1040.03/1042.03 c #Conflicts: 2000 | #Constraints: 2362
1040.03/1042.03 c GLOBAL bounds - >= 98 @ 401.111
1040.42/1042.40 c GLOBAL bounds - >= 98 @ 401.31
1040.42/1042.42 c GLOBAL bounds - >= 98 @ 401.323
1045.12/1047.10 c INPROCESSING
1045.12/1047.10 c GARBAGE COLLECT
1045.12/1047.10 c GLOBAL bounds - >= 98 @ 403.13
1045.12/1047.13 c GLOBAL bounds - >= 98 @ 403.152
1049.61/1051.64 c GLOBAL bounds - >= 98 @ 404.772
1049.61/1051.67 c GLOBAL bounds - >= 98 @ 404.795
1054.10/1056.18 c GLOBAL bounds - >= 98 @ 406.367
1054.50/1056.55 c GLOBAL bounds - >= 98 @ 406.528
1059.00/1061.06 c GLOBAL bounds - >= 98 @ 408.206
1059.00/1061.10 c GLOBAL bounds - >= 98 @ 408.238
1063.58/1065.61 c GLOBAL bounds - >= 98 @ 409.888
1063.88/1065.98 c GLOBAL bounds - >= 98 @ 410.068
1068.37/1070.49 c GLOBAL bounds - >= 98 @ 411.674
1068.48/1070.55 c GLOBAL bounds - >= 98 @ 411.724
1072.97/1075.06 c GLOBAL bounds - >= 98 @ 413.324
1073.36/1075.45 c GLOBAL bounds - >= 98 @ 413.522
1077.86/1079.96 c GLOBAL bounds - >= 98 @ 415.133
1077.96/1080.02 c #Conflicts: 13000 | #Constraints: 180785
1077.96/1080.02 c GLOBAL bounds - >= 98 @ 415.183
1082.45/1084.54 c GLOBAL bounds - >= 98 @ 416.775
1082.85/1084.93 c GLOBAL bounds - >= 98 @ 416.986
1087.34/1089.44 c GLOBAL bounds - >= 98 @ 418.662
1091.84/1093.97 c GLOBAL bounds - >= 98 @ 420.33
1096.43/1098.51 c GLOBAL bounds - >= 98 @ 421.994
1100.93/1103.04 c GLOBAL bounds - >= 98 @ 423.653
1105.41/1107.58 c GLOBAL bounds - >= 98 @ 425.31
1110.00/1112.15 c GLOBAL bounds - >= 98 @ 427.049
1114.59/1116.77 c GLOBAL bounds - >= 98 @ 428.778
1114.70/1116.87 c GLOBAL bounds - >= 102 @ 428.871
1114.80/1116.91 c GLOBAL bounds - >= 102 @ 428.916
1114.80/1116.93 c GLOBAL bounds - >= 102 @ 428.925
1114.80/1116.93 c GLOBAL bounds - >= 102 @ 428.928
1119.28/1121.44 c GLOBAL bounds - >= 102 @ 430.552
1119.68/1121.81 c GLOBAL bounds - >= 102 @ 430.724
1124.18/1126.32 c GLOBAL bounds - >= 102 @ 432.384
1124.18/1126.35 c GLOBAL bounds - >= 102 @ 432.409
1128.67/1130.86 c GLOBAL bounds - >= 102 @ 433.984
1128.77/1130.90 c GLOBAL bounds - >= 102 @ 434.015
1133.26/1135.41 c GLOBAL bounds - >= 102 @ 435.576
1133.56/1135.79 c GLOBAL bounds - >= 102 @ 435.753
1138.15/1140.30 c GLOBAL bounds - >= 102 @ 437.439
1138.15/1140.34 c GLOBAL bounds - >= 102 @ 437.473
1142.64/1144.85 c GLOBAL bounds - >= 102 @ 439.093
1143.05/1145.24 c GLOBAL bounds - >= 102 @ 439.289
1147.53/1149.75 c GLOBAL bounds - >= 102 @ 440.889
1147.64/1149.81 c GLOBAL bounds - >= 102 @ 440.939
1152.13/1154.32 c GLOBAL bounds - >= 102 @ 442.525
1152.52/1154.73 c GLOBAL bounds - >= 102 @ 442.744
1157.01/1159.24 c GLOBAL bounds - >= 102 @ 444.321
1157.11/1159.30 c #Conflicts: 14000 | #Constraints: 181809
1157.11/1159.30 c GLOBAL bounds - >= 102 @ 444.373
1161.61/1163.81 c GLOBAL bounds - >= 102 @ 445.915
1166.11/1168.35 c GLOBAL bounds - >= 102 @ 447.604
1170.59/1172.89 c GLOBAL bounds - >= 102 @ 449.307
1175.18/1177.43 c GLOBAL bounds - >= 102 @ 450.948
1179.67/1181.98 c GLOBAL bounds - >= 102 @ 452.592
1184.27/1186.59 c GLOBAL bounds - >= 102 @ 454.353
1184.47/1186.70 c GLOBAL bounds - >= 107 @ 454.462
1184.88/1187.10 c GLOBAL bounds - >= 107 @ 454.642
1184.88/1187.12 c GLOBAL bounds - >= 107 @ 454.653
1189.36/1191.63 c GLOBAL bounds - >= 107 @ 456.238
1189.36/1191.66 c GLOBAL bounds - >= 107 @ 456.261
1193.86/1196.17 c GLOBAL bounds - >= 107 @ 457.83
1193.96/1196.20 c GLOBAL bounds - >= 107 @ 457.854
1198.45/1200.71 c GLOBAL bounds - >= 107 @ 459.468
1198.85/1201.11 c GLOBAL bounds - >= 107 @ 459.662
1203.33/1205.62 c GLOBAL bounds - >= 107 @ 461.244
1203.33/1205.66 c GLOBAL bounds - >= 107 @ 461.279
1207.83/1210.17 c GLOBAL bounds - >= 107 @ 462.914
1208.22/1210.56 c GLOBAL bounds - >= 107 @ 463.1
1212.73/1215.07 c GLOBAL bounds - >= 107 @ 464.737
1212.82/1215.12 c GLOBAL bounds - >= 107 @ 464.778
1217.31/1219.63 c GLOBAL bounds - >= 107 @ 466.41
1217.31/1219.69 c GLOBAL bounds - >= 107 @ 466.461
1221.91/1224.20 c GLOBAL bounds - >= 107 @ 468.061
1222.30/1224.62 c GLOBAL bounds - >= 107 @ 468.269
1226.80/1229.13 c GLOBAL bounds - >= 107 @ 469.883
1226.80/1229.19 c GLOBAL bounds - >= 107 @ 469.933
1231.39/1233.70 c GLOBAL bounds - >= 107 @ 471.664
1235.88/1238.24 c GLOBAL bounds - >= 107 @ 473.353
1240.37/1242.78 c GLOBAL bounds - >= 107 @ 475.022
1244.96/1247.32 c GLOBAL bounds - >= 107 @ 476.643
1249.55/1251.90 c GLOBAL bounds - >= 107 @ 478.376
1254.05/1256.47 c GLOBAL bounds - >= 107 @ 480.061
1258.64/1261.06 c #Conflicts: 3000 | #Constraints: 2448
1258.64/1261.06 c GLOBAL bounds - >= 107 @ 481.792
1258.84/1261.21 c GLOBAL bounds - >= 111 @ 481.938
1259.24/1261.63 c #Conflicts: 15000 | #Constraints: 182846
1259.24/1261.63 c GLOBAL bounds - >= 111 @ 482.152
1259.44/1261.86 c INPROCESSING
1259.44/1261.86 c GLOBAL bounds - >= 111 @ 482.373
1263.93/1266.37 c GLOBAL bounds - >= 111 @ 484.059
1263.93/1266.40 c GLOBAL bounds - >= 111 @ 484.08
1268.52/1270.91 c GLOBAL bounds - >= 111 @ 485.687
1268.52/1270.94 c GLOBAL bounds - >= 111 @ 485.706
1273.02/1275.46 c GLOBAL bounds - >= 111 @ 487.371
1273.02/1275.47 c GLOBAL bounds - >= 111 @ 487.383
1277.51/1279.98 c GLOBAL bounds - >= 111 @ 488.983
1277.51/1279.99 c GLOBAL bounds - >= 111 @ 488.994
1282.10/1284.51 c GLOBAL bounds - >= 111 @ 490.594
1282.49/1284.92 c GLOBAL bounds - >= 111 @ 490.784
1286.99/1289.43 c GLOBAL bounds - >= 111 @ 492.383
1286.99/1289.47 c GLOBAL bounds - >= 111 @ 492.414
1291.47/1293.98 c GLOBAL bounds - >= 111 @ 494.039
1291.88/1294.39 c GLOBAL bounds - >= 111 @ 494.229
1296.47/1298.91 c GLOBAL bounds - >= 111 @ 495.854
1296.47/1298.95 c GLOBAL bounds - >= 111 @ 495.888
1300.96/1303.46 c GLOBAL bounds - >= 111 @ 497.589
1301.36/1303.89 c GLOBAL bounds - >= 111 @ 497.813
1305.95/1308.41 c GLOBAL bounds - >= 111 @ 499.444
1310.44/1312.95 c GLOBAL bounds - >= 111 @ 501.11
1314.94/1317.49 c GLOBAL bounds - >= 111 @ 502.822
1319.53/1322.02 c GLOBAL bounds - >= 111 @ 504.477
1324.02/1326.55 c GLOBAL bounds - >= 111 @ 506.08
1328.51/1331.09 c GLOBAL bounds - >= 111 @ 507.759
1328.62/1331.19 c GLOBAL bounds - >= 114 @ 507.862
1328.71/1331.25 c GLOBAL bounds - >= 114 @ 507.91
1328.71/1331.25 c GLOBAL bounds - >= 114 @ 507.911
1328.71/1331.26 c GLOBAL bounds - >= 114 @ 507.922
1333.20/1335.78 c GLOBAL bounds - >= 114 @ 509.568
1333.61/1336.18 c GLOBAL bounds - >= 114 @ 509.747
1338.10/1340.69 c GLOBAL bounds - >= 114 @ 511.341
1338.19/1340.72 c GLOBAL bounds - >= 114 @ 511.363
1342.69/1345.23 c GLOBAL bounds - >= 114 @ 512.981
1342.69/1345.27 c #Conflicts: 16000 | #Constraints: 181117
1342.69/1345.27 c GLOBAL bounds - >= 114 @ 513.013
1347.18/1349.79 c GLOBAL bounds - >= 114 @ 514.584
1347.68/1350.20 c GLOBAL bounds - >= 114 @ 514.78
1352.17/1354.72 c GLOBAL bounds - >= 114 @ 516.403
1352.17/1354.76 c GLOBAL bounds - >= 114 @ 516.434
1356.66/1359.27 c GLOBAL bounds - >= 114 @ 518.075
1357.16/1359.71 c GLOBAL bounds - >= 114 @ 518.296
1361.65/1364.23 c GLOBAL bounds - >= 114 @ 520.028
1361.65/1364.29 c GLOBAL bounds - >= 114 @ 520.081
1366.24/1368.80 c GLOBAL bounds - >= 114 @ 521.689
1366.65/1369.24 c GLOBAL bounds - >= 114 @ 521.904
1371.14/1373.76 c GLOBAL bounds - >= 114 @ 523.579
1371.24/1373.82 c GLOBAL bounds - >= 114 @ 523.631
1375.73/1378.33 c GLOBAL bounds - >= 114 @ 525.293
1380.22/1382.88 c GLOBAL bounds - >= 114 @ 526.905
1384.81/1387.42 c GLOBAL bounds - >= 114 @ 528.532
1389.30/1391.98 c GLOBAL bounds - >= 114 @ 530.175
1393.89/1396.52 c GLOBAL bounds - >= 114 @ 531.805
1398.40/1401.07 c GLOBAL bounds - >= 114 @ 533.429
1398.49/1401.17 c GLOBAL bounds - >= 119 @ 533.528
1398.99/1401.61 c GLOBAL bounds - >= 119 @ 533.75
1398.99/1401.63 c GLOBAL bounds - >= 119 @ 533.764
1403.48/1406.15 c GLOBAL bounds - >= 119 @ 535.39
1403.48/1406.17 c GLOBAL bounds - >= 119 @ 535.412
1407.98/1410.68 c GLOBAL bounds - >= 119 @ 537.052
1408.07/1410.71 c GLOBAL bounds - >= 119 @ 537.076
1412.57/1415.22 c GLOBAL bounds - >= 119 @ 538.794
1412.96/1415.65 c GLOBAL bounds - >= 119 @ 539.012
1417.46/1420.16 c GLOBAL bounds - >= 119 @ 540.644
1417.55/1420.20 c #Conflicts: 17000 | #Constraints: 182148
1417.55/1420.20 c GLOBAL bounds - >= 119 @ 540.676
1422.05/1424.71 c GLOBAL bounds - >= 119 @ 542.295
1422.45/1425.15 c GLOBAL bounds - >= 119 @ 542.487
1426.94/1429.66 c GLOBAL bounds - >= 119 @ 544.095
1427.04/1429.72 c GLOBAL bounds - >= 119 @ 544.146
1431.54/1434.23 c GLOBAL bounds - >= 119 @ 545.789
1431.93/1434.69 c GLOBAL bounds - >= 119 @ 546.018
1436.52/1439.21 c GLOBAL bounds - >= 119 @ 547.604
1436.52/1439.26 c GLOBAL bounds - >= 119 @ 547.657
1441.01/1443.78 c GLOBAL bounds - >= 119 @ 549.296
1441.51/1444.24 c GLOBAL bounds - >= 119 @ 549.531
1446.01/1448.76 c GLOBAL bounds - >= 119 @ 551.101
1450.60/1453.30 c GLOBAL bounds - >= 119 @ 552.752
1455.09/1457.85 c GLOBAL bounds - >= 119 @ 554.419
1459.69/1462.41 c GLOBAL bounds - >= 119 @ 556.095
1464.17/1466.97 c GLOBAL bounds - >= 119 @ 557.723
1468.76/1471.56 c GLOBAL bounds - >= 119 @ 559.459
1473.36/1476.15 c GLOBAL bounds - >= 119 @ 561.126
1473.46/1476.24 c #Conflicts: 4000 | #Constraints: 3503
1473.46/1476.24 c GLOBAL bounds - >= 123 @ 561.218
1473.56/1476.30 c GLOBAL bounds - >= 123 @ 561.267
1473.56/1476.31 c GLOBAL bounds - >= 123 @ 561.275
1473.56/1476.32 c GLOBAL bounds - >= 123 @ 561.277
1478.05/1480.83 c GLOBAL bounds - >= 123 @ 562.893
1478.45/1481.26 c GLOBAL bounds - >= 123 @ 563.087
1482.94/1485.78 c GLOBAL bounds - >= 123 @ 564.737
1483.04/1485.81 c GLOBAL bounds - >= 123 @ 564.76
1487.54/1490.32 c GLOBAL bounds - >= 123 @ 566.388
1487.54/1490.36 c GLOBAL bounds - >= 123 @ 566.42
1492.03/1494.88 c GLOBAL bounds - >= 123 @ 568.083
1492.52/1495.33 c #Conflicts: 18000 | #Constraints: 183171
1492.52/1495.33 c GLOBAL bounds - >= 123 @ 568.295
1497.02/1499.84 c GLOBAL bounds - >= 123 @ 569.882
1497.02/1499.88 c GLOBAL bounds - >= 123 @ 569.912
1501.61/1504.40 c GLOBAL bounds - >= 123 @ 571.546
1502.31/1505.11 c INPROCESSING
1502.31/1505.11 c GARBAGE COLLECT
1502.31/1505.11 c GLOBAL bounds - >= 123 @ 572.021
1506.80/1509.63 c GLOBAL bounds - >= 123 @ 573.602
1506.80/1509.66 c GLOBAL bounds - >= 123 @ 573.635
1511.29/1514.18 c GLOBAL bounds - >= 123 @ 575.267
1511.39/1514.24 c GLOBAL bounds - >= 123 @ 575.317
1515.88/1518.76 c GLOBAL bounds - >= 123 @ 576.985
1516.38/1519.23 c GLOBAL bounds - >= 123 @ 577.221
1520.87/1523.75 c GLOBAL bounds - >= 123 @ 578.785
1525.36/1528.28 c GLOBAL bounds - >= 123 @ 580.409
1529.95/1532.83 c GLOBAL bounds - >= 123 @ 582.079
1534.44/1537.38 c GLOBAL bounds - >= 123 @ 583.752
1539.03/1541.95 c GLOBAL bounds - >= 123 @ 585.504
1543.83/1546.76 c INPROCESSING
1543.83/1546.76 c GARBAGE COLLECT
1543.83/1546.76 c GLOBAL bounds - >= 123 @ 587.405
1548.52/1551.40 c GLOBAL bounds - >= 123 @ 589.174
1548.82/1551.70 c GLOBAL bounds - >= 127 @ 589.468
1548.82/1551.75 c GLOBAL bounds - >= 127 @ 589.519
1548.82/1551.77 c GLOBAL bounds - >= 127 @ 589.531
1548.82/1551.77 c GLOBAL bounds - >= 127 @ 589.531
1553.31/1556.29 c GLOBAL bounds - >= 127 @ 591.108
1553.81/1556.73 c GLOBAL bounds - >= 127 @ 591.303
1558.30/1561.24 c GLOBAL bounds - >= 127 @ 592.913
1558.30/1561.27 c GLOBAL bounds - >= 127 @ 592.937
1562.90/1565.80 c GLOBAL bounds - >= 127 @ 594.561
1562.90/1565.84 c GLOBAL bounds - >= 127 @ 594.592
1567.39/1570.37 c GLOBAL bounds - >= 127 @ 596.256
1567.88/1570.83 c GLOBAL bounds - >= 127 @ 596.474
1572.37/1575.34 c GLOBAL bounds - >= 127 @ 598.112
1572.37/1575.38 c #Conflicts: 19000 | #Constraints: 181223
1572.37/1575.38 c GLOBAL bounds - >= 127 @ 598.143
1576.87/1579.90 c GLOBAL bounds - >= 127 @ 599.771
1577.36/1580.36 c GLOBAL bounds - >= 127 @ 599.982
1581.86/1584.87 c GLOBAL bounds - >= 127 @ 601.607
1581.96/1584.93 c GLOBAL bounds - >= 127 @ 601.66
1586.45/1589.45 c GLOBAL bounds - >= 127 @ 603.242
1586.95/1589.93 c GLOBAL bounds - >= 127 @ 603.472
1591.44/1594.45 c GLOBAL bounds - >= 127 @ 605.058
1591.54/1594.51 c GLOBAL bounds - >= 127 @ 605.11
1596.04/1599.02 c GLOBAL bounds - >= 127 @ 606.685
1600.52/1603.57 c GLOBAL bounds - >= 127 @ 608.284
1605.12/1608.12 c GLOBAL bounds - >= 127 @ 609.918
1609.60/1612.69 c GLOBAL bounds - >= 127 @ 611.559
1614.19/1617.24 c GLOBAL bounds - >= 127 @ 613.176
1618.79/1621.89 c #Conflicts: 5000 | #Constraints: 2958
1618.79/1621.89 c GLOBAL bounds - >= 127 @ 614.974
1619.00/1622.01 c GLOBAL bounds - >= 132 @ 615.091
1619.39/1622.49 c GLOBAL bounds - >= 132 @ 615.315
1619.49/1622.51 c GLOBAL bounds - >= 132 @ 615.328
1623.99/1627.02 c GLOBAL bounds - >= 132 @ 617.013
1623.99/1627.05 c GLOBAL bounds - >= 132 @ 617.034
1628.47/1631.56 c GLOBAL bounds - >= 132 @ 618.727
1628.47/1631.59 c GLOBAL bounds - >= 132 @ 618.749
1633.07/1636.11 c GLOBAL bounds - >= 132 @ 620.368
1633.47/1636.58 c GLOBAL bounds - >= 132 @ 620.593
1637.97/1641.09 c GLOBAL bounds - >= 132 @ 622.222
1638.06/1641.14 c GLOBAL bounds - >= 132 @ 622.252
1642.55/1645.65 c GLOBAL bounds - >= 132 @ 623.913
1643.05/1646.13 c GLOBAL bounds - >= 132 @ 624.134
1647.54/1650.64 c GLOBAL bounds - >= 132 @ 625.717
1647.64/1650.70 c #Conflicts: 20000 | #Constraints: 182250
1647.64/1650.70 c GLOBAL bounds - >= 132 @ 625.769
1652.13/1655.22 c GLOBAL bounds - >= 132 @ 627.357
1652.63/1655.72 c GLOBAL bounds - >= 132 @ 627.599
1657.13/1660.23 c GLOBAL bounds - >= 132 @ 629.257
1657.13/1660.29 c GLOBAL bounds - >= 132 @ 629.307
1661.71/1664.81 c GLOBAL bounds - >= 132 @ 630.966
1662.21/1665.31 c GLOBAL bounds - >= 132 @ 631.219
1666.70/1669.83 c GLOBAL bounds - >= 132 @ 632.93
1671.20/1674.38 c GLOBAL bounds - >= 132 @ 634.6
1675.79/1678.93 c GLOBAL bounds - >= 132 @ 636.341
1680.28/1683.49 c GLOBAL bounds - >= 132 @ 638.028
1684.88/1688.05 c GLOBAL bounds - >= 132 @ 639.703
1689.46/1692.64 c GLOBAL bounds - >= 132 @ 641.362
1694.05/1697.24 c GLOBAL bounds - >= 132 @ 643.031
1694.16/1697.33 c GLOBAL bounds - >= 136 @ 643.121
1694.16/1697.38 c GLOBAL bounds - >= 136 @ 643.169
1694.16/1697.39 c GLOBAL bounds - >= 136 @ 643.169
1694.26/1697.40 c GLOBAL bounds - >= 136 @ 643.181
1698.75/1701.91 c GLOBAL bounds - >= 136 @ 644.803
1699.15/1702.38 c GLOBAL bounds - >= 136 @ 645.03
1703.74/1706.90 c GLOBAL bounds - >= 136 @ 646.575
1703.74/1706.93 c GLOBAL bounds - >= 136 @ 646.601
1708.23/1711.44 c GLOBAL bounds - >= 136 @ 648.246
1708.23/1711.48 c GLOBAL bounds - >= 136 @ 648.279
1712.72/1716.00 c GLOBAL bounds - >= 136 @ 649.94
1713.22/1716.48 c GLOBAL bounds - >= 136 @ 650.159
1717.72/1721.00 c GLOBAL bounds - >= 136 @ 651.751
1717.82/1721.04 c GLOBAL bounds - >= 136 @ 651.783
1722.31/1725.56 c GLOBAL bounds - >= 136 @ 653.385
1722.82/1726.05 c #Conflicts: 21000 | #Constraints: 183273
1722.82/1726.05 c GLOBAL bounds - >= 136 @ 653.613
1727.29/1730.56 c GLOBAL bounds - >= 136 @ 655.233
1727.40/1730.62 c GLOBAL bounds - >= 136 @ 655.287
1731.90/1735.14 c GLOBAL bounds - >= 136 @ 656.911
1732.39/1735.65 c GLOBAL bounds - >= 136 @ 657.165
1736.89/1740.17 c GLOBAL bounds - >= 136 @ 658.772
1736.98/1740.23 c GLOBAL bounds - >= 136 @ 658.826
1741.47/1744.75 c GLOBAL bounds - >= 136 @ 660.496
1746.07/1749.31 c GLOBAL bounds - >= 136 @ 662.147
1750.55/1753.87 c GLOBAL bounds - >= 136 @ 663.802
1755.15/1758.43 c GLOBAL bounds - >= 136 @ 665.46
1759.64/1762.99 c GLOBAL bounds - >= 136 @ 667.09
1764.23/1767.58 c GLOBAL bounds - >= 136 @ 668.795
1764.33/1767.68 c #Conflicts: 6000 | #Constraints: 3997
1764.33/1767.68 c GLOBAL bounds - >= 141 @ 668.89
1764.84/1768.19 c GLOBAL bounds - >= 141 @ 669.151
1764.93/1768.21 c GLOBAL bounds - >= 141 @ 669.167
1769.43/1772.73 c GLOBAL bounds - >= 141 @ 670.751
1769.92/1773.21 c GLOBAL bounds - >= 141 @ 670.973
1774.41/1777.73 c GLOBAL bounds - >= 141 @ 672.597
1774.41/1777.76 c GLOBAL bounds - >= 141 @ 672.621
1778.91/1782.27 c GLOBAL bounds - >= 141 @ 674.298
1779.60/1783.00 c INPROCESSING
1779.60/1783.00 c GLOBAL bounds - >= 141 @ 674.73
1784.20/1787.52 c GLOBAL bounds - >= 141 @ 676.384
1784.20/1787.53 c GLOBAL bounds - >= 141 @ 676.395
1788.70/1792.05 c GLOBAL bounds - >= 141 @ 678.056
1788.70/1792.09 c GLOBAL bounds - >= 141 @ 678.091
1793.28/1796.61 c GLOBAL bounds - >= 141 @ 679.735
1793.78/1797.13 c GLOBAL bounds - >= 141 @ 679.987
1798.27/1801.65 c GLOBAL bounds - >= 141 @ 681.636
1798.37/1801.72 c #Conflicts: 22000 | #Constraints: 181117
1798.37/1801.72 c GLOBAL bounds - >= 141 @ 681.689
1802.87/1806.23 c GLOBAL bounds - >= 141 @ 683.347
1826.71/1830.18 c GLOBAL bounds - >= 141 @ 706.536
1831.20/1834.69 c GLOBAL bounds - >= 141 @ 708.103
1831.29/1834.75 c GLOBAL bounds - >= 141 @ 708.158
1835.79/1839.27 c GLOBAL bounds - >= 141 @ 709.862
1840.39/1843.80 c GLOBAL bounds - >= 141 @ 711.488
1844.87/1848.37 c GLOBAL bounds - >= 141 @ 713.203
1849.47/1852.94 c GLOBAL bounds - >= 141 @ 714.842
1854.06/1857.54 c GLOBAL bounds - >= 141 @ 716.579
1858.66/1862.15 c GLOBAL bounds - >= 141 @ 718.284
1863.25/1866.76 c GLOBAL bounds - >= 141 @ 720.025
1867.94/1871.43 c GLOBAL bounds - >= 141 @ 721.792
1868.03/1871.52 c GLOBAL bounds - >= 144 @ 721.877
1868.03/1871.58 c GLOBAL bounds - >= 144 @ 721.934
1868.03/1871.58 c GLOBAL bounds - >= 144 @ 721.936
1868.54/1872.07 c GLOBAL bounds - >= 144 @ 722.154
1868.54/1872.09 c GLOBAL bounds - >= 144 @ 722.165
1873.42/1876.93 c INPROCESSING
1873.42/1876.93 c GARBAGE COLLECT
1873.42/1876.93 c GLOBAL bounds - >= 144 @ 724.167
1873.42/1876.96 c GLOBAL bounds - >= 144 @ 724.188
1877.91/1881.47 c GLOBAL bounds - >= 144 @ 725.832
1878.02/1881.50 c GLOBAL bounds - >= 144 @ 725.856
1882.51/1886.01 c GLOBAL bounds - >= 144 @ 727.488
1882.51/1886.05 c GLOBAL bounds - >= 144 @ 727.514
1887.00/1890.56 c GLOBAL bounds - >= 144 @ 729.107
1887.10/1890.60 c GLOBAL bounds - >= 144 @ 729.141
1891.60/1895.12 c GLOBAL bounds - >= 144 @ 730.774
1891.60/1895.14 c GLOBAL bounds - >= 144 @ 730.795
1896.08/1899.66 c GLOBAL bounds - >= 144 @ 732.459
1896.59/1900.18 c GLOBAL bounds - >= 144 @ 732.691
1901.07/1904.70 c GLOBAL bounds - >= 144 @ 734.341
1901.18/1904.76 c GLOBAL bounds - >= 144 @ 734.392
1905.67/1909.27 c GLOBAL bounds - >= 144 @ 735.985
1906.26/1909.81 c #Conflicts: 23000 | #Constraints: 182142
1906.26/1909.81 c GLOBAL bounds - >= 144 @ 736.239
1910.76/1914.33 c GLOBAL bounds - >= 144 @ 737.868
1910.76/1914.39 c GLOBAL bounds - >= 144 @ 737.921
1915.35/1918.91 c GLOBAL bounds - >= 144 @ 739.551
1919.84/1923.47 c GLOBAL bounds - >= 144 @ 741.211
1924.44/1928.03 c GLOBAL bounds - >= 144 @ 742.885
1928.93/1932.59 c GLOBAL bounds - >= 144 @ 744.517
1933.52/1937.15 c GLOBAL bounds - >= 144 @ 746.208
1938.11/1941.72 c GLOBAL bounds - >= 144 @ 747.925
1942.70/1946.35 c #Conflicts: 7000 | #Constraints: 3021
1942.70/1946.35 c GLOBAL bounds - >= 144 @ 749.672
1947.80/1951.41 c GLOBAL bounds - >= 144 @ 751.846
1947.90/1951.56 c GLOBAL bounds - >= 148 @ 751.995
1948.00/1951.60 c GLOBAL bounds - >= 148 @ 752.034
1948.40/1952.10 c GLOBAL bounds - >= 148 @ 752.232
1948.50/1952.12 c GLOBAL bounds - >= 148 @ 752.245
1952.99/1956.63 c GLOBAL bounds - >= 148 @ 753.867
1952.99/1956.64 c GLOBAL bounds - >= 148 @ 753.879
1957.48/1961.16 c GLOBAL bounds - >= 148 @ 755.493
1957.48/1961.17 c GLOBAL bounds - >= 148 @ 755.504
1961.97/1965.68 c GLOBAL bounds - >= 148 @ 757.122
1962.07/1965.70 c GLOBAL bounds - >= 148 @ 757.135
1966.56/1970.21 c GLOBAL bounds - >= 148 @ 758.744
1966.56/1970.24 c GLOBAL bounds - >= 148 @ 758.766
1971.05/1974.75 c GLOBAL bounds - >= 148 @ 760.414
1971.05/1974.78 c GLOBAL bounds - >= 148 @ 760.436
1975.55/1979.29 c GLOBAL bounds - >= 148 @ 762.104
1976.15/1979.82 c GLOBAL bounds - >= 148 @ 762.349
1980.64/1984.34 c GLOBAL bounds - >= 148 @ 763.992
1980.64/1984.37 c GLOBAL bounds - >= 148 @ 764.022
1985.13/1988.88 c GLOBAL bounds - >= 148 @ 765.667
1985.22/1988.92 c GLOBAL bounds - >= 148 @ 765.699
1989.72/1993.43 c GLOBAL bounds - >= 148 @ 767.391
1989.72/1993.49 c GLOBAL bounds - >= 148 @ 767.446
1994.31/1998.01 c GLOBAL bounds - >= 148 @ 769.107
1998.80/2002.54 c #Conflicts: 8000 | #Constraints: 4040
1998.80/2002.54 c GLOBAL bounds - >= 148 @ 770.782
2003.30/2007.10 c GLOBAL bounds - >= 148 @ 772.418
2007.89/2011.66 c GLOBAL bounds - >= 148 @ 774.032
2012.48/2016.21 c GLOBAL bounds - >= 148 @ 775.671
2016.97/2020.74 c GLOBAL bounds - >= 148 @ 777.307
2021.67/2025.44 c GLOBAL bounds - >= 148 @ 779.142
2026.36/2030.15 c GLOBAL bounds - >= 148 @ 781.009
2031.05/2034.86 c GLOBAL bounds - >= 148 @ 782.793
2031.25/2035.07 c #Conflicts: 9000 | #Constraints: 5040
2031.25/2035.07 c GLOBAL bounds - >= 151 @ 782.997
2031.84/2035.62 c GLOBAL bounds - >= 151 @ 783.268
2031.84/2035.64 c GLOBAL bounds - >= 151 @ 783.283
2036.34/2040.15 c GLOBAL bounds - >= 151 @ 784.908
2036.34/2040.18 c GLOBAL bounds - >= 151 @ 784.931
2040.83/2044.70 c GLOBAL bounds - >= 151 @ 786.549
2040.94/2044.72 c GLOBAL bounds - >= 151 @ 786.571
2045.42/2049.23 c GLOBAL bounds - >= 151 @ 788.173
2045.92/2049.77 c GLOBAL bounds - >= 151 @ 788.427
2050.42/2054.28 c GLOBAL bounds - >= 151 @ 790.1
2050.42/2054.29 c GLOBAL bounds - >= 151 @ 790.112
2055.00/2058.81 c GLOBAL bounds - >= 151 @ 791.729
2055.00/2058.82 c GLOBAL bounds - >= 151 @ 791.741
2059.50/2063.34 c GLOBAL bounds - >= 151 @ 793.409
2059.50/2063.38 c GLOBAL bounds - >= 151 @ 793.444
2064.09/2067.90 c GLOBAL bounds - >= 151 @ 795.125
2064.59/2068.43 c #Conflicts: 24000 | #Constraints: 183196
2064.59/2068.43 c GLOBAL bounds - >= 151 @ 795.357
2069.08/2072.96 c GLOBAL bounds - >= 151 @ 797.028
2069.08/2072.97 c GLOBAL bounds - >= 151 @ 797.04
2073.57/2077.49 c GLOBAL bounds - >= 151 @ 798.762
2073.68/2077.53 c GLOBAL bounds - >= 151 @ 798.799
2078.17/2082.05 c GLOBAL bounds - >= 151 @ 800.407
2082.76/2086.60 c GLOBAL bounds - >= 151 @ 802.108
2087.25/2091.15 c GLOBAL bounds - >= 151 @ 803.828
2091.74/2095.69 c GLOBAL bounds - >= 151 @ 805.532
2096.93/2100.88 c INPROCESSING
2096.93/2100.88 c GARBAGE COLLECT
2096.93/2100.88 c GLOBAL bounds - >= 151 @ 807.849
2101.62/2105.58 c GLOBAL bounds - >= 151 @ 809.625
2106.42/2110.39 c #Conflicts: 10000 | #Constraints: 3777
2106.42/2110.39 c GLOBAL bounds - >= 151 @ 811.552
2106.61/2110.50 c GLOBAL bounds - >= 154 @ 811.666
2107.12/2111.06 c GLOBAL bounds - >= 154 @ 811.931
2107.12/2111.08 c GLOBAL bounds - >= 154 @ 811.946
2111.70/2115.60 c GLOBAL bounds - >= 154 @ 813.489
2111.70/2115.61 c GLOBAL bounds - >= 154 @ 813.501
2116.20/2120.15 c GLOBAL bounds - >= 154 @ 815.164
2116.20/2120.16 c GLOBAL bounds - >= 154 @ 815.175
2120.69/2124.68 c GLOBAL bounds - >= 154 @ 816.748
2120.69/2124.69 c GLOBAL bounds - >= 154 @ 816.76
2125.28/2129.21 c GLOBAL bounds - >= 154 @ 818.393
2125.28/2129.25 c GLOBAL bounds - >= 154 @ 818.426
2129.77/2133.76 c GLOBAL bounds - >= 154 @ 820.037
2130.37/2134.30 c GLOBAL bounds - >= 154 @ 820.29
2134.86/2138.82 c GLOBAL bounds - >= 154 @ 821.951
2134.86/2138.86 c GLOBAL bounds - >= 154 @ 821.988
2139.36/2143.37 c GLOBAL bounds - >= 154 @ 823.553
2139.36/2143.38 c GLOBAL bounds - >= 154 @ 823.565
2143.95/2147.90 c GLOBAL bounds - >= 154 @ 825.172
2144.44/2148.44 c GLOBAL bounds - >= 154 @ 825.407
2148.94/2152.95 c GLOBAL bounds - >= 154 @ 827.011
2149.04/2153.01 c GLOBAL bounds - >= 154 @ 827.065
2153.53/2157.53 c GLOBAL bounds - >= 154 @ 828.716
2158.03/2162.09 c GLOBAL bounds - >= 154 @ 830.361
2162.61/2166.65 c GLOBAL bounds - >= 154 @ 832.031
2167.31/2171.39 c GLOBAL bounds - >= 154 @ 833.873
2172.10/2176.19 c GLOBAL bounds - >= 154 @ 835.763
2176.79/2180.89 c #Conflicts: 11000 | #Constraints: 4791
2176.79/2180.89 c GLOBAL bounds - >= 154 @ 837.597
2177.09/2181.12 c GLOBAL bounds - >= 157 @ 837.82
2177.59/2181.68 c GLOBAL bounds - >= 157 @ 838.096
2177.68/2181.70 c GLOBAL bounds - >= 157 @ 838.108
2182.18/2186.22 c GLOBAL bounds - >= 157 @ 839.721
2182.18/2186.24 c #Conflicts: 25000 | #Constraints: 184233
2182.18/2186.24 c GLOBAL bounds - >= 157 @ 839.741
2186.67/2190.76 c GLOBAL bounds - >= 157 @ 841.379
2186.67/2190.79 c GLOBAL bounds - >= 157 @ 841.401
2191.26/2195.31 c GLOBAL bounds - >= 157 @ 843.073
2191.76/2195.86 c GLOBAL bounds - >= 157 @ 843.346
2196.25/2200.38 c GLOBAL bounds - >= 157 @ 845.02
2196.25/2200.39 c GLOBAL bounds - >= 157 @ 845.031
2200.85/2204.91 c GLOBAL bounds - >= 157 @ 846.652
2201.14/2205.22 c INPROCESSING
2201.14/2205.22 c GARBAGE COLLECT
2201.14/2205.22 c GLOBAL bounds - >= 157 @ 846.955
2205.64/2209.74 c GLOBAL bounds - >= 157 @ 848.593
2205.64/2209.77 c GLOBAL bounds - >= 157 @ 848.627
2210.13/2214.29 c GLOBAL bounds - >= 157 @ 850.209
2210.73/2214.87 c GLOBAL bounds - >= 157 @ 850.502
2215.21/2219.39 c GLOBAL bounds - >= 157 @ 852.154
2215.32/2219.45 c GLOBAL bounds - >= 157 @ 852.209
2219.80/2223.97 c GLOBAL bounds - >= 157 @ 853.785
2220.41/2224.54 c GLOBAL bounds - >= 157 @ 854.075
2224.91/2229.06 c GLOBAL bounds - >= 157 @ 855.79
2229.49/2233.60 c GLOBAL bounds - >= 157 @ 857.366
2233.98/2238.14 c GLOBAL bounds - >= 157 @ 859.067
2238.58/2242.70 c GLOBAL bounds - >= 157 @ 860.738
2243.07/2247.27 c GLOBAL bounds - >= 157 @ 862.389
2247.66/2251.83 c GLOBAL bounds - >= 157 @ 864.105
2252.25/2256.40 c GLOBAL bounds - >= 157 @ 865.772
2256.74/2260.98 c GLOBAL bounds - >= 157 @ 867.453
2256.85/2261.04 c GLOBAL bounds - >= 160 @ 867.507
2256.85/2261.08 c GLOBAL bounds - >= 160 @ 867.548
2256.85/2261.08 c GLOBAL bounds - >= 160 @ 867.549
2261.44/2265.60 c GLOBAL bounds - >= 160 @ 869.182
2261.44/2265.62 c GLOBAL bounds - >= 160 @ 869.203
2265.93/2270.14 c GLOBAL bounds - >= 160 @ 870.901
2265.93/2270.16 c GLOBAL bounds - >= 160 @ 870.921
2270.42/2274.68 c GLOBAL bounds - >= 160 @ 872.595
2271.02/2275.23 c GLOBAL bounds - >= 160 @ 872.856
2275.51/2279.74 c GLOBAL bounds - >= 160 @ 874.513
2275.51/2279.76 c GLOBAL bounds - >= 160 @ 874.524
2280.00/2284.27 c GLOBAL bounds - >= 160 @ 876.183
2280.10/2284.30 c GLOBAL bounds - >= 160 @ 876.208
2284.59/2288.82 c GLOBAL bounds - >= 160 @ 877.85
2284.59/2288.86 c GLOBAL bounds - >= 160 @ 877.883
2289.09/2293.38 c GLOBAL bounds - >= 160 @ 879.529
2289.68/2293.93 c GLOBAL bounds - >= 160 @ 879.789
2294.18/2298.45 c GLOBAL bounds - >= 160 @ 881.422
2294.18/2298.46 c GLOBAL bounds - >= 160 @ 881.434
2298.67/2302.98 c GLOBAL bounds - >= 160 @ 883.073
2298.77/2303.01 c #Conflicts: 26000 | #Constraints: 181881
2298.77/2303.01 c GLOBAL bounds - >= 160 @ 883.1
2303.26/2307.52 c GLOBAL bounds - >= 160 @ 884.704
2307.76/2312.07 c GLOBAL bounds - >= 160 @ 886.377
2312.34/2316.62 c GLOBAL bounds - >= 160 @ 888.054
2316.84/2321.18 c GLOBAL bounds - >= 160 @ 889.728
2321.42/2325.72 c GLOBAL bounds - >= 160 @ 891.41
2326.02/2330.30 c GLOBAL bounds - >= 160 @ 893.14
2331.11/2335.41 c #Conflicts: 12000 | #Constraints: 5823
2331.11/2335.41 c INPROCESSING
2331.11/2335.41 c GARBAGE COLLECT
2331.11/2335.41 c GLOBAL bounds - >= 160 @ 895.369
2331.71/2336.08 c #Conflicts: 13000 | #Constraints: 4293
2331.71/2336.08 c GLOBAL bounds - >= 162 @ 896.025
2331.81/2336.13 c GLOBAL bounds - >= 162 @ 896.075
2331.81/2336.15 c GLOBAL bounds - >= 162 @ 896.086
2336.30/2340.66 c GLOBAL bounds - >= 162 @ 897.686
2336.30/2340.68 c GLOBAL bounds - >= 162 @ 897.697
2340.80/2345.18 c GLOBAL bounds - >= 162 @ 899.305
2340.89/2345.20 c GLOBAL bounds - >= 162 @ 899.317
2345.39/2349.71 c GLOBAL bounds - >= 162 @ 900.944
2345.39/2349.72 c GLOBAL bounds - >= 162 @ 900.957
2349.88/2354.23 c GLOBAL bounds - >= 162 @ 902.555
2349.88/2354.25 c GLOBAL bounds - >= 162 @ 902.566
2354.37/2358.76 c GLOBAL bounds - >= 162 @ 904.169
2354.97/2359.33 c GLOBAL bounds - >= 162 @ 904.436
2359.46/2363.84 c GLOBAL bounds - >= 162 @ 906.092
2359.46/2363.88 c GLOBAL bounds - >= 162 @ 906.127
2364.05/2368.40 c GLOBAL bounds - >= 162 @ 907.671
2364.55/2368.99 c GLOBAL bounds - >= 162 @ 907.954
2369.14/2373.51 c GLOBAL bounds - >= 162 @ 909.599
2369.14/2373.54 c GLOBAL bounds - >= 162 @ 909.631
2373.65/2378.05 c GLOBAL bounds - >= 162 @ 911.296
2373.75/2378.11 c GLOBAL bounds - >= 162 @ 911.352
2378.24/2382.63 c GLOBAL bounds - >= 162 @ 912.973
2382.73/2387.17 c GLOBAL bounds - >= 162 @ 914.65
2387.32/2391.71 c GLOBAL bounds - >= 162 @ 916.239
2391.81/2396.29 c GLOBAL bounds - >= 162 @ 917.929
2396.40/2400.88 c GLOBAL bounds - >= 162 @ 919.608
2401.00/2405.46 c GLOBAL bounds - >= 162 @ 921.315
2405.60/2410.06 c GLOBAL bounds - >= 162 @ 923.047
2410.18/2414.66 c GLOBAL bounds - >= 162 @ 924.701
2410.58/2415.05 c #Conflicts: 14000 | #Constraints: 5311
2410.58/2415.05 c GLOBAL bounds - >= 165 @ 925.08
2411.17/2415.63 c GLOBAL bounds - >= 165 @ 925.365
2411.17/2415.65 c GLOBAL bounds - >= 165 @ 925.38
2415.68/2420.17 c GLOBAL bounds - >= 165 @ 927.017
2415.68/2420.20 c GLOBAL bounds - >= 165 @ 927.04
2420.26/2424.71 c GLOBAL bounds - >= 165 @ 928.68
2420.26/2424.74 c GLOBAL bounds - >= 165 @ 928.704
2424.75/2429.25 c GLOBAL bounds - >= 165 @ 930.351
2425.35/2429.83 c GLOBAL bounds - >= 165 @ 930.637
2429.84/2434.35 c GLOBAL bounds - >= 165 @ 932.267
2429.84/2434.36 c GLOBAL bounds - >= 165 @ 932.278
2434.34/2438.88 c GLOBAL bounds - >= 165 @ 933.963
2434.44/2438.92 c GLOBAL bounds - >= 165 @ 933.995
2438.93/2443.44 c GLOBAL bounds - >= 165 @ 935.598
2439.53/2444.02 c #Conflicts: 27000 | #Constraints: 182928
2439.53/2444.02 c GLOBAL bounds - >= 165 @ 935.857
2444.02/2448.54 c GLOBAL bounds - >= 165 @ 937.439
2444.02/2448.55 c GLOBAL bounds - >= 165 @ 937.449
2448.51/2453.07 c GLOBAL bounds - >= 165 @ 939.065
2448.61/2453.13 c GLOBAL bounds - >= 165 @ 939.117
2453.10/2457.65 c GLOBAL bounds - >= 165 @ 940.767
2453.70/2458.25 c GLOBAL bounds - >= 165 @ 941.059
2458.19/2462.77 c GLOBAL bounds - >= 165 @ 942.704
2462.78/2467.31 c GLOBAL bounds - >= 165 @ 944.418
2467.27/2471.88 c GLOBAL bounds - >= 165 @ 946.094
2471.86/2476.46 c GLOBAL bounds - >= 165 @ 947.798
2476.47/2481.01 c GLOBAL bounds - >= 165 @ 949.447
2480.95/2485.56 c GLOBAL bounds - >= 165 @ 951.099
2485.55/2490.11 c GLOBAL bounds - >= 165 @ 952.743
2490.44/2495.10 c GLOBAL bounds - >= 165 @ 954.853
2491.24/2495.82 c #Conflicts: 15000 | #Constraints: 6327
2491.24/2495.82 c INPROCESSING
2491.24/2495.82 c GARBAGE COLLECT
2491.24/2495.82 c GLOBAL bounds - >= 168 @ 955.565
2491.24/2495.87 c GLOBAL bounds - >= 168 @ 955.608
2491.24/2495.87 c GLOBAL bounds - >= 168 @ 955.608
2495.73/2500.40 c GLOBAL bounds - >= 168 @ 957.306
2495.83/2500.42 c GLOBAL bounds - >= 168 @ 957.325
2500.32/2504.94 c GLOBAL bounds - >= 168 @ 958.973
2500.32/2504.97 c GLOBAL bounds - >= 168 @ 958.994
2504.92/2509.52 c GLOBAL bounds - >= 168 @ 960.656
2505.42/2510.09 c GLOBAL bounds - >= 168 @ 960.93
2510.00/2514.61 c GLOBAL bounds - >= 168 @ 962.575
2510.00/2514.64 c GLOBAL bounds - >= 168 @ 962.601
2514.51/2519.16 c GLOBAL bounds - >= 168 @ 964.256
2514.60/2519.20 c GLOBAL bounds - >= 168 @ 964.287
2519.09/2523.71 c GLOBAL bounds - >= 168 @ 965.94
2519.09/2523.73 c GLOBAL bounds - >= 168 @ 965.954
2523.58/2528.24 c GLOBAL bounds - >= 168 @ 967.604
2524.18/2528.84 c GLOBAL bounds - >= 168 @ 967.86
2528.67/2533.35 c GLOBAL bounds - >= 168 @ 969.505
2528.67/2533.39 c GLOBAL bounds - >= 168 @ 969.537
2533.26/2537.91 c GLOBAL bounds - >= 168 @ 971.189
2533.86/2538.52 c GLOBAL bounds - >= 168 @ 971.495
2538.36/2543.04 c GLOBAL bounds - >= 168 @ 973.129
2542.85/2547.58 c GLOBAL bounds - >= 168 @ 974.785
2547.44/2552.15 c GLOBAL bounds - >= 168 @ 976.441
2552.03/2556.71 c GLOBAL bounds - >= 168 @ 978.056
2556.62/2561.35 c GLOBAL bounds - >= 168 @ 979.821
2561.32/2566.01 c GLOBAL bounds - >= 168 @ 981.596
2565.91/2570.70 c GLOBAL bounds - >= 168 @ 983.43
2566.51/2571.20 c #Conflicts: 16000 | #Constraints: 4623
2566.51/2571.20 c GLOBAL bounds - >= 171 @ 983.93
2566.51/2571.24 c GLOBAL bounds - >= 171 @ 983.971
2566.51/2571.25 c GLOBAL bounds - >= 171 @ 983.971
2570.99/2575.76 c GLOBAL bounds - >= 171 @ 985.61
2570.99/2575.78 c GLOBAL bounds - >= 171 @ 985.622
2575.49/2580.29 c GLOBAL bounds - >= 171 @ 987.205
2575.59/2580.31 c GLOBAL bounds - >= 171 @ 987.218
2580.08/2584.83 c GLOBAL bounds - >= 171 @ 988.848
2580.68/2585.41 c #Conflicts: 28000 | #Constraints: 183982
2580.68/2585.41 c GLOBAL bounds - >= 171 @ 989.106
2585.18/2589.93 c GLOBAL bounds - >= 171 @ 990.743
2585.18/2589.96 c GLOBAL bounds - >= 171 @ 990.767
2589.66/2594.48 c GLOBAL bounds - >= 171 @ 992.459
2590.27/2595.08 c GLOBAL bounds - >= 171 @ 992.736
2594.76/2599.59 c GLOBAL bounds - >= 171 @ 994.365
2594.86/2599.63 c GLOBAL bounds - >= 171 @ 994.4
2599.35/2604.14 c GLOBAL bounds - >= 171 @ 995.971
2599.94/2604.77 c GLOBAL bounds - >= 171 @ 996.25
2604.44/2609.28 c GLOBAL bounds - >= 171 @ 997.836
2604.54/2609.34 c GLOBAL bounds - >= 171 @ 997.891
2609.03/2613.86 c GLOBAL bounds - >= 171 @ 999.484
2609.63/2614.48 c GLOBAL bounds - >= 171 @ 999.77
2614.13/2618.99 c GLOBAL bounds - >= 171 @ 1001.37
2618.72/2623.55 c GLOBAL bounds - >= 171 @ 1003.03
2623.31/2628.11 c GLOBAL bounds - >= 171 @ 1004.65
2627.80/2632.68 c GLOBAL bounds - >= 171 @ 1006.34
2632.39/2637.26 c GLOBAL bounds - >= 171 @ 1007.96
2636.99/2641.88 c GLOBAL bounds - >= 171 @ 1009.69
2641.67/2646.59 c #Conflicts: 17000 | #Constraints: 5641
2641.67/2646.59 c GLOBAL bounds - >= 171 @ 1011.47
2646.46/2651.36 c GLOBAL bounds - >= 171 @ 1013.31
2651.26/2656.15 c GLOBAL bounds - >= 171 @ 1015.18
2651.46/2656.34 c GLOBAL bounds - >= 173 @ 1015.36
2651.46/2656.38 c GLOBAL bounds - >= 173 @ 1015.41
2651.46/2656.39 c GLOBAL bounds - >= 173 @ 1015.41
2656.04/2660.90 c GLOBAL bounds - >= 173 @ 1017.01
2656.04/2660.92 c GLOBAL bounds - >= 173 @ 1017.02
2660.54/2665.43 c GLOBAL bounds - >= 173 @ 1018.72
2660.54/2665.45 c GLOBAL bounds - >= 173 @ 1018.73
2665.03/2669.97 c GLOBAL bounds - >= 173 @ 1020.39
2665.13/2670.01 c GLOBAL bounds - >= 173 @ 1020.43
2669.62/2674.53 c GLOBAL bounds - >= 173 @ 1022.04
2669.62/2674.56 c GLOBAL bounds - >= 173 @ 1022.07
2674.12/2679.08 c GLOBAL bounds - >= 173 @ 1023.67
2674.22/2679.11 c GLOBAL bounds - >= 173 @ 1023.7
2678.71/2683.63 c GLOBAL bounds - >= 173 @ 1025.35
2678.71/2683.67 c GLOBAL bounds - >= 173 @ 1025.38
2683.20/2688.18 c GLOBAL bounds - >= 173 @ 1027.02
2683.30/2688.21 c GLOBAL bounds - >= 173 @ 1027.04
2687.80/2692.72 c GLOBAL bounds - >= 173 @ 1028.65
2688.39/2693.34 c #Conflicts: 29000 | #Constraints: 185017
2688.39/2693.34 c GLOBAL bounds - >= 173 @ 1028.95
2692.89/2697.85 c GLOBAL bounds - >= 173 @ 1030.58
2693.19/2698.19 c INPROCESSING
2693.19/2698.19 c GARBAGE COLLECT
2693.19/2698.19 c GLOBAL bounds - >= 173 @ 1030.91
2697.78/2702.71 c GLOBAL bounds - >= 173 @ 1032.5
2702.27/2707.28 c GLOBAL bounds - >= 173 @ 1034.2
2706.86/2711.86 c #Conflicts: 18000 | #Constraints: 6655
2706.86/2711.86 c GLOBAL bounds - >= 173 @ 1035.86
2711.45/2716.43 c GLOBAL bounds - >= 173 @ 1037.49
2716.05/2721.03 c GLOBAL bounds - >= 173 @ 1039.23
2721.43/2726.41 c INPROCESSING
2721.43/2726.41 c GARBAGE COLLECT
2721.43/2726.41 c GLOBAL bounds - >= 173 @ 1041.74
2727.03/2732.04 c #Conflicts: 19000 | #Constraints: 4657
2727.03/2732.04 c #Conflicts: 20000 | #Constraints: 5657
2727.03/2732.04 c GLOBAL bounds - >= 173 @ 1044.42
2731.71/2736.72 c GLOBAL bounds - >= 173 @ 1046.24
2732.22/2737.23 c GLOBAL bounds - >= 176 @ 1046.74
2732.22/2737.27 c GLOBAL bounds - >= 176 @ 1046.79
2732.82/2737.86 c GLOBAL bounds - >= 176 @ 1047.06
2732.82/2737.88 c GLOBAL bounds - >= 176 @ 1047.07
2737.40/2742.40 c GLOBAL bounds - >= 176 @ 1048.77
2737.40/2742.41 c GLOBAL bounds - >= 176 @ 1048.78
2741.90/2746.93 c GLOBAL bounds - >= 176 @ 1050.35
2741.90/2746.96 c GLOBAL bounds - >= 176 @ 1050.38
2746.39/2751.47 c GLOBAL bounds - >= 176 @ 1052
2746.49/2751.50 c GLOBAL bounds - >= 176 @ 1052.03
2750.99/2756.02 c GLOBAL bounds - >= 176 @ 1053.64
2750.99/2756.04 c GLOBAL bounds - >= 176 @ 1053.65
2755.48/2760.56 c GLOBAL bounds - >= 176 @ 1055.31
2756.08/2761.18 c GLOBAL bounds - >= 176 @ 1055.61
2760.57/2765.69 c GLOBAL bounds - >= 176 @ 1057.27
2760.67/2765.74 c GLOBAL bounds - >= 176 @ 1057.3
2765.16/2770.25 c GLOBAL bounds - >= 176 @ 1058.93
2765.16/2770.29 c GLOBAL bounds - >= 176 @ 1058.96
2769.75/2774.81 c GLOBAL bounds - >= 176 @ 1060.59
2770.34/2775.45 c GLOBAL bounds - >= 176 @ 1060.89
2774.85/2779.97 c GLOBAL bounds - >= 176 @ 1062.52
2774.94/2780.03 c GLOBAL bounds - >= 176 @ 1062.57
2779.43/2784.55 c GLOBAL bounds - >= 176 @ 1064.25
2784.02/2789.13 c GLOBAL bounds - >= 176 @ 1066.01
2788.61/2793.71 c #Conflicts: 21000 | #Constraints: 6676
2788.61/2793.71 c GLOBAL bounds - >= 176 @ 1067.74
2793.21/2798.32 c GLOBAL bounds - >= 176 @ 1069.44
2797.80/2802.92 c GLOBAL bounds - >= 176 @ 1071.14
2802.39/2807.53 c GLOBAL bounds - >= 176 @ 1072.89
2806.99/2812.14 c GLOBAL bounds - >= 176 @ 1074.63
2811.57/2816.76 c GLOBAL bounds - >= 176 @ 1076.34
2816.76/2821.99 c INPROCESSING
2816.76/2821.99 c GARBAGE COLLECT
2816.76/2821.99 c GLOBAL bounds - >= 176 @ 1078.64
2818.06/2823.28 c #Conflicts: 22000 | #Constraints: 4516
2818.06/2823.28 c #Conflicts: 23000 | #Constraints: 5516
2818.06/2823.28 c GLOBAL bounds - >= 179 @ 1079.91
2818.16/2823.32 c GLOBAL bounds - >= 179 @ 1079.96
2818.77/2823.92 c GLOBAL bounds - >= 179 @ 1080.23
2818.77/2823.94 c GLOBAL bounds - >= 179 @ 1080.25
2823.25/2828.46 c GLOBAL bounds - >= 179 @ 1081.9
2823.25/2828.47 c GLOBAL bounds - >= 179 @ 1081.91
2827.74/2832.99 c GLOBAL bounds - >= 179 @ 1083.51
2827.85/2833.00 c GLOBAL bounds - >= 179 @ 1083.52
2832.34/2837.52 c GLOBAL bounds - >= 179 @ 1085.12
2832.34/2837.54 c GLOBAL bounds - >= 179 @ 1085.13
2836.83/2842.06 c GLOBAL bounds - >= 179 @ 1086.75
2836.83/2842.07 c GLOBAL bounds - >= 179 @ 1086.76
2841.32/2846.59 c GLOBAL bounds - >= 179 @ 1088.33
2841.42/2846.60 c GLOBAL bounds - >= 179 @ 1088.35
2845.91/2851.12 c GLOBAL bounds - >= 179 @ 1090.01
2845.91/2851.16 c #Conflicts: 30000 | #Constraints: 182471
2845.91/2851.16 c GLOBAL bounds - >= 179 @ 1090.04
2850.40/2855.69 c GLOBAL bounds - >= 179 @ 1091.67
2851.10/2856.32 c GLOBAL bounds - >= 179 @ 1091.96
2855.59/2860.83 c GLOBAL bounds - >= 179 @ 1093.55
2855.59/2860.88 c GLOBAL bounds - >= 179 @ 1093.59
2860.09/2865.39 c GLOBAL bounds - >= 179 @ 1095.23
2860.79/2866.05 c GLOBAL bounds - >= 179 @ 1095.54
2865.28/2870.56 c GLOBAL bounds - >= 179 @ 1097.17
2869.88/2875.10 c GLOBAL bounds - >= 179 @ 1098.87
2874.36/2879.68 c GLOBAL bounds - >= 179 @ 1100.56
2878.95/2884.25 c GLOBAL bounds - >= 179 @ 1102.24
2883.55/2888.83 c GLOBAL bounds - >= 179 @ 1103.89
2888.14/2893.45 c GLOBAL bounds - >= 179 @ 1105.65
2892.74/2898.05 c GLOBAL bounds - >= 179 @ 1107.39
2897.32/2902.66 c GLOBAL bounds - >= 179 @ 1109.12
2897.73/2903.05 c #Conflicts: 24000 | #Constraints: 6531
2897.73/2903.05 c GLOBAL bounds - >= 182 @ 1109.5
2897.73/2903.09 c GLOBAL bounds - >= 182 @ 1109.55
2897.73/2903.10 c GLOBAL bounds - >= 182 @ 1109.55
2902.31/2907.61 c GLOBAL bounds - >= 182 @ 1111.25
2902.31/2907.63 c GLOBAL bounds - >= 182 @ 1111.26
2906.82/2912.14 c GLOBAL bounds - >= 182 @ 1112.88
2906.82/2912.17 c GLOBAL bounds - >= 182 @ 1112.91
2911.30/2916.68 c GLOBAL bounds - >= 182 @ 1114.51
2911.40/2916.71 c GLOBAL bounds - >= 182 @ 1114.54
2915.89/2921.23 c GLOBAL bounds - >= 182 @ 1116.15
2916.49/2921.87 c GLOBAL bounds - >= 182 @ 1116.44
2920.98/2926.38 c GLOBAL bounds - >= 182 @ 1118
2921.09/2926.42 c GLOBAL bounds - >= 182 @ 1118.03
2925.57/2930.94 c GLOBAL bounds - >= 182 @ 1119.67
2926.17/2931.58 c GLOBAL bounds - >= 182 @ 1120
2930.77/2936.10 c GLOBAL bounds - >= 182 @ 1121.63
2930.77/2936.14 c GLOBAL bounds - >= 182 @ 1121.66
2935.26/2940.66 c GLOBAL bounds - >= 182 @ 1123.32
2935.96/2941.32 c #Conflicts: 31000 | #Constraints: 183496
2935.96/2941.32 c GLOBAL bounds - >= 182 @ 1123.64
2940.45/2945.84 c GLOBAL bounds - >= 182 @ 1125.3
2940.55/2945.90 c GLOBAL bounds - >= 182 @ 1125.35
2945.05/2950.42 c GLOBAL bounds - >= 182 @ 1127.01
2949.53/2954.98 c GLOBAL bounds - >= 182 @ 1128.67
2954.13/2959.56 c GLOBAL bounds - >= 182 @ 1130.35
2958.72/2964.14 c GLOBAL bounds - >= 182 @ 1132.07
2963.31/2968.70 c GLOBAL bounds - >= 182 @ 1133.74
2967.80/2973.27 c GLOBAL bounds - >= 182 @ 1135.41
2972.40/2977.85 c GLOBAL bounds - >= 182 @ 1137.12
2977.09/2982.51 c GLOBAL bounds - >= 182 @ 1138.81
2977.38/2982.84 c #Conflicts: 25000 | #Constraints: 7547
2977.38/2982.84 c GLOBAL bounds - >= 185 @ 1139.13
2977.38/2982.88 c GLOBAL bounds - >= 185 @ 1139.17
2977.38/2982.89 c GLOBAL bounds - >= 185 @ 1139.17
2982.37/2987.83 c INPROCESSING
2982.37/2987.83 c GARBAGE COLLECT
2982.37/2987.83 c GLOBAL bounds - >= 185 @ 1141.29
2982.98/2988.46 c GLOBAL bounds - >= 185 @ 1141.57
2987.58/2993.00 c GLOBAL bounds - >= 185 @ 1143.22
2987.58/2993.03 c GLOBAL bounds - >= 185 @ 1143.25
2992.06/2997.55 c GLOBAL bounds - >= 185 @ 1144.89
2992.06/2997.59 c GLOBAL bounds - >= 185 @ 1144.93
2996.66/3002.11 c GLOBAL bounds - >= 185 @ 1146.53
2996.66/3002.12 c GLOBAL bounds - >= 185 @ 1146.54
3001.15/3006.64 c GLOBAL bounds - >= 185 @ 1148.2
3001.75/3007.28 c GLOBAL bounds - >= 185 @ 1148.49
3006.24/3011.79 c GLOBAL bounds - >= 185 @ 1150.12
3006.33/3011.81 c GLOBAL bounds - >= 185 @ 1150.13
3010.83/3016.33 c GLOBAL bounds - >= 185 @ 1151.75
3010.83/3016.37 c GLOBAL bounds - >= 185 @ 1151.79
3015.31/3020.88 c GLOBAL bounds - >= 185 @ 1153.44
3016.02/3021.55 c GLOBAL bounds - >= 185 @ 1153.75
3020.51/3026.07 c GLOBAL bounds - >= 185 @ 1155.36
3020.62/3026.11 c GLOBAL bounds - >= 185 @ 1155.4
3025.10/3030.62 c GLOBAL bounds - >= 185 @ 1157.01
3029.60/3035.17 c GLOBAL bounds - >= 185 @ 1158.63
3034.18/3039.75 c GLOBAL bounds - >= 185 @ 1160.27
3038.78/3044.36 c GLOBAL bounds - >= 185 @ 1162.02
3043.37/3048.95 c GLOBAL bounds - >= 185 @ 1163.78
3048.26/3053.81 c GLOBAL bounds - >= 185 @ 1165.75
3053.25/3058.81 c #Conflicts: 26000 | #Constraints: 5129
3053.25/3058.81 c GLOBAL bounds - >= 185 @ 1167.82
3057.95/3063.55 c GLOBAL bounds - >= 185 @ 1169.7
3058.15/3063.73 c #Conflicts: 27000 | #Constraints: 6129
3058.15/3063.73 c GLOBAL bounds - >= 188 @ 1169.88
3058.15/3063.79 c GLOBAL bounds - >= 188 @ 1169.93
3058.24/3063.80 c GLOBAL bounds - >= 188 @ 1169.94
3062.74/3068.32 c GLOBAL bounds - >= 188 @ 1171.6
3063.34/3068.96 c GLOBAL bounds - >= 188 @ 1171.88
3067.83/3073.48 c GLOBAL bounds - >= 188 @ 1173.55
3067.83/3073.49 c GLOBAL bounds - >= 188 @ 1173.57
3072.43/3078.01 c GLOBAL bounds - >= 188 @ 1175.16
3072.43/3078.04 c GLOBAL bounds - >= 188 @ 1175.19
3076.91/3082.56 c GLOBAL bounds - >= 188 @ 1176.78
3077.02/3082.60 c GLOBAL bounds - >= 188 @ 1176.82
3081.51/3087.12 c GLOBAL bounds - >= 188 @ 1178.42
3082.10/3087.77 c #Conflicts: 32000 | #Constraints: 184533
3082.10/3087.77 c GLOBAL bounds - >= 188 @ 1178.71
3086.60/3092.29 c GLOBAL bounds - >= 188 @ 1180.32
3086.70/3092.33 c GLOBAL bounds - >= 188 @ 1180.35
3091.19/3096.85 c GLOBAL bounds - >= 188 @ 1181.97
3091.19/3096.86 c GLOBAL bounds - >= 188 @ 1181.98
3095.68/3101.38 c GLOBAL bounds - >= 188 @ 1183.58
3096.39/3102.06 c GLOBAL bounds - >= 188 @ 1183.9
3100.88/3106.57 c GLOBAL bounds - >= 188 @ 1185.54
3100.98/3106.61 c GLOBAL bounds - >= 188 @ 1185.57
3105.47/3111.13 c GLOBAL bounds - >= 188 @ 1187.22
3109.96/3115.68 c GLOBAL bounds - >= 188 @ 1188.88
3114.55/3120.26 c GLOBAL bounds - >= 188 @ 1190.56
3119.14/3124.86 c GLOBAL bounds - >= 188 @ 1192.26
3123.74/3129.47 c GLOBAL bounds - >= 188 @ 1193.96
3128.33/3134.09 c GLOBAL bounds - >= 188 @ 1195.64
3133.01/3138.70 c GLOBAL bounds - >= 188 @ 1197.35
3137.81/3143.54 c GLOBAL bounds - >= 188 @ 1199.32
3138.11/3143.89 c #Conflicts: 28000 | #Constraints: 7145
3138.11/3143.89 c GLOBAL bounds - >= 191 @ 1199.67
3138.21/3143.94 c GLOBAL bounds - >= 191 @ 1199.72
3138.21/3143.96 c GLOBAL bounds - >= 191 @ 1199.73
3142.70/3148.48 c GLOBAL bounds - >= 191 @ 1201.37
3143.40/3149.12 c GLOBAL bounds - >= 191 @ 1201.66
3147.89/3153.64 c GLOBAL bounds - >= 191 @ 1203.29
3147.89/3153.67 c GLOBAL bounds - >= 191 @ 1203.31
3152.39/3158.19 c GLOBAL bounds - >= 191 @ 1204.95
3152.49/3158.20 c GLOBAL bounds - >= 191 @ 1204.96
3156.98/3162.72 c GLOBAL bounds - >= 191 @ 1206.62
3156.98/3162.76 c GLOBAL bounds - >= 191 @ 1206.65
3161.47/3167.28 c GLOBAL bounds - >= 191 @ 1208.28
3162.17/3167.94 c GLOBAL bounds - >= 191 @ 1208.59
3166.66/3172.46 c GLOBAL bounds - >= 191 @ 1210.18
3166.66/3172.47 c GLOBAL bounds - >= 191 @ 1210.19
3171.15/3176.99 c GLOBAL bounds - >= 191 @ 1211.85
3171.25/3177.03 c GLOBAL bounds - >= 191 @ 1211.88
3175.75/3181.55 c GLOBAL bounds - >= 191 @ 1213.53
3176.44/3182.24 c GLOBAL bounds - >= 191 @ 1213.85
3180.94/3186.76 c GLOBAL bounds - >= 191 @ 1215.48
3181.34/3187.10 c #Conflicts: 33000 | #Constraints: 185556
3181.34/3187.10 c INPROCESSING
3181.34/3187.10 c GARBAGE COLLECT
3181.34/3187.10 c GLOBAL bounds - >= 191 @ 1215.81
3185.83/3191.62 c GLOBAL bounds - >= 191 @ 1217.44
3190.42/3196.20 c GLOBAL bounds - >= 191 @ 1219.08
3194.92/3200.78 c GLOBAL bounds - >= 191 @ 1220.78
3199.50/3205.37 c GLOBAL bounds - >= 191 @ 1222.51
3204.10/3209.93 c GLOBAL bounds - >= 191 @ 1224.21
3208.79/3214.61 c GLOBAL bounds - >= 191 @ 1225.99
3213.38/3219.26 c GLOBAL bounds - >= 191 @ 1227.73
3213.98/3219.84 c #Conflicts: 29000 | #Constraints: 8161
3213.98/3219.84 c INPROCESSING
3213.98/3219.84 c GARBAGE COLLECT
3213.98/3219.84 c GLOBAL bounds - >= 195 @ 1228.31
3214.68/3220.53 c GLOBAL bounds - >= 195 @ 1228.63
3214.68/3220.55 c GLOBAL bounds - >= 195 @ 1228.65
3214.68/3220.55 c GLOBAL bounds - >= 195 @ 1228.65
3219.18/3225.07 c GLOBAL bounds - >= 195 @ 1230.27
3219.18/3225.09 c GLOBAL bounds - >= 195 @ 1230.28
3223.76/3229.60 c GLOBAL bounds - >= 195 @ 1231.9
3223.76/3229.62 c GLOBAL bounds - >= 195 @ 1231.92
3228.26/3234.17 c GLOBAL bounds - >= 195 @ 1233.59
3228.26/3234.19 c GLOBAL bounds - >= 195 @ 1233.62
3232.95/3238.84 c GLOBAL bounds - >= 195 @ 1235.36
3232.95/3238.85 c GLOBAL bounds - >= 195 @ 1235.37
3237.54/3243.41 c GLOBAL bounds - >= 195 @ 1237.04
3237.54/3243.44 c GLOBAL bounds - >= 195 @ 1237.06
3242.03/3247.96 c GLOBAL bounds - >= 195 @ 1238.7
3242.73/3248.62 c GLOBAL bounds - >= 195 @ 1238.98
3247.23/3253.13 c GLOBAL bounds - >= 195 @ 1240.6
3247.23/3253.16 c GLOBAL bounds - >= 195 @ 1240.62
3251.71/3257.68 c GLOBAL bounds - >= 195 @ 1242.27
3251.81/3257.72 c GLOBAL bounds - >= 195 @ 1242.3
3256.31/3262.24 c GLOBAL bounds - >= 195 @ 1243.97
3257.01/3262.92 c GLOBAL bounds - >= 195 @ 1244.29
3261.50/3267.43 c GLOBAL bounds - >= 195 @ 1245.96
3266.09/3272.04 c GLOBAL bounds - >= 195 @ 1247.63
3270.68/3276.61 c GLOBAL bounds - >= 195 @ 1249.33
3275.18/3281.19 c GLOBAL bounds - >= 195 @ 1251.01
3279.77/3285.77 c GLOBAL bounds - >= 195 @ 1252.75
3284.46/3290.40 c GLOBAL bounds - >= 195 @ 1254.47
3289.35/3295.34 c #Conflicts: 30000 | #Constraints: 5610
3289.35/3295.34 c GLOBAL bounds - >= 195 @ 1256.59
3289.55/3295.51 c GLOBAL bounds - >= 196 @ 1256.75
3289.55/3295.55 c GLOBAL bounds - >= 196 @ 1256.8
3289.55/3295.57 c GLOBAL bounds - >= 196 @ 1256.81
3289.55/3295.59 c GLOBAL bounds - >= 196 @ 1256.82
3294.15/3300.10 c GLOBAL bounds - >= 196 @ 1258.42
3294.15/3300.11 c GLOBAL bounds - >= 196 @ 1258.43
3298.63/3304.63 c GLOBAL bounds - >= 196 @ 1260.07
3298.63/3304.64 c GLOBAL bounds - >= 196 @ 1260.08
3303.13/3309.16 c GLOBAL bounds - >= 196 @ 1261.72
3303.82/3309.84 c GLOBAL bounds - >= 196 @ 1262.04
3308.31/3314.36 c GLOBAL bounds - >= 196 @ 1263.64
3308.42/3314.40 c GLOBAL bounds - >= 196 @ 1263.67
3312.91/3318.92 c GLOBAL bounds - >= 196 @ 1265.28
3313.61/3319.60 c #Conflicts: 34000 | #Constraints: 182831
3313.61/3319.60 c GLOBAL bounds - >= 196 @ 1265.58
3318.10/3324.11 c GLOBAL bounds - >= 196 @ 1267.17
3318.10/3324.14 c GLOBAL bounds - >= 196 @ 1267.2
3322.59/3328.66 c GLOBAL bounds - >= 196 @ 1268.85
3322.69/3328.72 c GLOBAL bounds - >= 196 @ 1268.9
3327.18/3333.24 c GLOBAL bounds - >= 196 @ 1270.55
3327.88/3333.94 c GLOBAL bounds - >= 196 @ 1270.88
3332.37/3338.46 c GLOBAL bounds - >= 196 @ 1272.57
3332.37/3338.49 c GLOBAL bounds - >= 196 @ 1272.6
3336.97/3343.01 c GLOBAL bounds - >= 196 @ 1274.24
3341.46/3347.57 c GLOBAL bounds - >= 196 @ 1275.96
3346.06/3352.15 c GLOBAL bounds - >= 196 @ 1277.67
3350.64/3356.73 c GLOBAL bounds - >= 196 @ 1279.34
3355.23/3361.33 c GLOBAL bounds - >= 196 @ 1280.99
3359.83/3365.91 c GLOBAL bounds - >= 196 @ 1282.67
3364.32/3370.49 c GLOBAL bounds - >= 196 @ 1284.33
3369.21/3375.35 c #Conflicts: 31000 | #Constraints: 6631
3369.21/3375.35 c GLOBAL bounds - >= 196 @ 1286.31
3374.01/3380.18 c GLOBAL bounds - >= 196 @ 1288.25
3374.40/3380.50 c GLOBAL bounds - >= 199 @ 1288.57
3374.40/3380.55 c GLOBAL bounds - >= 199 @ 1288.61
3374.40/3380.56 c GLOBAL bounds - >= 199 @ 1288.63
3374.40/3380.58 c GLOBAL bounds - >= 199 @ 1288.64
3378.90/3385.10 c GLOBAL bounds - >= 199 @ 1290.25
3379.60/3385.77 c GLOBAL bounds - >= 199 @ 1290.55
3384.09/3390.29 c GLOBAL bounds - >= 199 @ 1292.2
3384.19/3390.30 c GLOBAL bounds - >= 199 @ 1292.21
3388.68/3394.82 c GLOBAL bounds - >= 199 @ 1293.85
3388.68/3394.84 c GLOBAL bounds - >= 199 @ 1293.86
3393.17/3399.36 c GLOBAL bounds - >= 199 @ 1295.51
3393.17/3399.39 c GLOBAL bounds - >= 199 @ 1295.53
3397.76/3403.91 c GLOBAL bounds - >= 199 @ 1297.12
3397.76/3403.95 c GLOBAL bounds - >= 199 @ 1297.16
3402.25/3408.47 c GLOBAL bounds - >= 199 @ 1298.8
3402.95/3409.17 c GLOBAL bounds - >= 199 @ 1299.12
3407.44/3413.69 c GLOBAL bounds - >= 199 @ 1300.8
3407.54/3413.73 c GLOBAL bounds - >= 199 @ 1300.83
3412.04/3418.25 c GLOBAL bounds - >= 199 @ 1302.47
3412.74/3418.97 c GLOBAL bounds - >= 199 @ 1302.82
3417.23/3423.49 c GLOBAL bounds - >= 199 @ 1304.49
3417.33/3423.56 c #Conflicts: 35000 | #Constraints: 183865
3417.33/3423.56 c GLOBAL bounds - >= 199 @ 1304.54
3421.83/3428.08 c GLOBAL bounds - >= 199 @ 1306.16
3426.41/3432.68 c #Conflicts: 32000 | #Constraints: 7648
3426.41/3432.68 c GLOBAL bounds - >= 199 @ 1307.91
3431.00/3437.26 c GLOBAL bounds - >= 199 @ 1309.61
3435.60/3441.88 c GLOBAL bounds - >= 199 @ 1311.34
3440.18/3446.46 c GLOBAL bounds - >= 199 @ 1312.99
3444.78/3451.08 c GLOBAL bounds - >= 199 @ 1314.72
3449.57/3455.81 c GLOBAL bounds - >= 199 @ 1316.62
3449.77/3456.05 c GLOBAL bounds - >= 204 @ 1316.85
3450.47/3456.77 c GLOBAL bounds - >= 204 @ 1317.21
3450.47/3456.79 c GLOBAL bounds - >= 204 @ 1317.22
3455.06/3461.31 c GLOBAL bounds - >= 204 @ 1318.89
3455.06/3461.34 c GLOBAL bounds - >= 204 @ 1318.91
3459.55/3465.86 c GLOBAL bounds - >= 204 @ 1320.59
3459.55/3465.89 c GLOBAL bounds - >= 204 @ 1320.61
3464.14/3470.41 c GLOBAL bounds - >= 204 @ 1322.22
3464.85/3471.11 c GLOBAL bounds - >= 204 @ 1322.55
3469.33/3475.63 c GLOBAL bounds - >= 204 @ 1324.22
3469.33/3475.68 c GLOBAL bounds - >= 204 @ 1324.26
3473.93/3480.20 c GLOBAL bounds - >= 204 @ 1325.91
3474.63/3480.90 c GLOBAL bounds - >= 204 @ 1326.24
3479.12/3485.42 c GLOBAL bounds - >= 204 @ 1327.88
3479.12/3485.47 c GLOBAL bounds - >= 204 @ 1327.92
3483.61/3489.99 c GLOBAL bounds - >= 204 @ 1329.52
3484.41/3490.72 c GLOBAL bounds - >= 204 @ 1329.86
3488.90/3495.24 c GLOBAL bounds - >= 204 @ 1331.5
3489.01/3495.31 c GLOBAL bounds - >= 204 @ 1331.56
3493.50/3499.83 c GLOBAL bounds - >= 204 @ 1333.23
3494.19/3500.56 c GLOBAL bounds - >= 204 @ 1333.56
3498.69/3505.08 c GLOBAL bounds - >= 204 @ 1335.17
3503.28/3509.66 c GLOBAL bounds - >= 204 @ 1336.87
3508.38/3514.73 c #Conflicts: 33000 | #Constraints: 8666
3508.38/3514.73 c INPROCESSING
3508.38/3514.73 c GARBAGE COLLECT
3508.38/3514.73 c GLOBAL bounds - >= 204 @ 1339.08
3512.97/3519.33 c GLOBAL bounds - >= 204 @ 1340.8
3517.55/3523.95 c GLOBAL bounds - >= 204 @ 1342.52
3522.15/3528.54 c GLOBAL bounds - >= 204 @ 1344.22
3526.65/3533.09 c GLOBAL bounds - >= 204 @ 1345.9
3527.14/3533.53 c GLOBAL bounds - >= 208 @ 1346.33
3527.14/3533.59 c #Conflicts: 36000 | #Constraints: 184924
3527.14/3533.59 c GLOBAL bounds - >= 208 @ 1346.38
3527.24/3533.61 c GLOBAL bounds - >= 208 @ 1346.4
3531.74/3538.12 c GLOBAL bounds - >= 208 @ 1348.04
3532.43/3538.82 c GLOBAL bounds - >= 208 @ 1348.35
3536.92/3543.33 c GLOBAL bounds - >= 208 @ 1350.05
3536.92/3543.36 c GLOBAL bounds - >= 208 @ 1350.08
3541.42/3547.88 c GLOBAL bounds - >= 208 @ 1351.76
3541.52/3547.92 c GLOBAL bounds - >= 208 @ 1351.79
3546.01/3552.44 c GLOBAL bounds - >= 208 @ 1353.42
3546.72/3553.16 c GLOBAL bounds - >= 208 @ 1353.75
3551.21/3557.67 c GLOBAL bounds - >= 208 @ 1355.43
3551.21/3557.68 c GLOBAL bounds - >= 208 @ 1355.44
3555.79/3562.20 c GLOBAL bounds - >= 208 @ 1357.09
3555.79/3562.24 c GLOBAL bounds - >= 208 @ 1357.12
3560.29/3566.76 c GLOBAL bounds - >= 208 @ 1358.74
3561.08/3567.50 c GLOBAL bounds - >= 208 @ 1359.08
3565.58/3572.02 c GLOBAL bounds - >= 208 @ 1360.72
3565.58/3572.08 c GLOBAL bounds - >= 208 @ 1360.78
3570.17/3576.60 c GLOBAL bounds - >= 208 @ 1362.39
3570.87/3577.34 c GLOBAL bounds - >= 208 @ 1362.73
3575.36/3581.86 c GLOBAL bounds - >= 208 @ 1364.36
3579.95/3586.46 c GLOBAL bounds - >= 208 @ 1366.04
3584.55/3591.07 c #Conflicts: 34000 | #Constraints: 5888
3584.55/3591.07 c GLOBAL bounds - >= 208 @ 1367.76
3589.14/3595.69 c GLOBAL bounds - >= 208 @ 1369.46
3593.83/3600.32 c GLOBAL bounds - >= 208 @ 1371.19
3598.42/3604.96 c GLOBAL bounds - >= 208 @ 1372.95
3600.01/3606.50 c cpu time 1373.59 s
3600.01/3606.50 c deterministic time 393162873 3.93e+08
3600.01/3606.50 c optimization time 1279.4 s
3600.01/3606.50 c total solve time 90.5146 s
3600.01/3606.50 c core-guided solve time 0 s
3600.01/3606.50 c propagation time 52.4016 s
3600.01/3606.50 c conflict analysis time 1.75592 s
3600.01/3606.50 c propagations 3496599
3600.01/3606.50 c resolve steps 74353
3600.01/3606.50 c decisions 69885464
3600.01/3606.50 c conflicts 36826
3600.01/3606.50 c restarts 124
3600.01/3606.50 c inprocessing phases 11
3600.01/3606.50 c garbage collections 6 ,( 54.55 )
3600.01/3606.50 c input clauses 90013 ,( 50.57 )
3600.01/3606.50 c input cardinalities 87615 ,( 49.22 )
3600.01/3606.50 c input general constraints 374 ,( 0.21 )
3600.01/3606.50 c input average constraint length 60.57
3600.01/3606.50 c input average constraint degree 33.19
3600.01/3606.50 c learned clauses 1000 ,( 2.71 )
3600.01/3606.50 c learned cardinalities 35790 ,( 97.12 )
3600.01/3606.50 c learned general constraints 63 ,( 0.17 )
3600.01/3606.50 c learned average constraint length 996.89
3600.01/3606.50 c learned average constraint degree 509.88
3600.01/3606.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3606.50 c counting CF 32, 64, 128, Arb: 438 , 0 , 0 , 0
3600.01/3606.50 c watched constraints 0 ,( 0.00 )
3600.01/3606.50 c counting constraints 437 ,( 100.00 )
3600.01/3606.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1568916 , 1673391 , 9814715 ,( 0 , 9814715 )
3600.01/3606.50 c gcd simplifications 0
3600.01/3606.50 c detected cardinalities 0
3600.01/3606.50 c weakened non-implied lits 0
3600.01/3606.50 c weakened non-implying lits 0
3600.01/3606.50 c original variables 4576880
3600.01/3606.50 c clausal propagations 1318922
3600.01/3606.50 c cardinality propagations 1570984
3600.01/3606.50 c watched propagations 0
3600.01/3606.50 c counting propagations 83624
3600.01/3606.50 c watch lookups 17789454
3600.01/3606.50 c watch backjump lookups 0
3600.01/3606.50 c watch checks 99215332
3600.01/3606.50 c propagation checks 88382615
3600.01/3606.50 c constraint additions 40847519
3600.01/3606.50 c trail pops 73418889
3600.01/3606.50 c formula constraints 176770
3600.01/3606.50 c learned constraints 36853
3600.01/3606.50 c bound constraints 0
3600.01/3606.50 c core-guided constraints 0
3600.01/3606.50 c encountered formula constraints 75334
3600.01/3606.50 c encountered learned constraints 35719
3600.01/3606.50 c encountered bound constraints 0
3600.01/3606.50 c encountered core-guided constraints 0
3600.01/3606.50 c LP total time 47.6033 s
3600.01/3606.50 c LP solve time 44.91 s
3600.01/3606.50 c LP constraints added 176770
3600.01/3606.50 c LP constraints removed 0
3600.01/3606.50 c LP pivots internal 86000
3600.01/3606.50 c LP pivots root 41000
3600.01/3606.50 c LP calls 7
3600.01/3606.50 c LP optimalities 0
3600.01/3606.50 c LP no pivot count 0
3600.01/3606.50 c LP infeasibilities 0
3600.01/3606.50 c LP valid Farkas constraints 0
3600.01/3606.50 c LP learned Farkas constraints 0
3600.01/3606.50 c LP basis resets 0
3600.01/3606.50 c LP cycling count 0
3600.01/3606.50 c LP singular count 0
3600.01/3606.50 c LP no primal count 0
3600.01/3606.50 c LP no farkas count 0
3600.01/3606.50 c LP other issue count 0
3600.01/3606.50 c LP Gomory cuts 0
3600.01/3606.50 c LP learned cuts 0
3600.01/3606.50 c LP deleted cuts 0
3600.01/3606.50 c LP encountered Gomory constraints 0
3600.01/3606.50 c LP encountered Farkas constraints 0
3600.01/3606.50 c LP encountered learned Farkas constraints 0
3600.01/3606.50 c CG auxiliary variables introduced 218
3600.01/3606.50 c CG solutions found 0
3600.01/3606.50 c CG cores constructed 548
3600.01/3606.50 c CG core cardinality constraints returned 0
3600.01/3606.50 c CG unit cores 0
3600.01/3606.50 c CG single cores 0
3600.01/3606.50 c CG blocks removed during cardinality reduction 0
3600.01/3606.50 c CG first core best 0
3600.01/3606.50 c CG decision core best 0
3600.01/3606.50 c CG core reduction tie 0
3600.01/3606.50 c CG core degree average 0.00
3600.01/3606.50 c CG core slack average 0.00
3600.01/3606.50 c CG core upper bound improvements 0
3600.01/3606.50 c STR number of successful calls 0
3600.01/3606.50 c STR number of unsuccessful calls 0
3600.01/3606.50 c STR number of inconclusive calls 0
3600.01/3606.50 c STR number of successful attempts 0
3600.01/3606.50 c STR number of unsuccessful attempts 0
3600.01/3606.50 c STR number of inconclusive attempts 0
3600.01/3606.50 c STR average degree increase per successful call inf
3600.01/3606.50 c STR average degree increase per successful attempt inf
3600.01/3606.50 c STR total number of conflicts for successful attempts 0
3600.01/3606.50 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3606.50 c STR total number of conflicts for inconclusive attempts 0
3600.01/3606.50 c STR average number of conflicts per successful attempt inf
3600.01/3606.50 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3606.50 c STR average number of conflicts per inconclusive attempt inf
3600.01/3606.50 c AVG.sumWPerc 97.41
3600.01/3606.50 c bigint constraints 0
3600.01/3606.50 s UNKNOWN
3600.01/3606.50 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 (55479 MiB free)
memory of node 1: 64465 MiB (63411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521906-1751589693/watcher-4521906-1751589693 -o /tmp/evaluation-result-4521906-1751589693/solver-4521906-1751589693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4521906-1751589693.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87923, runsolver pid=87920
[startup+0.100065 s]*
/proc/loadavg: 4.14 4.17 4.14 5/269 87925
/proc/meminfo: memFree=121383892/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=448500 memory=397256 CPUtime=0.08 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 549 0 0 0 1 7 0 0 20 0 1 0 74648845 459264000 99314 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 112125 99314 1856 1147 0 99552 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 452692 KiB
Current children cumulated memory: 400200 KiB
[startup+0.205749 s]*
/proc/loadavg: 4.14 4.17 4.14 5/269 87925
/proc/meminfo: memFree=121224656/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=621316 memory=548492 CPUtime=0.19 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 3099 0 0 0 9 10 0 0 20 0 1 0 74648845 636227584 137123 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 155329 137123 1856 1147 0 142756 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 625508 KiB
Current children cumulated memory: 551436 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.14 4.17 4.14 5/269 87925
/proc/meminfo: memFree=120950352/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=848324 memory=800948 CPUtime=0.28 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 4906 0 0 0 13 15 0 0 20 0 1 0 74648845 868683776 200237 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 212081 200237 1856 1147 0 199508 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 852516 KiB
Current children cumulated memory: 803892 KiB
[startup+0.700193 s]
/proc/loadavg: 4.14 4.17 4.14 5/269 87925
/proc/meminfo: memFree=120779020/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=1030960 memory=986052 CPUtime=0.68 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 11390 0 0 0 47 21 0 0 20 0 1 0 74648845 1055703040 246513 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 257740 246513 1888 1147 0 245167 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1035152 KiB
Current children cumulated memory: 988996 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.16 4.14 5/269 87925
/proc/meminfo: memFree=120743424/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=1087132 memory=1042940 CPUtime=1.48 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 23734 0 0 0 120 28 0 0 20 0 1 0 74648845 1113223168 260735 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 271783 260735 1888 1147 0 259210 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1091324 KiB
Current children cumulated memory: 1045884 KiB
[startup+3.10538 s]
/proc/loadavg: 4.13 4.16 4.14 5/269 87925
/proc/meminfo: memFree=120567216/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=1206044 memory=1157512 CPUtime=3.07 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 47089 0 0 0 265 42 0 0 20 0 1 0 74648845 1234989056 289378 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 301511 289378 1888 1147 0 288938 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1210236 KiB
Current children cumulated memory: 1160456 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.16 4.14 5/269 87925
/proc/meminfo: memFree=118890380/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=2928684 memory=2832464 CPUtime=6.27 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 128014 0 0 0 439 188 0 0 20 0 1 0 74648845 2998972416 708116 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 732171 708116 2336 1147 0 719598 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2932876 KiB
Current children cumulated memory: 2835408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.14 5/269 87925
/proc/meminfo: memFree=117986392/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=4628728 memory=3513620 CPUtime=12.65 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 160078 0 0 0 821 444 0 0 20 0 1 0 74648845 4739817472 878405 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1157182 878405 2368 1147 0 1144609 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4632920 KiB
Current children cumulated memory: 3516564 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.14 5/269 87926
/proc/meminfo: memFree=116649780/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=6395696 memory=4946956 CPUtime=25.43 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 186761 0 0 0 1407 1136 0 0 20 0 1 0 74648845 6549192704 1236739 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1598924 1236739 2400 1147 0 1586351 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 6399888 KiB
Current children cumulated memory: 4949900 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.15 4.14 5/269 87927
/proc/meminfo: memFree=116659780/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=6395696 memory=4946956 CPUtime=50.99 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 187239 0 0 0 2352 2747 0 0 20 0 1 0 74648845 6549192704 1236739 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1598924 1236739 2400 1147 0 1586351 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 6399888 KiB
Current children cumulated memory: 4949900 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/269 87929
/proc/meminfo: memFree=116226636/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=6820656 memory=5299372 CPUtime=102.09 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 191289 0 0 0 4234 5975 0 0 20 0 1 0 74648845 6984351744 1324843 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1705164 1324843 2400 1147 0 1692591 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 6824848 KiB
Current children cumulated memory: 5302316 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/269 87976
/proc/meminfo: memFree=116894860/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=6851476 memory=5304240 CPUtime=161.99 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 192455 0 0 0 6428 9771 0 0 20 0 1 0 74648845 7015911424 1326060 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1712869 1326060 2400 1147 0 1700296 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 6855668 KiB
Current children cumulated memory: 5307184 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/268 87982
/proc/meminfo: memFree=116765824/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7209044 memory=5404284 CPUtime=221.88 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 202469 0 0 0 8914 13274 0 0 20 0 1 0 74648845 7382061056 1351071 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1802261 1351071 2400 1147 0 1789688 0
################
# More data... #
################
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7928728 memory=6105440 CPUtime=3156.58 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 275606 0 0 0 120643 195015 0 0 20 0 1 0 74648845 8119017472 1526360 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1982182 1526360 2400 1147 0 1969609 0
Current children cumulated CPU time: 3156.58 s
Current children cumulated vsize: 7932920 KiB
Current children cumulated memory: 6108384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/269 88147
/proc/meminfo: memFree=113543640/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7953784 memory=6144380 CPUtime=3216.48 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 278500 0 0 0 122925 198723 0 0 20 0 1 0 74648845 8144674816 1536095 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1988446 1536095 2400 1147 0 1975873 0
Current children cumulated CPU time: 3216.48 s
Current children cumulated vsize: 7957976 KiB
Current children cumulated memory: 6147324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/269 88149
/proc/meminfo: memFree=113253488/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7953784 memory=6144380 CPUtime=3276.37 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 278728 0 0 0 125145 202492 0 0 20 0 1 0 74648845 8144674816 1536095 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1988446 1536095 2400 1147 0 1975873 0
Current children cumulated CPU time: 3276.37 s
Current children cumulated vsize: 7957976 KiB
Current children cumulated memory: 6147324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/268 88150
/proc/meminfo: memFree=113228896/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7953784 memory=6144380 CPUtime=3336.27 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 279043 0 0 0 127396 206231 0 0 20 0 1 0 74648845 8144674816 1536095 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1988446 1536095 2400 1147 0 1975873 0
Current children cumulated CPU time: 3336.27 s
Current children cumulated vsize: 7957976 KiB
Current children cumulated memory: 6147324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/268 88152
/proc/meminfo: memFree=113220944/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7953784 memory=6145404 CPUtime=3396.16 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 279544 0 0 0 129654 209962 0 0 20 0 1 0 74648845 8144674816 1536351 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1988446 1536351 2400 1147 0 1975873 0
Current children cumulated CPU time: 3396.16 s
Current children cumulated vsize: 7957976 KiB
Current children cumulated memory: 6148348 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/267 88154
/proc/meminfo: memFree=113192304/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7958820 memory=6164960 CPUtime=3456.06 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 282291 0 0 0 131928 213678 0 0 20 0 1 0 74648845 8149831680 1541240 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1989705 1541240 2400 1147 0 1977132 0
Current children cumulated CPU time: 3456.06 s
Current children cumulated vsize: 7963012 KiB
Current children cumulated memory: 6167904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/268 88157
/proc/meminfo: memFree=113163912/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7976696 memory=6189752 CPUtime=3515.96 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 283403 0 0 0 134188 217408 0 0 20 0 1 0 74648845 8168136704 1547438 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1994174 1547438 2400 1147 0 1981601 0
Current children cumulated CPU time: 3515.96 s
Current children cumulated vsize: 7980888 KiB
Current children cumulated memory: 6192696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 88161
/proc/meminfo: memFree=113144836/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7981820 memory=6195424 CPUtime=3575.86 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 284707 0 0 0 136455 221131 0 0 20 0 1 0 74648845 8173383680 1548856 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1995455 1548856 2400 1147 0 1982882 0
Current children cumulated CPU time: 3575.86 s
Current children cumulated vsize: 7986012 KiB
Current children cumulated memory: 6198368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.5 s]
/proc/loadavg: 4.16 4.12 4.10 4/263 88227
/proc/meminfo: memFree=114411508/131250000 swapFree=33009904/33010684
[pid=87923] ppid=87920 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/87923/stat : 87923 (run-opt.sh) S 87920 87923 87381 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 74648845 4292608 736 18446744073709551615 94621906538496 94621907433029 140725954863632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94621907672080 94621907719824 94621924438016 140725954865517 140725954865640 140725954865640 140725954871242 0
/proc/87923/statm: 1048 736 672 219 0 110 0
[pid=87925] ppid=87923 vsize=7999700 memory=6213344 CPUtime=3600.01 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87923 87923 87381 0 -1 4194304 285089 0 0 0 137358 222643 0 0 20 0 1 0 74648845 8191692800 1553336 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 1999925 1553336 2400 1147 0 1987352 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 8003892 KiB
Current children cumulated memory: 6216288 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3606.5 s]
# the end of solver process 87923 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.00241 s
Sleeping 2 seconds
[startup+3606.77 s]
# the end of solver process 87925 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=1373.83 s, system=2226.48 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
[startup+3606.6 s]*
/proc/loadavg: 4.16 4.12 4.10 5/267 88258
/proc/meminfo: memFree=118098448/131250000 swapFree=33009904/33010684
[pid=87925] ppid=87920 vsize=3116680 memory=2494396 CPUtime=3600.13 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87920 87923 87381 0 -1 4194304 285326 0 0 0 137368 222645 0 0 20 0 1 0 74648845 3191480320 623599 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 779170 623599 2464 1147 0 766597 0
Current cumulated CPU time of completed processes: 0.00241 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 3116680 KiB
Current children cumulated memory: 2494396 KiB
[startup+3606.71 s]
/proc/loadavg: 4.16 4.12 4.10 5/267 88258
/proc/meminfo: memFree=118098448/131250000 swapFree=33009904/33010684
[pid=87925] ppid=87920 vsize=3044040 memory=2421884 CPUtime=3600.22 cores=1,3
/proc/87925/stat : 87925 (roundingsat) R 87920 87923 87381 0 -1 4194304 285344 0 0 0 137377 222645 0 0 20 0 1 0 74648845 3117096960 605471 18446744073709551615 4227072 8923433 140729394755264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38006784 140729394760098 140729394760232 140729394760232 140729394765802 0
/proc/87925/statm: 761010 605471 2464 1147 0 748437 0
Current cumulated CPU time of completed processes: 0.00241 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 3044040 KiB
Current children cumulated memory: 2421884 KiB
Child status: 2
Real time (s): 3606.77
CPU time (s): 3600.3
CPU user time (s): 1373.83
CPU system time (s): 2226.48
CPU usage (%): 99.8205
Max. virtual memory (cumulated for all children) (KiB): 8003892
Max. memory (cumulated for all children) (KiB): 6216288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1373.83
system time used= 2226.48
maximum resident set size= 6213600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285674
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= 146
involuntary context switches= 2457
# summary of solver processes directly reported to runsolver:
# pid: 87923,87925
# total CPU time (s): 3600.3
# total CPU user time (s): 1373.83
# total CPU system time (s): 2226.48
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56922 second user time and 16.6485 second system time
The end
Begin job on nodeC033 at 2025-07-04 02:41:34
IDJOB=4521906
IDBENCH=178517
IDSOLVER=3350
FILE ID=nodeC033/4521906-1751589693
RUNJOBID= nodeC033-1751586076-87393
SLURM_JOB_ID= 9598834
Free space on /tmp= 429776 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521906-1751589693/watcher-4521906-1751589693 -o /tmp/evaluation-result-4521906-1751589693/solver-4521906-1751589693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4521906-1751589693.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1837646755
nodeC033 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.067
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.13
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 : 3599.772
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.13
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 : 3575.938
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.13
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 : 3600.003
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.13
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.060
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.106
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.13
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 : 3563.072
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.13
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 : 3578.141
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121744196 kB
MemAvailable: 127829448 kB
Buffers: 2128 kB
Cached: 6837392 kB
SwapCached: 68 kB
Active: 2561784 kB
Inactive: 6256536 kB
Active(anon): 1991312 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 6251012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 134784 kB
Writeback: 0 kB
AnonPages: 1981972 kB
Mapped: 117648 kB
Shmem: 18028 kB
KReclaimable: 206012 kB
Slab: 298520 kB
SReclaimable: 206012 kB
SUnreclaim: 92508 kB
KernelStack: 4352 kB
PageTables: 7616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2656404 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429680 MiB
End job on nodeC033 at 2025-07-04 03:41:41