Trace number 4464126

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30OPT6 454.178 455.674

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
MD5SUMc4903dfb08836eadb378d0a168fb9840
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark4.32773
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 37228544, getVmSize() = 37228544, SCIPgetMemUsed() = 12471085, SCIPgetMemTotal() = 15326021, SCIPgetMemExternEstim() = 6620541
0.00/0.06	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.37/2.42	c ** Estimated virtualMemUsedAtSolver = 49363908, getVmSize() = 90816512, SCIPgetMemUsed() = 46780017, SCIPgetMemTotal() = 67425321, SCIPgetMemExternEstim() = 6620541
2.37/2.42	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.37/2.42	c Original Problem   :
2.37/2.42	c   Problem name     : instance-4464126-1722382195
2.37/2.42	c   Variables        : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
2.37/2.42	c   Constraints      : 3433
2.37/2.42	c   Objective sense  : minimize
2.37/2.42	c Presolved Problem  :
2.37/2.42	c   Variables        : 2251 (2251 binary, 0 integer, 0 implicit integer, 0 continuous)
2.37/2.42	c   Constraints      : 819
2.37/2.42	c Constraints        : Number
2.37/2.42	c   knapsack         : 380 
2.37/2.42	c   setppc           : 60 
2.37/2.42	c   orbitope         : 379 
2.37/2.42	c ** Instance transfer method used: 0
2.37/2.43	c ** ParaScipInstance copy increased the number of variables. **
2.37/2.45	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.37/2.45	c                                Nodes    Active                                            
2.37/2.45	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.96/6.01	c         6             44          37         1                -           6.0000          -
11.13/11.23	c        11            837         155         1                -           6.0000          -
16.21/16.31	c        16           2212         300         1                -           6.0000          -
21.21/21.36	c        21           3736         421         1                -           6.0000          -
26.29/26.41	c        26           5413         446         1                -           6.0000          -
31.27/31.46	c        31           7134         443         1                -           6.0000          -
36.35/36.54	c        37           8763         488         1                -           6.0000          -
41.43/41.66	c        42          10493         516         1                -           6.0000          -
46.52/46.71	c        47          12567         607         1                -           6.0000          -
51.51/51.76	c        52          14626         640         1                -           6.0000          -
56.59/56.81	c        57          16687         651         1                -           6.0000          -
61.57/61.86	c        62          18807         615         1                -           6.0000          -
66.66/66.91	c        67          21015         581         1                -           6.0000          -
71.64/71.96	c        72          23535         600         1                -           6.0000          -
76.74/77.01	c        77          25446         601         1                -           6.0000          -
81.72/82.07	c        82          26932         675         1                -           6.0000          -
86.81/87.12	c        87          28408         756         1                -           6.0000          -
91.79/92.17	c        92          30245         898         1                -           6.0000          -
96.86/97.26	c        97          32377         902         1                -           6.0000          -
101.95/102.31	c       102          34447        1013         1                -           6.0000          -
106.93/107.36	c       107          36494        1155         1                -           6.0000          -
112.01/112.41	c       112          38381        1187         1                -           6.0000          -
117.00/117.46	c       117          40470        1206         1                -           6.0000          -
122.09/122.51	c       123          42409        1203         1                -           6.0000          -
127.07/127.56	c       128          44422        1166         1                -           6.0000          -
132.16/132.61	c       133          46596        1173         1                -           6.0000          -
137.14/137.66	c       138          48659        1147         1                -           6.0000          -
142.22/142.71	c       143          50819        1156         1                -           6.0000          -
147.20/147.76	c       148          53140        1143         1                -           6.0000          -
152.29/152.81	c       153          55341        1164         1                -           6.0000          -
157.26/157.86	c       158          57417        1239         1                -           6.0000          -
162.35/162.91	c       163          59735        1248         1                -           6.0000          -
167.32/167.96	c       168          61978        1279         1                -           6.0000          -
172.41/173.01	c       173          64099        1258         1                -           6.0000          -
177.40/178.06	c       178          66101        1213         1                -           6.0000          -
182.49/183.11	c       183          68358        1265         1                -           6.0000          -
187.47/188.16	c       188          70474        1270         1                -           6.0000          -
192.54/193.21	c       193          72753        1404         1                -           6.0000          -
197.51/198.26	c       198          75032        1455         1                -           6.0000          -
202.61/203.31	c       203          77424        1509         1                -           6.0000          -
207.58/208.36	c       208          79859        1532         1                -           6.0000          -
212.66/213.41	c       213          81975        1566         1                -           6.0000          -
217.64/218.48	c       218          84461        1595         1                -           6.0000          -
222.72/223.53	c       224          86832        1619         1                -           6.0000          -
227.71/228.58	c       229          88988        1593         1                -           6.0000          -
232.79/233.63	c       234          91510        1612         1                -           6.0000          -
237.87/238.74	c       239          93673        1628         1                -           6.0000          -
242.86/243.79	c       244          96092        1674         1                -           6.0000          -
247.94/248.84	c       249          98520        1667         1                -           6.0000          -
252.93/253.89	c       254         100726        1674         1                -           6.0000          -
258.01/258.94	c       259         102905        1754         1                -           6.0000          -
263.00/263.99	c       264         104998        1801         1                -           6.0000          -
268.08/269.04	c       269         106908        1801         1                -           6.0000          -
273.08/274.09	c       274         108762        1835         1                -           6.0000          -
278.16/279.14	c       279         110617        1823         1                -           6.0000          -
283.14/284.19	c       284         112511        1825         1                -           6.0000          -
288.21/289.24	c       289         114417        1863         1                -           6.0000          -
293.21/294.29	c       294         116103        1856         1                -           6.0000          -
298.29/299.34	c       299         117732        1977         1                -           6.0000          -
303.27/304.39	c       304         119763        2063         1                -           6.0000          -
308.36/309.44	c       309         121688        2091         1                -           6.0000          -
313.34/314.49	c       314         123671        2074         1                -           6.0000          -
318.42/319.54	c       320         125687        2133         1                -           6.0000          -
323.40/324.59	c       325         127587        2223         1                -           6.0000          -
328.50/329.64	c       330         129629        2260         1                -           6.0000          -
333.48/334.69	c       335         131476        2279         1                -           6.0000          -
338.56/339.74	c       340         133191        2304         1                -           6.0000          -
343.54/344.79	c       345         134987        2320         1                -           6.0000          -
348.63/349.84	c       350         136891        2319         1                -           6.0000          -
353.71/354.92	c       355         139136        2344         1                -           6.0000          -
358.70/359.97	c       360         140982        2413         1                -           6.0000          -
363.79/365.03	c       365         142871        2461         1                -           6.0000          -
368.77/370.09	c       370         144631        2520         1                -           6.0000          -
373.86/375.14	c       375         146477        2585         1                -           6.0000          -
378.94/380.20	c       380         148139        2632         1                -           6.0000          -
383.92/385.25	c       385         149704        2664         1                -           6.0000          -
389.00/390.34	c       390         151326        2692         1                -           6.0000          -
394.09/395.40	c       395         153044        2692         1                -           6.0000          -
399.07/400.44	c       400         154389        2801         1                -           6.0000          -
404.06/405.49	c       406         155721        2912         1                -           6.0000          -
409.14/410.55	c       411         157307        2904         1                -           6.0000          -
414.22/415.60	c       416         158836        2923         1                -           6.0000          -
419.21/420.65	c       421         160396        2914         1                -           6.0000          -
424.29/425.70	c       426         162116        2953         1                -           6.0000          -
429.28/430.75	c       431         163869        2980         1                -           6.0000          -
434.36/435.80	c       436         165857        3046         1                -           6.0000          -
439.35/440.85	c       441         167519        3068         1                -           6.0000          -
444.43/445.91	c       446         168618        3124         1                -           6.0000          -
449.41/450.96	c       451         170102        3134         1                -           6.0000          -
454.00/455.57	c *     456         171409        3134         1           6.0000           6.0000      0.00%
454.10/455.60	c       456         171582           0         0           6.0000           6.0000      0.00%
454.10/455.64	c       456         171582           0         0           6.0000           6.0000          -
454.10/455.64	c SCIP Status        : c problem is solved
454.10/455.64	c Total Time         : 455.6400
454.10/455.64	c   solving          : 455.6400
454.10/455.64	c   presolving       : 2.3639 (included in solving)
454.10/455.64	c B&B Tree           :
454.10/455.64	c   nodes (total)    : 171582
454.10/455.64	c Solution           :
454.10/455.64	c   Solutions found  : 1
454.10/455.64	c   Primal Bound     : +6.00000000000000e+00
454.10/455.64	c   Dual Bound       : +6.00000000000000e+00
454.10/455.64	c Gap                : 0.00000 %
454.10/455.64	o 6
454.10/455.64	s OPTIMUM FOUND
454.10/455.64	v x2968 -x2987 -x2660 -x2680 -x2697 -x2707 -x2725 -x2745 -x2767 -x2789 -x2817 -x2460 -x2434 -x2531 -x2499 -x2576 -x2161 -x2187 -x2112 
454.10/455.64	v -x2133 -x1882 -x1902 -x1919 -x1856 -x1875 -x1979 -x2001 -x1936 -x1957 -x1730 -x1706 -x1679 -x1255 -x1234 -x1118 -x1103 -x1157 
454.10/455.64	v -x1139 -x1383 -x1366 -x1347 -x1414 -x1388 -x1297 -x1279 -x1335 -x1311 -x814 -x505 -x481 -x461 -x440 -x422 -x401 -x384 -x369 
454.10/455.64	v -x372 -x696 -x669 -x651 -x621 -x596 -x575 -x552 -x201 -x230 -x2688 -x2667 -x2726 -x2709 -x2764 -x2742 -x2809 -x2808 -x2779 
454.10/455.64	v -x2853 -x2834 -x2894 -x2873 -x2950 -x2557 -x2579 -x2597 -x2624 -x1912 -x1888 -x1870 -x1852 -x2006 -x1986 -x1968 -x1952 -x1928 
454.10/455.64	v -x2087 -x2068 -x2041 -x908 -x1058 -x1082 -x1096 -x1789 -x1812 -x1835 -x1669 x2230 -x2609 -x2641 -x2564 -x681 -x656 -x637 
454.10/455.64	v -x421 -x1321 -x1384 -x1361 -x1431 -x2152 -x2116 -x2096 -x2076 -x601 -x533 -x560 -x168 -x147 -x127 -x102 -x73 -x1575 -x1540 -x1508 
454.10/455.64	v -x1477 -x1453 -x2143 x2166 -x2104 -x2323 -x2418 -x2391 -x2246 -x2214 -x2302 -x2269 -x2906 -x303 -x80 -x57 -x38 -x11 -x158 
454.10/455.64	v -x139 -x118 -x1018 -x1095 -x1073 -x736 -x714 -x784 -x760 -x824 -x1580 -x1504 -x1535 -x1439 -x1466 -x1811 -x1833 -x1764 -x16 
454.10/455.64	v -x46 -x64 -x86 -x111 -x117 -x138 -x160 -x205 -x232 -x252 -x279 -x300 -x321 -x343 -x364 -x381 -x366 -x419 -x398 -x462 -x473 -x452 
454.10/455.64	v -x513 -x495 -x556 -x535 -x602 -x576 -x646 -x622 -x698 -x671 -x2385 -x2413 -x2312 -x2346 -x2273 -x2300 -x2211 -x2247 -x2598 
454.10/455.64	v -x2628 -x2549 -x2574 -x2488 -x2520 -x2436 -x2462 -x2815 -x2790 -x2770 -x2750 -x2730 -x2719 -x2701 -x2675 -x2658 -x2985 -x2965 
454.10/455.64	v -x2945 -x2924 -x2898 -x2874 -x699 -x672 -x2386 -x2414 -x2313 -x2347 -x2274 -x2301 -x2212 -x2248 -x2599 -x2629 -x2550 -x2575 
454.10/455.64	v -x2489 -x2521 -x2437 -x2463 -x2816 -x2791 -x2771 -x2751 -x2731 -x2720 -x2702 -x2676 -x2659 -x2986 -x2966 -x2946 -x2925 -x2899 
454.10/455.64	v -x2875 -x2854 -x2836 -x1557 -x1584 -x1601 -x1647 -x1448 -x1483 -x1509 -x1538 -x1755 -x1778 -x1803 -x1825 -x1659 -x1685 -x1710 
454.10/455.64	v -x1734 -x1960 -x1938 -x1999 -x1995 -x1973 -x1857 -x1845 -x1903 -x1880 -x2135 -x2110 -x2178 -x2156 -x2900 -x2876 -x2855 -x2837 
454.10/455.64	v -x1558 -x1585 -x1602 -x1648 -x1449 -x1484 -x1510 -x1539 -x1756 -x1779 -x1804 -x1826 -x1660 -x1686 -x1711 -x1735 -x1961 
454.10/455.64	v -x1939 -x2000 -x1996 -x1974 -x1858 -x1846 -x1904 -x1881 -x2136 -x2111 -x2179 -x2157 -x2046 -x2026 -x2088 -x2070 -x987 -x961 -x909 
454.10/455.64	v -x881 -x1083 -x1059 -x1030 -x1009 -x791 -x771 -x753 -x734 -x866 -x842 -x825 -x808 -x1312 -x1333 -x1339 -x1280 -x1299 -x1405 
454.10/455.64	v -x1426 -x1362 -x1385 -x1140 -x1161 -x2180 -x2158 -x2047 -x2027 -x2089 -x2071 -x988 -x962 -x910 -x882 -x1084 -x1060 -x1031 
454.10/455.64	v -x1010 -x792 -x772 -x754 -x735 -x867 -x843 -x826 -x809 -x1313 -x1334 -x1340 -x1281 -x1300 -x1406 -x1427 -x1363 -x1386 -x1141 
454.10/455.64	v -x1162 -x1107 -x1122 -x1223 -x1248 -x1180 -x1202 -x224 -x187 -x269 -x243 -x305 -x286 -x352 -x325 -x50 -x20 -x87 -x67 -x131 -x112 
454.10/455.64	v -x171 -x150 -x526 -x545 -x565 -x589 -x610 -x632 -x653 -x682 -x706 -x1142 -x1163 -x1108 -x1123 -x1224 -x1249 -x1181 -x1203 
454.10/455.64	v -x225 -x188 -x270 -x244 -x306 -x287 -x353 -x326 -x51 -x21 -x88 -x68 -x132 -x113 -x172 -x151 -x527 -x546 -x566 -x590 -x611 -x633 
454.10/455.64	v -x654 -x683 -x707 -x367 -x382 -x396 -x416 -x443 -x463 -x488 -x509 -x2642 -x2610 -x2587 -x2565 -x2547 -x2515 -x2479 -x2454 
454.10/455.64	v -x2408 -x2378 -x2352 -x2315 -x2282 -x2257 -x2222 -x2190 -x2217 -x2959 -x2977 -x2908 -x2936 -x2867 -x2889 -x684 -x708 -x368 
454.10/455.64	v -x383 -x397 -x417 -x444 -x464 -x489 -x510 -x2643 -x2611 -x2588 -x2566 -x2548 -x2516 -x2480 -x2455 -x2409 -x2379 -x2353 -x2316 
454.10/455.64	v -x2283 -x2258 -x2223 -x2191 -x2218 -x2960 -x2978 -x2909 -x2937 -x2868 -x2890 -x2827 -x2842 -x2796 -x2818 -x2746 -x2773 -x2704 
454.10/455.64	v -x2722 -x2664 -x2677 -x1790 -x1766 -x1836 -x1810 -x1696 -x1672 -x1740 -x1720 -x1577 -x1551 -x1629 -x1603 -x1475 -x1445 -x1532 
454.10/455.64	v -x1541 x1512 -x2098 -x2126 -x2150 -x2174 -x2786 -x2689 -x2655 -x2710 -x598 -x537 -x559 -x691 -x103 -x1270 -x1288 x1310 -x813 
454.10/455.64	v -x875 -x851 -x2162 -x1565 -x1523 -x1498 -x1463 -x2305 -x2404 -x2375 -x2236 -x94 -x284 -x255 -x229 x803 -x865 -x839 -x923 -x1791 
454.10/455.64	v -x1716 -x1743 -x1668 -x2585 -x2618 -x2644 -x2456 -x447 -x239 -x266 -x196 -x1179 -x1262 -x1240 -x879 -x2271 -x2295 -x2207 
454.10/455.64	v -x2240 -x2394 -x2423 -x2337 -x2368 -x2934 -x2907 -x700 -x674 -x645 -x619 -x592 -x574 -x72 -x92 -x26 x45 -x1368 -x1350 -x1410 
454.10/455.64	v -x1390 -x853 -x873 -x727 -x751 -x777 -x796 -x2091 -x2064 -x1491 -x1528 -x1437 -x1464 -x1613 -x1625 -x1560 -x1583 -x2617 -x2645 
454.10/455.64	v -x2201 -x2234 -x2261 -x2289 -x2314 -x2345 -x871 -x730 -x756 -x775 -x793 -x1001 -x1019 -x1045 -x1074 -x1099 -x895 -x925 -x949 
454.10/455.64	v -x980 -x1204 -x1183 -x174 -x114 -x135 -x69 -x90 -x22 -x40 -x36 -x341 -x362 -x299 -x316 -x256 -x282 -x204 -x223 -x528 -x2192 
454.10/455.64	v -x2219 -x2259 -x2280 -x2317 -x2348 -x2380 -x2389 -x2420 -x2440 -x2471 -x2503 -x2528 -x2551 -x2577 -x2917 -x2993 -x2969 -x1502 
454.10/455.64	v -x1530 -x1440 -x1473 -x1608 -x1628 -x1646 -x1574 -x1598 -x1701 -x1728 -x1653 x1682 -x2020 -x2185 -x2160 -x2128 -x2107 -x2263 
454.10/455.64	v -x2290 -x2200 -x2235 -x2371 -x2395 -x2430 -x2331 -x2361 -x2496 -x2519 -x2877 -x2851 -x2835 -x2988 -x2964 -x2943 -x2919 -x1436 
454.10/455.64	v -x1465 -x1499 -x1529 -x1546 -x1566 -x1591 -x1618 -x1641 -x189 x991 -x1821 -x2526 -x153 -x555 -x1184 -x544 -x267 x1090 -x1742 
454.10/455.64	v -x1934 -x14 -x715 -x2086 x2903 -x435 -x1171 -x1505 -x1536 x1444 -x1469 -x1958 -x1940 -x1920 -x1895 -x2772 -x2748 -x2822 
454.10/455.64	v -x2793 -x663 -x638 -x418 -x395 -x1373 -x1355 -x1422 -x1396 -x1935 -x1949 -x1883 -x1908 -x49 -x17 -x746 -x726 -x850 -x874 -x148 
454.10/455.64	v -x169 -x557 -x536 x2941 -x2920 -x23 -x170 -x154 -x130 -x107 -x2422 -x2393 -x2357 -x2982 -x2915 -x2940 -x2862 -x2884 -x2823 
454.10/455.64	v -x2843 -x1590 -x1901 -x2093 x2114 -x2141 -x2165 -x2018 -x2037 -x2061 -x1266 -x1192 -x1205 -x1326 -x1342 -x1287 -x1303 -x1398 
454.10/455.64	v -x429 -x451 -x477 -x490 -x511 -x539 -x561 -x580 -x2954 -x2935 -x2910 -x2891 -x2871 -x2858 -x2838 -x2804 x2879 -x2902 -x2921 -x2942 
454.10/455.64	v -x2938 -x2962 -x2983 -x2661 -x666 -x694 -x614 -x640 -x578 -x581 -x605 -x542 -x47 -x27 -x1352 -x1372 -x1392 -x1416 -x1424 
454.10/455.64	v -x1282 -x750 -x729 -x789 -x773 -x1914 -x1891 -x1869 -x1865 -x1654 -x1678 -x1805 -x1828 -x1758 -x1780 -x2690 -x2668 -x2432 -x2473 
454.10/455.64	v -x2500 -x2532 -x2553 -x2573 -x2601 -x2627 x833 -x854 -x876 -x880 -x907 -x939 -x971 -x1004 -x48 -x149 -x167 -x104 -x128 
454.10/455.64	v -x240 -x263 -x179 -x2341 -x2370 -x2401 -x2199 -x2229 -x2262 -x2291 -x2571 -x2882 -x1614 -x1635 -x1561 -x1586 -x1497 -x1524 -x1438 
454.10/455.64	v -x2062 -x2038 -x2021 -x924 -x897 -x983 -x952 -x1046 -x1173 -x1190 -x1207 -x1231 -x1254 -x281 -x251 -x233 -x1316 -x1291 -x1276 
454.10/455.64	v -x1411 -x2121 x2132 -x2108 -x2181 -x2691 -x2669 -x2651 -x2994 -x938 -x968 -x878 -x902 -x329 -x347 -x194 -x219 -x2511 -x2544 
454.10/455.64	v -x2451 -x2483 -x1889 -x1913 -x1853 -x1868 -x1987 -x2007 -x1943 -x1929 -x1170 -x1149 -x1371 -x1351 -x1417 -x1391 -x1289 -x1271 
454.10/455.64	v -x428 -x410 x394 -x379 -x692 -x667 -x642 -x615 -x2711 -x2692 -x2752 -x2732 -x2802 -x2776 -x2861 -x2841 -x1909 -x1884 -x1864 
454.10/455.64	v -x1844 -x1993 -x1975 -x1956 -x1932 -x1763 -x1784 -x1516 -x1544 -x1454 -x1478 -x1622 -x1650 -x591 -x613 -x629 -x655 -x2349 
454.10/455.64	v -x2306 -x2405 -x2376 -x1698 -x1673 -x1633 -x1610 x1026 -x1002 -x1076 -x1064 -x208 -x181 -x361 -x338 -x2332 -x2369 -x2392 -x2424 
454.10/455.64	v -x2060 -x2961 -x584 -x861 x1719 -x2614 -x28 -x2973 -x1915 -x1253 -x427 x2963 -x517 -x497 -x2768 -x2743 -x2820 -x2798 -x2684 
454.10/455.64	v -x2663 -x2441 -x2467 -x2504 -x2522 -x1998 -x1980 -x1962 -x1937 -x1757 -x1781 -x1702 -x1723 -x1661 -x1689 -x1124 -x1109 -x896 
454.10/455.64	v -x922 -x951 -x981 -x1020 -x1043 -x1067 x1094 -x93 -x119 -x253 -x280 -x206 -x231 -x344 -x365 -x2487 -x2458 -x2540 -x2517 -x2339 
454.10/455.64	v -x2307 -x2406 -x2381 -x1814 -x2703 -x2621 -x2586 -x333 -x213 -x1051 -x1024 -x1818 -x1459 x2631 -x2558 -x2478 -x2507 -x2537 
454.10/455.64	v x2311 -x1782 -x1721 -x1747 -x1675 -x918 -x940 -x973 -x1003 -x448 -x237 -x260 -x180 -x2535 -x2439 -x2465 -x2821 -x1827 -x1658 
454.10/455.64	v -x1683 -x1713 -x2681 -x2794 -x2775 -x2800 -x2735 -x2755 -x307 -x285 -x355 -x330 -x210 -x185 -x257 -x235 -x133 -x105 -x175 
454.10/455.64	v -x156 -x39 -x12 -x81 -x58 -x634 -x662 -x679 -x703 -x538 -x562 -x588 -x606 -x446 -x467 -x484 -x507 -x518 -x377 -x390 -x411 -x430 
454.10/455.64	v -x1085 -x1054 -x1038 -x996 -x975 -x942 -x915 -x891 -x868 -x844 -x828 -x804 -x785 -x763 -x737 -x717 -x1407 -x1432 -x1358 -x1374 
454.10/455.64	v -x1324 -x1343 -x1285 -x1305 -x1227 -x468 -x485 -x508 -x519 -x378 -x391 -x412 -x431 -x1086 -x1055 -x1039 -x997 -x976 -x943 
454.10/455.64	v -x916 -x892 -x869 -x845 -x829 -x805 -x786 -x764 -x738 -x718 -x1408 -x1433 -x1359 -x1375 -x1325 -x1344 -x1286 -x1306 -x1228 
454.10/455.64	v -x1250 -x1177 -x1199 -x1219 -x1145 -x1167 -x1112 -x1130 -x1450 -x1479 -x1513 -x1547 -x1569 -x1592 -x1619 -x1642 -x1662 -x1690 
454.10/455.64	v -x1717 -x1738 -x1768 -x1792 -x1815 -x1838 -x1860 -x1841 -x1910 -x1885 -x1950 -x1922 -x1988 -x1307 -x1229 -x1251 -x1178 -x1200 
454.10/455.64	v -x1220 -x1146 -x1168 -x1113 -x1131 -x1451 -x1480 -x1514 -x1548 -x1570 -x1593 -x1620 -x1643 -x1663 -x1691 -x1718 -x1739 -x1769 
454.10/455.64	v -x1793 -x1816 -x1839 -x1861 -x1842 -x1911 -x1886 -x1951 -x1923 -x1989 -x1970 -x2044 -x2028 -x2010 -x2077 -x2054 -x2117 -x2099 
454.10/455.64	v -x2167 -x2145 -x2275 -x2296 -x2204 -x2237 -x2396 -x2425 -x2334 -x2365 -x2490 -x2545 -x2452 -x2484 -x2615 -x2639 -x2567 -x2591 
454.10/455.64	v -x2717 -x2693 -x2672 -x2652 -x2805 -x1924 -x1990 -x1971 -x2045 -x2029 -x2011 -x2078 -x2055 -x2118 -x2100 -x2168 -x2146 
454.10/455.64	v -x2276 -x2297 -x2205 -x2238 -x2397 -x2426 -x2335 -x2366 -x2491 -x2546 -x2453 -x2485 -x2616 -x2640 -x2568 -x2592 -x2718 -x2694 
454.10/455.64	v -x2673 -x2653 -x2806 -x2780 -x2756 -x2736 -x2896 -x2887 -x2864 -x2846 -x2831 -x2979 -x2955 -x2930 -x2911 -x99 -x124 -x143 -x161 
454.10/455.64	v -x2 -x29 -x54 -x75 -x289 -x308 -x323 -x350 -x190 -x215 -x241 -x271 -x478 -x456 -x523 -x2654 -x2807 -x2781 -x2757 -x2737 -x2897 
454.10/455.64	v -x2888 -x2865 -x2847 -x2832 -x2980 -x2956 -x2931 -x2912 -x100 -x125 -x144 -x162 -x3 -x30 -x55 -x76 -x290 -x309 -x324 -x351 
454.10/455.64	v -x191 -x216 -x242 -x272 -x479 -x457 -x524 -x498 -x387 -x373 -x425 -x405 -x403 -x657 -x630 -x704 -x677 -x567 -x547 -x607 -x585 
454.10/455.64	v -x836 -x857 -x800 -x820 -x769 -x787 -x724 -x747 -x1062 -x1091 -x1006 -x1036 -x936 -x966 -x883 -x911 -x1258 -x458 -x525 -x499 
454.10/455.64	v -x388 -x374 -x426 -x406 -x404 -x658 -x631 -x705 -x678 -x568 -x548 -x608 -x587 -x837 -x860 -x801 -x822 -x770 -x788 -x725 
454.10/455.64	v -x748 -x1063 -x1093 -x1008 -x1037 -x937 -x967 -x884 -x912 -x1259 -x1235 -x1213 -x1187 -x1176 -x1154 -x1135 -x1121 -x1105 -x1425 
454.10/455.64	v -x1404 -x1378 -x1357 -x1341 -x1323 -x1309 -x1284 -x2090 -x2069 x2049 -x2025 -x2177 -x2159 -x2124 -x2095 -x1917 -x1892 -x1871 
454.10/455.64	v -x1854 -x2005 -x1982 -x1959 -x1674 -x1697 -x1808 -x1831 -x1760 -x1786 -x1899 -x1879 -x1862 -x1843 -x1997 -x1976 -x1954 -x1931 
454.10/455.64	v -x2083 -x2059 -x1005 -x1028 -x1047 -x1081 -x888 -x914 -x947 -x964 -x1215 -x1196 -x1267 -x1244 -x1133 -x1115 -x1169 -x1144 
454.10/455.64	v -x18 -x44 -x339 -x360 -x297 -x313 -x234 -x259 -x192 -x217 -x516 -x493 -x470 -x450 -x437 -x414 -x2562 -x2561 -x2630 -x2602 -x2245 
454.10/455.64	v -x2203 -x2299 -x2268 -x2360 -x2327 -x2416 -x2388 -x2826 -x2849 -x2866 -x2885 -x1671 -x1834 -x1824 -x1801 -x1773 -x1749 -x1545 
454.10/455.64	v -x1517 -x1488 -x1462 -x1652 -x1623 -x1597 -x1573 -x2053 -x2081 -x1012 -x1092 -x1061 -x1069 -x931 -x901 -x986 -x963 -x819 
454.10/455.64	v -x799 -x862 -x838 -x742 x722 -x778 -x761 -x1148 x1007 -x1035 -x1070 -x2470 -x2506 -x2534 -x2763 -x1777 -x1705 -x1725 -x1657 
454.10/455.64	v -x926 -x950 -x982 -x1021 -x121 -x254 -x283 -x207 -x2459 -x2541 -x2513 -x2342 -x1848 -x1863 -x1887 -x1907 -x1927 -x1953 -x1969 
454.10/455.64	v -x1991 -x2013 -x2032 -x2052 -x2080 -x2103 -x2125 -x2144 -x2170 -x1840 -x1807 -x1421 -x1395 -x1376 -x1354 -x1345 -x1327 -x1304 
454.10/455.64	v -x1272 -x1263 -x1243 -x1221 -x1195 -x1172 -x1150 -x759 -x782 -x723 -x745 -x664 -x639 x713 -x690 -x563 -x540 -x599 -x579 -x469 
454.10/455.64	v -x449 -x515 -x492 -x140 -x159 -x10 -x32 -x53 -x74 -x2883 -x2863 -x2844 -x2824 -x2984 -x2967 -x2944 -x2918 -x2714 -x2700 -x2272 
454.10/455.64	v -x2304 -x2210 -x2250 -x2400 -x2428 -x2330 -x2363 -x2036 -x2019 -x2082 -x2058 -x2134 -x2113 -x2188 -x2163 -x1802 -x1829 
454.10/455.64	v -x1455 -x1482 -x1511 -x1542 -x1568 -x1596 -x1617 -x1640 -x19 -x43 -x66 -x79 -x98 -x122 -x2665 -x2687 -x2792 -x2819 -x356 -x337 
454.10/455.64	v -x315 -x296 -x1160 x1174 -x1023 -x995 -x2004 -x1946 -x1926 -x1948 -x2728 -x2738 -x2761 -x2758 -x665 -x644 -x618 -x597 -x2131 
454.10/455.64	v -x2123 -x2149 -x2175 -x1367 -x1319 -x1320 -x1338 -x650 -x673 -x695 -x711 -x65 -x2724 -x2706 -x2683 -x2637 -x2560 -x2584 -x1876 
454.10/455.64	v -x1733 -x1751 x1771 -x1800 -x2015 -x2031 -x2148 -x2176 -x1216 -x1198 -x1264 -x1241 -x193 -x214 x520 -x496 -x2563 -x2590 -x2613 
454.10/455.64	v -x2646 -x1667 -x1694 -x1817 -x1837 -x2072 -x2050 -x2034 -x2017 -x222 -x203 -x274 -x246 -x445 -x472 -x494 -x514 -x380 -x389 
454.10/455.64	v -x415 -x436 -x617 -x652 -x670 -x697 -x1044 -x1017 -x990 -x960 -x928 -x899 -x1246 -x1265 -x1194 -x1218 -x1147 -x1164 -x1114 
454.10/455.64	v -x1134 -x1389 -x1415 -x1442 -x1472 -x1507 -x1534 -x1556 -x1581 -x1605 -x1651 -x2035 -x2016 -x2073 -x2051 -x2122 -x2097 -x2173 
454.10/455.64	v -x2139 -x2572 -x2595 -x2253 -x2279 -x2193 -x2225 -x2384 -x2415 -x2326 -x2359 -x2892 -x2870 -x2848 -x2830 -x2975 -x2952 -x195 
454.10/455.64	v -x209 -x238 -x262 -x109 -x136 -x152 -x173 -x25 -x33 -x61 -x82 -x660 -x626 -x712 -x685 -x1011 -x1034 -x941 -x970 -x889 -x921 
454.10/455.64	v -x849 -x872 -x810 -x827 -x758 -x781 -x721 -x741 -x1428 x1402 -x1298 -x554 -x2856 -x2043 -x354 x1087 -x2916 -x123 -x818 -x2033 
454.10/455.64	v x2929 -x569 -x2739 -x2760 -x2788 -x2814 -x2472 -x2443 -x2533 -x2505 -x1849 -x1873 -x1981 -x2003 -x1947 -x1967 -x1726 -x1704 
454.10/455.64	v -x1191 -x1210 -x1232 -x1257 -x1102 -x1117 x1138 -x1156 -x531 -x553 -x500 -x504 -x439 -x460 -x400 -x423 -x2429 -x2399 -x2364 
454.10/455.64	v -x2329 -x2542 -x2512 -x2486 -x2457 -x1550 -x1518 -x1595 -x1567 -x1639 -x1616 -x1693 -x1670 -x2589 -x2514 -x2527 -x2433 -x218 
454.10/455.64	v -x245 -x268 -x304 -x491 x935 -x965 -x885 -x1242 -x1217 -x1193 -x2727 -x2469 -x2600 -x2626 -x2552 -x1684 -x1703 -x1724 -x1754 
454.10/455.64	v -x1994 -x1572 -x2216 -x97 x1301 -x1930 -x675 -x1387 -x1627 -x2407 x346 -x1068 -x2266 -x2362 -x2333 -x2431 -x1519 -x1487 -x1461 
454.10/455.64	v -x1638 -x2115 -x821 -x802 -x859 -x1302 -x1328 x1346 -x166 -x641 -x583 -x603 -x541 -x340 -x317 -x295 -x261 x2989 -x2186 -x1420 
454.10/455.64	v -x693 -x2953 -x2151 -x2109 -x2120 -x1890 -x1916 -x1275 -x1296 -x1322 -x1336 -x625 -x649 x572 -x612 -x2682 -x2662 -x2723 -x2708 
454.10/455.64	v -x2608 -x2632 -x1918 -x1896 -x1797 -x1820 -x1748 -x1772 -x2358 -x2270 -x2303 x2215 -x2242 -x2607 -x2636 -x2556 -x2583 -x2495 
454.10/455.64	v -x2525 -x2435 -x2481 -x2799 -x2774 -x2754 -x2734 -x2716 -x2699 -x2679 -x2656 -x2992 -x2972 -x2949 -x2923 -x2901 -x2878 
454.10/455.64	v -x2852 -x2850 -x2829 -x13 -x35 -x60 -x84 -x96 -x116 -x142 -x165 -x199 -x228 -x250 -x276 -x302 -x320 -x328 -x349 -x393 -x376 -x434 
454.10/455.64	v -x409 -x476 -x454 -x522 -x502 -x551 -x530 -x595 -x571 -x648 -x624 -x628 -x710 -x689 -x768 -x34 -x59 -x83 -x95 -x115 -x141 
454.10/455.64	v -x164 -x198 -x227 -x249 -x275 -x301 -x319 -x327 -x348 -x392 -x375 -x433 -x408 -x475 -x453 -x521 -x501 -x550 -x529 -x594 -x570 
454.10/455.64	v -x647 -x623 -x627 -x709 -x688 -x767 -x780 -x720 -x740 -x841 -x864 -x798 -x817 -x959 -x985 -x906 -x934 -x1066 -x1089 -x1014 
454.10/455.64	v -x1033 -x1166 -x1153 -x1129 -x1111 -x1269 -x1237 -x1212 -x1189 -x1332 -x1318 -x1295 -x1278 -x1413 -x1430 -x1401 -x1382 -x687 
454.10/455.64	v -x766 -x779 -x719 -x739 -x840 -x863 -x797 -x816 -x958 -x984 -x905 -x933 -x1065 -x1088 -x1013 -x1032 -x1165 -x1152 -x1128 -x1110 
454.10/455.64	v -x1268 -x1236 -x1211 -x1188 -x1331 -x1317 -x1294 -x1277 -x1412 -x1429 -x1400 -x1381 -x1365 -x2905 -x2881 -x2860 -x2840 -x2991 
454.10/455.64	v -x2971 -x2948 -x2928 -x2713 -x2696 -x2671 -x2649 -x2810 -x2783 -x2765 -x2740 -x2501 -x2529 -x2444 -x2474 -x2604 -x2633 -x2554 
454.10/455.64	v -x2581 -x2264 -x2293 -x2208 -x2243 -x2231 -x2372 -x1399 -x1379 -x1364 -x2904 -x2880 -x2859 -x2839 -x2990 -x2970 -x2947 
454.10/455.64	v -x2927 -x2712 -x2695 -x2670 -x2650 -x2811 -x2784 -x2766 -x2741 -x2502 -x2530 -x2445 -x2475 -x2605 -x2634 -x2555 -x2582 -x2265 
454.10/455.64	v -x2294 -x2209 -x2244 -x2232 -x2373 -x2402 -x2308 -x2343 -x2039 -x2022 -x2084 -x2066 -x2129 -x2105 -x2183 -x2153 -x1866 -x1850 
454.10/455.64	v -x1905 -x1893 -x1964 -x1944 -x2008 -x1984 -x1655 -x1680 -x1707 -x1731 -x1752 -x1775 -x1794 -x1822 -x1456 -x1485 -x1520 -x1492 
454.10/455.64	v -x2233 -x2374 -x2403 -x2309 -x2344 -x2040 -x2023 -x2085 -x2067 -x2130 -x2106 -x2184 -x2154 -x1867 -x1851 -x1906 -x1894 -x1965 
454.10/455.64	v -x1945 -x2009 -x1985 -x1656 -x1681 -x1708 -x1732 -x1753 -x1776 -x1795 -x1823 -x1457 -x1486 -x1521 -x1493 -x1525 -x1563 -x1587 
454.10/455.64	v -x1611 -x1636 -x1418 -x1393 -x1369 -x1348 -x1329 -x1314 -x1292 -x1273 -x1260 -x1238 -x1208 -x1185 -x1158 -x1136 -x1119 -x1100 
454.10/455.64	v -x1071 -x1097 -x1015 -x1041 -x956 -x992 -x903 -x929 -x834 -x855 -x1522 -x1494 -x1526 -x1564 -x1588 -x1612 -x1637 -x1419 
454.10/455.64	v -x1394 -x1370 -x1349 -x1330 -x1315 -x1293 -x1274 -x1261 -x1239 -x1209 -x1186 -x1159 -x1137 -x1120 -x1101 -x1072 -x1098 -x1016 
454.10/455.64	v -x1042 -x957 -x993 -x904 -x930 -x835 -x856 -x877 -x812 -x832 -x774 -x790 -x728 -x749 -x643 -x620 -x701 -x676 -x549 -x532 -x593 
454.10/455.67	v -x573 -x480 -x438 -x506 -x483 -x385 -x370 -x420 -x399 -x298 -x322 -x342 -x363 -x197 -x220 -x248 -x277 -x2508 x2338 -x466 
454.10/455.67	v -x486 -x1125 -x1225 -x1963 -x1977 -x1709 -x2797 -x2497 -x2461 -x2813 -x2782 -x2442 -x2468 -x2002 -x1983 -x1966 x1942 -x1256 -x1233 
454.10/455.67	v -x1116 -x1104 -x503 -x482 -x459 -x441 -x1290 -x1283 -x1252 -x1226 -x558 -x534 -x604 -x582 -x2127 -x1025 -x994 -x1080 -x1052 
454.10/455.67	v -x920 -x890 -x969 -x1126 -x1151 -x1175 -x357 -x335 -x312 -x292 -x264 -x474 -x407 -x432 -x371 -x386 -x2477 -x2448 -x2536 
454.10/455.67	v -x2678 -x2698 -x2715 -x2733 -x2759 -x2778 x2803 -x1744 -x2137 -x1877 -x1900 -x1847 -x1859 -x1972 -x1992 -x1925 -x1106 -x1155 
454.10/455.67	v -x1143 -x1377 -x1356 -x1434 -x1397 -x1308 -x2354 -x2318 -x2539 -x2509 -x2476 -x2449 -x2446 -x2625 -x1578 -x1552 -x1630 -x1604 
454.10/455.67	v -x1700 -x1676 -x1745 -x1729 -x830 -x811 -x794 x776 -x752 -x731 -x1079 -x1053 -x129 -x108 -x176 -x155 -x41 -x24 -x85 -x63 -x577 
454.10/455.67	v -x600 -x2492 -x2523 -x2438 -x2464 -x2603 -x2638 -x2812 -x2785 -x2762 -x2744 -x1664 -x1687 -x1712 -x1736 -x1468 -x1495 -x1527 
454.10/455.67	v -x1765 -x686 -x564 -x543 -x609 -x1403 -x1380 -x1360 -x1337 -x2048 x2030 -x2014 -x2074 -x1606 -x1632 -x1645 -x2886 -x2382 -x2411 
454.10/455.67	v -x2320 -x2324 -x846 x755 -x733 -x795 -x765 -x2057 -x2075 -x2012 -x1500 -x1470 -x1443 -x1631 -x1607 -x1599 -x1576 -x2828 
454.10/455.67	v -x2622 -x2224 -x2198 -x2278 -x2252 -x2355 -x2325 -x2419 -x2596 -x2620 -x2647 -x2195 -x2220 -x2255 -x2287 -x2328 -x1699 -x1809 
454.10/455.67	v -x1832 -x1759 -x1785 -x1503 -x1533 -x1446 -x1029 -x1049 -x1078 -x894 -x919 -x946 -x979 -x807 -x1799 -x1490 -x1460 -x1543 -x953 
454.10/455.67	v -x927 -x900 -x858 x345 -x221 -x202 -x273 -x2281 -x2197 -x2226 -x2383 -x2922 -x1441 -x1471 -x1506 -x2172 -x2182 -x2155 -x848 
454.10/455.67	v -x2417 -x2387 -x2221 -x2189 -x1649 -x1624 x1582 -x1559 -x1409 -x1435 -x744 -x732 -x680 -x702 -x636 -x661 -x2340 -x2310 -x2288 
454.10/455.67	v -x2260 -x1589 -x1562 -x1634 -x1615 -x1750 -x1819 -x1796 -x1688 -x1666 -x1737 -x1714 -x1600 -x2686 -x2635 -x2606 -x2578 -x2559 
454.10/455.67	v -x2524 -x2494 x2466 -x471 -x487 -x512 -x226 -x200 -x278 -x247 -x318 -x1127 -x1245 -x1247 -x1182 -x1201 -x989 -x954 -x932 
454.10/455.67	v -x2102 -x2171 -x2142 -x2042 -x2024 -x2092 -x2065 -x1554 -x2666 -x2976 -x2958 -x2933 -x2926 -x2895 -x2872 -x2857 -x110 -x178 
454.10/455.67	v -x2580 -x2498 -x1774 -x1798 -x815 -x955 -x120 -x146 -x2063 x2138 -x616 -x1353 -x1941 -x2747 x972 -x265 -x310 -x288 -x91 -x77 
454.10/455.67	v -x56 -x31 -x5 -x163 -x145 -x126 -x101 -x2913 -x2932 -x2957 -x2981 -x2833 -x2482 -x2450 -x2543 -x2518 -x2493 -x2367 -x2336 -x2427 
454.10/455.67	v -x2398 -x2239 -x2206 -x2298 -x2277 -x2147 -x2169 -x2101 -x1788 -x1770 -x1741 -x1715 -x1695 -x1692 -x1665 x1644 -x1621 -x1594 
454.10/455.67	v -x1571 -x1549 -x1515 -x1481 -x1452 -x1132 -x716 -x743 -x762 -x783 -x806 -x823 -x831 -x847 -x870 -x893 -x917 -x944 -x977 -x998 
454.10/455.67	v -x1040 -x1056 -x659 -x635 -x62 -x78 -x15 -x37 -x137 -x157 -x177 -x106 -x134 -x236 -x258 -x186 -x211 -x331 -x2845 -x2825 
454.10/455.67	v -x2893 -x2869 -x2322 -x2356 -x2390 -x2421 -x2410 -x2196 -x2227 -x2251 -x2284 -x2569 -x2594 -x2623 -x2648 -x2619 -x2593 -x2570 
454.10/455.67	v -x2285 -x2256 -x2249 -x2213 -x1746 -x1722 -x1783 -x1762 -x1830 -x1806 -x1474 -x1447 -x1075 -x1050 -x1027 -x1000 -x974 -x948 
454.10/455.67	v -x913 x886 -x413 -x424 -x311 -x293 -x359 -x336 -x212 -x182 -x2974 -x2951 -x2939 -x2914 -x2267 -x2292 -x2202 -x2241 -x2079 -x2056 
454.10/455.67	v -x2119 -x2094 -x2164 -x2140 -x1458 -x1489 -x1677 -x1626 -x1609 -x1579 -x1553 -x1537 -x1496 -x1467 -x2447 -x2538 -x2510 -x2351 
454.10/455.67	v -x2321 -x2412 -x2377 -x2228 -x183 -x358 -x334 -x314 -x291 -x89 -x70 -x42 -x898 -x978 -x945 -x1022 -x999 -x1077 -x1048 x757 
454.10/455.67	v -x2612 -x2657 -x2685 -x2705 -x2721 -x2749 -x2769 -x2795 -x1813 -x1787 -x1767 -x1898 -x1921 -x1855 -x1874 -x1978 -x294 -x2319 
454.10/455.67	v -x1555 -x1423 x668 -x52 -x1230 -x402 -x2787 -x1727 -x852 x71 x1057 -x332 -x1872 -x2674 -x184 -x887 -x2801 x2777 -x2753 -x2729 
454.10/455.67	v -x1897 -x1878 -x1955 -x1933 -x1222 -x1206 -x1214 -x1197 -x586 -x465 -x442 -x455 -x1476 -x1501 -x1531 -x1761 -x2350 -x2254 
454.10/455.67	v -x2286 -x2194 x9 x8 x7 x6 x4 x1

