0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.77/1.86 c #variables 149652 #constraints 428803
1.77/1.86 c objective is ce32
2.76/2.80 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.76/2.80 c initial counting CF 32, 64, 128, Arb: 146877 , 0 , 0 , 0
2.76/2.80 c GLOBAL bounds - >= -15134132 @ 1.93257
2.86/2.90 c GLOBAL bounds - >= -15134132 @ 2.03423
2.97/3.10 c GLOBAL bounds - >= -15134132 @ 2.22513
3.16/3.26 c GLOBAL bounds - >= -15134132 @ 2.38574
3.26/3.37 c GLOBAL bounds - >= -15134132 @ 2.49413
3.66/3.74 c GLOBAL bounds - >= -15134132 @ 2.85962
3.76/3.85 c GLOBAL bounds - >= -15134132 @ 2.96893
101.39/101.78 c GLOBAL bounds - >= -15134132 @ 100.111
229.59/230.27 c #Conflicts: 1000 | #Constraints: 429581
229.59/230.27 c GLOBAL bounds - >= -15134132 @ 227.972
255.12/255.87 c GLOBAL bounds - >= -15134132 @ 253.277
260.70/261.47 c GLOBAL bounds - >= -15134132 @ 258.806
264.09/264.84 c GLOBAL bounds - >= -15134132 @ 262.123
268.78/269.55 c GLOBAL bounds - >= -15134132 @ 266.76
270.17/270.94 c GLOBAL bounds - >= -15134132 @ 268.128
272.77/273.53 c GLOBAL bounds - >= -15134132 @ 270.702
279.55/280.38 c GLOBAL bounds - >= -15134132 @ 277.48
282.84/283.64 c GLOBAL bounds - >= -15134132 @ 280.705
288.13/288.94 c GLOBAL bounds - >= -15134132 @ 285.946
295.51/296.35 c GLOBAL bounds - >= -15134132 @ 293.3
303.79/304.63 c GLOBAL bounds - >= -15134132 @ 301.505
326.43/327.36 c GLOBAL bounds - >= -15134132 @ 324.088
327.92/328.87 c GLOBAL bounds - >= -15134132 @ 325.594
329.41/330.38 c GLOBAL bounds - >= -15134132 @ 327.094
331.12/332.02 c GLOBAL bounds - >= -15134132 @ 328.719
334.01/334.93 c GLOBAL bounds - >= -15134132 @ 331.614
337.59/338.60 c GLOBAL bounds - >= -15134132 @ 335.267
340.39/341.34 c GLOBAL bounds - >= -15134132 @ 337.998
341.88/342.89 c GLOBAL bounds - >= -15134132 @ 339.54
343.38/344.35 c GLOBAL bounds - >= -15134132 @ 340.999
344.78/345.72 c GLOBAL bounds - >= -15134132 @ 342.364
345.98/346.98 c GLOBAL bounds - >= -15134132 @ 343.619
359.74/360.71 c GLOBAL bounds - >= -15134132 @ 357.296
361.23/362.20 c GLOBAL bounds - >= -15134132 @ 358.784
362.53/363.57 c GLOBAL bounds - >= -15134132 @ 360.138
363.83/364.86 c GLOBAL bounds - >= -15134132 @ 361.426
401.54/402.67 c GLOBAL bounds - >= -15134132 @ 399.135
403.13/404.27 c GLOBAL bounds - >= -15134132 @ 400.735
405.13/406.24 c GLOBAL bounds - >= -15134132 @ 402.695
413.21/414.31 c GLOBAL bounds - >= -15134132 @ 410.729
418.69/419.88 c GLOBAL bounds - >= -15134132 @ 416.286
420.39/421.55 c GLOBAL bounds - >= -15134132 @ 417.938
439.14/440.32 c GLOBAL bounds - >= -15134132 @ 436.624
453.30/454.57 c GLOBAL bounds - >= -15134132 @ 450.795
456.10/457.32 c GLOBAL bounds - >= -15134132 @ 453.512
457.90/459.13 c GLOBAL bounds - >= -15134132 @ 455.312
459.49/460.70 c GLOBAL bounds - >= -15134132 @ 456.872
461.28/462.50 c GLOBAL bounds - >= -15134132 @ 458.662
467.36/468.67 c GLOBAL bounds - >= -15134132 @ 464.788
469.16/470.45 c GLOBAL bounds - >= -15134132 @ 466.551
470.96/472.24 c GLOBAL bounds - >= -15134132 @ 468.332
472.76/474.08 c GLOBAL bounds - >= -15134132 @ 470.162
474.44/475.73 c GLOBAL bounds - >= -15134132 @ 471.803
476.54/477.82 c GLOBAL bounds - >= -15134132 @ 473.883
478.14/479.44 c GLOBAL bounds - >= -15134132 @ 475.49
479.64/480.90 c GLOBAL bounds - >= -15134132 @ 476.937
481.23/482.51 c GLOBAL bounds - >= -15134132 @ 478.541
482.83/484.19 c GLOBAL bounds - >= -15134132 @ 480.219
484.42/485.73 c GLOBAL bounds - >= -15134132 @ 481.743
487.82/489.15 c GLOBAL bounds - >= -15134132 @ 485.151
489.61/490.93 c GLOBAL bounds - >= -15134132 @ 486.92
491.20/492.51 c GLOBAL bounds - >= -15134132 @ 488.49
492.90/494.20 c GLOBAL bounds - >= -15134132 @ 490.174
494.50/495.81 c GLOBAL bounds - >= -15134132 @ 491.772
496.19/497.51 c GLOBAL bounds - >= -15134132 @ 493.465
497.69/499.03 c GLOBAL bounds - >= -15134132 @ 494.978
500.08/501.47 c GLOBAL bounds - >= -15134132 @ 497.404
501.87/503.24 c GLOBAL bounds - >= -15134132 @ 499.164
503.47/504.81 c GLOBAL bounds - >= -15134132 @ 500.73
505.06/506.41 c GLOBAL bounds - >= -15134132 @ 502.319
506.57/508.00 c GLOBAL bounds - >= -15134132 @ 503.902
508.36/509.74 c GLOBAL bounds - >= -15134132 @ 505.638
510.15/511.57 c GLOBAL bounds - >= -15134132 @ 507.452
512.05/513.41 c GLOBAL bounds - >= -15134132 @ 509.284
513.64/515.10 c GLOBAL bounds - >= -15134132 @ 510.96
515.24/516.69 c GLOBAL bounds - >= -15134132 @ 512.546
516.83/518.29 c GLOBAL bounds - >= -15134132 @ 514.143
518.63/520.07 c GLOBAL bounds - >= -15134132 @ 515.913
520.43/521.85 c GLOBAL bounds - >= -15134132 @ 517.681
522.02/523.47 c GLOBAL bounds - >= -15134132 @ 519.291
523.72/525.11 c GLOBAL bounds - >= -15134132 @ 520.929
525.41/526.86 c GLOBAL bounds - >= -15134132 @ 522.663
527.31/528.79 c GLOBAL bounds - >= -15134132 @ 524.59
529.10/530.53 c GLOBAL bounds - >= -15134132 @ 526.319
531.00/532.40 c GLOBAL bounds - >= -15134132 @ 528.179
532.89/534.35 c GLOBAL bounds - >= -15134132 @ 530.105
534.48/536.00 c GLOBAL bounds - >= -15134132 @ 531.745
536.19/537.69 c GLOBAL bounds - >= -15134132 @ 533.437
538.08/539.59 c GLOBAL bounds - >= -15134132 @ 535.314
540.07/541.53 c GLOBAL bounds - >= -15134132 @ 537.245
541.77/543.26 c GLOBAL bounds - >= -15134132 @ 538.967
543.76/545.25 c GLOBAL bounds - >= -15134132 @ 540.93
545.66/547.11 c GLOBAL bounds - >= -15134132 @ 542.783
547.45/548.95 c GLOBAL bounds - >= -15134132 @ 544.602
549.35/550.81 c GLOBAL bounds - >= -15134132 @ 546.443
551.24/552.74 c GLOBAL bounds - >= -15134132 @ 548.362
553.04/554.50 c GLOBAL bounds - >= -15134132 @ 550.115
554.64/556.15 c GLOBAL bounds - >= -15134132 @ 551.759
556.32/557.80 c GLOBAL bounds - >= -15134132 @ 553.405
557.92/559.41 c GLOBAL bounds - >= -15134132 @ 555
559.52/561.07 c GLOBAL bounds - >= -15134132 @ 556.658
561.91/563.40 c GLOBAL bounds - >= -15134132 @ 558.962
564.01/565.54 c GLOBAL bounds - >= -15134132 @ 561.087
565.61/567.17 c GLOBAL bounds - >= -15134132 @ 562.713
567.89/569.49 c GLOBAL bounds - >= -15134132 @ 565.005
569.78/571.36 c GLOBAL bounds - >= -15134132 @ 566.859
606.19/607.82 c GLOBAL bounds - >= -15134132 @ 603.072
617.97/619.65 c #Conflicts: 2000 | #Constraints: 430777
617.97/619.65 c INPROCESSING
617.97/619.65 c GARBAGE COLLECT
617.97/619.65 c GLOBAL bounds - >= -15134132 @ 614.839
665.36/667.12 c GLOBAL bounds - >= -15134132 @ 662.193
801.43/803.57 c GLOBAL bounds - >= -15134132 @ 798.303
803.93/806.02 c GLOBAL bounds - >= -15134132 @ 800.749
805.22/807.38 c GLOBAL bounds - >= -15134132 @ 802.108
806.81/808.99 c GLOBAL bounds - >= -15134132 @ 803.708
808.21/810.30 c GLOBAL bounds - >= -15134132 @ 805.008
809.40/811.58 c GLOBAL bounds - >= -15134132 @ 806.28
810.70/812.87 c GLOBAL bounds - >= -15134132 @ 807.563
812.01/814.12 c GLOBAL bounds - >= -15134132 @ 808.806
813.30/815.40 c GLOBAL bounds - >= -15134132 @ 810.085
814.59/816.76 c GLOBAL bounds - >= -15134132 @ 811.441
815.89/818.04 c GLOBAL bounds - >= -15134132 @ 812.719
817.29/819.42 c GLOBAL bounds - >= -15134132 @ 814.092
823.97/826.15 c GLOBAL bounds - >= -15134132 @ 820.809
825.36/827.55 c GLOBAL bounds - >= -15134132 @ 822.2
826.66/828.82 c GLOBAL bounds - >= -15134132 @ 823.47
828.06/830.21 c GLOBAL bounds - >= -15134132 @ 824.856
829.45/831.65 c GLOBAL bounds - >= -15134132 @ 826.293
830.75/832.99 c GLOBAL bounds - >= -15134132 @ 827.629
832.04/834.27 c GLOBAL bounds - >= -15134132 @ 828.902
833.44/835.60 c GLOBAL bounds - >= -15134132 @ 830.228
834.73/837.00 c GLOBAL bounds - >= -15134132 @ 831.621
836.13/838.39 c GLOBAL bounds - >= -15134132 @ 833.01
837.62/839.85 c GLOBAL bounds - >= -15134132 @ 834.461
839.12/841.31 c GLOBAL bounds - >= -15134132 @ 835.921
840.51/842.78 c GLOBAL bounds - >= -15134132 @ 837.386
841.92/844.14 c GLOBAL bounds - >= -15134132 @ 838.742
843.22/845.49 c GLOBAL bounds - >= -15134132 @ 840.082
844.51/846.79 c GLOBAL bounds - >= -15134132 @ 841.383
845.91/848.11 c GLOBAL bounds - >= -15134132 @ 842.691
847.30/849.50 c GLOBAL bounds - >= -15134132 @ 844.079
854.98/857.29 c GLOBAL bounds - >= -15134132 @ 851.856
856.68/858.99 c GLOBAL bounds - >= -15134132 @ 853.543
858.17/860.41 c GLOBAL bounds - >= -15134132 @ 854.961
859.77/862.05 c GLOBAL bounds - >= -15134132 @ 856.596
861.26/863.51 c GLOBAL bounds - >= -15134132 @ 858.053
862.76/865.00 c GLOBAL bounds - >= -15134132 @ 859.541
864.05/866.38 c GLOBAL bounds - >= -15134132 @ 860.909
865.55/867.84 c GLOBAL bounds - >= -15134132 @ 862.368
877.42/879.79 c GLOBAL bounds - >= -15134132 @ 874.287
879.02/881.39 c GLOBAL bounds - >= -15134132 @ 875.883
880.42/882.76 c GLOBAL bounds - >= -15134132 @ 877.243
881.81/884.17 c GLOBAL bounds - >= -15134132 @ 878.652
883.20/885.57 c GLOBAL bounds - >= -15134132 @ 880.037
884.60/886.91 c GLOBAL bounds - >= -15134132 @ 881.378
885.89/888.27 c GLOBAL bounds - >= -15134132 @ 882.729
887.29/889.68 c GLOBAL bounds - >= -15134132 @ 884.136
889.49/891.84 c GLOBAL bounds - >= -15134132 @ 886.287
891.28/893.65 c GLOBAL bounds - >= -15134132 @ 888.088
893.38/895.70 c GLOBAL bounds - >= -15134132 @ 890.136
895.78/898.14 c GLOBAL bounds - >= -15134132 @ 892.572
916.51/918.90 c GLOBAL bounds - >= -15134132 @ 913.269
929.78/932.22 c GLOBAL bounds - >= -15134132 @ 926.556
931.48/933.92 c GLOBAL bounds - >= -15134132 @ 928.256
933.08/935.58 c GLOBAL bounds - >= -15134132 @ 929.905
934.87/937.35 c GLOBAL bounds - >= -15134132 @ 931.67
936.47/938.99 c GLOBAL bounds - >= -15134132 @ 933.304
938.16/940.61 c GLOBAL bounds - >= -15134132 @ 934.921
940.26/942.74 c GLOBAL bounds - >= -15134132 @ 937.04
942.05/944.53 c GLOBAL bounds - >= -15134132 @ 938.826
943.74/946.24 c GLOBAL bounds - >= -15134132 @ 940.531
945.44/947.97 c GLOBAL bounds - >= -15134132 @ 942.243
953.32/955.87 c GLOBAL bounds - >= -15134132 @ 950.119
955.12/957.69 c GLOBAL bounds - >= -15134132 @ 951.93
956.81/959.34 c GLOBAL bounds - >= -15134132 @ 953.572
958.51/961.01 c GLOBAL bounds - >= -15134132 @ 955.236
960.20/962.75 c GLOBAL bounds - >= -15134132 @ 956.972
961.79/964.40 c GLOBAL bounds - >= -15134132 @ 958.608
963.49/966.03 c GLOBAL bounds - >= -15134132 @ 960.238
965.08/967.61 c GLOBAL bounds - >= -15134132 @ 961.809
966.68/969.23 c GLOBAL bounds - >= -15134132 @ 963.429
968.28/970.87 c GLOBAL bounds - >= -15134132 @ 965.058
969.97/972.57 c GLOBAL bounds - >= -15134132 @ 966.747
978.85/981.49 c GLOBAL bounds - >= -15134132 @ 975.645
980.84/983.47 c GLOBAL bounds - >= -15134132 @ 977.603
982.54/985.16 c GLOBAL bounds - >= -15134132 @ 979.287
984.23/986.86 c GLOBAL bounds - >= -15134132 @ 980.983
986.02/988.60 c GLOBAL bounds - >= -15134132 @ 982.717
987.72/990.31 c GLOBAL bounds - >= -15134132 @ 984.417
989.42/992.06 c GLOBAL bounds - >= -15134132 @ 986.156
991.11/993.79 c GLOBAL bounds - >= -15134132 @ 987.886
1000.69/1003.39 c GLOBAL bounds - >= -15134132 @ 997.456
1002.58/1005.27 c GLOBAL bounds - >= -15134132 @ 999.315
1004.48/1007.18 c GLOBAL bounds - >= -15134132 @ 1001.2
1006.27/1008.90 c GLOBAL bounds - >= -15134132 @ 1002.91
1007.96/1010.66 c GLOBAL bounds - >= -15134132 @ 1004.66
1010.25/1012.91 c GLOBAL bounds - >= -15134132 @ 1006.89
1012.25/1014.97 c GLOBAL bounds - >= -15134132 @ 1008.94
1014.14/1016.84 c GLOBAL bounds - >= -15134132 @ 1010.8
1016.04/1018.76 c GLOBAL bounds - >= -15134132 @ 1012.71
1017.93/1020.61 c GLOBAL bounds - >= -15134132 @ 1014.55
1019.62/1022.36 c GLOBAL bounds - >= -15134132 @ 1016.29
1021.33/1024.09 c GLOBAL bounds - >= -15134132 @ 1018.01
1024.21/1027.00 c GLOBAL bounds - >= -15134132 @ 1020.91
1026.41/1029.14 c GLOBAL bounds - >= -15134132 @ 1023.04
1028.40/1031.19 c GLOBAL bounds - >= -15134132 @ 1025.07
1030.30/1033.06 c GLOBAL bounds - >= -15134132 @ 1026.93
1033.19/1035.94 c GLOBAL bounds - >= -15134132 @ 1029.8
1046.15/1048.96 c GLOBAL bounds - >= -15134132 @ 1042.77
1054.03/1056.86 c GLOBAL bounds - >= -15134132 @ 1050.61
1058.33/1061.16 c GLOBAL bounds - >= -15134132 @ 1054.87
1065.40/1068.24 c GLOBAL bounds - >= -15134132 @ 1061.9
1068.69/1071.52 c GLOBAL bounds - >= -15134132 @ 1065.15
1070.68/1073.52 c GLOBAL bounds - >= -15134132 @ 1067.14
1072.58/1075.48 c GLOBAL bounds - >= -15134132 @ 1069.09
1074.48/1077.39 c GLOBAL bounds - >= -15134132 @ 1071
1076.67/1079.50 c GLOBAL bounds - >= -15134132 @ 1073.09
1078.56/1081.43 c GLOBAL bounds - >= -15134132 @ 1075.01
1080.76/1083.62 c GLOBAL bounds - >= -15134132 @ 1077.19
1082.95/1085.84 c GLOBAL bounds - >= -15134132 @ 1079.41
1085.15/1088.04 c GLOBAL bounds - >= -15134132 @ 1081.58
1087.14/1090.02 c GLOBAL bounds - >= -15134132 @ 1083.56
1089.24/1092.10 c GLOBAL bounds - >= -15134132 @ 1085.63
1091.13/1094.06 c GLOBAL bounds - >= -15134132 @ 1087.58
1093.13/1096.02 c GLOBAL bounds - >= -15134132 @ 1089.53
1102.70/1105.64 c GLOBAL bounds - >= -15134132 @ 1099.13
1104.89/1107.88 c GLOBAL bounds - >= -15134132 @ 1101.35
1106.89/1109.89 c GLOBAL bounds - >= -15134132 @ 1103.35
1109.19/1112.16 c GLOBAL bounds - >= -15134132 @ 1105.62
1111.87/1114.81 c GLOBAL bounds - >= -15134132 @ 1108.25
1113.88/1116.86 c GLOBAL bounds - >= -15134132 @ 1110.3
1123.25/1126.22 c GLOBAL bounds - >= -15134132 @ 1119.63
1125.34/1128.35 c GLOBAL bounds - >= -15134132 @ 1121.75
1127.44/1130.47 c GLOBAL bounds - >= -15134132 @ 1123.87
1129.44/1132.46 c GLOBAL bounds - >= -15134132 @ 1125.85
1131.73/1134.76 c GLOBAL bounds - >= -15134132 @ 1128.13
1134.02/1137.05 c GLOBAL bounds - >= -15134132 @ 1130.42
1136.21/1139.25 c GLOBAL bounds - >= -15134132 @ 1132.61
1138.31/1141.35 c GLOBAL bounds - >= -15134132 @ 1134.7
1140.41/1143.42 c GLOBAL bounds - >= -15134132 @ 1136.77
1144.20/1147.27 c GLOBAL bounds - >= -15134132 @ 1140.6
1146.78/1149.83 c GLOBAL bounds - >= -15134132 @ 1143.15
1149.78/1152.80 c GLOBAL bounds - >= -15134132 @ 1146.12
1155.37/1158.42 c GLOBAL bounds - >= -15134132 @ 1151.71
1157.86/1160.92 c GLOBAL bounds - >= -15134132 @ 1154.21
1160.35/1163.46 c GLOBAL bounds - >= -15134132 @ 1156.73
1162.65/1165.72 c GLOBAL bounds - >= -15134132 @ 1158.99
1164.95/1168.10 c GLOBAL bounds - >= -15134132 @ 1161.36
1167.33/1170.46 c GLOBAL bounds - >= -15134132 @ 1163.71
1169.72/1172.81 c GLOBAL bounds - >= -15134132 @ 1166.05
1173.61/1176.70 c GLOBAL bounds - >= -15134132 @ 1169.93
1176.01/1179.16 c GLOBAL bounds - >= -15134132 @ 1172.37
1178.31/1181.40 c GLOBAL bounds - >= -15134132 @ 1174.6
1184.19/1187.32 c GLOBAL bounds - >= -15134132 @ 1180.51
1186.48/1189.64 c GLOBAL bounds - >= -15134132 @ 1182.82
1190.07/1193.28 c GLOBAL bounds - >= -15134132 @ 1186.45
1192.36/1195.58 c GLOBAL bounds - >= -15134132 @ 1188.74
1194.56/1197.73 c GLOBAL bounds - >= -15134132 @ 1190.88
1196.76/1199.90 c GLOBAL bounds - >= -15134132 @ 1193.05
1198.96/1202.15 c GLOBAL bounds - >= -15134132 @ 1195.29
1201.24/1204.47 c GLOBAL bounds - >= -15134132 @ 1197.6
1203.53/1206.70 c GLOBAL bounds - >= -15134132 @ 1199.82
1205.63/1208.82 c GLOBAL bounds - >= -15134132 @ 1201.94
1207.84/1211.01 c GLOBAL bounds - >= -15134132 @ 1204.12
1209.93/1213.18 c GLOBAL bounds - >= -15134132 @ 1206.28
1212.11/1215.30 c GLOBAL bounds - >= -15134132 @ 1208.39
1214.21/1217.47 c GLOBAL bounds - >= -15134132 @ 1210.56
1216.60/1219.85 c GLOBAL bounds - >= -15134132 @ 1212.93
1219.30/1222.57 c GLOBAL bounds - >= -15134132 @ 1215.64
1221.59/1224.88 c GLOBAL bounds - >= -15134132 @ 1217.94
1224.08/1227.36 c GLOBAL bounds - >= -15134132 @ 1220.4
1226.27/1229.59 c GLOBAL bounds - >= -15134132 @ 1222.63
1228.47/1231.74 c GLOBAL bounds - >= -15134132 @ 1224.78
1238.24/1241.52 c GLOBAL bounds - >= -15134132 @ 1234.53
1245.92/1249.20 c GLOBAL bounds - >= -15134132 @ 1242.18
1248.42/1251.77 c GLOBAL bounds - >= -15134132 @ 1244.74
1250.82/1254.18 c GLOBAL bounds - >= -15134132 @ 1247.14
1253.00/1256.39 c GLOBAL bounds - >= -15134132 @ 1249.34
1258.79/1262.11 c GLOBAL bounds - >= -15134132 @ 1255.04
1261.29/1264.62 c GLOBAL bounds - >= -15134132 @ 1257.55
1263.68/1267.03 c GLOBAL bounds - >= -15134132 @ 1259.94
1269.56/1272.93 c GLOBAL bounds - >= -15134132 @ 1265.83
1271.86/1275.26 c GLOBAL bounds - >= -15134132 @ 1268.15
1275.85/1279.26 c GLOBAL bounds - >= -15134132 @ 1272.13
1278.23/1281.68 c GLOBAL bounds - >= -15134132 @ 1274.54
1284.32/1287.78 c GLOBAL bounds - >= -15134132 @ 1280.61
1369.91/1373.58 c #Conflicts: 3000 | #Constraints: 431137
1369.91/1373.58 c GLOBAL bounds - >= -15134132 @ 1366.14
1373.70/1377.36 c GLOBAL bounds - >= -15134132 @ 1369.89
1384.48/1388.14 c GLOBAL bounds - >= -15134132 @ 1380.63
1387.26/1390.97 c GLOBAL bounds - >= -15134132 @ 1383.45
1390.96/1394.65 c GLOBAL bounds - >= -15134132 @ 1387.12
1393.46/1397.19 c GLOBAL bounds - >= -15134132 @ 1389.65
1396.24/1400.00 c GLOBAL bounds - >= -15134132 @ 1392.45
1399.03/1402.73 c GLOBAL bounds - >= -15134132 @ 1395.17
1401.52/1405.22 c GLOBAL bounds - >= -15134132 @ 1397.66
1404.42/1408.15 c GLOBAL bounds - >= -15134132 @ 1400.57
1407.11/1410.82 c GLOBAL bounds - >= -15134132 @ 1403.23
1410.00/1413.73 c GLOBAL bounds - >= -15134132 @ 1406.12
1412.60/1416.32 c GLOBAL bounds - >= -15134132 @ 1408.71
1415.79/1419.53 c GLOBAL bounds - >= -15134132 @ 1411.91
1418.39/1422.14 c GLOBAL bounds - >= -15134132 @ 1414.51
1420.87/1424.63 c GLOBAL bounds - >= -15134132 @ 1416.99
1423.56/1427.32 c GLOBAL bounds - >= -15134132 @ 1419.68
1426.36/1430.12 c GLOBAL bounds - >= -15134132 @ 1422.46
1442.41/1446.22 c GLOBAL bounds - >= -15134132 @ 1438.49
1445.22/1449.05 c GLOBAL bounds - >= -15134132 @ 1441.31
1448.20/1452.03 c GLOBAL bounds - >= -15134132 @ 1444.27
1450.79/1454.61 c GLOBAL bounds - >= -15134132 @ 1446.85
1453.38/1457.20 c GLOBAL bounds - >= -15134132 @ 1449.43
1463.56/1467.48 c GLOBAL bounds - >= -15134132 @ 1459.68
1466.45/1470.33 c GLOBAL bounds - >= -15134132 @ 1462.52
1469.14/1473.08 c GLOBAL bounds - >= -15134132 @ 1465.26
1472.14/1476.08 c GLOBAL bounds - >= -15134132 @ 1468.24
1474.82/1478.72 c GLOBAL bounds - >= -15134132 @ 1470.87
1477.52/1481.41 c GLOBAL bounds - >= -15134132 @ 1473.55
1480.22/1484.16 c GLOBAL bounds - >= -15134132 @ 1476.29
1483.20/1487.17 c GLOBAL bounds - >= -15134132 @ 1479.29
1485.79/1489.77 c GLOBAL bounds - >= -15134132 @ 1481.87
1488.48/1492.40 c GLOBAL bounds - >= -15134132 @ 1484.5
1492.47/1496.49 c GLOBAL bounds - >= -15134132 @ 1488.58
1495.27/1499.26 c GLOBAL bounds - >= -15134132 @ 1491.34
1497.86/1501.81 c GLOBAL bounds - >= -15134132 @ 1493.88
1500.45/1504.40 c GLOBAL bounds - >= -15134132 @ 1496.46
1502.95/1506.95 c GLOBAL bounds - >= -15134132 @ 1499.01
1505.54/1509.59 c GLOBAL bounds - >= -15134132 @ 1501.63
1508.53/1512.55 c GLOBAL bounds - >= -15134132 @ 1504.58
1511.33/1515.31 c GLOBAL bounds - >= -15134132 @ 1507.34
1514.22/1518.28 c GLOBAL bounds - >= -15134132 @ 1510.3
1519.99/1524.09 c GLOBAL bounds - >= -15134132 @ 1516.05
1523.18/1527.29 c GLOBAL bounds - >= -15134132 @ 1519.24
1526.17/1530.26 c GLOBAL bounds - >= -15134132 @ 1522.19
1532.96/1537.07 c GLOBAL bounds - >= -15134132 @ 1528.99
1535.84/1539.99 c GLOBAL bounds - >= -15134132 @ 1531.9
1538.83/1542.93 c GLOBAL bounds - >= -15134132 @ 1534.83
1541.63/1545.73 c GLOBAL bounds - >= -15134132 @ 1537.62
1544.42/1548.51 c GLOBAL bounds - >= -15134132 @ 1540.39
1547.52/1551.61 c GLOBAL bounds - >= -15134132 @ 1543.48
1550.11/1554.28 c GLOBAL bounds - >= -15134132 @ 1546.14
1552.90/1557.10 c GLOBAL bounds - >= -15134132 @ 1548.94
1555.60/1559.78 c GLOBAL bounds - >= -15134132 @ 1551.62
1561.98/1566.11 c GLOBAL bounds - >= -15134132 @ 1557.92
1564.87/1569.03 c GLOBAL bounds - >= -15134132 @ 1560.84
1567.56/1571.72 c GLOBAL bounds - >= -15134132 @ 1563.52
1570.45/1574.65 c GLOBAL bounds - >= -15134132 @ 1566.44
1573.34/1577.56 c GLOBAL bounds - >= -15134132 @ 1569.34
1576.03/1580.24 c GLOBAL bounds - >= -15134132 @ 1572.01
1579.02/1583.27 c GLOBAL bounds - >= -15134132 @ 1575.02
1586.60/1590.84 c GLOBAL bounds - >= -15134132 @ 1582.55
1595.88/1600.16 c GLOBAL bounds - >= -15134132 @ 1591.81
1601.26/1605.50 c GLOBAL bounds - >= -15134132 @ 1597.14
1605.55/1609.85 c GLOBAL bounds - >= -15134132 @ 1601.47
1608.44/1612.74 c GLOBAL bounds - >= -15134132 @ 1604.34
1611.33/1615.60 c GLOBAL bounds - >= -15134132 @ 1607.2
1614.42/1618.78 c GLOBAL bounds - >= -15134132 @ 1610.36
1621.30/1625.60 c GLOBAL bounds - >= -15134132 @ 1617.17
1629.48/1633.81 c GLOBAL bounds - >= -15134132 @ 1625.34
1632.56/1636.97 c GLOBAL bounds - >= -15134132 @ 1628.49
1635.46/1639.83 c GLOBAL bounds - >= -15134132 @ 1631.34
1639.34/1643.79 c GLOBAL bounds - >= -15134132 @ 1635.28
1642.74/1647.11 c GLOBAL bounds - >= -15134132 @ 1638.59
1645.63/1650.03 c GLOBAL bounds - >= -15134132 @ 1641.5
1654.40/1658.87 c GLOBAL bounds - >= -15134132 @ 1650.31
1657.29/1661.76 c GLOBAL bounds - >= -15134132 @ 1653.18
1660.38/1664.85 c GLOBAL bounds - >= -15134132 @ 1656.26
1667.67/1672.17 c GLOBAL bounds - >= -15134132 @ 1663.56
1670.76/1675.22 c GLOBAL bounds - >= -15134132 @ 1666.59
1673.75/1678.25 c GLOBAL bounds - >= -15134132 @ 1669.62
1683.12/1687.65 c GLOBAL bounds - >= -15134132 @ 1678.99
1686.21/1690.76 c GLOBAL bounds - >= -15134132 @ 1682.08
1689.21/1693.73 c GLOBAL bounds - >= -15134132 @ 1685.05
1692.99/1697.58 c GLOBAL bounds - >= -15134132 @ 1688.88
1696.49/1701.03 c GLOBAL bounds - >= -15134132 @ 1692.31
1699.67/1704.23 c GLOBAL bounds - >= -15134132 @ 1695.5
1702.66/1707.25 c GLOBAL bounds - >= -15134132 @ 1698.51
1706.45/1711.09 c GLOBAL bounds - >= -15134132 @ 1702.33
1709.64/1714.27 c GLOBAL bounds - >= -15134132 @ 1705.5
1713.83/1718.40 c GLOBAL bounds - >= -15134132 @ 1709.62
1717.01/1721.63 c GLOBAL bounds - >= -15134132 @ 1712.84
1720.01/1724.65 c GLOBAL bounds - >= -15134132 @ 1715.84
1723.00/1727.62 c GLOBAL bounds - >= -15134132 @ 1718.79
1726.09/1730.77 c GLOBAL bounds - >= -15134132 @ 1721.94
1729.48/1734.12 c GLOBAL bounds - >= -15134132 @ 1725.28
1732.57/1737.24 c GLOBAL bounds - >= -15134132 @ 1728.39
1758.69/1763.41 c GLOBAL bounds - >= -15134132 @ 1754.47
1789.51/1794.30 c GLOBAL bounds - >= -15134132 @ 1785.26
1793.60/1798.48 c GLOBAL bounds - >= -15134132 @ 1789.43
1798.59/1803.40 c GLOBAL bounds - >= -15134132 @ 1794.33
1802.47/1807.37 c GLOBAL bounds - >= -15134132 @ 1798.28
1805.87/1810.75 c GLOBAL bounds - >= -15134132 @ 1801.64
1809.16/1814.08 c GLOBAL bounds - >= -15134132 @ 1804.96
1815.04/1819.98 c GLOBAL bounds - >= -15134132 @ 1810.84
1818.52/1823.45 c GLOBAL bounds - >= -15134132 @ 1814.3
1821.81/1826.74 c GLOBAL bounds - >= -15134132 @ 1817.58
1824.90/1829.89 c GLOBAL bounds - >= -15134132 @ 1820.72
1828.10/1833.07 c GLOBAL bounds - >= -15134132 @ 1823.88
1831.39/1836.35 c GLOBAL bounds - >= -15134132 @ 1827.16
1834.77/1839.73 c GLOBAL bounds - >= -15134132 @ 1830.52
1837.96/1842.96 c GLOBAL bounds - >= -15134132 @ 1833.74
1842.56/1847.54 c GLOBAL bounds - >= -15134132 @ 1838.31
1846.05/1851.02 c GLOBAL bounds - >= -15134132 @ 1841.77
1850.03/1855.00 c GLOBAL bounds - >= -15134132 @ 1845.74
1853.61/1858.64 c GLOBAL bounds - >= -15134132 @ 1849.36
1857.21/1862.26 c GLOBAL bounds - >= -15134132 @ 1852.97
1860.79/1865.80 c GLOBAL bounds - >= -15134132 @ 1856.49
1864.49/1869.52 c GLOBAL bounds - >= -15134132 @ 1860.2
1872.86/1877.93 c GLOBAL bounds - >= -15134132 @ 1868.58
1876.16/1881.26 c GLOBAL bounds - >= -15134132 @ 1871.89
1883.53/1888.61 c GLOBAL bounds - >= -15134132 @ 1879.22
1886.92/1892.02 c GLOBAL bounds - >= -15134132 @ 1882.62
1890.21/1895.33 c GLOBAL bounds - >= -15134132 @ 1885.91
1893.60/1898.71 c GLOBAL bounds - >= -15134132 @ 1889.28
1900.89/1906.09 c GLOBAL bounds - >= -15134132 @ 1896.64
1904.47/1909.61 c GLOBAL bounds - >= -15134132 @ 1900.14
1908.05/1913.24 c GLOBAL bounds - >= -15134132 @ 1903.76
1911.34/1916.54 c GLOBAL bounds - >= -15134132 @ 1907.05
1920.62/1925.89 c GLOBAL bounds - >= -15134132 @ 1916.37
1924.21/1929.42 c GLOBAL bounds - >= -15134132 @ 1919.89
1927.50/1932.72 c GLOBAL bounds - >= -15134132 @ 1923.18
1930.89/1936.16 c GLOBAL bounds - >= -15134132 @ 1926.61
1934.38/1939.60 c GLOBAL bounds - >= -15134132 @ 1930.03
1939.77/1945.07 c GLOBAL bounds - >= -15134132 @ 1935.48
1943.25/1948.53 c GLOBAL bounds - >= -15134132 @ 1938.93
1946.65/1951.92 c GLOBAL bounds - >= -15134132 @ 1942.31
1951.03/1956.31 c GLOBAL bounds - >= -15134132 @ 1946.68
1974.47/1979.89 c GLOBAL bounds - >= -15134132 @ 1970.13
1978.76/1984.11 c GLOBAL bounds - >= -15134132 @ 1974.31
1982.34/1987.77 c GLOBAL bounds - >= -15134132 @ 1977.96
1986.03/1991.41 c GLOBAL bounds - >= -15134132 @ 1981.57
1989.42/1994.82 c GLOBAL bounds - >= -15134132 @ 1984.97
1992.91/1998.31 c GLOBAL bounds - >= -15134132 @ 1988.44
1996.70/2002.17 c GLOBAL bounds - >= -15134132 @ 1992.29
2001.08/2006.54 c GLOBAL bounds - >= -15134132 @ 1996.63
2004.58/2010.05 c GLOBAL bounds - >= -15134132 @ 2000.13
2007.96/2013.47 c GLOBAL bounds - >= -15134132 @ 2003.53
2011.35/2016.87 c GLOBAL bounds - >= -15134132 @ 2006.92
2014.74/2020.28 c GLOBAL bounds - >= -15134132 @ 2010.31
2018.23/2023.78 c GLOBAL bounds - >= -15134132 @ 2013.79
2026.11/2031.65 c GLOBAL bounds - >= -15134132 @ 2021.63
2041.47/2047.09 c GLOBAL bounds - >= -15134132 @ 2036.72
2045.25/2050.89 c GLOBAL bounds - >= -15134132 @ 2040.48
2048.85/2054.42 c GLOBAL bounds - >= -15134132 @ 2043.99
2052.63/2058.27 c GLOBAL bounds - >= -15134132 @ 2047.82
2057.72/2063.35 c GLOBAL bounds - >= -15134132 @ 2052.87
2061.61/2067.21 c GLOBAL bounds - >= -15134132 @ 2056.71
2065.60/2071.27 c GLOBAL bounds - >= -15134132 @ 2060.74
2069.18/2074.84 c GLOBAL bounds - >= -15134132 @ 2064.29
2080.06/2085.76 c GLOBAL bounds - >= -15134132 @ 2075.18
2083.84/2089.54 c GLOBAL bounds - >= -15134132 @ 2078.94
2087.44/2093.15 c GLOBAL bounds - >= -15134132 @ 2082.52
2091.62/2097.32 c GLOBAL bounds - >= -15134132 @ 2086.67
2118.35/2124.11 c GLOBAL bounds - >= -15134132 @ 2113.35
2122.34/2128.15 c GLOBAL bounds - >= -15134132 @ 2117.35
2132.41/2138.20 c GLOBAL bounds - >= -15134132 @ 2127.35
2143.47/2149.33 c GLOBAL bounds - >= -15134132 @ 2138.44
2147.36/2153.21 c GLOBAL bounds - >= -15134132 @ 2142.28
2158.53/2164.45 c GLOBAL bounds - >= -15134132 @ 2153.49
2162.32/2168.25 c GLOBAL bounds - >= -15134132 @ 2157.27
2165.81/2171.76 c GLOBAL bounds - >= -15134132 @ 2160.77
2170.00/2175.92 c GLOBAL bounds - >= -15134132 @ 2164.9
2173.70/2179.67 c GLOBAL bounds - >= -15134132 @ 2168.63
2177.98/2183.90 c GLOBAL bounds - >= -15134132 @ 2172.85
2181.77/2187.73 c GLOBAL bounds - >= -15134132 @ 2176.67
2185.56/2191.55 c GLOBAL bounds - >= -15134132 @ 2180.46
2189.36/2195.35 c GLOBAL bounds - >= -15134132 @ 2184.24
2193.24/2199.27 c GLOBAL bounds - >= -15134132 @ 2188.14
2196.93/2202.99 c GLOBAL bounds - >= -15134132 @ 2191.85
2201.03/2207.01 c GLOBAL bounds - >= -15134132 @ 2195.85
2204.81/2210.83 c GLOBAL bounds - >= -15134132 @ 2199.65
2210.01/2216.03 c GLOBAL bounds - >= -15134132 @ 2204.8
2213.89/2219.91 c GLOBAL bounds - >= -15134132 @ 2208.66
2217.49/2223.59 c GLOBAL bounds - >= -15134132 @ 2212.32
2221.47/2227.56 c GLOBAL bounds - >= -15134132 @ 2216.27
2225.26/2231.37 c GLOBAL bounds - >= -15134132 @ 2220.06
2229.75/2235.80 c GLOBAL bounds - >= -15134132 @ 2224.47
2233.73/2239.82 c GLOBAL bounds - >= -15134132 @ 2228.47
2237.73/2243.80 c GLOBAL bounds - >= -15134132 @ 2232.41
2246.31/2252.42 c GLOBAL bounds - >= -15134132 @ 2240.99
2251.00/2257.10 c GLOBAL bounds - >= -15134132 @ 2245.66
2255.28/2261.41 c GLOBAL bounds - >= -15134132 @ 2249.95
2262.36/2268.56 c GLOBAL bounds - >= -15134132 @ 2257.05
2279.32/2285.51 c #Conflicts: 4000 | #Constraints: 432525
2279.32/2285.51 c GLOBAL bounds - >= -15134132 @ 2273.82
2286.30/2292.57 c GLOBAL bounds - >= -15134132 @ 2280.85
2294.98/2301.25 c GLOBAL bounds - >= -15134132 @ 2289.48
2302.95/2309.23 c GLOBAL bounds - >= -15134132 @ 2297.43
2308.54/2314.84 c GLOBAL bounds - >= -15134132 @ 2303.01
2313.03/2319.36 c GLOBAL bounds - >= -15134132 @ 2307.51
2326.00/2332.33 c GLOBAL bounds - >= -15134132 @ 2320.45
2331.19/2337.59 c GLOBAL bounds - >= -15134132 @ 2325.69
2335.97/2342.34 c GLOBAL bounds - >= -15134132 @ 2330.41
2340.46/2346.83 c GLOBAL bounds - >= -15134132 @ 2334.89
2345.15/2351.53 c GLOBAL bounds - >= -15134132 @ 2339.57
2349.64/2356.03 c GLOBAL bounds - >= -15134132 @ 2344.05
2354.02/2360.43 c GLOBAL bounds - >= -15134132 @ 2348.43
2358.41/2364.84 c GLOBAL bounds - >= -15134132 @ 2352.82
2362.80/2369.24 c GLOBAL bounds - >= -15134132 @ 2357.21
2367.38/2373.89 c GLOBAL bounds - >= -15134132 @ 2361.85
2371.98/2378.43 c GLOBAL bounds - >= -15134132 @ 2366.37
2376.46/2382.98 c GLOBAL bounds - >= -15134132 @ 2370.91
2381.35/2387.84 c GLOBAL bounds - >= -15134132 @ 2375.75
2385.93/2392.40 c GLOBAL bounds - >= -15134132 @ 2380.29
2390.53/2397.01 c GLOBAL bounds - >= -15134132 @ 2384.89
2394.91/2401.44 c GLOBAL bounds - >= -15134132 @ 2389.3
2399.30/2405.84 c GLOBAL bounds - >= -15134132 @ 2393.68
2403.69/2410.24 c GLOBAL bounds - >= -15134132 @ 2398.08
2408.38/2414.92 c GLOBAL bounds - >= -15134132 @ 2402.73
2414.96/2421.50 c GLOBAL bounds - >= -15134132 @ 2409.29
2420.05/2426.67 c GLOBAL bounds - >= -15134132 @ 2414.43
2425.14/2431.72 c GLOBAL bounds - >= -15134132 @ 2419.46
2429.72/2436.39 c GLOBAL bounds - >= -15134132 @ 2424.12
2443.29/2449.91 c GLOBAL bounds - >= -15134132 @ 2437.61
2448.38/2455.01 c GLOBAL bounds - >= -15134132 @ 2442.68
2453.86/2460.58 c GLOBAL bounds - >= -15134132 @ 2448.24
2459.54/2466.22 c GLOBAL bounds - >= -15134132 @ 2453.86
2464.24/2470.99 c GLOBAL bounds - >= -15134132 @ 2458.62
2468.92/2475.60 c GLOBAL bounds - >= -15134132 @ 2463.21
2473.41/2480.19 c GLOBAL bounds - >= -15134132 @ 2467.78
2479.79/2486.53 c GLOBAL bounds - >= -15134132 @ 2474.1
2505.22/2512.07 c INPROCESSING
2505.22/2512.07 c GARBAGE COLLECT
2505.22/2512.07 c GLOBAL bounds - >= -15134132 @ 2499.56
2508.91/2515.74 c GLOBAL bounds - >= -15134132 @ 2503.22
2511.60/2518.43 c GLOBAL bounds - >= -15134132 @ 2505.9
2514.50/2521.30 c GLOBAL bounds - >= -15134132 @ 2508.76
2517.30/2524.19 c GLOBAL bounds - >= -15134132 @ 2511.64
2520.19/2527.01 c GLOBAL bounds - >= -15134132 @ 2514.45
2523.18/2530.00 c GLOBAL bounds - >= -15134132 @ 2517.44
2525.76/2532.66 c GLOBAL bounds - >= -15134132 @ 2520.08
2528.56/2535.46 c GLOBAL bounds - >= -15134132 @ 2522.87
2533.05/2539.94 c GLOBAL bounds - >= -15134132 @ 2527.34
2541.83/2548.75 c GLOBAL bounds - >= -15134132 @ 2536.13
2544.82/2551.71 c GLOBAL bounds - >= -15134132 @ 2539.08
2547.52/2554.44 c GLOBAL bounds - >= -15134132 @ 2541.8
2550.21/2557.18 c GLOBAL bounds - >= -15134132 @ 2544.53
2552.90/2559.88 c GLOBAL bounds - >= -15134132 @ 2547.23
2555.59/2562.57 c GLOBAL bounds - >= -15134132 @ 2549.91
2558.38/2565.35 c GLOBAL bounds - >= -15134132 @ 2552.69
2561.67/2568.69 c GLOBAL bounds - >= -15134132 @ 2556.01
2564.47/2571.43 c GLOBAL bounds - >= -15134132 @ 2558.75
2605.26/2612.32 c GLOBAL bounds - >= -15134132 @ 2599.49
2608.46/2615.52 c GLOBAL bounds - >= -15134132 @ 2602.69
2611.85/2618.91 c GLOBAL bounds - >= -15134132 @ 2606.07
2615.15/2622.28 c GLOBAL bounds - >= -15134132 @ 2609.43
2623.03/2630.11 c GLOBAL bounds - >= -15134132 @ 2617.23
2625.92/2633.03 c GLOBAL bounds - >= -15134132 @ 2620.14
2635.19/2642.35 c GLOBAL bounds - >= -15134132 @ 2629.41
2638.19/2645.37 c GLOBAL bounds - >= -15134132 @ 2632.42
2641.08/2648.29 c GLOBAL bounds - >= -15134132 @ 2635.33
2645.37/2652.54 c GLOBAL bounds - >= -15134132 @ 2639.57
2649.06/2656.24 c GLOBAL bounds - >= -15134132 @ 2643.26
2659.33/2666.57 c GLOBAL bounds - >= -15134132 @ 2653.56
2663.63/2670.84 c GLOBAL bounds - >= -15134132 @ 2657.81
2676.39/2683.69 c GLOBAL bounds - >= -15134132 @ 2670.63
2679.98/2687.27 c GLOBAL bounds - >= -15134132 @ 2674.2
2683.07/2690.32 c GLOBAL bounds - >= -15134132 @ 2677.24
2686.66/2693.94 c GLOBAL bounds - >= -15134132 @ 2680.85
2690.86/2698.11 c GLOBAL bounds - >= -15134132 @ 2684.99
2694.24/2701.54 c GLOBAL bounds - >= -15134132 @ 2688.4
2697.44/2704.77 c GLOBAL bounds - >= -15134132 @ 2691.61
2700.83/2708.15 c GLOBAL bounds - >= -15134132 @ 2694.99
2704.01/2711.39 c GLOBAL bounds - >= -15134132 @ 2698.22
2707.90/2715.25 c GLOBAL bounds - >= -15134132 @ 2702.07
2711.39/2718.75 c GLOBAL bounds - >= -15134132 @ 2705.56
2715.38/2722.71 c GLOBAL bounds - >= -15134132 @ 2709.5
2721.27/2728.62 c GLOBAL bounds - >= -15134132 @ 2715.4
2724.66/2732.06 c GLOBAL bounds - >= -15134132 @ 2718.83
2728.16/2735.57 c GLOBAL bounds - >= -15134132 @ 2722.32
2731.25/2738.68 c GLOBAL bounds - >= -15134132 @ 2725.43
2734.34/2741.78 c GLOBAL bounds - >= -15134132 @ 2728.52
2737.53/2745.00 c GLOBAL bounds - >= -15134132 @ 2731.73
2741.02/2748.47 c GLOBAL bounds - >= -15134132 @ 2735.19
2744.72/2752.19 c GLOBAL bounds - >= -15134132 @ 2738.9
2748.00/2755.42 c GLOBAL bounds - >= -15134132 @ 2742.12
2751.40/2758.80 c GLOBAL bounds - >= -15134132 @ 2745.48
2754.79/2762.20 c GLOBAL bounds - >= -15134132 @ 2748.86
2758.08/2765.55 c GLOBAL bounds - >= -15134132 @ 2752.19
2765.26/2772.77 c GLOBAL bounds - >= -15134132 @ 2759.38
2795.59/2803.15 c GLOBAL bounds - >= -15134132 @ 2789.67
2799.58/2807.19 c GLOBAL bounds - >= -15134132 @ 2793.71
2803.36/2810.95 c GLOBAL bounds - >= -15134132 @ 2797.46
2807.15/2814.72 c GLOBAL bounds - >= -15134132 @ 2801.21
2811.44/2819.08 c GLOBAL bounds - >= -15134132 @ 2805.55
2815.13/2822.75 c GLOBAL bounds - >= -15134132 @ 2809.21
2836.38/2844.04 c GLOBAL bounds - >= -15134132 @ 2830.42
2845.25/2852.98 c GLOBAL bounds - >= -15134132 @ 2839.33
2849.24/2856.94 c GLOBAL bounds - >= -15134132 @ 2843.28
2853.63/2861.35 c GLOBAL bounds - >= -15134132 @ 2847.68
2857.62/2865.39 c GLOBAL bounds - >= -15134132 @ 2851.7
2862.41/2870.18 c GLOBAL bounds - >= -15134132 @ 2856.49
2867.30/2875.02 c GLOBAL bounds - >= -15134132 @ 2861.31
2871.39/2879.15 c GLOBAL bounds - >= -15134132 @ 2865.42
2875.47/2883.20 c GLOBAL bounds - >= -15134132 @ 2869.46
2879.97/2887.73 c GLOBAL bounds - >= -15134132 @ 2873.98
2883.95/2891.78 c GLOBAL bounds - >= -15134132 @ 2877.99
2888.04/2895.80 c GLOBAL bounds - >= -15134132 @ 2882
2895.82/2903.60 c GLOBAL bounds - >= -15134132 @ 2889.78
2908.99/2916.83 c GLOBAL bounds - >= -15134132 @ 2902.98
2912.97/2920.88 c GLOBAL bounds - >= -15134132 @ 2907.01
2916.96/2924.82 c GLOBAL bounds - >= -15134132 @ 2910.94
2920.75/2928.62 c GLOBAL bounds - >= -15134132 @ 2914.73
2924.34/2932.29 c GLOBAL bounds - >= -15134132 @ 2918.39
2928.34/2936.29 c GLOBAL bounds - >= -15134132 @ 2922.38
2932.32/2940.21 c GLOBAL bounds - >= -15134132 @ 2926.29
2936.51/2944.46 c GLOBAL bounds - >= -15134132 @ 2930.52
2940.50/2948.48 c GLOBAL bounds - >= -15134132 @ 2934.53
2944.39/2952.35 c GLOBAL bounds - >= -15134132 @ 2938.38
2948.49/2956.42 c GLOBAL bounds - >= -15134132 @ 2942.42
2952.37/2960.37 c GLOBAL bounds - >= -15134132 @ 2946.35
2956.17/2964.11 c GLOBAL bounds - >= -15134132 @ 2950.08
2962.15/2970.18 c GLOBAL bounds - >= -15134132 @ 2956.14
2967.04/2975.04 c GLOBAL bounds - >= -15134132 @ 2960.98
2971.43/2979.45 c GLOBAL bounds - >= -15134132 @ 2965.38
2977.21/2985.22 c GLOBAL bounds - >= -15134132 @ 2971.13
2981.70/2989.76 c GLOBAL bounds - >= -15134132 @ 2975.66
2986.19/2994.29 c GLOBAL bounds - >= -15134132 @ 2980.17
2992.77/3000.89 c GLOBAL bounds - >= -15134132 @ 2986.76
2996.96/3005.09 c GLOBAL bounds - >= -15134132 @ 2990.95
3005.43/3013.52 c GLOBAL bounds - >= -15134132 @ 2999.35
3009.52/3017.64 c GLOBAL bounds - >= -15134132 @ 3003.45
3013.41/3021.55 c GLOBAL bounds - >= -15134132 @ 3007.33
3105.69/3114.06 c #Conflicts: 5000 | #Constraints: 432201
3105.69/3114.06 c GLOBAL bounds - >= -15134132 @ 3099.58
3121.65/3130.05 c GLOBAL bounds - >= -15134132 @ 3115.52
3128.33/3136.77 c GLOBAL bounds - >= -15134132 @ 3122.22
3167.03/3175.57 c GLOBAL bounds - >= -15134132 @ 3160.89
3177.80/3186.39 c GLOBAL bounds - >= -15134132 @ 3171.68
3184.39/3192.99 c GLOBAL bounds - >= -15134132 @ 3178.26
3190.88/3199.47 c GLOBAL bounds - >= -15134132 @ 3184.73
3197.35/3205.92 c GLOBAL bounds - >= -15134132 @ 3191.14
3202.15/3210.74 c GLOBAL bounds - >= -15134132 @ 3195.94
3207.23/3215.83 c GLOBAL bounds - >= -15134132 @ 3201.02
3211.82/3220.47 c GLOBAL bounds - >= -15134132 @ 3205.64
3216.51/3225.19 c GLOBAL bounds - >= -15134132 @ 3210.35
3221.89/3230.56 c GLOBAL bounds - >= -15134132 @ 3215.7
3226.58/3235.23 c GLOBAL bounds - >= -15134132 @ 3220.36
3232.16/3240.85 c GLOBAL bounds - >= -15134132 @ 3225.96
3236.85/3245.54 c GLOBAL bounds - >= -15134132 @ 3230.64
3241.74/3250.40 c GLOBAL bounds - >= -15134132 @ 3235.49
3246.44/3255.17 c GLOBAL bounds - >= -15134132 @ 3240.24
3254.31/3263.05 c GLOBAL bounds - >= -15134132 @ 3248.1
3260.19/3268.98 c GLOBAL bounds - >= -15134132 @ 3254.01
3267.67/3276.49 c GLOBAL bounds - >= -15134132 @ 3261.5
3282.24/3291.04 c GLOBAL bounds - >= -15134132 @ 3276.01
3287.33/3296.17 c GLOBAL bounds - >= -15134132 @ 3281.12
3292.11/3300.92 c GLOBAL bounds - >= -15134132 @ 3285.87
3297.10/3305.95 c GLOBAL bounds - >= -15134132 @ 3290.88
3301.89/3310.77 c GLOBAL bounds - >= -15134132 @ 3295.68
3306.98/3315.80 c GLOBAL bounds - >= -15134132 @ 3300.68
3312.26/3321.11 c GLOBAL bounds - >= -15134132 @ 3305.96
3317.04/3325.97 c GLOBAL bounds - >= -15134132 @ 3310.81
3322.14/3331.02 c GLOBAL bounds - >= -15134132 @ 3315.85
3327.02/3335.99 c GLOBAL bounds - >= -15134132 @ 3320.8
3333.01/3341.99 c GLOBAL bounds - >= -15134132 @ 3326.79
3337.99/3346.92 c GLOBAL bounds - >= -15134132 @ 3331.7
3343.68/3352.60 c GLOBAL bounds - >= -15134132 @ 3337.36
3348.96/3357.96 c GLOBAL bounds - >= -15134132 @ 3342.71
3361.43/3370.42 c GLOBAL bounds - >= -15134132 @ 3355.13
3371.30/3380.39 c GLOBAL bounds - >= -15134132 @ 3365.05
3377.19/3386.21 c GLOBAL bounds - >= -15134132 @ 3370.84
3382.67/3391.72 c GLOBAL bounds - >= -15134132 @ 3376.33
3387.76/3396.89 c GLOBAL bounds - >= -15134132 @ 3381.49
3392.74/3401.81 c GLOBAL bounds - >= -15134132 @ 3386.39
3397.84/3406.93 c GLOBAL bounds - >= -15134132 @ 3391.49
3403.32/3412.49 c GLOBAL bounds - >= -15134132 @ 3397.04
3410.11/3419.29 c GLOBAL bounds - >= -15134132 @ 3403.82
3421.68/3430.88 c GLOBAL bounds - >= -15134132 @ 3415.38
3427.16/3436.36 c GLOBAL bounds - >= -15134132 @ 3420.85
3439.94/3449.16 c GLOBAL bounds - >= -15134132 @ 3433.58
3446.22/3455.42 c GLOBAL bounds - >= -15134132 @ 3439.83
3451.20/3460.40 c GLOBAL bounds - >= -15134132 @ 3444.79
3456.08/3465.35 c GLOBAL bounds - >= -15134132 @ 3449.72
3469.05/3478.30 c GLOBAL bounds - >= -15134132 @ 3462.62
3474.54/3483.84 c GLOBAL bounds - >= -15134132 @ 3468.14
3479.93/3489.24 c GLOBAL bounds - >= -15134132 @ 3473.52
3493.39/3502.76 c GLOBAL bounds - >= -15134132 @ 3487
3499.27/3508.64 c GLOBAL bounds - >= -15134132 @ 3492.86
3505.06/3514.40 c GLOBAL bounds - >= -15134132 @ 3498.59
3510.34/3519.77 c GLOBAL bounds - >= -15134132 @ 3503.93
3588.75/3598.38 c GLOBAL bounds - >= -15134132 @ 3582.29
3594.44/3604.01 c GLOBAL bounds - >= -15134132 @ 3587.91
3599.53/3609.19 c GLOBAL bounds - >= -15134132 @ 3593.07
3600.02/3609.64 c cpu time 3593.52 s
3600.02/3609.64 c deterministic time 2 2.00e+00
3600.02/3609.64 c optimization time 3592.14 s
3600.02/3609.64 c total solve time 0 s
3600.02/3609.64 c core-guided solve time 0 s
3600.02/3609.64 c propagation time 0.133767 s
3600.02/3609.64 c conflict analysis time 0 s
3600.02/3609.64 c propagations 1
3600.02/3609.64 c resolve steps 0
3600.02/3609.64 c decisions 0
3600.02/3609.64 c conflicts 0
3600.02/3609.64 c restarts 0
3600.02/3609.64 c inprocessing phases 0
3600.02/3609.64 c garbage collections 0 ,( -nan )
3600.02/3609.64 c input clauses 281927 ,( 65.75 )
3600.02/3609.64 c input cardinalities 0 ,( 0.00 )
3600.02/3609.64 c input general constraints 146876 ,( 34.25 )
3600.02/3609.64 c input average constraint length 3.00
3600.02/3609.64 c input average constraint degree 1.34
3600.02/3609.64 c learned clauses 0 ,( 0.00 )
3600.02/3609.64 c learned cardinalities 0 ,( 0.00 )
3600.02/3609.64 c learned general constraints 0 ,( 0.00 )
3600.02/3609.64 c learned average constraint length 0.00
3600.02/3609.64 c learned average constraint degree 0.00
3600.02/3609.64 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.64 c counting CF 32, 64, 128, Arb: 146877 , 0 , 0 , 0
3600.02/3609.64 c watched constraints 0 ,( 0.00 )
3600.02/3609.64 c counting constraints 146876 ,( 100.00 )
3600.02/3609.64 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.64 c gcd simplifications 0
3600.02/3609.64 c detected cardinalities 0
3600.02/3609.64 c weakened non-implied lits 0
3600.02/3609.64 c weakened non-implying lits 0
3600.02/3609.64 c original variables 149652
3600.02/3609.64 c clausal propagations 0
3600.02/3609.64 c cardinality propagations 0
3600.02/3609.64 c watched propagations 0
3600.02/3609.64 c counting propagations 0
3600.02/3609.64 c watch lookups 0
3600.02/3609.64 c watch backjump lookups 0
3600.02/3609.64 c watch checks 0
3600.02/3609.64 c propagation checks 0
3600.02/3609.64 c constraint additions 0
3600.02/3609.64 c trail pops 0
3600.02/3609.64 c formula constraints 428803
3600.02/3609.64 c learned constraints 0
3600.02/3609.64 c bound constraints 0
3600.02/3609.64 c core-guided constraints 0
3600.02/3609.64 c encountered formula constraints 0
3600.02/3609.64 c encountered learned constraints 0
3600.02/3609.64 c encountered bound constraints 0
3600.02/3609.64 c encountered core-guided constraints 0
3600.02/3609.64 c LP total time 0 s
3600.02/3609.64 c LP solve time 0 s
3600.02/3609.64 c LP constraints added 0
3600.02/3609.64 c LP constraints removed 0
3600.02/3609.64 c LP pivots internal 0
3600.02/3609.64 c LP pivots root 0
3600.02/3609.64 c LP calls 0
3600.02/3609.64 c LP optimalities 0
3600.02/3609.64 c LP no pivot count 0
3600.02/3609.64 c LP infeasibilities 0
3600.02/3609.64 c LP valid Farkas constraints 0
3600.02/3609.64 c LP learned Farkas constraints 0
3600.02/3609.64 c LP basis resets 0
3600.02/3609.64 c LP cycling count 0
3600.02/3609.64 c LP singular count 0
3600.02/3609.64 c LP no primal count 0
3600.02/3609.64 c LP no farkas count 0
3600.02/3609.64 c LP other issue count 0
3600.02/3609.64 c LP Gomory cuts 0
3600.02/3609.64 c LP learned cuts 0
3600.02/3609.64 c LP deleted cuts 0
3600.02/3609.64 c LP encountered Gomory constraints 0
3600.02/3609.64 c LP encountered Farkas constraints 0
3600.02/3609.64 c LP encountered learned Farkas constraints 0
3600.02/3609.64 c CG auxiliary variables introduced 0
3600.02/3609.64 c CG solutions found 0
3600.02/3609.64 c CG cores constructed 0
3600.02/3609.64 c CG core cardinality constraints returned 0
3600.02/3609.64 c CG unit cores 0
3600.02/3609.64 c CG single cores 0
3600.02/3609.64 c CG blocks removed during cardinality reduction 0
3600.02/3609.64 c CG first core best 0
3600.02/3609.64 c CG decision core best 0
3600.02/3609.64 c CG core reduction tie 0
3600.02/3609.64 c CG core degree average 0.00
3600.02/3609.64 c CG core slack average 0.00
3600.02/3609.64 c CG core upper bound improvements 0
3600.02/3609.64 c STR number of successful calls 0
3600.02/3609.64 c STR number of unsuccessful calls 0
3600.02/3609.64 c STR number of inconclusive calls 0
3600.02/3609.64 c STR number of successful attempts 0
3600.02/3609.64 c STR number of unsuccessful attempts 0
3600.02/3609.64 c STR number of inconclusive attempts 0
3600.02/3609.64 c STR average degree increase per successful call inf
3600.02/3609.64 c STR average degree increase per successful attempt inf
3600.02/3609.64 c STR total number of conflicts for successful attempts 0
3600.02/3609.64 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.64 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.64 c STR average number of conflicts per successful attempt inf
3600.02/3609.64 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.64 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.64 c AVG.sumWPerc 100.00
3600.02/3609.64 c bigint constraints 0
3600.02/3609.64 s UNKNOWN
3600.02/3609.64 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 (62112 MiB free)
memory of node 1: 64465 MiB (57323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508826-1751517745/watcher-4508826-1751517745 -o /tmp/evaluation-result-4508826-1751517745/solver-4508826-1751517745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81228 --watchdog 3760 run-opt.sh HOME/instance-4508826-1751517745.opb
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 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=82434, runsolver pid=82431
[startup+0.10006 s]*
/proc/loadavg: 4.11 4.12 4.11 5/268 82436
/proc/meminfo: memFree=122248140/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=88952 memory=42092 CPUtime=0.08 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 8123 0 0 0 5 3 0 0 20 0 1 0 67453269 91086848 10523 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 22238 10523 1888 1147 0 9665 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93144 KiB
Current children cumulated memory: 45036 KiB
[startup+0.205625 s]*
/proc/loadavg: 4.11 4.12 4.11 5/268 82436
/proc/meminfo: memFree=122248192/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=90396 memory=47392 CPUtime=0.19 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 8931 0 0 0 13 6 0 0 20 0 1 0 67453269 92565504 11848 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 22599 11848 1888 1147 0 10026 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94588 KiB
Current children cumulated memory: 50336 KiB
[startup+0.305539 s]*
/proc/loadavg: 4.11 4.12 4.11 5/268 82436
/proc/meminfo: memFree=122248192/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=93580 memory=50336 CPUtime=0.29 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 9685 0 0 0 20 9 0 0 20 0 1 0 67453269 95825920 12584 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 23395 12584 1888 1147 0 10822 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 53280 KiB
[startup+0.700182 s]
/proc/loadavg: 4.11 4.12 4.11 5/268 82436
/proc/meminfo: memFree=122246428/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=118596 memory=69340 CPUtime=0.67 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 14176 0 0 0 47 20 0 0 20 0 1 0 67453269 121442304 17335 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 29649 17335 1920 1147 0 17076 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122788 KiB
Current children cumulated memory: 72284 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.12 4.11 5/268 82436
/proc/meminfo: memFree=122208248/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=341284 memory=253908 CPUtime=1.47 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 27236 0 0 0 107 40 0 0 20 0 1 0 67453269 349474816 63477 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 85321 63477 2272 1147 0 72748 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 345476 KiB
Current children cumulated memory: 256852 KiB
[startup+3.10543 s]
/proc/loadavg: 4.10 4.12 4.11 5/268 82436
/proc/meminfo: memFree=121569400/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=826648 memory=725608 CPUtime=3.07 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 96365 0 0 0 222 85 0 0 20 0 1 0 67453269 846487552 181402 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 206662 181402 2336 1147 0 194089 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 830840 KiB
Current children cumulated memory: 728552 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.12 4.11 5/268 82436
/proc/meminfo: memFree=121553080/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=845616 memory=738064 CPUtime=6.25 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 96933 0 0 0 540 85 0 0 20 0 1 0 67453269 865910784 184516 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 211404 184516 2336 1147 0 198831 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 849808 KiB
Current children cumulated memory: 741008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.11 5/268 82436
/proc/meminfo: memFree=121531972/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=876436 memory=750620 CPUtime=12.64 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 97559 0 0 0 1178 86 0 0 20 0 1 0 67453269 897470464 187655 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 219109 187655 2336 1147 0 206536 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 880628 KiB
Current children cumulated memory: 753564 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.12 5/268 82436
/proc/meminfo: memFree=121491276/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=876436 memory=777244 CPUtime=25.4 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 97573 0 0 0 2454 86 0 0 20 0 1 0 67453269 897470464 194311 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 219109 194311 2336 1147 0 206536 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 880628 KiB
Current children cumulated memory: 780188 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.12 4.11 5/268 82437
/proc/meminfo: memFree=121401964/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=1028596 memory=857660 CPUtime=50.94 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 104392 0 0 0 5003 91 0 0 20 0 1 0 67453269 1053282304 214415 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 257149 214415 2336 1147 0 244576 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1032788 KiB
Current children cumulated memory: 860604 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/268 82441
/proc/meminfo: memFree=120949880/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=1569672 memory=1291472 CPUtime=102 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 154102 0 0 0 10062 138 0 0 20 0 1 0 67453269 1607344128 322868 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 392418 322868 2336 1147 0 379845 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1573864 KiB
Current children cumulated memory: 1294416 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/269 82448
/proc/meminfo: memFree=120426000/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=2377696 memory=1961472 CPUtime=161.84 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 268499 0 0 0 16019 165 0 0 20 0 1 0 67453269 2434760704 490368 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 594424 490368 2336 1147 0 581851 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2381888 KiB
Current children cumulated memory: 1964416 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/267 82450
/proc/meminfo: memFree=120223916/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=2385248 memory=2010240 CPUtime=221.71 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 270600 0 0 0 22004 167 0 0 20 0 1 0 67453269 2442493952 502560 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 596312 502560 2336 1147 0 583739 0
################
# More data... #
################
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9580528 CPUtime=3094.02 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1680323 0 0 0 308784 618 0 0 20 0 1 0 67453269 12475465728 2395132 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2395132 2336 1147 0 3033195 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9583472 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 82696
/proc/meminfo: memFree=119070944/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9580528 CPUtime=3153.87 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1681131 0 0 0 314765 622 0 0 20 0 1 0 67453269 12475465728 2395132 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2395132 2336 1147 0 3033195 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9583472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/269 82698
/proc/meminfo: memFree=119042004/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9580656 CPUtime=3213.71 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1682062 0 0 0 320745 626 0 0 20 0 1 0 67453269 12475465728 2395164 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2395164 2336 1147 0 3033195 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9583600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/269 82699
/proc/meminfo: memFree=119015592/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9581168 CPUtime=3273.56 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1682228 0 0 0 326729 627 0 0 20 0 1 0 67453269 12475465728 2395292 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2395292 2336 1147 0 3033195 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9584112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/269 82701
/proc/meminfo: memFree=119013024/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9583216 CPUtime=3333.4 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1683604 0 0 0 332708 632 0 0 20 0 1 0 67453269 12475465728 2395804 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2395804 2336 1147 0 3033195 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9586160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/268 82703
/proc/meminfo: memFree=119001196/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9589744 CPUtime=3393.24 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1686219 0 0 0 338687 637 0 0 20 0 1 0 67453269 12475465728 2397436 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2397436 2336 1147 0 3033195 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9592688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 82705
/proc/meminfo: memFree=118980452/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9599708 CPUtime=3453.09 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1689080 0 0 0 344667 642 0 0 20 0 1 0 67453269 12475465728 2399927 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2399927 2336 1147 0 3033195 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9602652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 82708
/proc/meminfo: memFree=118874508/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9705388 CPUtime=3512.93 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1695957 0 0 0 350643 650 0 0 20 0 1 0 67453269 12475465728 2426347 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2426347 2336 1147 0 3033195 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9708332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 82710
/proc/meminfo: memFree=118838336/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9732348 CPUtime=3572.79 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1697559 0 0 0 356627 652 0 0 20 0 1 0 67453269 12475465728 2433087 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2433087 2336 1147 0 3033195 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9735292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.13 4.12 4.09 4/262 82719
/proc/meminfo: memFree=118953812/131249992 swapFree=33010160/33010684
[pid=82434] ppid=82431 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/82434/stat : 82434 (run-opt.sh) S 82431 82434 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67453268 4292608 736 18446744073709551615 93902882795520 93902883690053 140736128629552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93902883929104 93902883976848 93902891319296 140736128633197 140736128633320 140736128633320 140736128638922 0
/proc/82434/statm: 1048 736 672 219 0 110 0
[pid=82436] ppid=82434 vsize=12183072 memory=9747472 CPUtime=3600.02 cores=4,6
/proc/82436/stat : 82436 (roundingsat) R 82434 82434 81217 0 -1 4194304 1699514 0 0 0 359347 655 0 0 20 0 1 0 67453269 12475465728 2436868 18446744073709551615 4227072 8923433 140732466717056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33742848 140732466719138 140732466719272 140732466719272 140732466724842 0
/proc/82436/statm: 3045768 2436868 2336 1147 0 3033195 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 12187264 KiB
Current children cumulated memory: 9750416 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 82434 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001167 s, system=0.001175 s
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 82436 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.65 s, system=6.80539 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+3610 s]*
/proc/loadavg: 4.13 4.12 4.09 4/259 82742
/proc/meminfo: memFree=128342332/131249992 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002342 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.45
CPU user time (s): 3593.65
CPU system time (s): 6.80539
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 12187264
Max. memory (cumulated for all children) (KiB): 9750416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.65
system time used= 6.80539
maximum resident set size= 9747728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1699898
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= 174
involuntary context switches= 21853
# summary of solver processes directly reported to runsolver:
# pid: 82434,82436
# total CPU time (s): 3600.45
# total CPU user time (s): 3593.65
# total CPU system time (s): 6.80539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96296 second user time and 16.5185 second system time
The end
Begin job on nodeC025 at 2025-07-03 06:42:25
IDJOB=4508826
IDBENCH=158475
IDSOLVER=3350
FILE ID=nodeC025/4508826-1751517745
RUNJOBID= nodeC025-1751510521-81228
SLURM_JOB_ID= 9598611
Free space on /tmp= 432928 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508826-1751517745/watcher-4508826-1751517745 -o /tmp/evaluation-result-4508826-1751517745/solver-4508826-1751517745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81228 --watchdog 3760 run-opt.sh HOME/instance-4508826-1751517745.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ba8cfc0a45dfa41539851263c680a3e
RANDOM SEED=2082750160
nodeC025 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 : 3599.840
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 : 6999.67
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.797
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 : 6999.67
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 : 3596.930
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 : 6999.67
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 : 3603.343
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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 : 6999.67
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 : 3599.829
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 : 6999.67
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 : 3602.413
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.315
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 122302264 kB
MemAvailable: 122798612 kB
Buffers: 2128 kB
Cached: 1288176 kB
SwapCached: 200 kB
Active: 7293240 kB
Inactive: 1041600 kB
Active(anon): 7040768 kB
Inactive(anon): 21624 kB
Active(file): 252472 kB
Inactive(file): 1019976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30788 kB
Writeback: 28 kB
AnonPages: 7036760 kB
Mapped: 116452 kB
Shmem: 17856 kB
KReclaimable: 126280 kB
Slab: 215488 kB
SReclaimable: 126280 kB
SUnreclaim: 89208 kB
KernelStack: 4288 kB
PageTables: 18624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 8831880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1929216 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC025 at 2025-07-03 07:42:35