Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -1188 | 3582.28 | 3597.42 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb |
| MD5SUM | 1733aa67cc51115e0f42d9b93b5f287e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1190 |
| Best CPU time to get the best result obtained on this benchmark | 2067.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2346 |
| Total number of constraints | 209576 |
| Number of constraints which are clauses | 209576 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1983 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1983 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1983 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4521135-1751554846.opb>
0.79/0.86 c original problem has 2346 variables (2346 bin, 0 int, 0 cont) and 209576 constraints
0.79/0.86 c problem read in 0.855 seconds
1.28/1.31 o 0
1.28/1.31 c feasible solution found by trivial heuristic after 1.3 seconds, objective value 0.000000e+00
1.28/1.31 c presolving:
1.88/1.91 c (1.9s) running MILP presolver
1.99/2.10 c (2.1s) MILP presolver found nothing
2.77/2.82 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 209576 upgd conss, 0 impls, 0 clqs
3.98/4.04 c (4.0s) probing: 51/2346 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.98/4.04 c (4.0s) probing aborted: 50/50 successive totally useless probings
5.47/5.56 c (5.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.64/12.74 c (12.7s) symmetry computation finished: 43 generators found (max: 1500, log10 of symmetry group size: 50.40) (symcode time: 7.00)
12.64/12.74 c dynamic symmetry handling statistics:
12.64/12.74 c orbitopal reduction: no components
12.64/12.74 c orbital reduction: 1 components of sizes 43
12.64/12.74 c lexicographic reduction: 43 permutations with support sizes 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134, 1254, 1254, 1344, 134, 1344, 134, 134, 134, 134, 134, 134, 134, 134, 134, 134
12.64/12.74 c handled 1 out of 1 symmetry components
12.75/12.88 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
12.75/12.88 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.75/12.88 c 0 implications, 0 cliques
12.75/12.88 c presolved problem has 2346 variables (2346 bin, 0 int, 0 cont) and 209576 constraints
12.75/12.88 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
12.75/12.88 c 209576 constraints of type <logicor>
12.75/12.88 c transformed objective value is always integral (scale: 1)
12.75/12.88 c Presolving Time: 11.58
12.75/12.88 c problem pure SAT
12.75/12.88 c
12.75/12.88 c - non default parameters ----------------------------------------------------------------------
12.75/12.88 c
12.75/12.88 c # SCIP version 10.0.0
12.75/12.88 c
12.75/12.88 c # maximal time in seconds to run
12.75/12.88 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.75/12.88 c limits/time = 3596.995086
12.75/12.88 c
12.75/12.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.75/12.88 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.75/12.88 c limits/memory = 27900
12.75/12.88 c
12.75/12.88 c # belongs reading time to solving time?
12.75/12.88 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.75/12.88 c timing/reading = TRUE
12.75/12.88 c
12.75/12.88 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
12.75/12.88 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
12.75/12.88 c reading/opbreader/maxintsize = 47
12.75/12.88 c
12.75/12.88 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
12.75/12.88 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
12.75/12.88 c propagating/genvbounds/timingmask = 0
12.75/12.88 c
12.75/12.88 c -----------------------------------------------------------------------------------------------
12.75/12.89 c transformed 1/1 original solutions to the transformed problem space
12.75/12.89 c
13.25/13.37 o -1082
13.25/13.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.25/13.37 c p13.4s| 1 | 0 | 0 | - | locks| 0 |2346 | 209k| 209k| 0 | 0 | 0 | 0 |-1.983000e+03 |-1.082000e+03 | 83.27%| unknown
191.10/191.93 c 192s| 1 | 0 | 36197 | - | 962M | 0 |2346 | 209k| 209k| 0 | 0 | 0 | 0 |-1.322000e+03 |-1.082000e+03 | 22.18%| unknown
429.14/431.12 c 431s| 1 | 2 | 46213 | - | 1008M | 0 |2346 | 209k| 209k| 0 | 1 | 0 | 43 |-1.321837e+03 |-1.082000e+03 | 22.17%| unknown
1305.38/1311.50 o -1135
1305.38/1311.50 c *1311s| 7 | 6 |187354 |25192.8 | LP | 4 |2346 | 209k| 209k| 0 | 1 | 0 | 180 |-1.321645e+03 |-1.135000e+03 | 16.44%| unknown
1831.69/1840.20 o -1188
1831.69/1840.20 c *1840s| 11 | 6 |273557 |23736.0 | LP | 5 |2346 | 209k| 209k| 0 | 1 | 0 | 245 |-1.309474e+03 |-1.188000e+03 | 10.23%| 13.67%
3581.75/3597.00 c
3581.75/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3581.75/3597.01 c Solving Time (sec) : 3597.00
3581.75/3597.01 c Solving Nodes : 22
3581.75/3597.01 c Primal Bound : -1.18800000000000e+03 (4 solutions)
3581.75/3597.01 c Dual Bound : -1.29808229387756e+03
3581.75/3597.01 c Gap : 9.27 %
3581.87/3597.05 s SATISFIABLE
3581.87/3597.05 v -x1 -x7 -x13 -x19 -x25 -x31 -x37 -x43 -x49 -x55 -x61 -x67 -x2 -x8 -x14 -x20 -x26 -x32 -x38 -x44 -x50 -x56 -x62 -x68 x3 x9 x15 x21
3581.87/3597.05 v x27 x33 x39 x45 x51 x57 x63 x4 x10 x16 x22 x28 x34 x40 x46 x52 x58 x64 x5 x11 x17 x23 x29 x35 x41 x47 x53 x59 x65 -x73 -x79 -x85
3581.87/3597.05 v -x91 -x97 -x103 -x109 -x115 -x121 -x127 -x133 -x69 -x75 -x81 -x87 -x93 -x99 -x105 -x111 -x117 -x123 -x129 -x135 x70 x76 x82 x88
3581.87/3597.05 v x94 x100 x106 x112 x118 x124 x130 x71 x77 x83 x89 x95 x101 x107 x113 x119 x125 x131 x72 x78 x84 x90 x96 x102 x108 x114 x120 x126
3581.87/3597.05 v x132 -x139 -x145 -x151 -x157 -x163 -x169 -x175 -x181 -x187 -x193 -x199 -x140 -x146 -x152 -x158 -x164 -x170 -x176 -x182 -x188 -x194
3581.87/3597.05 v -x200 x136 x142 x148 x154 x160 x166 x172 x178 x184 x190 x196 x137 x143 x149 x155 x161 x167 x173 x179 x185 x191 x197 x138 x144 x150
3581.87/3597.05 v x156 x162 x168 x174 x180 x186 x192 x198 x204 x210 x216 x222 x228 x234 x240 x246 x252 x258 x264 x205 x211 x217 x223 x229 x235 x241
3581.87/3597.05 v x247 x253 x259 x265 x206 x212 x218 x224 x230 x236 x242 x248 x254 x260 x266 -x202 -x208 -x214 -x220 -x226 -x232 -x238 -x244 -x250
3581.87/3597.05 v -x256 -x262 -x203 -x209 -x215 -x221 -x227 -x233 -x239 -x245 -x251 -x257 -x263 x268 x274 x280 x286 x292 x298 x304 x310 x316 x322
3581.87/3597.05 v x328 x269 x275 x281 x287 x293 x299 x305 x311 x317 x323 x329 x270 x276 x282 x288 x294 x300 x306 x312 x318 x324 x330 -x271 -x277 -x283
3581.87/3597.05 v -x289 -x295 -x301 -x307 -x313 -x319 -x325 -x267 -x273 -x279 -x285 -x291 -x297 -x303 -x309 -x315 -x321 -x327 x331 x337 x343 x349
3581.87/3597.05 v x355 x361 x367 x373 x379 x385 x391 x332 x338 x344 x350 x356 x362 x368 x374 x380 x386 x392 x333 x339 x345 x351 x357 x363 x369 x375
3581.87/3597.05 v x381 x387 x393 -x334 -x340 -x346 -x352 -x358 -x364 -x370 -x376 -x382 -x388 -x335 -x341 -x347 -x353 -x359 -x365 -x371 -x377 -x383
3581.87/3597.05 v -x389 -x394 -x400 -x406 -x412 -x418 -x424 -x430 -x436 -x442 -x448 -x454 -x395 -x401 -x407 -x413 -x419 -x425 -x431 -x437 -x443 -x449
3581.87/3597.05 v -x455 x396 x402 x408 x414 x420 x426 x432 x438 x444 x450 x397 x403 x409 x415 x421 x427 x433 x439 x445 x451 x398 x404 x410 x416 x422
3581.87/3597.05 v x428 x434 x440 x446 x452 -x460 -x466 -x472 -x478 -x484 -x490 -x496 -x502 -x508 -x514 -x456 -x462 -x468 -x474 -x480 -x486 -x492 -x498
3581.87/3597.05 v -x504 -x510 -x516 x457 x463 x469 x475 x481 x487 x493 x499 x505 x511 x458 x464 x470 x476 x482 x488 x494 x500 x506 x512 x459 x465
3581.87/3597.05 v x471 x477 x483 x489 x495 x501 x507 x513 -x520 -x526 -x532 -x538 -x544 -x550 -x556 -x562 -x568 -x574 -x521 -x527 -x533 -x539 -x545
3581.87/3597.05 v -x551 -x557 -x563 -x569 -x575 x517 x523 x529 x535 x541 x547 x553 x559 x565 x571 x518 x524 x530 x536 x542 x548 x554 x560 x566 x572
3581.87/3597.05 v x519 x525 x531 x537 x543 x549 x555 x561 x567 x573 x579 x585 x591 x597 x603 x609 x615 x621 x627 x633 x580 x586 x592 x598 x604 x610
3581.87/3597.05 v x616 x622 x628 x634 x581 x587 x593 x599 x605 x611 x617 x623 x629 x635 -x577 -x583 -x589 -x595 -x601 -x607 -x613 -x619 -x625 -x631
3581.87/3597.05 v -x578 -x584 -x590 -x596 -x602 -x608 -x614 -x620 -x626 -x632 x637 x643 x649 x655 x661 x667 x673 x679 x685 x691 x638 x644 x650 x656
3581.87/3597.05 v x662 x668 x674 x680 x686 x692 x639 x645 x651 x657 x663 x669 x675 x681 x687 x693 -x640 -x646 -x652 -x658 -x664 -x670 -x676 -x682
3581.87/3597.05 v -x688 -x636 -x642 -x648 -x654 -x660 -x666 -x672 -x678 -x684 -x690 x694 x700 x706 x712 x718 x724 x730 x736 x742 x748 x695 x701 x707
3581.87/3597.05 v x713 x719 x725 x731 x737 x743 x749 x696 x702 x708 x714 x720 x726 x732 x738 x744 x750 -x697 -x703 -x709 -x715 -x721 -x727 -x733 -x739
3581.87/3597.05 v -x745 -x698 -x704 -x710 -x716 -x722 -x728 -x734 -x740 -x746 -x751 -x757 -x763 -x769 -x775 -x781 -x787 -x793 -x799 -x805 -x752 -x758
3581.87/3597.05 v -x764 -x770 -x776 -x782 -x788 -x794 -x800 -x806 x753 x759 x765 x771 x777 x783 x789 x795 x801 x754 x760 x766 x772 x778 x784 x790
3581.87/3597.05 v x796 x802 x755 x761 x767 x773 x779 x785 x791 x797 x803 -x811 -x817 -x823 -x829 -x835 -x841 -x847 -x853 -x859 -x807 -x813 -x819 -x825
3581.87/3597.05 v -x831 -x837 -x843 -x849 -x855 -x861 x808 x814 x820 x826 x832 x838 x844 x850 x856 x809 x815 x821 x827 x833 x839 x845 x851 x857 x810
3581.87/3597.05 v x816 x822 x828 x834 x840 x846 x852 x858 -x865 -x871 -x877 -x883 -x889 -x895 -x901 -x907 -x913 -x866 -x872 -x878 -x884 -x890 -x896
3581.87/3597.05 v -x902 -x908 -x914 x862 x868 x874 x880 x886 x892 x898 x904 x910 x863 x869 x875 x881 x887 x893 x899 x905 x911 x864 x870 x876 x882
3581.87/3597.05 v x888 x894 x900 x906 x912 x918 x924 x930 x936 x942 x948 x954 x960 x966 x919 x925 x931 x937 x943 x949 x955 x961 x967 x920 x926 x932
3581.87/3597.05 v x938 x944 x950 x956 x962 x968 -x916 -x922 -x928 -x934 -x940 -x946 -x952 -x958 -x964 -x917 -x923 -x929 -x935 -x941 -x947 -x953 -x959
3581.87/3597.05 v -x965 x970 x976 x982 x988 x994 x1000 x1006 x1012 x1018 x971 x977 x983 x989 x995 x1001 x1007 x1013 x1019 x972 x978 x984 x990 x996
3581.87/3597.05 v x1002 x1008 x1014 x1020 -x973 -x979 -x985 -x991 -x997 -x1003 -x1009 -x1015 -x969 -x975 -x981 -x987 -x993 -x999 -x1005 -x1011 -x1017
3581.87/3597.05 v x1021 x1027 x1033 x1039 x1045 x1051 x1057 x1063 x1069 x1022 x1028 x1034 x1040 x1046 x1052 x1058 x1064 x1070 x1023 x1029 x1035 x1041
3581.87/3597.05 v x1047 x1053 x1059 x1065 x1071 -x1024 -x1030 -x1036 -x1042 -x1048 -x1054 -x1060 -x1066 -x1025 -x1031 -x1037 -x1043 -x1049 -x1055
3581.87/3597.05 v -x1061 -x1067 -x1072 -x1078 -x1084 -x1090 -x1096 -x1102 -x1108 -x1114 -x1120 -x1073 -x1079 -x1085 -x1091 -x1097 -x1103 -x1109 -x1115
3581.87/3597.05 v -x1121 x1074 x1080 x1086 x1092 x1098 x1104 x1110 x1116 x1075 x1081 x1087 x1093 x1099 x1105 x1111 x1117 x1076 x1082 x1088 x1094 x1100
3581.87/3597.05 v x1106 x1112 x1118 -x1126 -x1132 -x1138 -x1144 -x1150 -x1156 -x1162 -x1168 -x1122 -x1128 -x1134 -x1140 -x1146 -x1152 -x1158 -x1164
3581.87/3597.05 v -x1170 x1123 x1129 x1135 x1141 x1147 x1153 x1159 x1165 x1124 x1130 x1136 x1142 x1148 x1154 x1160 x1166 x1125 x1131 x1137 x1143 x1149
3581.87/3597.05 v x1155 x1161 x1167 -x1174 -x1180 -x1186 -x1192 -x1198 -x1204 -x1210 -x1216 -x1175 -x1181 -x1187 -x1193 -x1199 -x1205 -x1211 -x1217
3581.87/3597.05 v x1171 x1177 x1183 x1189 x1195 x1201 x1207 x1213 x1172 x1178 x1184 x1190 x1196 x1202 x1208 x1214 x1173 x1179 x1185 x1191 x1197 x1203
3581.87/3597.05 v x1209 x1215 x1221 x1227 x1233 x1239 x1245 x1251 x1257 x1263 x1222 x1228 x1234 x1240 x1246 x1252 x1258 x1264 x1223 x1229 x1235 x1241
3581.87/3597.05 v x1247 x1253 x1259 x1265 -x1219 -x1225 -x1231 -x1237 -x1243 -x1249 -x1255 -x1261 -x1220 -x1226 -x1232 -x1238 -x1244 -x1250 -x1256
3581.87/3597.05 v -x1262 x1267 x1273 x1279 x1285 x1291 x1297 x1303 x1309 x1268 x1274 x1280 x1286 x1292 x1298 x1304 x1310 x1269 x1275 x1281 x1287 x1293
3581.87/3597.05 v x1299 x1305 x1311 -x1270 -x1276 -x1282 -x1288 -x1294 -x1300 -x1306 -x1266 -x1272 -x1278 -x1284 -x1290 -x1296 -x1302 -x1308 x1312
3581.87/3597.05 v x1318 x1324 x1330 x1336 x1342 x1348 x1354 x1313 x1319 x1325 x1331 x1337 x1343 x1349 x1355 x1314 x1320 x1326 x1332 x1338 x1344 x1350
3581.87/3597.05 v x1356 -x1315 -x1321 -x1327 -x1333 -x1339 -x1345 -x1351 -x1316 -x1322 -x1328 -x1334 -x1340 -x1346 -x1352 -x1357 -x1363 -x1369 -x1375
3581.87/3597.05 v -x1381 -x1387 -x1393 -x1399 -x1358 -x1364 -x1370 -x1376 -x1382 -x1388 -x1394 -x1400 x1359 x1365 x1371 x1377 x1383 x1389 x1395 x1360
3581.87/3597.05 v x1366 x1372 x1378 x1384 x1390 x1396 x1361 x1367 x1373 x1379 x1385 x1391 x1397 -x1405 -x1411 -x1417 -x1423 -x1429 -x1435 -x1441 -x1401
3581.87/3597.05 v -x1407 -x1413 -x1419 -x1425 -x1431 -x1437 -x1443 x1402 x1408 x1414 x1420 x1426 x1432 x1438 x1403 x1409 x1415 x1421 x1427 x1433 x1439
3581.87/3597.05 v x1404 x1410 x1416 x1422 x1428 x1434 x1440 -x1447 -x1453 -x1459 -x1465 -x1471 -x1477 -x1483 -x1448 -x1454 -x1460 -x1466 -x1472 -x1478
3581.87/3597.05 v -x1484 x1444 x1450 x1456 x1462 x1468 x1474 x1480 x1445 x1451 x1457 x1463 x1469 x1475 x1481 x1446 x1452 x1458 x1464 x1470 x1476 x1482
3581.87/3597.05 v x1488 x1494 x1500 x1506 x1512 x1518 x1524 x1489 x1495 x1501 x1507 x1513 x1519 x1525 x1490 x1496 x1502 x1508 x1514 x1520 x1526 -x1486
3581.87/3597.05 v -x1492 -x1498 -x1504 -x1510 -x1516 -x1522 -x1487 -x1493 -x1499 -x1505 -x1511 -x1517 -x1523 x1528 x1534 x1540 x1546 x1552 x1558 x1564
3581.87/3597.05 v x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1530 x1536 x1542 x1548 x1554 x1560 x1566 -x1531 -x1537 -x1543 -x1549 -x1555 -x1561 -x1527
3581.87/3597.05 v -x1533 -x1539 -x1545 -x1551 -x1557 -x1563 x1567 x1573 x1579 x1585 x1591 x1597 x1603 x1568 x1574 x1580 x1586 x1592 x1598 x1604 x1569
3581.87/3597.05 v x1575 x1581 x1587 x1593 x1599 x1605 -x1570 -x1576 -x1582 -x1588 -x1594 -x1600 -x1571 -x1577 -x1583 -x1589 -x1595 -x1601 -x1606 -x1612
3581.87/3597.05 v -x1618 -x1624 -x1630 -x1636 -x1642 -x1607 -x1613 -x1619 -x1625 -x1631 -x1637 -x1643 x1608 x1614 x1620 x1626 x1632 x1638 x1609 x1615
3581.87/3597.05 v x1621 x1627 x1633 x1639 x1610 x1616 x1622 x1628 x1634 x1640 -x1648 -x1654 -x1660 -x1666 -x1672 -x1678 -x1644 -x1650 -x1656 -x1662
3581.87/3597.05 v -x1668 -x1674 -x1680 x1645 x1651 x1657 x1663 x1669 x1675 x1646 x1652 x1658 x1664 x1670 x1676 x1647 x1653 x1659 x1665 x1671 x1677
3581.87/3597.05 v -x1684 -x1690 -x1696 -x1702 -x1708 -x1714 -x1685 -x1691 -x1697 -x1703 -x1709 -x1715 x1681 x1687 x1693 x1699 x1705 x1711 x1682 x1688
3581.87/3597.05 v x1694 x1700 x1706 x1712 x1683 x1689 x1695 x1701 x1707 x1713 x1719 x1725 x1731 x1737 x1743 x1749 x1720 x1726 x1732 x1738 x1744 x1750
3581.87/3597.05 v x1721 x1727 x1733 x1739 x1745 x1751 -x1717 -x1723 -x1729 -x1735 -x1741 -x1747 -x1718 -x1724 -x1730 -x1736 -x1742 -x1748 x1753 x1759
3581.87/3597.05 v x1765 x1771 x1777 x1783 x1754 x1760 x1766 x1772 x1778 x1784 x1755 x1761 x1767 x1773 x1779 x1785 -x1756 -x1762 -x1768 -x1774 -x1780
3581.87/3597.05 v -x1752 -x1758 -x1764 -x1770 -x1776 -x1782 x1786 x1792 x1798 x1804 x1810 x1816 x1787 x1793 x1799 x1805 x1811 x1817 x1788 x1794 x1800
3581.87/3597.05 v x1806 x1812 x1818 -x1789 -x1795 -x1801 -x1807 -x1813 -x1790 -x1796 -x1802 -x1808 -x1814 -x1819 -x1825 -x1831 -x1837 -x1843 -x1849
3581.87/3597.05 v -x1820 -x1826 -x1832 -x1838 -x1844 -x1850 x1821 x1827 x1833 x1839 x1845 x1822 x1828 x1834 x1840 x1846 x1823 x1829 x1835 x1841 x1847
3581.87/3597.05 v -x1855 -x1861 -x1867 -x1873 -x1879 -x1851 -x1857 -x1863 -x1869 -x1875 -x1881 x1852 x1858 x1864 x1870 x1876 x1853 x1859 x1865 x1871
3581.87/3597.05 v x1877 x1854 x1860 x1866 x1872 x1878 -x1885 -x1891 -x1897 -x1903 -x1909 -x1886 -x1892 -x1898 -x1904 -x1910 x1882 x1888 x1894 x1900
3581.87/3597.05 v x1906 x1883 x1889 x1895 x1901 x1907 x1884 x1890 x1896 x1902 x1908 x1914 x1920 x1926 x1932 x1938 x1915 x1921 x1927 x1933 x1939 x1916
3581.87/3597.05 v x1922 x1928 x1934 x1940 -x1912 -x1918 -x1924 -x1930 -x1936 -x1913 -x1919 -x1925 -x1931 -x1937 x1942 x1948 x1954 x1960 x1966 x1943
3581.87/3597.05 v x1949 x1955 x1961 x1967 x1944 x1950 x1956 x1962 x1968 -x1945 -x1951 -x1957 -x1963 -x1941 -x1947 -x1953 -x1959 -x1965 x1969 x1975
3581.87/3597.05 v x1981 x1987 x1993 x1970 x1976 x1982 x1988 x1994 x1971 x1977 x1983 x1989 x1995 -x1972 -x1978 -x1984 -x1990 -x1973 -x1979 -x1985 -x1991
3581.87/3597.05 v -x1996 -x2002 -x2008 -x2014 -x2020 -x1997 -x2003 -x2009 -x2015 -x2021 x1998 x2004 x2010 x2016 x1999 x2005 x2011 x2017 x2000 x2006
3581.87/3597.05 v x2012 x2018 -x2026 -x2032 -x2038 -x2044 -x2022 -x2028 -x2034 -x2040 -x2046 x2023 x2029 x2035 x2041 x2024 x2030 x2036 x2042 x2025
3581.87/3597.05 v x2031 x2037 x2043 -x2050 -x2056 -x2062 -x2068 -x2051 -x2057 -x2063 -x2069 x2047 x2053 x2059 x2065 x2048 x2054 x2060 x2066 x2049
3581.87/3597.05 v x2055 x2061 x2067 x2073 x2079 x2085 x2091 x2074 x2080 x2086 x2092 x2075 x2081 x2087 x2093 -x2071 -x2077 -x2083 -x2089 -x2072 -x2078
3581.87/3597.05 v -x2084 -x2090 x2095 x2101 x2107 x2113 x2096 x2102 x2108 x2114 x2097 x2103 x2109 x2115 -x2098 -x2104 -x2110 -x2094 -x2100 -x2106
3581.87/3597.05 v -x2112 x2116 x2122 x2128 x2134 x2117 x2123 x2129 x2135 x2118 x2124 x2130 x2136 -x2119 -x2125 -x2131 -x2120 -x2126 -x2132 -x2137
3581.87/3597.05 v -x2143 -x2149 -x2155 -x2138 -x2144 -x2150 -x2156 x2139 x2145 x2151 x2140 x2146 x2152 x2141 x2147 x2153 -x2161 -x2167 -x2173 -x2157
3581.87/3597.05 v -x2163 -x2169 -x2175 x2158 x2164 x2170 x2159 x2165 x2171 x2160 x2166 x2172 -x2179 -x2185 -x2191 -x2180 -x2186 -x2192 x2176 x2182
3581.87/3597.05 v x2188 x2177 x2183 x2189 x2178 x2184 x2190 x2196 x2202 x2208 x2197 x2203 x2209 x2198 x2204 x2210 -x2194 -x2200 -x2206 -x2195 -x2201
3581.87/3597.05 v -x2207 x2212 x2218 x2224 x2213 x2219 x2225 x2214 x2220 x2226 -x2215 -x2221 -x2211 -x2217 -x2223 x2227 x2233 x2239 x2228 x2234 x2240
3581.87/3597.05 v x2229 x2235 x2241 -x2230 -x2236 -x2231 -x2237 -x2242 -x2248 -x2254 -x2243 -x2249 -x2255 x2244 x2250 x2245 x2251 x2246 x2252 -x2260
3581.87/3597.05 v -x2266 -x2256 -x2262 -x2268 x2257 x2263 x2258 x2264 x2259 x2265 -x2272 -x2278 -x2273 -x2279 x2269 x2275 x2270 x2276 x2271 x2277
3581.87/3597.05 v x2283 x2289 x2284 x2290 x2285 x2291 -x2281 -x2287 -x2282 -x2288 x2293 x2299 x2294 x2300 x2295 x2301 -x2296 -x2292 -x2298 x2302 x2308
3581.87/3597.05 v x2303 x2309 x2304 x2310 -x2305 -x2306 -x2311 -x2317 -x2312 -x2318 x2313 x2314 x2315 -x2323 -x2319 -x2325 x2320 x2321 x2322 -x2329
3581.87/3597.05 v -x2330 x2326 x2327 x2328 x2334 x2335 x2336 -x2332 -x2333 x2338 x2339 x2340 -x2337 x2341 x2342 x2343 -x2344 -x2345 -x2346 -x6 -x74
3581.87/3597.05 v -x12 -x80 -x18 -x86 -x24 -x92 -x30 -x98 -x36 -x104 -x42 -x110 -x48 -x116 -x54 -x122 -x60 -x128 -x66 -x134 -x141 -x147 -x153 -x159
3581.87/3597.05 v -x165 -x171 -x177 -x183 -x189 -x195 -x201 -x207 -x213 -x219 -x225 -x231 -x237 -x243 -x249 -x255 -x261 -x272 -x278 -x284 -x290 -x296
3581.87/3597.05 v -x302 -x308 -x314 -x320 -x326 -x336 -x342 -x348 -x354 -x360 -x366 -x372 -x378 -x384 -x390 -x399 -x405 -x411 -x417 -x423 -x429 -x435
3581.87/3597.05 v -x441 -x447 -x453 -x461 -x467 -x473 -x479 -x485 -x491 -x497 -x503 -x509 -x515 -x522 -x528 -x534 -x540 -x546 -x552 -x558 -x564 -x570
3581.87/3597.05 v -x576 -x582 -x588 -x594 -x600 -x606 -x612 -x618 -x624 -x630 -x641 -x647 -x653 -x659 -x665 -x671 -x677 -x683 -x689 -x699 -x705 -x711
3581.87/3597.05 v -x717 -x723 -x729 -x735 -x741 -x747 -x756 -x762 -x768 -x774 -x780 -x786 -x792 -x798 -x804 -x812 -x818 -x824 -x830 -x836 -x842 -x848
3581.87/3597.05 v -x854 -x860 -x867 -x873 -x879 -x885 -x891 -x897 -x903 -x909 -x915 -x921 -x927 -x933 -x939 -x945 -x951 -x957 -x963 -x974 -x980 -x986
3581.87/3597.05 v -x992 -x998 -x1004 -x1010 -x1016 -x1026 -x1032 -x1038 -x1044 -x1050 -x1056 -x1062 -x1068 -x1077 -x1083 -x1089 -x1095 -x1101 -x1107
3581.87/3597.05 v -x1113 -x1119 -x1127 -x1133 -x1139 -x1145 -x1151 -x1157 -x1163 -x1169 -x1176 -x1182 -x1188 -x1194 -x1200 -x1206 -x1212 -x1218 -x1224
3581.87/3597.05 v -x1230 -x1236 -x1242 -x1248 -x1254 -x1260 -x1271 -x1277 -x1283 -x1289 -x1295 -x1301 -x1307 -x1317 -x1323 -x1329 -x1335 -x1341 -x1347
3581.87/3597.05 v -x1353 -x1362 -x1368 -x1374 -x1380 -x1386 -x1392 -x1398 -x1406 -x1412 -x1418 -x1424 -x1430 -x1436 -x1442 -x1449 -x1455 -x1461 -x1467
3581.87/3597.05 v -x1473 -x1479 -x1485 -x1491 -x1497 -x1503 -x1509 -x1515 -x1521 -x1532 -x1538 -x1544 -x1550 -x1556 -x1562 -x1572 -x1578 -x1584 -x1590
3581.87/3597.05 v -x1596 -x1602 -x1611 -x1617 -x1623 -x1629 -x1635 -x1641 -x1649 -x1655 -x1661 -x1667 -x1673 -x1679 -x1686 -x1692 -x1698 -x1704 -x1710
3581.87/3597.05 v -x1716 -x1722 -x1728 -x1734 -x1740 -x1746 -x1757 -x1763 -x1769 -x1775 -x1781 -x1791 -x1797 -x1803 -x1809 -x1815 -x1824 -x1830 -x1836
3581.87/3597.05 v -x1842 -x1848 -x1856 -x1862 -x1868 -x1874 -x1880 -x1887 -x1893 -x1899 -x1905 -x1911 -x1917 -x1923 -x1929 -x1935 -x1946 -x1952 -x1958
3581.87/3597.05 v -x1964 -x1974 -x1980 -x1986 -x1992 -x2001 -x2007 -x2013 -x2019 -x2027 -x2033 -x2039 -x2045 -x2052 -x2058 -x2064 -x2070 -x2076 -x2082
3581.87/3597.05 v -x2088 -x2099 -x2105 -x2111 -x2121 -x2127 -x2133 -x2142 -x2148 -x2154 -x2162 -x2168 -x2174 -x2181 -x2187 -x2193 -x2199 -x2205 -x2216
3581.87/3597.05 v -x2222 -x2232 -x2238 -x2247 -x2253 -x2261 -x2267 -x2274 -x2280 -x2286 -x2297 -x2307 -x2316 -x2324 -x2331
3581.87/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3581.87/3597.05 c Total Time : 3597.00
3581.87/3597.05 c solving : 3597.00
3581.87/3597.05 c presolving : 11.58 (included in solving)
3581.87/3597.05 c reading : 0.85 (included in solving)
3581.87/3597.05 c copying : 0.27 (1 #copies) (minimal 0.27, maximal 0.27, average 0.27)
3581.87/3597.05 c Original Problem :
3581.87/3597.05 c Problem name : HOME/instance-4521135-1751554846.opb
3581.87/3597.05 c Variables : 2346 (2346 binary, 0 integer, 0 continuous)
3581.87/3597.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3581.87/3597.05 c Constraints : 209576 initial, 209576 maximal
3581.87/3597.05 c Objective : minimize, 1983 non-zeros (abs.min = 1, abs.max = 1)
3581.87/3597.05 c Presolved Problem :
3581.87/3597.05 c Problem name : t_HOME/instance-4521135-1751554846.opb
3581.87/3597.05 c Variables : 2346 (2346 binary, 0 integer, 0 continuous)
3581.87/3597.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3581.87/3597.05 c Constraints : 209576 initial, 209579 maximal
3581.87/3597.05 c Objective : minimize, 1983 non-zeros (abs.min = 1, abs.max = 1)
3581.87/3597.05 c Nonzeros : 628728 constraint, 0 clique table
3581.87/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3581.87/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c domcol : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c dualsparsify : 1.52 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c milp : 0.50 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c sparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c symmetry : 7.18 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c linear : 0.89 0.11 2 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c logicor : 0.95 0.08 3 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3581.87/3597.05 c root node : - - - 1 - - 1 - - - - -
3581.87/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3581.87/3597.05 c integral : 0 0 0 0 21 0 0 11 0 0 0 0 0 0 38
3581.87/3597.05 c linear : 0+ 3 0 86 0 0 0 3 0 1 0 0 0 0 0
3581.87/3597.05 c logicor : 209576 209576 1 1462 2 0 0 5 0 0 1578 0 0 0 0
3581.87/3597.06 c fixedvar : 0 0 0 0 2 0 0 5 0 0 0 0 0 0 0
3581.87/3597.06 c countsols : 0 0 0 0 2 0 0 5 0 0 0 0 0 0 0
3581.87/3597.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3581.87/3597.06 c integral : 1010.26 0.00 0.00 0.00 1010.26 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c linear : 0.13 0.11 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3581.87/3597.06 c logicor : 0.77 0.08 0.17 0.38 0.04 0.00 0.00 0.02 0.00 0.09
3581.87/3597.06 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
3581.87/3597.06 c dualfix : 2 0 0 0
3581.87/3597.06 c genvbounds : 0 0 0 0
3581.87/3597.06 c nlobbt : 0 0 0 0
3581.87/3597.06 c obbt : 0 0 0 0
3581.87/3597.06 c probing : 0 0 0 0
3581.87/3597.06 c pseudoobj : 66 0 0 0
3581.87/3597.06 c redcost : 3 0 0 0
3581.87/3597.06 c rootredcost : 0 0 0 0
3581.87/3597.06 c symmetry : 1186 0 0 661
3581.87/3597.06 c vbounds : 0 0 0 0
3581.87/3597.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3581.87/3597.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3581.87/3597.06 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c symmetry : 7.23 0.00 7.18 0.02 0.00 0.02
3581.87/3597.06 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3581.87/3597.06 c Symmetry :
3581.87/3597.06 c #affected vars : 2346 (2346 bin, 0 int, 0 cont)
3581.87/3597.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
3581.87/3597.06 c orbital reduction: 661 reductions applied, 0 cutoffs
3581.87/3597.06 c lexicographic red: 0 reductions applied, 0 cutoffs
3581.87/3597.06 c shadow tree time : 0.00 s
3581.87/3597.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3581.87/3597.06 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3581.87/3597.06 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3581.87/3597.06 c bound exceed. LP : 0.10 3 3 - 0 0.0 0 0.0 3 317.0 30
3581.87/3597.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3581.87/3597.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3581.87/3597.06 c applied globally : 0.00 - - 0 0 0.0 - - 3 - -
3581.87/3597.06 c applied locally : - - - 0 0 0.0 - - 0 - -
3581.87/3597.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3581.87/3597.06 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3581.87/3597.06 c aggregation : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c > cmir : - - - - - - - 0 0 0 0 0 -
3581.87/3597.06 c > flowcover : - - - - - - - 0 0 0 0 0 -
3581.87/3597.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3581.87/3597.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c gomory : 73.96 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3581.87/3597.06 c > strongcg : - - - - - - - 0 0 0 0 0 -
3581.87/3597.06 c impliedbounds : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c mcf : 0.09 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c multilinear : 0.00 0.00 6 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c rlt : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c zerohalf : 0.31 0.00 1 1 0 0 0 0 0 0 0 0 0
3581.87/3597.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3581.87/3597.06 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c Pricers : ExecTime SetupTime Calls Vars
3581.87/3597.06 c problem variables: 0.00 - 0 0
3581.87/3597.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3581.87/3597.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c relpscost : 1010.26 0.00 19 0 0 0 0 0 0 38
3581.87/3597.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3581.87/3597.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3581.87/3597.06 c LP solutions : 0.00 - - 2 2
3581.87/3597.06 c relax solutions : 0.00 - - 0 0
3581.87/3597.06 c pseudo solutions : 0.00 - - 0 0
3581.87/3597.06 c strong branching : 0.00 - - 0 0
3581.87/3597.06 c actconsdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c adaptivediving : 0.00 0.00 0 0 0
3581.87/3597.06 c alns : 0.74 0.00 1 0 0
3581.87/3597.06 c bound : 0.00 0.00 0 0 0
3581.87/3597.06 c clique : 0.00 0.00 0 0 0
3581.87/3597.06 c coefdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c completesol : 0.00 0.00 0 0 0
3581.87/3597.06 c conflictdiving : 223.43 0.00 1 0 0
3581.87/3597.06 c crossover : 0.00 0.00 0 0 0
3581.87/3597.06 c dins : 0.00 0.00 0 0 0
3581.87/3597.06 c distributiondivin: 0.02 0.00 0 0 0
3581.87/3597.06 c dks : 0.00 0.00 0 0 0
3581.87/3597.06 c dps : 0.00 0.00 0 0 0
3581.87/3597.06 c dualval : 0.00 0.00 0 0 0
3581.87/3597.06 c farkasdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c feaspump : 47.59 0.00 1 0 0
3581.87/3597.06 c fixandinfer : 0.00 0.00 0 0 0
3581.87/3597.06 c fracdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c gins : 0.00 0.00 0 0 0
3581.87/3597.06 c guideddiving : 0.00 0.00 0 0 0
3581.87/3597.06 c indicator : 0.00 0.00 0 0 0
3581.87/3597.06 c indicatordiving : 0.00 0.00 0 0 0
3581.87/3597.06 c intdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c intshifting : 0.00 0.00 0 0 0
3581.87/3597.06 c linesearchdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c localbranching : 0.00 0.00 0 0 0
3581.87/3597.06 c locks : 0.51 0.00 1 1 1
3581.87/3597.06 c lpface : 0.00 0.00 0 0 0
3581.87/3597.06 c mpec : 0.00 0.00 0 0 0
3581.87/3597.06 c multistart : 0.00 0.00 0 0 0
3581.87/3597.06 c mutation : 0.00 0.00 0 0 0
3581.87/3597.06 c nlpdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c objpscostdiving : 0.00 0.00 0 0 0
3581.87/3597.06 c octane : 0.00 0.00 0 0 0
3581.87/3597.06 c ofins : 0.00 0.00 0 0 0
3581.87/3597.06 c oneopt : 0.04 0.00 3 0 0
3581.87/3597.06 c padm : 0.00 0.00 0 0 0
3581.87/3597.06 c proximity : 0.00 0.00 0 0 0
3581.87/3597.06 c pscostdiving : 462.82 0.00 1 0 0
3581.87/3597.06 c randrounding : 0.16 0.00 1 0 0
3581.87/3597.06 c rens : 0.00 0.00 0 0 0
3581.87/3597.06 c reoptsols : 0.00 0.00 0 0 0
3581.87/3597.06 c repair : 0.00 0.00 0 0 0
3581.87/3597.06 c rins : 0.00 0.00 0 0 0
3581.87/3597.06 c rootsoldiving : 0.00 0.00 0 0 0
3581.87/3597.06 c rounding : 0.92 0.00 19 0 0
3581.87/3597.06 c scheduler : 0.00 0.00 0 0 0
3581.87/3597.06 c shiftandpropagate: 0.00 0.00 0 0 0
3581.87/3597.06 c shifting : 0.13 0.00 1 0 0
3581.87/3597.06 c simplerounding : 0.00 0.00 0 0 0
3581.87/3597.06 c subnlp : 0.00 0.00 0 0 0
3581.87/3597.06 c trivial : 0.02 0.00 2 1 1
3581.87/3597.06 c trivialnegation : 0.00 0.00 0 0 0
3581.87/3597.06 c trustregion : 0.00 0.00 0 0 0
3581.87/3597.06 c trysol : 0.00 0.00 0 0 0
3581.87/3597.06 c twoopt : 0.00 0.00 0 0 0
3581.87/3597.06 c undercover : 0.00 0.00 0 0 0
3581.87/3597.06 c vbounds : 0.00 0.00 0 0 0
3581.87/3597.06 c veclendiving : 0.00 0.00 0 0 0
3581.87/3597.06 c zeroobj : 0.00 0.00 0 0 0
3581.87/3597.06 c zirounding : 0.39 0.00 18 0 0
3581.87/3597.06 c other solutions : - - - 0 -
3581.87/3597.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3581.87/3597.06 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3581.87/3597.06 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3581.87/3597.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3581.87/3597.06 c primal LP : 0.00 0 0 0.00 - 0.00 0
3581.87/3597.06 c dual LP : 1761.94 23 449500 20431.82 255.12 0.03 1
3581.87/3597.06 c lex dual LP : 0.00 0 0 0.00 -
3581.87/3597.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3581.87/3597.06 c resolve instable : 0.03 0 0 0.00 0.00
3581.87/3597.06 c diving/probing LP: 739.04 21 176569 8408.05 238.92
3581.87/3597.06 c strong branching : 1000.21 433 356835 824.10 356.76 - - 746
3581.87/3597.06 c (at root node) : - 43 40593 944.02 -
3581.87/3597.06 c conflict analysis: 0.09 3 30 10.00 344.06
3581.87/3597.06 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3581.87/3597.06 c benders : 0.00 0 0 0 0.00 0 0 0
3581.87/3597.06 c B&B Tree :
3581.87/3597.06 c number of runs : 1
3581.87/3597.06 c nodes : 22 (19 internal, 3 leaves)
3581.87/3597.06 c feasible leaves : 2
3581.87/3597.06 c infeas. leaves : 0
3581.87/3597.06 c objective leaves : 1
3581.87/3597.06 c nodes (total) : 22 (19 internal, 3 leaves)
3581.87/3597.06 c nodes left : 15
3581.87/3597.06 c max depth : 8
3581.87/3597.06 c max depth (total): 8
3581.87/3597.06 c backtracks : 11 (50.0%)
3581.87/3597.06 c early backtracks : 0 (0.0%)
3581.87/3597.06 c nodes exc. ref. : 0 (0.0%)
3581.87/3597.06 c delayed cutoffs : 0
3581.87/3597.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3581.87/3597.06 c avg switch length: 2.68
3581.87/3597.06 c switching time : 0.05
3581.87/3597.06 c Root Node :
3581.87/3597.06 c First LP value : -1.32200000000000e+03
3581.87/3597.06 c First LP Iters : 36197 (202.84 Iter/sec)
3581.87/3597.06 c First LP Time : 178.45
3581.87/3597.06 c Final Dual Bound : -1.32183652312243e+03
3581.87/3597.06 c Final Root Iters : 36197
3581.87/3597.06 c Root LP Estimate : -1.24422014362898e+03
3581.87/3597.06 c Solution :
3581.87/3597.06 c Solutions found : 4 (4 improvements)
3581.87/3597.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 1.29 seconds, depth 0, found by <trivial>)
3581.87/3597.06 c Gap First Sol. : infinite
3581.87/3597.06 c Gap Last Sol. : 10.23 %
3581.87/3597.06 c Primal Bound : -1.18800000000000e+03 (in run 1, after 22 nodes, 3597.00 seconds, depth 8, found by <relaxation>)
3581.87/3597.06 c Dual Bound : -1.29808229387756e+03
3581.87/3597.06 c Gap : 9.27 %
3581.87/3597.06 c Integrals : Total Avg%
3581.87/3597.06 c primal-dual : 53408.17 14.85
3581.87/3597.06 c primal-ref : - - (not evaluated)
3581.87/3597.06 c dual-ref : - - (not evaluated)
3582.25/3597.40 c Time complete (sec): 3582.274
OK -1188
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (59813 MiB free)
memory of node 1: 64465 MiB (59650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521135-1751554846/watcher-4521135-1751554846 -o /tmp/evaluation-result-4521135-1751554846/solver-4521135-1751554846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78154 --watchdog 3760 pbsolver -f HOME/instance-4521135-1751554846.opb -t 3600 -m 31000
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
solver pid=80705, runsolver pid=80702
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.15 4.10 4.09 5/250 80706
/proc/meminfo: memFree=122331084/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=35676 memory=25472 CPUtime=0.1 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 4420 0 0 0 9 1 0 0 20 0 1 0 71163996 36532224 6368 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 8919 6368 2176 2575 0 5826 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35676 KiB
Current children cumulated memory: 25472 KiB
[startup+0.213228 s]*
/proc/loadavg: 4.15 4.10 4.09 5/250 80706
/proc/meminfo: memFree=122323272/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=48288 memory=37888 CPUtime=0.21 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 7538 0 0 0 19 2 0 0 20 0 1 0 71163996 49446912 9472 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 12072 9472 2176 2575 0 8979 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 37888 KiB
[startup+0.31306 s]*
/proc/loadavg: 4.15 4.10 4.09 5/250 80706
/proc/meminfo: memFree=122315208/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=58664 memory=47744 CPUtime=0.31 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 10005 0 0 0 28 3 0 0 20 0 1 0 71163996 60071936 11936 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 14666 11936 2176 2575 0 11573 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58664 KiB
Current children cumulated memory: 47744 KiB
[startup+0.700315 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 80706
/proc/meminfo: memFree=122291016/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=106016 memory=95104 CPUtime=0.69 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 21840 0 0 0 63 6 0 0 20 0 1 0 71163996 108560384 23776 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 26504 23776 2176 2575 0 23411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106016 KiB
Current children cumulated memory: 95104 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 80706
/proc/meminfo: memFree=122186436/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=315120 memory=302776 CPUtime=1.48 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 74281 0 0 0 131 17 0 0 20 0 1 0 71163996 322682880 75694 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 78780 75694 2400 2575 0 75687 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 315120 KiB
Current children cumulated memory: 302776 KiB
[startup+3.11316 s]
/proc/loadavg: 4.30 4.13 4.10 5/250 80706
/proc/meminfo: memFree=121840996/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=449484 memory=435620 CPUtime=3.09 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 115237 0 0 0 283 26 0 0 20 0 1 0 71163996 460271616 108905 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 112371 108905 2496 2575 0 109278 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 449484 KiB
Current children cumulated memory: 435620 KiB
[startup+6.30031 s]
/proc/loadavg: 4.30 4.13 4.10 5/250 80706
/proc/meminfo: memFree=121450328/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1043324 memory=947412 CPUtime=6.27 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 145051 0 0 0 587 40 0 0 20 0 1 0 71163996 1068363776 236853 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 260831 236853 2560 2575 0 257738 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1043324 KiB
Current children cumulated memory: 947412 KiB
[startup+12.7003 s]
/proc/loadavg: 4.35 4.15 4.11 5/250 80706
/proc/meminfo: memFree=121405776/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1043324 memory=947924 CPUtime=12.64 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 145200 0 0 0 1224 40 0 0 20 0 1 0 71163996 1068363776 236981 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 260831 236981 2560 2575 0 257738 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1043324 KiB
Current children cumulated memory: 947924 KiB
[startup+25.5004 s]
/proc/loadavg: 4.50 4.19 4.12 5/250 80717
/proc/meminfo: memFree=121324508/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1070708 memory=999864 CPUtime=25.4 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 174821 0 0 0 2494 46 0 0 20 0 1 0 71163996 1096404992 249966 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 267677 249966 2656 2575 0 264584 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1070708 KiB
Current children cumulated memory: 999864 KiB
[startup+51.1133 s]
/proc/loadavg: 4.75 4.27 4.15 5/250 80718
/proc/meminfo: memFree=121335652/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1073244 memory=1003192 CPUtime=50.92 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 175640 0 0 0 5046 46 0 0 20 0 1 0 71163996 1099001856 250798 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 268311 250798 2656 2575 0 265218 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1073244 KiB
Current children cumulated memory: 1003192 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.26 4.15 5/251 80722
/proc/meminfo: memFree=121326368/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1076568 memory=1004984 CPUtime=101.92 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 176106 0 0 0 10145 47 0 0 20 0 1 0 71163996 1102405632 251246 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 269142 251246 2656 2575 0 266049 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1076568 KiB
Current children cumulated memory: 1004984 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.24 4.15 5/250 80813
/proc/meminfo: memFree=119753908/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1076568 memory=1005240 CPUtime=161.64 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 176208 0 0 0 16114 50 0 0 20 0 1 0 71163996 1102405632 251310 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 269142 251310 2656 2575 0 266049 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1076568 KiB
Current children cumulated memory: 1005240 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.22 4.15 5/250 80815
/proc/meminfo: memFree=119775968/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1081480 memory=1009464 CPUtime=221.35 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 177243 0 0 0 22085 50 0 0 20 0 1 0 71163996 1107435520 252366 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 270370 252366 2688 2575 0 267277 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 1081480 KiB
Current children cumulated memory: 1009464 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/251 80822
/proc/meminfo: memFree=119320864/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1122356 memory=1031608 CPUtime=281.07 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 182784 0 0 0 28056 51 0 0 20 0 1 0 71163996 1149292544 257902 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 280589 257902 2688 2575 0 277496 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 1122356 KiB
Current children cumulated memory: 1031608 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/251 80824
/proc/meminfo: memFree=119266964/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1169344 CPUtime=340.77 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 234817 0 0 0 34018 59 0 0 20 0 1 0 71163996 1291137024 292336 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292336 2688 2575 0 312126 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1169344 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/250 80826
/proc/meminfo: memFree=119265192/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1169344 CPUtime=400.47 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 234854 0 0 0 39987 60 0 0 20 0 1 0 71163996 1291137024 292336 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292336 2688 2575 0 312126 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1169344 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/250 80828
/proc/meminfo: memFree=119259260/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1169600 CPUtime=460.19 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 234914 0 0 0 45958 61 0 0 20 0 1 0 71163996 1291137024 292400 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292400 2688 2575 0 312126 0
Current children cumulated CPU time: 460.19 s
################
# More data... #
################
/proc/loadavg: 4.15 4.22 4.18 5/250 81002
/proc/meminfo: memFree=120144528/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1169728 CPUtime=3148.58 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 235181 0 0 0 314773 85 0 0 20 0 1 0 71163996 1291137024 292432 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292432 2688 2575 0 312126 0
Current children cumulated CPU time: 3148.58 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1169728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/250 81004
/proc/meminfo: memFree=120160756/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1169728 CPUtime=3208.35 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 235181 0 0 0 320750 85 0 0 20 0 1 0 71163996 1291137024 292432 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292432 2688 2575 0 312126 0
Current children cumulated CPU time: 3208.35 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1169728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 81010
/proc/meminfo: memFree=120123284/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1170496 CPUtime=3268.15 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 235216 0 0 0 326729 86 0 0 20 0 1 0 71163996 1291137024 292624 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 292624 2688 2575 0 312126 0
Current children cumulated CPU time: 3268.15 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1170496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/250 81012
/proc/meminfo: memFree=120123644/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1260876 memory=1172288 CPUtime=3327.95 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 235221 0 0 0 332709 86 0 0 20 0 1 0 71163996 1291137024 293072 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315219 293072 2688 2575 0 312126 0
Current children cumulated CPU time: 3327.95 s
Current children cumulated vsize: 1260876 KiB
Current children cumulated memory: 1172288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/250 81014
/proc/meminfo: memFree=120100980/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1174720 CPUtime=3387.77 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236450 0 0 0 338690 87 0 0 20 0 1 0 71163996 1293320192 293680 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 293680 2688 2575 0 312659 0
Current children cumulated CPU time: 3387.77 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1174720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/250 81016
/proc/meminfo: memFree=120094624/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1176256 CPUtime=3447.58 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236450 0 0 0 344671 87 0 0 20 0 1 0 71163996 1293320192 294064 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294064 2688 2575 0 312659 0
Current children cumulated CPU time: 3447.58 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1176256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/249 81032
/proc/meminfo: memFree=122405728/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1176768 CPUtime=3507.37 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236456 0 0 0 350650 87 0 0 20 0 1 0 71163996 1293320192 294192 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294192 2688 2575 0 312659 0
Current children cumulated CPU time: 3507.37 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1176768 KiB
[startup+3582.3 s]
/proc/loadavg: 3.47 3.95 4.09 4/244 81050
/proc/meminfo: memFree=122382588/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3567.2 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 356633 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3567.2 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3597.42 s]
# the end of solver process 80705 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.38 s, system=0.900847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.43 3.93 4.08 4/244 81050
/proc/meminfo: memFree=122380976/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3568.9 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 356803 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3568.9 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3590.4 s]
/proc/loadavg: 3.39 3.91 4.07 4/244 81051
/proc/meminfo: memFree=122380976/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3575.27 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 357440 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3593.6 s]
/proc/loadavg: 3.39 3.91 4.07 4/244 81051
/proc/meminfo: memFree=122381220/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3578.46 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 357759 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3578.46 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3595.2 s]
/proc/loadavg: 3.36 3.90 4.07 4/244 81051
/proc/meminfo: memFree=122381472/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3580.06 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 357919 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3596.8 s]
/proc/loadavg: 3.36 3.90 4.07 4/244 81051
/proc/meminfo: memFree=122381472/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3581.66 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236460 0 0 0 358079 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3597.2 s]
/proc/loadavg: 3.36 3.90 4.07 4/244 81051
/proc/meminfo: memFree=122381472/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1263008 memory=1179584 CPUtime=3582.05 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236509 0 0 0 358118 87 0 0 20 0 1 0 71163996 1293320192 294896 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 315752 294896 2688 2575 0 312659 0
Current children cumulated CPU time: 3582.05 s
Current children cumulated vsize: 1263008 KiB
Current children cumulated memory: 1179584 KiB
[startup+3597.4 s]
/proc/loadavg: 3.36 3.90 4.07 4/244 81051
/proc/meminfo: memFree=122381472/131382116 swapFree=33009904/33010684
[pid=80705] ppid=80702 vsize=1169212 memory=1085668 CPUtime=3582.25 cores=5,7
/proc/80705/stat : 80705 (pbsolver) R 80702 80705 78141 0 -1 4194304 236509 0 0 0 358137 88 0 0 20 0 1 0 71163996 1197273088 271523 18446744073709551615 4198400 14743177 140728623449104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 33841152 140728623450506 140728623450602 140728623450602 140728623456204 0
/proc/80705/statm: 292303 271523 2688 2575 0 289210 0
Current children cumulated CPU time: 3582.25 s
Current children cumulated vsize: 1169212 KiB
Current children cumulated memory: 1085668 KiB
Child status: 0
Real time (s): 3597.42
CPU time (s): 3582.28
CPU user time (s): 3581.38
CPU system time (s): 0.900847
CPU usage (%): 99.5793
Max. virtual memory (cumulated for all children) (KiB): 1335236
Max. memory (cumulated for all children) (KiB): 1239736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.38
system time used= 0.900847
maximum resident set size= 1239736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236509
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= 26
involuntary context switches= 1069
# summary of solver processes directly reported to runsolver:
# pid: 80705
# total CPU time (s): 3582.28
# total CPU user time (s): 3581.38
# total CPU system time (s): 0.900847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4817 second user time and 36.5134 second system time
The end
Begin job on nodeC010 at 2025-07-03 17:00:46 IDJOB=4521135 IDBENCH=178227 IDSOLVER=3366 FILE ID=nodeC010/4521135-1751554846 RUNJOBID= nodeC010-1751547548-78154 SLURM_JOB_ID= 9598719 Free space on /tmp= 429920 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521135-1751554846/watcher-4521135-1751554846 -o /tmp/evaluation-result-4521135-1751554846/solver-4521135-1751554846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78154 --watchdog 3760 pbsolver -f HOME/instance-4521135-1751554846.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e RANDOM SEED=116030878 nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.352 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3691.646 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.314 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3662.357 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.533 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 122331084 kB MemAvailable: 125707988 kB Buffers: 2128 kB Cached: 4175672 kB SwapCached: 24 kB Active: 4835320 kB Inactive: 3589720 kB Active(anon): 4258840 kB Inactive(anon): 6336 kB Active(file): 576480 kB Inactive(file): 3583384 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21712 kB Writeback: 4 kB AnonPages: 4244800 kB Mapped: 136516 kB Shmem: 17936 kB KReclaimable: 113332 kB Slab: 197852 kB SReclaimable: 113332 kB SUnreclaim: 84520 kB KernelStack: 4032 kB PageTables: 11460 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 4895996 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2830336 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429932 MiB End job on nodeC010 at 2025-07-03 18:00:44