0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4458767-1721868720.opb>
0.09/0.18 c original problem has 1485 variables (1485 bin, 0 int, 0 impl, 0 cont) and 104940 constraints
0.09/0.18 c problem read in 0.18
0.30/0.31 o 0
0.30/0.31 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.30/0.31 c presolving:
0.49/0.54 c (0.5s) running MILP presolver
0.60/0.63 c (0.6s) MILP presolver found nothing
0.79/0.84 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 104940 upgd conss, 0 impls, 0 clqs
1.29/1.30 c (1.3s) probing: 51/1485 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.30 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.98/2.05 c (2.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.09/3.12 c (3.1s) symmetry computation finished: 54 generators found (max: 1500, log10 of symmetry group size: 40.0) (symcode time: 0.98)
3.09/3.12 c dynamic symmetry handling statistics:
3.09/3.12 c orbitopal reduction: no components
3.09/3.12 c orbital reduction: 1 components of sizes 54
3.09/3.12 c lexicographic reduction: 54 permutations with support sizes 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 946, 106, 946, 106, 946, 106, 946
3.09/3.12 c handled 1 out of 1 symmetry components
3.09/3.18 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.09/3.18 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/3.18 c 0 implications, 0 cliques
3.09/3.18 c presolved problem has 1485 variables (1485 bin, 0 int, 0 impl, 0 cont) and 104940 constraints
3.09/3.18 c 104940 constraints of type <logicor>
3.09/3.18 c transformed objective value is always integral (scale: 1)
3.09/3.18 c Presolving Time: 2.88
3.09/3.18 c - non default parameters ----------------------------------------------------------------------
3.09/3.18 c # SCIP version 10.0.0
3.09/3.18 c
3.09/3.18 c # maximal time in seconds to run
3.09/3.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.09/3.18 c limits/time = 3596.997044
3.09/3.18 c
3.09/3.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.09/3.18 c limits/memory = 27900
3.09/3.18 c
3.09/3.18 c # belongs reading time to solving time?
3.09/3.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c timing/reading = TRUE
3.09/3.18 c
3.09/3.18 c -----------------------------------------------------------------------------------------------
3.09/3.18 c start solving
3.09/3.18 c transformed 1/1 original solutions to the transformed problem space
3.09/3.19 c
3.28/3.38 o -726
3.28/3.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.28/3.38 c p 3.4s| 1 | 0 | 0 | - | locks| 0 |1485 | 104k| 104k| 0 | 0 | 0 | 0 |-1.210000e+03 |-7.260000e+02 | 66.67%| unknown
65.72/65.94 c 65.9s| 1 | 0 | 29263 | - | 521M | 0 |1485 | 104k| 104k| 0 | 0 | 0 | 0 |-8.066667e+02 |-7.260000e+02 | 11.11%| unknown
72.71/72.97 c 73.0s| 1 | 0 | 35002 | - | 572M | 0 |1485 | 104k| 104k| 1 | 1 | 0 | 0 |-8.063333e+02 |-7.260000e+02 | 11.07%| unknown
79.29/79.52 c 79.5s| 1 | 0 | 38225 | - | 612M | 0 |1485 | 104k| 104k| 2 | 2 | 0 | 0 |-8.061840e+02 |-7.260000e+02 | 11.04%| unknown
82.98/83.27 c 83.3s| 1 | 0 | 40739 | - | 661M | 0 |1485 | 104k| 104k| 3 | 3 | 0 | 0 |-8.061158e+02 |-7.260000e+02 | 11.04%| unknown
89.16/89.42 c 89.4s| 1 | 0 | 43891 | - | 694M | 0 |1485 | 104k| 104k| 4 | 4 | 1 | 0 |-8.060416e+02 |-7.260000e+02 | 11.03%| unknown
94.55/94.83 c 94.8s| 1 | 0 | 43919 | - | 726M | 0 |1485 | 104k| 104k| 5 | 5 | 2 | 0 |-8.060416e+02 |-7.260000e+02 | 11.03%| unknown
100.94/101.23 c 101s| 1 | 0 | 44726 | - | 755M | 0 |1485 | 104k| 104k| 6 | 6 | 3 | 0 |-8.060112e+02 |-7.260000e+02 | 11.02%| unknown
132.46/132.85 c 133s| 1 | 0 | 47880 | - | 766M | 0 |1485 | 104k| 104k| 7 | 7 | 3 | 0 |-8.059776e+02 |-7.260000e+02 | 11.02%| unknown
141.54/141.94 c 142s| 1 | 0 | 52386 | - | 783M | 0 |1485 | 104k| 104k| 8 | 8 | 4 | 0 |-8.059196e+02 |-7.260000e+02 | 11.01%| unknown
142.14/142.50 c 142s| 1 | 0 | 52392 | - | 827M | 0 |1485 | 104k| 104k| 9 | 9 | 4 | 0 |-8.059196e+02 |-7.260000e+02 | 11.01%| unknown
142.65/143.01 c 143s| 1 | 0 | 52406 | - | 850M | 0 |1485 | 104k| 104k| 10 | 10 | 5 | 0 |-8.059196e+02 |-7.260000e+02 | 11.01%| unknown
146.03/146.48 c 146s| 1 | 0 | 55400 | - | 861M | 0 |1485 | 104k| 104k| 11 | 11 | 5 | 0 |-8.059019e+02 |-7.260000e+02 | 11.01%| unknown
147.13/147.58 c 148s| 1 | 0 | 55825 | - | 873M | 0 |1485 | 104k| 104k| 12 | 12 | 5 | 0 |-8.059000e+02 |-7.260000e+02 | 11.01%| unknown
315.11/315.94 c 316s| 1 | 2 |130458 | - | 880M | 0 |1485 | 104k| 104k| 12 | 12 | 8 | 24 |-8.058787e+02 |-7.260000e+02 | 11.00%| unknown
2498.13/2505.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2498.13/2505.15 c 2505s| 100 | 17 | 1194k|11501.7 | 1002M | 14 |1485 | 104k| 104k| 32 | 1 | 33 | 662 |-7.596905e+02 |-7.260000e+02 | 4.64%| 83.70%
3586.77/3597.01 c
3586.77/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.77/3597.01 c Solving Time (sec) : 3597.00
3586.77/3597.01 c Solving Nodes : 176
3586.77/3597.01 c Primal Bound : -7.26000000000000e+02 (3 solutions)
3586.77/3597.01 c Dual Bound : -7.54218409652589e+02
3586.77/3597.01 c Gap : 3.89 %
3586.77/3597.03 s SATISFIABLE
3586.77/3597.03 v -x1485 x1484 x1483 -x1482 -x1481 x1480 x1479 x1478 -x1477 x1476 -x1475 -x1474 x1473 -x1472 x1471 x1470 x1469 -x1468 x1467 -x1466
3586.77/3597.03 v x1465 -x1464 -x1463 x1462 -x1461 x1460 -x1459 x1458 x1457 x1456 -x1455 x1454 -x1453 x1452 -x1451 x1450 -x1449 -x1448 x1447
3586.77/3597.03 v -x1446 x1445 -x1444 x1443 -x1442 x1441 x1440 x1439 -x1438 x1437 -x1436 x1435 -x1434 x1433 -x1432 x1431 -x1408 -x1396 -x1395 -x1383
3586.77/3597.03 v -x1382 -x1381 -x1369 -x1368 -x1367 -x1366 -x1354 -x1353 -x1352 -x1351 -x1350 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
3586.77/3597.03 v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1284 -x1283 -x1282
3586.77/3597.03 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1210 -x1187
3586.77/3597.03 v -x1186 -x1163 -x1162 -x1161 -x1138 -x1137 -x1136 -x1135 -x1112 -x1111 -x1110 -x1109 -x1108 -x1085 -x1084 -x1083 -x1082 -x1081
3586.77/3597.03 v -x1080 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x998 -x997
3586.77/3597.03 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x891 -x857 -x856 -x822
3586.77/3597.03 v -x821 -x820 -x786 -x785 -x784 -x783 -x749 -x748 -x747 -x746 -x745 -x711 -x710 -x709 -x708 -x707 -x706 -x672 -x671 -x670 -x669
3586.77/3597.03 v -x668 -x667 -x666 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x549
3586.77/3597.03 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x451 -x406 -x405 -x360 -x359 -x358 -x313 -x312 -x311 -x310 -x265
3586.77/3597.03 v -x264 -x263 -x262 -x261 -x216 -x215 -x214 -x213 -x212 -x211 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x115 -x114 -x113 -x112
3586.77/3597.03 v -x111 -x110 -x109 -x108 -x10 -x63 -x9 -x62 -x8 -x61 -x7 -x60 -x6 -x59 -x5 -x58 -x4 -x57 -x3 -x56 -x2 -x55 -x1 -x1430 -x1429
3586.77/3597.03 v x1428 -x1427 x1426 -x1425 x1424 -x1423 x1422 -x1421 x1420 -x1419 -x1418 x1417 -x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409
3586.77/3597.03 v -x1407 -x1406 x1405 -x1404 x1403 -x1402 x1401 -x1400 x1399 -x1398 x1397 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387
3586.77/3597.03 v x1386 -x1385 x1384 -x1380 -x1379 x1378 -x1377 x1376 -x1375 x1374 -x1373 x1372 -x1371 x1370 -x1365 -x1364 x1363 -x1362 x1361
3586.77/3597.03 v -x1360 x1359 -x1358 x1357 -x1356 x1355 -x1349 -x1348 x1347 -x1346 x1345 -x1344 x1343 -x1342 x1341 -x1340 x1339 -x1332 -x1331
3586.77/3597.03 v x1330 -x1329 x1328 -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1314 -x1313 x1312 -x1311 x1310 -x1309 x1308 -x1307 x1306 -x1305
3586.77/3597.03 v x1304 -x1295 -x1294 x1293 -x1292 x1291 -x1290 x1289 -x1288 x1287 -x1286 x1285 -x1275 -x1274 x1273 -x1272 x1271 -x1270 x1269
3586.77/3597.03 v -x1268 x1267 -x1266 x1265 x1254 x1253 -x1252 x1251 -x1250 x1249 -x1248 x1247 -x1246 x1245 -x1244 x1243 x1242 x1241 x1240 x1239
3586.77/3597.03 v x1238 x1237 x1236 x1235 x1234 x1233 x1232 x1231 -x1230 x1229 -x1228 x1227 -x1226 x1225 -x1224 x1223 -x1222 x1221 x1220 x1219
3586.77/3597.03 v x1218 x1217 x1216 x1215 x1214 x1213 x1212 x1211 x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203 x1202 -x1201 x1200 -x1199 x1198
3586.77/3597.03 v x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1185 x1184 -x1183 x1182 -x1181 x1180 -x1179 x1178 -x1177 x1176
3586.77/3597.03 v -x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 x1160 x1159 -x1158 x1157 -x1156 x1155 -x1154 x1153
3586.77/3597.03 v -x1152 x1151 -x1150 x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 x1141 x1140 x1139 x1134 x1133 -x1132 x1131 -x1130 x1129
3586.77/3597.03 v -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1107 x1106 -x1105 x1104
3586.77/3597.03 v -x1103 x1102 -x1101 x1100 -x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1079 x1078 -x1077
3586.77/3597.03 v x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 x1067 x1066 x1065 x1064 x1063 x1062 x1061 x1060 x1059 x1058 x1050
3586.77/3597.03 v x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 -x1042 x1041 -x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030
3586.77/3597.03 v x1029 x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013 -x1012 x1011 -x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002
3586.77/3597.03 v x1001 x1000 x999 x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980 -x979 x978 x977 x976 x975 x974 x973 x972 x971 x970
3586.77/3597.03 v x969 x968 -x957 -x956 x955 -x954 x953 -x952 x951 -x950 x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3586.77/3597.03 v -x937 -x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 x925 -x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915
3586.77/3597.03 v x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 x901 x900 x899 x898 x897 x896 x895 x894 x893 x892
3586.77/3597.03 v -x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869
3586.77/3597.03 v x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 -x855 -x854 x853 -x852 x851 -x850 x849 -x848 x847 -x846 x845 -x844
3586.77/3597.03 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 x824 x823 -x819 -x818
3586.77/3597.03 v x817 -x816 x815 -x814 x813 -x812 x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 x796
3586.77/3597.03 v x795 x794 x793 x792 x791 x790 x789 x788 x787 -x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 -x769
3586.77/3597.03 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 -x744 -x743 x742 -x741
3586.77/3597.03 v x740 -x739 x738 -x737 x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 x721 x720 x719
3586.77/3597.03 v x718 x717 x716 x715 x714 x713 x712 -x705 -x704 x703 -x702 x701 -x700 x699 -x698 x697 -x696 x695 -x694 -x693 -x692 -x691 -x690
3586.77/3597.03 v -x689 -x688 -x687 -x686 -x685 -x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 -x665 -x664 x663 -x662 x661 -x660
3586.77/3597.03 v x659 -x658 x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 x642 x641 x640 x639 x638
3586.77/3597.03 v x637 x636 x635 x634 x633 -x624 -x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607
3586.77/3597.03 v -x606 -x605 -x604 -x603 x602 x601 x600 x599 x598 x597 x596 x595 x594 x593 x592 -x582 -x581 x580 -x579 x578 -x577 x576 -x575
3586.77/3597.03 v x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 x559 x558 x557 x556 x555 x554 x553 x552
3586.77/3597.03 v x551 x550 x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 x530 -x529 x528 x527 x526 x525 x524 x523 x522 x521 x520 x519 x518
3586.77/3597.03 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 x496
3586.77/3597.03 v x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 x484 x483 x482 x481 x480 x479 x478 x477 x476 x475 x474 -x473 -x472
3586.77/3597.03 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x450 x449 -x448
3586.77/3597.03 v x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 -x428 -x427 -x426 -x425
3586.77/3597.03 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x404 x403 -x402 x401 -x400 x399
3586.77/3597.03 v -x398 x397 -x396 x395 -x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376
3586.77/3597.03 v -x375 -x374 -x373 -x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x357 x356 -x355 x354 -x353 x352 -x351 x350
3586.77/3597.03 v -x349 x348 -x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
3586.77/3597.03 v -x326 -x325 x324 x323 x322 x321 x320 x319 x318 x317 x316 x315 x314 x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 x300 -x299
3586.77/3597.03 v x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277
3586.77/3597.03 v x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 x248
3586.77/3597.03 v x247 x246 x245 x244 x243 x242 x241 x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 x226 x225
3586.77/3597.03 v x224 x223 x222 x221 x220 x219 x218 x217 x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195
3586.77/3597.03 v x194 x193 x192 x191 x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 x175 x174 x173 x172
3586.77/3597.03 v x171 x170 x169 x168 x167 x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151 x150 -x149 x148 x147 x146 x145 x144 x143 x142 x141
3586.77/3597.03 v x140 x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 x124 x123 x122 x121 x120 x119 x118
3586.77/3597.03 v x117 x116 x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 -x85 -x84 -x83
3586.77/3597.03 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46
3586.77/3597.03 v x45 -x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 x20 x19 x18
3586.77/3597.03 v x17 x16 x15 x14 x13 x12 x11
3586.77/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.77/3597.03 c Total Time : 3597.00
3586.77/3597.03 c solving : 3597.00
3586.77/3597.03 c presolving : 2.88 (included in solving)
3586.77/3597.03 c reading : 0.18 (included in solving)
3586.77/3597.03 c copying : 0.11 (1 #copies) (minimal 0.11, maximal 0.11, average 0.11)
3586.77/3597.03 c Original Problem :
3586.77/3597.03 c Problem name : HOME/instance-4458767-1721868720.opb
3586.77/3597.03 c Variables : 1485 (1485 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.77/3597.03 c Constraints : 104940 initial, 104940 maximal
3586.77/3597.03 c Objective : minimize, 1210 non-zeros (abs.min = 1, abs.max = 1)
3586.77/3597.03 c Presolved Problem :
3586.77/3597.03 c Problem name : t_HOME/instance-4458767-1721868720.opb
3586.77/3597.03 c Variables : 1485 (1485 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.77/3597.03 c Constraints : 104940 initial, 105003 maximal
3586.77/3597.03 c Objective : minimize, 1210 non-zeros (abs.min = 1, abs.max = 1)
3586.77/3597.03 c Nonzeros : 314820 constraint, 0 clique table
3586.77/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.77/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c dualsparsify : 0.75 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c milp : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c symmetry : 1.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c linear : 0.26 0.04 2 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c logicor : 0.31 0.03 3 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c root node : - - - 2 - - 2 - - - - -
3586.77/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.77/3597.03 c benderslp : 0 0 0 0 102 0 0 18 0 0 0 0 0 0 0
3586.77/3597.03 c integral : 0 0 0 0 102 0 0 18 0 0 95 0 0 19 192
3586.77/3597.03 c linear : 0+ 25 0 4035 0 0 0 3 0 5 0 0 0 0 0
3586.77/3597.03 c logicor : 104940+ 104978 12 4838 0 0 0 12 769 6 2453 0 0 0 0
3586.77/3597.03 c benders : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.77/3597.03 c fixedvar : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.77/3597.03 c countsols : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.77/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.77/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c integral : 1154.31 0.00 0.00 0.00 1154.31 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c linear : 0.05 0.04 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3586.77/3597.03 c logicor : 1.01 0.03 0.25 0.47 0.00 0.00 0.00 0.02 0.00 0.25
3586.77/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.77/3597.03 c dualfix : 2 0 0 0
3586.77/3597.03 c genvbounds : 0 0 0 0
3586.77/3597.03 c nlobbt : 0 0 0 0
3586.77/3597.03 c obbt : 0 0 0 0
3586.77/3597.03 c probing : 0 0 0 0
3586.77/3597.03 c pseudoobj : 510 0 1 0
3586.77/3597.03 c redcost : 14 0 0 0
3586.77/3597.03 c rootredcost : 0 0 0 0
3586.77/3597.03 c symmetry : 3980 0 0 3495
3586.77/3597.03 c vbounds : 0 0 0 0
3586.77/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.77/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.77/3597.03 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c symmetry : 1.27 0.00 1.07 0.11 0.00 0.09
3586.77/3597.03 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.77/3597.03 c Symmetry :
3586.77/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.77/3597.03 c orbital reduction: 3494 reductions applied, 0 cutoffs
3586.77/3597.03 c lexicographic red: 21 reductions applied, 0 cutoffs
3586.77/3597.03 c shadow tree time : 0.00 s
3586.77/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.77/3597.03 c propagation : 0.00 6 6 - 6 4.0 0 0.0 - - -
3586.77/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.77/3597.03 c bound exceed. LP : 0.31 26 25 - 73 78.6 0 0.0 25 128.0 150
3586.77/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.77/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.77/3597.03 c applied globally : 0.00 - - 0 38 76.7 - - 25 - -
3586.77/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.77/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.77/3597.03 c cut pool : 0.29 - 98 21 - - 3703 7617 - - - - - (maximal pool size: 3703)
3586.77/3597.03 c aggregation : 5.43 0.00 51 12 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.77/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.77/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.77/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c gomory : 76.31 0.00 49 10 0 0 3703 7617 0 51 51 0 0
3586.77/3597.03 c > gomorymi : - - - - - - - 4245 0 25 25 0 -
3586.77/3597.03 c > strongcg : - - - - - - - 3372 0 26 26 0 -
3586.77/3597.03 c impliedbounds : 0.00 0.00 51 12 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c mcf : 0.04 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c multilinear : 0.00 0.00 15 12 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c rlt : 0.00 0.00 23 10 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c zerohalf : 4.94 0.00 51 12 0 0 0 0 0 0 0 0 0
3586.77/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.77/3597.03 c hybrid : 0.10 0.00 51 12 51 0 7566 12 0 4984
3586.77/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3586.77/3597.03 c problem variables: 0.00 - 0 0
3586.77/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.77/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c relpscost : 1154.31 0.00 102 0 0 0 95 0 19 192
3586.77/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.77/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.77/3597.03 c LP solutions : 0.00 - - 0 0
3586.77/3597.03 c relax solutions : 0.00 - - 0 0
3586.77/3597.03 c pseudo solutions : 0.00 - - 0 0
3586.77/3597.03 c strong branching : 0.00 - - 0 0
3586.77/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c adaptivediving : 13.58 0.00 1 0 0
3586.77/3597.03 c alns : 0.29 0.00 1 0 0
3586.77/3597.03 c bound : 0.00 0.00 0 0 0
3586.77/3597.03 c clique : 0.00 0.00 0 0 0
3586.77/3597.03 c coefdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c completesol : 0.00 0.00 0 0 0
3586.77/3597.03 c conflictdiving : 119.06 0.00 1 0 0
3586.77/3597.03 c crossover : 0.00 0.00 0 0 0
3586.77/3597.03 c dins : 0.00 0.00 0 0 0
3586.77/3597.03 c distributiondivin: 6.98 0.00 1 0 0
3586.77/3597.03 c dps : 0.00 0.00 0 0 0
3586.77/3597.03 c dualval : 0.00 0.00 0 0 0
3586.77/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c feasjump : 0.00 0.00 0 0 0
3586.77/3597.03 c feaspump : 25.76 0.00 1 0 0
3586.77/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3586.77/3597.03 c fracdiving : 7.51 0.00 1 0 0
3586.77/3597.03 c gins : 0.01 0.00 0 0 0
3586.77/3597.03 c guideddiving : 0.00 0.00 0 0 0
3586.77/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c indicator : 0.00 0.00 0 0 0
3586.77/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3586.77/3597.03 c indoneopt : 0.00 0.00 0 0 0
3586.77/3597.03 c indrounding : 0.00 0.00 0 0 0
3586.77/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3586.77/3597.03 c intdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c intshifting : 0.00 0.00 0 0 0
3586.77/3597.03 c linesearchdiving : 3.73 0.00 1 0 0
3586.77/3597.03 c localbranching : 0.00 0.00 0 0 0
3586.77/3597.03 c locks : 0.21 0.00 1 1 1
3586.77/3597.03 c lpface : 0.00 0.00 0 0 0
3586.77/3597.03 c mpec : 0.00 0.00 0 0 0
3586.77/3597.03 c multistart : 0.00 0.00 0 0 0
3586.77/3597.03 c mutation : 0.00 0.00 0 0 0
3586.77/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3586.77/3597.03 c objpscostdiving : 75.85 0.00 1 0 0
3586.77/3597.03 c octane : 0.00 0.00 0 0 0
3586.77/3597.03 c ofins : 0.00 0.00 0 0 0
3586.77/3597.03 c oneopt : 0.01 0.00 1 0 0
3586.77/3597.03 c padm : 0.00 0.00 0 0 0
3586.77/3597.03 c proximity : 0.00 0.00 0 0 0
3586.77/3597.03 c pscostdiving : 26.84 0.00 1 0 0
3586.77/3597.03 c randrounding : 0.46 0.00 13 0 0
3586.77/3597.03 c rens : 0.00 0.00 0 0 0
3586.77/3597.03 c reoptsols : 0.00 0.00 0 0 0
3586.77/3597.03 c repair : 0.00 0.00 0 0 0
3586.77/3597.03 c rins : 0.00 0.00 0 0 0
3586.77/3597.03 c rootsoldiving : 90.18 0.00 1 1 0
3586.77/3597.03 c rounding : 1.15 0.00 121 0 0
3586.77/3597.03 c scheduler : 0.00 0.00 0 0 0
3586.77/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3586.77/3597.03 c shifting : 1.34 0.00 65 0 0
3586.77/3597.03 c simplerounding : 0.00 0.00 0 0 0
3586.77/3597.03 c smallcard : 0.00 0.00 0 0 0
3586.77/3597.03 c subnlp : 0.00 0.00 0 0 0
3586.77/3597.03 c trivial : 0.01 0.00 2 1 1
3586.77/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3586.77/3597.03 c trustregion : 0.00 0.00 0 0 0
3586.77/3597.03 c trysol : 0.00 0.00 0 0 0
3586.77/3597.03 c twoopt : 0.00 0.00 0 0 0
3586.77/3597.03 c undercover : 0.00 0.00 0 0 0
3586.77/3597.03 c vbounds : 0.00 0.00 0 0 0
3586.77/3597.03 c veclendiving : 7.74 0.00 1 0 0
3586.77/3597.03 c zeroobj : 0.00 0.00 0 0 0
3586.77/3597.03 c zirounding : 0.79 0.00 95 0 0
3586.77/3597.03 c other solutions : - - - 0 -
3586.77/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 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
3586.77/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.77/3597.03 c primal LP : 0.13 7 0 0.00 0.00 0.13 7
3586.77/3597.03 c dual LP : 1968.67 231 1547025 6697.08 785.82 0.00 0
3586.77/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3586.77/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.77/3597.03 c resolve instable : 0.00 0 0 0.00 -
3586.77/3597.03 c diving/probing LP: 386.00 80 225497 2818.71 584.19
3586.77/3597.03 c strong branching : 1139.54 987 903643 915.55 792.99 - - 1827
3586.77/3597.03 c (at root node) : - 24 18437 768.21 -
3586.77/3597.03 c conflict analysis: 0.27 15 150 10.00 562.93
3586.77/3597.03 c B&B Tree :
3586.77/3597.03 c number of runs : 1
3586.77/3597.03 c nodes : 176 (96 internal, 80 leaves)
3586.77/3597.03 c feasible leaves : 0
3586.77/3597.03 c infeas. leaves : 2
3586.77/3597.03 c objective leaves : 78
3586.77/3597.03 c nodes (total) : 176 (96 internal, 80 leaves)
3586.77/3597.03 c nodes left : 17
3586.77/3597.03 c max depth : 14
3586.77/3597.03 c max depth (total): 14
3586.77/3597.03 c backtracks : 67 (38.1%)
3586.77/3597.03 c early backtracks : 0 (0.0%)
3586.77/3597.03 c nodes exc. ref. : 0 (0.0%)
3586.77/3597.03 c delayed cutoffs : 0
3586.77/3597.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.77/3597.03 c avg switch length: 2.67
3586.77/3597.03 c switching time : 0.26
3586.77/3597.03 c Root Node :
3586.77/3597.03 c First LP value : -8.06666666666667e+02
3586.77/3597.03 c First LP Iters : 29263 (468.06 Iter/sec)
3586.77/3597.03 c First LP Time : 62.52
3586.77/3597.03 c Final Dual Bound : -8.05878664821191e+02
3586.77/3597.03 c Final Root Iters : 55825
3586.77/3597.03 c Root LP Estimate : -5.65758111731396e+02
3586.77/3597.03 c Solution :
3586.77/3597.03 c Solutions found : 3 (2 improvements)
3586.77/3597.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.30 seconds, depth 0, found by <trivial>)
3586.77/3597.03 c Gap First Sol. : infinite
3586.77/3597.03 c Gap Last Sol. : 66.67 %
3586.77/3597.03 c Primal Bound : -7.26000000000000e+02 (in run 1, after 1 nodes, 3.38 seconds, depth 55, found by <locks>)
3586.77/3597.03 c Dual Bound : -7.54218409652589e+02
3586.77/3597.03 c Gap : 3.89 %
3586.77/3597.03 c Integrals : Total Avg%
3586.77/3597.03 c primal-dual : 22142.65 6.16
3586.77/3597.03 c primal-ref : - - (not evaluated)
3586.77/3597.03 c dual-ref : - - (not evaluated)
3587.16/3597.45 c Time complete: 3587.22.
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: 63931 MiB (61223 MiB free)
memory of node 1: 64510 MiB (61712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458767-1721868720/watcher-4458767-1721868720 -o /tmp/evaluation-result-4458767-1721868720/solver-4458767-1721868720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254128 --watchdog 3760 pbscip -f HOME/instance-4458767-1721868720.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=257417, runsolver pid=257414
[startup+0.100088 s]*
/proc/loadavg: 4.14 4.16 4.18 5/257 257418
/proc/meminfo: memFree=125853652/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=90076 memory=48300 CPUtime=0.09 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 9188 0 0 0 8 1 0 0 20 0 1 0 23401542 92237824 12075 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 22519 12075 3202 3540 0 10776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90076 KiB
Current children cumulated memory: 48300 KiB
[startup+0.20552 s]*
/proc/loadavg: 4.14 4.16 4.18 5/257 257418
/proc/meminfo: memFree=125811288/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=130436 memory=90392 CPUtime=0.2 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 19806 0 0 0 18 2 0 0 20 0 1 0 23401542 133566464 22598 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 32609 22598 3505 3540 0 20866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130436 KiB
Current children cumulated memory: 90392 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.14 4.16 4.18 5/257 257418
/proc/meminfo: memFree=125739592/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=204896 memory=163832 CPUtime=0.3 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 38346 0 0 0 25 5 0 0 20 0 1 0 23401542 209813504 40958 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 51224 40958 3505 3540 0 39481 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 204896 KiB
Current children cumulated memory: 163832 KiB
[startup+0.70023 s]
/proc/loadavg: 4.14 4.16 4.18 5/257 257418
/proc/meminfo: memFree=125706220/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=238304 memory=195396 CPUtime=0.68 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 52687 0 0 0 60 8 0 0 20 0 1 0 23401542 244023296 48849 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 59576 48849 3696 3540 0 47833 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 238304 KiB
Current children cumulated memory: 195396 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.16 4.18 5/255 257432
/proc/meminfo: memFree=125793652/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=413272 memory=350580 CPUtime=1.48 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 71596 0 0 0 135 13 0 0 20 0 1 0 23401542 423190528 87645 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 103318 87645 3744 3540 0 91575 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 413272 KiB
Current children cumulated memory: 350580 KiB
[startup+3.10538 s]
/proc/loadavg: 4.13 4.15 4.18 5/257 257464
/proc/meminfo: memFree=125109044/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=569116 memory=483720 CPUtime=3.09 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 87529 0 0 0 292 17 0 0 20 0 1 0 23401542 582774784 120930 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 142279 120930 3760 3540 0 130536 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 569116 KiB
Current children cumulated memory: 483720 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.15 4.18 5/257 257464
/proc/meminfo: memFree=124579676/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=627152 memory=563648 CPUtime=6.28 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 108220 0 0 0 607 21 0 0 20 0 1 0 23401542 642203648 140912 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 156788 140912 3920 3540 0 145045 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 627152 KiB
Current children cumulated memory: 563648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.18 5/257 257466
/proc/meminfo: memFree=124314700/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=627152 memory=563648 CPUtime=12.66 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 108231 0 0 0 1245 21 0 0 20 0 1 0 23401542 642203648 140912 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 156788 140912 3920 3540 0 145045 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 627152 KiB
Current children cumulated memory: 563648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.18 4.19 5/257 257468
/proc/meminfo: memFree=124312120/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=627152 memory=563648 CPUtime=25.42 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 108245 0 0 0 2521 21 0 0 20 0 1 0 23401542 642203648 140912 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 156788 140912 3920 3540 0 145045 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 627152 KiB
Current children cumulated memory: 563648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.58 4.26 4.22 5/257 257472
/proc/meminfo: memFree=124309084/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=627152 memory=563800 CPUtime=50.97 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 108259 0 0 0 5075 22 0 0 20 0 1 0 23401542 642203648 140950 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 156788 140950 3936 3540 0 145045 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 627152 KiB
Current children cumulated memory: 563800 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.23 4.21 5/257 257481
/proc/meminfo: memFree=124114140/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=880204 memory=752952 CPUtime=102.04 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 153068 0 0 0 10175 29 0 0 20 0 1 0 23401542 901328896 188238 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 220051 188238 3952 3540 0 208308 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 880204 KiB
Current children cumulated memory: 752952 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 4.30 4.23 5/257 257492
/proc/meminfo: memFree=124062060/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=990544 memory=804060 CPUtime=161.89 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 165825 0 0 0 16158 31 0 0 20 0 1 0 23401542 1014317056 201015 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 247636 201015 3952 3540 0 235893 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 990544 KiB
Current children cumulated memory: 804060 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.25 4.22 5/255 257887
/proc/meminfo: memFree=124154644/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=990748 memory=804836 CPUtime=221.74 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 166028 0 0 0 22143 31 0 0 20 0 1 0 23401542 1014525952 201209 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 247687 201209 3952 3540 0 235944 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 990748 KiB
Current children cumulated memory: 804836 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.24 4.21 5/255 257897
/proc/meminfo: memFree=124147440/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=995880 memory=808400 CPUtime=281.6 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 167085 0 0 0 28128 32 0 0 20 0 1 0 23401542 1019781120 202100 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 248970 202100 3952 3540 0 237227 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 995880 KiB
Current children cumulated memory: 808400 KiB
[startup+342.3 s]
/proc/loadavg: 4.35 4.26 4.22 5/255 257908
/proc/meminfo: memFree=124067504/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1067616 memory=880560 CPUtime=341.44 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 193022 0 0 0 34108 36 0 0 20 0 1 0 23401542 1093238784 220140 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 266904 220140 3968 3540 0 255161 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 1067616 KiB
Current children cumulated memory: 880560 KiB
[startup+402.3 s]
/proc/loadavg: 4.31 4.27 4.22 5/258 258089
/proc/meminfo: memFree=124064912/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1067616 memory=882404 CPUtime=401.29 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 193105 0 0 0 40092 37 0 0 20 0 1 0 23401542 1093238784 220601 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 266904 220601 3984 3540 0 255161 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 1067616 KiB
Current children cumulated memory: 882404 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.23 4.21 5/259 258101
/proc/meminfo: memFree=124063588/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1067616 memory=883176 CPUtime=461.14 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 193177 0 0 0 46077 37 0 0 20 0 1 0 23401542 1093238784 220794 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/257 259290
/proc/meminfo: memFree=122681528/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1180024 memory=1007816 CPUtime=3153.37 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 228386 0 0 0 315293 44 0 0 20 0 1 0 23401542 1208344576 251954 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 295006 251954 3999 3540 0 283263 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 1180024 KiB
Current children cumulated memory: 1007816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.18 4.11 5/254 259301
/proc/meminfo: memFree=122648776/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1206840 memory=1040172 CPUtime=3213.19 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 235525 0 0 0 321273 46 0 0 20 0 1 0 23401542 1235804160 260043 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 301710 260043 3999 3540 0 289967 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 1206840 KiB
Current children cumulated memory: 1040172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/254 259312
/proc/meminfo: memFree=122645324/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1206840 memory=1042800 CPUtime=3273.01 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 235822 0 0 0 327255 46 0 0 20 0 1 0 23401542 1235804160 260700 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 301710 260700 3999 3540 0 289967 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 1206840 KiB
Current children cumulated memory: 1042800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/254 259325
/proc/meminfo: memFree=122644616/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1206840 memory=1042800 CPUtime=3332.83 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 236083 0 0 0 333237 46 0 0 20 0 1 0 23401542 1235804160 260700 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 301710 260700 3999 3540 0 289967 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 1206840 KiB
Current children cumulated memory: 1042800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/254 259335
/proc/meminfo: memFree=122643904/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1206840 memory=1042800 CPUtime=3392.65 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 236396 0 0 0 339219 46 0 0 20 0 1 0 23401542 1235804160 260700 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 301710 260700 3999 3540 0 289967 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 1206840 KiB
Current children cumulated memory: 1042800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 259436
/proc/meminfo: memFree=122912704/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1206840 memory=1042800 CPUtime=3452.47 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 236587 0 0 0 345201 46 0 0 20 0 1 0 23401542 1235804160 260700 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 301710 260700 3999 3540 0 289967 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 1206840 KiB
Current children cumulated memory: 1042800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 259451
/proc/meminfo: memFree=122797912/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052348 CPUtime=3512.29 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239447 0 0 0 351182 47 0 0 20 0 1 0 23401542 1248342016 263087 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263087 3999 3540 0 293028 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/260 259513
/proc/meminfo: memFree=122855156/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3572.11 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239706 0 0 0 357164 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3597.45 s]
# the end of solver process 257417 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.74 s, system=0.483603 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.15 4.10 5/260 259513
/proc/meminfo: memFree=122854148/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3573.81 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239706 0 0 0 357334 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122853892/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3580.18 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239706 0 0 0 357971 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3580.18 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122849420/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3583.37 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239733 0 0 0 358290 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3583.37 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122849112/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3584.97 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239738 0 0 0 358450 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3584.97 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122836204/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052460 CPUtime=3586.56 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239740 0 0 0 358609 47 0 0 20 0 1 0 23401542 1248342016 263115 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263115 3999 3540 0 293028 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052460 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122832536/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1219084 memory=1052516 CPUtime=3586.96 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239882 0 0 0 358649 47 0 0 20 0 1 0 23401542 1248342016 263129 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 304771 263129 3999 3540 0 293028 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 1219084 KiB
Current children cumulated memory: 1052516 KiB
[startup+3597.4 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 259561
/proc/meminfo: memFree=122832536/131524600 swapFree=131058856/131071996
[pid=257417] ppid=257414 vsize=1213684 memory=1047116 CPUtime=3587.16 cores=4,6
/proc/257417/stat : 257417 (pbscip) R 257414 257417 254117 0 -1 4194304 239891 0 0 0 358669 47 0 0 20 0 1 0 23401542 1242812416 261779 134679101440 4194304 18693293 140730281833136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 32845824 140730281841668 140730281841767 140730281841767 140730281848782 0
/proc/257417/statm: 303421 261779 3999 3540 0 291678 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 1213684 KiB
Current children cumulated memory: 1047116 KiB
Child status: 0
Real time (s): 3597.45
CPU time (s): 3587.22
CPU user time (s): 3586.74
CPU system time (s): 0.483603
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 1219084
Max. memory (cumulated for all children) (KiB): 1052516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.74
system time used= 0.483603
maximum resident set size= 1052516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239924
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= 33
involuntary context switches= 4587
# summary of solver processes directly reported to runsolver:
# pid: 257417
# total CPU time (s): 3587.22
# total CPU user time (s): 3586.74
# total CPU system time (s): 0.483603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97502 second user time and 15.3589 second system time
The end