Verifier Data 

OK	6

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (50625 MiB free)
  memory of node 1: 64473 MiB (61872 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464126-1722382195/watcher-4464126-1722382195 -o /tmp/evaluation-result-4464126-1722382195/solver-4464126-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29039 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464126-1722382195.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=31252, runsolver pid=31249

[startup+0.100154 s]*
/proc/loadavg: 4.15 4.25 4.14 5/245 31253
/proc/meminfo: memFree=115229972/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=40224 memory=29284 CPUtime=0.1 cores=5,7
/proc/31252/stat : 31252 (fscip) R 31249 31252 29026 0 -1 4194304 4976 0 0 0 8 2 0 0 20 0 1 0 4590965 41189376 7321 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 10056 7321 2646 3035 0 6452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40224 KiB
Current children cumulated memory: 29284 KiB

[startup+0.213432 s]*
/proc/loadavg: 4.15 4.25 4.14 5/245 31253
/proc/meminfo: memFree=115300332/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=46296 memory=36052 CPUtime=0.21 cores=5,7
/proc/31252/stat : 31252 (fscip) R 31249 31252 29026 0 -1 4194304 7220 0 0 0 18 3 0 0 20 0 1 0 4590965 47407104 9013 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 11574 9013 2758 3035 0 7970 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46296 KiB
Current children cumulated memory: 36052 KiB

[startup+0.313266 s]*
/proc/loadavg: 4.15 4.25 4.14 4/243 31253
/proc/meminfo: memFree=116332824/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=55616 memory=40232 CPUtime=0.31 cores=5,7
/proc/31252/stat : 31252 (fscip) R 31249 31252 29026 0 -1 4194304 8258 0 0 0 28 3 0 0 20 0 1 0 4590965 56950784 10058 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 13904 10058 2774 3035 0 10300 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55616 KiB
Current children cumulated memory: 40232 KiB

[startup+0.700258 s]
/proc/loadavg: 4.15 4.25 4.14 5/243 31267
/proc/meminfo: memFree=116328416/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=61788 memory=46052 CPUtime=0.68 cores=5,7
/proc/31252/stat : 31252 (fscip) R 31249 31252 29026 0 -1 4194304 9703 0 0 0 65 3 0 0 20 0 1 0 4590965 63270912 11513 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 15447 11513 2790 3035 0 11843 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61788 KiB
Current children cumulated memory: 46052 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.25 4.14 5/242 31267
/proc/meminfo: memFree=116518496/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=64836 memory=48956 CPUtime=1.48 cores=5,7
/proc/31252/stat : 31252 (fscip) R 31249 31252 29026 0 -1 4194304 10436 0 0 0 145 3 0 0 20 0 1 0 4590965 66392064 12239 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 16209 12239 2790 3035 0 12605 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64836 KiB
Current children cumulated memory: 48956 KiB

[startup+3.11718 s]
/proc/loadavg: 4.15 4.25 4.14 5/246 31318
/proc/meminfo: memFree=119506364/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=183644 memory=103916 CPUtime=3.07 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 24246 0 0 0 300 7 0 0 20 0 3 0 4590965 188051456 25979 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 45911 25979 2806 3035 0 31101 0
[pid=31252/tid=31270] ppid=31249 vsize=183644 memory=0 CPUtime=0.66 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 6198 0 0 0 64 2 0 0 20 0 3 0 4591208 188051456 25979 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=183644 memory=98900 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4591211 188051456 25979 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 183644 KiB
Current children cumulated memory: 103916 KiB

[startup+6.31516 s]
/proc/loadavg: 4.14 4.25 4.14 5/248 31320
/proc/meminfo: memFree=119344644/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=154084 CPUtime=6.26 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 45297 0 0 0 615 11 0 0 20 0 3 0 4590965 257077248 38521 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 38521 2998 3035 0 44730 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=0 CPUtime=3.84 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 27224 0 0 0 378 6 0 0 20 0 3 0 4591208 257077248 38521 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=12132 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 38521 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 154084 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 4.26 4.14 5/244 31446
/proc/meminfo: memFree=118577332/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=175172 CPUtime=12.63 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 82216 0 0 0 1249 14 0 0 20 0 3 0 4590965 257077248 43793 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 43793 2998 3035 0 49646 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=0 CPUtime=10.21 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 64112 0 0 0 1012 9 0 0 20 0 3 0 4591208 257077248 43793 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=0 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 43793 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 175172 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.25 4.14 5/252 31461
/proc/meminfo: memFree=113866920/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=175824 CPUtime=25.39 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 120250 0 0 0 2521 18 0 0 20 0 3 0 4590965 257077248 43956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 43956 2998 3035 0 49646 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=289 CPUtime=22.96 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 102096 0 0 0 2284 12 0 0 20 0 3 0 4591208 257077248 43956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=0 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 43956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 175824 KiB

[startup+51.1138 s]
/proc/loadavg: 4.17 4.24 4.14 5/252 31466
/proc/meminfo: memFree=104190028/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=194356 CPUtime=50.92 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 154059 0 0 0 5071 21 0 0 20 0 3 0 4590965 257077248 48589 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 48589 2998 3035 0 53767 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=12132 CPUtime=48.49 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 135857 0 0 0 4834 15 0 0 20 0 3 0 4591208 257077248 48589 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=175172 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 48589 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 194356 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/252 31474
/proc/meminfo: memFree=103597772/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=201744 CPUtime=101.95 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 208777 0 0 0 10164 31 0 0 20 0 3 0 4590965 257077248 50436 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 50436 2998 3035 0 55553 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=201736 CPUtime=99.51 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 190515 0 0 0 9926 25 0 0 20 0 3 0 4591208 257077248 50436 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=201432 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 50436 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 201744 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/252 31485
/proc/meminfo: memFree=103582472/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=209980 CPUtime=161.75 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 249329 0 0 0 16135 40 0 0 20 0 3 0 4590965 257077248 52495 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 52495 2998 3035 0 57034 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=209228 CPUtime=159.31 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 231028 0 0 0 15897 34 0 0 20 0 3 0 4591208 257077248 52495 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=209216 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 52495 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 209980 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.13 5/252 31496
/proc/meminfo: memFree=103549412/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=251052 memory=218112 CPUtime=221.53 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 270057 0 0 0 22106 47 0 0 20 0 3 0 4590965 257077248 54528 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 62763 54528 2998 3035 0 58735 0
[pid=31252/tid=31270] ppid=31249 vsize=251052 memory=-7524225819037752700 CPUtime=219.08 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 251721 0 0 0 21867 41 0 0 20 0 3 0 4591208 257077248 54528 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=251052 memory=11968 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4591211 257077248 54528 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 218112 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/252 31506
/proc/meminfo: memFree=95826056/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=229952 CPUtime=281.33 cores=5,7

################
# More data... #
################

/proc/31252/statm: 79147 57488 3014 3035 0 60716 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=218196 CPUtime=278.89 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 263636 0 0 0 27841 48 0 0 20 0 3 0 4591208 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=12360 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 229952 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.13 5/250 31521
/proc/meminfo: memFree=84622412/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=229952 CPUtime=341.16 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 286417 0 0 0 34057 59 0 0 20 0 3 0 4590965 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 57488 3014 3035 0 61940 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=229952 CPUtime=338.7 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 268047 0 0 0 33818 52 0 0 20 0 3 0 4591208 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=229952 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 229952 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.18 4.14 5/251 31587
/proc/meminfo: memFree=112991612/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=229952 CPUtime=400.96 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 288341 0 0 0 40031 65 0 0 20 0 3 0 4590965 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 57488 3014 3035 0 61940 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=229952 CPUtime=398.5 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 269954 0 0 0 39792 58 0 0 20 0 3 0 4591208 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=229952 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 57488 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 229952 KiB

[startup+455.674 s]
# the end of solver process 31252 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=453.451 s, system=0.727549 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+409.6 s]
/proc/loadavg: 4.16 4.18 4.13 5/251 31589
/proc/meminfo: memFree=112987156/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=230664 CPUtime=408.24 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 288813 0 0 0 40758 66 0 0 20 0 3 0 4590965 324186112 57666 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 57666 3014 3035 0 61940 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=216720 CPUtime=405.78 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 270426 0 0 0 40519 59 0 0 20 0 3 0 4591208 324186112 57666 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=12132 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 57666 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 408.24 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 230664 KiB

[startup+435.2 s]
/proc/loadavg: 4.23 4.19 4.14 5/251 31593
/proc/meminfo: memFree=112951680/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=433.77 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 293713 0 0 0 43307 70 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=229952 CPUtime=431.29 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 275326 0 0 0 43067 62 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=33104 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 433.77 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+448 s]*
/proc/loadavg: 4.27 4.20 4.14 5/251 31595
/proc/meminfo: memFree=112951676/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=446.54 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 293746 0 0 0 44583 71 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=-6000919494147795820 CPUtime=444.07 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 275359 0 0 0 44344 63 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=11576 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 446.54 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+451.2 s]
/proc/loadavg: 4.25 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950812/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=449.71 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 294810 0 0 0 44900 71 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=247824 CPUtime=447.25 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 276406 0 0 0 44661 64 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=247824 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 449.71 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+452.8 s]
/proc/loadavg: 4.25 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950828/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=451.31 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 295023 0 0 0 45060 71 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=12132 CPUtime=448.84 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 276619 0 0 0 44820 64 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=247824 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 451.31 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+454.4 s]
/proc/loadavg: 4.25 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950736/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=452.91 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 295067 0 0 0 45219 72 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=247824 CPUtime=450.43 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 276663 0 0 0 44979 64 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=247824 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 452.91 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+455.2 s]
/proc/loadavg: 4.23 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950656/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247824 CPUtime=453.7 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 295222 0 0 0 45298 72 0 0 20 0 3 0 4590965 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61956 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=247824 CPUtime=451.22 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 276818 0 0 0 45058 64 0 0 20 0 3 0 4591208 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=11968 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61956 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 453.7 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247824 KiB

