0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.00/0.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 54304768, getVmSize() = 54304768, SCIPgetMemUsed() = 26684688, SCIPgetMemTotal() = 31392304, SCIPgetMemExternEstim() = 18513605
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.27 c ** Estimated virtualMemUsedAtSolver = 70367288, getVmSize() = 112504832, SCIPgetMemUsed() = 58515031, SCIPgetMemTotal() = 87037327, SCIPgetMemExternEstim() = 18513605
0.20/0.27 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.27 c Original Problem :
0.20/0.27 c Problem name : instance-4450180-1721407310
0.20/0.27 c Variables : 4830 (4830 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.27 c Constraints : 15140
0.20/0.27 c Objective sense : minimize
0.20/0.27 c Presolved Problem :
0.20/0.27 c Variables : 4813 (4813 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.27 c Constraints : 10267
0.20/0.27 c Constraints : Number
0.20/0.27 c setppc : 10266
0.20/0.27 c orbitope : 1
0.20/0.27 c ** Instance transfer method used: 0
0.20/0.28 c ** ParaScipInstance copy increased the number of variables. **
0.20/0.30 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.30 c Nodes Active
0.20/0.30 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.56/5.69 c 6 2 1 1 - 0.0000 -
11.55/11.61 c 12 38 35 1 - 0.0000 -
16.52/16.69 c 17 554 328 1 - 0.0000 -
21.61/21.74 c 22 1427 160 1 - 0.0000 -
26.59/26.79 c 27 2505 173 1 - 0.0000 -
31.68/31.84 c 32 3547 164 1 - 0.0000 -
36.87/37.07 c 37 4423 181 1 - 0.0000 -
41.95/42.12 c 42 5392 146 1 - 0.0000 -
46.93/47.17 c 47 6240 179 1 - 0.0000 -
52.01/52.23 c 52 7138 178 1 - 0.0000 -
56.99/57.29 c 57 8032 219 1 - 0.0000 -
62.08/62.35 c 62 8899 207 1 - 0.0000 -
67.16/67.49 c 67 9653 216 1 - 0.0000 -
72.24/72.54 c 73 10501 231 1 - 0.0000 -
77.23/77.59 c 78 11319 244 1 - 0.0000 -
82.31/82.64 c 83 12216 303 1 - 0.0000 -
87.29/87.69 c 88 13144 257 1 - 0.0000 -
92.48/92.89 c 93 14043 174 1 - 0.0000 -
97.65/98.01 c 98 14853 213 1 - 0.0000 -
102.74/103.20 c 103 15523 192 1 - 0.0000 -
107.92/108.33 c 108 16395 183 1 - 0.0000 -
112.90/113.38 c 113 17227 201 1 - 0.0000 -
117.99/118.43 c 118 18211 204 1 - 0.0000 -
122.97/123.49 c 123 19208 205 1 - 0.0000 -
128.05/128.57 c 129 20283 238 1 - 0.0000 -
133.13/133.62 c 134 21406 299 1 - 0.0000 -
138.12/138.67 c 139 22443 533 1 - 0.0000 -
143.20/143.73 c 144 23499 560 1 - 0.0000 -
148.28/148.84 c 149 24624 757 1 - 0.0000 -
153.26/153.89 c 154 25697 754 1 - 0.0000 -
158.35/158.94 c 159 26817 460 1 - 0.0000 -
163.34/163.99 c 164 27899 499 1 - 0.0000 -
168.42/169.04 c 169 29026 491 1 - 0.0000 -
173.40/174.09 c 174 30174 499 1 - 0.0000 -
178.49/179.14 c 179 31315 481 1 - 0.0000 -
183.47/184.19 c 184 32488 473 1 - 0.0000 -
188.55/189.24 c 189 33609 509 1 - 0.0000 -
193.53/194.29 c 194 34691 532 1 - 0.0000 -
198.61/199.34 c 199 35767 540 1 - 0.0000 -
203.60/204.39 c 204 36991 513 1 - 0.0000 -
208.68/209.44 c 209 38179 499 1 - 0.0000 -
213.66/214.49 c 214 39287 452 1 - 0.0000 -
218.75/219.54 c 220 40357 393 1 - 0.0000 -
223.73/224.59 c 225 41559 382 1 - 0.0000 -
228.81/229.64 c 230 42714 315 1 - 0.0000 -
233.80/234.69 c 235 43773 290 1 - 0.0000 -
238.88/239.74 c 240 44844 281 1 - 0.0000 -
243.87/244.79 c 245 45966 285 1 - 0.0000 -
248.95/249.84 c 250 47087 229 1 - 0.0000 -
253.94/254.89 c 255 48399 221 1 - 0.0000 -
259.02/259.93 c 260 49568 210 1 - 0.0000 -
264.00/264.98 c 265 50874 207 1 - 0.0000 -
269.08/270.03 c 270 52227 209 1 - 0.0000 -
274.07/275.08 c 275 53525 208 1 - 0.0000 -
279.15/280.13 c 280 54843 217 1 - 0.0000 -
284.14/285.18 c 285 56132 201 1 - 0.0000 -
289.21/290.23 c 290 57458 268 1 - 0.0000 -
294.19/295.28 c 295 58713 306 1 - 0.0000 -
299.28/300.33 c 300 59953 309 1 - 0.0000 -
304.27/305.38 c 305 61180 217 1 - 0.0000 -
309.34/310.43 c 310 62402 254 1 - 0.0000 -
314.34/315.48 c 315 63603 273 1 - 0.0000 -
319.42/320.53 c 321 64956 300 1 - 0.0000 -
324.40/325.58 c 326 66271 322 1 - 0.0000 -
329.48/330.63 c 331 67519 296 1 - 0.0000 -
334.46/335.68 c 336 68780 277 1 - 0.0000 -
339.55/340.73 c 341 70102 245 1 - 0.0000 -
344.53/345.78 c 346 71409 203 1 - 0.0000 -
349.61/350.83 c 351 72660 322 1 - 0.0000 -
354.59/355.88 c 356 73905 274 1 - 0.0000 -
359.68/360.93 c 361 75140 239 1 - 0.0000 -
364.66/365.98 c 366 76414 272 1 - 0.0000 -
369.74/371.03 c 371 77637 258 1 - 0.0000 -
374.73/376.08 c 376 78857 280 1 - 0.0000 -
379.81/381.13 c 381 80062 324 1 - 0.0000 -
384.81/386.18 c 386 81230 397 1 - 0.0000 -
389.88/391.23 c 391 82427 350 1 - 0.0000 -
394.87/396.28 c 396 83601 407 1 - 0.0000 -
399.95/401.33 c 401 84799 427 1 - 0.0000 -
404.94/406.38 c 406 86039 422 1 - 0.0000 -
410.03/411.43 c 411 87324 435 1 - 0.0000 -
415.01/416.48 c 416 88493 489 1 - 0.0000 -
420.09/421.53 c 422 89643 615 1 - 0.0000 -
425.08/426.58 c 427 90762 730 1 - 0.0000 -
430.16/431.63 c 432 92079 768 1 - 0.0000 -
435.16/436.67 c 437 93428 863 1 - 0.0000 -
440.24/441.73 c 442 94771 1032 1 - 0.0000 -
445.22/446.78 c 447 96135 1074 1 - 0.0000 -
450.31/451.83 c 452 97527 1216 1 - 0.0000 -
455.29/456.88 c 457 98921 1237 1 - 0.0000 -
460.38/461.93 c 462 100341 1445 1 - 0.0000 -
465.37/466.98 c 467 101823 1293 1 - 0.0000 -
470.45/472.03 c 472 103199 1450 1 - 0.0000 -
475.44/477.08 c 477 104554 1667 1 - 0.0000 -
480.52/482.13 c 482 105914 1303 1 - 0.0000 -
485.51/487.18 c 487 107180 1307 1 - 0.0000 -
490.59/492.23 c 492 108513 1224 1 - 0.0000 -
495.58/497.28 c 497 109822 1242 1 - 0.0000 -
500.66/502.33 c 502 111199 1297 1 - 0.0000 -
505.65/507.38 c 507 112582 1356 1 - 0.0000 -
510.73/512.43 c 512 113892 1319 1 - 0.0000 -
515.72/517.48 c 517 115217 1346 1 - 0.0000 -
520.80/522.53 c 523 116566 1381 1 - 0.0000 -
525.79/527.58 c 528 117924 1396 1 - 0.0000 -
530.87/532.63 c 533 119278 1443 1 - 0.0000 -
535.86/537.68 c 538 120653 1431 1 - 0.0000 -
540.95/542.73 c 543 122072 1464 1 - 0.0000 -
545.93/547.78 c 548 123544 1391 1 - 0.0000 -
551.02/552.83 c 553 124910 1415 1 - 0.0000 -
556.00/557.88 c 558 126274 1412 1 - 0.0000 -
561.09/562.93 c 563 127612 1419 1 - 0.0000 -
566.07/567.98 c 568 128926 1467 1 - 0.0000 -
571.16/573.03 c 573 130305 1559 1 - 0.0000 -
576.15/578.08 c 578 131669 1475 1 - 0.0000 -
581.23/583.13 c 583 132897 1468 1 - 0.0000 -
586.22/588.18 c 588 134191 1458 1 - 0.0000 -
591.30/593.23 c 593 135412 1461 1 - 0.0000 -
596.29/598.28 c 598 136630 1592 1 - 0.0000 -
601.37/603.33 c 603 137858 1428 1 - 0.0000 -
606.35/608.38 c 608 139216 1508 1 - 0.0000 -
611.44/613.43 c 613 140509 1527 1 - 0.0000 -
616.43/618.48 c 618 141853 1555 1 - 0.0000 -
621.51/623.53 c 624 143137 1583 1 - 0.0000 -
626.50/628.58 c 629 144478 1609 1 - 0.0000 -
631.59/633.63 c 634 145800 1604 1 - 0.0000 -
636.57/638.68 c 639 147125 1599 1 - 0.0000 -
641.66/643.73 c 644 148491 1621 1 - 0.0000 -
646.64/648.78 c 649 149736 1667 1 - 0.0000 -
651.72/653.83 c 654 151026 1646 1 - 0.0000 -
656.71/658.88 c 659 152322 1649 1 - 0.0000 -
661.80/663.93 c 664 153715 1631 1 - 0.0000 -
666.78/668.98 c 669 154953 1632 1 - 0.0000 -
671.87/674.03 c 674 156314 1629 1 - 0.0000 -
676.86/679.08 c 679 157571 1733 1 - 0.0000 -
681.94/684.13 c 684 158733 1692 1 - 0.0000 -
686.93/689.18 c 689 159900 1700 1 - 0.0000 -
692.01/694.23 c 694 161178 1711 1 - 0.0000 -
697.00/699.28 c 699 162534 1722 1 - 0.0000 -
702.08/704.33 c 704 163911 1660 1 - 0.0000 -
707.07/709.38 c 709 165243 1604 1 - 0.0000 -
712.16/714.43 c 714 166550 1558 1 - 0.0000 -
717.14/719.48 c 719 167999 1564 1 - 0.0000 -
722.22/724.53 c 725 169389 1604 1 - 0.0000 -
727.21/729.58 c 730 170716 1637 1 - 0.0000 -
732.29/734.63 c 735 172011 1679 1 - 0.0000 -
737.28/739.68 c 740 173400 1683 1 - 0.0000 -
742.37/744.73 c 745 174767 1685 1 - 0.0000 -
747.35/749.78 c 750 176173 1695 1 - 0.0000 -
752.43/754.83 c 755 177573 1720 1 - 0.0000 -
757.43/759.89 c 760 178769 1753 1 - 0.0000 -
762.51/764.94 c 765 180128 1737 1 - 0.0000 -
767.49/769.99 c 770 181538 1768 1 - 0.0000 -
772.58/775.04 c 775 182890 1770 1 - 0.0000 -
777.57/780.09 c 780 184233 1745 1 - 0.0000 -
782.65/785.14 c 785 185620 1720 1 - 0.0000 -
787.73/790.21 c 790 186995 1701 1 - 0.0000 -
792.72/795.26 c 795 188316 1650 1 - 0.0000 -
797.80/800.31 c 800 189701 1510 1 - 0.0000 -
802.78/805.36 c 805 191026 1484 1 - 0.0000 -
807.88/810.41 c 810 192412 1526 1 - 0.0000 -
812.85/815.46 c 815 193900 1490 1 - 0.0000 -
817.94/820.51 c 821 195291 1496 1 - 0.0000 -
822.92/825.56 c 826 196807 1531 1 - 0.0000 -
828.01/830.61 c 831 198392 1570 1 - 0.0000 -
832.98/835.66 c 836 200061 1555 1 - 0.0000 -
838.07/840.71 c 841 201809 1611 1 - 0.0000 -
843.05/845.76 c 846 203595 1651 1 - 0.0000 -
848.14/850.81 c 851 205322 1710 1 - 0.0000 -
853.12/855.86 c 856 207086 1744 1 - 0.0000 -
858.20/860.91 c 861 208818 1787 1 - 0.0000 -
863.18/865.96 c 866 210563 1840 1 - 0.0000 -
868.27/871.01 c 871 212484 1666 1 - 0.0000 -
873.25/876.06 c 876 214315 1523 1 - 0.0000 -
878.33/881.11 c 881 216027 1605 1 - 0.0000 -
883.32/886.16 c 886 217760 1668 1 - 0.0000 -
888.40/891.21 c 891 219147 1495 1 - 0.0000 -
893.38/896.26 c 896 220496 1554 1 - 0.0000 -
898.48/901.31 c 901 221880 1570 1 - 0.0000 -
903.46/906.36 c 906 223183 1608 1 - 0.0000 -
908.54/911.41 c 911 224377 1460 1 - 0.0000 -
913.54/916.46 c 916 225685 1399 1 - 0.0000 -
918.62/921.51 c 922 227070 1368 1 - 0.0000 -
923.60/926.56 c 927 228402 1291 1 - 0.0000 -
928.69/931.61 c 932 229842 1251 1 - 0.0000 -
933.68/936.66 c 937 231162 1232 1 - 0.0000 -
938.76/941.71 c 942 232422 1164 1 - 0.0000 -
943.75/946.76 c 947 233694 1121 1 - 0.0000 -
948.83/951.81 c 952 234957 1074 1 - 0.0000 -
953.82/956.86 c 957 236202 1045 1 - 0.0000 -
958.91/961.91 c 962 237398 978 1 - 0.0000 -
963.89/966.96 c 967 238705 948 1 - 0.0000 -
968.99/972.01 c 972 239903 908 1 - 0.0000 -
973.97/977.06 c 977 241115 887 1 - 0.0000 -
979.05/982.11 c 982 242385 886 1 - 0.0000 -
984.04/987.16 c 987 243580 921 1 - 0.0000 -
989.12/992.21 c 992 244786 981 1 - 0.0000 -
994.10/997.27 c 997 245986 1039 1 - 0.0000 -
999.19/1002.32 c 1002 247173 1043 1 - 0.0000 -
1004.18/1007.37 c 1007 248476 780 1 - 0.0000 -
1009.27/1012.42 c 1012 249638 798 1 - 0.0000 -
1014.25/1017.47 c 1017 250827 784 1 - 0.0000 -
1019.34/1022.53 c 1023 252028 766 1 - 0.0000 -
1024.32/1027.58 c 1028 253307 407 1 - 0.0000 -
1029.41/1032.63 c 1033 254484 350 1 - 0.0000 -
1034.39/1037.68 c 1038 255680 344 1 - 0.0000 -
1039.48/1042.73 c 1043 256897 333 1 - 0.0000 -
1044.46/1047.78 c 1048 258027 336 1 - 0.0000 -
1049.55/1052.83 c 1053 259230 321 1 - 0.0000 -
1054.53/1057.88 c 1058 260293 318 1 - 0.0000 -
1059.62/1062.93 c 1063 261410 233 1 - 0.0000 -
1064.61/1067.98 c 1068 262497 197 1 - 0.0000 -
1069.69/1073.03 c 1073 263602 203 1 - 0.0000 -
1074.68/1078.08 c 1078 264710 205 1 - 0.0000 -
1079.77/1083.13 c 1083 265809 198 1 - 0.0000 -
1084.76/1088.18 c 1088 266853 234 1 - 0.0000 -
1089.83/1093.23 c 1093 267992 233 1 - 0.0000 -
1094.82/1098.28 c 1098 269143 230 1 - 0.0000 -
1099.90/1103.33 c 1103 270208 218 1 - 0.0000 -
1104.99/1108.47 c 1108 271460 208 1 - 0.0000 -
1110.08/1113.52 c 1114 272602 201 1 - 0.0000 -
1115.07/1118.57 c 1119 273940 235 1 - 0.0000 -
1120.15/1123.62 c 1124 275241 220 1 - 0.0000 -
1125.13/1128.69 c 1129 276562 206 1 - 0.0000 -
1130.22/1133.74 c 1134 278120 204 1 - 0.0000 -
1135.21/1138.79 c 1139 279341 217 1 - 0.0000 -
1140.30/1143.84 c 1144 280736 246 1 - 0.0000 -
1145.28/1148.89 c 1149 282499 217 1 - 0.0000 -
1150.36/1153.94 c 1154 283652 206 1 - 0.0000 -
1155.35/1158.99 c 1159 284900 194 1 - 0.0000 -
1160.44/1164.04 c 1164 286463 207 1 - 0.0000 -
1165.43/1169.09 c 1169 287874 229 1 - 0.0000 -
1170.51/1174.14 c 1174 288992 208 1 - 0.0000 -
1175.49/1179.19 c 1179 290058 213 1 - 0.0000 -
1180.58/1184.24 c 1184 291411 217 1 - 0.0000 -
1185.56/1189.29 c 1189 292724 202 1 - 0.0000 -
1190.64/1194.34 c 1194 294171 229 1 - 0.0000 -
1195.63/1199.39 c 1199 295763 199 1 - 0.0000 -
1200.72/1204.44 c 1204 297218 222 1 - 0.0000 -
1205.71/1209.49 c 1209 298743 213 1 - 0.0000 -
1210.79/1214.54 c 1215 300255 204 1 - 0.0000 -
1215.78/1219.59 c 1220 301847 196 1 - 0.0000 -
1220.86/1224.64 c 1225 303209 198 1 - 0.0000 -
1225.84/1229.69 c 1230 304472 202 1 - 0.0000 -
1230.93/1234.74 c 1235 305936 211 1 - 0.0000 -
1235.92/1239.79 c 1240 307396 214 1 - 0.0000 -
1241.10/1244.91 c 1245 308795 206 1 - 0.0000 -
1246.08/1249.96 c 1250 310183 209 1 - 0.0000 -
1251.17/1255.01 c 1255 311526 222 1 - 0.0000 -
1256.17/1260.06 c 1260 312993 218 1 - 0.0000 -
1261.25/1265.11 c 1265 314444 224 1 - 0.0000 -
1266.24/1270.16 c 1270 315912 216 1 - 0.0000 -
1271.32/1275.21 c 1275 317304 211 1 - 0.0000 -
1276.30/1280.26 c 1280 318642 217 1 - 0.0000 -
1281.39/1285.31 c 1285 320063 208 1 - 0.0000 -
1286.37/1290.36 c 1290 321396 240 1 - 0.0000 -
1291.46/1295.41 c 1295 322775 248 1 - 0.0000 -
1296.45/1300.46 c 1300 324198 208 1 - 0.0000 -
1301.53/1305.51 c 1306 325626 207 1 - 0.0000 -
1306.52/1310.56 c 1311 327148 201 1 - 0.0000 -
1311.61/1315.61 c 1316 328634 206 1 - 0.0000 -
1316.59/1320.66 c 1321 330081 206 1 - 0.0000 -
1321.67/1325.71 c 1326 331410 196 1 - 0.0000 -
1326.66/1330.76 c 1331 332702 199 1 - 0.0000 -
1331.75/1335.81 c 1336 334049 193 1 - 0.0000 -
1336.74/1340.86 c 1341 335378 194 1 - 0.0000 -
1341.82/1345.91 c 1346 336749 197 1 - 0.0000 -
1346.81/1350.96 c 1351 338190 201 1 - 0.0000 -
1351.89/1356.01 c 1356 339779 228 1 - 0.0000 -
1356.88/1361.06 c 1361 341392 207 1 - 0.0000 -
1361.97/1366.11 c 1366 342750 287 1 - 0.0000 -
1366.95/1371.16 c 1371 344114 221 1 - 0.0000 -
1372.03/1376.21 c 1376 345526 199 1 - 0.0000 -
1377.02/1381.26 c 1381 346901 205 1 - 0.0000 -
1382.10/1386.31 c 1386 348164 212 1 - 0.0000 -
1387.09/1391.36 c 1391 349714 196 1 - 0.0000 -
1392.18/1396.41 c 1396 351119 199 1 - 0.0000 -
1397.17/1401.46 c 1401 352373 190 1 - 0.0000 -
1402.25/1406.51 c 1407 353682 200 1 - 0.0000 -
1407.24/1411.56 c 1412 355117 218 1 - 0.0000 -
1412.32/1416.61 c 1417 356696 220 1 - 0.0000 -
1417.31/1421.66 c 1422 358262 229 1 - 0.0000 -
1422.39/1426.71 c 1427 359732 231 1 - 0.0000 -
1427.38/1431.76 c 1432 361107 234 1 - 0.0000 -
1432.47/1436.81 c 1437 362514 223 1 - 0.0000 -
1437.45/1441.86 c 1442 363755 225 1 - 0.0000 -
1442.53/1446.91 c 1447 364967 244 1 - 0.0000 -
1447.52/1451.96 c 1452 366301 237 1 - 0.0000 -
1452.60/1457.01 c 1457 367558 238 1 - 0.0000 -
1457.59/1462.06 c 1462 368999 339 1 - 0.0000 -
1462.67/1467.11 c 1467 370544 251 1 - 0.0000 -
1467.65/1472.16 c 1472 372135 244 1 - 0.0000 -
1472.74/1477.21 c 1477 373829 248 1 - 0.0000 -
1477.72/1482.26 c 1482 375216 260 1 - 0.0000 -
1482.80/1487.31 c 1487 376505 252 1 - 0.0000 -
1487.80/1492.36 c 1492 377816 247 1 - 0.0000 -
1492.88/1497.41 c 1497 379174 318 1 - 0.0000 -
1497.87/1502.46 c 1502 380696 400 1 - 0.0000 -
1502.95/1507.51 c 1508 382313 398 1 - 0.0000 -
1507.93/1512.56 c 1513 383918 400 1 - 0.0000 -
1513.02/1517.61 c 1518 385523 269 1 - 0.0000 -
1518.01/1522.66 c 1523 386983 280 1 - 0.0000 -
1523.09/1527.71 c 1528 388510 251 1 - 0.0000 -
1528.08/1532.76 c 1533 390150 286 1 - 0.0000 -
1533.16/1537.81 c 1538 391820 270 1 - 0.0000 -
1538.15/1542.86 c 1543 393461 243 1 - 0.0000 -
1543.23/1547.91 c 1548 395102 226 1 - 0.0000 -
1548.23/1552.96 c 1553 396785 267 1 - 0.0000 -
1553.31/1558.01 c 1558 398445 263 1 - 0.0000 -
1558.30/1563.06 c 1563 400014 274 1 - 0.0000 -
1563.38/1568.11 c 1568 401589 264 1 - 0.0000 -
1568.37/1573.16 c 1573 403145 260 1 - 0.0000 -
1573.45/1578.21 c 1578 404656 302 1 - 0.0000 -
1578.43/1583.26 c 1583 406143 303 1 - 0.0000 -
1583.52/1588.31 c 1588 407681 329 1 - 0.0000 -
1588.50/1593.36 c 1593 409179 588 1 - 0.0000 -
1593.59/1598.41 c 1598 410918 549 1 - 0.0000 -
1598.58/1603.46 c 1603 412701 376 1 - 0.0000 -
1603.66/1608.51 c 1609 414383 369 1 - 0.0000 -
1608.65/1613.56 c 1614 415998 357 1 - 0.0000 -
1613.74/1618.61 c 1619 417646 348 1 - 0.0000 -
1618.72/1623.66 c 1624 418999 405 1 - 0.0000 -
1623.81/1628.72 c 1629 420217 359 1 - 0.0000 -
1628.79/1633.77 c 1634 421746 342 1 - 0.0000 -
1633.87/1638.82 c 1639 423437 350 1 - 0.0000 -
1638.87/1643.87 c 1644 424915 329 1 - 0.0000 -
1643.95/1648.92 c 1649 426468 328 1 - 0.0000 -
1648.93/1653.97 c 1654 427988 325 1 - 0.0000 -
1654.02/1659.02 c 1659 429493 330 1 - 0.0000 -
1659.01/1664.07 c 1664 431019 302 1 - 0.0000 -
1664.10/1669.12 c 1669 432548 300 1 - 0.0000 -
1669.08/1674.17 c 1674 433810 355 1 - 0.0000 -
1674.16/1679.22 c 1679 435155 373 1 - 0.0000 -
1679.15/1684.27 c 1684 436631 397 1 - 0.0000 -
1684.23/1689.32 c 1689 438002 380 1 - 0.0000 -
1689.21/1694.37 c 1694 439279 416 1 - 0.0000 -
1694.30/1699.42 c 1699 440709 441 1 - 0.0000 -
1699.29/1704.47 c 1704 442102 456 1 - 0.0000 -
1704.37/1709.52 c 1710 443329 503 1 - 0.0000 -
1709.36/1714.57 c 1715 444580 512 1 - 0.0000 -
1714.45/1719.62 c 1720 445952 510 1 - 0.0000 -
1719.43/1724.67 c 1725 447381 522 1 - 0.0000 -
1724.52/1729.72 c 1730 448812 534 1 - 0.0000 -
1729.50/1734.77 c 1735 450229 549 1 - 0.0000 -
1734.59/1739.82 c 1740 452023 547 1 - 0.0000 -
1739.58/1744.87 c 1745 453737 556 1 - 0.0000 -
1744.66/1749.92 c 1750 455312 611 1 - 0.0000 -
1749.65/1754.97 c 1755 456936 588 1 - 0.0000 -
1754.73/1760.02 c 1760 458618 578 1 - 0.0000 -
1759.72/1765.07 c 1765 460314 574 1 - 0.0000 -
1764.81/1770.12 c 1770 462072 555 1 - 0.0000 -
1769.79/1775.17 c 1775 463723 594 1 - 0.0000 -
1774.87/1780.22 c 1780 465450 569 1 - 0.0000 -
1779.86/1785.27 c 1785 467196 551 1 - 0.0000 -
1784.95/1790.32 c 1790 468841 542 1 - 0.0000 -
1789.94/1795.37 c 1795 470313 507 1 - 0.0000 -
1795.02/1800.42 c 1800 471795 502 1 - 0.0000 -
1800.00/1805.47 c 1805 473142 500 1 - 0.0000 -
1805.08/1810.52 c 1811 474493 516 1 - 0.0000 -
1810.07/1815.57 c 1816 476012 521 1 - 0.0000 -
1815.16/1820.62 c 1821 477488 530 1 - 0.0000 -
1820.14/1825.67 c 1826 478931 510 1 - 0.0000 -
1825.23/1830.72 c 1831 480193 522 1 - 0.0000 -
1830.21/1835.77 c 1836 481596 493 1 - 0.0000 -
1835.30/1840.82 c 1841 482893 485 1 - 0.0000 -
1840.29/1845.87 c 1846 484225 490 1 - 0.0000 -
1845.37/1850.92 c 1851 485478 519 1 - 0.0000 -
1850.35/1855.97 c 1856 486740 505 1 - 0.0000 -
1855.43/1861.02 c 1861 488019 486 1 - 0.0000 -
1860.42/1866.07 c 1866 489506 471 1 - 0.0000 -
1865.51/1871.12 c 1871 490990 479 1 - 0.0000 -
1870.49/1876.17 c 1876 492335 454 1 - 0.0000 -
1875.57/1881.22 c 1881 493636 514 1 - 0.0000 -
1880.56/1886.27 c 1886 495112 428 1 - 0.0000 -
1885.64/1891.32 c 1891 496575 434 1 - 0.0000 -
1890.62/1896.39 c 1896 498029 445 1 - 0.0000 -
1895.71/1901.44 c 1901 499567 448 1 - 0.0000 -
1900.69/1906.49 c 1906 501116 436 1 - 0.0000 -
1905.77/1911.54 c 1912 502736 451 1 - 0.0000 -
1910.76/1916.59 c 1917 504238 458 1 - 0.0000 -
1915.84/1921.64 c 1922 505711 465 1 - 0.0000 -
1920.83/1926.69 c 1927 507238 449 1 - 0.0000 -
1925.91/1931.74 c 1932 508557 455 1 - 0.0000 -
1930.89/1936.79 c 1937 509945 481 1 - 0.0000 -
1935.97/1941.84 c 1942 511323 450 1 - 0.0000 -
1940.95/1946.89 c 1947 512672 473 1 - 0.0000 -
1946.04/1951.94 c 1952 514032 449 1 - 0.0000 -
1951.02/1956.99 c 1957 515452 478 1 - 0.0000 -
1956.10/1962.04 c 1962 516825 448 1 - 0.0000 -
1961.09/1967.09 c 1967 518293 436 1 - 0.0000 -
1966.17/1972.14 c 1972 519707 431 1 - 0.0000 -
1971.15/1977.19 c 1977 521115 428 1 - 0.0000 -
1976.23/1982.24 c 1982 522491 411 1 - 0.0000 -
1981.21/1987.29 c 1987 524013 409 1 - 0.0000 -
1986.29/1992.34 c 1992 525449 406 1 - 0.0000 -
1991.27/1997.39 c 1997 527095 408 1 - 0.0000 -
1996.36/2002.44 c 2002 528629 404 1 - 0.0000 -
2001.34/2007.49 c 2007 530291 412 1 - 0.0000 -
2006.42/2012.54 c 2013 531948 381 1 - 0.0000 -
2011.41/2017.59 c 2018 533437 403 1 - 0.0000 -
2016.49/2022.64 c 2023 534854 402 1 - 0.0000 -
2021.47/2027.69 c 2028 536266 384 1 - 0.0000 -
2026.55/2032.74 c 2033 537541 386 1 - 0.0000 -
2031.54/2037.79 c 2038 539099 398 1 - 0.0000 -
2036.62/2042.84 c 2043 540641 407 1 - 0.0000 -
2041.60/2047.89 c 2048 542151 405 1 - 0.0000 -
2046.69/2052.93 c 2053 543713 401 1 - 0.0000 -
2051.66/2057.98 c 2058 545186 402 1 - 0.0000 -
2056.75/2063.03 c 2063 546822 409 1 - 0.0000 -
2061.73/2068.08 c 2068 548422 395 1 - 0.0000 -
2066.81/2073.13 c 2073 549887 391 1 - 0.0000 -
2071.79/2078.18 c 2078 551285 374 1 - 0.0000 -
2076.87/2083.23 c 2083 552738 382 1 - 0.0000 -
2081.85/2088.28 c 2088 554131 362 1 - 0.0000 -
2086.94/2093.33 c 2093 555426 356 1 - 0.0000 -
2091.92/2098.38 c 2098 556998 352 1 - 0.0000 -
2097.00/2103.43 c 2103 558410 333 1 - 0.0000 -
2101.99/2108.48 c 2108 560084 347 1 - 0.0000 -
2107.07/2113.53 c 2114 561745 350 1 - 0.0000 -
2112.05/2118.58 c 2119 563183 349 1 - 0.0000 -
2117.13/2123.63 c 2124 564551 359 1 - 0.0000 -
2122.11/2128.68 c 2129 565938 355 1 - 0.0000 -
2127.20/2133.73 c 2134 567291 342 1 - 0.0000 -
2132.18/2138.78 c 2139 568800 350 1 - 0.0000 -
2137.26/2143.83 c 2144 570335 350 1 - 0.0000 -
2142.24/2148.88 c 2149 571647 354 1 - 0.0000 -
2147.32/2153.93 c 2154 573183 357 1 - 0.0000 -
2152.31/2158.98 c 2159 574498 371 1 - 0.0000 -
2157.39/2164.03 c 2164 575821 373 1 - 0.0000 -
2162.37/2169.08 c 2169 577297 386 1 - 0.0000 -
2167.46/2174.13 c 2174 578635 416 1 - 0.0000 -
2172.44/2179.18 c 2179 580174 444 1 - 0.0000 -
2177.51/2184.23 c 2184 581617 463 1 - 0.0000 -
2182.50/2189.28 c 2189 582904 495 1 - 0.0000 -
2187.58/2194.33 c 2194 584180 496 1 - 0.0000 -
2192.56/2199.38 c 2199 585521 384 1 - 0.0000 -
2197.65/2204.43 c 2204 586898 398 1 - 0.0000 -
2202.63/2209.48 c 2209 588367 398 1 - 0.0000 -
2207.71/2214.53 c 2215 589820 396 1 - 0.0000 -
2212.70/2219.58 c 2220 591357 405 1 - 0.0000 -
2217.78/2224.63 c 2225 592824 389 1 - 0.0000 -
2222.76/2229.68 c 2230 594169 347 1 - 0.0000 -
2227.85/2234.73 c 2235 595664 353 1 - 0.0000 -
2232.83/2239.78 c 2240 597195 362 1 - 0.0000 -
2237.90/2244.83 c 2245 598685 347 1 - 0.0000 -
2242.89/2249.88 c 2250 600114 351 1 - 0.0000 -
2247.97/2254.93 c 2255 601493 348 1 - 0.0000 -
2252.95/2259.98 c 2260 602833 348 1 - 0.0000 -
2258.05/2265.03 c 2265 604416 359 1 - 0.0000 -
2263.03/2270.08 c 2270 606164 359 1 - 0.0000 -
2268.10/2275.13 c 2275 607771 350 1 - 0.0000 -
2273.19/2280.23 c 2280 609478 360 1 - 0.0000 -
2278.17/2285.28 c 2285 611082 355 1 - 0.0000 -
2283.25/2290.33 c 2290 612674 361 1 - 0.0000 -
2288.23/2295.38 c 2295 614327 353 1 - 0.0000 -
2293.32/2300.43 c 2300 615948 373 1 - 0.0000 -
2298.30/2305.48 c 2305 617646 354 1 - 0.0000 -
2303.38/2310.53 c 2311 619350 376 1 - 0.0000 -
2308.36/2315.58 c 2316 620835 325 1 - 0.0000 -
2313.45/2320.63 c 2321 622443 316 1 - 0.0000 -
2318.42/2325.68 c 2326 624263 328 1 - 0.0000 -
2323.51/2330.73 c 2331 626105 325 1 - 0.0000 -
2328.49/2335.78 c 2336 627912 327 1 - 0.0000 -
2333.57/2340.83 c 2341 629527 320 1 - 0.0000 -
2338.55/2345.88 c 2346 630888 327 1 - 0.0000 -
2343.64/2350.93 c 2351 632226 335 1 - 0.0000 -
2348.62/2355.98 c 2356 633630 327 1 - 0.0000 -
2353.71/2361.03 c 2361 635225 334 1 - 0.0000 -
2358.69/2366.08 c 2366 636651 331 1 - 0.0000 -
2363.77/2371.13 c 2371 638126 320 1 - 0.0000 -
2368.76/2376.18 c 2376 639526 321 1 - 0.0000 -
2373.83/2381.23 c 2381 641036 307 1 - 0.0000 -
2378.82/2386.28 c 2386 642472 309 1 - 0.0000 -
2383.90/2391.33 c 2391 643865 319 1 - 0.0000 -
2388.88/2396.38 c 2396 645393 322 1 - 0.0000 -
2393.96/2401.43 c 2401 646936 314 1 - 0.0000 -
2398.94/2406.48 c 2406 648476 321 1 - 0.0000 -
2404.03/2411.53 c 2412 650022 313 1 - 0.0000 -
2409.01/2416.58 c 2417 651675 319 1 - 0.0000 -
2414.10/2421.63 c 2422 653381 313 1 - 0.0000 -
2419.07/2426.68 c 2427 654774 335 1 - 0.0000 -
2424.15/2431.73 c 2432 656178 349 1 - 0.0000 -
2429.14/2436.78 c 2437 657472 373 1 - 0.0000 -
2434.22/2441.83 c 2442 658748 383 1 - 0.0000 -
2439.20/2446.88 c 2447 660106 358 1 - 0.0000 -
2444.29/2451.93 c 2452 661435 361 1 - 0.0000 -
2449.27/2456.98 c 2457 662896 361 1 - 0.0000 -
2454.36/2462.03 c 2462 664364 349 1 - 0.0000 -
2459.34/2467.08 c 2467 665632 363 1 - 0.0000 -
2464.42/2472.13 c 2472 667097 364 1 - 0.0000 -
2469.41/2477.18 c 2477 668578 385 1 - 0.0000 -
2474.49/2482.23 c 2482 670089 439 1 - 0.0000 -
2479.48/2487.28 c 2487 671856 467 1 - 0.0000 -
2484.56/2492.33 c 2492 673502 463 1 - 0.0000 -
2489.55/2497.38 c 2497 675052 453 1 - 0.0000 -
2494.63/2502.43 c 2502 676624 459 1 - 0.0000 -
2499.61/2507.48 c 2507 678251 465 1 - 0.0000 -
2504.70/2512.53 c 2513 679964 448 1 - 0.0000 -
2509.68/2517.58 c 2518 681579 420 1 - 0.0000 -
2514.77/2522.63 c 2523 683272 398 1 - 0.0000 -
2519.76/2527.68 c 2528 684868 386 1 - 0.0000 -
2524.84/2532.73 c 2533 686507 373 1 - 0.0000 -
2529.83/2537.78 c 2538 687976 390 1 - 0.0000 -
2534.92/2542.83 c 2543 689241 391 1 - 0.0000 -
2539.90/2547.88 c 2548 690543 392 1 - 0.0000 -
2544.98/2552.93 c 2553 691854 392 1 - 0.0000 -
2549.97/2557.98 c 2558 693316 388 1 - 0.0000 -
2555.06/2563.03 c 2563 694662 370 1 - 0.0000 -
2560.05/2568.08 c 2568 696178 368 1 - 0.0000 -
2565.13/2573.13 c 2573 697511 363 1 - 0.0000 -
2570.12/2578.18 c 2578 698782 361 1 - 0.0000 -
2575.19/2583.23 c 2583 700201 355 1 - 0.0000 -
2580.18/2588.28 c 2588 701623 355 1 - 0.0000 -
2585.27/2593.33 c 2593 703095 343 1 - 0.0000 -
2590.25/2598.38 c 2598 704513 347 1 - 0.0000 -
2595.34/2603.43 c 2603 706022 320 1 - 0.0000 -
2600.32/2608.48 c 2608 707459 340 1 - 0.0000 -
2605.41/2613.53 c 2614 709082 334 1 - 0.0000 -
2610.49/2618.61 c 2619 710560 346 1 - 0.0000 -
2615.48/2623.66 c 2624 712124 328 1 - 0.0000 -
2620.56/2628.71 c 2629 713367 340 1 - 0.0000 -
2625.55/2633.76 c 2634 714675 344 1 - 0.0000 -
2630.63/2638.81 c 2639 715943 343 1 - 0.0000 -
2635.62/2643.86 c 2644 717307 350 1 - 0.0000 -
2640.71/2648.91 c 2649 718841 338 1 - 0.0000 -
2645.69/2653.96 c 2654 720277 319 1 - 0.0000 -
2650.78/2659.01 c 2659 721970 317 1 - 0.0000 -
2655.76/2664.06 c 2664 723500 331 1 - 0.0000 -
2660.85/2669.11 c 2669 725092 327 1 - 0.0000 -
2665.83/2674.16 c 2674 726765 326 1 - 0.0000 -
2670.91/2679.20 c 2679 728366 329 1 - 0.0000 -
2675.89/2684.26 c 2684 729868 305 1 - 0.0000 -
2680.98/2689.31 c 2689 731343 320 1 - 0.0000 -
2685.97/2694.36 c 2694 732899 313 1 - 0.0000 -
2691.05/2699.41 c 2699 734250 300 1 - 0.0000 -
2696.04/2704.46 c 2704 735819 300 1 - 0.0000 -
2701.12/2709.51 c 2710 737204 300 1 - 0.0000 -
2706.11/2714.56 c 2715 738693 290 1 - 0.0000 -
2711.19/2719.61 c 2720 740072 295 1 - 0.0000 -
2716.18/2724.66 c 2725 741477 279 1 - 0.0000 -
2721.27/2729.71 c 2730 742793 318 1 - 0.0000 -
2726.25/2734.76 c 2735 744167 335 1 - 0.0000 -
2731.34/2739.81 c 2740 745552 316 1 - 0.0000 -
2736.33/2744.86 c 2745 746990 290 1 - 0.0000 -
2741.41/2749.91 c 2750 748495 281 1 - 0.0000 -
2746.39/2754.96 c 2755 749831 290 1 - 0.0000 -
2751.48/2760.01 c 2760 751177 288 1 - 0.0000 -
2756.46/2765.06 c 2765 752412 287 1 - 0.0000 -
2761.55/2770.11 c 2770 753702 281 1 - 0.0000 -
2766.54/2775.16 c 2775 755199 296 1 - 0.0000 -
2771.62/2780.21 c 2780 756715 283 1 - 0.0000 -
2776.60/2785.26 c 2785 758181 290 1 - 0.0000 -
2781.69/2790.31 c 2790 759809 299 1 - 0.0000 -
2786.67/2795.36 c 2795 761337 305 1 - 0.0000 -
2791.75/2800.41 c 2800 762993 302 1 - 0.0000 -
2796.74/2805.46 c 2805 764517 320 1 - 0.0000 -
2801.82/2810.51 c 2811 766062 325 1 - 0.0000 -
2806.80/2815.56 c 2816 767612 329 1 - 0.0000 -
2811.89/2820.61 c 2821 769138 303 1 - 0.0000 -
2816.87/2825.66 c 2826 770707 284 1 - 0.0000 -
2821.95/2830.71 c 2831 772175 304 1 - 0.0000 -
2826.93/2835.76 c 2836 773552 302 1 - 0.0000 -
2832.01/2840.81 c 2841 775059 298 1 - 0.0000 -
2836.99/2845.86 c 2846 776383 280 1 - 0.0000 -
2842.08/2850.91 c 2851 777600 297 1 - 0.0000 -
2847.07/2855.96 c 2856 778979 327 1 - 0.0000 -
2852.15/2861.01 c 2861 780533 310 1 - 0.0000 -
2857.13/2866.06 c 2866 781843 310 1 - 0.0000 -
2862.22/2871.11 c 2871 783250 308 1 - 0.0000 -
2867.20/2876.16 c 2876 784823 311 1 - 0.0000 -
2872.28/2881.21 c 2881 786111 332 1 - 0.0000 -
2877.27/2886.26 c 2886 787479 330 1 - 0.0000 -
2882.36/2891.31 c 2891 788722 328 1 - 0.0000 -
2887.34/2896.36 c 2896 790285 336 1 - 0.0000 -
2892.42/2901.41 c 2901 791853 339 1 - 0.0000 -
2897.41/2906.46 c 2906 793175 349 1 - 0.0000 -
2902.49/2911.51 c 2912 794816 359 1 - 0.0000 -
2907.48/2916.56 c 2917 796270 348 1 - 0.0000 -
2912.57/2921.61 c 2922 797847 359 1 - 0.0000 -
2917.55/2926.66 c 2927 799339 367 1 - 0.0000 -
2922.64/2931.71 c 2932 800915 356 1 - 0.0000 -
2927.62/2936.76 c 2937 802546 364 1 - 0.0000 -
2932.71/2941.81 c 2942 804115 361 1 - 0.0000 -
2937.70/2946.86 c 2947 805561 351 1 - 0.0000 -
2942.78/2951.91 c 2952 806989 331 1 - 0.0000 -
2947.76/2956.96 c 2957 808314 352 1 - 0.0000 -
2952.85/2962.01 c 2962 809613 348 1 - 0.0000 -
2957.83/2967.06 c 2967 810894 337 1 - 0.0000 -
2962.92/2972.11 c 2972 812200 337 1 - 0.0000 -
2967.90/2977.16 c 2977 813620 333 1 - 0.0000 -
2972.98/2982.21 c 2982 815008 354 1 - 0.0000 -
2977.98/2987.26 c 2987 816352 327 1 - 0.0000 -
2983.05/2992.31 c 2992 817699 315 1 - 0.0000 -
2988.04/2997.36 c 2997 819165 309 1 - 0.0000 -
2993.11/3002.41 c 3002 820700 310 1 - 0.0000 -
2998.10/3007.46 c 3007 822237 308 1 - 0.0000 -
3003.18/3012.51 c 3013 823685 300 1 - 0.0000 -
3008.17/3017.56 c 3018 825198 304 1 - 0.0000 -
3013.25/3022.61 c 3023 826727 308 1 - 0.0000 -
3018.23/3027.66 c 3028 828103 301 1 - 0.0000 -
3023.31/3032.71 c 3033 829470 303 1 - 0.0000 -
3028.29/3037.76 c 3038 830881 290 1 - 0.0000 -
3033.38/3042.81 c 3043 832378 287 1 - 0.0000 -
3038.36/3047.86 c 3048 833832 301 1 - 0.0000 -
3043.44/3052.91 c 3053 835397 291 1 - 0.0000 -
3048.42/3057.96 c 3058 836738 283 1 - 0.0000 -
3053.51/3063.01 c 3063 838185 296 1 - 0.0000 -
3058.48/3068.06 c 3068 839683 294 1 - 0.0000 -
3063.58/3073.11 c 3073 841265 286 1 - 0.0000 -
3068.55/3078.16 c 3078 842845 283 1 - 0.0000 -
3073.63/3083.21 c 3083 844331 293 1 - 0.0000 -
3078.62/3088.26 c 3088 845866 283 1 - 0.0000 -
3083.69/3093.31 c 3093 847023 290 1 - 0.0000 -
3088.68/3098.36 c 3098 848249 282 1 - 0.0000 -
3093.76/3103.41 c 3103 849587 286 1 - 0.0000 -
3098.74/3108.46 c 3108 850866 327 1 - 0.0000 -
3103.83/3113.51 c 3114 852173 328 1 - 0.0000 -
3108.81/3118.56 c 3119 853499 338 1 - 0.0000 -
3113.89/3123.61 c 3124 854835 290 1 - 0.0000 -
3118.87/3128.66 c 3129 856111 287 1 - 0.0000 -
3123.96/3133.71 c 3134 857357 303 1 - 0.0000 -
3128.94/3138.76 c 3139 858642 323 1 - 0.0000 -
3134.02/3143.81 c 3144 859942 324 1 - 0.0000 -
3139.00/3148.86 c 3149 861525 323 1 - 0.0000 -
3144.09/3153.91 c 3154 862971 320 1 - 0.0000 -
3149.07/3158.96 c 3159 864378 306 1 - 0.0000 -
3154.16/3164.01 c 3164 865982 289 1 - 0.0000 -
3159.15/3169.06 c 3169 867911 286 1 - 0.0000 -
3164.23/3174.11 c 3174 869407 304 1 - 0.0000 -
3169.22/3179.16 c 3179 870858 300 1 - 0.0000 -
3174.30/3184.21 c 3184 872275 311 1 - 0.0000 -
3179.28/3189.26 c 3189 873867 298 1 - 0.0000 -
3184.37/3194.31 c 3194 875329 299 1 - 0.0000 -
3189.36/3199.36 c 3199 876642 300 1 - 0.0000 -
3194.44/3204.41 c 3204 878131 275 1 - 0.0000 -
3199.43/3209.46 c 3209 879748 274 1 - 0.0000 -
3204.52/3214.51 c 3215 881528 266 1 - 0.0000 -
3209.50/3219.56 c 3220 882984 272 1 - 0.0000 -
3214.59/3224.61 c 3225 884454 298 1 - 0.0000 -
3219.58/3229.66 c 3230 886042 287 1 - 0.0000 -
3224.66/3234.71 c 3235 887609 303 1 - 0.0000 -
3229.65/3239.76 c 3240 889235 283 1 - 0.0000 -
3234.74/3244.81 c 3245 890855 285 1 - 0.0000 -
3239.72/3249.86 c 3250 892490 286 1 - 0.0000 -
3244.81/3254.91 c 3255 894105 283 1 - 0.0000 -
3249.79/3259.96 c 3260 895629 296 1 - 0.0000 -
3254.89/3265.01 c 3265 897236 283 1 - 0.0000 -
3259.88/3270.06 c 3270 898701 280 1 - 0.0000 -
3264.96/3275.11 c 3275 900266 302 1 - 0.0000 -
3269.94/3280.16 c 3280 902013 312 1 - 0.0000 -
3275.03/3285.21 c 3285 903670 328 1 - 0.0000 -
3280.02/3290.26 c 3290 905263 349 1 - 0.0000 -
3285.10/3295.31 c 3295 906780 390 1 - 0.0000 -
3290.10/3300.36 c 3300 908409 422 1 - 0.0000 -
3295.18/3305.41 c 3305 909901 417 1 - 0.0000 -
3300.16/3310.46 c 3310 911445 423 1 - 0.0000 -
3305.25/3315.51 c 3316 912909 434 1 - 0.0000 -
3310.24/3320.56 c 3321 914442 435 1 - 0.0000 -
3315.32/3325.61 c 3326 915943 438 1 - 0.0000 -
3320.31/3330.66 c 3331 917469 415 1 - 0.0000 -
3325.40/3335.71 c 3336 918856 436 1 - 0.0000 -
3330.38/3340.76 c 3341 920318 405 1 - 0.0000 -
3335.47/3345.81 c 3346 921808 404 1 - 0.0000 -
3340.46/3350.86 c 3351 923461 398 1 - 0.0000 -
3345.55/3355.91 c 3356 925057 339 1 - 0.0000 -
3350.53/3360.96 c 3361 926646 326 1 - 0.0000 -
3355.63/3366.01 c 3366 928103 293 1 - 0.0000 -
3360.61/3371.06 c 3371 929717 308 1 - 0.0000 -
3365.70/3376.11 c 3376 931263 310 1 - 0.0000 -
3370.68/3381.16 c 3381 932903 295 1 - 0.0000 -
3375.77/3386.21 c 3386 934412 299 1 - 0.0000 -
3380.76/3391.26 c 3391 936071 303 1 - 0.0000 -
3385.84/3396.31 c 3396 937672 306 1 - 0.0000 -
3390.82/3401.36 c 3401 939258 302 1 - 0.0000 -
3395.92/3406.41 c 3406 940981 305 1 - 0.0000 -
3400.90/3411.46 c 3411 942670 309 1 - 0.0000 -
3405.98/3416.51 c 3417 944141 327 1 - 0.0000 -
3410.98/3421.56 c 3422 945698 358 1 - 0.0000 -
3416.06/3426.61 c 3427 947259 364 1 - 0.0000 -
3421.05/3431.66 c 3432 948836 378 1 - 0.0000 -
3426.13/3436.71 c 3437 950395 359 1 - 0.0000 -
3431.12/3441.76 c 3442 951882 377 1 - 0.0000 -
3436.20/3446.81 c 3447 953370 367 1 - 0.0000 -
3441.20/3451.86 c 3452 954873 364 1 - 0.0000 -
3446.28/3456.91 c 3457 956303 375 1 - 0.0000 -
3451.27/3461.96 c 3462 957859 374 1 - 0.0000 -
3456.36/3467.01 c 3467 959277 376 1 - 0.0000 -
3461.35/3472.06 c 3472 960803 379 1 - 0.0000 -
3466.43/3477.11 c 3477 962255 385 1 - 0.0000 -
3471.42/3482.16 c 3482 963794 390 1 - 0.0000 -
3476.50/3487.21 c 3487 965285 385 1 - 0.0000 -
3481.49/3492.26 c 3492 966789 398 1 - 0.0000 -
3486.57/3497.31 c 3497 968243 402 1 - 0.0000 -
3491.56/3502.36 c 3502 969737 394 1 - 0.0000 -
3496.65/3507.41 c 3507 971313 387 1 - 0.0000 -
3501.63/3512.46 c 3512 972896 386 1 - 0.0000 -
3506.72/3517.51 c 3518 974565 382 1 - 0.0000 -
3511.71/3522.56 c 3523 976255 395 1 - 0.0000 -
3516.80/3527.61 c 3528 977927 406 1 - 0.0000 -
3521.78/3532.66 c 3533 979638 408 1 - 0.0000 -
3526.87/3537.71 c 3538 981338 396 1 - 0.0000 -
3531.86/3542.76 c 3543 982989 396 1 - 0.0000 -
3536.94/3547.81 c 3548 984658 378 1 - 0.0000 -
3541.93/3552.86 c 3553 986165 360 1 - 0.0000 -
3547.02/3557.91 c 3558 987743 353 1 - 0.0000 -
3552.00/3562.96 c 3563 989181 346 1 - 0.0000 -
3557.10/3568.01 c 3568 990717 344 1 - 0.0000 -
3562.08/3573.06 c 3573 992075 340 1 - 0.0000 -
3567.16/3578.11 c 3578 993663 344 1 - 0.0000 -
3572.16/3583.16 c 3583 995109 345 1 - 0.0000 -
3577.24/3588.21 c 3588 996512 320 1 - 0.0000 -
3582.23/3593.26 c 3593 998049 325 1 - 0.0000 -
3587.31/3598.31 c 3598 999663 330 1 - 0.0000 -
3589.01/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.01/3600.04 c Total Time : 3600.0400
3589.01/3600.04 c solving : 3600.0400
3589.01/3600.04 c presolving : 0.2188 (included in solving)
3589.01/3600.04 c B&B Tree :
3589.01/3600.04 c nodes (total) : 1
3589.01/3600.04 c Solution :
3589.01/3600.04 c Solutions found : 0
3589.01/3600.04 c Primal Bound : -
3589.01/3600.04 c Dual Bound : +0.00000000000000e+00
3589.01/3600.04 c Gap : -
3589.01/3600.06 s UNKNOWN
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 (60206 MiB free)
memory of node 1: 64510 MiB (58829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450180-1721407310/watcher-4450180-1721407310 -o /tmp/evaluation-result-4450180-1721407310/solver-4450180-1721407310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450180-1721407310.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=1040300, runsolver pid=1040297
[startup+0.100687 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 1040301
/proc/meminfo: memFree=121854660/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=59060 memory=48364 CPUtime=0.1 cores=5,7
/proc/1040300/stat : 1040300 (fscip) R 1040297 1040300 1035639 0 -1 4194304 12419 0 0 0 8 2 0 0 20 0 1 0 192899309 60477440 12091 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 14765 12091 2670 3032 0 11165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 48364 KiB
[startup+0.205807 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 1040301
/proc/meminfo: memFree=121844136/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=69592 memory=58140 CPUtime=0.2 cores=5,7
/proc/1040300/stat : 1040300 (fscip) R 1040297 1040300 1035639 0 -1 4194304 15694 0 0 0 17 3 0 0 20 0 1 0 192899309 71262208 14535 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 17398 14535 2686 3032 0 13798 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69592 KiB
Current children cumulated memory: 58140 KiB
[startup+0.305681 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 1040303
/proc/meminfo: memFree=121791464/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=210684 memory=111172 CPUtime=0.29 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 28932 0 0 0 24 5 0 0 20 0 3 0 192899309 215740416 27793 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 52671 27793 2750 3032 0 35410 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=210684 memory=-7664417297274135680 CPUtime=0.01 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 3645 0 0 0 1 0 0 0 20 0 3 0 192899336 215740416 27793 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=210684 memory=0 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192899339 215740416 27793 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 210684 KiB
Current children cumulated memory: 111172 KiB
[startup+0.700256 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040303
/proc/meminfo: memFree=121755164/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=219056 memory=151144 CPUtime=0.67 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 39154 0 0 0 61 6 0 0 20 0 3 0 192899309 224313344 37786 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 54764 37786 2910 3032 0 45727 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=219056 memory=5428 CPUtime=0.38 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 13867 0 0 0 37 1 0 0 20 0 3 0 192899336 224313344 37786 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=219056 memory=417 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192899339 224313344 37786 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 219056 KiB
Current children cumulated memory: 151144 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040303
/proc/meminfo: memFree=121751148/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=221900 memory=154344 CPUtime=1.47 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 45486 0 0 0 140 7 0 0 20 0 3 0 192899309 227225600 38586 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 55475 38586 2926 3032 0 46561 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=221900 memory=417 CPUtime=1.18 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 20199 0 0 0 116 2 0 0 20 0 3 0 192899336 227225600 38586 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=221900 memory=0 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192899339 227225600 38586 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 154344 KiB
[startup+3.10541 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 1040303
/proc/meminfo: memFree=121707820/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=222064 memory=162728 CPUtime=3.07 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 50783 0 0 0 300 7 0 0 20 0 3 0 192899309 227393536 40682 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 55516 40682 2926 3032 0 49882 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=222064 memory=-7664417297274135680 CPUtime=2.78 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 25494 0 0 0 276 2 0 0 20 0 3 0 192899336 227393536 40682 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=222064 memory=0 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192899339 227393536 40682 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 162728 KiB
[startup+6.30026 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 1040305
/proc/meminfo: memFree=121673428/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=289060 memory=192068 CPUtime=6.25 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 70130 0 0 0 616 9 0 0 20 0 3 0 192899309 295997440 48017 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 72265 48017 2926 3032 0 59970 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=289060 memory=11400 CPUtime=5.98 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 44806 0 0 0 593 5 0 0 20 0 3 0 192899336 295997440 48017 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=289060 memory=11400 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192899339 295997440 48017 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 289060 KiB
Current children cumulated memory: 192068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 1040305
/proc/meminfo: memFree=121666520/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=289060 memory=206052 CPUtime=12.64 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 99449 0 0 0 1251 13 0 0 20 0 3 0 192899309 295997440 51513 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 72265 51513 2974 3032 0 62221 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=289060 memory=192064 CPUtime=12.36 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 74081 0 0 0 1228 8 0 0 20 0 3 0 192899336 295997440 51513 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=289060 memory=-7241642814537634412 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 192899339 295997440 51513 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 289060 KiB
Current children cumulated memory: 206052 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 1040306
/proc/meminfo: memFree=121630364/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=289232 memory=212788 CPUtime=25.4 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 126480 0 0 0 2523 17 0 0 20 0 3 0 192899309 296173568 53197 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 72308 53197 2974 3032 0 63451 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=289232 memory=11400 CPUtime=25.11 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 101068 0 0 0 2499 12 0 0 20 0 3 0 192899336 296173568 53197 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=289232 memory=11400 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 192899339 296173568 53197 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 289232 KiB
Current children cumulated memory: 212788 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 1040312
/proc/meminfo: memFree=121575208/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=354768 memory=237072 CPUtime=50.91 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 174416 0 0 0 5068 23 0 0 20 0 3 0 192899309 363282432 59268 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 88692 59268 2974 3032 0 70052 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=354768 memory=212872 CPUtime=50.63 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 148934 0 0 0 5044 19 0 0 20 0 3 0 192899336 363282432 59268 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=354768 memory=206052 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 192899339 363282432 59268 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 354768 KiB
Current children cumulated memory: 237072 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 1040322
/proc/meminfo: memFree=121491952/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=354940 memory=247016 CPUtime=101.94 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 215194 0 0 0 10163 31 0 0 20 0 3 0 192899309 363458560 61754 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 88735 61754 2974 3032 0 75121 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=354940 memory=-7241642814537634412 CPUtime=101.65 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 189666 0 0 0 10139 26 0 0 20 0 3 0 192899336 363458560 61754 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=354940 memory=237244 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 192899339 363458560 61754 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 354940 KiB
Current children cumulated memory: 247016 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.12 4.10 5/267 1040334
/proc/meminfo: memFree=121394308/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=354940 memory=280076 CPUtime=161.74 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 241982 0 0 0 16134 40 0 0 20 0 3 0 192899309 363458560 70019 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 88735 70019 2974 3032 0 81943 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=354940 memory=16216 CPUtime=161.45 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 216428 0 0 0 16110 35 0 0 20 0 3 0 192899336 363458560 70019 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=354940 memory=13692 CPUtime=0 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 192899339 363458560 70019 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 354940 KiB
Current children cumulated memory: 280076 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 1040344
/proc/meminfo: memFree=121276316/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=354940 memory=284924 CPUtime=221.54 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 266435 0 0 0 22105 49 0 0 20 0 3 0 192899309 363458560 71231 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 88735 71231 2974 3032 0 82984 0
################
# More data... #
################
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3391.29 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 422804 0 0 0 338832 297 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=45960 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 2.20 3.25 2/237 1042229
/proc/meminfo: memFree=122724816/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3451.67 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 450030 0 0 0 344852 315 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3451.13 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 424013 0 0 0 344812 301 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.99 3.11 2/240 1042244
/proc/meminfo: memFree=122724004/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3511.51 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 450787 0 0 0 350832 319 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3510.96 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 424761 0 0 0 350791 305 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.82 2.98 2/240 1042256
/proc/meminfo: memFree=122723016/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3571.36 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451535 0 0 0 356812 324 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=11400 CPUtime=3570.81 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425501 0 0 0 356771 310 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3600.07 s]
# the end of solver process 1040300 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.83 s, system=3.25683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.81 2.97 2/240 1042256
/proc/meminfo: memFree=122723036/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3573.06 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451537 0 0 0 356982 324 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=-7241642814537634412 CPUtime=3572.51 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425503 0 0 0 356941 310 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=1470773190394216577 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3590.4 s]
/proc/loadavg: 1.08 1.80 2.96 2/240 1042258
/proc/meminfo: memFree=122722980/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3579.43 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451546 0 0 0 357619 324 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3578.89 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425512 0 0 0 357579 310 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3579.43 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.78 2.95 2/240 1042259
/proc/meminfo: memFree=122723008/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3585.81 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451555 0 0 0 358257 324 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3585.27 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425521 0 0 0 358217 310 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3598.4 s]
/proc/loadavg: 1.07 1.78 2.95 2/240 1042259
/proc/meminfo: memFree=122722896/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3587.41 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451558 0 0 0 358417 324 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=364836 CPUtime=3586.86 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425524 0 0 0 358376 310 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=364836 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3599.2 s]
/proc/loadavg: 1.06 1.77 2.94 2/240 1042259
/proc/meminfo: memFree=122722896/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3588.21 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451558 0 0 0 358496 325 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=20296 CPUtime=3587.66 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425524 0 0 0 358455 311 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=45960 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3588.21 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3599.6 s]
/proc/loadavg: 1.06 1.77 2.94 2/240 1042259
/proc/meminfo: memFree=122722896/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3588.61 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451558 0 0 0 358536 325 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=21604 CPUtime=3588.06 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425524 0 0 0 358495 311 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=11400 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3588.61 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
[startup+3600 s]*
/proc/loadavg: 1.06 1.77 2.94 2/240 1042259
/proc/meminfo: memFree=122722896/131524600 swapFree=131071996/131071996
[pid=1040300] ppid=1040297 vsize=420476 memory=364836 CPUtime=3589.01 cores=5,7
/proc/1040300/stat : 1040300 (fscip) S 1040297 1040300 1035639 0 -1 1077936128 451558 0 0 0 358576 325 0 0 20 0 3 0 192899309 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
/proc/1040300/statm: 105119 91209 2974 3032 0 93321 0
[pid=1040300/tid=1040302] ppid=1040297 vsize=420476 memory=-7241642814537634412 CPUtime=3588.46 cores=5,7
/proc/1040300/task/1040302/stat : 1040302 (fscip) R 1040297 1040300 1035639 0 -1 4194368 425524 0 0 0 358535 311 0 0 20 0 3 0 192899336 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
[pid=1040300/tid=1040303] ppid=1040297 vsize=420476 memory=1470773190394216577 CPUtime=0.03 cores=5,7
/proc/1040300/task/1040303/stat : 1040303 (fscip) S 1040297 1040300 1035639 0 -1 1077936192 39 0 0 0 0 3 0 0 20 0 3 0 192899339 430567424 91209 134679101440 4194304 16613245 140731560564432 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 50057216 140731560567827 140731560567943 140731560567943 140731560574960 0
Current children cumulated CPU time: 3589.01 s
Current children cumulated vsize: 420476 KiB
Current children cumulated memory: 364836 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3589.09
CPU user time (s): 3585.83
CPU system time (s): 3.25683
CPU usage (%): 99.6949
Max. virtual memory (cumulated for all children) (KiB): 420476
Max. memory (cumulated for all children) (KiB): 364836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.83
system time used= 3.25684
maximum resident set size= 364836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453303
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= 10777
involuntary context switches= 1128
# summary of solver processes directly reported to runsolver:
# pid: 1040300
# total CPU time (s): 3589.09
# total CPU user time (s): 3585.83
# total CPU system time (s): 3.25683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6358 second user time and 16.6872 second system time
The end
Begin job on nodeC031 at 2024-07-19 18:42:03
IDJOB=4450180
IDBENCH=160409
IDSOLVER=3064
FILE ID=nodeC031/4450180-1721407310
RUNJOBID= nodeC031-1721403263-1037851
SLURM_JOB_ID= 7545454
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.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-4450180-1721407310/watcher-4450180-1721407310 -o /tmp/evaluation-result-4450180-1721407310/solver-4450180-1721407310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450180-1721407310.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=1410858943
nodeC031.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 : 0xb00002a
cpu MHz : 3661.537
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.622
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.019
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.577
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.421
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.665
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121892900 kB
MemAvailable: 128448304 kB
Buffers: 512300 kB
Cached: 6809240 kB
SwapCached: 0 kB
Active: 1047764 kB
Inactive: 7794548 kB
Active(anon): 1552 kB
Inactive(anon): 1564800 kB
Active(file): 1046212 kB
Inactive(file): 6229748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28492 kB
Writeback: 0 kB
AnonPages: 1518544 kB
Mapped: 142864 kB
Shmem: 45912 kB
KReclaimable: 238180 kB
Slab: 368108 kB
SReclaimable: 238180 kB
SUnreclaim: 129928 kB
KernelStack: 4284 kB
PageTables: 12724 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1095716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72288 kB
HardwareCorrupted: 0 kB
AnonHugePages: 659456 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC031 at 2024-07-19 19:42:03