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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 23318528, getVmSize() = 23318528, SCIPgetMemUsed() = 1347287, SCIPgetMemTotal() = 1851943, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16267946, getVmSize() = 25485312, SCIPgetMemUsed() = 1558348, SCIPgetMemTotal() = 2817116, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4447670-1721357675
0.00/0.00 c Variables : 159 (159 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 424
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 159 (159 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 424
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 424
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.22 c 5 1998 936 1 - 0.0000 -
10.16/10.27 c 10 8181 7032 1 - 0.0000 -
15.24/15.32 c 15 13143 11883 1 - 0.0000 -
20.22/20.37 c 20 18579 17071 1 - 0.0000 -
25.29/25.42 c 25 23748 22055 1 - 0.0000 -
30.27/30.47 c 30 28787 26833 1 - 0.0000 -
35.35/35.51 c 36 33544 31168 1 - 0.0000 -
40.34/40.56 c 41 38314 35432 1 - 0.0000 -
45.42/45.62 c 46 43697 40585 1 - 0.0000 -
50.40/50.66 c 51 48837 45610 1 - 0.0000 -
55.48/55.71 c 56 53676 50326 1 - 0.0000 -
60.46/60.78 c 61 58746 54981 1 - 0.0000 -
65.55/65.84 c 66 64299 59756 1 - 0.0000 -
70.52/70.88 c 71 69111 64312 1 - 0.0000 -
75.60/75.93 c 76 73716 68499 1 - 0.0000 -
80.59/80.99 c 81 78210 72664 1 - 0.0000 -
85.67/86.04 c 86 82828 77075 1 - 0.0000 -
90.75/91.13 c 91 87589 81188 1 - 0.0000 -
95.83/96.20 c 96 91878 85134 1 - 0.0000 -
100.81/101.28 c 101 96897 89296 1 - 0.0000 -
105.89/106.32 c 106 101186 93275 1 - 0.0000 -
110.87/111.37 c 111 105845 97185 1 - 0.0000 -
115.95/116.42 c 116 111365 100915 1 - 0.0000 -
120.93/121.47 c 121 116455 104188 1 - 0.0000 -
126.12/126.62 c 127 121038 107693 1 - 0.0000 -
131.19/131.73 c 132 125585 111412 1 - 0.0000 -
136.19/136.79 c 137 130246 115399 1 - 0.0000 -
141.27/141.83 c 142 134850 119498 1 - 0.0000 -
146.25/146.88 c 147 138967 123278 1 - 0.0000 -
151.34/151.93 c 152 143342 127315 1 - 0.0000 -
156.43/157.02 c 157 147891 131470 1 - 0.0000 -
161.51/162.10 c 162 152007 135234 1 - 0.0000 -
166.50/167.18 c 167 156277 139059 1 - 0.0000 -
171.58/172.26 c 172 160297 142926 1 - 0.0000 -
176.66/177.37 c 177 164648 146758 1 - 0.0000 -
181.85/182.52 c 183 168906 150870 1 - 0.0000 -
187.02/187.71 c 188 173418 155159 1 - 0.0000 -
192.22/192.98 c 193 177958 158785 1 - 0.0000 -
197.40/198.12 c 198 182161 162783 1 - 0.0000 -
202.39/203.17 c 203 186033 166615 1 - 0.0000 -
207.57/208.31 c 208 189895 170311 1 - 0.0000 -
212.64/213.43 c 213 193781 173990 1 - 0.0000 -
217.73/218.54 c 219 198095 177891 1 - 0.0000 -
222.82/223.63 c 224 201797 181332 1 - 0.0000 -
227.91/228.76 c 229 205692 184965 1 - 0.0000 -
233.08/233.90 c 234 209858 188530 1 - 0.0000 -
238.18/239.03 c 239 213589 192043 1 - 0.0000 -
243.27/244.12 c 244 217183 195308 1 - 0.0000 -
248.44/249.36 c 249 221658 198960 1 - 0.0000 -
253.53/254.45 c 254 225362 202353 1 - 0.0000 -
258.72/259.61 c 260 228910 205722 1 - 0.0000 -
263.70/264.66 c 265 232693 208944 1 - 0.0000 -
268.79/269.77 c 270 236438 212500 1 - 0.0000 -
273.98/274.92 c 275 239644 215444 1 - 0.0000 -
279.16/280.11 c 280 243581 218748 1 - 0.0000 -
284.35/285.38 c 285 247291 221997 1 - 0.0000 -
289.44/290.48 c 290 251013 225286 1 - 0.0000 -
294.82/295.86 c 296 255137 228810 1 - 0.0000 -
300.30/301.32 c 301 258559 232006 1 - 0.0000 -
305.38/306.42 c 306 262314 235252 1 - 0.0000 -
310.46/311.51 c 312 265751 238005 1 - 0.0000 -
315.55/316.61 c 317 268848 240546 1 - 0.0000 -
320.83/321.97 c 322 272386 243565 1 - 0.0000 -
326.11/327.20 c 327 275773 246400 1 - 0.0000 -
331.30/332.43 c 332 279322 249259 1 - 0.0000 -
336.37/337.59 c 338 282897 252359 1 - 0.0000 -
341.65/342.83 c 343 286621 255644 1 - 0.0000 -
346.85/348.04 c 348 289614 258234 1 - 0.0000 -
352.03/353.24 c 353 292776 261117 1 - 0.0000 -
357.10/358.33 c 358 295711 263585 1 - 0.0000 -
362.49/363.76 c 364 298745 266383 1 - 0.0000 -
367.56/368.89 c 369 302396 269749 1 - 0.0000 -
372.85/374.13 c 374 305019 272069 1 - 0.0000 -
377.93/379.27 c 379 308565 275379 1 - 0.0000 -
383.11/384.43 c 384 311643 278274 1 - 0.0000 -
388.30/389.65 c 390 314821 281225 1 - 0.0000 -
393.48/394.87 c 395 317817 283870 1 - 0.0000 -
398.76/400.17 c 400 320665 286228 1 - 0.0000 -
404.14/405.52 c 406 324049 289165 1 - 0.0000 -
409.23/410.66 c 411 327080 292146 1 - 0.0000 -
414.31/415.76 c 416 329663 294603 1 - 0.0000 -
419.39/420.85 c 421 332672 297358 1 - 0.0000 -
424.37/425.89 c 426 335306 299810 1 - 0.0000 -
429.75/431.24 c 431 338438 302448 1 - 0.0000 -
434.74/436.29 c 436 341024 304988 1 - 0.0000 -
440.41/441.94 c 442 343832 307715 1 - 0.0000 -
445.69/447.23 c 447 346719 310280 1 - 0.0000 -
450.78/452.38 c 452 349899 313050 1 - 0.0000 -
455.87/457.43 c 457 353158 315944 1 - 0.0000 -
461.24/462.84 c 463 355917 318328 1 - 0.0000 -
466.53/468.11 c 468 359094 321036 1 - 0.0000 -
472.01/473.61 c 474 362268 323620 1 - 0.0000 -
477.19/478.87 c 479 365037 326122 1 - 0.0000 -
482.48/484.14 c 484 367961 328803 1 - 0.0000 -
488.15/489.81 c 490 370651 331348 1 - 0.0000 -
493.34/495.10 c 495 373671 334007 1 - 0.0000 -
498.82/500.55 c 501 376107 335984 1 - 0.0000 -
504.20/505.91 c 506 379155 338469 1 - 0.0000 -
509.28/511.03 c 511 381865 340631 1 - 0.0000 -
514.46/516.27 c 516 384407 342833 1 - 0.0000 -
519.95/521.71 c 522 387301 345242 1 - 0.0000 -
525.03/526.89 c 527 389863 347514 1 - 0.0000 -
530.22/532.04 c 532 392791 349867 1 - 0.0000 -
535.49/537.31 c 537 395320 352141 1 - 0.0000 -
540.98/542.88 c 543 398161 354523 1 - 0.0000 -
546.95/548.89 c 549 401586 357410 1 - 0.0000 -
552.43/554.31 c 554 404292 359829 1 - 0.0000 -
557.92/559.82 c 560 407271 362601 1 - 0.0000 -
563.30/565.22 c 565 409868 364996 1 - 0.0000 -
569.19/571.17 c 571 412631 367603 1 - 0.0000 -
574.36/576.30 c 576 415025 369663 1 - 0.0000 -
579.54/581.50 c 582 417556 371957 1 - 0.0000 -
584.73/586.73 c 587 419971 374163 1 - 0.0000 -
590.01/592.05 c 592 422855 376568 1 - 0.0000 -
595.39/597.46 c 597 425230 378603 1 - 0.0000 -
600.87/602.92 c 603 427829 380898 1 - 0.0000 -
606.15/608.24 c 608 430159 383152 1 - 0.0000 -
611.54/613.64 c 614 432761 385549 1 - 0.0000 -
617.22/619.39 c 619 435584 387682 1 - 0.0000 -
623.10/625.28 c 625 438207 390080 1 - 0.0000 -
628.58/630.78 c 631 440782 392488 1 - 0.0000 -
634.26/636.49 c 636 443334 394668 1 - 0.0000 -
639.54/641.78 c 642 445176 396352 1 - 0.0000 -
644.83/647.07 c 647 447885 398588 1 - 0.0000 -
650.40/652.67 c 653 450143 400773 1 - 0.0000 -
655.79/658.04 c 658 452618 402949 1 - 0.0000 -
661.07/663.36 c 663 455712 405329 1 - 0.0000 -
666.55/668.80 c 669 458281 407464 1 - 0.0000 -
671.53/673.87 c 674 460883 409862 1 - 0.0000 -
677.11/679.47 c 679 463134 411654 1 - 0.0000 -
682.40/684.74 c 685 465193 413575 1 - 0.0000 -
687.38/689.79 c 690 467430 415658 1 - 0.0000 -
693.16/695.59 c 696 469923 417820 1 - 0.0000 -
698.65/701.04 c 701 472067 419661 1 - 0.0000 -
704.42/706.87 c 707 474848 422230 1 - 0.0000 -
710.10/712.56 c 713 477467 424533 1 - 0.0000 -
715.59/718.06 c 718 479903 426564 1 - 0.0000 -
721.16/723.64 c 724 481841 428320 1 - 0.0000 -
726.66/729.17 c 729 484137 430394 1 - 0.0000 -
732.33/734.82 c 735 486743 432799 1 - 0.0000 -
737.81/740.37 c 740 489325 435105 1 - 0.0000 -
743.49/746.06 c 746 492037 437287 1 - 0.0000 -
748.58/751.17 c 751 494298 439098 1 - 0.0000 -
754.35/756.91 c 757 496183 440545 1 - 0.0000 -
759.74/762.33 c 762 498490 442541 1 - 0.0000 -
765.31/767.92 c 768 500880 444596 1 - 0.0000 -
771.19/773.80 c 774 503051 446624 1 - 0.0000 -
776.49/779.19 c 779 505245 448547 1 - 0.0000 -
781.86/784.58 c 785 507514 450383 1 - 0.0000 -
787.24/789.94 c 790 509738 452137 1 - 0.0000 -
792.62/795.30 c 795 512092 453993 1 - 0.0000 -
798.71/801.45 c 801 514713 456406 1 - 0.0000 -
803.99/806.79 c 807 516926 458433 1 - 0.0000 -
809.57/812.31 c 812 519222 460525 1 - 0.0000 -
815.05/817.82 c 818 521186 462446 1 - 0.0000 -
820.83/823.67 c 824 523521 464412 1 - 0.0000 -
826.51/829.34 c 829 526015 466576 1 - 0.0000 -
832.09/834.93 c 835 527734 468207 1 - 0.0000 -
837.77/840.65 c 841 529960 470183 1 - 0.0000 -
843.15/846.00 c 846 532081 471888 1 - 0.0000 -
848.33/851.24 c 851 533812 473348 1 - 0.0000 -
853.61/856.56 c 857 536064 475271 1 - 0.0000 -
859.11/862.08 c 862 538129 477172 1 - 0.0000 -
864.58/867.59 c 868 540383 479196 1 - 0.0000 -
870.27/873.28 c 873 542761 481337 1 - 0.0000 -
875.66/878.66 c 879 544997 483367 1 - 0.0000 -
881.15/884.14 c 884 547190 485218 1 - 0.0000 -
886.23/889.21 c 889 549133 487040 1 - 0.0000 -
891.42/894.44 c 894 551034 488751 1 - 0.0000 -
897.60/900.63 c 901 553087 490550 1 - 0.0000 -
903.19/906.29 c 906 555433 492513 1 - 0.0000 -
908.78/911.81 c 912 557871 494483 1 - 0.0000 -
914.36/917.41 c 917 560501 496632 1 - 0.0000 -
919.74/922.89 c 923 562249 498122 1 - 0.0000 -
925.23/928.36 c 928 564354 499896 1 - 0.0000 -
930.62/933.77 c 934 566477 501799 1 - 0.0000 -
935.80/938.96 c 939 568376 503268 1 - 0.0000 -
941.49/944.63 c 945 570402 505090 1 - 0.0000 -
947.07/950.29 c 950 572873 507423 1 - 0.0000 -
952.76/955.98 c 956 575387 509435 1 - 0.0000 -
958.54/961.71 c 962 577443 511194 1 - 0.0000 -
963.93/967.13 c 967 578957 512191 1 - 0.0000 -
969.32/972.55 c 973 580765 513657 1 - 0.0000 -
974.40/977.66 c 978 582526 515150 1 - 0.0000 -
979.59/982.87 c 983 584910 517077 1 - 0.0000 -
985.28/988.59 c 989 587323 518780 1 - 0.0000 -
990.36/993.62 c 994 589149 520346 1 - 0.0000 -
995.55/998.88 c 999 591435 522336 1 - 0.0000 -
1001.63/1004.91 c 1005 593595 524080 1 - 0.0000 -
1007.42/1010.77 c 1011 595627 525818 1 - 0.0000 -
1013.10/1016.48 c 1016 597991 527697 1 - 0.0000 -
1018.58/1021.94 c 1022 600265 529393 1 - 0.0000 -
1024.17/1027.59 c 1028 602450 531471 1 - 0.0000 -
1029.76/1033.11 c 1033 603937 532587 1 - 0.0000 -
1035.54/1038.91 c 1039 606054 534000 1 - 0.0000 -
1040.83/1044.24 c 1044 607839 535647 1 - 0.0000 -
1046.01/1049.46 c 1049 609755 537394 1 - 0.0000 -
1051.50/1054.99 c 1055 611523 539050 1 - 0.0000 -
1056.69/1060.16 c 1060 613276 540731 1 - 0.0000 -
1062.08/1065.50 c 1066 615081 542517 1 - 0.0000 -
1067.56/1071.03 c 1071 617291 544260 1 - 0.0000 -
1073.15/1076.69 c 1077 619137 545965 1 - 0.0000 -
1079.12/1082.66 c 1083 620491 547268 1 - 0.0000 -
1085.41/1088.96 c 1089 622662 549311 1 - 0.0000 -
1091.49/1095.03 c 1095 624693 551153 1 - 0.0000 -
1097.16/1100.73 c 1101 626723 553009 1 - 0.0000 -
1103.05/1106.68 c 1107 628909 554860 1 - 0.0000 -
1108.72/1112.36 c 1112 631029 556528 1 - 0.0000 -
1113.81/1117.43 c 1117 632294 557765 1 - 0.0000 -
1119.19/1122.83 c 1123 634446 559508 1 - 0.0000 -
1124.97/1128.69 c 1129 636621 561586 1 - 0.0000 -
1130.55/1134.23 c 1134 638091 562856 1 - 0.0000 -
1136.23/1139.90 c 1140 640327 564844 1 - 0.0000 -
1141.81/1145.59 c 1146 642529 566606 1 - 0.0000 -
1147.00/1150.73 c 1151 644215 568248 1 - 0.0000 -
1152.58/1156.35 c 1156 646385 570000 1 - 0.0000 -
1158.06/1161.89 c 1162 647858 571356 1 - 0.0000 -
1163.15/1166.98 c 1167 649398 572811 1 - 0.0000 -
1169.02/1172.85 c 1173 651578 574621 1 - 0.0000 -
1174.81/1178.64 c 1179 653559 576401 1 - 0.0000 -
1180.49/1184.37 c 1184 655546 577890 1 - 0.0000 -
1185.58/1189.44 c 1189 657391 579555 1 - 0.0000 -
1191.45/1195.31 c 1195 658951 581026 1 - 0.0000 -
1197.03/1200.98 c 1201 660716 582394 1 - 0.0000 -
1203.01/1206.94 c 1207 662691 584153 1 - 0.0000 -
1208.70/1212.64 c 1213 664599 585455 1 - 0.0000 -
1214.18/1218.17 c 1218 666590 587276 1 - 0.0000 -
1220.06/1224.00 c 1224 668303 588856 1 - 0.0000 -
1226.05/1230.00 c 1230 670265 590502 1 - 0.0000 -
1231.62/1235.65 c 1236 672345 592295 1 - 0.0000 -
1236.81/1240.88 c 1241 673945 593866 1 - 0.0000 -
1242.30/1246.36 c 1246 675913 595447 1 - 0.0000 -
1247.88/1251.94 c 1252 676980 596356 1 - 0.0000 -
1252.87/1256.99 c 1257 678563 597797 1 - 0.0000 -
1258.55/1262.69 c 1263 680407 599546 1 - 0.0000 -
1264.34/1268.47 c 1268 682092 601123 1 - 0.0000 -
1269.53/1273.60 c 1274 683513 602405 1 - 0.0000 -
1275.81/1279.92 c 1280 685283 604015 1 - 0.0000 -
1281.90/1286.05 c 1286 686962 605609 1 - 0.0000 -
1287.78/1291.97 c 1292 688707 607250 1 - 0.0000 -
1293.97/1298.15 c 1298 690289 608504 1 - 0.0000 -
1299.35/1303.59 c 1304 691855 609863 1 - 0.0000 -
1305.34/1309.54 c 1310 693330 611219 1 - 0.0000 -
1311.02/1315.23 c 1315 694964 612651 1 - 0.0000 -
1316.11/1320.36 c 1320 696625 614193 1 - 0.0000 -
1322.19/1326.46 c 1326 698343 615865 1 - 0.0000 -
1328.17/1332.41 c 1332 699831 617238 1 - 0.0000 -
1333.56/1337.80 c 1338 702065 619069 1 - 0.0000 -
1339.05/1343.39 c 1343 703771 620603 1 - 0.0000 -
1345.03/1349.33 c 1349 705848 622401 1 - 0.0000 -
1350.91/1355.24 c 1355 707829 624182 1 - 0.0000 -
1357.09/1361.40 c 1361 709394 625648 1 - 0.0000 -
1362.38/1366.76 c 1367 711351 627525 1 - 0.0000 -
1368.67/1373.04 c 1373 713251 629207 1 - 0.0000 -
1374.75/1379.17 c 1379 715035 630785 1 - 0.0000 -
1380.74/1385.16 c 1385 716862 632558 1 - 0.0000 -
1386.52/1390.98 c 1391 719469 635165 1 - 0.0000 -
1392.50/1396.94 c 1397 721067 636692 1 - 0.0000 -
1397.99/1402.40 c 1402 722932 638516 1 - 0.0000 -
1403.27/1407.76 c 1408 724643 640091 1 - 0.0000 -
1409.26/1413.79 c 1414 726447 641824 1 - 0.0000 -
1414.55/1419.06 c 1419 728281 643504 1 - 0.0000 -
1420.13/1424.67 c 1425 730079 645102 1 - 0.0000 -
1426.52/1431.02 c 1431 731958 646783 1 - 0.0000 -
1432.39/1436.92 c 1437 733864 648577 1 - 0.0000 -
1437.59/1442.15 c 1442 735458 649871 1 - 0.0000 -
1443.48/1448.06 c 1448 737351 651481 1 - 0.0000 -
1449.06/1453.63 c 1454 739013 652965 1 - 0.0000 -
1454.04/1458.65 c 1459 740598 654405 1 - 0.0000 -
1460.02/1464.67 c 1465 742545 655983 1 - 0.0000 -
1466.42/1471.09 c 1471 744663 657901 1 - 0.0000 -
1472.09/1476.74 c 1477 746335 659369 1 - 0.0000 -
1477.28/1482.00 c 1482 747861 660700 1 - 0.0000 -
1483.47/1488.10 c 1488 749585 662170 1 - 0.0000 -
1489.05/1493.71 c 1494 751066 663341 1 - 0.0000 -
1494.63/1499.31 c 1499 752989 665052 1 - 0.0000 -
1500.12/1504.82 c 1505 754541 666398 1 - 0.0000 -
1505.91/1510.64 c 1511 756325 668173 1 - 0.0000 -
1511.59/1516.31 c 1516 757604 669438 1 - 0.0000 -
1517.38/1522.19 c 1522 759346 671007 1 - 0.0000 -
1523.37/1528.12 c 1528 761181 672541 1 - 0.0000 -
1529.44/1534.23 c 1534 762546 673873 1 - 0.0000 -
1535.53/1540.38 c 1540 764236 675337 1 - 0.0000 -
1541.11/1545.92 c 1546 765961 676828 1 - 0.0000 -
1546.79/1551.65 c 1552 767573 678160 1 - 0.0000 -
1552.29/1557.11 c 1557 768814 679392 1 - 0.0000 -
1558.26/1563.12 c 1563 770198 680694 1 - 0.0000 -
1564.15/1569.08 c 1569 771839 682154 1 - 0.0000 -
1570.03/1574.90 c 1575 773604 683794 1 - 0.0000 -
1576.22/1581.12 c 1581 775058 685029 1 - 0.0000 -
1581.41/1586.33 c 1586 776539 686263 1 - 0.0000 -
1586.88/1591.88 c 1592 778042 687680 1 - 0.0000 -
1592.28/1597.29 c 1597 779751 689182 1 - 0.0000 -
1598.06/1603.03 c 1603 781204 690372 1 - 0.0000 -
1603.44/1608.47 c 1608 782820 691842 1 - 0.0000 -
1608.92/1613.95 c 1614 784271 693146 1 - 0.0000 -
1614.22/1619.24 c 1619 785422 694179 1 - 0.0000 -
1619.79/1624.83 c 1625 787205 695583 1 - 0.0000 -
1625.49/1630.51 c 1631 788382 696533 1 - 0.0000 -
1630.57/1635.66 c 1636 789686 697615 1 - 0.0000 -
1636.75/1641.88 c 1642 791503 699085 1 - 0.0000 -
1642.84/1647.99 c 1648 793052 700501 1 - 0.0000 -
1648.52/1653.61 c 1654 794814 702067 1 - 0.0000 -
1654.20/1659.32 c 1659 796496 703639 1 - 0.0000 -
1659.49/1664.64 c 1665 798232 705088 1 - 0.0000 -
1664.48/1669.65 c 1670 799281 706006 1 - 0.0000 -
1669.77/1674.93 c 1675 800897 707174 1 - 0.0000 -
1674.96/1680.18 c 1680 802343 708362 1 - 0.0000 -
1680.04/1685.24 c 1685 803585 709459 1 - 0.0000 -
1685.84/1691.06 c 1691 805301 710918 1 - 0.0000 -
1691.01/1696.28 c 1696 806821 712169 1 - 0.0000 -
1697.20/1702.44 c 1702 808052 713187 1 - 0.0000 -
1703.58/1708.83 c 1709 809991 714824 1 - 0.0000 -
1708.88/1714.17 c 1714 811393 715908 1 - 0.0000 -
1714.46/1719.77 c 1720 812957 717042 1 - 0.0000 -
1720.74/1726.04 c 1726 814655 718493 1 - 0.0000 -
1725.73/1731.05 c 1731 816107 719748 1 - 0.0000 -
1730.82/1736.17 c 1736 817527 721127 1 - 0.0000 -
1737.00/1742.35 c 1742 818905 722271 1 - 0.0000 -
1742.48/1747.89 c 1748 820319 723432 1 - 0.0000 -
1747.57/1752.90 c 1753 822084 724898 1 - 0.0000 -
1753.15/1758.51 c 1759 823667 726232 1 - 0.0000 -
1758.25/1763.63 c 1764 825151 727586 1 - 0.0000 -
1764.03/1769.41 c 1769 827564 729506 1 - 0.0000 -
1770.12/1775.56 c 1776 829207 730914 1 - 0.0000 -
1775.50/1780.92 c 1781 830761 732290 1 - 0.0000 -
1781.38/1786.83 c 1787 832486 733730 1 - 0.0000 -
1786.47/1791.97 c 1792 834113 735228 1 - 0.0000 -
1791.46/1796.97 c 1797 835449 736371 1 - 0.0000 -
1797.54/1803.09 c 1803 837233 737923 1 - 0.0000 -
1803.53/1809.09 c 1809 838688 739261 1 - 0.0000 -
1809.12/1814.69 c 1815 840205 740698 1 - 0.0000 -
1814.70/1820.28 c 1820 841138 741604 1 - 0.0000 -
1819.99/1825.53 c 1826 842219 742578 1 - 0.0000 -
1825.58/1831.17 c 1831 843863 744046 1 - 0.0000 -
1832.36/1837.95 c 1838 845697 745637 1 - 0.0000 -
1838.14/1843.71 c 1844 847085 746964 1 - 0.0000 -
1843.72/1849.30 c 1849 848452 748171 1 - 0.0000 -
1849.42/1855.06 c 1855 850071 749724 1 - 0.0000 -
1854.70/1860.32 c 1860 851724 751248 1 - 0.0000 -
1860.39/1866.00 c 1866 852953 752346 1 - 0.0000 -
1865.57/1871.26 c 1871 854635 753775 1 - 0.0000 -
1870.86/1876.57 c 1877 855657 754728 1 - 0.0000 -
1876.04/1881.71 c 1882 856846 755830 1 - 0.0000 -
1881.72/1887.43 c 1887 858488 757197 1 - 0.0000 -
1888.01/1893.79 c 1894 859955 758631 1 - 0.0000 -
1893.49/1899.20 c 1899 861243 759775 1 - 0.0000 -
1899.37/1905.15 c 1905 862157 760624 1 - 0.0000 -
1905.35/1911.18 c 1911 863617 761928 1 - 0.0000 -
1910.63/1916.46 c 1916 865327 763638 1 - 0.0000 -
1915.72/1921.50 c 1922 866601 764908 1 - 0.0000 -
1920.90/1926.74 c 1927 868204 766509 1 - 0.0000 -
1926.98/1932.81 c 1933 869497 767769 1 - 0.0000 -
1931.96/1937.84 c 1938 870824 769070 1 - 0.0000 -
1937.55/1943.46 c 1943 872149 770392 1 - 0.0000 -
1943.62/1949.58 c 1950 873538 771745 1 - 0.0000 -
1948.81/1954.76 c 1955 874852 773033 1 - 0.0000 -
1954.39/1960.37 c 1960 876183 774272 1 - 0.0000 -
1960.08/1966.01 c 1966 877614 775656 1 - 0.0000 -
1965.35/1971.30 c 1971 878808 776809 1 - 0.0000 -
1971.43/1977.41 c 1977 880503 778439 1 - 0.0000 -
1977.42/1983.45 c 1983 881653 779493 1 - 0.0000 -
1984.19/1990.21 c 1990 883318 781115 1 - 0.0000 -
1990.27/1996.39 c 1996 884707 782489 1 - 0.0000 -
1996.15/2002.21 c 2002 886347 783931 1 - 0.0000 -
2001.23/2007.38 c 2007 887808 785183 1 - 0.0000 -
2007.42/2013.53 c 2014 889133 786220 1 - 0.0000 -
2013.00/2019.16 c 2019 890663 787543 1 - 0.0000 -
2018.38/2024.57 c 2025 891857 788706 1 - 0.0000 -
2024.56/2030.73 c 2031 893281 790098 1 - 0.0000 -
2030.24/2036.43 c 2036 894644 791350 1 - 0.0000 -
2035.62/2041.83 c 2042 895901 792376 1 - 0.0000 -
2041.61/2047.83 c 2048 897228 793531 1 - 0.0000 -
2047.49/2053.71 c 2054 898401 794532 1 - 0.0000 -
2052.67/2058.93 c 2059 899631 795638 1 - 0.0000 -
2058.54/2064.84 c 2065 901341 797016 1 - 0.0000 -
2064.13/2070.46 c 2070 902824 798325 1 - 0.0000 -
2070.01/2076.32 c 2076 904818 799944 1 - 0.0000 -
2075.59/2081.92 c 2082 906022 801019 1 - 0.0000 -
2080.78/2087.11 c 2087 907477 802326 1 - 0.0000 -
2086.05/2092.46 c 2092 908669 803285 1 - 0.0000 -
2091.43/2097.87 c 2098 909858 804305 1 - 0.0000 -
2097.62/2104.06 c 2104 911484 805835 1 - 0.0000 -
2103.31/2109.71 c 2110 912863 807207 1 - 0.0000 -
2108.79/2115.20 c 2115 914202 808461 1 - 0.0000 -
2114.38/2120.82 c 2121 915557 809731 1 - 0.0000 -
2120.86/2127.34 c 2127 917018 811133 1 - 0.0000 -
2126.05/2132.57 c 2133 917985 812100 1 - 0.0000 -
2132.33/2138.84 c 2139 919311 813355 1 - 0.0000 -
2138.52/2145.00 c 2145 920858 814754 1 - 0.0000 -
2143.60/2150.16 c 2150 922184 815905 1 - 0.0000 -
2148.68/2155.24 c 2155 923634 816981 1 - 0.0000 -
2154.67/2161.22 c 2161 924791 817932 1 - 0.0000 -
2160.65/2167.24 c 2167 925813 818928 1 - 0.0000 -
2166.64/2173.21 c 2173 927185 820207 1 - 0.0000 -
2171.83/2178.46 c 2178 928297 821276 1 - 0.0000 -
2177.11/2183.78 c 2184 929530 822426 1 - 0.0000 -
2182.61/2189.23 c 2189 930758 823650 1 - 0.0000 -
2187.69/2194.37 c 2194 931911 824622 1 - 0.0000 -
2193.48/2200.15 c 2200 933354 825962 1 - 0.0000 -
2199.47/2206.13 c 2206 935068 827431 1 - 0.0000 -
2204.54/2211.27 c 2211 936492 828460 1 - 0.0000 -
2209.64/2216.39 c 2216 937579 829332 1 - 0.0000 -
2215.33/2222.03 c 2222 938894 830505 1 - 0.0000 -
2221.60/2228.37 c 2228 940422 831743 1 - 0.0000 -
2227.08/2233.88 c 2234 941863 832927 1 - 0.0000 -
2233.37/2240.17 c 2240 943049 833815 1 - 0.0000 -
2238.95/2245.77 c 2246 943999 834598 1 - 0.0000 -
2244.94/2251.74 c 2252 945009 835425 1 - 0.0000 -
2250.23/2257.07 c 2257 946195 836356 1 - 0.0000 -
2256.41/2263.25 c 2263 947585 837606 1 - 0.0000 -
2262.30/2269.19 c 2269 949147 838862 1 - 0.0000 -
2267.87/2274.75 c 2275 950475 840040 1 - 0.0000 -
2273.86/2280.72 c 2281 952002 841202 1 - 0.0000 -
2279.74/2286.69 c 2287 953418 842359 1 - 0.0000 -
2285.23/2292.13 c 2292 955026 843913 1 - 0.0000 -
2290.31/2297.28 c 2297 956363 845110 1 - 0.0000 -
2296.10/2303.08 c 2303 957555 846090 1 - 0.0000 -
2302.19/2309.11 c 2309 958942 847411 1 - 0.0000 -
2308.47/2315.49 c 2316 960338 848733 1 - 0.0000 -
2314.65/2321.60 c 2322 961887 850002 1 - 0.0000 -
2320.14/2327.12 c 2327 962827 850737 1 - 0.0000 -
2326.52/2333.52 c 2334 964245 851973 1 - 0.0000 -
2333.01/2340.01 c 2340 966067 853363 1 - 0.0000 -
2338.89/2345.95 c 2346 967531 854618 1 - 0.0000 -
2344.66/2351.78 c 2352 968415 855484 1 - 0.0000 -
2350.66/2357.73 c 2358 969634 856586 1 - 0.0000 -
2356.44/2363.53 c 2364 971395 858179 1 - 0.0000 -
2362.33/2369.43 c 2369 972763 859282 1 - 0.0000 -
2368.31/2375.46 c 2375 974068 860427 1 - 0.0000 -
2374.39/2381.59 c 2382 975482 861547 1 - 0.0000 -
2379.48/2386.61 c 2387 976584 862459 1 - 0.0000 -
2385.17/2392.36 c 2392 977358 863091 1 - 0.0000 -
2390.36/2397.56 c 2398 978508 864106 1 - 0.0000 -
2395.34/2402.59 c 2403 979435 864889 1 - 0.0000 -
2400.63/2407.89 c 2408 980505 865765 1 - 0.0000 -
2407.01/2414.20 c 2414 982052 867041 1 - 0.0000 -
2412.10/2419.37 c 2419 983313 868199 1 - 0.0000 -
2417.08/2424.39 c 2424 984458 869171 1 - 0.0000 -
2422.47/2429.79 c 2430 985672 870039 1 - 0.0000 -
2428.36/2435.61 c 2436 986815 871028 1 - 0.0000 -
2434.24/2441.56 c 2442 988365 872225 1 - 0.0000 -
2439.42/2446.75 c 2447 989657 873228 1 - 0.0000 -
2445.61/2452.98 c 2453 990781 874131 1 - 0.0000 -
2451.09/2458.45 c 2458 992021 875139 1 - 0.0000 -
2456.18/2463.51 c 2464 993103 876005 1 - 0.0000 -
2461.17/2468.54 c 2469 994016 876717 1 - 0.0000 -
2466.85/2474.27 c 2474 995365 877823 1 - 0.0000 -
2472.14/2479.58 c 2480 996790 878916 1 - 0.0000 -
2477.32/2484.78 c 2485 997924 879909 1 - 0.0000 -
2483.02/2490.44 c 2490 999101 881054 1 - 0.0000 -
2489.10/2496.59 c 2497 1000427 882284 1 - 0.0000 -
2495.18/2502.68 c 2503 1001745 883521 1 - 0.0000 -
2500.36/2507.80 c 2508 1002671 884307 1 - 0.0000 -
2506.25/2513.71 c 2514 1004025 885440 1 - 0.0000 -
2512.04/2519.53 c 2520 1005431 886672 1 - 0.0000 -
2517.33/2524.89 c 2525 1006584 887603 1 - 0.0000 -
2522.71/2530.29 c 2530 1007709 888538 1 - 0.0000 -
2528.20/2535.71 c 2536 1008482 889195 1 - 0.0000 -
2533.28/2540.85 c 2541 1009503 890162 1 - 0.0000 -
2538.77/2546.37 c 2546 1010690 891136 1 - 0.0000 -
2544.26/2551.83 c 2552 1011791 892124 1 - 0.0000 -
2549.74/2557.34 c 2557 1012953 893061 1 - 0.0000 -
2555.63/2563.28 c 2563 1014201 894096 1 - 0.0000 -
2560.71/2568.34 c 2568 1015107 894901 1 - 0.0000 -
2565.90/2573.55 c 2574 1016691 896269 1 - 0.0000 -
2571.79/2579.41 c 2579 1018150 897576 1 - 0.0000 -
2577.38/2585.01 c 2585 1019040 898312 1 - 0.0000 -
2582.65/2590.30 c 2590 1020362 899431 1 - 0.0000 -
2587.85/2595.50 c 2596 1021462 900462 1 - 0.0000 -
2592.83/2600.59 c 2601 1023041 901851 1 - 0.0000 -
2598.42/2606.14 c 2606 1023971 902599 1 - 0.0000 -
2603.60/2611.38 c 2611 1025079 903584 1 - 0.0000 -
2608.69/2616.45 c 2616 1026695 904930 1 - 0.0000 -
2614.17/2621.94 c 2622 1027634 905788 1 - 0.0000 -
2619.86/2627.67 c 2628 1028857 906664 1 - 0.0000 -
2625.34/2633.11 c 2633 1030064 907731 1 - 0.0000 -
2630.53/2638.39 c 2638 1031347 908686 1 - 0.0000 -
2636.90/2644.76 c 2645 1032852 909963 1 - 0.0000 -
2642.88/2650.79 c 2651 1034294 911284 1 - 0.0000 -
2648.37/2656.24 c 2656 1035339 912266 1 - 0.0000 -
2653.95/2661.85 c 2662 1036546 913188 1 - 0.0000 -
2659.13/2667.04 c 2667 1037687 914233 1 - 0.0000 -
2664.41/2672.39 c 2672 1038571 915115 1 - 0.0000 -
2670.50/2678.42 c 2678 1039917 916461 1 - 0.0000 -
2676.68/2684.64 c 2685 1041111 917655 1 - 0.0000 -
2682.55/2690.55 c 2691 1042601 918931 1 - 0.0000 -
2687.83/2695.89 c 2696 1043737 919877 1 - 0.0000 -
2694.81/2702.85 c 2703 1045293 921183 1 - 0.0000 -
2700.20/2708.22 c 2708 1046447 922120 1 - 0.0000 -
2705.58/2713.69 c 2714 1047815 923108 1 - 0.0000 -
2710.66/2718.73 c 2719 1048699 923876 1 - 0.0000 -
2716.25/2724.32 c 2724 1049856 924907 1 - 0.0000 -
2721.43/2729.56 c 2730 1050935 925832 1 - 0.0000 -
2727.41/2735.57 c 2736 1051792 926478 1 - 0.0000 -
2732.50/2740.63 c 2741 1052755 927217 1 - 0.0000 -
2738.27/2746.44 c 2746 1054407 928662 1 - 0.0000 -
2744.05/2752.28 c 2752 1055221 929393 1 - 0.0000 -
2750.14/2758.31 c 2758 1056515 930649 1 - 0.0000 -
2755.22/2763.40 c 2763 1057425 931518 1 - 0.0000 -
2760.60/2768.81 c 2769 1058506 932557 1 - 0.0000 -
2766.08/2774.37 c 2774 1059657 933574 1 - 0.0000 -
2772.56/2780.87 c 2781 1060893 934709 1 - 0.0000 -
2777.94/2786.21 c 2786 1062289 935705 1 - 0.0000 -
2783.23/2791.54 c 2792 1063583 936780 1 - 0.0000 -
2789.01/2797.33 c 2797 1064938 937963 1 - 0.0000 -
2794.19/2802.51 c 2803 1066155 939024 1 - 0.0000 -
2800.27/2808.69 c 2809 1067065 939751 1 - 0.0000 -
2806.15/2814.58 c 2815 1068323 940983 1 - 0.0000 -
2811.64/2820.05 c 2820 1069421 942020 1 - 0.0000 -
2816.92/2825.37 c 2825 1070580 943037 1 - 0.0000 -
2822.40/2830.86 c 2831 1071818 944189 1 - 0.0000 -
2827.48/2835.95 c 2836 1073015 945231 1 - 0.0000 -
2833.96/2842.49 c 2842 1074341 946282 1 - 0.0000 -
2839.34/2847.87 c 2848 1075551 947283 1 - 0.0000 -
2845.22/2853.75 c 2854 1076743 948100 1 - 0.0000 -
2851.00/2859.55 c 2860 1077764 948912 1 - 0.0000 -
2856.39/2864.98 c 2865 1079091 950072 1 - 0.0000 -
2861.48/2870.06 c 2870 1079591 950505 1 - 0.0000 -
2866.75/2875.39 c 2875 1080717 951447 1 - 0.0000 -
2871.93/2880.53 c 2881 1082169 952623 1 - 0.0000 -
2877.61/2886.25 c 2886 1083411 953696 1 - 0.0000 -
2883.10/2891.72 c 2892 1084528 954671 1 - 0.0000 -
2889.08/2897.70 c 2898 1085716 955746 1 - 0.0000 -
2894.46/2903.19 c 2903 1086674 956619 1 - 0.0000 -
2899.75/2908.46 c 2908 1087803 957653 1 - 0.0000 -
2905.23/2913.90 c 2914 1088725 958308 1 - 0.0000 -
2910.51/2919.27 c 2919 1090117 959267 1 - 0.0000 -
2915.59/2924.35 c 2924 1091375 960097 1 - 0.0000 -
2920.68/2929.45 c 2929 1092514 961006 1 - 0.0000 -
2927.05/2935.89 c 2936 1093839 962220 1 - 0.0000 -
2933.43/2942.20 c 2942 1094963 963148 1 - 0.0000 -
2939.13/2947.97 c 2948 1096103 964247 1 - 0.0000 -
2944.32/2953.11 c 2953 1097241 965237 1 - 0.0000 -
2950.09/2958.93 c 2959 1098565 966349 1 - 0.0000 -
2955.68/2964.55 c 2965 1099674 967179 1 - 0.0000 -
2961.77/2970.67 c 2971 1100769 968169 1 - 0.0000 -
2967.95/2976.86 c 2977 1101941 969313 1 - 0.0000 -
2973.24/2982.11 c 2982 1103241 970555 1 - 0.0000 -
2979.12/2988.03 c 2988 1104648 971830 1 - 0.0000 -
2984.21/2993.14 c 2993 1105538 972635 1 - 0.0000 -
2990.89/2999.83 c 3000 1106981 973948 1 - 0.0000 -
2995.97/3004.92 c 3005 1108247 974880 1 - 0.0000 -
3001.36/3010.35 c 3010 1109263 975824 1 - 0.0000 -
3007.35/3016.38 c 3016 1110219 976738 1 - 0.0000 -
3012.83/3021.87 c 3022 1111613 978130 1 - 0.0000 -
3018.82/3027.85 c 3028 1112705 979096 1 - 0.0000 -
3024.01/3033.10 c 3033 1114153 980176 1 - 0.0000 -
3029.30/3038.35 c 3038 1115415 980985 1 - 0.0000 -
3034.88/3043.98 c 3044 1116583 982076 1 - 0.0000 -
3040.66/3049.77 c 3050 1117678 983028 1 - 0.0000 -
3046.15/3055.21 c 3055 1118637 983876 1 - 0.0000 -
3051.84/3060.91 c 3061 1119646 984705 1 - 0.0000 -
3057.23/3066.34 c 3066 1120548 985392 1 - 0.0000 -
3063.21/3072.32 c 3072 1121602 986288 1 - 0.0000 -
3069.19/3078.35 c 3078 1122709 987302 1 - 0.0000 -
3075.28/3084.48 c 3084 1124001 988487 1 - 0.0000 -
3080.86/3090.01 c 3090 1125258 989744 1 - 0.0000 -
3086.34/3095.56 c 3096 1126483 990969 1 - 0.0000 -
3091.43/3100.62 c 3101 1127435 991917 1 - 0.0000 -
3097.22/3106.43 c 3106 1128366 992848 1 - 0.0000 -
3103.30/3112.59 c 3113 1129467 993945 1 - 0.0000 -
3109.29/3118.50 c 3118 1130426 994850 1 - 0.0000 -
3115.07/3124.38 c 3124 1131333 995730 1 - 0.0000 -
3120.96/3130.22 c 3130 1132562 996712 1 - 0.0000 -
3127.23/3136.50 c 3137 1133973 997952 1 - 0.0000 -
3132.93/3142.26 c 3142 1135091 998915 1 - 0.0000 -
3138.11/3147.40 c 3147 1135958 999686 1 - 0.0000 -
3143.19/3152.52 c 3153 1137091 1000559 1 - 0.0000 -
3148.39/3157.76 c 3158 1138161 1001557 1 - 0.0000 -
3154.57/3163.91 c 3164 1139148 1002544 1 - 0.0000 -
3160.36/3169.79 c 3170 1140233 1003623 1 - 0.0000 -
3165.64/3175.04 c 3175 1141199 1004573 1 - 0.0000 -
3171.22/3180.63 c 3181 1142295 1005669 1 - 0.0000 -
3176.91/3186.35 c 3186 1143296 1006646 1 - 0.0000 -
3183.60/3193.00 c 3193 1144441 1007778 1 - 0.0000 -
3189.28/3198.76 c 3199 1145570 1008861 1 - 0.0000 -
3194.97/3204.49 c 3204 1146671 1009950 1 - 0.0000 -
3200.45/3209.98 c 3210 1147809 1011053 1 - 0.0000 -
3205.74/3215.29 c 3215 1148921 1012143 1 - 0.0000 -
3211.92/3221.46 c 3221 1150024 1013176 1 - 0.0000 -
3217.71/3227.26 c 3227 1150943 1014087 1 - 0.0000 -
3223.20/3232.73 c 3233 1152089 1015179 1 - 0.0000 -
3229.68/3239.24 c 3239 1153197 1016258 1 - 0.0000 -
3235.66/3245.21 c 3245 1154261 1017308 1 - 0.0000 -
3241.24/3250.83 c 3251 1155049 1018062 1 - 0.0000 -
3247.24/3256.88 c 3257 1155907 1018898 1 - 0.0000 -
3252.43/3262.04 c 3262 1156587 1019528 1 - 0.0000 -
3258.30/3267.90 c 3268 1157585 1020410 1 - 0.0000 -
3263.99/3273.67 c 3274 1158759 1021495 1 - 0.0000 -
3269.98/3279.62 c 3280 1159618 1022248 1 - 0.0000 -
3276.16/3285.86 c 3286 1161027 1023549 1 - 0.0000 -
3281.55/3291.21 c 3291 1162047 1024430 1 - 0.0000 -
3288.33/3298.01 c 3298 1163116 1025252 1 - 0.0000 -
3294.71/3304.42 c 3304 1164625 1026517 1 - 0.0000 -
3299.90/3309.62 c 3310 1165401 1027197 1 - 0.0000 -
3304.89/3314.67 c 3315 1165963 1027706 1 - 0.0000 -
3311.07/3320.80 c 3321 1167067 1028804 1 - 0.0000 -
3316.06/3325.86 c 3326 1168222 1029892 1 - 0.0000 -
3321.74/3331.50 c 3332 1169352 1030914 1 - 0.0000 -
3328.03/3337.87 c 3338 1170479 1031908 1 - 0.0000 -
3333.81/3343.64 c 3344 1171563 1032833 1 - 0.0000 -
3340.40/3350.22 c 3350 1172267 1033481 1 - 0.0000 -
3345.49/3355.39 c 3355 1173495 1034571 1 - 0.0000 -
3351.37/3361.25 c 3361 1174296 1035370 1 - 0.0000 -
3357.05/3366.91 c 3367 1175624 1036406 1 - 0.0000 -
3362.64/3372.50 c 3373 1176738 1037358 1 - 0.0000 -
3368.83/3378.76 c 3379 1177819 1038387 1 - 0.0000 -
3374.51/3384.40 c 3384 1178861 1039314 1 - 0.0000 -
3379.70/3389.63 c 3390 1179655 1040047 1 - 0.0000 -
3386.08/3396.10 c 3396 1180677 1040952 1 - 0.0000 -
3391.37/3401.38 c 3401 1181744 1041924 1 - 0.0000 -
3397.66/3407.62 c 3408 1182839 1042912 1 - 0.0000 -
3403.05/3413.03 c 3413 1183625 1043665 1 - 0.0000 -
3409.22/3419.25 c 3419 1184833 1044763 1 - 0.0000 -
3415.11/3425.16 c 3425 1186294 1046218 1 - 0.0000 -
3420.40/3430.48 c 3430 1187489 1047385 1 - 0.0000 -
3425.48/3435.52 c 3436 1188405 1048294 1 - 0.0000 -
3430.86/3440.91 c 3441 1189301 1049136 1 - 0.0000 -
3436.96/3447.02 c 3447 1190501 1050303 1 - 0.0000 -
3442.04/3452.14 c 3452 1191442 1051238 1 - 0.0000 -
3448.02/3458.14 c 3458 1192643 1052436 1 - 0.0000 -
3453.61/3463.74 c 3464 1193767 1053560 1 - 0.0000 -
3458.90/3469.03 c 3469 1194622 1054403 1 - 0.0000 -
3464.49/3474.65 c 3475 1195408 1055183 1 - 0.0000 -
3469.77/3479.99 c 3480 1196422 1056172 1 - 0.0000 -
3475.65/3485.84 c 3486 1197648 1057287 1 - 0.0000 -
3481.24/3491.45 c 3491 1198551 1058172 1 - 0.0000 -
3486.94/3497.17 c 3497 1199735 1059190 1 - 0.0000 -
3492.71/3502.95 c 3503 1200833 1060217 1 - 0.0000 -
3498.50/3508.72 c 3509 1201905 1061142 1 - 0.0000 -
3503.79/3514.08 c 3514 1203017 1061913 1 - 0.0000 -
3508.97/3519.29 c 3519 1204025 1062872 1 - 0.0000 -
3514.65/3524.96 c 3525 1204951 1063727 1 - 0.0000 -
3520.54/3530.88 c 3531 1206008 1064652 1 - 0.0000 -
3527.22/3537.59 c 3538 1207099 1065647 1 - 0.0000 -
3533.40/3543.70 c 3544 1208353 1066723 1 - 0.0000 -
3538.70/3549.08 c 3549 1209672 1067910 1 - 0.0000 -
3544.68/3555.03 c 3555 1210525 1068580 1 - 0.0000 -
3550.27/3560.62 c 3561 1211467 1069368 1 - 0.0000 -
3556.35/3566.78 c 3567 1212393 1070294 1 - 0.0000 -
3561.44/3571.81 c 3572 1213513 1071287 1 - 0.0000 -
3567.12/3577.55 c 3578 1214129 1071869 1 - 0.0000 -
3572.51/3582.99 c 3583 1215197 1072741 1 - 0.0000 -
3578.09/3588.53 c 3589 1216314 1073695 1 - 0.0000 -
3583.88/3594.33 c 3594 1217364 1074600 1 - 0.0000 -
3589.57/3600.10 c 3600 1218071 1075292 0 - 0.0000 -
3591.36/3601.83 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.36/3601.83 c Total Time : 3601.8400
3591.36/3601.83 c solving : 3601.8400
3591.36/3601.84 c presolving : 0.0052 (included in solving)
3591.36/3601.84 c B&B Tree :
3591.36/3601.84 c nodes (total) : 1
3591.36/3601.84 c Solution :
3591.36/3601.84 c Solutions found : 0
3591.36/3601.84 c Primal Bound : -
3591.36/3601.84 c Dual Bound : +0.00000000000000e+00
3591.36/3601.84 c Gap : -
3591.36/3601.84 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: 63968 MiB (62837 MiB free)
memory of node 1: 64473 MiB (63284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447670-1721357675/watcher-4447670-1721357675 -o /tmp/evaluation-result-4447670-1721357675/solver-4447670-1721357675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447670-1721357675.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=984288, runsolver pid=984285
Current StackSize limit: 8192 KiB
[startup+0.101072 s]*
/proc/loadavg: 4.24 4.22 4.16 5/265 984291
/proc/meminfo: memFree=129130848/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=24164 CPUtime=0.09 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3451 0 0 0 9 0 0 0 20 0 3 0 187934493 110940160 6041 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 6041 2910 3032 0 9606 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 1877 0 0 0 8 0 0 0 20 0 3 0 187934494 110940160 6041 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=232851243367 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 6041 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 24164 KiB
[startup+0.205828 s]*
/proc/loadavg: 4.24 4.22 4.16 6/265 984291
/proc/meminfo: memFree=129126712/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=27188 CPUtime=0.2 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 4157 0 0 0 20 0 0 0 20 0 3 0 187934493 110940160 6797 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 6797 2942 3032 0 10250 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 2583 0 0 0 19 0 0 0 20 0 3 0 187934494 110940160 6797 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=1656803 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 6797 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 27188 KiB
[startup+0.305197 s]*
/proc/loadavg: 4.24 4.22 4.16 6/265 984291
/proc/meminfo: memFree=129124596/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=28772 CPUtime=0.3 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 4577 0 0 0 30 0 0 0 20 0 3 0 187934493 110940160 7193 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 7193 2942 3032 0 10628 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=-6154283679517686631 CPUtime=0.29 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3003 0 0 0 29 0 0 0 20 0 3 0 187934494 110940160 7193 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=0 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 7193 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 28772 KiB
[startup+0.7002 s]
/proc/loadavg: 4.24 4.22 4.16 5/265 984291
/proc/meminfo: memFree=129120756/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=30356 CPUtime=0.68 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 4966 0 0 0 68 0 0 0 20 0 3 0 187934493 110940160 7589 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 7589 2942 3032 0 10814 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=0 CPUtime=0.67 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3392 0 0 0 67 0 0 0 20 0 3 0 187934494 110940160 7589 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=0 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 7589 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 30356 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.20 4.15 5/260 984331
/proc/meminfo: memFree=129125152/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=31996 CPUtime=1.49 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 8315 0 0 0 148 1 0 0 20 0 3 0 187934493 110940160 7999 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 7999 2942 3032 0 11318 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=0 CPUtime=1.48 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 6724 0 0 0 147 1 0 0 20 0 3 0 187934494 110940160 7999 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=0 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 7999 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 31996 KiB
[startup+3.10533 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129082828/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=33212 CPUtime=3.08 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 8715 0 0 0 307 1 0 0 20 0 3 0 187934493 110940160 8303 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 8303 2942 3032 0 11539 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=2273 CPUtime=3.07 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 7119 0 0 0 306 1 0 0 20 0 3 0 187934494 110940160 8303 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=0 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 8303 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 33212 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.19 4.15 5/265 984341
/proc/meminfo: memFree=129028700/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=108340 memory=39532 CPUtime=6.27 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 14535 0 0 0 624 3 0 0 20 0 3 0 187934493 110940160 9883 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27085 9883 2990 3032 0 12989 0
[pid=984288/tid=984290] ppid=984285 vsize=108340 memory=38020 CPUtime=6.25 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 12909 0 0 0 623 2 0 0 20 0 3 0 187934494 110940160 9883 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=108340 memory=39164 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187934495 110940160 9883 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 108340 KiB
Current children cumulated memory: 39532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.19 4.15 5/265 984341
/proc/meminfo: memFree=128999536/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=111740 memory=47008 CPUtime=12.65 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 25437 0 0 0 1260 5 0 0 20 0 3 0 187934493 114421760 11752 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 27935 11752 2990 3032 0 15024 0
[pid=984288/tid=984290] ppid=984285 vsize=111740 memory=45012 CPUtime=12.63 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 23765 0 0 0 1259 4 0 0 20 0 3 0 187934494 114421760 11752 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=111740 memory=41676 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 187934495 114421760 11752 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 111740 KiB
Current children cumulated memory: 47008 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.18 4.15 5/265 984342
/proc/meminfo: memFree=128941684/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=120108 memory=64012 CPUtime=25.39 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 48338 0 0 0 2531 8 0 0 20 0 3 0 187934493 122990592 16003 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 30027 16003 2990 3032 0 19233 0
[pid=984288/tid=984290] ppid=984285 vsize=120108 memory=39532 CPUtime=25.38 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 46574 0 0 0 2530 8 0 0 20 0 3 0 187934494 122990592 16003 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=120108 memory=0 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 187934495 122990592 16003 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 120108 KiB
Current children cumulated memory: 64012 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.20 4.15 5/263 984347
/proc/meminfo: memFree=128835060/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=136432 memory=95836 CPUtime=50.9 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 87183 0 0 0 5075 15 0 0 20 0 3 0 187934493 139706368 23959 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 34108 23959 2990 3032 0 27377 0
[pid=984288/tid=984290] ppid=984285 vsize=136432 memory=81480 CPUtime=50.89 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 85323 0 0 0 5074 15 0 0 20 0 3 0 187934494 139706368 23959 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=136432 memory=11608 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 187934495 139706368 23959 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 136432 KiB
Current children cumulated memory: 95836 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/264 984739
/proc/meminfo: memFree=128622336/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=234812 memory=155236 CPUtime=101.91 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 154670 0 0 0 10161 30 0 0 20 0 3 0 187934493 240447488 38809 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 58703 38809 2990 3032 0 43211 0
[pid=984288/tid=984290] ppid=984285 vsize=234812 memory=11608 CPUtime=101.89 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 152715 0 0 0 10159 30 0 0 20 0 3 0 187934494 240447488 38809 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=234812 memory=135936 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 187934495 240447488 38809 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 234812 KiB
Current children cumulated memory: 155236 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/264 984749
/proc/meminfo: memFree=128381416/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=262924 memory=215684 CPUtime=161.71 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 214889 0 0 0 16126 45 0 0 20 0 3 0 187934493 269234176 53921 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 65731 53921 2990 3032 0 58272 0
[pid=984288/tid=984290] ppid=984285 vsize=262924 memory=205400 CPUtime=161.68 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 212880 0 0 0 16124 44 0 0 20 0 3 0 187934494 269234176 53921 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=262924 memory=211432 CPUtime=0 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187934495 269234176 53921 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 262924 KiB
################
# More data... #
################
/proc/984288/statm: 367437 337943 2990 3032 0 350706 0
[pid=984288/tid=984290] ppid=984285 vsize=1469748 memory=1324276 CPUtime=3392.16 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3441886 0 0 0 338810 406 0 0 20 0 3 0 187934494 1505021952 337943 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1469748 memory=1350056 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 177 0 0 0 1 2 0 0 20 0 3 0 187934495 1505021952 337943 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 1469748 KiB
Current children cumulated memory: 1351772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 986138
/proc/meminfo: memFree=119746464/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1474340 memory=1364188 CPUtime=3452.21 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3530809 0 0 0 344799 422 0 0 20 0 3 0 187934493 1509724160 341047 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 368585 341047 2990 3032 0 353086 0
[pid=984288/tid=984290] ppid=984285 vsize=1474340 memory=1324276 CPUtime=3452.01 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3527521 0 0 0 344787 414 0 0 20 0 3 0 187934494 1509724160 341047 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1474340 memory=1358868 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 187934495 1509724160 341047 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 1474340 KiB
Current children cumulated memory: 1364188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/264 986149
/proc/meminfo: memFree=119602008/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1480192 memory=1376432 CPUtime=3512.06 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3623741 0 0 0 350775 431 0 0 20 0 3 0 187934493 1515716608 344108 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 370048 344108 2990 3032 0 355735 0
[pid=984288/tid=984290] ppid=984285 vsize=1480192 memory=1324276 CPUtime=3511.85 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3620426 0 0 0 350763 422 0 0 20 0 3 0 187934494 1515716608 344108 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1480192 memory=11608 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 184 0 0 0 1 2 0 0 20 0 3 0 187934495 1515716608 344108 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 1480192 KiB
Current children cumulated memory: 1376432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119476200/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1484168 memory=1387160 CPUtime=3571.91 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3716673 0 0 0 356753 438 0 0 20 0 3 0 187934493 1519788032 346790 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 371042 346790 2990 3032 0 357984 0
[pid=984288/tid=984290] ppid=984285 vsize=1484168 memory=1324276 CPUtime=3571.69 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3713334 0 0 0 356740 429 0 0 20 0 3 0 187934494 1519788032 346790 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1484168 memory=11608 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1519788032 346790 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1484168 KiB
Current children cumulated memory: 1387160 KiB
[startup+3601.85 s]
# the end of solver process 984288 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.91 s, system=4.51524 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119471260/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1484168 memory=1387176 CPUtime=3573.61 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3716886 0 0 0 356923 438 0 0 20 0 3 0 187934493 1519788032 346794 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 371042 346794 2990 3032 0 357984 0
[pid=984288/tid=984290] ppid=984285 vsize=1484168 memory=6720663242420798063 CPUtime=3573.39 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3713547 0 0 0 356910 429 0 0 20 0 3 0 187934494 1519788032 346794 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1484168 memory=-8549727003958230936 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1519788032 346794 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 1484168 KiB
Current children cumulated memory: 1387176 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 986162
/proc/meminfo: memFree=119457052/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1485196 memory=1388860 CPUtime=3579.98 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3754420 0 0 0 357558 440 0 0 20 0 3 0 187934493 1520840704 347215 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 371299 347215 2990 3032 0 358337 0
[pid=984288/tid=984290] ppid=984285 vsize=1485196 memory=1386992 CPUtime=3579.78 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3751062 0 0 0 357546 432 0 0 20 0 3 0 187934494 1520840704 347215 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1485196 memory=1388268 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1520840704 347215 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3579.98 s
Current children cumulated vsize: 1485196 KiB
Current children cumulated memory: 1388860 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 986163
/proc/meminfo: memFree=119442056/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1486964 memory=1390304 CPUtime=3586.37 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3755760 0 0 0 358196 441 0 0 20 0 3 0 187934493 1522651136 347576 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 371741 347576 2990 3032 0 358923 0
[pid=984288/tid=984290] ppid=984285 vsize=1486964 memory=-8549727003958230936 CPUtime=3586.16 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3752402 0 0 0 358184 432 0 0 20 0 3 0 187934494 1522651136 347576 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1486964 memory=1388304 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1522651136 347576 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 1486964 KiB
Current children cumulated memory: 1390304 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119432384/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1486964 memory=1390472 CPUtime=3589.57 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3777361 0 0 0 358514 443 0 0 20 0 3 0 187934493 1522651136 347618 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 371741 347618 2990 3032 0 358923 0
[pid=984288/tid=984290] ppid=984285 vsize=1486964 memory=6720663242420798063 CPUtime=3589.36 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3774003 0 0 0 358502 434 0 0 20 0 3 0 187934494 1522651136 347618 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1486964 memory=-8549727003958230936 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1522651136 347618 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3589.57 s
Current children cumulated vsize: 1486964 KiB
Current children cumulated memory: 1390472 KiB
[startup+3600.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119432384/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1479144 memory=1382652 CPUtime=3590.36 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3839966 0 0 0 358590 446 0 0 20 0 3 0 187934493 1514643456 345663 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 369786 345663 2990 3032 0 356968 0
[pid=984288/tid=984290] ppid=984285 vsize=1479144 memory=3176 CPUtime=3590.15 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3836603 0 0 0 358578 437 0 0 20 0 3 0 187934494 1514643456 345663 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1479144 memory=3391576 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1514643456 345663 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3590.36 s
Current children cumulated vsize: 1479144 KiB
Current children cumulated memory: 1382652 KiB
[startup+3601.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119668312/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1298820 memory=1202344 CPUtime=3591.16 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3862195 0 0 0 358668 448 0 0 20 0 3 0 187934493 1329991680 300586 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 324705 300586 2990 3032 0 311887 0
[pid=984288/tid=984290] ppid=984285 vsize=1298820 memory=6720663242420798063 CPUtime=3590.95 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3858833 0 0 0 358656 439 0 0 20 0 3 0 187934494 1329991680 300586 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1298820 memory=-8549727003958230936 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1329991680 300586 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3591.16 s
Current children cumulated vsize: 1298820 KiB
Current children cumulated memory: 1202344 KiB
[startup+3601.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119668312/131524600 swapFree=131071996/131071996
[pid=984288] ppid=984285 vsize=1210976 memory=1114500 CPUtime=3591.36 cores=4,6
/proc/984288/stat : 984288 (fscip) S 984285 984288 982041 0 -1 1077936128 3863013 0 0 0 358687 449 0 0 20 0 3 0 187934493 1240039424 278625 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
/proc/984288/statm: 302744 278625 2990 3032 0 289926 0
[pid=984288/tid=984290] ppid=984285 vsize=1210976 memory=12384 CPUtime=3591.15 cores=4,6
/proc/984288/task/984290/stat : 984290 (fscip) R 984285 984288 982041 0 -1 4194368 3859650 0 0 0 358675 440 0 0 20 0 3 0 187934494 1240039424 278625 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
[pid=984288/tid=984291] ppid=984285 vsize=1210976 memory=11608 CPUtime=0.03 cores=4,6
/proc/984288/task/984291/stat : 984291 (fscip) S 984285 984288 982041 0 -1 1077936192 186 0 0 0 1 2 0 0 20 0 3 0 187934495 1240039424 278625 134679101440 4194304 16613245 140734385749488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42287104 140734385755156 140734385755272 140734385755272 140734385762288 0
Current children cumulated CPU time: 3591.36 s
Current children cumulated vsize: 1210976 KiB
Current children cumulated memory: 1114500 KiB
Child status: 0
Real time (s): 3601.85
CPU time (s): 3591.42
CPU user time (s): 3586.91
CPU system time (s): 4.51524
CPU usage (%): 99.7104
Max. virtual memory (cumulated for all children) (KiB): 1486964
Max. memory (cumulated for all children) (KiB): 1390472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.91
system time used= 4.51524
maximum resident set size= 1390472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3863377
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= 9861
involuntary context switches= 4706
# summary of solver processes directly reported to runsolver:
# pid: 984288
# total CPU time (s): 3591.42
# total CPU user time (s): 3586.91
# total CPU system time (s): 4.51524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38497 second user time and 16.6544 second system time
The end
Begin job on nodeC028 at 2024-07-19 04:54:47
IDJOB=4447670
IDBENCH=159709
IDSOLVER=3064
FILE ID=nodeC028/4447670-1721357675
RUNJOBID= nodeC028-1721354084-982052
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-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-4447670-1721357675/watcher-4447670-1721357675 -o /tmp/evaluation-result-4447670-1721357675/solver-4447670-1721357675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447670-1721357675.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=22335364
nodeC028.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 : 3668.202
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.56
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.480
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 : 7005.59
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.951
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.56
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 : 3603.231
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 : 7005.59
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 : 3674.035
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.56
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 : 3678.614
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 : 7005.59
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 : 3656.253
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.56
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 : 3649.406
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129150932 kB
MemAvailable: 129696548 kB
Buffers: 508060 kB
Cached: 878948 kB
SwapCached: 0 kB
Active: 1008624 kB
Inactive: 768780 kB
Active(anon): 1552 kB
Inactive(anon): 426236 kB
Active(file): 1007072 kB
Inactive(file): 342544 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112796 kB
Writeback: 16 kB
AnonPages: 387452 kB
Mapped: 142056 kB
Shmem: 37720 kB
KReclaimable: 71648 kB
Slab: 179072 kB
SReclaimable: 71648 kB
SUnreclaim: 107424 kB
KernelStack: 4196 kB
PageTables: 9800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 881992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 05:54:49