[startup+455.6 s]
/proc/loadavg: 4.23 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950656/131655788 swapFree=131071216/131071996
[pid=31252] ppid=31249 vsize=316588 memory=247876 CPUtime=454.1 cores=5,7
/proc/31252/stat : 31252 (fscip) S 31249 31252 29026 0 -1 1077936128 295679 0 0 0 45338 72 0 0 20 0 3 0 4590965 324186112 61969 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
/proc/31252/statm: 79147 61969 3014 3035 0 64780 0
[pid=31252/tid=31270] ppid=31249 vsize=316588 memory=5528 CPUtime=451.62 cores=5,7
/proc/31252/task/31270/stat : 31270 (fscip) R 31249 31252 29026 0 -1 4194368 277229 0 0 0 45098 64 0 0 20 0 3 0 4591208 324186112 61969 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
[pid=31252/tid=31271] ppid=31249 vsize=316588 memory=1832 CPUtime=0 cores=5,7
/proc/31252/task/31271/stat : 31271 (fscip) S 31249 31252 29026 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4591211 324186112 61969 134679101440 4194304 16623229 140721641826192 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48685056 140721641833494 140721641833610 140721641833610 140721641840624 0
Current children cumulated CPU time: 454.1 s
Current children cumulated vsize: 316588 KiB
Current children cumulated memory: 247876 KiB

