0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
2.16/2.24	c #variables 108768 #constraints 322185
2.16/2.24	c objective is ce32 
3.07/3.20	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.07/3.20	c initial counting CF 32, 64, 128, Arb: 106353 , 0 , 0 , 0
3.07/3.20	c GLOBAL bounds - >= -10161435 @ 2.42517
3.26/3.30	c GLOBAL bounds - >= -10161435 @ 2.52845
3.36/3.48	c GLOBAL bounds - >= -10161435 @ 2.69975
9.95/10.03	c GLOBAL bounds - >= -10161435 @ 9.19921
41.48/41.65	c GLOBAL bounds - >= -10161435 @ 40.5509
51.05/51.26	c GLOBAL bounds - >= -10161435 @ 49.9917
143.56/143.90	c GLOBAL bounds - >= -10161435 @ 141.992
171.60/172.04	c #Conflicts:       1000 | #Constraints:     322761
171.60/172.04	c GLOBAL bounds - >= -10161435 @ 169.971
172.61/173.10	c GLOBAL bounds - >= -10161435 @ 170.997
173.60/174.11	c GLOBAL bounds - >= -10161435 @ 171.993
174.60/175.02	c GLOBAL bounds - >= -10161435 @ 172.886
175.39/175.88	c GLOBAL bounds - >= -10161435 @ 173.73
176.38/176.83	c GLOBAL bounds - >= -10161435 @ 174.673
177.28/177.75	c GLOBAL bounds - >= -10161435 @ 175.584
187.46/187.93	c GLOBAL bounds - >= -10161435 @ 185.618
209.11/209.60	c GLOBAL bounds - >= -10161435 @ 207.071
210.61/211.17	c GLOBAL bounds - >= -10161435 @ 208.594
211.90/212.45	c GLOBAL bounds - >= -10161435 @ 209.851
213.51/214.07	c GLOBAL bounds - >= -10161435 @ 211.445
222.67/223.20	c GLOBAL bounds - >= -10161435 @ 220.505
226.48/227.09	c GLOBAL bounds - >= -10161435 @ 224.332
227.66/228.27	c GLOBAL bounds - >= -10161435 @ 225.502
228.87/229.43	c GLOBAL bounds - >= -10161435 @ 226.645
230.06/230.64	c GLOBAL bounds - >= -10161435 @ 227.842
231.46/232.07	c GLOBAL bounds - >= -10161435 @ 229.243
232.75/233.33	c GLOBAL bounds - >= -10161435 @ 230.483
233.95/234.51	c GLOBAL bounds - >= -10161435 @ 231.639
235.05/235.68	c GLOBAL bounds - >= -10161435 @ 232.795
236.14/236.79	c GLOBAL bounds - >= -10161435 @ 233.888
237.45/238.02	c GLOBAL bounds - >= -10161435 @ 235.105
238.83/239.44	c GLOBAL bounds - >= -10161435 @ 236.509
240.04/240.70	c GLOBAL bounds - >= -10161435 @ 237.749
256.30/257.00	c GLOBAL bounds - >= -10161435 @ 253.901
258.09/258.72	c GLOBAL bounds - >= -10161435 @ 255.605
268.57/269.26	c GLOBAL bounds - >= -10161435 @ 265.977
269.96/270.64	c GLOBAL bounds - >= -10161435 @ 267.338
271.48/272.19	c GLOBAL bounds - >= -10161435 @ 268.876
274.37/275.03	c GLOBAL bounds - >= -10161435 @ 271.693
276.36/277.01	c GLOBAL bounds - >= -10161435 @ 273.655
277.95/278.63	c GLOBAL bounds - >= -10161435 @ 275.268
279.45/280.19	c GLOBAL bounds - >= -10161435 @ 276.809
281.45/282.14	c GLOBAL bounds - >= -10161435 @ 278.723
283.23/283.93	c GLOBAL bounds - >= -10161435 @ 280.498
298.50/299.28	c GLOBAL bounds - >= -10161435 @ 295.751
319.95/320.74	c GLOBAL bounds - >= -10161435 @ 317.004
321.65/322.49	c GLOBAL bounds - >= -10161435 @ 318.756
323.94/324.75	c GLOBAL bounds - >= -10161435 @ 321
329.24/330.03	c GLOBAL bounds - >= -10161435 @ 326.231
333.51/334.35	c GLOBAL bounds - >= -10161435 @ 330.517
348.88/349.75	c #Conflicts:       2000 | #Constraints:     323845
348.88/349.75	c INPROCESSING
348.88/349.75	c GARBAGE COLLECT
348.88/349.75	c GLOBAL bounds - >= -10161435 @ 345.823
350.67/351.50	c GLOBAL bounds - >= -10161435 @ 347.56
351.98/352.83	c GLOBAL bounds - >= -10161435 @ 348.887
355.77/356.63	c GLOBAL bounds - >= -10161435 @ 352.663
361.05/361.99	c GLOBAL bounds - >= -10161435 @ 357.998
362.55/363.44	c GLOBAL bounds - >= -10161435 @ 359.432
369.93/370.86	c GLOBAL bounds - >= -10161435 @ 366.835
398.67/399.60	c GLOBAL bounds - >= -10161435 @ 395.506
399.86/400.89	c GLOBAL bounds - >= -10161435 @ 396.79
401.27/402.26	c GLOBAL bounds - >= -10161435 @ 398.154
402.76/403.73	c GLOBAL bounds - >= -10161435 @ 399.616
403.95/404.92	c GLOBAL bounds - >= -10161435 @ 400.805
405.56/406.56	c GLOBAL bounds - >= -10161435 @ 402.436
407.45/408.50	c GLOBAL bounds - >= -10161435 @ 404.363
408.65/409.66	c GLOBAL bounds - >= -10161435 @ 405.523
409.74/410.77	c GLOBAL bounds - >= -10161435 @ 406.623
410.94/412.00	c GLOBAL bounds - >= -10161435 @ 407.855
412.05/413.02	c GLOBAL bounds - >= -10161435 @ 408.861
412.94/413.98	c GLOBAL bounds - >= -10161435 @ 409.826
413.93/414.94	c GLOBAL bounds - >= -10161435 @ 410.78
414.93/415.96	c GLOBAL bounds - >= -10161435 @ 411.787
419.42/420.42	c GLOBAL bounds - >= -10161435 @ 416.243
421.71/422.70	c GLOBAL bounds - >= -10161435 @ 418.507
422.81/423.85	c GLOBAL bounds - >= -10161435 @ 419.659
423.81/424.85	c GLOBAL bounds - >= -10161435 @ 420.647
424.81/425.88	c GLOBAL bounds - >= -10161435 @ 421.676
425.91/426.96	c GLOBAL bounds - >= -10161435 @ 422.754
426.90/428.00	c GLOBAL bounds - >= -10161435 @ 423.792
428.12/429.13	c GLOBAL bounds - >= -10161435 @ 424.915
429.20/430.25	c GLOBAL bounds - >= -10161435 @ 426.022
430.20/431.29	c GLOBAL bounds - >= -10161435 @ 427.064
431.29/432.33	c GLOBAL bounds - >= -10161435 @ 428.094
432.29/433.36	c GLOBAL bounds - >= -10161435 @ 429.125
433.48/434.50	c GLOBAL bounds - >= -10161435 @ 430.26
434.58/435.60	c GLOBAL bounds - >= -10161435 @ 431.357
435.68/436.73	c GLOBAL bounds - >= -10161435 @ 432.484
436.77/437.81	c GLOBAL bounds - >= -10161435 @ 433.564
437.88/438.93	c GLOBAL bounds - >= -10161435 @ 434.672
438.98/440.03	c GLOBAL bounds - >= -10161435 @ 435.77
439.98/441.08	c GLOBAL bounds - >= -10161435 @ 436.816
441.08/442.18	c GLOBAL bounds - >= -10161435 @ 437.909
442.26/443.30	c GLOBAL bounds - >= -10161435 @ 439.027
443.36/444.48	c GLOBAL bounds - >= -10161435 @ 440.202
444.55/445.60	c GLOBAL bounds - >= -10161435 @ 441.316
445.65/446.73	c GLOBAL bounds - >= -10161435 @ 442.446
446.76/447.82	c GLOBAL bounds - >= -10161435 @ 443.529
447.85/448.93	c GLOBAL bounds - >= -10161435 @ 444.635
448.96/450.05	c GLOBAL bounds - >= -10161435 @ 445.757
450.06/451.18	c GLOBAL bounds - >= -10161435 @ 446.877
451.95/453.09	c GLOBAL bounds - >= -10161435 @ 448.781
453.23/454.31	c GLOBAL bounds - >= -10161435 @ 449.999
454.53/455.61	c GLOBAL bounds - >= -10161435 @ 451.293
457.62/458.73	c GLOBAL bounds - >= -10161435 @ 454.388
458.93/460.06	c GLOBAL bounds - >= -10161435 @ 455.717
460.41/461.52	c GLOBAL bounds - >= -10161435 @ 457.174
464.21/465.34	c GLOBAL bounds - >= -10161435 @ 460.965
467.20/468.32	c GLOBAL bounds - >= -10161435 @ 463.936
469.19/470.37	c GLOBAL bounds - >= -10161435 @ 465.974
470.39/471.54	c GLOBAL bounds - >= -10161435 @ 467.141
471.49/472.65	c GLOBAL bounds - >= -10161435 @ 468.247
472.59/473.76	c GLOBAL bounds - >= -10161435 @ 469.358
473.78/474.93	c GLOBAL bounds - >= -10161435 @ 470.516
474.99/476.15	c GLOBAL bounds - >= -10161435 @ 471.733
476.27/477.46	c GLOBAL bounds - >= -10161435 @ 473.04
493.85/495.02	c GLOBAL bounds - >= -10161435 @ 490.554
495.33/496.53	c GLOBAL bounds - >= -10161435 @ 492.053
496.43/497.69	c GLOBAL bounds - >= -10161435 @ 493.206
497.63/498.80	c GLOBAL bounds - >= -10161435 @ 494.318
498.72/499.98	c GLOBAL bounds - >= -10161435 @ 495.485
499.83/501.10	c GLOBAL bounds - >= -10161435 @ 496.604
501.11/502.33	c GLOBAL bounds - >= -10161435 @ 497.831
502.52/503.72	c GLOBAL bounds - >= -10161435 @ 499.215
503.93/505.19	c GLOBAL bounds - >= -10161435 @ 500.685
506.82/508.04	c GLOBAL bounds - >= -10161435 @ 503.521
508.40/509.61	c GLOBAL bounds - >= -10161435 @ 505.077
509.70/510.90	c GLOBAL bounds - >= -10161435 @ 506.368
510.99/512.21	c GLOBAL bounds - >= -10161435 @ 507.67
540.93/542.26	c GLOBAL bounds - >= -10161435 @ 537.621
548.41/549.70	c GLOBAL bounds - >= -10161435 @ 545.005
557.59/558.91	c GLOBAL bounds - >= -10161435 @ 554.161
558.98/560.31	c GLOBAL bounds - >= -10161435 @ 555.564
560.38/561.76	c GLOBAL bounds - >= -10161435 @ 557.001
561.79/563.14	c GLOBAL bounds - >= -10161435 @ 558.37
563.07/564.45	c GLOBAL bounds - >= -10161435 @ 559.672
566.47/567.83	c GLOBAL bounds - >= -10161435 @ 563.04
567.86/569.25	c GLOBAL bounds - >= -10161435 @ 564.45
569.16/570.55	c GLOBAL bounds - >= -10161435 @ 565.752
570.45/571.85	c GLOBAL bounds - >= -10161435 @ 567.044
571.85/573.28	c GLOBAL bounds - >= -10161435 @ 568.462
573.25/574.63	c GLOBAL bounds - >= -10161435 @ 569.807
574.54/575.95	c GLOBAL bounds - >= -10161435 @ 571.115
575.94/577.39	c GLOBAL bounds - >= -10161435 @ 572.544
577.44/578.81	c GLOBAL bounds - >= -10161435 @ 573.955
578.75/580.15	c GLOBAL bounds - >= -10161435 @ 575.29
580.43/581.88	c GLOBAL bounds - >= -10161435 @ 577.015
581.83/583.27	c GLOBAL bounds - >= -10161435 @ 578.401
583.32/584.74	c GLOBAL bounds - >= -10161435 @ 579.855
586.02/587.43	c GLOBAL bounds - >= -10161435 @ 582.535
587.51/588.95	c GLOBAL bounds - >= -10161435 @ 584.051
588.91/590.31	c GLOBAL bounds - >= -10161435 @ 585.404
590.20/591.65	c GLOBAL bounds - >= -10161435 @ 586.735
591.51/592.97	c GLOBAL bounds - >= -10161435 @ 588.055
592.80/594.29	c GLOBAL bounds - >= -10161435 @ 589.365
594.19/595.62	c GLOBAL bounds - >= -10161435 @ 590.691
596.39/597.88	c GLOBAL bounds - >= -10161435 @ 592.946
604.27/605.78	c GLOBAL bounds - >= -10161435 @ 600.781
606.86/608.37	c GLOBAL bounds - >= -10161435 @ 603.348
608.36/609.80	c GLOBAL bounds - >= -10161435 @ 604.774
614.15/615.68	c GLOBAL bounds - >= -10161435 @ 610.636
615.84/617.39	c GLOBAL bounds - >= -10161435 @ 612.345
617.35/618.80	c GLOBAL bounds - >= -10161435 @ 613.744
620.84/622.33	c GLOBAL bounds - >= -10161435 @ 617.262
622.64/624.12	c GLOBAL bounds - >= -10161435 @ 619.043
624.23/625.70	c GLOBAL bounds - >= -10161435 @ 620.621
625.73/627.21	c GLOBAL bounds - >= -10161435 @ 622.128
627.22/628.76	c GLOBAL bounds - >= -10161435 @ 623.67
628.63/630.15	c GLOBAL bounds - >= -10161435 @ 625.049
630.01/631.51	c GLOBAL bounds - >= -10161435 @ 626.404
637.61/639.13	c GLOBAL bounds - >= -10161435 @ 634.005
639.10/640.64	c GLOBAL bounds - >= -10161435 @ 635.508
756.05/757.89	c GLOBAL bounds - >= -10161435 @ 752.45
757.75/759.58	c GLOBAL bounds - >= -10161435 @ 754.129
759.36/761.14	c GLOBAL bounds - >= -10161435 @ 755.688
760.94/762.70	c GLOBAL bounds - >= -10161435 @ 757.243
762.54/764.32	c GLOBAL bounds - >= -10161435 @ 758.849
764.34/766.18	c GLOBAL bounds - >= -10161435 @ 760.709
766.03/767.87	c GLOBAL bounds - >= -10161435 @ 762.384
767.62/769.49	c GLOBAL bounds - >= -10161435 @ 763.998
769.23/771.09	c GLOBAL bounds - >= -10161435 @ 765.599
770.81/772.67	c GLOBAL bounds - >= -10161435 @ 767.169
772.41/774.21	c GLOBAL bounds - >= -10161435 @ 768.695
774.81/776.66	c GLOBAL bounds - >= -10161435 @ 771.135
776.50/778.37	c GLOBAL bounds - >= -10161435 @ 772.836
778.21/780.01	c GLOBAL bounds - >= -10161435 @ 774.475
779.79/781.61	c GLOBAL bounds - >= -10161435 @ 776.073
781.69/783.51	c GLOBAL bounds - >= -10161435 @ 777.964
783.38/785.20	c GLOBAL bounds - >= -10161435 @ 779.639
785.29/787.14	c GLOBAL bounds - >= -10161435 @ 781.577
787.08/788.90	c GLOBAL bounds - >= -10161435 @ 783.327
788.68/790.59	c GLOBAL bounds - >= -10161435 @ 785.015
790.37/792.29	c GLOBAL bounds - >= -10161435 @ 786.703
792.17/794.06	c GLOBAL bounds - >= -10161435 @ 788.462
794.06/795.91	c GLOBAL bounds - >= -10161435 @ 790.308
798.64/800.58	c GLOBAL bounds - >= -10161435 @ 794.95
800.35/802.29	c GLOBAL bounds - >= -10161435 @ 796.654
802.15/804.06	c GLOBAL bounds - >= -10161435 @ 798.414
803.84/805.79	c GLOBAL bounds - >= -10161435 @ 800.136
805.63/807.57	c GLOBAL bounds - >= -10161435 @ 801.908
807.32/809.28	c GLOBAL bounds - >= -10161435 @ 803.612
809.02/810.90	c GLOBAL bounds - >= -10161435 @ 805.22
810.62/812.50	c GLOBAL bounds - >= -10161435 @ 806.813
812.41/814.38	c GLOBAL bounds - >= -10161435 @ 808.691
814.12/816.10	c GLOBAL bounds - >= -10161435 @ 810.408
815.71/817.66	c GLOBAL bounds - >= -10161435 @ 811.954
818.22/820.14	c GLOBAL bounds - >= -10161435 @ 814.431
820.11/822.06	c GLOBAL bounds - >= -10161435 @ 816.344
822.00/823.94	c GLOBAL bounds - >= -10161435 @ 818.214
823.89/825.86	c GLOBAL bounds - >= -10161435 @ 820.122
825.48/827.47	c GLOBAL bounds - >= -10161435 @ 821.731
827.47/829.47	c GLOBAL bounds - >= -10161435 @ 823.721
829.27/831.21	c GLOBAL bounds - >= -10161435 @ 825.444
830.87/832.83	c GLOBAL bounds - >= -10161435 @ 827.066
832.47/834.48	c GLOBAL bounds - >= -10161435 @ 828.708
834.18/836.15	c GLOBAL bounds - >= -10161435 @ 830.372
836.35/838.35	c GLOBAL bounds - >= -10161435 @ 832.557
838.55/840.58	c GLOBAL bounds - >= -10161435 @ 834.775
840.65/842.65	c GLOBAL bounds - >= -10161435 @ 836.84
843.64/845.68	c GLOBAL bounds - >= -10161435 @ 839.848
846.23/848.24	c GLOBAL bounds - >= -10161435 @ 842.389
849.82/851.81	c GLOBAL bounds - >= -10161435 @ 845.937
851.72/853.75	c GLOBAL bounds - >= -10161435 @ 847.873
853.41/855.46	c GLOBAL bounds - >= -10161435 @ 849.562
855.13/857.13	c GLOBAL bounds - >= -10161435 @ 851.234
856.81/858.87	c GLOBAL bounds - >= -10161435 @ 852.964
859.01/861.10	c GLOBAL bounds - >= -10161435 @ 855.189
861.01/863.04	c #Conflicts:       3000 | #Constraints:     324214
861.01/863.04	c GLOBAL bounds - >= -10161435 @ 857.116
863.00/865.04	c GLOBAL bounds - >= -10161435 @ 859.111
864.88/867.01	c GLOBAL bounds - >= -10161435 @ 861.068
866.79/868.82	c GLOBAL bounds - >= -10161435 @ 862.873
868.58/870.60	c GLOBAL bounds - >= -10161435 @ 864.654
870.58/872.66	c GLOBAL bounds - >= -10161435 @ 866.706
872.37/874.48	c GLOBAL bounds - >= -10161435 @ 868.518
874.16/876.26	c GLOBAL bounds - >= -10161435 @ 870.293
875.98/878.04	c GLOBAL bounds - >= -10161435 @ 872.058
877.76/879.82	c GLOBAL bounds - >= -10161435 @ 873.831
879.55/881.63	c GLOBAL bounds - >= -10161435 @ 875.634
883.34/885.40	c GLOBAL bounds - >= -10161435 @ 879.395
886.33/888.47	c GLOBAL bounds - >= -10161435 @ 882.444
901.79/903.93	c GLOBAL bounds - >= -10161435 @ 897.811
903.69/905.87	c GLOBAL bounds - >= -10161435 @ 899.744
905.59/907.76	c GLOBAL bounds - >= -10161435 @ 901.622
907.48/909.63	c GLOBAL bounds - >= -10161435 @ 903.492
909.37/911.51	c GLOBAL bounds - >= -10161435 @ 905.361
911.27/913.49	c GLOBAL bounds - >= -10161435 @ 907.329
913.17/915.38	c GLOBAL bounds - >= -10161435 @ 909.219
915.06/917.25	c GLOBAL bounds - >= -10161435 @ 911.082
917.15/919.34	c GLOBAL bounds - >= -10161435 @ 913.158
919.05/921.24	c GLOBAL bounds - >= -10161435 @ 915.054
921.05/923.21	c GLOBAL bounds - >= -10161435 @ 917.01
923.44/925.66	c GLOBAL bounds - >= -10161435 @ 919.454
925.44/927.64	c GLOBAL bounds - >= -10161435 @ 921.42
931.62/933.89	c GLOBAL bounds - >= -10161435 @ 927.648
934.41/936.60	c GLOBAL bounds - >= -10161435 @ 930.343
936.40/938.66	c GLOBAL bounds - >= -10161435 @ 932.389
938.40/940.60	c GLOBAL bounds - >= -10161435 @ 934.323
940.30/942.50	c GLOBAL bounds - >= -10161435 @ 936.215
942.19/944.46	c GLOBAL bounds - >= -10161435 @ 938.161
944.09/946.32	c GLOBAL bounds - >= -10161435 @ 940.012
946.89/949.12	c GLOBAL bounds - >= -10161435 @ 942.792
949.97/952.28	c GLOBAL bounds - >= -10161435 @ 945.931
952.17/954.41	c GLOBAL bounds - >= -10161435 @ 948.057
956.46/958.74	c GLOBAL bounds - >= -10161435 @ 952.371
958.55/960.81	c GLOBAL bounds - >= -10161435 @ 954.435
961.04/963.39	c GLOBAL bounds - >= -10161435 @ 957.009
963.23/965.57	c GLOBAL bounds - >= -10161435 @ 959.181
965.23/967.56	c GLOBAL bounds - >= -10161435 @ 961.164
967.42/969.74	c GLOBAL bounds - >= -10161435 @ 963.332
969.73/972.09	c GLOBAL bounds - >= -10161435 @ 965.668
972.01/974.33	c GLOBAL bounds - >= -10161435 @ 967.902
975.01/977.35	c GLOBAL bounds - >= -10161435 @ 970.916
977.10/979.47	c GLOBAL bounds - >= -10161435 @ 973.02
985.28/987.62	c GLOBAL bounds - >= -10161435 @ 981.133
987.47/989.80	c GLOBAL bounds - >= -10161435 @ 983.299
989.58/991.95	c GLOBAL bounds - >= -10161435 @ 985.439
991.57/993.99	c GLOBAL bounds - >= -10161435 @ 987.478
993.77/996.15	c GLOBAL bounds - >= -10161435 @ 989.627
995.77/998.19	c GLOBAL bounds - >= -10161435 @ 991.659
999.36/1001.75	c GLOBAL bounds - >= -10161435 @ 995.212
1001.54/1003.91	c GLOBAL bounds - >= -10161435 @ 997.367
1003.54/1005.97	c GLOBAL bounds - >= -10161435 @ 999.416
1005.83/1008.28	c GLOBAL bounds - >= -10161435 @ 1001.71
1008.03/1010.41	c GLOBAL bounds - >= -10161435 @ 1003.84
1010.23/1012.61	c GLOBAL bounds - >= -10161435 @ 1006.02
1012.32/1014.78	c GLOBAL bounds - >= -10161435 @ 1008.19
1021.10/1023.60	c GLOBAL bounds - >= -10161435 @ 1016.98
1023.30/1025.75	c GLOBAL bounds - >= -10161435 @ 1019.12
1027.48/1029.92	c GLOBAL bounds - >= -10161435 @ 1023.27
1032.68/1035.15	c GLOBAL bounds - >= -10161435 @ 1028.48
1042.35/1044.82	c GLOBAL bounds - >= -10161435 @ 1038.1
1044.56/1047.09	c GLOBAL bounds - >= -10161435 @ 1040.36
1046.74/1049.22	c GLOBAL bounds - >= -10161435 @ 1042.49
1048.83/1051.39	c GLOBAL bounds - >= -10161435 @ 1044.64
1054.81/1057.38	c GLOBAL bounds - >= -10161435 @ 1050.6
1057.41/1059.96	c GLOBAL bounds - >= -10161435 @ 1053.17
1060.01/1062.51	c GLOBAL bounds - >= -10161435 @ 1055.7
1062.20/1064.77	c GLOBAL bounds - >= -10161435 @ 1057.96
1064.39/1067.01	c GLOBAL bounds - >= -10161435 @ 1060.18
1066.69/1069.26	c GLOBAL bounds - >= -10161435 @ 1062.43
1068.98/1071.50	c GLOBAL bounds - >= -10161435 @ 1064.66
1071.28/1073.87	c GLOBAL bounds - >= -10161435 @ 1067.02
1073.67/1076.20	c GLOBAL bounds - >= -10161435 @ 1069.35
1075.77/1078.38	c GLOBAL bounds - >= -10161435 @ 1071.52
1078.06/1080.62	c GLOBAL bounds - >= -10161435 @ 1073.75
1080.46/1083.02	c GLOBAL bounds - >= -10161435 @ 1076.13
1082.64/1085.26	c GLOBAL bounds - >= -10161435 @ 1078.36
1085.34/1087.94	c GLOBAL bounds - >= -10161435 @ 1081.03
1087.84/1090.40	c GLOBAL bounds - >= -10161435 @ 1083.48
1097.61/1100.26	c GLOBAL bounds - >= -10161435 @ 1093.32
1100.10/1102.75	c GLOBAL bounds - >= -10161435 @ 1095.8
1102.42/1105.10	c GLOBAL bounds - >= -10161435 @ 1098.14
1104.89/1107.56	c GLOBAL bounds - >= -10161435 @ 1100.58
1107.18/1109.87	c GLOBAL bounds - >= -10161435 @ 1102.87
1109.58/1112.28	c GLOBAL bounds - >= -10161435 @ 1105.28
1159.39/1162.11	c GLOBAL bounds - >= -10161435 @ 1154.97
1176.63/1179.48	c GLOBAL bounds - >= -10161435 @ 1172.22
1191.50/1194.33	c GLOBAL bounds - >= -10161435 @ 1186.96
1197.59/1200.45	c GLOBAL bounds - >= -10161435 @ 1193.03
1200.68/1203.51	c GLOBAL bounds - >= -10161435 @ 1196.07
1203.28/1206.12	c GLOBAL bounds - >= -10161435 @ 1198.68
1207.75/1210.62	c GLOBAL bounds - >= -10161435 @ 1203.16
1210.95/1213.81	c GLOBAL bounds - >= -10161435 @ 1206.33
1218.33/1221.27	c GLOBAL bounds - >= -10161435 @ 1213.69
1221.32/1224.26	c GLOBAL bounds - >= -10161435 @ 1216.66
1224.14/1227.10	c GLOBAL bounds - >= -10161435 @ 1219.49
1227.31/1230.25	c GLOBAL bounds - >= -10161435 @ 1222.62
1233.40/1236.38	c GLOBAL bounds - >= -10161435 @ 1228.72
1237.39/1240.39	c GLOBAL bounds - >= -10161435 @ 1232.7
1241.58/1244.51	c GLOBAL bounds - >= -10161435 @ 1236.79
1244.57/1247.54	c GLOBAL bounds - >= -10161435 @ 1239.8
1247.36/1250.32	c GLOBAL bounds - >= -10161435 @ 1242.57
1250.96/1253.96	c GLOBAL bounds - >= -10161435 @ 1246.19
1254.34/1257.32	c GLOBAL bounds - >= -10161435 @ 1249.53
1257.24/1260.26	c GLOBAL bounds - >= -10161435 @ 1252.45
1264.22/1267.23	c GLOBAL bounds - >= -10161435 @ 1259.39
1268.02/1271.06	c GLOBAL bounds - >= -10161435 @ 1263.19
1271.50/1274.53	c GLOBAL bounds - >= -10161435 @ 1266.65
1274.30/1277.32	c GLOBAL bounds - >= -10161435 @ 1269.43
1277.59/1280.68	c GLOBAL bounds - >= -10161435 @ 1272.77
1280.78/1283.82	c GLOBAL bounds - >= -10161435 @ 1275.88
1283.68/1286.75	c GLOBAL bounds - >= -10161435 @ 1278.8
1286.67/1289.70	c GLOBAL bounds - >= -10161435 @ 1281.73
1289.56/1292.66	c GLOBAL bounds - >= -10161435 @ 1284.68
1292.35/1295.45	c GLOBAL bounds - >= -10161435 @ 1287.46
1295.25/1298.33	c GLOBAL bounds - >= -10161435 @ 1290.32
1298.14/1301.24	c GLOBAL bounds - >= -10161435 @ 1293.22
1300.95/1304.04	c GLOBAL bounds - >= -10161435 @ 1296.01
1304.62/1307.76	c GLOBAL bounds - >= -10161435 @ 1299.72
1310.03/1313.14	c GLOBAL bounds - >= -10161435 @ 1305.07
1343.24/1346.41	c GLOBAL bounds - >= -10161435 @ 1338.22
1346.13/1349.40	c GLOBAL bounds - >= -10161435 @ 1341.15
1349.23/1352.42	c GLOBAL bounds - >= -10161435 @ 1344.16
1352.12/1355.33	c GLOBAL bounds - >= -10161435 @ 1347.06
1354.92/1358.14	c GLOBAL bounds - >= -10161435 @ 1349.85
1357.71/1360.90	c GLOBAL bounds - >= -10161435 @ 1352.61
1360.30/1363.58	c GLOBAL bounds - >= -10161435 @ 1355.28
1364.69/1367.96	c GLOBAL bounds - >= -10161435 @ 1359.62
1370.97/1374.26	c GLOBAL bounds - >= -10161435 @ 1365.85
1374.57/1377.88	c GLOBAL bounds - >= -10161435 @ 1369.44
1377.56/1380.88	c GLOBAL bounds - >= -10161435 @ 1372.43
1380.77/1384.03	c GLOBAL bounds - >= -10161435 @ 1375.57
1383.75/1387.02	c GLOBAL bounds - >= -10161435 @ 1378.54
1386.85/1390.14	c GLOBAL bounds - >= -10161435 @ 1381.65
1389.63/1393.01	c GLOBAL bounds - >= -10161435 @ 1384.5
1409.98/1413.38	c GLOBAL bounds - >= -10161435 @ 1404.71
1413.07/1416.49	c GLOBAL bounds - >= -10161435 @ 1407.81
1416.97/1420.31	c GLOBAL bounds - >= -10161435 @ 1411.61
1419.95/1423.38	c GLOBAL bounds - >= -10161435 @ 1414.66
1422.85/1426.26	c GLOBAL bounds - >= -10161435 @ 1417.52
1427.43/1430.88	c #Conflicts:       4000 | #Constraints:     325500
1427.43/1430.88	c GLOBAL bounds - >= -10161435 @ 1422.13
1430.64/1434.08	c GLOBAL bounds - >= -10161435 @ 1425.31
1434.21/1437.63	c GLOBAL bounds - >= -10161435 @ 1428.84
1447.08/1450.53	c GLOBAL bounds - >= -10161435 @ 1441.69
1451.37/1454.89	c GLOBAL bounds - >= -10161435 @ 1446
1455.56/1459.03	c GLOBAL bounds - >= -10161435 @ 1450.12
1459.04/1462.51	c GLOBAL bounds - >= -10161435 @ 1453.58
1462.23/1465.74	c GLOBAL bounds - >= -10161435 @ 1456.79
1465.63/1469.17	c GLOBAL bounds - >= -10161435 @ 1460.2
1469.62/1473.14	c GLOBAL bounds - >= -10161435 @ 1464.16
1473.00/1476.55	c GLOBAL bounds - >= -10161435 @ 1467.55
1476.50/1480.11	c GLOBAL bounds - >= -10161435 @ 1471.09
1479.88/1483.49	c GLOBAL bounds - >= -10161435 @ 1474.46
1483.27/1486.85	c GLOBAL bounds - >= -10161435 @ 1477.8
1486.36/1489.93	c GLOBAL bounds - >= -10161435 @ 1480.86
1489.65/1493.23	c GLOBAL bounds - >= -10161435 @ 1484.15
1494.84/1498.48	c GLOBAL bounds - >= -10161435 @ 1489.37
1498.54/1502.12	c GLOBAL bounds - >= -10161435 @ 1492.99
1503.70/1507.38	c GLOBAL bounds - >= -10161435 @ 1498.21
1512.50/1516.12	c GLOBAL bounds - >= -10161435 @ 1506.92
1519.06/1522.71	c GLOBAL bounds - >= -10161435 @ 1513.48
1522.25/1525.93	c GLOBAL bounds - >= -10161435 @ 1516.69
1526.15/1529.84	c GLOBAL bounds - >= -10161435 @ 1520.59
1529.34/1533.06	c GLOBAL bounds - >= -10161435 @ 1523.78
1532.44/1536.13	c GLOBAL bounds - >= -10161435 @ 1526.84
1536.71/1540.46	c GLOBAL bounds - >= -10161435 @ 1531.15
1540.31/1544.06	c GLOBAL bounds - >= -10161435 @ 1534.71
1543.30/1547.09	c GLOBAL bounds - >= -10161435 @ 1537.73
1546.48/1550.25	c GLOBAL bounds - >= -10161435 @ 1540.87
1549.57/1553.34	c GLOBAL bounds - >= -10161435 @ 1543.96
1552.96/1556.73	c GLOBAL bounds - >= -10161435 @ 1547.33
1556.15/1559.92	c GLOBAL bounds - >= -10161435 @ 1550.5
1559.95/1563.73	c GLOBAL bounds - >= -10161435 @ 1554.28
1563.53/1567.32	c GLOBAL bounds - >= -10161435 @ 1557.86
1566.72/1570.59	c GLOBAL bounds - >= -10161435 @ 1561.11
1570.01/1573.85	c GLOBAL bounds - >= -10161435 @ 1564.35
1609.41/1613.38	c GLOBAL bounds - >= -10161435 @ 1603.75
1612.99/1617.00	c GLOBAL bounds - >= -10161435 @ 1607.35
1616.98/1620.90	c GLOBAL bounds - >= -10161435 @ 1611.22
1620.36/1624.33	c GLOBAL bounds - >= -10161435 @ 1614.63
1624.07/1628.04	c GLOBAL bounds - >= -10161435 @ 1618.33
1627.35/1631.37	c GLOBAL bounds - >= -10161435 @ 1621.63
1632.83/1636.82	c GLOBAL bounds - >= -10161435 @ 1627.04
1649.78/1653.88	c INPROCESSING
1649.78/1653.88	c GARBAGE COLLECT
1649.78/1653.88	c GLOBAL bounds - >= -10161435 @ 1644.03
1652.57/1656.63	c GLOBAL bounds - >= -10161435 @ 1646.77
1654.77/1658.82	c GLOBAL bounds - >= -10161435 @ 1648.94
1656.66/1660.70	c GLOBAL bounds - >= -10161435 @ 1650.82
1658.46/1662.59	c GLOBAL bounds - >= -10161435 @ 1652.7
1660.35/1664.43	c GLOBAL bounds - >= -10161435 @ 1654.52
1662.34/1666.42	c GLOBAL bounds - >= -10161435 @ 1656.5
1667.22/1671.39	c GLOBAL bounds - >= -10161435 @ 1661.46
1669.33/1673.43	c GLOBAL bounds - >= -10161435 @ 1663.49
1671.52/1675.60	c GLOBAL bounds - >= -10161435 @ 1665.66
1674.11/1678.21	c GLOBAL bounds - >= -10161435 @ 1668.26
1676.60/1680.72	c GLOBAL bounds - >= -10161435 @ 1670.76
1680.09/1684.24	c GLOBAL bounds - >= -10161435 @ 1674.26
1681.99/1686.11	c GLOBAL bounds - >= -10161435 @ 1676.13
1683.77/1688.00	c GLOBAL bounds - >= -10161435 @ 1678.01
1685.78/1689.90	c GLOBAL bounds - >= -10161435 @ 1679.9
1691.06/1695.20	c GLOBAL bounds - >= -10161435 @ 1685.19
1693.25/1697.45	c GLOBAL bounds - >= -10161435 @ 1687.43
1695.15/1699.34	c GLOBAL bounds - >= -10161435 @ 1689.31
1698.53/1702.74	c GLOBAL bounds - >= -10161435 @ 1692.7
1700.43/1704.64	c GLOBAL bounds - >= -10161435 @ 1694.59
1702.43/1706.67	c GLOBAL bounds - >= -10161435 @ 1696.61
1704.52/1708.77	c GLOBAL bounds - >= -10161435 @ 1698.7
1706.71/1710.90	c GLOBAL bounds - >= -10161435 @ 1700.83
1709.20/1713.47	c GLOBAL bounds - >= -10161435 @ 1703.39
1712.10/1716.31	c GLOBAL bounds - >= -10161435 @ 1706.22
1714.39/1718.64	c GLOBAL bounds - >= -10161435 @ 1708.54
1716.58/1720.84	c GLOBAL bounds - >= -10161435 @ 1710.71
1718.48/1722.79	c GLOBAL bounds - >= -10161435 @ 1712.66
1720.47/1724.78	c GLOBAL bounds - >= -10161435 @ 1714.64
1722.97/1727.21	c GLOBAL bounds - >= -10161435 @ 1717.05
1738.03/1742.31	c GLOBAL bounds - >= -10161435 @ 1732.1
1742.51/1746.85	c GLOBAL bounds - >= -10161435 @ 1736.62
1745.20/1749.57	c GLOBAL bounds - >= -10161435 @ 1739.34
1749.39/1753.79	c GLOBAL bounds - >= -10161435 @ 1743.53
1753.18/1757.51	c GLOBAL bounds - >= -10161435 @ 1747.23
1757.16/1761.57	c GLOBAL bounds - >= -10161435 @ 1751.27
1759.56/1763.95	c GLOBAL bounds - >= -10161435 @ 1753.65
1761.77/1766.17	c GLOBAL bounds - >= -10161435 @ 1755.86
1763.84/1768.29	c GLOBAL bounds - >= -10161435 @ 1757.96
1770.13/1774.54	c GLOBAL bounds - >= -10161435 @ 1764.2
1773.12/1777.53	c GLOBAL bounds - >= -10161435 @ 1767.17
1781.30/1785.70	c GLOBAL bounds - >= -10161435 @ 1775.31
1783.99/1788.40	c GLOBAL bounds - >= -10161435 @ 1778
1789.58/1794.06	c GLOBAL bounds - >= -10161435 @ 1783.64
1794.96/1799.42	c GLOBAL bounds - >= -10161435 @ 1788.97
1797.56/1802.08	c GLOBAL bounds - >= -10161435 @ 1791.61
1799.74/1804.20	c GLOBAL bounds - >= -10161435 @ 1793.72
1802.03/1806.50	c GLOBAL bounds - >= -10161435 @ 1796.01
1805.13/1809.66	c GLOBAL bounds - >= -10161435 @ 1799.15
1807.42/1811.96	c GLOBAL bounds - >= -10161435 @ 1801.43
1809.82/1814.34	c GLOBAL bounds - >= -10161435 @ 1803.8
1812.52/1817.08	c GLOBAL bounds - >= -10161435 @ 1806.54
1814.80/1819.30	c GLOBAL bounds - >= -10161435 @ 1808.74
1817.29/1821.80	c GLOBAL bounds - >= -10161435 @ 1811.24
1819.38/1823.99	c GLOBAL bounds - >= -10161435 @ 1813.42
1821.59/1826.16	c GLOBAL bounds - >= -10161435 @ 1815.58
1836.45/1841.11	c GLOBAL bounds - >= -10161435 @ 1830.45
1846.52/1851.12	c GLOBAL bounds - >= -10161435 @ 1840.43
1849.41/1854.05	c GLOBAL bounds - >= -10161435 @ 1843.35
1851.79/1856.45	c GLOBAL bounds - >= -10161435 @ 1845.73
1854.08/1858.75	c GLOBAL bounds - >= -10161435 @ 1848.03
1856.48/1861.14	c GLOBAL bounds - >= -10161435 @ 1850.41
1858.76/1863.48	c GLOBAL bounds - >= -10161435 @ 1852.74
1861.06/1865.78	c GLOBAL bounds - >= -10161435 @ 1855.03
1863.75/1868.49	c GLOBAL bounds - >= -10161435 @ 1857.73
1866.54/1871.26	c GLOBAL bounds - >= -10161435 @ 1860.49
1868.84/1873.57	c GLOBAL bounds - >= -10161435 @ 1862.8
1871.44/1876.15	c GLOBAL bounds - >= -10161435 @ 1865.36
1873.92/1878.61	c GLOBAL bounds - >= -10161435 @ 1867.82
1878.11/1882.82	c GLOBAL bounds - >= -10161435 @ 1872
1881.10/1885.83	c GLOBAL bounds - >= -10161435 @ 1875
1883.70/1888.41	c GLOBAL bounds - >= -10161435 @ 1877.57
1890.39/1895.17	c GLOBAL bounds - >= -10161435 @ 1884.29
1896.65/1901.47	c GLOBAL bounds - >= -10161435 @ 1890.57
1899.54/1904.36	c GLOBAL bounds - >= -10161435 @ 1893.45
1905.34/1910.19	c GLOBAL bounds - >= -10161435 @ 1899.26
1923.78/1928.66	c GLOBAL bounds - >= -10161435 @ 1917.65
1926.77/1931.69	c GLOBAL bounds - >= -10161435 @ 1920.67
1929.36/1934.24	c GLOBAL bounds - >= -10161435 @ 1923.21
1931.96/1936.80	c GLOBAL bounds - >= -10161435 @ 1925.76
1934.45/1939.35	c GLOBAL bounds - >= -10161435 @ 1928.29
1937.43/1942.32	c GLOBAL bounds - >= -10161435 @ 1931.25
1939.92/1944.80	c GLOBAL bounds - >= -10161435 @ 1933.72
1942.32/1947.29	c GLOBAL bounds - >= -10161435 @ 1936.2
1945.01/1949.93	c GLOBAL bounds - >= -10161435 @ 1938.83
1947.40/1952.32	c GLOBAL bounds - >= -10161435 @ 1941.21
1950.29/1955.25	c GLOBAL bounds - >= -10161435 @ 1944.13
1953.29/1958.27	c GLOBAL bounds - >= -10161435 @ 1947.14
1957.38/1962.37	c GLOBAL bounds - >= -10161435 @ 1951.22
1960.18/1965.15	c GLOBAL bounds - >= -10161435 @ 1953.99
1963.17/1968.15	c GLOBAL bounds - >= -10161435 @ 1956.97
1966.35/1971.33	c GLOBAL bounds - >= -10161435 @ 1960.12
1968.94/1973.98	c GLOBAL bounds - >= -10161435 @ 1962.77
1973.33/1978.31	c GLOBAL bounds - >= -10161435 @ 1967.08
1976.13/1981.20	c GLOBAL bounds - >= -10161435 @ 1969.95
1979.81/1984.85	c GLOBAL bounds - >= -10161435 @ 1973.58
1982.50/1987.57	c GLOBAL bounds - >= -10161435 @ 1976.3
1988.37/1993.43	c GLOBAL bounds - >= -10161435 @ 1982.13
1991.09/1996.18	c GLOBAL bounds - >= -10161435 @ 1984.86
2008.82/2014.00	c GLOBAL bounds - >= -10161435 @ 2002.62
2013.61/2018.72	c GLOBAL bounds - >= -10161435 @ 2007.32
2016.30/2021.41	c GLOBAL bounds - >= -10161435 @ 2010.01
2019.49/2024.68	c GLOBAL bounds - >= -10161435 @ 2013.26
2022.57/2027.74	c GLOBAL bounds - >= -10161435 @ 2016.31
2025.77/2030.97	c GLOBAL bounds - >= -10161435 @ 2019.52
2028.46/2033.60	c GLOBAL bounds - >= -10161435 @ 2022.15
2031.35/2036.52	c GLOBAL bounds - >= -10161435 @ 2025.05
2034.14/2039.37	c GLOBAL bounds - >= -10161435 @ 2027.9
2040.23/2045.47	c GLOBAL bounds - >= -10161435 @ 2033.97
2043.01/2048.23	c GLOBAL bounds - >= -10161435 @ 2036.72
2045.61/2050.85	c GLOBAL bounds - >= -10161435 @ 2039.34
2048.20/2053.49	c GLOBAL bounds - >= -10161435 @ 2041.96
2055.58/2060.84	c GLOBAL bounds - >= -10161435 @ 2049.27
2058.27/2063.59	c GLOBAL bounds - >= -10161435 @ 2052
2060.96/2066.22	c GLOBAL bounds - >= -10161435 @ 2054.63
2063.56/2068.80	c GLOBAL bounds - >= -10161435 @ 2057.2
2066.45/2071.71	c GLOBAL bounds - >= -10161435 @ 2060.09
2069.63/2075.01	c GLOBAL bounds - >= -10161435 @ 2063.37
2072.43/2077.75	c GLOBAL bounds - >= -10161435 @ 2066.1
2075.12/2080.40	c GLOBAL bounds - >= -10161435 @ 2068.74
2077.91/2083.24	c GLOBAL bounds - >= -10161435 @ 2071.58
2080.90/2086.26	c GLOBAL bounds - >= -10161435 @ 2074.58
2083.59/2089.01	c GLOBAL bounds - >= -10161435 @ 2077.32
2089.47/2094.80	c GLOBAL bounds - >= -10161435 @ 2083.1
2094.46/2099.84	c GLOBAL bounds - >= -10161435 @ 2088.12
2097.76/2103.11	c GLOBAL bounds - >= -10161435 @ 2091.37
2100.54/2105.95	c GLOBAL bounds - >= -10161435 @ 2094.2
2103.33/2108.76	c GLOBAL bounds - >= -10161435 @ 2097
2106.52/2111.97	c GLOBAL bounds - >= -10161435 @ 2100.19
2109.41/2114.87	c GLOBAL bounds - >= -10161435 @ 2103.09
2113.30/2118.75	c GLOBAL bounds - >= -10161435 @ 2106.95
2116.89/2122.35	c GLOBAL bounds - >= -10161435 @ 2110.54
2119.69/2125.17	c GLOBAL bounds - >= -10161435 @ 2113.34
2122.58/2128.08	c GLOBAL bounds - >= -10161435 @ 2116.24
2125.46/2130.93	c GLOBAL bounds - >= -10161435 @ 2119.08
2128.15/2133.69	c GLOBAL bounds - >= -10161435 @ 2121.83
2131.14/2136.60	c GLOBAL bounds - >= -10161435 @ 2124.71
2134.03/2139.55	c GLOBAL bounds - >= -10161435 @ 2127.66
2137.12/2142.64	c GLOBAL bounds - >= -10161435 @ 2130.73
2140.11/2145.64	c GLOBAL bounds - >= -10161435 @ 2133.72
2143.10/2148.66	c GLOBAL bounds - >= -10161435 @ 2136.73
2146.20/2151.70	c GLOBAL bounds - >= -10161435 @ 2139.76
2149.09/2154.64	c GLOBAL bounds - >= -10161435 @ 2142.68
2151.88/2157.41	c GLOBAL bounds - >= -10161435 @ 2145.45
2156.47/2162.03	c GLOBAL bounds - >= -10161435 @ 2150.04
2159.56/2165.15	c GLOBAL bounds - >= -10161435 @ 2153.16
2162.35/2167.98	c GLOBAL bounds - >= -10161435 @ 2155.97
2166.44/2172.10	c GLOBAL bounds - >= -10161435 @ 2160.07
2169.72/2175.33	c GLOBAL bounds - >= -10161435 @ 2163.3
2172.71/2178.37	c GLOBAL bounds - >= -10161435 @ 2166.32
2175.81/2181.42	c GLOBAL bounds - >= -10161435 @ 2169.37
2178.70/2184.33	c GLOBAL bounds - >= -10161435 @ 2172.26
2208.51/2214.25	c #Conflicts:       5000 | #Constraints:     325286
2208.51/2214.25	c GLOBAL bounds - >= -10161435 @ 2202.04
2211.42/2217.12	c GLOBAL bounds - >= -10161435 @ 2204.91
2214.69/2220.43	c GLOBAL bounds - >= -10161435 @ 2208.2
2217.58/2223.34	c GLOBAL bounds - >= -10161435 @ 2211.09
2220.58/2226.32	c GLOBAL bounds - >= -10161435 @ 2214.05
2224.57/2230.37	c GLOBAL bounds - >= -10161435 @ 2218.08
2235.13/2240.98	c GLOBAL bounds - >= -10161435 @ 2228.65
2243.22/2249.09	c GLOBAL bounds - >= -10161435 @ 2236.72
2250.30/2256.19	c GLOBAL bounds - >= -10161435 @ 2243.79
2254.48/2260.36	c GLOBAL bounds - >= -10161435 @ 2247.94
2261.06/2266.97	c GLOBAL bounds - >= -10161435 @ 2254.53
2264.05/2269.95	c GLOBAL bounds - >= -10161435 @ 2257.5
2267.15/2273.01	c GLOBAL bounds - >= -10161435 @ 2260.55
2270.03/2275.95	c GLOBAL bounds - >= -10161435 @ 2263.47
2272.92/2278.89	c GLOBAL bounds - >= -10161435 @ 2266.4
2275.91/2281.84	c GLOBAL bounds - >= -10161435 @ 2269.34
2278.90/2284.80	c GLOBAL bounds - >= -10161435 @ 2272.29
2281.90/2287.85	c GLOBAL bounds - >= -10161435 @ 2275.33
2284.99/2290.94	c GLOBAL bounds - >= -10161435 @ 2278.42
2288.37/2294.32	c GLOBAL bounds - >= -10161435 @ 2281.78
2302.83/2308.84	c GLOBAL bounds - >= -10161435 @ 2296.24
2306.32/2312.30	c GLOBAL bounds - >= -10161435 @ 2299.68
2309.72/2315.72	c GLOBAL bounds - >= -10161435 @ 2303.08
2313.31/2319.32	c GLOBAL bounds - >= -10161435 @ 2306.67
2316.59/2322.60	c GLOBAL bounds - >= -10161435 @ 2309.94
2320.48/2326.54	c GLOBAL bounds - >= -10161435 @ 2313.87
2323.57/2329.67	c GLOBAL bounds - >= -10161435 @ 2316.98
2331.64/2337.73	c GLOBAL bounds - >= -10161435 @ 2325
2336.54/2342.68	c GLOBAL bounds - >= -10161435 @ 2329.93
2339.93/2346.03	c GLOBAL bounds - >= -10161435 @ 2333.27
2343.11/2349.29	c GLOBAL bounds - >= -10161435 @ 2336.52
2346.80/2352.90	c GLOBAL bounds - >= -10161435 @ 2340.11
2351.79/2357.91	c GLOBAL bounds - >= -10161435 @ 2345.1
2355.18/2361.30	c GLOBAL bounds - >= -10161435 @ 2348.48
2359.16/2365.32	c GLOBAL bounds - >= -10161435 @ 2352.49
2362.35/2368.54	c GLOBAL bounds - >= -10161435 @ 2355.7
2378.01/2384.22	c GLOBAL bounds - >= -10161435 @ 2371.3
2397.35/2403.61	c GLOBAL bounds - >= -10161435 @ 2390.58
2400.94/2407.23	c GLOBAL bounds - >= -10161435 @ 2394.18
2404.23/2410.57	c GLOBAL bounds - >= -10161435 @ 2397.51
2407.52/2413.89	c GLOBAL bounds - >= -10161435 @ 2400.82
2411.11/2417.43	c GLOBAL bounds - >= -10161435 @ 2404.35
2425.79/2432.17	c GLOBAL bounds - >= -10161435 @ 2419.04
2429.26/2435.68	c GLOBAL bounds - >= -10161435 @ 2422.53
2432.55/2439.00	c GLOBAL bounds - >= -10161435 @ 2425.84
2438.65/2445.05	c GLOBAL bounds - >= -10161435 @ 2431.87
2441.92/2448.32	c GLOBAL bounds - >= -10161435 @ 2435.13
2445.02/2451.45	c GLOBAL bounds - >= -10161435 @ 2438.25
2456.70/2463.15	c GLOBAL bounds - >= -10161435 @ 2449.89
2461.07/2467.57	c GLOBAL bounds - >= -10161435 @ 2454.29
2464.97/2471.43	c GLOBAL bounds - >= -10161435 @ 2458.14
2469.45/2475.97	c GLOBAL bounds - >= -10161435 @ 2462.65
2475.13/2481.66	c GLOBAL bounds - >= -10161435 @ 2468.3
2478.54/2485.06	c GLOBAL bounds - >= -10161435 @ 2471.68
2481.91/2488.49	c GLOBAL bounds - >= -10161435 @ 2475.1
2485.30/2491.87	c GLOBAL bounds - >= -10161435 @ 2478.46
2488.70/2495.20	c GLOBAL bounds - >= -10161435 @ 2481.78
2492.98/2499.50	c GLOBAL bounds - >= -10161435 @ 2486.07
2496.48/2503.11	c GLOBAL bounds - >= -10161435 @ 2489.67
2499.86/2506.47	c GLOBAL bounds - >= -10161435 @ 2493.02
2503.56/2510.14	c GLOBAL bounds - >= -10161435 @ 2496.66
2507.24/2513.87	c GLOBAL bounds - >= -10161435 @ 2500.39
2511.72/2518.31	c GLOBAL bounds - >= -10161435 @ 2504.8
2515.12/2521.74	c GLOBAL bounds - >= -10161435 @ 2508.22
2519.71/2526.34	c GLOBAL bounds - >= -10161435 @ 2512.81
2523.19/2529.86	c GLOBAL bounds - >= -10161435 @ 2516.31
2526.79/2533.46	c GLOBAL bounds - >= -10161435 @ 2519.9
2530.88/2537.51	c GLOBAL bounds - >= -10161435 @ 2523.93
2534.38/2541.07	c GLOBAL bounds - >= -10161435 @ 2527.48
2602.38/2609.25	c #Conflicts:       6000 | #Constraints:     326424
2602.38/2609.25	c GLOBAL bounds - >= -10161435 @ 2595.15
2607.18/2614.05	c GLOBAL bounds - >= -10161435 @ 2599.92
2611.27/2618.14	c GLOBAL bounds - >= -10161435 @ 2603.99
2615.44/2622.32	c GLOBAL bounds - >= -10161435 @ 2608.16
2619.83/2626.72	c GLOBAL bounds - >= -10161435 @ 2612.53
2623.82/2630.78	c GLOBAL bounds - >= -10161435 @ 2616.58
2628.51/2635.44	c GLOBAL bounds - >= -10161435 @ 2621.22
2632.69/2639.63	c GLOBAL bounds - >= -10161435 @ 2625.4
2636.88/2643.85	c GLOBAL bounds - >= -10161435 @ 2629.6
2640.97/2647.98	c GLOBAL bounds - >= -10161435 @ 2633.71
2645.07/2652.04	c GLOBAL bounds - >= -10161435 @ 2637.76
2649.16/2656.14	c GLOBAL bounds - >= -10161435 @ 2641.84
2661.61/2668.67	c GLOBAL bounds - >= -10161435 @ 2654.31
2666.89/2673.94	c GLOBAL bounds - >= -10161435 @ 2659.54
2678.67/2685.70	c GLOBAL bounds - >= -10161435 @ 2671.27
2684.45/2691.54	c GLOBAL bounds - >= -10161435 @ 2677.07
2689.06/2696.19	c GLOBAL bounds - >= -10161435 @ 2681.71
2694.53/2701.63	c GLOBAL bounds - >= -10161435 @ 2687.13
2698.62/2705.75	c GLOBAL bounds - >= -10161435 @ 2691.23
2706.10/2713.28	c GLOBAL bounds - >= -10161435 @ 2698.75
2710.69/2717.84	c GLOBAL bounds - >= -10161435 @ 2703.28
2715.28/2722.43	c GLOBAL bounds - >= -10161435 @ 2707.86
2719.77/2726.95	c GLOBAL bounds - >= -10161435 @ 2712.36
2724.16/2731.31	c GLOBAL bounds - >= -10161435 @ 2716.71
2728.15/2735.38	c GLOBAL bounds - >= -10161435 @ 2720.77
2732.95/2740.16	c GLOBAL bounds - >= -10161435 @ 2725.53
2738.62/2745.82	c GLOBAL bounds - >= -10161435 @ 2731.16
2742.71/2750.00	c GLOBAL bounds - >= -10161435 @ 2735.32
2749.19/2756.49	c GLOBAL bounds - >= -10161435 @ 2741.78
2753.68/2760.99	c GLOBAL bounds - >= -10161435 @ 2746.26
2757.89/2765.18	c GLOBAL bounds - >= -10161435 @ 2750.44
2761.96/2769.26	c GLOBAL bounds - >= -10161435 @ 2754.5
2766.05/2773.38	c GLOBAL bounds - >= -10161435 @ 2758.62
2770.25/2777.53	c GLOBAL bounds - >= -10161435 @ 2762.76
2775.84/2783.13	c GLOBAL bounds - >= -10161435 @ 2768.33
2794.08/2801.45	c GLOBAL bounds - >= -10161435 @ 2786.56
2800.38/2807.77	c GLOBAL bounds - >= -10161435 @ 2792.85
2804.77/2812.16	c GLOBAL bounds - >= -10161435 @ 2797.23
2809.36/2816.79	c GLOBAL bounds - >= -10161435 @ 2801.84
2813.75/2821.19	c GLOBAL bounds - >= -10161435 @ 2806.22
2818.13/2825.58	c GLOBAL bounds - >= -10161435 @ 2810.6
2822.52/2829.97	c GLOBAL bounds - >= -10161435 @ 2814.97
2826.81/2834.26	c GLOBAL bounds - >= -10161435 @ 2819.24
2839.17/2846.63	c GLOBAL bounds - >= -10161435 @ 2831.55
2844.05/2851.59	c GLOBAL bounds - >= -10161435 @ 2836.49
2848.45/2855.91	c GLOBAL bounds - >= -10161435 @ 2840.79
2852.73/2860.21	c GLOBAL bounds - >= -10161435 @ 2845.07
2877.67/2885.20	c INPROCESSING
2877.67/2885.20	c GARBAGE COLLECT
2877.67/2885.20	c GLOBAL bounds - >= -10161435 @ 2869.98
2997.23/3005.09	c GLOBAL bounds - >= -10161435 @ 2989.54
3001.23/3009.02	c GLOBAL bounds - >= -10161435 @ 2993.44
3004.51/3012.39	c GLOBAL bounds - >= -10161435 @ 2996.81
3007.80/3015.66	c GLOBAL bounds - >= -10161435 @ 3000.07
3103.49/3111.57	c #Conflicts:       7000 | #Constraints:     325527
3103.49/3111.57	c GLOBAL bounds - >= -10161435 @ 3095.56
3244.25/3252.64	c GLOBAL bounds - >= -10161435 @ 3236.02
3248.24/3256.63	c GLOBAL bounds - >= -10161435 @ 3239.99
3251.75/3260.15	c GLOBAL bounds - >= -10161435 @ 3243.5
3255.63/3264.03	c GLOBAL bounds - >= -10161435 @ 3247.36
3260.21/3268.70	c GLOBAL bounds - >= -10161435 @ 3252.02
3266.40/3274.89	c GLOBAL bounds - >= -10161435 @ 3258.19
3270.08/3278.55	c GLOBAL bounds - >= -10161435 @ 3261.84
3273.68/3282.16	c GLOBAL bounds - >= -10161435 @ 3265.44
3277.26/3285.78	c GLOBAL bounds - >= -10161435 @ 3269.05
3281.57/3290.04	c GLOBAL bounds - >= -10161435 @ 3273.29
3285.34/3293.82	c GLOBAL bounds - >= -10161435 @ 3277.06
3344.42/3353.09	c #Conflicts:       8000 | #Constraints:     326551
3344.42/3353.09	c GLOBAL bounds - >= -10161435 @ 3336.15
3353.88/3362.51	c GLOBAL bounds - >= -10161435 @ 3345.54
3357.38/3366.04	c GLOBAL bounds - >= -10161435 @ 3349.06
3361.17/3369.85	c GLOBAL bounds - >= -10161435 @ 3352.86
3370.14/3378.88	c GLOBAL bounds - >= -10161435 @ 3361.86
3374.03/3382.75	c GLOBAL bounds - >= -10161435 @ 3365.71
3377.82/3386.57	c GLOBAL bounds - >= -10161435 @ 3369.52
3382.10/3390.82	c GLOBAL bounds - >= -10161435 @ 3373.75
3386.20/3394.91	c GLOBAL bounds - >= -10161435 @ 3377.83
3389.98/3398.76	c GLOBAL bounds - >= -10161435 @ 3381.66
3394.97/3403.75	c GLOBAL bounds - >= -10161435 @ 3386.64
3399.06/3407.86	c GLOBAL bounds - >= -10161435 @ 3390.73
3402.95/3411.71	c GLOBAL bounds - >= -10161435 @ 3394.57
3406.64/3415.46	c GLOBAL bounds - >= -10161435 @ 3398.3
3418.50/3427.36	c GLOBAL bounds - >= -10161435 @ 3410.14
3422.70/3431.57	c GLOBAL bounds - >= -10161435 @ 3414.33
3428.19/3437.05	c GLOBAL bounds - >= -10161435 @ 3419.78
3435.06/3443.99	c GLOBAL bounds - >= -10161435 @ 3426.7
3442.65/3451.52	c GLOBAL bounds - >= -10161435 @ 3434.2
3446.64/3455.59	c GLOBAL bounds - >= -10161435 @ 3438.25
3472.57/3481.57	c GLOBAL bounds - >= -10161435 @ 3464.1
3489.43/3498.47	c GLOBAL bounds - >= -10161435 @ 3480.91
3494.51/3503.50	c GLOBAL bounds - >= -10161435 @ 3485.93
3498.80/3507.85	c GLOBAL bounds - >= -10161435 @ 3490.25
3528.52/3537.69	c GLOBAL bounds - >= -10161435 @ 3519.96
3534.61/3543.71	c GLOBAL bounds - >= -10161435 @ 3525.97
3539.01/3548.19	c GLOBAL bounds - >= -10161435 @ 3530.43
3543.29/3552.45	c GLOBAL bounds - >= -10161435 @ 3534.67
3547.67/3556.84	c GLOBAL bounds - >= -10161435 @ 3539.05
3551.87/3561.08	c GLOBAL bounds - >= -10161435 @ 3543.27
3556.35/3565.52	c GLOBAL bounds - >= -10161435 @ 3547.7
3561.03/3570.24	c GLOBAL bounds - >= -10161435 @ 3552.4
3565.32/3574.56	c GLOBAL bounds - >= -10161435 @ 3556.71
3569.52/3578.78	c GLOBAL bounds - >= -10161435 @ 3560.91
3600.04/3609.32	c cpu time 3591.35 s
3600.04/3609.32	c deterministic time 2 2.00e+00
3600.04/3609.32	c optimization time 3589.59 s
3600.04/3609.32	c total solve time 0 s
3600.04/3609.32	c core-guided solve time 0 s
3600.04/3609.32	c propagation time 0.158671 s
3600.04/3609.32	c conflict analysis time 0 s
3600.04/3609.32	c propagations 1
3600.04/3609.32	c resolve steps 0
3600.04/3609.32	c decisions 0
3600.04/3609.32	c conflicts 0
3600.04/3609.32	c restarts 0
3600.04/3609.32	c inprocessing phases 0
3600.04/3609.32	c garbage collections 0 ,( -nan )
3600.04/3609.32	c input clauses 215833 ,( 66.99 )
3600.04/3609.32	c input cardinalities 0 ,( 0.00 )
3600.04/3609.32	c input general constraints 106352 ,( 33.01 )
3600.04/3609.32	c input average constraint length 3.00
3600.04/3609.32	c input average constraint degree 1.33
3600.04/3609.32	c learned clauses 0 ,( 0.00 )
3600.04/3609.32	c learned cardinalities 0 ,( 0.00 )
3600.04/3609.32	c learned general constraints 0 ,( 0.00 )
3600.04/3609.32	c learned average constraint length 0.00
3600.04/3609.32	c learned average constraint degree 0.00
3600.04/3609.32	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.32	c counting CF 32, 64, 128, Arb: 106353 , 0 , 0 , 0
3600.04/3609.32	c watched   constraints 0 ,( 0.00 ) 
3600.04/3609.32	c counting  constraints 106352 ,( 100.00 ) 
3600.04/3609.32	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3609.32	c gcd simplifications 0
3600.04/3609.32	c detected cardinalities 0
3600.04/3609.32	c weakened non-implied lits 0
3600.04/3609.32	c weakened non-implying lits 0
3600.04/3609.32	c original variables 108768
3600.04/3609.32	c clausal propagations 0
3600.04/3609.32	c cardinality propagations 0
3600.04/3609.32	c watched propagations 0
3600.04/3609.32	c counting propagations 0
3600.04/3609.32	c watch lookups 0
3600.04/3609.32	c watch backjump lookups 0
3600.04/3609.32	c watch checks 0
3600.04/3609.32	c propagation checks 0
3600.04/3609.32	c constraint additions 0
3600.04/3609.32	c trail pops 0
3600.04/3609.32	c formula constraints 322185
3600.04/3609.32	c learned constraints 0
3600.04/3609.32	c bound constraints 0
3600.04/3609.32	c core-guided constraints 0
3600.04/3609.32	c encountered formula constraints 0
3600.04/3609.32	c encountered learned constraints 0
3600.04/3609.32	c encountered bound constraints 0
3600.04/3609.32	c encountered core-guided constraints 0
3600.04/3609.32	c LP total time 0 s
3600.04/3609.32	c LP solve time 0 s
3600.04/3609.32	c LP constraints added 0
3600.04/3609.32	c LP constraints removed 0
3600.04/3609.32	c LP pivots internal 0
3600.04/3609.32	c LP pivots root 0
3600.04/3609.32	c LP calls 0
3600.04/3609.32	c LP optimalities 0
3600.04/3609.32	c LP no pivot count 0
3600.04/3609.32	c LP infeasibilities 0
3600.04/3609.32	c LP valid Farkas constraints 0
3600.04/3609.32	c LP learned Farkas constraints 0
3600.04/3609.32	c LP basis resets 0
3600.04/3609.32	c LP cycling count 0
3600.04/3609.32	c LP singular count 0
3600.04/3609.32	c LP no primal count 0
3600.04/3609.32	c LP no farkas count 0
3600.04/3609.32	c LP other issue count 0
3600.04/3609.32	c LP Gomory cuts 0
3600.04/3609.32	c LP learned cuts 0
3600.04/3609.32	c LP deleted cuts 0
3600.04/3609.32	c LP encountered Gomory constraints 0
3600.04/3609.32	c LP encountered Farkas constraints 0
3600.04/3609.32	c LP encountered learned Farkas constraints 0
3600.04/3609.32	c CG auxiliary variables introduced 0
3600.04/3609.32	c CG solutions found 0
3600.04/3609.32	c CG cores constructed 0
3600.04/3609.32	c CG core cardinality constraints returned 0
3600.04/3609.32	c CG unit cores 0
3600.04/3609.32	c CG single cores 0
3600.04/3609.32	c CG blocks removed during cardinality reduction 0
3600.04/3609.32	c CG first core best 0
3600.04/3609.32	c CG decision core best 0
3600.04/3609.32	c CG core reduction tie 0
3600.04/3609.32	c CG core degree average 0.00
3600.04/3609.32	c CG core slack average 0.00
3600.04/3609.32	c CG core upper bound improvements 0
3600.04/3609.32	c STR number of successful calls 0
3600.04/3609.32	c STR number of unsuccessful calls 0
3600.04/3609.32	c STR number of inconclusive calls 0
3600.04/3609.32	c STR number of successful attempts 0
3600.04/3609.32	c STR number of unsuccessful attempts 0
3600.04/3609.32	c STR number of inconclusive attempts 0
3600.04/3609.32	c STR average degree increase per successful call inf
3600.04/3609.32	c STR average degree increase per successful attempt inf
3600.04/3609.32	c STR total number of conflicts for successful attempts 0
3600.04/3609.32	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.32	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.32	c STR average number of conflicts per successful attempt inf
3600.04/3609.32	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.32	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.32	c AVG.sumWPerc 100.00 
3600.04/3609.32	c bigint constraints 0 
3600.04/3609.32	s UNKNOWN
3600.04/3609.32	c Program interrupted by user.

