0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.20 c Default LC presolving (default).
0.10/0.20 c ** Before presolving: virtualMemUsedAtLc = 174702042, getVmSize() = 128233472, SCIPgetMemUsed() = 83214842, SCIPgetMemTotal() = 101418114, SCIPgetMemExternEstim() = 73283928
0.10/0.20 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
1.59/1.60 c ** Estimated virtualMemUsedAtSolver = 225776206, getVmSize() = 320090112, SCIPgetMemUsed() = 148938501, SCIPgetMemTotal() = 265380381, SCIPgetMemExternEstim() = 73283928
1.59/1.60 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.59/1.60 c Original Problem :
1.59/1.60 c Problem name : instance-4464563-1722390358
1.59/1.60 c Variables : 650 (650 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.60 c Constraints : 72640
1.59/1.60 c Objective sense : minimize
1.59/1.60 c Presolved Problem :
1.59/1.60 c Variables : 630 (630 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.60 c Constraints : 72620
1.59/1.60 c Constraints : Number
1.59/1.60 c setppc : 20
1.59/1.60 c logicor : 72600
1.59/1.60 c ** Instance transfer method used: 0
1.69/1.70 c ** ParaScipInstance copy does not increase the number of variables. **
1.89/1.90 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.89/1.90 c Nodes Active
1.89/1.90 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.77/2.81 c * 3 0 1 1 19.0000 - -
2.88/2.90 c * 3 0 1 1 18.0000 - -
13.85/13.93 c 14 2 1 1 18.0000 0.0000 -
19.53/19.67 c 20 24 23 1 18.0000 0.0000 -
27.11/27.28 c 27 42 41 1 18.0000 0.0000 -
33.09/33.25 c 33 54 49 1 18.0000 0.0000 -
39.07/39.28 c 39 64 57 1 18.0000 0.0000 -
44.65/44.86 c 45 80 67 1 18.0000 0.0000 -
50.63/50.87 c 51 94 77 1 18.0000 0.0000 -
55.93/56.13 c 56 109 90 1 18.0000 0.0000 -
61.80/62.03 c 62 127 98 1 18.0000 0.0000 -
67.57/67.86 c 68 145 116 1 18.0000 0.0000 -
72.65/72.97 c 73 168 137 1 18.0000 0.0000 -
78.74/79.01 c 79 192 159 1 18.0000 0.0000 -
84.11/84.47 c 84 211 176 1 18.0000 0.0000 -
89.69/90.02 c 90 229 190 1 18.0000 0.0000 -
95.36/95.74 c 96 254 211 1 18.0000 0.0000 -
101.34/101.78 c 102 292 241 1 18.0000 0.0000 -
107.32/107.71 c 108 317 255 1 18.0000 0.0000 -
113.19/113.62 c 114 342 268 1 18.0000 0.0000 -
118.77/119.20 c 119 385 283 1 18.0000 0.0000 -
124.85/125.35 c 125 423 300 1 18.0000 0.0000 -
130.73/131.25 c 131 450 307 1 18.0000 0.0000 -
136.40/136.96 c 137 513 318 1 18.0000 0.0000 -
142.08/142.69 c 143 547 329 1 18.0000 0.0000 -
147.67/148.21 c 148 601 351 1 18.0000 0.0000 -
153.24/153.80 c 154 649 364 1 18.0000 0.0000 -
159.02/159.61 c 160 717 388 1 18.0000 0.0000 -
164.41/165.05 c 165 814 421 1 18.0000 0.0000 -
170.18/170.85 c 171 925 460 1 18.0000 0.0000 -
175.66/176.37 c 176 1061 508 1 18.0000 0.0000 -
181.84/182.51 c 183 1197 530 1 18.0000 0.0000 -
188.11/188.88 c 189 1353 549 1 18.0000 0.0000 -
193.19/193.97 c 194 1503 576 1 18.0000 0.0000 -
198.46/199.22 c 199 1587 599 1 18.0000 0.0000 -
206.54/207.38 c 207 1658 605 1 18.0000 0.0000 -
212.34/213.12 c 213 1746 627 1 18.0000 0.0000 -
217.92/218.77 c 219 1812 647 1 18.0000 0.0000 -
223.10/223.97 c 224 1963 667 1 18.0000 0.0000 -
228.98/229.81 c 230 2063 684 1 18.0000 0.0000 -
234.87/235.76 c 236 2193 712 1 18.0000 0.0000 -
243.26/244.18 c 244 2323 732 1 18.0000 0.0000 -
248.32/249.29 c 249 2531 762 1 18.0000 0.0000 -
255.81/256.70 c 257 2673 786 1 18.0000 0.0000 -
261.49/262.48 c 262 2867 816 1 18.0000 0.0000 -
266.88/267.85 c 268 3047 849 1 18.0000 0.0000 -
275.16/276.18 c 276 3152 860 1 18.0000 0.0000 -
281.15/282.13 c 282 3270 878 1 18.0000 0.0000 -
287.52/288.52 c 289 3352 889 1 18.0000 0.0000 -
293.01/294.01 c 294 3423 893 1 18.0000 0.0000 -
312.25/313.32 c 313 3458 1 1 18.0000 0.0000 -
318.13/319.28 c 319 3508 47 1 18.0000 0.0000 -
323.93/325.05 c 325 3545 72 1 18.0000 0.0000 -
329.31/330.42 c 330 3565 82 1 18.0000 0.0000 -
335.09/336.29 c 336 3608 96 1 18.0000 0.0000 -
340.89/342.07 c 342 3628 101 1 18.0000 0.0000 -
346.35/347.52 c 348 3726 119 1 18.0000 0.0000 -
351.64/352.89 c 353 3777 123 1 18.0000 0.0000 -
356.73/357.98 c 358 3865 126 1 18.0000 0.0000 -
362.71/363.95 c 364 3960 143 1 18.0000 0.0000 -
367.98/369.25 c 369 4069 154 1 18.0000 0.0000 -
373.26/374.55 c 375 4192 158 1 18.0000 0.0000 -
378.64/379.96 c 380 4316 179 1 18.0000 0.0000 -
383.73/385.10 c 385 4389 195 1 18.0000 0.0000 -
395.80/397.17 c 397 4526 197 1 18.0000 0.0000 -
402.56/403.90 c 404 4655 217 1 18.0000 0.0000 -
407.94/409.38 c 409 4744 229 1 18.0000 0.0000 -
421.39/422.88 c 423 4843 230 1 18.0000 0.0000 -
427.08/428.56 c 429 5043 233 1 18.0000 0.0000 -
433.75/435.22 c 435 5169 241 1 18.0000 0.0000 -
445.31/446.81 c 447 5246 255 1 18.0000 0.0000 -
451.29/452.83 c 453 5326 260 1 18.0000 0.0000 -
456.48/458.06 c 458 5352 273 1 18.0000 0.0000 -
469.34/470.97 c 471 5517 278 1 18.0000 0.0000 -
475.21/476.88 c 477 5693 280 1 18.0000 0.0000 -
480.40/482.09 c 482 5911 283 1 18.0000 0.0000 -
489.77/491.49 c 491 5978 284 1 18.0000 0.0000 -
495.06/496.79 c 497 6101 286 1 18.0000 0.0000 -
501.04/502.75 c 503 6239 286 1 18.0000 0.0000 -
506.43/508.19 c 508 6394 308 1 18.0000 0.0000 -
511.60/513.35 c 513 6560 335 1 18.0000 0.0000 -
521.88/523.64 c 524 6639 335 1 18.0000 0.0000 -
531.37/533.17 c 533 6791 338 1 18.0000 0.0000 -
540.63/542.44 c 542 6848 339 1 18.0000 0.0000 -
545.72/547.58 c 548 7080 355 1 18.0000 0.0000 -
550.80/552.66 c 553 7312 361 1 18.0000 0.0000 -
556.59/558.49 c 558 7528 369 1 18.0000 0.0000 -
561.72/563.66 c 564 7786 369 1 18.0000 0.0000 -
567.07/569.07 c 569 8005 377 1 18.0000 0.0000 -
575.05/577.08 c 577 8111 372 1 18.0000 0.0000 -
580.42/582.42 c 582 8300 402 1 18.0000 0.0000 -
585.60/587.68 c 588 8499 404 1 18.0000 0.0000 -
591.38/593.45 c 593 8585 408 1 18.0000 0.0000 -
596.67/598.78 c 599 8766 428 1 18.0000 0.0000 -
609.43/611.53 c 612 8853 428 1 18.0000 0.0000 -
614.62/616.78 c 617 9072 428 1 18.0000 0.0000 -
621.92/624.01 c 624 9199 429 1 18.0000 0.0000 -
626.89/629.07 c 629 9421 443 1 18.0000 0.0000 -
632.88/635.02 c 635 9568 447 1 18.0000 0.0000 -
638.25/640.40 c 640 9844 447 1 18.0000 0.0000 -
644.24/646.42 c 646 9918 447 1 18.0000 0.0000 -
650.12/652.33 c 652 10025 455 1 18.0000 0.0000 -
657.81/660.06 c 660 10294 455 1 18.0000 0.0000 -
666.79/669.11 c 669 10450 455 1 18.0000 0.0000 -
671.96/674.29 c 674 10701 483 1 18.0000 0.0000 -
679.13/681.42 c 681 10866 486 1 18.0000 0.0000 -
691.11/693.49 c 693 10919 488 1 18.0000 0.0000 -
706.86/709.24 c 709 10976 497 1 18.0000 0.0000 -
714.95/717.35 c 717 11185 501 1 18.0000 0.0000 -
724.52/726.93 c 727 11303 501 1 18.0000 0.0000 -
729.80/732.20 c 732 11427 495 1 18.0000 0.0000 -
735.49/737.96 c 738 11619 495 1 18.0000 0.0000 -
742.17/744.67 c 745 11848 499 1 18.0000 0.0000 -
747.35/749.88 c 750 12025 522 1 18.0000 0.0000 -
758.82/761.31 c 761 12180 524 1 18.0000 0.0000 -
763.90/766.48 c 766 12403 535 1 18.0000 0.0000 -
769.29/771.89 c 772 12504 540 1 18.0000 0.0000 -
781.47/784.07 c 784 12634 540 1 18.0000 0.0000 -
786.56/789.16 c 789 12944 550 1 18.0000 0.0000 -
791.73/794.39 c 794 13250 546 1 18.0000 0.0000 -
797.11/799.74 c 800 13385 554 1 18.0000 0.0000 -
802.30/804.95 c 805 13607 565 1 18.0000 0.0000 -
816.16/818.85 c 819 13705 565 1 18.0000 0.0000 -
826.13/828.83 c 829 13831 566 1 18.0000 0.0000 -
832.11/834.81 c 835 13935 566 1 18.0000 0.0000 -
840.59/843.30 c 843 14175 565 1 18.0000 0.0000 -
845.68/848.44 c 848 14418 597 1 18.0000 0.0000 -
856.26/859.01 c 859 14608 605 1 18.0000 0.0000 -
868.41/871.22 c 871 14641 608 1 18.0000 0.0000 -
873.50/876.31 c 876 14982 616 1 18.0000 0.0000 -
887.17/890.05 c 890 15135 620 1 18.0000 0.0000 -
892.45/895.31 c 895 15370 652 1 18.0000 0.0000 -
905.22/908.18 c 908 15540 660 1 18.0000 0.0000 -
924.08/927.09 c 927 15671 662 1 18.0000 0.0000 -
929.16/932.16 c 932 16005 667 1 18.0000 0.0000 -
935.23/938.21 c 938 16206 668 1 18.0000 0.0000 -
940.31/943.34 c 943 16307 665 1 18.0000 0.0000 -
947.79/950.86 c 951 16382 681 1 18.0000 0.0000 -
954.58/957.60 c 958 16647 693 1 18.0000 0.0000 -
959.66/962.73 c 963 16783 709 1 18.0000 0.0000 -
964.74/967.81 c 968 17025 723 1 18.0000 0.0000 -
971.04/974.16 c 974 17177 722 1 18.0000 0.0000 -
976.21/979.38 c 979 17386 736 1 18.0000 0.0000 -
981.50/984.67 c 985 17583 741 1 18.0000 0.0000 -
991.47/994.68 c 995 17721 741 1 18.0000 0.0000 -
997.75/1000.91 c 1001 17816 746 1 18.0000 0.0000 -
1002.84/1006.06 c 1006 17962 746 1 18.0000 0.0000 -
1007.94/1011.19 c 1011 18090 746 1 18.0000 0.0000 -
1013.82/1017.10 c 1017 18169 747 1 18.0000 0.0000 -
1031.26/1034.51 c 1035 18238 750 1 18.0000 0.0000 -
1036.55/1039.86 c 1040 18303 751 1 18.0000 0.0000 -
1041.93/1045.26 c 1045 18576 749 1 18.0000 0.0000 -
1050.72/1054.02 c 1054 18632 749 1 18.0000 0.0000 -
1056.10/1059.41 c 1059 18733 749 1 18.0000 0.0000 -
1062.37/1065.74 c 1066 18847 762 1 18.0000 0.0000 -
1069.55/1072.92 c 1073 19110 775 1 18.0000 0.0000 -
1074.84/1078.22 c 1078 19168 777 1 18.0000 0.0000 -
1080.01/1083.45 c 1083 19336 779 1 18.0000 0.0000 -
1085.39/1088.85 c 1089 19641 789 1 18.0000 0.0000 -
1090.47/1093.90 c 1094 19865 797 1 18.0000 0.0000 -
1100.14/1103.62 c 1104 20102 797 1 18.0000 0.0000 -
1106.32/1109.86 c 1110 20333 794 1 18.0000 0.0000 -
1111.40/1114.91 c 1115 20514 798 1 18.0000 0.0000 -
1116.48/1120.05 c 1120 20756 813 1 18.0000 0.0000 -
1121.56/1125.18 c 1125 21049 819 1 18.0000 0.0000 -
1126.84/1130.41 c 1130 21301 823 1 18.0000 0.0000 -
1131.92/1135.54 c 1136 21636 824 1 18.0000 0.0000 -
1136.99/1140.60 c 1141 21885 826 1 18.0000 0.0000 -
1143.27/1146.97 c 1147 22107 824 1 18.0000 0.0000 -
1156.63/1160.35 c 1160 22141 823 1 18.0000 0.0000 -
1161.72/1165.41 c 1165 22447 824 1 18.0000 0.0000 -
1167.31/1171.09 c 1171 22478 825 1 18.0000 0.0000 -
1173.19/1177.01 c 1177 22684 825 1 18.0000 0.0000 -
1178.28/1182.08 c 1182 22907 825 1 18.0000 0.0000 -
1183.76/1187.54 c 1188 22942 826 1 18.0000 0.0000 -
1189.04/1192.86 c 1193 23031 828 1 18.0000 0.0000 -
1197.02/1200.83 c 1201 23209 848 1 18.0000 0.0000 -
1202.11/1205.94 c 1206 23437 851 1 18.0000 0.0000 -
1214.37/1218.20 c 1218 23625 852 1 18.0000 0.0000 -
1220.05/1223.92 c 1224 23769 852 1 18.0000 0.0000 -
1227.73/1231.67 c 1232 23770 853 1 18.0000 0.0000 -
1233.23/1237.13 c 1237 23896 853 1 18.0000 0.0000 -
1238.41/1242.34 c 1242 24251 848 1 18.0000 0.0000 -
1245.58/1249.52 c 1250 24393 849 1 18.0000 0.0000 -
1251.27/1255.22 c 1255 24437 858 1 18.0000 0.0000 -
1258.65/1262.68 c 1263 24583 872 1 18.0000 0.0000 -
1264.34/1268.38 c 1268 24806 894 1 18.0000 0.0000 -
1271.52/1275.53 c 1276 25030 895 1 18.0000 0.0000 -
1286.27/1290.33 c 1290 25148 895 1 18.0000 0.0000 -
1291.36/1295.41 c 1295 25433 905 1 18.0000 0.0000 -
1303.13/1307.25 c 1307 25545 909 1 18.0000 0.0000 -
1311.31/1315.43 c 1315 25751 909 1 18.0000 0.0000 -
1316.39/1320.51 c 1321 26009 932 1 18.0000 0.0000 -
1324.88/1329.07 c 1329 26087 932 1 18.0000 0.0000 -
1329.96/1334.19 c 1334 26240 961 1 18.0000 0.0000 -
1339.43/1343.70 c 1344 26457 963 1 18.0000 0.0000 -
1344.61/1348.88 c 1349 26557 967 1 18.0000 0.0000 -
1349.70/1354.01 c 1354 26835 974 1 18.0000 0.0000 -
1359.27/1363.54 c 1364 26911 974 1 18.0000 0.0000 -
1365.35/1369.64 c 1370 27065 986 1 18.0000 0.0000 -
1374.63/1378.97 c 1379 27188 996 1 18.0000 0.0000 -
1380.32/1384.69 c 1385 27274 996 1 18.0000 0.0000 -
1385.60/1389.98 c 1390 27488 997 1 18.0000 0.0000 -
1390.79/1395.13 c 1395 27762 1001 1 18.0000 0.0000 -
1397.36/1401.72 c 1402 27878 1000 1 18.0000 0.0000 -
1403.24/1407.66 c 1408 28071 1001 1 18.0000 0.0000 -
1411.02/1415.41 c 1415 28245 995 1 18.0000 0.0000 -
1416.80/1421.24 c 1421 28517 995 1 18.0000 0.0000 -
1421.89/1426.36 c 1426 28767 1000 1 18.0000 0.0000 -
1427.78/1432.23 c 1432 28907 1004 1 18.0000 0.0000 -
1442.94/1447.43 c 1447 28998 1006 1 18.0000 0.0000 -
1448.02/1452.57 c 1453 29314 999 1 18.0000 0.0000 -
1453.10/1457.67 c 1458 29638 1004 1 18.0000 0.0000 -
1458.19/1462.75 c 1463 29908 1006 1 18.0000 0.0000 -
1464.07/1468.68 c 1469 30075 1007 1 18.0000 0.0000 -
1470.26/1474.80 c 1475 30109 1007 1 18.0000 0.0000 -
1475.24/1479.88 c 1480 30401 1009 1 18.0000 0.0000 -
1482.92/1487.57 c 1488 30597 1011 1 18.0000 0.0000 -
1488.00/1492.62 c 1493 30969 1015 1 18.0000 0.0000 -
1492.99/1497.67 c 1498 31288 1017 1 18.0000 0.0000 -
1511.24/1515.90 c 1516 31435 1017 1 18.0000 0.0000 -
1516.82/1521.58 c 1522 31633 1025 1 18.0000 0.0000 -
1524.90/1529.61 c 1530 31828 1026 1 18.0000 0.0000 -
1530.39/1535.11 c 1535 31957 1026 1 18.0000 0.0000 -
1537.66/1542.44 c 1542 32091 1030 1 18.0000 0.0000 -
1543.45/1548.28 c 1548 32330 1036 1 18.0000 0.0000 -
1548.53/1553.37 c 1553 32506 1048 1 18.0000 0.0000 -
1554.23/1559.06 c 1559 32683 1074 1 18.0000 0.0000 -
1562.69/1567.57 c 1568 32967 1081 1 18.0000 0.0000 -
1568.19/1573.11 c 1573 33238 1089 1 18.0000 0.0000 -
1573.27/1578.18 c 1578 33489 1104 1 18.0000 0.0000 -
1578.64/1583.54 c 1584 33752 1122 1 18.0000 0.0000 -
1584.53/1589.47 c 1589 33902 1138 1 18.0000 0.0000 -
1589.72/1594.61 c 1595 34233 1132 1 18.0000 0.0000 -
1596.30/1601.28 c 1601 34375 1137 1 18.0000 0.0000 -
1602.19/1607.13 c 1607 34599 1134 1 18.0000 0.0000 -
1607.26/1612.27 c 1612 34714 1132 1 18.0000 0.0000 -
1612.45/1617.44 c 1617 34796 1128 1 18.0000 0.0000 -
1617.64/1622.61 c 1623 34960 1142 1 18.0000 0.0000 -
1624.72/1629.77 c 1630 35092 1154 1 18.0000 0.0000 -
1630.29/1635.32 c 1635 35354 1185 1 18.0000 0.0000 -
1635.39/1640.45 c 1640 35527 1187 1 18.0000 0.0000 -
1641.08/1646.18 c 1646 35623 1187 1 18.0000 0.0000 -
1646.75/1651.87 c 1652 35816 1197 1 18.0000 0.0000 -
1651.83/1656.94 c 1657 36090 1200 1 18.0000 0.0000 -
1657.11/1662.22 c 1662 36300 1209 1 18.0000 0.0000 -
1662.31/1667.40 c 1667 36521 1220 1 18.0000 0.0000 -
1667.39/1672.54 c 1673 36758 1223 1 18.0000 0.0000 -
1673.17/1678.36 c 1678 37066 1226 1 18.0000 0.0000 -
1678.35/1683.57 c 1684 37379 1221 1 18.0000 0.0000 -
1685.04/1690.29 c 1690 37387 1221 1 18.0000 0.0000 -
1690.41/1695.66 c 1696 37531 1220 1 18.0000 0.0000 -
1695.59/1700.85 c 1701 37736 1222 1 18.0000 0.0000 -
1701.28/1706.57 c 1707 37937 1222 1 18.0000 0.0000 -
1706.56/1711.82 c 1712 37979 1226 1 18.0000 0.0000 -
1711.75/1717.07 c 1717 38279 1225 1 18.0000 0.0000 -
1716.83/1722.17 c 1722 38624 1240 1 18.0000 0.0000 -
1721.90/1727.24 c 1727 38979 1225 1 18.0000 0.0000 -
1726.97/1732.33 c 1732 39240 1226 1 18.0000 0.0000 -
1732.05/1737.45 c 1737 39597 1229 1 18.0000 0.0000 -
1737.75/1743.12 c 1743 39792 1245 1 18.0000 0.0000 -
1743.12/1748.56 c 1749 40032 1248 1 18.0000 0.0000 -
1748.20/1753.62 c 1754 40354 1247 1 18.0000 0.0000 -
1753.29/1758.75 c 1759 40420 1246 1 18.0000 0.0000 -
1758.68/1764.19 c 1764 40596 1256 1 18.0000 0.0000 -
1763.96/1769.46 c 1769 40842 1274 1 18.0000 0.0000 -
1776.72/1782.22 c 1782 41109 1282 1 18.0000 0.0000 -
1782.52/1788.10 c 1788 41137 1282 1 18.0000 0.0000 -
1793.68/1799.21 c 1799 41409 1284 1 18.0000 0.0000 -
1803.15/1808.76 c 1809 41611 1286 1 18.0000 0.0000 -
1818.21/1823.83 c 1824 41793 1296 1 18.0000 0.0000 -
1829.57/1835.23 c 1835 41826 1295 1 18.0000 0.0000 -
1837.85/1843.59 c 1844 41852 1294 1 18.0000 0.0000 -
1850.12/1855.81 c 1856 41914 1296 1 18.0000 0.0000 -
1855.60/1861.35 c 1861 42220 1319 1 18.0000 0.0000 -
1864.97/1870.71 c 1871 42433 1337 1 18.0000 0.0000 -
1873.45/1879.27 c 1879 42477 1339 1 18.0000 0.0000 -
1881.93/1887.73 c 1888 42543 1343 1 18.0000 0.0000 -
1892.00/1897.82 c 1898 42554 1344 1 18.0000 0.0000 -
1902.18/1908.07 c 1908 42586 1342 1 18.0000 0.0000 -
1910.75/1916.64 c 1917 42772 1346 1 18.0000 0.0000 -
1915.73/1921.68 c 1922 42881 1351 1 18.0000 0.0000 -
1920.92/1926.84 c 1927 43160 1359 1 18.0000 0.0000 -
1926.00/1931.94 c 1932 43473 1366 1 18.0000 0.0000 -
1937.67/1943.65 c 1944 43565 1365 1 18.0000 0.0000 -
1947.94/1953.92 c 1954 43612 1365 1 18.0000 0.0000 -
1955.21/1961.28 c 1961 43698 1362 1 18.0000 0.0000 -
1966.29/1972.38 c 1972 43903 1377 1 18.0000 0.0000 -
1973.57/1979.61 c 1980 43946 1375 1 18.0000 0.0000 -
1978.97/1985.03 c 1985 44078 1372 1 18.0000 0.0000 -
1985.94/1992.08 c 1992 44203 1382 1 18.0000 0.0000 -
1991.51/1997.64 c 1998 44301 1376 1 18.0000 0.0000 -
1997.49/2003.60 c 2004 44547 1388 1 18.0000 0.0000 -
2002.69/2008.80 c 2009 44867 1389 1 18.0000 0.0000 -
2007.77/2013.91 c 2014 45092 1388 1 18.0000 0.0000 -
2012.76/2018.99 c 2019 45384 1388 1 18.0000 0.0000 -
2018.04/2024.27 c 2024 45697 1399 1 18.0000 0.0000 -
2031.50/2037.74 c 2038 45935 1403 1 18.0000 0.0000 -
2040.08/2046.31 c 2046 45971 1402 1 18.0000 0.0000 -
2047.46/2053.72 c 2054 46074 1402 1 18.0000 0.0000 -
2052.86/2059.19 c 2059 46154 1402 1 18.0000 0.0000 -
2062.91/2069.28 c 2069 46181 1403 1 18.0000 0.0000 -
2068.11/2074.45 c 2074 46423 1414 1 18.0000 0.0000 -
2073.89/2080.23 c 2080 46592 1414 1 18.0000 0.0000 -
2081.57/2087.91 c 2088 46674 1415 1 18.0000 0.0000 -
2086.67/2093.02 c 2093 47069 1418 1 18.0000 0.0000 -
2091.65/2098.07 c 2098 47372 1425 1 18.0000 0.0000 -
2096.83/2103.23 c 2103 47684 1426 1 18.0000 0.0000 -
2101.91/2108.33 c 2108 48009 1434 1 18.0000 0.0000 -
2106.99/2113.46 c 2113 48310 1444 1 18.0000 0.0000 -
2112.08/2118.55 c 2119 48654 1445 1 18.0000 0.0000 -
2117.17/2123.62 c 2124 48979 1443 1 18.0000 0.0000 -
2122.25/2128.73 c 2129 49333 1439 1 18.0000 0.0000 -
2127.34/2133.86 c 2134 49606 1437 1 18.0000 0.0000 -
2133.02/2139.55 c 2140 49770 1436 1 18.0000 0.0000 -
2138.81/2145.37 c 2145 49999 1436 1 18.0000 0.0000 -
2147.50/2154.09 c 2154 50070 1436 1 18.0000 0.0000 -
2157.58/2164.18 c 2164 50148 1437 1 18.0000 0.0000 -
2162.85/2169.42 c 2169 50504 1442 1 18.0000 0.0000 -
2171.72/2178.38 c 2178 50687 1442 1 18.0000 0.0000 -
2178.91/2185.57 c 2186 50815 1444 1 18.0000 0.0000 -
2184.69/2191.37 c 2191 50997 1463 1 18.0000 0.0000 -
2190.27/2196.96 c 2197 51192 1474 1 18.0000 0.0000 -
2195.38/2202.10 c 2202 51476 1485 1 18.0000 0.0000 -
2200.47/2207.16 c 2207 51715 1486 1 18.0000 0.0000 -
2207.45/2214.14 c 2214 52000 1493 1 18.0000 0.0000 -
2214.02/2220.72 c 2221 52143 1494 1 18.0000 0.0000 -
2221.41/2228.15 c 2228 52342 1497 1 18.0000 0.0000 -
2226.69/2233.44 c 2233 52635 1516 1 18.0000 0.0000 -
2232.07/2238.80 c 2239 52839 1539 1 18.0000 0.0000 -
2237.16/2243.95 c 2244 53102 1560 1 18.0000 0.0000 -
2242.14/2249.00 c 2249 53480 1560 1 18.0000 0.0000 -
2247.34/2254.14 c 2254 53774 1575 1 18.0000 0.0000 -
2252.91/2259.79 c 2260 53943 1606 1 18.0000 0.0000 -
2258.49/2265.34 c 2265 54216 1632 1 18.0000 0.0000 -
2263.58/2270.46 c 2270 54487 1644 1 18.0000 0.0000 -
2268.67/2275.54 c 2276 54775 1650 1 18.0000 0.0000 -
2273.76/2280.66 c 2281 55091 1657 1 18.0000 0.0000 -
2278.94/2285.83 c 2286 55422 1660 1 18.0000 0.0000 -
2283.93/2290.87 c 2291 55775 1671 1 18.0000 0.0000 -
2289.13/2296.02 c 2296 56028 1680 1 18.0000 0.0000 -
2294.11/2301.09 c 2301 56353 1688 1 18.0000 0.0000 -
2299.89/2306.83 c 2307 56606 1695 1 18.0000 0.0000 -
2307.18/2314.15 c 2314 56909 1698 1 18.0000 0.0000 -
2312.25/2319.27 c 2319 57127 1719 1 18.0000 0.0000 -
2317.94/2324.90 c 2325 57301 1726 1 18.0000 0.0000 -
2322.92/2329.95 c 2330 57697 1735 1 18.0000 0.0000 -
2331.02/2338.04 c 2338 57935 1759 1 18.0000 0.0000 -
2340.28/2347.35 c 2347 58064 1806 1 18.0000 0.0000 -
2345.47/2352.54 c 2353 58230 1805 1 18.0000 0.0000 -
2350.55/2357.61 c 2358 58448 1812 1 18.0000 0.0000 -
2355.54/2362.68 c 2363 58690 1812 1 18.0000 0.0000 -
2363.62/2370.72 c 2371 58864 1814 1 18.0000 0.0000 -
2370.60/2377.77 c 2378 59041 1814 1 18.0000 0.0000 -
2378.38/2385.55 c 2386 59047 1810 1 18.0000 0.0000 -
2383.46/2390.69 c 2391 59313 1815 1 18.0000 0.0000 -
2390.74/2397.97 c 2398 59419 1819 1 18.0000 0.0000 -
2395.95/2403.14 c 2403 59683 1820 1 18.0000 0.0000 -
2401.02/2408.23 c 2408 59718 1820 1 18.0000 0.0000 -
2406.92/2414.14 c 2414 59765 1822 1 18.0000 0.0000 -
2412.09/2419.35 c 2419 59847 1823 1 18.0000 0.0000 -
2417.18/2424.42 c 2424 60163 1833 1 18.0000 0.0000 -
2425.46/2432.73 c 2433 60224 1836 1 18.0000 0.0000 -
2430.55/2437.83 c 2438 60286 1838 1 18.0000 0.0000 -
2435.84/2443.19 c 2443 60437 1863 1 18.0000 0.0000 -
2441.02/2448.33 c 2448 60700 1863 1 18.0000 0.0000 -
2453.39/2460.74 c 2461 61021 1871 1 18.0000 0.0000 -
2463.37/2470.73 c 2471 61234 1875 1 18.0000 0.0000 -
2470.65/2478.05 c 2478 61390 1879 1 18.0000 0.0000 -
2479.73/2487.12 c 2487 61476 1879 1 18.0000 0.0000 -
2484.81/2492.21 c 2492 61817 1890 1 18.0000 0.0000 -
2489.79/2497.28 c 2497 62048 1904 1 18.0000 0.0000 -
2495.18/2502.60 c 2503 62242 1915 1 18.0000 0.0000 -
2500.16/2507.65 c 2508 62548 1916 1 18.0000 0.0000 -
2510.32/2517.83 c 2518 62803 1917 1 18.0000 0.0000 -
2517.20/2524.70 c 2525 62865 1919 1 18.0000 0.0000 -
2522.18/2529.78 c 2530 63181 1921 1 18.0000 0.0000 -
2528.27/2535.86 c 2536 63353 1926 1 18.0000 0.0000 -
2534.46/2542.09 c 2542 63541 1928 1 18.0000 0.0000 -
2540.13/2547.77 c 2548 63658 1930 1 18.0000 0.0000 -
2545.42/2553.05 c 2553 63819 1940 1 18.0000 0.0000 -
2550.50/2558.15 c 2558 64045 1949 1 18.0000 0.0000 -
2556.07/2563.78 c 2564 64287 1961 1 18.0000 0.0000 -
2561.47/2569.18 c 2569 64629 1972 1 18.0000 0.0000 -
2567.34/2575.01 c 2575 64758 1979 1 18.0000 0.0000 -
2572.34/2580.09 c 2580 65137 1981 1 18.0000 0.0000 -
2577.51/2585.25 c 2585 65421 1987 1 18.0000 0.0000 -
2582.69/2590.49 c 2590 65770 1998 1 18.0000 0.0000 -
2590.86/2598.66 c 2599 66033 1993 1 18.0000 0.0000 -
2596.84/2604.65 c 2605 66229 1986 1 18.0000 0.0000 -
2602.72/2610.57 c 2611 66560 2004 1 18.0000 0.0000 -
2608.00/2615.88 c 2616 66880 2008 1 18.0000 0.0000 -
2613.19/2621.03 c 2621 67210 2019 1 18.0000 0.0000 -
2618.36/2626.24 c 2626 67434 2023 1 18.0000 0.0000 -
2624.25/2632.19 c 2632 67698 2033 1 18.0000 0.0000 -
2635.81/2643.76 c 2644 67718 2039 1 18.0000 0.0000 -
2644.88/2652.81 c 2653 67802 2040 1 18.0000 0.0000 -
2649.96/2657.93 c 2658 67833 2048 1 18.0000 0.0000 -
2655.06/2663.02 c 2663 68140 2053 1 18.0000 0.0000 -
2660.44/2668.48 c 2668 68370 2054 1 18.0000 0.0000 -
2665.52/2673.57 c 2674 68696 2070 1 18.0000 0.0000 -
2671.51/2679.58 c 2680 68884 2078 1 18.0000 0.0000 -
2677.49/2685.55 c 2686 68963 2111 1 18.0000 0.0000 -
2682.67/2690.70 c 2691 69320 2134 1 18.0000 0.0000 -
2687.87/2695.95 c 2696 69565 2131 1 18.0000 0.0000 -
2692.96/2701.02 c 2701 69934 2130 1 18.0000 0.0000 -
2699.54/2707.69 c 2708 70072 2141 1 18.0000 0.0000 -
2704.63/2712.75 c 2713 70138 2151 1 18.0000 0.0000 -
2711.71/2719.80 c 2720 70221 2156 1 18.0000 0.0000 -
2717.29/2725.47 c 2725 70423 2175 1 18.0000 0.0000 -
2722.48/2730.63 c 2731 70711 2182 1 18.0000 0.0000 -
2729.26/2737.47 c 2737 71002 2201 1 18.0000 0.0000 -
2734.35/2742.59 c 2743 71391 2202 1 18.0000 0.0000 -
2739.44/2747.68 c 2748 71733 2211 1 18.0000 0.0000 -
2744.52/2752.74 c 2753 72079 2206 1 18.0000 0.0000 -
2749.82/2758.04 c 2758 72409 2220 1 18.0000 0.0000 -
2754.90/2763.12 c 2763 72692 2227 1 18.0000 0.0000 -
2759.98/2768.25 c 2768 72810 2231 1 18.0000 0.0000 -
2766.46/2774.74 c 2775 72991 2240 1 18.0000 0.0000 -
2771.55/2779.82 c 2780 73362 2243 1 18.0000 0.0000 -
2776.63/2784.90 c 2785 73713 2241 1 18.0000 0.0000 -
2782.83/2791.18 c 2791 74030 2238 1 18.0000 0.0000 -
2790.10/2798.46 c 2798 74355 2237 1 18.0000 0.0000 -
2796.09/2804.42 c 2804 74742 2235 1 18.0000 0.0000 -
2801.17/2809.53 c 2810 75093 2247 1 18.0000 0.0000 -
2809.05/2817.45 c 2817 75324 2242 1 18.0000 0.0000 -
2814.23/2822.62 c 2823 75729 2251 1 18.0000 0.0000 -
2819.22/2827.68 c 2828 76056 2253 1 18.0000 0.0000 -
2824.31/2832.77 c 2833 76385 2258 1 18.0000 0.0000 -
2829.61/2838.09 c 2838 76642 2255 1 18.0000 0.0000 -
2834.70/2843.14 c 2843 77001 2258 1 18.0000 0.0000 -
2839.97/2848.49 c 2848 77159 2252 1 18.0000 0.0000 -
2845.86/2854.34 c 2854 77359 2254 1 18.0000 0.0000 -
2852.55/2861.09 c 2861 77456 2256 1 18.0000 0.0000 -
2857.63/2866.18 c 2866 77824 2259 1 18.0000 0.0000 -
2862.71/2871.29 c 2871 78162 2272 1 18.0000 0.0000 -
2867.80/2876.39 c 2876 78543 2277 1 18.0000 0.0000 -
2872.89/2881.46 c 2881 78883 2278 1 18.0000 0.0000 -
2878.67/2887.29 c 2887 79219 2279 1 18.0000 0.0000 -
2886.05/2894.66 c 2895 79457 2282 1 18.0000 0.0000 -
2891.13/2899.73 c 2900 79830 2283 1 18.0000 0.0000 -
2897.43/2906.05 c 2906 80198 2289 1 18.0000 0.0000 -
2902.52/2911.15 c 2911 80502 2292 1 18.0000 0.0000 -
2910.40/2919.01 c 2919 80785 2296 1 18.0000 0.0000 -
2915.49/2924.19 c 2924 81123 2313 1 18.0000 0.0000 -
2920.56/2929.23 c 2929 81526 2309 1 18.0000 0.0000 -
2927.24/2935.98 c 2936 81721 2313 1 18.0000 0.0000 -
2935.72/2944.45 c 2944 81827 2314 1 18.0000 0.0000 -
2940.91/2949.60 c 2950 82154 2305 1 18.0000 0.0000 -
2948.89/2957.68 c 2958 82473 2310 1 18.0000 0.0000 -
2955.78/2964.51 c 2965 82627 2308 1 18.0000 0.0000 -
2962.46/2971.21 c 2971 82811 2313 1 18.0000 0.0000 -
2969.35/2978.15 c 2978 82923 2313 1 18.0000 0.0000 -
2974.43/2983.24 c 2983 83296 2324 1 18.0000 0.0000 -
2987.39/2996.25 c 2996 83531 2325 1 18.0000 0.0000 -
2993.08/3001.94 c 3002 83759 2328 1 18.0000 0.0000 -
2998.56/3007.42 c 3007 83961 2327 1 18.0000 0.0000 -
3004.27/3013.16 c 3013 84071 2327 1 18.0000 0.0000 -
3013.53/3022.49 c 3022 84229 2323 1 18.0000 0.0000 -
3018.62/3027.55 c 3028 84580 2326 1 18.0000 0.0000 -
3024.50/3033.46 c 3033 84693 2331 1 18.0000 0.0000 -
3039.66/3048.62 c 3049 84798 2332 1 18.0000 0.0000 -
3049.74/3058.74 c 3059 85001 2331 1 18.0000 0.0000 -
3066.40/3075.41 c 3075 85051 2334 1 18.0000 0.0000 -
3072.38/3081.42 c 3081 85147 2333 1 18.0000 0.0000 -
3084.85/3093.95 c 3094 85337 2331 1 18.0000 0.0000 -
3089.95/3099.01 c 3099 85684 2334 1 18.0000 0.0000 -
3096.12/3105.28 c 3105 85722 2334 1 18.0000 0.0000 -
3103.60/3112.79 c 3113 85869 2337 1 18.0000 0.0000 -
3110.09/3119.24 c 3119 86086 2342 1 18.0000 0.0000 -
3115.48/3124.61 c 3125 86289 2344 1 18.0000 0.0000 -
3121.87/3131.04 c 3131 86477 2355 1 18.0000 0.0000 -
3127.25/3136.46 c 3136 86625 2358 1 18.0000 0.0000 -
3133.03/3142.28 c 3142 86795 2365 1 18.0000 0.0000 -
3141.71/3150.91 c 3151 87065 2372 1 18.0000 0.0000 -
3147.91/3157.17 c 3157 87487 2366 1 18.0000 0.0000 -
3152.98/3162.23 c 3162 87834 2385 1 18.0000 0.0000 -
3158.87/3168.17 c 3168 87984 2415 1 18.0000 0.0000 -
3164.45/3173.76 c 3174 88080 2427 1 18.0000 0.0000 -
3169.54/3178.83 c 3179 88436 2447 1 18.0000 0.0000 -
3174.53/3183.88 c 3184 88789 2448 1 18.0000 0.0000 -
3180.01/3189.30 c 3189 89038 2466 1 18.0000 0.0000 -
3185.10/3194.40 c 3194 89399 2482 1 18.0000 0.0000 -
3194.37/3203.80 c 3204 89709 2486 1 18.0000 0.0000 -
3199.67/3209.10 c 3209 90078 2488 1 18.0000 0.0000 -
3205.66/3215.01 c 3215 90410 2488 1 18.0000 0.0000 -
3210.75/3220.14 c 3220 90797 2487 1 18.0000 0.0000 -
3215.83/3225.29 c 3225 91197 2482 1 18.0000 0.0000 -
3222.81/3232.26 c 3232 91504 2483 1 18.0000 0.0000 -
3227.89/3237.33 c 3237 91855 2493 1 18.0000 0.0000 -
3238.58/3248.06 c 3248 92004 2498 1 18.0000 0.0000 -
3246.25/3255.79 c 3256 92217 2502 1 18.0000 0.0000 -
3252.13/3261.69 c 3262 92273 2514 1 18.0000 0.0000 -
3257.23/3266.77 c 3267 92644 2517 1 18.0000 0.0000 -
3262.41/3271.93 c 3272 92988 2515 1 18.0000 0.0000 -
3268.20/3277.76 c 3278 93125 2541 1 18.0000 0.0000 -
3273.38/3282.94 c 3283 93384 2553 1 18.0000 0.0000 -
3282.76/3292.33 c 3292 93723 2554 1 18.0000 0.0000 -
3287.94/3297.59 c 3298 93922 2564 1 18.0000 0.0000 -
3293.03/3302.68 c 3303 94285 2567 1 18.0000 0.0000 -
3299.12/3308.75 c 3309 94464 2583 1 18.0000 0.0000 -
3304.52/3314.17 c 3314 94816 2596 1 18.0000 0.0000 -
3312.18/3321.87 c 3322 95094 2601 1 18.0000 0.0000 -
3318.67/3328.31 c 3328 95247 2614 1 18.0000 0.0000 -
3323.85/3333.58 c 3334 95395 2639 1 18.0000 0.0000 -
3329.84/3339.59 c 3340 95510 2658 1 18.0000 0.0000 -
3334.93/3344.64 c 3345 95879 2666 1 18.0000 0.0000 -
3340.33/3350.04 c 3350 96147 2670 1 18.0000 0.0000 -
3347.50/3357.24 c 3357 96253 2667 1 18.0000 0.0000 -
3352.58/3362.34 c 3362 96331 2666 1 18.0000 0.0000 -
3357.68/3367.43 c 3367 96712 2669 1 18.0000 0.0000 -
3368.27/3378.01 c 3378 96775 2686 1 18.0000 0.0000 -
3377.43/3387.22 c 3387 96915 2697 1 18.0000 0.0000 -
3382.52/3392.30 c 3392 97264 2709 1 18.0000 0.0000 -
3387.50/3397.37 c 3397 97642 2715 1 18.0000 0.0000 -
3396.39/3406.24 c 3406 97842 2702 1 18.0000 0.0000 -
3402.28/3412.16 c 3412 98077 2708 1 18.0000 0.0000 -
3408.16/3418.05 c 3418 98393 2705 1 18.0000 0.0000 -
3415.04/3424.90 c 3425 98602 2705 1 18.0000 0.0000 -
3420.82/3430.70 c 3431 98852 2707 1 18.0000 0.0000 -
3425.81/3435.77 c 3436 99133 2702 1 18.0000 0.0000 -
3431.60/3441.59 c 3442 99347 2707 1 18.0000 0.0000 -
3437.29/3447.24 c 3447 99465 2707 1 18.0000 0.0000 -
3442.28/3452.29 c 3452 99707 2704 1 18.0000 0.0000 -
3447.46/3457.42 c 3457 99989 2705 1 18.0000 0.0000 -
3453.74/3463.76 c 3464 100235 2703 1 18.0000 0.0000 -
3467.02/3477.10 c 3477 100380 2704 1 18.0000 0.0000 -
3477.01/3487.10 c 3487 100454 2704 1 18.0000 0.0000 -
3482.88/3492.99 c 3493 100637 2710 1 18.0000 0.0000 -
3491.56/3501.66 c 3502 100663 2710 1 18.0000 0.0000 -
3499.15/3509.23 c 3509 100759 2710 1 18.0000 0.0000 -
3504.23/3514.31 c 3514 101164 2715 1 18.0000 0.0000 -
3509.32/3519.40 c 3519 101326 2721 1 18.0000 0.0000 -
3514.91/3525.01 c 3525 101395 2732 1 18.0000 0.0000 -
3520.40/3530.54 c 3531 101481 2734 1 18.0000 0.0000 -
3528.68/3538.88 c 3539 101744 2752 1 18.0000 0.0000 -
3533.97/3544.14 c 3544 101853 2755 1 18.0000 0.0000 -
3539.05/3549.24 c 3549 101947 2767 1 18.0000 0.0000 -
3545.23/3555.47 c 3555 101992 2778 1 18.0000 0.0000 -
3550.22/3560.49 c 3560 102091 2807 1 18.0000 0.0000 -
3555.41/3565.64 c 3566 102284 2826 1 18.0000 0.0000 -
3561.30/3571.58 c 3572 102451 2886 1 18.0000 0.0000 -
3567.69/3577.93 c 3578 102571 2934 1 18.0000 0.0000 -
3573.07/3583.37 c 3583 102680 2989 1 18.0000 0.0000 -
3578.77/3589.06 c 3589 102787 3032 1 18.0000 0.0000 -
3584.24/3594.51 c 3595 102969 3080 1 18.0000 0.0000 -
3587.84/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.84/3598.18 c Total Time : 3598.1800
3587.84/3598.18 c solving : 3598.1800
3587.84/3598.18 c presolving : 1.4020 (included in solving)
3587.84/3598.18 c B&B Tree :
3587.84/3598.18 c nodes (total) : 1
3587.84/3598.18 c Solution :
3587.84/3598.18 c Solutions found : 2
3587.84/3598.18 c Primal Bound : +1.80000000000000e+01
3587.84/3598.18 c Dual Bound : +0.00000000000000e+00
3587.84/3598.18 c Gap : infinite
3587.84/3598.18 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3588.03/3598.31 o 18
3588.03/3598.31 s SATISFIABLE
3588.03/3598.31 v x650 -x649 -x648 x647 -x646 x645 -x644 x643 -x642 x641 -x640 x639 -x638 x637 -x636 x635 -x634 x633 -x632 x631 -x630 x629 -x628
3588.03/3598.31 v x627 -x626 x625 -x624 x623 -x622 x621 -x620 x619 -x618 x617 -x616 x615 -x614 x613 -x612 x611 x190 x189 -x188 x187 -x186 -x185
3588.03/3598.31 v x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163
3588.03/3598.31 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142
3588.03/3598.31 v -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121
3588.03/3598.31 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3588.03/3598.31 v x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3588.03/3598.31 v -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49
3588.03/3598.31 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3588.03/3598.31 v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x610 -x590 -x570 -x550
3588.03/3598.31 v -x530 -x510 -x490 -x470 -x450 -x430 -x410 -x390 -x370 -x350 -x330 -x310 -x290 -x270 -x250 -x230 -x609 -x589 -x569 -x549
3588.03/3598.31 v -x529 -x509 -x489 -x469 -x449 -x429 -x409 -x389 -x369 -x349 -x329 -x309 -x289 -x269 -x249 -x229 -x608 -x588 -x568 -x548 -x528
3588.03/3598.31 v -x508 -x488 -x468 -x448 -x428 -x408 -x388 -x368 -x348 -x328 -x308 -x288 -x268 -x248 -x228 -x607 -x587 -x567 -x547 -x527 -x507
3588.03/3598.31 v -x487 -x467 -x447 -x427 -x407 -x387 -x367 -x347 -x327 -x307 -x287 -x267 -x247 -x227 -x606 -x586 -x566 -x546 -x526 -x506 -x486
3588.03/3598.31 v -x466 -x446 -x426 -x406 -x386 -x366 -x346 -x326 -x306 -x286 -x266 -x246 -x226 -x605 -x585 -x565 -x545 -x525 -x505 -x485 -x465
3588.03/3598.31 v -x445 -x425 -x405 -x385 -x365 -x345 -x325 -x305 -x285 -x265 -x245 -x225 -x604 -x584 -x564 -x544 -x524 -x504 -x484 -x464 -x444
3588.03/3598.31 v -x424 -x404 -x384 -x364 -x344 -x324 -x304 -x284 -x264 -x244 -x224 -x603 -x583 -x563 -x543 -x523 -x503 -x483 -x463 -x443
3588.03/3598.31 v -x423 -x403 -x383 -x363 -x343 -x323 -x303 -x283 -x263 -x243 -x223 -x602 -x582 -x562 -x542 -x522 -x502 -x482 -x462 -x442 -x422
3588.03/3598.31 v -x402 -x382 -x362 -x342 -x322 -x302 -x282 -x262 -x242 -x222 -x601 -x581 -x561 -x541 -x521 -x501 -x481 -x461 -x441 -x421 -x401
3588.03/3598.31 v -x381 -x361 -x341 -x321 -x301 -x281 -x261 -x241 -x221 -x600 -x580 -x560 -x540 -x520 -x500 -x480 -x460 -x440 -x420 -x400 -x380
3588.03/3598.31 v -x360 -x340 -x320 -x300 -x280 -x260 -x240 -x220 -x599 -x579 -x559 -x539 -x519 -x499 -x479 -x459 -x439 -x419 -x399 -x379 -x359
3588.03/3598.31 v -x339 -x319 -x299 -x279 -x259 -x239 -x219 -x598 -x578 -x558 -x538 -x518 -x498 -x478 -x458 -x438 -x418 -x398 -x378 -x358 -x338
3588.03/3598.31 v -x318 -x298 -x278 -x258 -x238 -x218 -x597 -x577 -x557 -x537 -x517 -x497 -x477 -x457 -x437 -x417 -x397 -x377 -x357 -x337
3588.03/3598.31 v -x317 -x297 -x277 -x257 -x237 -x217 -x596 -x576 -x556 -x536 -x516 -x496 -x476 -x456 -x436 -x416 -x396 -x376 -x356 -x336 -x316
3588.03/3598.31 v -x296 -x276 -x256 -x236 -x216 -x595 -x575 -x555 -x535 -x515 -x495 -x475 -x455 -x435 -x415 -x395 -x375 -x355 -x335 -x315 -x295
3588.03/3598.31 v -x275 -x255 -x235 -x215 -x594 -x574 -x554 -x534 -x514 -x494 -x474 -x454 -x434 -x414 -x394 -x374 -x354 -x334 -x314 -x294 -x274
3588.03/3598.31 v -x254 -x234 -x214 x593 -x573 -x553 -x533 -x513 -x493 -x473 -x453 -x433 -x413 -x393 -x373 -x353 -x333 -x313 -x293 -x273 -x253
3588.03/3598.31 v -x233 -x213 -x592 x572 x552 x532 x512 x492 x472 x452 x432 x412 x392 x372 x352 x332 x312 x292 x272 x252 x232 x212 -x591 -x571
3588.03/3598.31 v -x551 -x531 -x511 -x491 -x471 -x451 -x431 -x411 -x391 -x371 -x351 -x331 -x311 -x291 -x271 -x251 -x231 -x211 x210 x209 x208
3588.03/3598.31 v x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 -x193 -x192 x191
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: 64096 MiB (62455 MiB free)
memory of node 1: 64473 MiB (63747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464563-1722390358/watcher-4464563-1722390358 -o /tmp/evaluation-result-4464563-1722390358/solver-4464563-1722390358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35754 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464563-1722390358.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36301, runsolver pid=36298
[startup+0.100095 s]*
/proc/loadavg: 2.37 1.76 2.52 5/245 36302
/proc/meminfo: memFree=129174548/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=60804 memory=48460 CPUtime=0.1 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 10012 0 0 0 10 0 0 0 20 0 1 0 5406369 62263296 12115 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 15201 12115 2347 3035 0 11597 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60804 KiB
Current children cumulated memory: 48460 KiB
[startup+0.212709 s]*
/proc/loadavg: 2.37 1.76 2.52 5/245 36302
/proc/meminfo: memFree=129085984/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=126440 memory=114608 CPUtime=0.21 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 26662 0 0 0 18 3 0 0 20 0 1 0 5406369 129474560 28652 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 31610 28652 2614 3035 0 28006 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 126440 KiB
Current children cumulated memory: 114608 KiB
[startup+0.312871 s]*
/proc/loadavg: 2.37 1.76 2.52 5/245 36302
/proc/meminfo: memFree=129049384/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=148384 memory=133212 CPUtime=0.32 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 30272 0 0 0 28 4 0 0 20 0 1 0 5406369 151945216 33303 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 37096 33303 2630 3035 0 33492 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 148384 KiB
Current children cumulated memory: 133212 KiB
[startup+0.70032 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36303
/proc/meminfo: memFree=128980136/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=151872 memory=138920 CPUtime=0.69 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 45628 0 0 0 62 7 0 0 20 0 1 0 5406369 155516928 34730 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 37968 34730 2742 3035 0 34364 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 151872 KiB
Current children cumulated memory: 138920 KiB
[startup+1.50031 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36303
/proc/meminfo: memFree=128807876/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=321604 memory=281576 CPUtime=1.49 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 66608 0 0 0 138 11 0 0 20 0 1 0 5406369 329322496 70394 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 80401 70394 2774 3035 0 76797 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 321604 KiB
Current children cumulated memory: 281576 KiB
[startup+3.11257 s]
/proc/loadavg: 2.50 1.79 2.53 5/248 36305
/proc/meminfo: memFree=128461156/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=593240 memory=500080 CPUtime=3.09 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 145418 0 0 0 285 24 0 0 20 0 3 0 5406369 607477760 125020 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 148310 125020 2998 3035 0 133187 0
[pid=36301/tid=36304] ppid=36298 vsize=593240 memory=0 CPUtime=1.38 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 71543 0 0 0 127 11 0 0 20 0 3 0 5406530 607477760 125020 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=593240 memory=438624 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5406560 607477760 125020 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 593240 KiB
Current children cumulated memory: 500080 KiB
[startup+6.3003 s]
/proc/loadavg: 2.50 1.79 2.53 5/248 36306
/proc/meminfo: memFree=128316660/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=593240 memory=517816 CPUtime=6.27 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 151914 0 0 0 602 25 0 0 20 0 3 0 5406369 607477760 129454 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 148310 129454 2998 3035 0 141444 0
[pid=36301/tid=36304] ppid=36298 vsize=593240 memory=435984 CPUtime=4.56 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 78036 0 0 0 444 12 0 0 20 0 3 0 5406530 607477760 129454 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=593240 memory=515348 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5406560 607477760 129454 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 593240 KiB
Current children cumulated memory: 517816 KiB
[startup+12.7003 s]
/proc/loadavg: 2.62 1.83 2.54 5/248 36306
/proc/meminfo: memFree=128157696/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=789848 memory=641576 CPUtime=12.65 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 228690 0 0 0 1233 32 0 0 20 0 3 0 5406369 808804352 160394 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 197462 160394 3014 3035 0 186486 0
[pid=36301/tid=36304] ppid=36298 vsize=789848 memory=515348 CPUtime=10.94 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 154806 0 0 0 1075 19 0 0 20 0 3 0 5406530 808804352 160394 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=789848 memory=-5155626877844876165 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5406560 808804352 160394 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 789848 KiB
Current children cumulated memory: 641576 KiB
[startup+25.5004 s]
/proc/loadavg: 2.93 1.94 2.56 5/248 36309
/proc/meminfo: memFree=128081848/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=789848 memory=642252 CPUtime=25.41 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 284029 0 0 0 2506 35 0 0 20 0 3 0 5406369 808804352 160563 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 197462 160563 3014 3035 0 187799 0
[pid=36301/tid=36304] ppid=36298 vsize=789848 memory=956 CPUtime=23.71 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 210055 0 0 0 2348 23 0 0 20 0 3 0 5406530 808804352 160563 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=789848 memory=642252 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5406560 808804352 160563 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 789848 KiB
Current children cumulated memory: 642252 KiB
[startup+51.1126 s]
/proc/loadavg: 3.36 2.12 2.61 5/248 36312
/proc/meminfo: memFree=127867804/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=789848 memory=642536 CPUtime=50.94 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 365913 0 0 0 5054 40 0 0 20 0 3 0 5406369 808804352 160634 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 197462 160634 3014 3035 0 189502 0
[pid=36301/tid=36304] ppid=36298 vsize=789848 memory=642536 CPUtime=49.23 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 291834 0 0 0 4896 27 0 0 20 0 3 0 5406530 808804352 160634 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=789848 memory=642536 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5406560 808804352 160634 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 789848 KiB
Current children cumulated memory: 642536 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 2.49 2.71 5/248 36322
/proc/meminfo: memFree=127742908/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=855384 memory=700008 CPUtime=101.94 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 520236 0 0 0 10143 51 0 0 20 0 3 0 5406369 875913216 175002 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 213846 175002 3030 3035 0 208185 0
[pid=36301/tid=36304] ppid=36298 vsize=855384 memory=-7522818444154199671 CPUtime=100.22 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 446050 0 0 0 9984 38 0 0 20 0 3 0 5406530 875913216 175002 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=855384 memory=7976406965554101975 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5406560 875913216 175002 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 855384 KiB
Current children cumulated memory: 700008 KiB
[startup+162.3 s]
/proc/loadavg: 4.59 2.95 2.86 5/248 36332
/proc/meminfo: memFree=127600300/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=855384 memory=704664 CPUtime=161.71 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 616225 0 0 0 16112 59 0 0 20 0 3 0 5406369 875913216 176166 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 213846 176166 3030 3035 0 209170 0
[pid=36301/tid=36304] ppid=36298 vsize=855384 memory=700240 CPUtime=160 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 541972 0 0 0 15954 46 0 0 20 0 3 0 5406530 875913216 176166 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=855384 memory=700244 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5406560 875913216 176166 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 855384 KiB
Current children cumulated memory: 704664 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.17 2.94 5/248 36344
/proc/meminfo: memFree=127466428/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=920920 memory=706924 CPUtime=221.5 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 681911 0 0 0 22087 63 0 0 20 0 3 0 5406369 943022080 176731 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 230230 176731 3030 3035 0 216082 0
[pid=36301/tid=36304] ppid=36298 vsize=920920 memory=706912 CPUtime=219.78 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 607588 0 0 0 21928 50 0 0 20 0 3 0 5406530 943022080 176731 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=920920 memory=706924 CPUtime=0 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5406560 943022080 176731 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 920920 KiB
Current children cumulated memory: 706924 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.34 3.02 5/250 36359
/proc/meminfo: memFree=127368672/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=986456 memory=738560 CPUtime=281.34 cores=5,7
################
# More data... #
################
[startup+3462.3 s]
/proc/loadavg: 3.13 3.49 3.82 4/240 38151
/proc/meminfo: memFree=124009476/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1693184 memory=1444688 CPUtime=3452.35 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2528832 0 0 0 344991 244 0 0 20 0 3 0 5406369 1733820416 361172 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 423296 361172 3030 3035 0 414690 0
[pid=36301/tid=36304] ppid=36298 vsize=1693184 memory=1444688 CPUtime=3450.4 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2452970 0 0 0 344820 220 0 0 20 0 3 0 5406530 1733820416 361172 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1693184 memory=-7522818444154199671 CPUtime=0.04 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 191 0 0 0 1 3 0 0 20 0 3 0 5406560 1733820416 361172 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 1693184 KiB
Current children cumulated memory: 1444688 KiB
[startup+3522.3 s]
/proc/loadavg: 3.05 3.39 3.76 4/241 38162
/proc/meminfo: memFree=123914196/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3512.21 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2605421 0 0 0 350972 249 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=5492 CPUtime=3510.26 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2529533 0 0 0 350801 225 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=1506420 CPUtime=0.04 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.35 3.72 4/238 38172
/proc/meminfo: memFree=123875420/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3572.07 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2609514 0 0 0 356956 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=5548 CPUtime=3570.11 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2533603 0 0 0 356785 226 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=1506420 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 195 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3598.32 s]
# the end of solver process 36301 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.52 s, system=2.5515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.34 3.72 4/238 38174
/proc/meminfo: memFree=123875316/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3573.78 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2609557 0 0 0 357127 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=-7522818444154199671 CPUtime=3571.82 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2533646 0 0 0 356956 226 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=7367444360806894190 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 195 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3573.78 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3590.4 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123874264/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3580.16 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2610500 0 0 0 357765 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3578.2 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2534585 0 0 0 357593 227 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=1506420 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3580.16 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3593.6 s]
/proc/loadavg: 3.09 3.33 3.71 4/238 38176
/proc/meminfo: memFree=123872216/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3583.35 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2610566 0 0 0 358084 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3581.39 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2534651 0 0 0 357912 227 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=11516 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3583.35 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3596.8 s]
/proc/loadavg: 3.09 3.33 3.71 2/220 38240
/proc/meminfo: memFree=128419476/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3586.54 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2610596 0 0 0 358403 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3584.58 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2534681 0 0 0 358231 227 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=11516 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3597.6 s]
/proc/loadavg: 3.09 3.33 3.71 2/220 38240
/proc/meminfo: memFree=128420556/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3587.33 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2610637 0 0 0 358482 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=1972 CPUtime=3585.38 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2534712 0 0 0 358311 227 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=2188 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3598 s]*
/proc/loadavg: 2.92 3.29 3.70 2/220 38240
/proc/meminfo: memFree=128420548/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1773048 memory=1506420 CPUtime=3587.74 cores=5,7
/proc/36301/stat : 36301 (fscip) S 36298 36301 35100 0 -1 1077936128 2610807 0 0 0 358523 251 0 0 20 0 3 0 5406369 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 443262 376605 3030 3035 0 434656 0
[pid=36301/tid=36304] ppid=36298 vsize=1773048 memory=-7522818444154199671 CPUtime=3585.79 cores=5,7
/proc/36301/task/36304/stat : 36304 (fscip) R 36298 36301 35100 0 -1 4194368 2534877 0 0 0 358352 227 0 0 20 0 3 0 5406530 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
[pid=36301/tid=36305] ppid=36298 vsize=1773048 memory=-4421386504804524900 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5406560 1815601152 376605 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 1773048 KiB
Current children cumulated memory: 1506420 KiB
[startup+3598.2 s]
/proc/loadavg: 2.92 3.29 3.70 2/220 38240
/proc/meminfo: memFree=128420548/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1232176 memory=974676 CPUtime=3587.94 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 2616860 0 0 0 358541 253 0 0 20 0 2 0 5406369 1261748224 243669 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 308044 243669 3030 3035 0 299438 0
[pid=36301/tid=36305] ppid=36298 vsize=1232176 memory=28236 CPUtime=0.05 cores=5,7
/proc/36301/task/36305/stat : 36305 (fscip) S 36298 36301 35100 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 2 0 5406560 1261748224 243669 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 1232176 KiB
Current children cumulated memory: 974676 KiB
[startup+3598.3 s]
/proc/loadavg: 2.92 3.29 3.70 2/220 38240
/proc/meminfo: memFree=128420548/131655788 swapFree=131071216/131071996
[pid=36301] ppid=36298 vsize=1201236 memory=943736 CPUtime=3588.03 cores=5,7
/proc/36301/stat : 36301 (fscip) R 36298 36301 35100 0 -1 4194304 2619070 0 0 0 358550 253 0 0 20 0 1 0 5406369 1230065664 235934 134679101440 4194304 16623229 140733389347392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56905728 140733389349914 140733389350030 140733389350030 140733389357040 0
/proc/36301/statm: 300309 235934 3030 3035 0 291703 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 1201236 KiB
Current children cumulated memory: 943736 KiB
Child status: 0
Real time (s): 3598.32
CPU time (s): 3588.07
CPU user time (s): 3585.52
CPU system time (s): 2.5515
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 1773048
Max. memory (cumulated for all children) (KiB): 1506420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.52
system time used= 2.5515
maximum resident set size= 1506420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2619251
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= 8078
involuntary context switches= 5160
# summary of solver processes directly reported to runsolver:
# pid: 36301
# total CPU time (s): 3588.07
# total CPU user time (s): 3585.52
# total CPU system time (s): 2.5515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7174 second user time and 34.6368 second system time
The end
Begin job on nodeC007 at 2024-07-31 03:45:58
IDJOB=4464563
IDBENCH=176097
IDSOLVER=3092
FILE ID=nodeC007/4464563-1722390358
RUNJOBID= nodeC007-1722390349-35754
SLURM_JOB_ID= 8249877
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464563-1722390358/watcher-4464563-1722390358 -o /tmp/evaluation-result-4464563-1722390358/solver-4464563-1722390358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35754 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464563-1722390358.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1378110229
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3668.979
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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 : 3665.078
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.395
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.301
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 3606.421
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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 : 3491.798
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.196
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.196
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129241132 kB
MemAvailable: 129540400 kB
Buffers: 100528 kB
Cached: 1037784 kB
SwapCached: 100 kB
Active: 267464 kB
Inactive: 1722996 kB
Active(anon): 1520 kB
Inactive(anon): 871708 kB
Active(file): 265944 kB
Inactive(file): 851288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 120296 kB
Writeback: 0 kB
AnonPages: 852112 kB
Mapped: 125052 kB
Shmem: 21076 kB
KReclaimable: 44468 kB
Slab: 120708 kB
SReclaimable: 44468 kB
SUnreclaim: 76240 kB
KernelStack: 3980 kB
PageTables: 11016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1150708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC007 at 2024-07-31 04:45:56