Child status: 0

Real time (s): 455.674
CPU time (s): 454.178
CPU user time (s): 453.451
CPU system time (s): 0.727549
CPU usage (%): 99.6718
Max. virtual memory (cumulated for all children) (KiB): 316588
Max. memory (cumulated for all children) (KiB): 249548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.451
system time used= 0.727549
maximum resident set size= 249548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296503
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= 1418
involuntary context switches= 710


# summary of solver processes directly reported to runsolver:
#   pid: 31252
#   total CPU time (s): 454.178
#   total CPU user time (s): 453.451
#   total CPU system time (s): 0.727549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.38028 second user time and 4.5378 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-31 01:29:55
IDJOB=4464126
IDBENCH=148771
IDSOLVER=3092
FILE ID=nodeC003/4464126-1722382195
RUNJOBID= nodeC003-1722378594-29039
SLURM_JOB_ID= 8249833
Free space on /tmp= 723620 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.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-4464126-1722382195/watcher-4464126-1722382195 -o /tmp/evaluation-result-4464126-1722382195/solver-4464126-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29039 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464126-1722382195.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1367756045

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3658.599
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3551.846
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.305
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.205
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.176
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.371
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        115194984 kB
MemAvailable:   125506832 kB
Buffers:           89136 kB
Cached:         11048880 kB
SwapCached:           16 kB
Active:           343376 kB
Inactive:       15659320 kB
Active(anon):       1424 kB
Inactive(anon):  4884460 kB
Active(file):     341952 kB
Inactive(file): 10774860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             57264 kB
Writeback:            12 kB
AnonPages:       4864760 kB
Mapped:           122352 kB
Shmem:             21156 kB
KReclaimable:      70472 kB
Slab:             146748 kB
SReclaimable:      70472 kB
SUnreclaim:        76276 kB
KernelStack:        3952 kB
PageTables:        19116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3924652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6784 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3837952 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:      277320 kB
DirectMap2M:     6967296 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723624 MiB
End job on nodeC003 at 2024-07-31 01:37:31