ERROR: no interpretation found !

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: 63837 MiB (60049 MiB free)
  memory of node 1: 64465 MiB (62829 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508735-1751516001/watcher-4508735-1751516001 -o /tmp/evaluation-result-4508735-1751516001/solver-4508735-1751516001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508735-1751516001.opb PROOFDIR/proof-4508735-1751516001 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=82800, runsolver pid=82797

[startup+0.100105 s]*
/proc/loadavg: 4.02 4.07 4.01 5/261 82802
/proc/meminfo: memFree=125806744/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=86004 memory=38608 CPUtime=0.08 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 6134 0 0 0 6 2 0 0 20 0 1 0 67279260 88068096 9652 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 21501 9652 1920 1147 0 8928 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90196 KiB
Current children cumulated memory: 41680 KiB

[startup+0.213978 s]*
/proc/loadavg: 4.02 4.07 4.01 5/261 82802
/proc/meminfo: memFree=125805736/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=76580 memory=30400 CPUtime=0.2 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 6347 0 0 0 15 5 0 0 20 0 1 0 67279260 78417920 7600 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 19145 7600 1952 1147 0 6572 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80772 KiB
Current children cumulated memory: 33472 KiB

[startup+0.313767 s]*
/proc/loadavg: 4.02 4.07 4.01 5/261 82802
/proc/meminfo: memFree=125803760/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=78088 memory=32448 CPUtime=0.29 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 6859 0 0 0 23 6 0 0 20 0 1 0 67279260 79962112 8112 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 19522 8112 1952 1147 0 6949 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 35520 KiB

[startup+0.700357 s]
/proc/loadavg: 4.02 4.07 4.01 5/261 82802
/proc/meminfo: memFree=125803760/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=88368 memory=42876 CPUtime=0.67 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 8992 0 0 0 52 15 0 0 20 0 1 0 67279260 90488832 10719 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 22092 10719 1952 1147 0 9519 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92560 KiB
Current children cumulated memory: 45948 KiB

[startup+1.50037 s]
/proc/loadavg: 4.02 4.07 4.01 5/261 82802
/proc/meminfo: memFree=125784356/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=125928 memory=81312 CPUtime=1.46 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 16739 0 0 0 114 32 0 0 20 0 1 0 67279260 128950272 20328 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 31482 20328 1984 1147 0 18909 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 130120 KiB
Current children cumulated memory: 84384 KiB

[startup+3.1134 s]
/proc/loadavg: 4.02 4.07 4.01 5/261 82803
/proc/meminfo: memFree=125212840/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=687564 memory=540340 CPUtime=3.07 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 79487 0 0 0 234 73 0 0 20 0 1 0 67279260 704065536 135085 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 171891 135085 2336 1147 0 159318 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 691756 KiB
Current children cumulated memory: 543412 KiB

[startup+6.30038 s]
/proc/loadavg: 4.02 4.07 4.01 5/260 82803
/proc/meminfo: memFree=125173164/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=719528 memory=568000 CPUtime=6.25 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 80796 0 0 0 549 76 0 0 20 0 1 0 67279260 736796672 142000 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 179882 142000 2336 1147 0 167309 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 723720 KiB
Current children cumulated memory: 571072 KiB

[startup+12.7004 s]
/proc/loadavg: 4.02 4.06 4.01 5/260 82803
/proc/meminfo: memFree=125116540/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=800436 memory=612340 CPUtime=12.64 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 82148 0 0 0 1183 81 0 0 20 0 1 0 67279260 819646464 153085 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 200109 153085 2368 1147 0 187536 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 804628 KiB
Current children cumulated memory: 615412 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.08 4.02 5/260 82803
/proc/meminfo: memFree=124954472/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=881824 memory=678652 CPUtime=25.4 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 82905 0 0 0 2455 85 0 0 20 0 1 0 67279260 902987776 169663 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 220456 169663 2368 1147 0 207883 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 886016 KiB
Current children cumulated memory: 681724 KiB

[startup+51.1135 s]
/proc/loadavg: 4.05 4.07 4.01 5/260 82803
/proc/meminfo: memFree=124323236/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=1283576 memory=1090124 CPUtime=50.96 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 150538 0 0 0 4983 113 0 0 20 0 1 0 67279260 1314381824 272531 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 320894 272531 2368 1147 0 308321 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1287768 KiB
Current children cumulated memory: 1093196 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.07 4.01 5/259 82807
/proc/meminfo: memFree=123668300/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=1692176 memory=1431288 CPUtime=102.04 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 195989 0 0 0 10062 142 0 0 20 0 1 0 67279260 1732788224 357822 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 423044 357822 2368 1147 0 410471 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1696368 KiB
Current children cumulated memory: 1434360 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/259 82809
/proc/meminfo: memFree=123067800/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=2262296 memory=1751604 CPUtime=161.92 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 250513 0 0 0 16029 163 0 0 20 0 1 0 67279260 2316591104 437901 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 565574 437901 2368 1147 0 553001 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 2266488 KiB
Current children cumulated memory: 1754676 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/260 82813
/proc/meminfo: memFree=122080332/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=2848192 memory=2417824 CPUtime=221.78 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 374158 0 0 0 21960 218 0 0 20 0 1 0 67279260 2916548608 604456 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 712048 604456 2368 1147 0 699475 0

################
# More data... #
################

/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8346508 memory=7627816 CPUtime=3154.17 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1301951 0 0 0 314607 810 0 0 20 0 1 0 67279260 8546824192 1906954 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2086627 1906954 2368 1147 0 2074054 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 8350700 KiB
Current children cumulated memory: 7630888 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/261 83203
/proc/meminfo: memFree=110983388/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8346508 memory=7628200 CPUtime=3214.02 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1302197 0 0 0 320581 821 0 0 20 0 1 0 67279260 8546824192 1907050 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2086627 1907050 2368 1147 0 2074054 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 8350700 KiB
Current children cumulated memory: 7631272 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/260 83205
/proc/meminfo: memFree=109993636/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8354088 memory=7635752 CPUtime=3273.87 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1305759 0 0 0 326557 830 0 0 20 0 1 0 67279260 8554586112 1908938 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2088522 1908938 2368 1147 0 2075949 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 8358280 KiB
Current children cumulated memory: 7638824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/259 83207
/proc/meminfo: memFree=109646912/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8354640 memory=7636520 CPUtime=3333.73 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1307459 0 0 0 332539 834 0 0 20 0 1 0 67279260 8555151360 1909130 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2088660 1909130 2368 1147 0 2076087 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 8358832 KiB
Current children cumulated memory: 7639592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.16 5/259 83214
/proc/meminfo: memFree=109045476/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8370524 memory=7648424 CPUtime=3393.57 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1310871 0 0 0 338518 839 0 0 20 0 1 0 67279260 8571416576 1912106 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2092631 1912106 2368 1147 0 2080058 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 8374716 KiB
Current children cumulated memory: 7651496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/260 83218
/proc/meminfo: memFree=108305512/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8387668 memory=7663016 CPUtime=3453.41 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1315847 0 0 0 344492 849 0 0 20 0 1 0 67279260 8588972032 1915754 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2096917 1915754 2368 1147 0 2084344 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 8391860 KiB
Current children cumulated memory: 7666088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/259 83221
/proc/meminfo: memFree=107641288/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8395568 memory=7684648 CPUtime=3513.26 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1320132 0 0 0 350464 862 0 0 20 0 1 0 67279260 8597061632 1921162 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2098892 1921162 2368 1147 0 2086319 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 8399760 KiB
Current children cumulated memory: 7687720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/259 83223
/proc/meminfo: memFree=107065556/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8399372 memory=7705768 CPUtime=3573.11 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1322635 0 0 0 356442 869 0 0 20 0 1 0 67279260 8600956928 1926442 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2099843 1926442 2368 1147 0 2087270 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 8403564 KiB
Current children cumulated memory: 7708840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/259 83223
/proc/meminfo: memFree=106797940/131382112 swapFree=33005784/33010684
[pid=82800] ppid=82797 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82800/stat : 82800 (run-opt-log.sh) S 82797 82800 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67279259 4292608 768 18446744073709551615 93846911717376 93846912611909 140733752096016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93846912850960 93846912898704 93846935478272 140733752105249 140733752105444 140733752105444 140733752111046 0
/proc/82800/statm: 1048 768 704 219 0 110 0
[pid=82802] ppid=82800 vsize=8401760 memory=7720616 CPUtime=3600.04 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82800 82800 82234 0 -1 4194304 1325738 0 0 0 359132 872 0 0 20 0 1 0 67279260 8603402240 1930154 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2100440 1930154 2368 1147 0 2087867 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 8405952 KiB
Current children cumulated memory: 7723688 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.31 s]
# the end of solver process 82800 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000942 s, system=0.004088 s
Sleeping 2 seconds

