Trace number 4505616

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-SCIP 2025-06-09? (TO) 3600.12 3609.57

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
MD5SUM80f0935d0a86591f889a9638d17fdf07
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-370567
Best CPU time to get the best result obtained on this benchmark7882.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 94230312
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 94230312
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c initialize IPBHS solver
0.00/0.01	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "scip"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.28/0.36	c limit for coefficient in constraints and objective to 1000000000
0.28/0.36	c will solve HOME/instance-4505616-1751460911.opb
0.28/0.36	c [0.03] will start solving
9.24/9.34	c [1.11] solve iteration 1, LB=-94230312, UB=1
9.24/9.34	c [2.69] solve iteration 2, LB=-451747, UB=0
9.24/9.34	c [3.98] solve iteration 3, LB=-451747, UB=-105279
9.24/9.34	c [5.38] solve iteration 4, LB=-451747, UB=-149063
9.24/9.34	c [6.89] solve iteration 5, LB=-451747, UB=-149063
9.24/9.34	c [8.48] solve iteration 6, LB=-451747, UB=-149063
206.13/206.79	c [204.99] solve iteration 7, LB=-451747, UB=-149063
209.62/210.26	c [206.71] solve iteration 8, LB=-451747, UB=-149063
209.62/210.26	c [208.35] solve iteration 9, LB=-451747, UB=-149063
213.00/213.68	c [210.13] solve iteration 10, LB=-451747, UB=-149063
213.00/213.68	c [211.87] solve iteration 11, LB=-451747, UB=-149063
404.44/405.59	c [402.8] solve iteration 12, LB=-451747, UB=-149063
406.23/407.30	c [404.45] solve iteration 13, LB=-451747, UB=-149063
407.94/409.01	c [406.18] solve iteration 14, LB=-451747, UB=-149063
550.90/552.34	c [407.66] solve iteration 15, LB=-451747, UB=-149063
550.90/552.34	c [409.29] solve iteration 16, LB=-451747, UB=-149063
550.90/552.34	c [547.45] solve iteration 17, LB=-451747, UB=-149063
550.90/552.34	c [548.9] solve iteration 18, LB=-451747, UB=-149063
552.60/554.07	c [550.61] solve iteration 19, LB=-451747, UB=-149063
554.39/555.82	c [552.4] solve iteration 20, LB=-451747, UB=-149063
699.48/701.27	c [554.33] solve iteration 21, LB=-451747, UB=-149063
699.48/701.27	c [697.32] solve iteration 22, LB=-451747, UB=-149063
701.38/703.17	c [699.17] solve iteration 23, LB=-451747, UB=-149063
702.98/704.70	c [700.78] solve iteration 24, LB=-451747, UB=-149063
762.54/764.41	c [702.57] solve iteration 25, LB=-451747, UB=-149063
762.54/764.41	c [704.36] solve iteration 26, LB=-451747, UB=-149063
762.54/764.41	c [756.76] solve iteration 27, LB=-451747, UB=-149207
762.54/764.41	c [758.32] solve iteration 28, LB=-451747, UB=-149207
762.54/764.41	c [760.09] solve iteration 29, LB=-451747, UB=-149207
764.43/766.37	c [762.02] solve iteration 30, LB=-451747, UB=-149207
766.53/768.48	c [764.16] solve iteration 31, LB=-451747, UB=-149207
773.22/775.19	c [770.77] solve iteration 32, LB=-451747, UB=-151791
799.23/801.25	c [772.76] solve iteration 33, LB=-451747, UB=-151791
799.23/801.25	c [774.87] solve iteration 34, LB=-451747, UB=-151791
799.23/801.25	c [776.81] solve iteration 35, LB=-451747, UB=-151791
799.23/801.25	c [778.85] solve iteration 36, LB=-451747, UB=-151791
799.23/801.25	c [794.63] solve iteration 37, LB=-451747, UB=-153388
799.23/801.25	c [796.69] solve iteration 38, LB=-451747, UB=-153388
801.23/803.29	c [798.75] solve iteration 39, LB=-451747, UB=-153388
803.32/805.33	c [800.73] solve iteration 40, LB=-451747, UB=-153388
943.49/945.86	c [803.03] solve iteration 41, LB=-451747, UB=-153388
943.49/945.86	c [932.88] solve iteration 42, LB=-451747, UB=-153477
943.49/945.86	c [934.71] solve iteration 43, LB=-451747, UB=-153477
943.49/945.86	c [936.71] solve iteration 44, LB=-451747, UB=-153477
943.49/945.86	c [938.68] solve iteration 45, LB=-451747, UB=-153477
943.49/945.86	c [940.83] solve iteration 46, LB=-451747, UB=-153477
957.36/959.72	c [948.14] solve iteration 47, LB=-451747, UB=-153511
957.36/959.72	c [950.24] solve iteration 48, LB=-451747, UB=-153511
957.36/959.72	c [952.44] solve iteration 49, LB=-451747, UB=-153511
957.36/959.72	c [954.57] solve iteration 50, LB=-451747, UB=-153511
972.81/975.20	c [956.53] solve iteration 51, LB=-451747, UB=-153511
972.81/975.20	c [969.96] solve iteration 52, LB=-451747, UB=-153532
975.10/977.57	c [972.23] solve iteration 53, LB=-451747, UB=-153532
977.20/979.65	c [974.37] solve iteration 54, LB=-451747, UB=-153532
979.39/981.84	c [976.45] solve iteration 55, LB=-451747, UB=-153532
995.56/998.01	c [978.62] solve iteration 56, LB=-451747, UB=-153532
995.56/998.01	c [992.59] solve iteration 57, LB=-451747, UB=-153765
998.24/1000.70	c [995.24] solve iteration 58, LB=-451747, UB=-153765
1002.63/1005.13	c [997.58] solve iteration 59, LB=-451747, UB=-153765
1002.63/1005.13	c [999.72] solve iteration 60, LB=-451747, UB=-153765
1004.73/1007.20	c [1001.8] solve iteration 61, LB=-451747, UB=-153765
1007.22/1009.80	c [1004.36] solve iteration 62, LB=-451747, UB=-153854
1009.61/1012.18	c [1006.72] solve iteration 63, LB=-451747, UB=-153854
1020.68/1023.29	c [1008.97] solve iteration 64, LB=-451747, UB=-153854
1020.68/1023.29	c [1011.23] solve iteration 65, LB=-451747, UB=-153854
1020.68/1023.29	c [1013.55] solve iteration 66, LB=-451747, UB=-153854
1020.68/1023.29	c [1017.61] solve iteration 67, LB=-451747, UB=-153855
1028.24/1030.82	c [1020.1] solve iteration 68, LB=-451747, UB=-153855
1028.24/1030.82	c [1022.36] solve iteration 69, LB=-451747, UB=-153855
1028.24/1030.82	c [1025.23] solve iteration 70, LB=-451747, UB=-153855
1039.42/1042.06	c [1027.87] solve iteration 71, LB=-451747, UB=-153855
1039.42/1042.06	c [1031.33] solve iteration 72, LB=-451747, UB=-153863
1039.42/1042.06	c [1033.68] solve iteration 73, LB=-451747, UB=-153863
1039.42/1042.06	c [1036.22] solve iteration 74, LB=-451747, UB=-153863
1042.01/1044.68	c [1038.94] solve iteration 75, LB=-451747, UB=-153863
1044.50/1047.17	c [1041.49] solve iteration 76, LB=-451747, UB=-153863
1058.26/1060.92	c [1047.65] solve iteration 77, LB=-451747, UB=-153865
1058.26/1060.92	c [1050.07] solve iteration 78, LB=-451747, UB=-153865
1058.26/1060.92	c [1052.41] solve iteration 79, LB=-451747, UB=-153865
1058.26/1060.92	c [1055.06] solve iteration 80, LB=-451747, UB=-153865
1065.74/1068.41	c [1057.42] solve iteration 81, LB=-451747, UB=-153865
1065.74/1068.41	c [1062.5] solve iteration 82, LB=-451747, UB=-153899
1068.33/1071.08	c [1065.22] solve iteration 83, LB=-451747, UB=-153899
1073.41/1076.16	c [1067.79] solve iteration 84, LB=-451747, UB=-153899
1073.41/1076.16	c [1070.25] solve iteration 85, LB=-451747, UB=-153899
1087.16/1089.96	c [1072.72] solve iteration 86, LB=-451747, UB=-153899
1087.16/1089.96	c [1076.27] solve iteration 87, LB=-451747, UB=-153904
1087.16/1089.96	c [1078.71] solve iteration 88, LB=-451747, UB=-153904
1087.16/1089.96	c [1081.28] solve iteration 89, LB=-451747, UB=-153904
1087.16/1089.96	c [1083.93] solve iteration 90, LB=-451747, UB=-153904
1095.84/1098.66	c [1086.41] solve iteration 91, LB=-451747, UB=-153904
1095.84/1098.66	c [1089.9] solve iteration 92, LB=-451747, UB=-153956
1095.84/1098.66	c [1092.52] solve iteration 93, LB=-451747, UB=-153956
1118.17/1121.02	c [1095.1] solve iteration 94, LB=-451747, UB=-153956
1118.17/1121.02	c [1097.65] solve iteration 95, LB=-451747, UB=-153956
1118.17/1121.02	c [1100.21] solve iteration 96, LB=-451747, UB=-153956
1118.17/1121.02	c [1104.12] solve iteration 97, LB=-451747, UB=-153990
1118.17/1121.02	c [1106.88] solve iteration 98, LB=-451747, UB=-153990
1118.17/1121.02	c [1109.3] solve iteration 99, LB=-451747, UB=-153990
1118.17/1121.02	c [1111.87] solve iteration 100, LB=-451747, UB=-153990
1118.17/1121.02	c [1114.67] solve iteration 101, LB=-451747, UB=-153990
1132.82/1135.74	c [1118.39] solve iteration 102, LB=-451747, UB=-154011
1132.82/1135.74	c [1121.13] solve iteration 103, LB=-451747, UB=-154011
1132.82/1135.74	c [1123.87] solve iteration 104, LB=-451747, UB=-154011
1132.82/1135.74	c [1126.54] solve iteration 105, LB=-451747, UB=-154011
1132.82/1135.74	c [1129.46] solve iteration 106, LB=-451747, UB=-154011
1135.82/1138.77	c [1132.43] solve iteration 107, LB=-451747, UB=-154014
1151.57/1154.56	c [1134.92] solve iteration 108, LB=-451747, UB=-154014
1151.57/1154.56	c [1137.36] solve iteration 109, LB=-451747, UB=-154014
1151.57/1154.56	c [1139.99] solve iteration 110, LB=-451747, UB=-154014
1151.57/1154.56	c [1142.73] solve iteration 111, LB=-451747, UB=-154014
1151.57/1154.56	c [1145.67] solve iteration 112, LB=-451747, UB=-154066
1151.57/1154.56	c [1148.17] solve iteration 113, LB=-451747, UB=-154066
1159.75/1162.71	c [1150.85] solve iteration 114, LB=-451747, UB=-154066
1159.75/1162.71	c [1153.48] solve iteration 115, LB=-451747, UB=-154066
1159.75/1162.71	c [1156.17] solve iteration 116, LB=-451747, UB=-154066
1167.22/1170.25	c [1160.62] solve iteration 117, LB=-451747, UB=-154069
1167.22/1170.25	c [1163.72] solve iteration 118, LB=-451747, UB=-154069
1185.37/1188.49	c [1166.39] solve iteration 119, LB=-451747, UB=-154069
1185.37/1188.49	c [1169.18] solve iteration 120, LB=-451747, UB=-154069
1185.37/1188.49	c [1171.96] solve iteration 121, LB=-451747, UB=-154069
1185.37/1188.49	c [1175.89] solve iteration 122, LB=-451747, UB=-154121
1185.37/1188.49	c [1178.9] solve iteration 123, LB=-451747, UB=-154121
1185.37/1188.49	c [1181.88] solve iteration 124, LB=-451747, UB=-154121
1191.35/1194.40	c [1184.68] solve iteration 125, LB=-451747, UB=-154121
1191.35/1194.40	c [1187.83] solve iteration 126, LB=-451747, UB=-154121
1199.22/1202.32	c [1192.45] solve iteration 127, LB=-451747, UB=-154163
1199.22/1202.32	c [1195.6] solve iteration 128, LB=-451747, UB=-154163
1202.02/1205.15	c [1198.35] solve iteration 129, LB=-451747, UB=-154163
1216.38/1219.53	c [1201.35] solve iteration 130, LB=-451747, UB=-154163
1216.38/1219.53	c [1204.23] solve iteration 131, LB=-451747, UB=-154163
1216.38/1219.53	c [1212.8] solve iteration 132, LB=-451747, UB=-154197
1234.83/1238.01	c [1215.58] solve iteration 133, LB=-451747, UB=-154197
1234.83/1238.01	c [1218.37] solve iteration 134, LB=-451747, UB=-154197
1234.83/1238.01	c [1221.53] solve iteration 135, LB=-451747, UB=-154197
1234.83/1238.01	c [1224.66] solve iteration 136, LB=-451747, UB=-154197
1234.83/1238.01	c [1227.92] solve iteration 137, LB=-451747, UB=-154231
1234.83/1238.01	c [1231.1] solve iteration 138, LB=-451747, UB=-154231
1244.09/1247.33	c [1234.15] solve iteration 139, LB=-451747, UB=-154231
1244.09/1247.33	c [1237.31] solve iteration 140, LB=-451747, UB=-154231
1244.09/1247.33	c [1240.41] solve iteration 141, LB=-451747, UB=-154231
1257.26/1260.53	c [1253.47] solve iteration 142, LB=-451747, UB=-154252
1266.74/1270.07	c [1256.73] solve iteration 143, LB=-451747, UB=-154252
1266.74/1270.07	c [1259.69] solve iteration 144, LB=-451747, UB=-154252
1266.74/1270.07	c [1262.77] solve iteration 145, LB=-451747, UB=-154252
1285.48/1288.87	c [1265.95] solve iteration 146, LB=-451747, UB=-154252
1285.48/1288.87	c [1274.97] solve iteration 147, LB=-451747, UB=-154265
1285.48/1288.87	c [1278.27] solve iteration 148, LB=-451747, UB=-154265
1285.48/1288.87	c [1281.6] solve iteration 149, LB=-451747, UB=-154265
1288.87/1292.22	c [1285.03] solve iteration 150, LB=-451747, UB=-154265
1299.64/1303.10	c [1288.23] solve iteration 151, LB=-451747, UB=-154265
1299.64/1303.10	c [1292.7] solve iteration 152, LB=-451747, UB=-154286
1299.64/1303.10	c [1295.82] solve iteration 153, LB=-451747, UB=-154286
1303.12/1306.55	c [1299.18] solve iteration 154, LB=-451747, UB=-154286
1306.22/1309.60	c [1302.34] solve iteration 155, LB=-451747, UB=-154286
1326.76/1330.21	c [1305.58] solve iteration 156, LB=-451747, UB=-154286
1326.76/1330.21	c [1316.57] solve iteration 157, LB=-451747, UB=-154841
1326.76/1330.21	c [1319.74] solve iteration 158, LB=-451747, UB=-154841
1326.76/1330.21	c [1322.81] solve iteration 159, LB=-451747, UB=-154841
1329.75/1333.25	c [1325.85] solve iteration 160, LB=-451747, UB=-154841
1333.23/1336.72	c [1329.18] solve iteration 161, LB=-451747, UB=-154841
1340.31/1343.80	c [1333.21] solve iteration 162, LB=-451747, UB=-156383
1340.31/1343.80	c [1336.34] solve iteration 163, LB=-451747, UB=-156383
1346.60/1350.16	c [1339.41] solve iteration 164, LB=-451747, UB=-156383
1346.60/1350.16	c [1342.64] solve iteration 165, LB=-451747, UB=-156383
1354.27/1357.83	c [1345.7] solve iteration 166, LB=-451747, UB=-156383
1354.27/1357.83	c [1350.33] solve iteration 167, LB=-451747, UB=-156417
1357.66/1361.24	c [1353.62] solve iteration 168, LB=-451747, UB=-156417
1364.04/1367.65	c [1356.83] solve iteration 169, LB=-451747, UB=-156417
1364.04/1367.65	c [1359.94] solve iteration 170, LB=-451747, UB=-156417
1380.89/1384.57	c [1363.23] solve iteration 171, LB=-451747, UB=-156417
1380.89/1384.57	c [1367.33] solve iteration 172, LB=-451747, UB=-156451
1380.89/1384.57	c [1370.42] solve iteration 173, LB=-451747, UB=-156451
1380.89/1384.57	c [1373.76] solve iteration 174, LB=-451747, UB=-156451
1380.89/1384.57	c [1376.95] solve iteration 175, LB=-451747, UB=-156451
1384.48/1388.18	c [1380.33] solve iteration 176, LB=-451747, UB=-156451
1391.36/1395.02	c [1387.03] solve iteration 177, LB=-451747, UB=-156506
1402.33/1406.04	c [1390.98] solve iteration 178, LB=-451747, UB=-156506
1402.33/1406.04	c [1394.61] solve iteration 179, LB=-451747, UB=-156506
1402.33/1406.04	c [1398.24] solve iteration 180, LB=-451747, UB=-156506
1405.81/1409.51	c [1401.49] solve iteration 181, LB=-451747, UB=-156506
1413.29/1417.05	c [1405.35] solve iteration 182, LB=-451747, UB=-156561
1413.29/1417.05	c [1409.03] solve iteration 183, LB=-451747, UB=-156561
1428.25/1432.01	c [1412.52] solve iteration 184, LB=-451747, UB=-156561
1428.25/1432.01	c [1416.19] solve iteration 185, LB=-451747, UB=-156561
1428.25/1432.01	c [1419.66] solve iteration 186, LB=-451747, UB=-156561
1428.25/1432.01	c [1423.94] solve iteration 187, LB=-451747, UB=-156616
1435.42/1439.26	c [1427.29] solve iteration 188, LB=-451747, UB=-156616
1435.42/1439.26	c [1430.96] solve iteration 189, LB=-451747, UB=-156616
1443.60/1447.48	c [1435.25] solve iteration 190, LB=-451747, UB=-156616
1443.60/1447.48	c [1439.11] solve iteration 191, LB=-451747, UB=-156616
1470.52/1474.45	c [1449.95] solve iteration 192, LB=-451747, UB=-156904
1470.52/1474.45	c [1453.65] solve iteration 193, LB=-451747, UB=-156904
1470.52/1474.45	c [1457.43] solve iteration 194, LB=-451747, UB=-156904
1470.52/1474.45	c [1461.41] solve iteration 195, LB=-451747, UB=-156904
1470.52/1474.45	c [1465.84] solve iteration 196, LB=-451747, UB=-156904
1556.46/1560.64	c [1470.55] solve iteration 197, LB=-451747, UB=-156938
1556.46/1560.64	c [1474.46] solve iteration 198, LB=-451747, UB=-156938
1556.46/1560.64	c [1478.3] solve iteration 199, LB=-451747, UB=-156938
1556.46/1560.64	c [1482.04] solve iteration 200, LB=-451747, UB=-156938
1556.46/1560.64	c [1485.68] solve iteration 201, LB=-451747, UB=-156938
1556.46/1560.64	c [1492.94] solve iteration 202, LB=-451747, UB=-157480
1556.46/1560.64	c [1496.79] solve iteration 203, LB=-451747, UB=-157480
1556.46/1560.64	c [1500.7] solve iteration 204, LB=-451747, UB=-157480
1556.46/1560.64	c [1505.27] solve iteration 205, LB=-451747, UB=-157480
1556.46/1560.64	c [1509.41] solve iteration 206, LB=-451747, UB=-157480
1556.46/1560.64	c [1513.92] solve iteration 207, LB=-451747, UB=-157514
1556.46/1560.64	c [1517.65] solve iteration 208, LB=-451747, UB=-157514
1556.46/1560.64	c [1521.5] solve iteration 209, LB=-451747, UB=-157514
1556.46/1560.64	c [1525.55] solve iteration 210, LB=-451747, UB=-157514
1556.46/1560.64	c [1529.78] solve iteration 211, LB=-451747, UB=-157514
1556.46/1560.64	c [1534.49] solve iteration 212, LB=-451747, UB=-157548
1556.46/1560.64	c [1538.35] solve iteration 213, LB=-451747, UB=-157548
1556.46/1560.64	c [1542.49] solve iteration 214, LB=-451747, UB=-157548
1556.46/1560.64	c [1547.09] solve iteration 215, LB=-451747, UB=-157548
1556.46/1560.64	c [1551.78] solve iteration 216, LB=-451747, UB=-157548
1697.24/1701.80	c [1559.6] solve iteration 217, LB=-451747, UB=-161551
1697.24/1701.80	c [1563.82] solve iteration 218, LB=-451747, UB=-161551
1697.24/1701.80	c [1567.88] solve iteration 219, LB=-451747, UB=-161551
1697.24/1701.80	c [1572.05] solve iteration 220, LB=-451747, UB=-161551
1697.24/1701.80	c [1576.06] solve iteration 221, LB=-451747, UB=-161551
1697.24/1701.80	c [1582.27] solve iteration 222, LB=-451747, UB=-161928
1697.24/1701.80	c [1586.43] solve iteration 223, LB=-451747, UB=-161928
1697.24/1701.80	c [1590.53] solve iteration 224, LB=-451747, UB=-161928
1697.24/1701.80	c [1594.83] solve iteration 225, LB=-451747, UB=-161928
1697.24/1701.80	c [1599.03] solve iteration 226, LB=-451747, UB=-161928
1697.24/1701.80	c [1603.91] solve iteration 227, LB=-451747, UB=-161962
1697.24/1701.80	c [1608.37] solve iteration 228, LB=-451747, UB=-161962
1697.24/1701.80	c [1612.52] solve iteration 229, LB=-451747, UB=-161962
1697.24/1701.80	c [1616.8] solve iteration 230, LB=-451747, UB=-161962
1697.24/1701.80	c [1621.43] solve iteration 231, LB=-451747, UB=-161962
1697.24/1701.80	c [1629.66] solve iteration 232, LB=-451747, UB=-164279
1697.24/1701.80	c [1634.12] solve iteration 233, LB=-451747, UB=-164279
1697.24/1701.80	c [1638.5] solve iteration 234, LB=-451747, UB=-164279
1697.24/1701.80	c [1642.96] solve iteration 235, LB=-451747, UB=-164279
1697.24/1701.80	c [1647.58] solve iteration 236, LB=-451747, UB=-164279
1697.24/1701.80	c [1653.19] solve iteration 237, LB=-451747, UB=-164368
1697.24/1701.80	c [1657.78] solve iteration 238, LB=-451747, UB=-164368
1697.24/1701.80	c [1662.67] solve iteration 239, LB=-451747, UB=-164368
1697.24/1701.80	c [1667.28] solve iteration 240, LB=-451747, UB=-164368
1697.24/1701.80	c [1672.2] solve iteration 241, LB=-451747, UB=-164368
1697.24/1701.80	c [1677.48] solve iteration 242, LB=-451747, UB=-164457
1697.24/1701.80	c [1682.41] solve iteration 243, LB=-451747, UB=-164457
1697.24/1701.80	c [1687.22] solve iteration 244, LB=-451747, UB=-164457
1697.24/1701.80	c [1692] solve iteration 245, LB=-451747, UB=-164457
1736.34/1741.04	c [1696.74] solve iteration 246, LB=-451747, UB=-164457
1736.34/1741.04	c [1701.71] solve iteration 247, LB=-451747, UB=-164546
1736.34/1741.04	c [1706.46] solve iteration 248, LB=-451747, UB=-164546
1736.34/1741.04	c [1711.22] solve iteration 249, LB=-451747, UB=-164546
1736.34/1741.04	c [1715.76] solve iteration 250, LB=-451747, UB=-164546
1736.34/1741.04	c [1720.61] solve iteration 251, LB=-451747, UB=-164546
1736.34/1741.04	c [1726.05] solve iteration 252, LB=-451747, UB=-164567
1736.34/1741.04	c [1730.81] solve iteration 253, LB=-451747, UB=-164567
1769.73/1774.56	c [1735.51] solve iteration 254, LB=-451747, UB=-164567
1769.73/1774.56	c [1740.38] solve iteration 255, LB=-451747, UB=-164567
1769.73/1774.56	c [1744.8] solve iteration 256, LB=-451747, UB=-164567
1769.73/1774.56	c [1750.63] solve iteration 257, LB=-451747, UB=-165787
1769.73/1774.56	c [1755.31] solve iteration 258, LB=-451747, UB=-165787
1769.73/1774.56	c [1759.86] solve iteration 259, LB=-451747, UB=-165787
1769.73/1774.56	c [1764.54] solve iteration 260, LB=-451747, UB=-165787
1808.22/1813.18	c [1768.8] solve iteration 261, LB=-451747, UB=-165787
1808.22/1813.18	c [1773.66] solve iteration 262, LB=-451747, UB=-165876
1808.22/1813.18	c [1778.21] solve iteration 263, LB=-451747, UB=-165876
1808.22/1813.18	c [1782.56] solve iteration 264, LB=-451747, UB=-165876
1808.22/1813.18	c [1787.41] solve iteration 265, LB=-451747, UB=-165876
1808.22/1813.18	c [1792.16] solve iteration 266, LB=-451747, UB=-165876
1808.22/1813.18	c [1797.39] solve iteration 267, LB=-451747, UB=-165965
1808.22/1813.18	c [1802.52] solve iteration 268, LB=-451747, UB=-165965
1813.30/1818.26	c [1807.9] solve iteration 269, LB=-451747, UB=-165965
2000.87/2006.34	c [1812.47] solve iteration 270, LB=-451747, UB=-165965
2000.87/2006.34	c [1817.41] solve iteration 271, LB=-451747, UB=-165965
2000.87/2006.34	c [1823.67] solve iteration 272, LB=-451747, UB=-166397
2000.87/2006.34	c [1828.52] solve iteration 273, LB=-451747, UB=-166397
2000.87/2006.34	c [1833.2] solve iteration 274, LB=-451747, UB=-166397
2000.87/2006.34	c [1837.94] solve iteration 275, LB=-451747, UB=-166397
2000.87/2006.34	c [1842.77] solve iteration 276, LB=-451747, UB=-166397
2000.87/2006.34	c [1848.57] solve iteration 277, LB=-451747, UB=-170345
2000.87/2006.34	c [1853.29] solve iteration 278, LB=-451747, UB=-170345
2000.87/2006.34	c [1858.12] solve iteration 279, LB=-451747, UB=-170345
2000.87/2006.34	c [1863.53] solve iteration 280, LB=-451747, UB=-170345
2000.87/2006.34	c [1868.65] solve iteration 281, LB=-451747, UB=-170345
2000.87/2006.34	c [1874.76] solve iteration 282, LB=-451747, UB=-170434
2000.87/2006.34	c [1879.75] solve iteration 283, LB=-451747, UB=-170434
2000.87/2006.34	c [1884.44] solve iteration 284, LB=-451747, UB=-170434
2000.87/2006.34	c [1889.22] solve iteration 285, LB=-451747, UB=-170434
2000.87/2006.34	c [1893.91] solve iteration 286, LB=-451747, UB=-170434
2000.87/2006.34	c [1899.97] solve iteration 287, LB=-451747, UB=-174149
2000.87/2006.34	c [1904.96] solve iteration 288, LB=-451747, UB=-174149
2000.87/2006.34	c [1909.81] solve iteration 289, LB=-451747, UB=-174149
2000.87/2006.34	c [1914.8] solve iteration 290, LB=-451747, UB=-174149
2000.87/2006.34	c [1919.77] solve iteration 291, LB=-451747, UB=-174149
2000.87/2006.34	c [1926.28] solve iteration 292, LB=-451747, UB=-174238
2000.87/2006.34	c [1931.17] solve iteration 293, LB=-451747, UB=-174238
2000.87/2006.34	c [1935.77] solve iteration 294, LB=-451747, UB=-174238
2000.87/2006.34	c [1940.44] solve iteration 295, LB=-451747, UB=-174238
2000.87/2006.34	c [1945.05] solve iteration 296, LB=-451747, UB=-174238
2000.87/2006.34	c [1958.13] solve iteration 297, LB=-451747, UB=-174759
2000.87/2006.34	c [1962.69] solve iteration 298, LB=-451747, UB=-174759
2000.87/2006.34	c [1967.54] solve iteration 299, LB=-451747, UB=-174759
2000.87/2006.34	c [1972.83] solve iteration 300, LB=-451747, UB=-174759
2000.87/2006.34	c [1977.82] solve iteration 301, LB=-451747, UB=-174759
2000.87/2006.34	c [1984.23] solve iteration 302, LB=-451747, UB=-174848
2000.87/2006.34	c [1989.12] solve iteration 303, LB=-451747, UB=-174848
2000.87/2006.34	c [1994.81] solve iteration 304, LB=-451747, UB=-174848
2006.57/2012.06	c [2000.4] solve iteration 305, LB=-451747, UB=-174848
2033.09/2038.66	c [2005.7] solve iteration 306, LB=-451747, UB=-174848
2033.09/2038.66	c [2016.22] solve iteration 307, LB=-451747, UB=-178563
2033.09/2038.66	c [2021.68] solve iteration 308, LB=-451747, UB=-178563
2033.09/2038.66	c [2027.16] solve iteration 309, LB=-451747, UB=-178563
2173.70/2179.66	c [2032.7] solve iteration 310, LB=-451747, UB=-178563
2173.70/2179.66	c [2038.52] solve iteration 311, LB=-451747, UB=-178563
2173.70/2179.66	c [2045.83] solve iteration 312, LB=-451747, UB=-184485
2173.70/2179.66	c [2051.11] solve iteration 313, LB=-451747, UB=-184485
2173.70/2179.66	c [2056.66] solve iteration 314, LB=-451747, UB=-184485
2173.70/2179.66	c [2062.18] solve iteration 315, LB=-451747, UB=-184485
2173.70/2179.66	c [2067.69] solve iteration 316, LB=-451747, UB=-184485
2173.70/2179.66	c [2074.69] solve iteration 317, LB=-451747, UB=-184574
2173.70/2179.66	c [2080.6] solve iteration 318, LB=-451747, UB=-184574
2173.70/2179.66	c [2086.12] solve iteration 319, LB=-451747, UB=-184574
2173.70/2179.66	c [2092.1] solve iteration 320, LB=-451747, UB=-184574
2173.70/2179.66	c [2097.84] solve iteration 321, LB=-451747, UB=-184574
2173.70/2179.66	c [2122.96] solve iteration 322, LB=-451747, UB=-190496
2173.70/2179.66	c [2128.28] solve iteration 323, LB=-451747, UB=-190496
2173.70/2179.66	c [2133.9] solve iteration 324, LB=-451747, UB=-190496
2173.70/2179.66	c [2139.35] solve iteration 325, LB=-451747, UB=-190496
2173.70/2179.66	c [2145.16] solve iteration 326, LB=-451747, UB=-190496
2173.70/2179.66	c [2155.08] solve iteration 327, LB=-451747, UB=-196418
2173.70/2179.66	c [2161.18] solve iteration 328, LB=-451747, UB=-196418
2173.70/2179.66	c [2167.22] solve iteration 329, LB=-451747, UB=-196418
2252.69/2258.83	c [2172.94] solve iteration 330, LB=-451747, UB=-196418
2252.69/2258.83	c [2179.04] solve iteration 331, LB=-451747, UB=-196418
2252.69/2258.83	c [2192.34] solve iteration 332, LB=-451747, UB=-200599
2252.69/2258.83	c [2198.43] solve iteration 333, LB=-451747, UB=-200599
2252.69/2258.83	c [2204.62] solve iteration 334, LB=-451747, UB=-200599
2252.69/2258.83	c [2210.26] solve iteration 335, LB=-451747, UB=-200599
2252.69/2258.83	c [2216.18] solve iteration 336, LB=-451747, UB=-200599
2252.69/2258.83	c [2227.6] solve iteration 337, LB=-451747, UB=-200688
2252.69/2258.83	c [2233.78] solve iteration 338, LB=-451747, UB=-200688
2252.69/2258.83	c [2239.8] solve iteration 339, LB=-451747, UB=-200688
2252.69/2258.83	c [2246.05] solve iteration 340, LB=-451747, UB=-200688
2428.75/2435.38	c [2252.19] solve iteration 341, LB=-451747, UB=-200688
2428.75/2435.38	c [2258.68] solve iteration 342, LB=-451747, UB=-200832
2428.75/2435.38	c [2264.31] solve iteration 343, LB=-451747, UB=-200832
2428.75/2435.38	c [2270.44] solve iteration 344, LB=-451747, UB=-200832
2428.75/2435.38	c [2277.06] solve iteration 345, LB=-451747, UB=-200832
2428.75/2435.38	c [2282.7] solve iteration 346, LB=-451747, UB=-200832
2428.75/2435.38	c [2348.91] solve iteration 347, LB=-451747, UB=-201209
2428.75/2435.38	c [2354.96] solve iteration 348, LB=-451747, UB=-201209
2428.75/2435.38	c [2361.18] solve iteration 349, LB=-451747, UB=-201209
2428.75/2435.38	c [2367.64] solve iteration 350, LB=-451747, UB=-201209
2428.75/2435.38	c [2374.07] solve iteration 351, LB=-451747, UB=-201209
2428.75/2435.38	c [2397.51] solve iteration 352, LB=-451747, UB=-205013
2428.75/2435.38	c [2404.17] solve iteration 353, LB=-451747, UB=-205013
2428.75/2435.38	c [2410.17] solve iteration 354, LB=-451747, UB=-205013
2428.75/2435.38	c [2416.23] solve iteration 355, LB=-451747, UB=-205013
2428.75/2435.38	c [2421.99] solve iteration 356, LB=-451747, UB=-205013
2522.02/2528.83	c [2433.12] solve iteration 357, LB=-451747, UB=-207220
2522.02/2528.83	c [2439.82] solve iteration 358, LB=-451747, UB=-207220
2522.02/2528.83	c [2446.09] solve iteration 359, LB=-451747, UB=-207220
2522.02/2528.83	c [2452.38] solve iteration 360, LB=-451747, UB=-207220
2522.02/2528.83	c [2458.22] solve iteration 361, LB=-451747, UB=-207220
2522.02/2528.83	c [2514.99] solve iteration 362, LB=-451747, UB=-209571
2534.69/2541.59	c [2521.25] solve iteration 363, LB=-451747, UB=-209571
2534.69/2541.59	c [2527.71] solve iteration 364, LB=-451747, UB=-209571
2547.05/2553.92	c [2533.87] solve iteration 365, LB=-451747, UB=-209571
2547.05/2553.92	c [2540.04] solve iteration 366, LB=-451747, UB=-209571
2926.13/2933.97	c [2560.43] solve iteration 367, LB=-451747, UB=-214739
2926.13/2933.97	c [2566.64] solve iteration 368, LB=-451747, UB=-214739
2926.13/2933.97	c [2573.18] solve iteration 369, LB=-451747, UB=-214739
2926.13/2933.97	c [2579.47] solve iteration 370, LB=-451747, UB=-214739
2926.13/2933.97	c [2585.68] solve iteration 371, LB=-451747, UB=-214739
2926.13/2933.97	c [2592.82] solve iteration 372, LB=-451747, UB=-214972
2926.13/2933.97	c [2599.61] solve iteration 373, LB=-451747, UB=-214972
2926.13/2933.97	c [2605.74] solve iteration 374, LB=-451747, UB=-214972
2926.13/2933.97	c [2612.44] solve iteration 375, LB=-451747, UB=-214972
2926.13/2933.97	c [2618.59] solve iteration 376, LB=-451747, UB=-214972
2926.13/2933.97	c [2628.39] solve iteration 377, LB=-451747, UB=-215349
2926.13/2933.97	c [2635.04] solve iteration 378, LB=-451747, UB=-215349
2926.13/2933.97	c [2641.41] solve iteration 379, LB=-451747, UB=-215349
2926.13/2933.97	c [2648.21] solve iteration 380, LB=-451747, UB=-215349
2926.13/2933.97	c [2654.55] solve iteration 381, LB=-451747, UB=-215349
2926.13/2933.97	c [2669.22] solve iteration 382, LB=-451747, UB=-215726
2926.13/2933.97	c [2675.68] solve iteration 383, LB=-451747, UB=-215726
2926.13/2933.97	c [2683.45] solve iteration 384, LB=-451747, UB=-215726
2926.13/2933.97	c [2690.27] solve iteration 385, LB=-451747, UB=-215726
2926.13/2933.97	c [2696.82] solve iteration 386, LB=-451747, UB=-215726
2926.13/2933.97	c [2898.02] solve iteration 387, LB=-451747, UB=-221504
2926.13/2933.97	c [2904.64] solve iteration 388, LB=-451747, UB=-221504
2926.13/2933.97	c [2911.49] solve iteration 389, LB=-451747, UB=-221504
2926.13/2933.97	c [2918.41] solve iteration 390, LB=-451747, UB=-221504
3589.57/3599.09	c [2925.61] solve iteration 391, LB=-451747, UB=-221504
3589.57/3599.09	c [2932.94] solve iteration 392, LB=-451747, UB=-222114
3589.57/3599.09	c [2939.14] solve iteration 393, LB=-451747, UB=-222114
3589.57/3599.09	c [2945.54] solve iteration 394, LB=-451747, UB=-222114
3589.57/3599.09	c [2952.86] solve iteration 395, LB=-451747, UB=-222114
3589.57/3599.09	c [2959.98] solve iteration 396, LB=-451747, UB=-222114
3589.57/3599.09	c [2967.07] solve iteration 397, LB=-451747, UB=-222724
3589.57/3599.09	c [2973.86] solve iteration 398, LB=-451747, UB=-222724
3589.57/3599.09	c [2980.79] solve iteration 399, LB=-451747, UB=-222724
3589.57/3599.09	c [2987.7] solve iteration 400, LB=-451747, UB=-222724
3589.57/3599.09	c [2995.03] solve iteration 401, LB=-451747, UB=-222724
3589.57/3599.09	c [3002.25] solve iteration 402, LB=-451747, UB=-223334
3589.57/3599.09	c [3009.11] solve iteration 403, LB=-451747, UB=-223334
3589.57/3599.09	c [3016.27] solve iteration 404, LB=-451747, UB=-223334
3589.57/3599.09	c [3024.13] solve iteration 405, LB=-451747, UB=-223334
3589.57/3599.09	c [3031.23] solve iteration 406, LB=-451747, UB=-223334
3589.57/3599.09	c [3048.18] solve iteration 407, LB=-451747, UB=-224088
3589.57/3599.09	c [3056.14] solve iteration 408, LB=-451747, UB=-224088
3589.57/3599.09	c [3063.69] solve iteration 409, LB=-451747, UB=-224088
3589.57/3599.09	c [3069.85] solve iteration 410, LB=-451747, UB=-224088
3589.57/3599.09	c [3075.9] solve iteration 411, LB=-451747, UB=-224088
3589.57/3599.09	c [3084.99] solve iteration 412, LB=-451747, UB=-225075
3589.57/3599.09	c [3092.19] solve iteration 413, LB=-451747, UB=-225075
3589.57/3599.09	c [3099.46] solve iteration 414, LB=-451747, UB=-225075
3589.57/3599.09	c [3106.46] solve iteration 415, LB=-451747, UB=-225075
3589.57/3599.09	c [3114.19] solve iteration 416, LB=-451747, UB=-225075
3589.57/3599.09	c [3122.81] solve iteration 417, LB=-451747, UB=-225308
3589.57/3599.09	c [3130.64] solve iteration 418, LB=-451747, UB=-225308
3589.57/3599.09	c [3138.72] solve iteration 419, LB=-451747, UB=-225308
3589.57/3599.09	c [3145.74] solve iteration 420, LB=-451747, UB=-225308
3589.57/3599.09	c [3152.78] solve iteration 421, LB=-451747, UB=-225308
3589.57/3599.09	c [3161.21] solve iteration 422, LB=-451747, UB=-225685
3589.57/3599.09	c [3168.4] solve iteration 423, LB=-451747, UB=-225685
3589.57/3599.09	c [3175.83] solve iteration 424, LB=-451747, UB=-225685
3589.57/3599.09	c [3183.54] solve iteration 425, LB=-451747, UB=-225685
3589.57/3599.09	c [3191.33] solve iteration 426, LB=-451747, UB=-225685
3589.57/3599.09	c [3204.04] solve iteration 427, LB=-451747, UB=-229256
3589.57/3599.09	c [3210.8] solve iteration 428, LB=-451747, UB=-229256
3589.57/3599.09	c [3217.5] solve iteration 429, LB=-451747, UB=-229256
3589.57/3599.09	c [3225.24] solve iteration 430, LB=-451747, UB=-229256
3589.57/3599.09	c [3232.98] solve iteration 431, LB=-451747, UB=-229256
3589.57/3599.09	c [3248.96] solve iteration 432, LB=-451747, UB=-229489
3589.57/3599.09	c [3256.67] solve iteration 433, LB=-451747, UB=-229489
3589.57/3599.09	c [3264.69] solve iteration 434, LB=-451747, UB=-229489
3589.57/3599.09	c [3273.24] solve iteration 435, LB=-451747, UB=-229489
3589.57/3599.09	c [3281.31] solve iteration 436, LB=-451747, UB=-229489
3589.57/3599.09	c [3289.41] solve iteration 437, LB=-451747, UB=-229866
3589.57/3599.09	c [3296.89] solve iteration 438, LB=-451747, UB=-229866
3589.57/3599.09	c [3304] solve iteration 439, LB=-451747, UB=-229866
3589.57/3599.09	c [3310.94] solve iteration 440, LB=-451747, UB=-229866
3589.57/3599.09	c [3318.38] solve iteration 441, LB=-451747, UB=-229866
3589.57/3599.09	c [3328.05] solve iteration 442, LB=-451747, UB=-230099
3589.57/3599.09	c [3335.52] solve iteration 443, LB=-451747, UB=-230099
3589.57/3599.09	c [3342.67] solve iteration 444, LB=-451747, UB=-230099
3589.57/3599.09	c [3349.45] solve iteration 445, LB=-451747, UB=-230099
3589.57/3599.09	c [3356.35] solve iteration 446, LB=-451747, UB=-230099
3589.57/3599.09	c [3376.82] solve iteration 447, LB=-451747, UB=-232450
3589.57/3599.09	c [3384.29] solve iteration 448, LB=-451747, UB=-232450
3589.57/3599.09	c [3391.26] solve iteration 449, LB=-451747, UB=-232450
3589.57/3599.09	c [3398.56] solve iteration 450, LB=-451747, UB=-232450
3589.57/3599.09	c [3405.56] solve iteration 451, LB=-451747, UB=-232450
3589.57/3599.09	c [3470.79] solve iteration 452, LB=-451747, UB=-233437
3589.57/3599.09	c [3478.05] solve iteration 453, LB=-451747, UB=-233437
3589.57/3599.09	c [3485.42] solve iteration 454, LB=-451747, UB=-233437
3589.57/3599.09	c [3493.36] solve iteration 455, LB=-451747, UB=-233437
3589.57/3599.09	c [3501.33] solve iteration 456, LB=-451747, UB=-233437
3589.57/3599.09	c [3510.73] solve iteration 457, LB=-451747, UB=-234424
3589.57/3599.09	c [3519.7] solve iteration 458, LB=-451747, UB=-234424
3589.57/3599.09	c [3527.22] solve iteration 459, LB=-451747, UB=-234424
3589.57/3599.09	c [3534.74] solve iteration 460, LB=-451747, UB=-234424
3589.57/3599.09	c [3542.65] solve iteration 461, LB=-451747, UB=-234424
3589.57/3599.09	c [3570.38] solve iteration 462, LB=-451747, UB=-235034
3589.57/3599.09	c [3577.49] solve iteration 463, LB=-451747, UB=-235034
3589.57/3599.09	c [3585] solve it

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63665 MiB (62017 MiB free)
  memory of node 1: 64507 MiB (56742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505616-1751460911/watcher-4505616-1751460911 -o /tmp/evaluation-result-4505616-1751460911/solver-4505616-1751460911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69814 --watchdog 3760 ./ipbhs_scip HOME/instance-4505616-1751460911.opb --optimizer scip --max-coef 1000000000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=70613, runsolver pid=70609

[startup+0.100068 s]*
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=121211008/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=54820 memory=19040 CPUtime=0.08 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 4147 0 0 0 8 0 0 0 20 0 1 0 61768991 56135680 4760 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 13705 4760 1600 2790 0 7130 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54820 KiB
Current children cumulated memory: 19040 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.22 4.11 4.10 6/264 70618
/proc/meminfo: memFree=120685720/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=76784 memory=44520 CPUtime=0.18 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 9672 0 0 0 15 3 0 0 20 0 1 0 61768991 78626816 11130 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 19196 11130 1696 2790 0 12621 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76784 KiB
Current children cumulated memory: 44520 KiB

[startup+0.305843 s]*
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120323788/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=88228 memory=62364 CPUtime=0.28 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 12255 0 0 0 22 6 0 0 20 0 1 0 61768991 90345472 15591 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 22057 15591 3168 2790 0 15482 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88228 KiB
Current children cumulated memory: 62364 KiB

[startup+0.700163 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120165836/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=167716 memory=141212 CPUtime=0.67 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 31959 0 0 0 58 9 0 0 20 0 1 0 61768991 171741184 35303 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 41929 35303 3168 2790 0 35354 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 167716 KiB
Current children cumulated memory: 141212 KiB

[startup+1.50011 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=120041284/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=228104 memory=198940 CPUtime=1.47 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 46153 0 0 0 135 12 0 0 20 0 1 0 61768991 233578496 49735 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 57026 49735 3456 2790 0 50451 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 228104 KiB
Current children cumulated memory: 198940 KiB

[startup+3.1055 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 70618
/proc/meminfo: memFree=119399712/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=314632 memory=279836 CPUtime=3.07 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 66353 0 0 0 292 15 0 0 20 0 1 0 61768991 322183168 69959 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 78658 69959 3584 2790 0 72083 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 314632 KiB
Current children cumulated memory: 279836 KiB

[startup+6.30018 s]
/proc/loadavg: 4.20 4.11 4.10 5/264 70618
/proc/meminfo: memFree=118924444/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=314632 memory=285212 CPUtime=6.25 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 67686 0 0 0 609 16 0 0 20 0 1 0 61768991 322183168 71303 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 78658 71303 3584 2790 0 72083 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 314632 KiB
Current children cumulated memory: 285212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.12 4.10 5/264 70618
/proc/meminfo: memFree=116696284/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=329000 memory=300700 CPUtime=12.63 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 71478 0 0 0 1246 17 0 0 20 0 1 0 61768991 336896000 75175 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 82250 75175 3744 2790 0 75675 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 329000 KiB
Current children cumulated memory: 300700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.10 5/264 70618
/proc/meminfo: memFree=114926500/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=352276 memory=317860 CPUtime=25.39 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 73182 0 0 0 2519 20 0 0 20 0 1 0 61768991 360730624 79465 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 88069 79465 3744 2790 0 81494 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 352276 KiB
Current children cumulated memory: 317860 KiB

[startup+51.1055 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 70619
/proc/meminfo: memFree=114774432/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=371244 memory=328268 CPUtime=50.92 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 73740 0 0 0 5071 21 0 0 20 0 1 0 61768991 380153856 82067 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 92811 82067 3744 2790 0 86236 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 371244 KiB
Current children cumulated memory: 328268 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 70620
/proc/meminfo: memFree=114657740/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=402064 memory=365132 CPUtime=101.99 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 74271 0 0 0 10159 40 0 0 20 0 1 0 61768991 411713536 91283 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 100516 91283 3744 2790 0 93941 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 402064 KiB
Current children cumulated memory: 365132 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 70626
/proc/meminfo: memFree=114502272/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=533540 memory=431876 CPUtime=161.84 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 75632 0 0 0 16132 52 0 0 20 0 1 0 61768991 546344960 107969 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 133385 107969 3744 2790 0 126810 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 533540 KiB
Current children cumulated memory: 431876 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 70628
/proc/meminfo: memFree=114284032/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=559624 memory=502796 CPUtime=221.68 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 82168 0 0 0 22109 59 0 0 20 0 1 0 61768991 573054976 125699 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 139906 125699 3744 2790 0 133331 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 559624 KiB
Current children cumulated memory: 502796 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 70630
/proc/meminfo: memFree=114086768/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=691884 memory=559952 CPUtime=281.54 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 82660 0 0 0 28071 83 0 0 20 0 1 0 61768991 708489216 139988 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 172971 139988 3744 2790 0 166396 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 691884 KiB
Current children cumulated memory: 559952 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 70633
/proc/meminfo: memFree=113947796/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=691884 memory=611156 CPUtime=341.4 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 82715 0 0 0 34045 95 0 0 20 0 1 0 61768991 708489216 152789 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 172971 152789 3744 2790 0 166396 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 691884 KiB
Current children cumulated memory: 611156 KiB

[startup+402.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/267 70653
/proc/meminfo: memFree=113712452/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=906808 memory=668500 CPUtime=401.25 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 83254 0 0 0 40017 108 0 0 20 0 1 0 61768991 928571392 167125 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 226702 167125 3744 2790 0 220127 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 906808 KiB
Current children cumulated memory: 668500 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/264 70655
/proc/meminfo: memFree=113562180/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=935452 memory=697300 CPUtime=461.1 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 90499 0 0 0 45991 119 0 0 20 0 1 0 61768991 957902848 174325 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 233863 174325 3744 2790 0 227288 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 1829012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 70780
/proc/meminfo: memFree=110340516/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2170224 memory=1883932 CPUtime=2914.56 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 764340 0 0 0 291049 407 0 0 20 0 1 0 61768991 2222309376 470983 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 542556 470983 3776 2790 0 535981 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 2170224 KiB
Current children cumulated memory: 1883932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 70783
/proc/meminfo: memFree=110336160/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2189708 memory=1902600 CPUtime=2974.39 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 794346 0 0 0 297025 414 0 0 20 0 1 0 61768991 2242260992 475650 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 547427 475650 3776 2790 0 540852 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 2189708 KiB
Current children cumulated memory: 1902600 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 70785
/proc/meminfo: memFree=110324764/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2174332 memory=1888096 CPUtime=3034.22 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 821076 0 0 0 303002 420 0 0 20 0 1 0 61768991 2226515968 472024 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 543583 472024 3776 2790 0 537008 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 2174332 KiB
Current children cumulated memory: 1888096 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 70787
/proc/meminfo: memFree=110296636/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2204016 memory=1919044 CPUtime=3094.07 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 840633 0 0 0 308982 425 0 0 20 0 1 0 61768991 2256912384 479761 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 551004 479761 3776 2790 0 544429 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 2204016 KiB
Current children cumulated memory: 1919044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 70790
/proc/meminfo: memFree=110249352/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2202776 memory=1917964 CPUtime=3153.91 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 844904 0 0 0 314963 428 0 0 20 0 1 0 61768991 2255642624 479491 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 550694 479491 3776 2790 0 544119 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 2202776 KiB
Current children cumulated memory: 1917964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 70792
/proc/meminfo: memFree=110170504/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2214508 memory=1929540 CPUtime=3213.76 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 853110 0 0 0 320945 431 0 0 20 0 1 0 61768991 2267656192 482385 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 553627 482385 3776 2790 0 547052 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 2214508 KiB
Current children cumulated memory: 1929540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 70795
/proc/meminfo: memFree=110103560/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2203084 memory=1918272 CPUtime=3273.6 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 856692 0 0 0 326927 433 0 0 20 0 1 0 61768991 2255958016 479568 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 550771 479568 3776 2790 0 544196 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 2203084 KiB
Current children cumulated memory: 1918272 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 70798
/proc/meminfo: memFree=110044856/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2220268 memory=1935296 CPUtime=3333.45 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 860956 0 0 0 332909 436 0 0 20 0 1 0 61768991 2273554432 483824 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 555067 483824 3776 2790 0 548492 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 2220268 KiB
Current children cumulated memory: 1935296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 70807
/proc/meminfo: memFree=109872700/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2220268 memory=1935296 CPUtime=3393.31 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 860969 0 0 0 338893 438 0 0 20 0 1 0 61768991 2273554432 483824 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 555067 483824 3776 2790 0 548492 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 2220268 KiB
Current children cumulated memory: 1935296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 70809
/proc/meminfo: memFree=109744736/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2220760 memory=1935800 CPUtime=3453.19 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 861804 0 0 0 344878 441 0 0 20 0 1 0 61768991 2274058240 483950 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 555190 483950 3776 2790 0 548615 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 2220760 KiB
Current children cumulated memory: 1935800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 70811
/proc/meminfo: memFree=109630848/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2218528 memory=1933724 CPUtime=3513.05 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 863100 0 0 0 350862 443 0 0 20 0 1 0 61768991 2271772672 483431 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 554632 483431 3776 2790 0 548057 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 2218528 KiB
Current children cumulated memory: 1933724 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 70813
/proc/meminfo: memFree=109618456/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2223348 memory=1938332 CPUtime=3572.91 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 864274 0 0 0 356846 445 0 0 20 0 1 0 61768991 2276708352 484583 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 555837 484583 3776 2790 0 549262 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 2223348 KiB
Current children cumulated memory: 1938332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.09 4.10 4.09 4/263 70829
/proc/meminfo: memFree=114994012/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2225132 memory=1940152 CPUtime=3600.04 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 866114 0 0 0 359559 445 0 0 20 0 1 0 61768991 2278535168 485038 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 556283 485038 3776 2790 0 549708 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2225132 KiB
Current children cumulated memory: 1940152 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3595.6 s, system=4.51985 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.5 s]
/proc/loadavg: 4.09 4.10 4.09 4/263 70829
/proc/meminfo: memFree=114994012/131249996 swapFree=33010684/33010684
[pid=70613] ppid=70609 vsize=2225132 memory=1940152 CPUtime=3600.04 cores=5,7
/proc/70613/stat : 70613 (ipbhs_scip) R 70609 70613 69801 0 -1 4194304 866114 0 0 0 359559 445 0 0 20 0 1 0 61768991 2278535168 485038 18446744073709551615 94547446788096 94547458214493 140734522907888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94547460350168 94547460395186 94547483389952 140734522915218 140734522915337 140734522915337 140734522920939 0
/proc/70613/statm: 556283 485038 3776 2790 0 549708 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2225132 KiB
Current children cumulated memory: 1940152 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.57
CPU time (s): 3600.12
CPU user time (s): 3595.6
CPU system time (s): 4.51985
CPU usage (%): 99.7382
Max. virtual memory (cumulated for all children) (KiB): 2225656
Max. memory (cumulated for all children) (KiB): 1940636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.6
system time used= 4.51985
maximum resident set size= 1940636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 866114
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= 93
involuntary context switches= 3237


# summary of solver processes directly reported to runsolver:
#   pid: 70613
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3595.6
#   total CPU system time (s): 4.51985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89444 second user time and 16.0162 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 14:55:11
IDJOB=4505616
IDBENCH=155767
IDSOLVER=3335
FILE ID=nodeC024/4505616-1751460911
RUNJOBID= nodeC024-1751453688-69814
SLURM_JOB_ID= 9598442
Free space on /tmp= 432188 MiB

SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505616-1751460911/watcher-4505616-1751460911 -o /tmp/evaluation-result-4505616-1751460911/solver-4505616-1751460911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751453688-69814 --watchdog 3760  ./ipbhs_scip HOME/instance-4505616-1751460911.opb --optimizer scip --max-coef 1000000000

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

MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=181342818

nodeC024 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.370
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.36
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3599.754
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.697
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.36
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.668
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.36
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		: 3700.000
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.36
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		: 3598.570
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.36
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		: 3599.683
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121624248 kB
MemAvailable:   129425900 kB
Buffers:            3280 kB
Cached:          8569780 kB
SwapCached:            0 kB
Active:           636980 kB
Inactive:        8311468 kB
Active(anon):     393456 kB
Inactive(anon):        0 kB
Active(file):     243524 kB
Inactive(file):  8311468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            387196 kB
Writeback:             8 kB
AnonPages:        376448 kB
Mapped:           106780 kB
Shmem:             18064 kB
KReclaimable:     171396 kB
Slab:             263264 kB
SReclaimable:     171396 kB
SUnreclaim:        91868 kB
KernelStack:        4096 kB
PageTables:         3544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     728848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432148 MiB
End job on nodeC024 at 2025-07-02 15:55:21