[startup+3609.59 s]
# the end of solver process 82802 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3591.46 s, system=8.87118 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+3609.41 s]*
/proc/loadavg: 4.06 4.11 4.14 5/258 83223
/proc/meminfo: memFree=107560664/131382112 swapFree=33005784/33010684
[pid=82802] ppid=82797 vsize=8401760 memory=5376268 CPUtime=3600.14 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82797 82800 82234 0 -1 4194304 1325755 0 0 0 359139 875 0 0 20 0 1 0 67279260 8603402240 1344067 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 2100440 1344067 2432 1147 0 2087867 0
Current cumulated CPU time of completed processes: 0.00503 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 8401760 KiB
Current children cumulated memory: 5376268 KiB

[startup+3609.51 s]
/proc/loadavg: 4.06 4.11 4.14 5/258 83223
/proc/meminfo: memFree=107560664/131382112 swapFree=33005784/33010684
[pid=82802] ppid=82797 vsize=5839656 memory=3122308 CPUtime=3600.23 cores=4,6
/proc/82802/stat : 82802 (roundingsat) R 82797 82800 82234 0 -1 4194304 1325756 0 0 0 359139 884 0 0 20 0 1 0 67279260 5979807744 780577 18446744073709551615 4227072 8923433 140728160675968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41500672 140728160684370 140728160684584 140728160684584 140728160690154 0
/proc/82802/statm: 1459914 780577 2432 1147 0 1447341 0
Current cumulated CPU time of completed processes: 0.00503 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 5839656 KiB
Current children cumulated memory: 3122308 KiB

Child status: 2

Real time (s): 3609.59
CPU time (s): 3600.33
CPU user time (s): 3591.46
CPU system time (s): 8.87118
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 8405952
Max. memory (cumulated for all children) (KiB): 7723688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.46
system time used= 8.87118
maximum resident set size= 7720872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1326091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14518344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 697
involuntary context switches= 5550


# summary of solver processes directly reported to runsolver:
#   pid: 82800,82802
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3591.46
#   total CPU system time (s): 8.87118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7736 second user time and 37.1052 second system time

The end

Begin job on nodeC007 at 2025-07-03 06:13:21
IDJOB=4508735
IDBENCH=158465
IDSOLVER=3351
FILE ID=nodeC007/4508735-1751516001
RUNJOBID= nodeC007-1751514781-82245
SLURM_JOB_ID= 9598624
Free space on /tmp= 431008 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508735-1751516001/watcher-4508735-1751516001 -o /tmp/evaluation-result-4508735-1751516001/solver-4508735-1751516001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508735-1751516001.opb PROOFDIR/proof-4508735-1751516001

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 5ce1114e3b3a499c171804227c280ba1
RANDOM SEED=445869896

nodeC007 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	: 0xb00001f
cpu MHz		: 3662.269
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.370
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.207
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.283
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.392
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.168
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.458
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125828420 kB
MemAvailable:   129490880 kB
Buffers:              16 kB
Cached:          4332328 kB
SwapCached:          252 kB
Active:           646224 kB
Inactive:        4106612 kB
Active(anon):     386456 kB
Inactive(anon):    47904 kB
Active(file):     259768 kB
Inactive(file):  4058708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27264 kB
Writeback:            24 kB
AnonPages:        416780 kB
Mapped:           112468 kB
Shmem:             13504 kB
KReclaimable:     367224 kB
Slab:             457896 kB
SReclaimable:     367224 kB
SUnreclaim:        90672 kB
KernelStack:        4192 kB
PageTables:         4028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     780108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430992 MiB
End job on nodeC007 at 2025-07-03 07:13:31