Trace number 4434794

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-02OPT6 467.12 469.854

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: 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.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 37212160, getVmSize() = 37212160, SCIPgetMemUsed() = 12471005, SCIPgetMemTotal() = 15326021, SCIPgetMemExternEstim() = 6620541
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.39/1.44	c ** Estimated virtualMemUsedAtSolver = 49363908, getVmSize() = 90800128, SCIPgetMemUsed() = 46779937, SCIPgetMemTotal() = 67425321, SCIPgetMemExternEstim() = 6620541
1.39/1.44	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.39/1.44	c Original Problem   :
1.39/1.44	c   Problem name     : instance-4434794-1721119074
1.39/1.44	c   Variables        : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.44	c   Constraints      : 3433
1.39/1.44	c   Objective sense  : minimize
1.39/1.44	c Presolved Problem  :
1.39/1.44	c   Variables        : 2251 (2251 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.44	c   Constraints      : 819
1.39/1.44	c Constraints        : Number
1.39/1.44	c   knapsack         : 380 
1.39/1.44	c   setppc           : 60 
1.39/1.44	c   orbitope         : 379 
1.39/1.44	c ** Instance transfer method used: 0
1.39/1.45	c ** ParaScipInstance copy increased the number of variables. **
1.39/1.46	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.39/1.46	c                                Nodes    Active                                            
1.39/1.46	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.85/5.98	c         6            236         125         1                -           6.0000          -
10.89/11.09	c        11           1381         212         1                -           6.0000          -
15.93/16.14	c        16           2786         370         1                -           6.0000          -
20.89/21.17	c        21           4370         448         1                -           6.0000          -
25.92/26.22	c        26           5978         445         1                -           6.0000          -
30.87/31.27	c        31           7724         480         1                -           6.0000          -
35.92/36.31	c        36           9313         508         1                -           6.0000          -
40.86/41.37	c        41          11007         529         1                -           6.0000          -
45.90/46.42	c        46          13008         615         1                -           6.0000          -
50.86/51.47	c        51          14953         649         1                -           6.0000          -
55.90/56.52	c        57          16937         643         1                -           6.0000          -
60.85/61.57	c        62          18926         610         1                -           6.0000          -
65.89/66.62	c        67          21012         580         1                -           6.0000          -
70.84/71.68	c        72          23365         603         1                -           6.0000          -
75.88/76.72	c        77          25291         602         1                -           6.0000          -
80.83/81.79	c        82          26813         625         1                -           6.0000          -
85.87/86.84	c        87          28034         752         1                -           6.0000          -
90.82/91.89	c        92          29722         848         1                -           6.0000          -
95.87/96.94	c        97          31628         895         1                -           6.0000          -
100.91/102.02	c       102          33652         950         1                -           6.0000          -
105.85/107.06	c       107          35578        1097         1                -           6.0000          -
110.90/112.12	c       112          37329        1170         1                -           6.0000          -
115.85/117.16	c       117          39112        1183         1                -           6.0000          -
120.89/122.21	c       122          41057        1201         1                -           6.0000          -
125.84/127.26	c       127          42917        1184         1                -           6.0000          -
131.03/132.44	c       132          44829        1173         1                -           6.0000          -
136.00/137.48	c       137          46984        1184         1                -           6.0000          -
141.08/142.53	c       143          48951        1135         1                -           6.0000          -
146.06/147.58	c       148          50979        1160         1                -           6.0000          -
151.14/152.63	c       153          53210        1142         1                -           6.0000          -
156.12/157.68	c       158          55317        1168         1                -           6.0000          -
161.31/162.83	c       163          57289        1241         1                -           6.0000          -
166.29/167.88	c       168          59445        1239         1                -           6.0000          -
171.36/172.93	c       173          61535        1277         1                -           6.0000          -
176.34/177.99	c       178          63596        1272         1                -           6.0000          -
181.42/183.03	c       183          65452        1227         1                -           6.0000          -
186.41/188.08	c       188          67430        1202         1                -           6.0000          -
191.48/193.13	c       193          69634        1305         1                -           6.0000          -
196.56/198.22	c       198          71579        1277         1                -           6.0000          -
201.64/203.30	c       203          73767        1425         1                -           6.0000          -
206.63/208.35	c       208          75892        1493         1                -           6.0000          -
211.70/213.40	c       213          78141        1505         1                -           6.0000          -
216.68/218.46	c       218          80330        1575         1                -           6.0000          -
221.76/223.54	c       224          82210        1574         1                -           6.0000          -
226.74/228.58	c       229          84662        1601         1                -           6.0000          -
231.82/233.63	c       234          86826        1619         1                -           6.0000          -
236.80/238.69	c       239          88744        1597         1                -           6.0000          -
241.89/243.73	c       244          91078        1610         1                -           6.0000          -
246.86/248.79	c       249          93089        1626         1                -           6.0000          -
251.94/253.83	c       254          95283        1633         1                -           6.0000          -
256.92/258.88	c       259          97509        1677         1                -           6.0000          -
262.00/263.93	c       264          99661        1666         1                -           6.0000          -
266.98/268.98	c       269         101572        1737         1                -           6.0000          -
272.07/274.03	c       274         103596        1765         1                -           6.0000          -
277.05/279.08	c       279         105492        1809         1                -           6.0000          -
282.12/284.13	c       284         107178        1816         1                -           6.0000          -
287.19/289.21	c       289         108881        1832         1                -           6.0000          -
292.17/294.26	c       294         110636        1821         1                -           6.0000          -
297.25/299.32	c       299         112363        1832         1                -           6.0000          -
302.24/304.36	c       304         114169        1863         1                -           6.0000          -
307.31/309.41	c       309         115821        1842         1                -           6.0000          -
312.29/314.46	c       314         117375        1965         1                -           6.0000          -
317.37/319.51	c       320         119220        2062         1                -           6.0000          -
322.35/324.56	c       325         121116        2089         1                -           6.0000          -
327.42/329.61	c       330         123044        2093         1                -           6.0000          -
332.40/334.66	c       335         125009        2123         1                -           6.0000          -
337.48/339.72	c       340         126917        2182         1                -           6.0000          -
342.46/344.76	c       345         128650        2236         1                -           6.0000          -
347.55/349.82	c       350         130688        2281         1                -           6.0000          -
352.53/354.87	c       355         132360        2292         1                -           6.0000          -
357.61/359.91	c       360         134027        2300         1                -           6.0000          -
362.59/364.96	c       365         135905        2336         1                -           6.0000          -
367.68/370.01	c       370         137895        2321         1                -           6.0000          -
372.65/375.06	c       375         139892        2368         1                -           6.0000          -
377.74/380.11	c       380         141676        2425         1                -           6.0000          -
382.73/385.16	c       385         143451        2502         1                -           6.0000          -
387.80/390.22	c       390         145538        2517         1                -           6.0000          -
392.78/395.27	c       395         147216        2620         1                -           6.0000          -
397.86/400.32	c       400         149038        2658         1                -           6.0000          -
402.84/405.37	c       405         150701        2690         1                -           6.0000          -
407.93/410.42	c       410         152522        2691         1                -           6.0000          -
412.90/415.47	c       415         154038        2759         1                -           6.0000          -
417.98/420.54	c       421         155431        2882         1                -           6.0000          -
423.06/425.60	c       426         157011        2902         1                -           6.0000          -
428.04/430.64	c       431         158548        2909         1                -           6.0000          -
433.01/435.69	c       436         160150        2919         1                -           6.0000          -
438.09/440.74	c       441         161964        2952         1                -           6.0000          -
443.16/445.80	c       446         163678        2975         1                -           6.0000          -
448.15/450.84	c       451         165818        3043         1                -           6.0000          -
453.12/455.89	c       456         167569        3070         1                -           6.0000          -
458.19/460.96	c       461         168737        3121         1                -           6.0000          -
463.28/466.01	c       466         170372        3125         1                -           6.0000          -
467.05/469.80	c *     470         171371        3116         1           6.0000           6.0000      0.00%
467.05/469.80	c       470         171582           0         0           6.0000           6.0000      0.00%
467.05/469.85	c       470         171582           0         0           6.0000           6.0000          -
467.05/469.85	c SCIP Status        : c problem is solved
467.05/469.85	c Total Time         : 469.8400
467.05/469.85	c   solving          : 469.8400
467.05/469.85	c   presolving       : 1.4258 (included in solving)
467.05/469.85	c B&B Tree           :
467.05/469.85	c   nodes (total)    : 171582
467.05/469.85	c Solution           :
467.05/469.85	c   Solutions found  : 1
467.05/469.85	c   Primal Bound     : +6.00000000000000e+00
467.05/469.85	c   Dual Bound       : +6.00000000000000e+00
467.05/469.85	c Gap                : 0.00000 %
467.05/469.85	o 6
467.05/469.85	s OPTIMUM FOUND
467.05/469.85	v x2968 -x2987 -x2660 -x2680 -x2697 -x2707 -x2725 -x2745 -x2767 -x2789 -x2817 -x2460 -x2434 -x2531 -x2499 -x2576 -x2161 -x2187 -x2112 
467.05/469.85	v -x2133 -x1882 -x1902 -x1919 -x1856 -x1875 -x1979 -x2001 -x1936 -x1957 -x1730 -x1706 -x1679 -x1255 -x1234 -x1118 -x1103 -x1157 
467.05/469.85	v -x1139 -x1383 -x1366 -x1347 -x1414 -x1388 -x1297 -x1279 -x1335 -x1311 -x814 -x505 -x481 -x461 -x440 -x422 -x401 -x384 -x369 
467.05/469.85	v -x372 -x696 -x669 -x651 -x621 -x596 -x575 -x552 -x201 -x230 -x2688 -x2667 -x2726 -x2709 -x2764 -x2742 -x2809 -x2808 -x2779 
467.05/469.85	v -x2853 -x2834 -x2894 -x2873 -x2950 -x2557 -x2579 -x2597 -x2624 -x1912 -x1888 -x1870 -x1852 -x2006 -x1986 -x1968 -x1952 -x1928 
467.05/469.85	v -x2087 -x2068 -x2041 -x908 -x1058 -x1082 -x1096 -x1789 -x1812 -x1835 -x1669 x2230 -x2609 -x2641 -x2564 -x681 -x656 -x637 
467.05/469.85	v -x421 -x1321 -x1384 -x1361 -x1431 -x2152 -x2116 -x2096 -x2076 -x601 -x533 -x560 -x168 -x147 -x127 -x102 -x73 -x1575 -x1540 -x1508 
467.05/469.85	v -x1477 -x1453 -x2143 x2166 -x2104 -x2323 -x2418 -x2391 -x2246 -x2214 -x2302 -x2269 -x2906 -x303 -x80 -x57 -x38 -x11 -x158 
467.05/469.85	v -x139 -x118 -x1018 -x1095 -x1073 -x736 -x714 -x784 -x760 -x824 -x1580 -x1504 -x1535 -x1439 -x1466 -x1811 -x1833 -x1764 -x16 
467.05/469.85	v -x46 -x64 -x86 -x111 -x117 -x138 -x160 -x205 -x232 -x252 -x279 -x300 -x321 -x343 -x364 -x381 -x366 -x419 -x398 -x462 -x473 -x452 
467.05/469.85	v -x513 -x495 -x556 -x535 -x602 -x576 -x646 -x622 -x698 -x671 -x2385 -x2413 -x2312 -x2346 -x2273 -x2300 -x2211 -x2247 -x2598 
467.05/469.85	v -x2628 -x2549 -x2574 -x2488 -x2520 -x2436 -x2462 -x2815 -x2790 -x2770 -x2750 -x2730 -x2719 -x2701 -x2675 -x2658 -x2985 -x2965 
467.05/469.85	v -x2945 -x2924 -x2898 -x2874 -x699 -x672 -x2386 -x2414 -x2313 -x2347 -x2274 -x2301 -x2212 -x2248 -x2599 -x2629 -x2550 -x2575 
467.05/469.85	v -x2489 -x2521 -x2437 -x2463 -x2816 -x2791 -x2771 -x2751 -x2731 -x2720 -x2702 -x2676 -x2659 -x2986 -x2966 -x2946 -x2925 -x2899 
467.05/469.85	v -x2875 -x2854 -x2836 -x1557 -x1584 -x1601 -x1647 -x1448 -x1483 -x1509 -x1538 -x1755 -x1778 -x1803 -x1825 -x1659 -x1685 -x1710 
467.05/469.85	v -x1734 -x1960 -x1938 -x1999 -x1995 -x1973 -x1857 -x1845 -x1903 -x1880 -x2135 -x2110 -x2178 -x2156 -x2900 -x2876 -x2855 -x2837 
467.05/469.85	v -x1558 -x1585 -x1602 -x1648 -x1449 -x1484 -x1510 -x1539 -x1756 -x1779 -x1804 -x1826 -x1660 -x1686 -x1711 -x1735 -x1961 
467.05/469.85	v -x1939 -x2000 -x1996 -x1974 -x1858 -x1846 -x1904 -x1881 -x2136 -x2111 -x2179 -x2157 -x2046 -x2026 -x2088 -x2070 -x987 -x961 -x909 
467.05/469.85	v -x881 -x1083 -x1059 -x1030 -x1009 -x791 -x771 -x753 -x734 -x866 -x842 -x825 -x808 -x1312 -x1333 -x1339 -x1280 -x1299 -x1405 
467.05/469.85	v -x1426 -x1362 -x1385 -x1140 -x1161 -x2180 -x2158 -x2047 -x2027 -x2089 -x2071 -x988 -x962 -x910 -x882 -x1084 -x1060 -x1031 
467.05/469.85	v -x1010 -x792 -x772 -x754 -x735 -x867 -x843 -x826 -x809 -x1313 -x1334 -x1340 -x1281 -x1300 -x1406 -x1427 -x1363 -x1386 -x1141 
467.05/469.85	v -x1162 -x1107 -x1122 -x1223 -x1248 -x1180 -x1202 -x224 -x187 -x269 -x243 -x305 -x286 -x352 -x325 -x50 -x20 -x87 -x67 -x131 -x112 
467.05/469.85	v -x171 -x150 -x526 -x545 -x565 -x589 -x610 -x632 -x653 -x682 -x706 -x1142 -x1163 -x1108 -x1123 -x1224 -x1249 -x1181 -x1203 
467.05/469.85	v -x225 -x188 -x270 -x244 -x306 -x287 -x353 -x326 -x51 -x21 -x88 -x68 -x132 -x113 -x172 -x151 -x527 -x546 -x566 -x590 -x611 -x633 
467.05/469.85	v -x654 -x683 -x707 -x367 -x382 -x396 -x416 -x443 -x463 -x488 -x509 -x2642 -x2610 -x2587 -x2565 -x2547 -x2515 -x2479 -x2454 
467.05/469.85	v -x2408 -x2378 -x2352 -x2315 -x2282 -x2257 -x2222 -x2190 -x2217 -x2959 -x2977 -x2908 -x2936 -x2867 -x2889 -x684 -x708 -x368 
467.05/469.85	v -x383 -x397 -x417 -x444 -x464 -x489 -x510 -x2643 -x2611 -x2588 -x2566 -x2548 -x2516 -x2480 -x2455 -x2409 -x2379 -x2353 -x2316 
467.05/469.85	v -x2283 -x2258 -x2223 -x2191 -x2218 -x2960 -x2978 -x2909 -x2937 -x2868 -x2890 -x2827 -x2842 -x2796 -x2818 -x2746 -x2773 -x2704 
467.05/469.85	v -x2722 -x2664 -x2677 -x1790 -x1766 -x1836 -x1810 -x1696 -x1672 -x1740 -x1720 -x1577 -x1551 -x1629 -x1603 -x1475 -x1445 -x1532 
467.05/469.85	v -x1541 x1512 -x2098 -x2126 -x2150 -x2174 -x2786 -x2689 -x2655 -x2710 -x598 -x537 -x559 -x691 -x103 -x1270 -x1288 x1310 -x813 
467.05/469.85	v -x875 -x851 -x2162 -x1565 -x1523 -x1498 -x1463 -x2305 -x2404 -x2375 -x2236 -x94 -x284 -x255 -x229 x803 -x865 -x839 -x923 -x1791 
467.05/469.85	v -x1716 -x1743 -x1668 -x2585 -x2618 -x2644 -x2456 -x447 -x239 -x266 -x196 -x1179 -x1262 -x1240 -x879 -x2271 -x2295 -x2207 
467.05/469.85	v -x2240 -x2394 -x2423 -x2337 -x2368 -x2934 -x2907 -x700 -x674 -x645 -x619 -x592 -x574 -x72 -x92 -x26 x45 -x1368 -x1350 -x1410 
467.05/469.85	v -x1390 -x853 -x873 -x727 -x751 -x777 -x796 -x2091 -x2064 -x1491 -x1528 -x1437 -x1464 -x1613 -x1625 -x1560 -x1583 -x2617 -x2645 
467.05/469.85	v -x2201 -x2234 -x2261 -x2289 -x2314 -x2345 -x871 -x730 -x756 -x775 -x793 -x1001 -x1019 -x1045 -x1074 -x1099 -x895 -x925 -x949 
467.05/469.85	v -x980 -x1204 -x1183 -x174 -x114 -x135 -x69 -x90 -x22 -x40 -x36 -x341 -x362 -x299 -x316 -x256 -x282 -x204 -x223 -x528 -x2192 
467.05/469.85	v -x2219 -x2259 -x2280 -x2317 -x2348 -x2380 -x2389 -x2420 -x2440 -x2471 -x2503 -x2528 -x2551 -x2577 -x2917 -x2993 -x2969 -x1502 
467.05/469.85	v -x1530 -x1440 -x1473 -x1608 -x1628 -x1646 -x1574 -x1598 -x1701 -x1728 -x1653 x1682 -x2020 -x2185 -x2160 -x2128 -x2107 -x2263 
467.05/469.85	v -x2290 -x2200 -x2235 -x2371 -x2395 -x2430 -x2331 -x2361 -x2496 -x2519 -x2877 -x2851 -x2835 -x2988 -x2964 -x2943 -x2919 -x1436 
467.05/469.85	v -x1465 -x1499 -x1529 -x1546 -x1566 -x1591 -x1618 -x1641 -x189 x991 -x1821 -x2526 -x153 -x555 -x1184 -x544 -x267 x1090 -x1742 
467.05/469.85	v -x1934 -x14 -x715 -x2086 x2903 -x435 -x1171 -x1505 -x1536 x1444 -x1469 -x1958 -x1940 -x1920 -x1895 -x2772 -x2748 -x2822 
467.05/469.85	v -x2793 -x663 -x638 -x418 -x395 -x1373 -x1355 -x1422 -x1396 -x1935 -x1949 -x1883 -x1908 -x49 -x17 -x746 -x726 -x850 -x874 -x148 
467.05/469.85	v -x169 -x557 -x536 x2941 -x2920 -x23 -x170 -x154 -x130 -x107 -x2422 -x2393 -x2357 -x2982 -x2915 -x2940 -x2862 -x2884 -x2823 
467.05/469.85	v -x2843 -x1590 -x1901 -x2093 x2114 -x2141 -x2165 -x2018 -x2037 -x2061 -x1266 -x1192 -x1205 -x1326 -x1342 -x1287 -x1303 -x1398 
467.05/469.85	v -x429 -x451 -x477 -x490 -x511 -x539 -x561 -x580 -x2954 -x2935 -x2910 -x2891 -x2871 -x2858 -x2838 -x2804 x2879 -x2902 -x2921 -x2942 
467.05/469.85	v -x2938 -x2962 -x2983 -x2661 -x666 -x694 -x614 -x640 -x578 -x581 -x605 -x542 -x47 -x27 -x1352 -x1372 -x1392 -x1416 -x1424 
467.05/469.85	v -x1282 -x750 -x729 -x789 -x773 -x1914 -x1891 -x1869 -x1865 -x1654 -x1678 -x1805 -x1828 -x1758 -x1780 -x2690 -x2668 -x2432 -x2473 
467.05/469.85	v -x2500 -x2532 -x2553 -x2573 -x2601 -x2627 x833 -x854 -x876 -x880 -x907 -x939 -x971 -x1004 -x48 -x149 -x167 -x104 -x128 
467.05/469.85	v -x240 -x263 -x179 -x2341 -x2370 -x2401 -x2199 -x2229 -x2262 -x2291 -x2571 -x2882 -x1614 -x1635 -x1561 -x1586 -x1497 -x1524 -x1438 
467.05/469.85	v -x2062 -x2038 -x2021 -x924 -x897 -x983 -x952 -x1046 -x1173 -x1190 -x1207 -x1231 -x1254 -x281 -x251 -x233 -x1316 -x1291 -x1276 
467.05/469.85	v -x1411 -x2121 x2132 -x2108 -x2181 -x2691 -x2669 -x2651 -x2994 -x938 -x968 -x878 -x902 -x329 -x347 -x194 -x219 -x2511 -x2544 
467.05/469.85	v -x2451 -x2483 -x1889 -x1913 -x1853 -x1868 -x1987 -x2007 -x1943 -x1929 -x1170 -x1149 -x1371 -x1351 -x1417 -x1391 -x1289 -x1271 
467.05/469.85	v -x428 -x410 x394 -x379 -x692 -x667 -x642 -x615 -x2711 -x2692 -x2752 -x2732 -x2802 -x2776 -x2861 -x2841 -x1909 -x1884 -x1864 
467.05/469.85	v -x1844 -x1993 -x1975 -x1956 -x1932 -x1763 -x1784 -x1516 -x1544 -x1454 -x1478 -x1622 -x1650 -x591 -x613 -x629 -x655 -x2349 
467.05/469.85	v -x2306 -x2405 -x2376 -x1698 -x1673 -x1633 -x1610 x1026 -x1002 -x1076 -x1064 -x208 -x181 -x361 -x338 -x2332 -x2369 -x2392 -x2424 
467.05/469.85	v -x2060 -x2961 -x584 -x861 x1719 -x2614 -x28 -x2973 -x1915 -x1253 -x427 x2963 -x517 -x497 -x2768 -x2743 -x2820 -x2798 -x2684 
467.05/469.85	v -x2663 -x2441 -x2467 -x2504 -x2522 -x1998 -x1980 -x1962 -x1937 -x1757 -x1781 -x1702 -x1723 -x1661 -x1689 -x1124 -x1109 -x896 
467.05/469.85	v -x922 -x951 -x981 -x1020 -x1043 -x1067 x1094 -x93 -x119 -x253 -x280 -x206 -x231 -x344 -x365 -x2487 -x2458 -x2540 -x2517 -x2339 
467.05/469.85	v -x2307 -x2406 -x2381 -x1814 -x2703 -x2621 -x2586 -x333 -x213 -x1051 -x1024 -x1818 -x1459 x2631 -x2558 -x2478 -x2507 -x2537 
467.05/469.85	v x2311 -x1782 -x1721 -x1747 -x1675 -x918 -x940 -x973 -x1003 -x448 -x237 -x260 -x180 -x2535 -x2439 -x2465 -x2821 -x1827 -x1658 
467.05/469.85	v -x1683 -x1713 -x2681 -x2794 -x2775 -x2800 -x2735 -x2755 -x307 -x285 -x355 -x330 -x210 -x185 -x257 -x235 -x133 -x105 -x175 
467.05/469.85	v -x156 -x39 -x12 -x81 -x58 -x634 -x662 -x679 -x703 -x538 -x562 -x588 -x606 -x446 -x467 -x484 -x507 -x518 -x377 -x390 -x411 -x430 
467.05/469.85	v -x1085 -x1054 -x1038 -x996 -x975 -x942 -x915 -x891 -x868 -x844 -x828 -x804 -x785 -x763 -x737 -x717 -x1407 -x1432 -x1358 -x1374 
467.05/469.85	v -x1324 -x1343 -x1285 -x1305 -x1227 -x468 -x485 -x508 -x519 -x378 -x391 -x412 -x431 -x1086 -x1055 -x1039 -x997 -x976 -x943 
467.05/469.85	v -x916 -x892 -x869 -x845 -x829 -x805 -x786 -x764 -x738 -x718 -x1408 -x1433 -x1359 -x1375 -x1325 -x1344 -x1286 -x1306 -x1228 
467.05/469.85	v -x1250 -x1177 -x1199 -x1219 -x1145 -x1167 -x1112 -x1130 -x1450 -x1479 -x1513 -x1547 -x1569 -x1592 -x1619 -x1642 -x1662 -x1690 
467.05/469.85	v -x1717 -x1738 -x1768 -x1792 -x1815 -x1838 -x1860 -x1841 -x1910 -x1885 -x1950 -x1922 -x1988 -x1307 -x1229 -x1251 -x1178 -x1200 
467.05/469.85	v -x1220 -x1146 -x1168 -x1113 -x1131 -x1451 -x1480 -x1514 -x1548 -x1570 -x1593 -x1620 -x1643 -x1663 -x1691 -x1718 -x1739 -x1769 
467.05/469.85	v -x1793 -x1816 -x1839 -x1861 -x1842 -x1911 -x1886 -x1951 -x1923 -x1989 -x1970 -x2044 -x2028 -x2010 -x2077 -x2054 -x2117 -x2099 
467.05/469.85	v -x2167 -x2145 -x2275 -x2296 -x2204 -x2237 -x2396 -x2425 -x2334 -x2365 -x2490 -x2545 -x2452 -x2484 -x2615 -x2639 -x2567 -x2591 
467.05/469.85	v -x2717 -x2693 -x2672 -x2652 -x2805 -x1924 -x1990 -x1971 -x2045 -x2029 -x2011 -x2078 -x2055 -x2118 -x2100 -x2168 -x2146 
467.05/469.85	v -x2276 -x2297 -x2205 -x2238 -x2397 -x2426 -x2335 -x2366 -x2491 -x2546 -x2453 -x2485 -x2616 -x2640 -x2568 -x2592 -x2718 -x2694 
467.05/469.85	v -x2673 -x2653 -x2806 -x2780 -x2756 -x2736 -x2896 -x2887 -x2864 -x2846 -x2831 -x2979 -x2955 -x2930 -x2911 -x99 -x124 -x143 -x161 
467.05/469.85	v -x2 -x29 -x54 -x75 -x289 -x308 -x323 -x350 -x190 -x215 -x241 -x271 -x478 -x456 -x523 -x2654 -x2807 -x2781 -x2757 -x2737 -x2897 
467.05/469.85	v -x2888 -x2865 -x2847 -x2832 -x2980 -x2956 -x2931 -x2912 -x100 -x125 -x144 -x162 -x3 -x30 -x55 -x76 -x290 -x309 -x324 -x351 
467.05/469.85	v -x191 -x216 -x242 -x272 -x479 -x457 -x524 -x498 -x387 -x373 -x425 -x405 -x403 -x657 -x630 -x704 -x677 -x567 -x547 -x607 -x585 
467.05/469.85	v -x836 -x857 -x800 -x820 -x769 -x787 -x724 -x747 -x1062 -x1091 -x1006 -x1036 -x936 -x966 -x883 -x911 -x1258 -x458 -x525 -x499 
467.05/469.85	v -x388 -x374 -x426 -x406 -x404 -x658 -x631 -x705 -x678 -x568 -x548 -x608 -x587 -x837 -x860 -x801 -x822 -x770 -x788 -x725 
467.05/469.85	v -x748 -x1063 -x1093 -x1008 -x1037 -x937 -x967 -x884 -x912 -x1259 -x1235 -x1213 -x1187 -x1176 -x1154 -x1135 -x1121 -x1105 -x1425 
467.05/469.85	v -x1404 -x1378 -x1357 -x1341 -x1323 -x1309 -x1284 -x2090 -x2069 x2049 -x2025 -x2177 -x2159 -x2124 -x2095 -x1917 -x1892 -x1871 
467.05/469.85	v -x1854 -x2005 -x1982 -x1959 -x1674 -x1697 -x1808 -x1831 -x1760 -x1786 -x1899 -x1879 -x1862 -x1843 -x1997 -x1976 -x1954 -x1931 
467.05/469.85	v -x2083 -x2059 -x1005 -x1028 -x1047 -x1081 -x888 -x914 -x947 -x964 -x1215 -x1196 -x1267 -x1244 -x1133 -x1115 -x1169 -x1144 
467.05/469.85	v -x18 -x44 -x339 -x360 -x297 -x313 -x234 -x259 -x192 -x217 -x516 -x493 -x470 -x450 -x437 -x414 -x2562 -x2561 -x2630 -x2602 -x2245 
467.05/469.85	v -x2203 -x2299 -x2268 -x2360 -x2327 -x2416 -x2388 -x2826 -x2849 -x2866 -x2885 -x1671 -x1834 -x1824 -x1801 -x1773 -x1749 -x1545 
467.05/469.85	v -x1517 -x1488 -x1462 -x1652 -x1623 -x1597 -x1573 -x2053 -x2081 -x1012 -x1092 -x1061 -x1069 -x931 -x901 -x986 -x963 -x819 
467.05/469.85	v -x799 -x862 -x838 -x742 x722 -x778 -x761 -x1148 x1007 -x1035 -x1070 -x2470 -x2506 -x2534 -x2763 -x1777 -x1705 -x1725 -x1657 
467.05/469.85	v -x926 -x950 -x982 -x1021 -x121 -x254 -x283 -x207 -x2459 -x2541 -x2513 -x2342 -x1848 -x1863 -x1887 -x1907 -x1927 -x1953 -x1969 
467.05/469.85	v -x1991 -x2013 -x2032 -x2052 -x2080 -x2103 -x2125 -x2144 -x2170 -x1840 -x1807 -x1421 -x1395 -x1376 -x1354 -x1345 -x1327 -x1304 
467.05/469.85	v -x1272 -x1263 -x1243 -x1221 -x1195 -x1172 -x1150 -x759 -x782 -x723 -x745 -x664 -x639 x713 -x690 -x563 -x540 -x599 -x579 -x469 
467.05/469.85	v -x449 -x515 -x492 -x140 -x159 -x10 -x32 -x53 -x74 -x2883 -x2863 -x2844 -x2824 -x2984 -x2967 -x2944 -x2918 -x2714 -x2700 -x2272 
467.05/469.85	v -x2304 -x2210 -x2250 -x2400 -x2428 -x2330 -x2363 -x2036 -x2019 -x2082 -x2058 -x2134 -x2113 -x2188 -x2163 -x1802 -x1829 
467.05/469.85	v -x1455 -x1482 -x1511 -x1542 -x1568 -x1596 -x1617 -x1640 -x19 -x43 -x66 -x79 -x98 -x122 -x2665 -x2687 -x2792 -x2819 -x356 -x337 
467.05/469.85	v -x315 -x296 -x1160 x1174 -x1023 -x995 -x2004 -x1946 -x1926 -x1948 -x2728 -x2738 -x2761 -x2758 -x665 -x644 -x618 -x597 -x2131 
467.05/469.85	v -x2123 -x2149 -x2175 -x1367 -x1319 -x1320 -x1338 -x650 -x673 -x695 -x711 -x65 -x2724 -x2706 -x2683 -x2637 -x2560 -x2584 -x1876 
467.05/469.85	v -x1733 -x1751 x1771 -x1800 -x2015 -x2031 -x2148 -x2176 -x1216 -x1198 -x1264 -x1241 -x193 -x214 x520 -x496 -x2563 -x2590 -x2613 
467.05/469.85	v -x2646 -x1667 -x1694 -x1817 -x1837 -x2072 -x2050 -x2034 -x2017 -x222 -x203 -x274 -x246 -x445 -x472 -x494 -x514 -x380 -x389 
467.05/469.85	v -x415 -x436 -x617 -x652 -x670 -x697 -x1044 -x1017 -x990 -x960 -x928 -x899 -x1246 -x1265 -x1194 -x1218 -x1147 -x1164 -x1114 
467.05/469.85	v -x1134 -x1389 -x1415 -x1442 -x1472 -x1507 -x1534 -x1556 -x1581 -x1605 -x1651 -x2035 -x2016 -x2073 -x2051 -x2122 -x2097 -x2173 
467.05/469.85	v -x2139 -x2572 -x2595 -x2253 -x2279 -x2193 -x2225 -x2384 -x2415 -x2326 -x2359 -x2892 -x2870 -x2848 -x2830 -x2975 -x2952 -x195 
467.05/469.85	v -x209 -x238 -x262 -x109 -x136 -x152 -x173 -x25 -x33 -x61 -x82 -x660 -x626 -x712 -x685 -x1011 -x1034 -x941 -x970 -x889 -x921 
467.05/469.85	v -x849 -x872 -x810 -x827 -x758 -x781 -x721 -x741 -x1428 x1402 -x1298 -x554 -x2856 -x2043 -x354 x1087 -x2916 -x123 -x818 -x2033 
467.05/469.85	v x2929 -x569 -x2739 -x2760 -x2788 -x2814 -x2472 -x2443 -x2533 -x2505 -x1849 -x1873 -x1981 -x2003 -x1947 -x1967 -x1726 -x1704 
467.05/469.85	v -x1191 -x1210 -x1232 -x1257 -x1102 -x1117 x1138 -x1156 -x531 -x553 -x500 -x504 -x439 -x460 -x400 -x423 -x2429 -x2399 -x2364 
467.05/469.85	v -x2329 -x2542 -x2512 -x2486 -x2457 -x1550 -x1518 -x1595 -x1567 -x1639 -x1616 -x1693 -x1670 -x2589 -x2514 -x2527 -x2433 -x218 
467.05/469.85	v -x245 -x268 -x304 -x491 x935 -x965 -x885 -x1242 -x1217 -x1193 -x2727 -x2469 -x2600 -x2626 -x2552 -x1684 -x1703 -x1724 -x1754 
467.05/469.85	v -x1994 -x1572 -x2216 -x97 x1301 -x1930 -x675 -x1387 -x1627 -x2407 x346 -x1068 -x2266 -x2362 -x2333 -x2431 -x1519 -x1487 -x1461 
467.05/469.85	v -x1638 -x2115 -x821 -x802 -x859 -x1302 -x1328 x1346 -x166 -x641 -x583 -x603 -x541 -x340 -x317 -x295 -x261 x2989 -x2186 -x1420 
467.05/469.85	v -x693 -x2953 -x2151 -x2109 -x2120 -x1890 -x1916 -x1275 -x1296 -x1322 -x1336 -x625 -x649 x572 -x612 -x2682 -x2662 -x2723 -x2708 
467.05/469.85	v -x2608 -x2632 -x1918 -x1896 -x1797 -x1820 -x1748 -x1772 -x2358 -x2270 -x2303 x2215 -x2242 -x2607 -x2636 -x2556 -x2583 -x2495 
467.05/469.85	v -x2525 -x2435 -x2481 -x2799 -x2774 -x2754 -x2734 -x2716 -x2699 -x2679 -x2656 -x2992 -x2972 -x2949 -x2923 -x2901 -x2878 
467.05/469.85	v -x2852 -x2850 -x2829 -x13 -x35 -x60 -x84 -x96 -x116 -x142 -x165 -x199 -x228 -x250 -x276 -x302 -x320 -x328 -x349 -x393 -x376 -x434 
467.05/469.85	v -x409 -x476 -x454 -x522 -x502 -x551 -x530 -x595 -x571 -x648 -x624 -x628 -x710 -x689 -x768 -x34 -x59 -x83 -x95 -x115 -x141 
467.05/469.85	v -x164 -x198 -x227 -x249 -x275 -x301 -x319 -x327 -x348 -x392 -x375 -x433 -x408 -x475 -x453 -x521 -x501 -x550 -x529 -x594 -x570 
467.05/469.85	v -x647 -x623 -x627 -x709 -x688 -x767 -x780 -x720 -x740 -x841 -x864 -x798 -x817 -x959 -x985 -x906 -x934 -x1066 -x1089 -x1014 
467.05/469.85	v -x1033 -x1166 -x1153 -x1129 -x1111 -x1269 -x1237 -x1212 -x1189 -x1332 -x1318 -x1295 -x1278 -x1413 -x1430 -x1401 -x1382 -x687 
467.05/469.85	v -x766 -x779 -x719 -x739 -x840 -x863 -x797 -x816 -x958 -x984 -x905 -x933 -x1065 -x1088 -x1013 -x1032 -x1165 -x1152 -x1128 -x1110 
467.05/469.85	v -x1268 -x1236 -x1211 -x1188 -x1331 -x1317 -x1294 -x1277 -x1412 -x1429 -x1400 -x1381 -x1365 -x2905 -x2881 -x2860 -x2840 -x2991 
467.05/469.85	v -x2971 -x2948 -x2928 -x2713 -x2696 -x2671 -x2649 -x2810 -x2783 -x2765 -x2740 -x2501 -x2529 -x2444 -x2474 -x2604 -x2633 -x2554 
467.05/469.85	v -x2581 -x2264 -x2293 -x2208 -x2243 -x2231 -x2372 -x1399 -x1379 -x1364 -x2904 -x2880 -x2859 -x2839 -x2990 -x2970 -x2947 
467.05/469.85	v -x2927 -x2712 -x2695 -x2670 -x2650 -x2811 -x2784 -x2766 -x2741 -x2502 -x2530 -x2445 -x2475 -x2605 -x2634 -x2555 -x2582 -x2265 
467.05/469.85	v -x2294 -x2209 -x2244 -x2232 -x2373 -x2402 -x2308 -x2343 -x2039 -x2022 -x2084 -x2066 -x2129 -x2105 -x2183 -x2153 -x1866 -x1850 
467.05/469.85	v -x1905 -x1893 -x1964 -x1944 -x2008 -x1984 -x1655 -x1680 -x1707 -x1731 -x1752 -x1775 -x1794 -x1822 -x1456 -x1485 -x1520 -x1492 
467.05/469.85	v -x2233 -x2374 -x2403 -x2309 -x2344 -x2040 -x2023 -x2085 -x2067 -x2130 -x2106 -x2184 -x2154 -x1867 -x1851 -x1906 -x1894 -x1965 
467.05/469.85	v -x1945 -x2009 -x1985 -x1656 -x1681 -x1708 -x1732 -x1753 -x1776 -x1795 -x1823 -x1457 -x1486 -x1521 -x1493 -x1525 -x1563 -x1587 
467.05/469.85	v -x1611 -x1636 -x1418 -x1393 -x1369 -x1348 -x1329 -x1314 -x1292 -x1273 -x1260 -x1238 -x1208 -x1185 -x1158 -x1136 -x1119 -x1100 
467.05/469.85	v -x1071 -x1097 -x1015 -x1041 -x956 -x992 -x903 -x929 -x834 -x855 -x1522 -x1494 -x1526 -x1564 -x1588 -x1612 -x1637 -x1419 
467.05/469.85	v -x1394 -x1370 -x1349 -x1330 -x1315 -x1293 -x1274 -x1261 -x1239 -x1209 -x1186 -x1159 -x1137 -x1120 -x1101 -x1072 -x1098 -x1016 
467.05/469.85	v -x1042 -x957 -x993 -x904 -x930 -x835 -x856 -x877 -x812 -x832 -x774 -x790 -x728 -x749 -x643 -x620 -x701 -x676 -x549 -x532 -x593 
467.05/469.85	v -x573 -x480 -x438 -x506 -x483 -x385 -x370 -x420 -x399 -x298 -x322 -x342 -x363 -x197 -x220 -x248 -x277 -x2508 x2338 -x466 
467.05/469.85	v -x486 -x1125 -x1225 -x1963 -x1977 -x1709 -x2797 -x2497 -x2461 -x2813 -x2782 -x2442 -x2468 -x2002 -x1983 -x1966 x1942 -x1256 -x1233 
467.05/469.85	v -x1116 -x1104 -x503 -x482 -x459 -x441 -x1290 -x1283 -x1252 -x1226 -x558 -x534 -x604 -x582 -x2127 -x1025 -x994 -x1080 -x1052 
467.05/469.85	v -x920 -x890 -x969 -x1126 -x1151 -x1175 -x357 -x335 -x312 -x292 -x264 -x474 -x407 -x432 -x371 -x386 -x2477 -x2448 -x2536 
467.05/469.85	v -x2678 -x2698 -x2715 -x2733 -x2759 -x2778 x2803 -x1744 -x2137 -x1877 -x1900 -x1847 -x1859 -x1972 -x1992 -x1925 -x1106 -x1155 
467.05/469.85	v -x1143 -x1377 -x1356 -x1434 -x1397 -x1308 -x2354 -x2318 -x2539 -x2509 -x2476 -x2449 -x2446 -x2625 -x1578 -x1552 -x1630 -x1604 
467.05/469.85	v -x1700 -x1676 -x1745 -x1729 -x830 -x811 -x794 x776 -x752 -x731 -x1079 -x1053 -x129 -x108 -x176 -x155 -x41 -x24 -x85 -x63 -x577 
467.05/469.85	v -x600 -x2492 -x2523 -x2438 -x2464 -x2603 -x2638 -x2812 -x2785 -x2762 -x2744 -x1664 -x1687 -x1712 -x1736 -x1468 -x1495 -x1527 
467.05/469.85	v -x1765 -x686 -x564 -x543 -x609 -x1403 -x1380 -x1360 -x1337 -x2048 x2030 -x2014 -x2074 -x1606 -x1632 -x1645 -x2886 -x2382 -x2411 
467.05/469.85	v -x2320 -x2324 -x846 x755 -x733 -x795 -x765 -x2057 -x2075 -x2012 -x1500 -x1470 -x1443 -x1631 -x1607 -x1599 -x1576 -x2828 
467.05/469.85	v -x2622 -x2224 -x2198 -x2278 -x2252 -x2355 -x2325 -x2419 -x2596 -x2620 -x2647 -x2195 -x2220 -x2255 -x2287 -x2328 -x1699 -x1809 
467.05/469.85	v -x1832 -x1759 -x1785 -x1503 -x1533 -x1446 -x1029 -x1049 -x1078 -x894 -x919 -x946 -x979 -x807 -x1799 -x1490 -x1460 -x1543 -x953 
467.05/469.85	v -x927 -x900 -x858 x345 -x221 -x202 -x273 -x2281 -x2197 -x2226 -x2383 -x2922 -x1441 -x1471 -x1506 -x2172 -x2182 -x2155 -x848 
467.05/469.85	v -x2417 -x2387 -x2221 -x2189 -x1649 -x1624 x1582 -x1559 -x1409 -x1435 -x744 -x732 -x680 -x702 -x636 -x661 -x2340 -x2310 -x2288 
467.05/469.85	v -x2260 -x1589 -x1562 -x1634 -x1615 -x1750 -x1819 -x1796 -x1688 -x1666 -x1737 -x1714 -x1600 -x2686 -x2635 -x2606 -x2578 -x2559 
467.05/469.85	v -x2524 -x2494 x2466 -x471 -x487 -x512 -x226 -x200 -x278 -x247 -x318 -x1127 -x1245 -x1247 -x1182 -x1201 -x989 -x954 -x932 
467.05/469.85	v -x2102 -x2171 -x2142 -x2042 -x2024 -x2092 -x2065 -x1554 -x2666 -x2976 -x2958 -x2933 -x2926 -x2895 -x2872 -x2857 -x110 -x178 
467.05/469.85	v -x2580 -x2498 -x1774 -x1798 -x815 -x955 -x120 -x146 -x2063 x2138 -x616 -x1353 -x1941 -x2747 x972 -x265 -x310 -x288 -x91 -x77 
467.05/469.85	v -x56 -x31 -x5 -x163 -x145 -x126 -x101 -x2913 -x2932 -x2957 -x2981 -x2833 -x2482 -x2450 -x2543 -x2518 -x2493 -x2367 -x2336 -x2427 
467.05/469.85	v -x2398 -x2239 -x2206 -x2298 -x2277 -x2147 -x2169 -x2101 -x1788 -x1770 -x1741 -x1715 -x1695 -x1692 -x1665 x1644 -x1621 -x1594 
467.05/469.85	v -x1571 -x1549 -x1515 -x1481 -x1452 -x1132 -x716 -x743 -x762 -x783 -x806 -x823 -x831 -x847 -x870 -x893 -x917 -x944 -x977 -x998 
467.05/469.85	v -x1040 -x1056 -x659 -x635 -x62 -x78 -x15 -x37 -x137 -x157 -x177 -x106 -x134 -x236 -x258 -x186 -x211 -x331 -x2845 -x2825 
467.05/469.85	v -x2893 -x2869 -x2322 -x2356 -x2390 -x2421 -x2410 -x2196 -x2227 -x2251 -x2284 -x2569 -x2594 -x2623 -x2648 -x2619 -x2593 -x2570 
467.05/469.85	v -x2285 -x2256 -x2249 -x2213 -x1746 -x1722 -x1783 -x1762 -x1830 -x1806 -x1474 -x1447 -x1075 -x1050 -x1027 -x1000 -x974 -x948 
467.05/469.85	v -x913 x886 -x413 -x424 -x311 -x293 -x359 -x336 -x212 -x182 -x2974 -x2951 -x2939 -x2914 -x2267 -x2292 -x2202 -x2241 -x2079 -x2056 
467.05/469.85	v -x2119 -x2094 -x2164 -x2140 -x1458 -x1489 -x1677 -x1626 -x1609 -x1579 -x1553 -x1537 -x1496 -x1467 -x2447 -x2538 -x2510 -x2351 
467.05/469.85	v -x2321 -x2412 -x2377 -x2228 -x183 -x358 -x334 -x314 -x291 -x89 -x70 -x42 -x898 -x978 -x945 -x1022 -x999 -x1077 -x1048 x757 
467.05/469.85	v -x2612 -x2657 -x2685 -x2705 -x2721 -x2749 -x2769 -x2795 -x1813 -x1787 -x1767 -x1898 -x1921 -x1855 -x1874 -x1978 -x294 -x2319 
467.05/469.85	v -x1555 -x1423 x668 -x52 -x1230 -x402 -x2787 -x1727 -x852 x71 x1057 -x332 -x1872 -x2674 -x184 -x887 -x2801 x2777 -x2753 -x2729 
467.05/469.85	v -x1897 -x1878 -x1955 -x1933 -x1222 -x1206 -x1214 -x1197 -x586 -x465 -x442 -x455 -x1476 -x1501 -x1531 -x1761 -x2350 -x2254 
467.05/469.85	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: 63931 MiB (62039 MiB free)
  memory of node 1: 64510 MiB (60480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434794-1721119074/watcher-4434794-1721119074 -o /tmp/evaluation-result-4434794-1721119074/solver-4434794-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874153 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434794-1721119074.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=874207, runsolver pid=874198
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 2.31 3.33 3.83 6/256 874217
/proc/meminfo: memFree=125331688/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=50928 memory=39884 CPUtime=0.1 cores=0,2
/proc/874207/stat : 874207 (fscip) R 874198 874207 874143 0 -1 4194304 8186 0 0 0 9 1 0 0 20 0 1 0 164069297 52150272 9971 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 12732 9971 2750 3032 0 9132 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 39884 KiB

[startup+0.206622 s]*
/proc/loadavg: 2.44 3.34 3.83 8/256 874217
/proc/meminfo: memFree=125303936/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=61772 memory=45764 CPUtime=0.2 cores=0,2
/proc/874207/stat : 874207 (fscip) R 874198 874207 874143 0 -1 4194304 9612 0 0 0 19 1 0 0 20 0 1 0 164069297 63254528 11441 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 15443 11441 2782 3032 0 11843 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 45764 KiB

[startup+0.306546 s]*
/proc/loadavg: 2.44 3.34 3.83 6/256 874217
/proc/meminfo: memFree=125283716/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=62788 memory=46820 CPUtime=0.3 cores=0,2
/proc/874207/stat : 874207 (fscip) R 874198 874207 874143 0 -1 4194304 9870 0 0 0 29 1 0 0 20 0 1 0 164069297 64294912 11705 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 15697 11705 2782 3032 0 12097 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62788 KiB
Current children cumulated memory: 46820 KiB

[startup+0.700147 s]
/proc/loadavg: 2.44 3.34 3.83 5/256 874217
/proc/meminfo: memFree=125274060/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=64820 memory=48932 CPUtime=0.69 cores=0,2
/proc/874207/stat : 874207 (fscip) R 874198 874207 874143 0 -1 4194304 10433 0 0 0 68 1 0 0 20 0 1 0 164069297 66375680 12233 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 16205 12233 2782 3032 0 12605 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64820 KiB
Current children cumulated memory: 48932 KiB

[startup+1.50068 s]
/proc/loadavg: 2.44 3.34 3.83 6/256 874217
/proc/meminfo: memFree=125211044/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=183628 memory=98616 CPUtime=1.49 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 22873 0 0 0 146 3 0 0 20 0 3 0 164069297 188035072 24654 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 45907 24654 2798 3032 0 29583 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 183628 KiB
Current children cumulated memory: 98616 KiB

[startup+3.10566 s]
/proc/loadavg: 2.44 3.34 3.83 8/260 874269
/proc/meminfo: memFree=125023408/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=153324 CPUtime=3.07 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 47033 0 0 0 301 6 0 0 20 0 3 0 164069297 257060864 38331 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 38331 2958 3032 0 44284 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=198340509722 CPUtime=1.62 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 28962 0 0 0 159 3 0 0 20 0 3 0 164069442 257060864 38331 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=0 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 38331 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 153324 KiB

[startup+6.30067 s]
/proc/loadavg: 2.57 3.35 3.83 7/264 874275
/proc/meminfo: memFree=124672192/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=160436 CPUtime=6.24 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 54082 0 0 0 617 7 0 0 20 0 3 0 164069297 257060864 40109 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 40109 2958 3032 0 46184 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=0 CPUtime=4.78 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 36003 0 0 0 474 4 0 0 20 0 3 0 164069442 257060864 40109 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=0 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 40109 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 160436 KiB

[startup+12.7007 s]
/proc/loadavg: 2.68 3.36 3.83 8/264 874275
/proc/meminfo: memFree=124596592/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=175000 CPUtime=12.58 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 92584 0 0 0 1248 10 0 0 20 0 3 0 164069297 257060864 43750 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 43750 2958 3032 0 49646 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=174996 CPUtime=11.12 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 74474 0 0 0 1105 7 0 0 20 0 3 0 164069442 257060864 43750 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=174984 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 43750 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 175000 KiB

[startup+25.5007 s]
/proc/loadavg: 2.88 3.38 3.83 8/264 874276
/proc/meminfo: memFree=124526852/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=175700 CPUtime=25.23 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 124818 0 0 0 2510 13 0 0 20 0 3 0 164069297 257060864 43925 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 43925 2958 3032 0 49646 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=0 CPUtime=23.78 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 106663 0 0 0 2367 11 0 0 20 0 3 0 164069442 257060864 43925 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=11544 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 43925 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 175700 KiB

[startup+51.1057 s]
/proc/loadavg: 3.52 3.49 3.86 7/263 874281
/proc/meminfo: memFree=124474752/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=194184 CPUtime=50.56 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 168303 0 0 0 5039 17 0 0 20 0 3 0 164069297 257060864 48546 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 48546 2958 3032 0 53769 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=11544 CPUtime=49.11 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 150088 0 0 0 4896 15 0 0 20 0 3 0 164069442 257060864 48546 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=43136 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 48546 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 194184 KiB

[startup+102.301 s]
/proc/loadavg: 3.90 3.60 3.88 8/263 874289
/proc/meminfo: memFree=124408160/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=201568 CPUtime=101.2 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 212044 0 0 0 10095 25 0 0 20 0 3 0 164069297 257060864 50392 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 50392 2958 3032 0 55551 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=175700 CPUtime=99.74 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 193781 0 0 0 9952 22 0 0 20 0 3 0 164069442 257060864 50392 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=201264 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 50392 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 201568 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.71 3.90 6/265 874304
/proc/meminfo: memFree=124396400/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=207688 CPUtime=160.81 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 247358 0 0 0 16047 34 0 0 20 0 3 0 164069297 257060864 51922 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 51922 2974 3032 0 57033 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=201572 CPUtime=159.34 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 229055 0 0 0 15903 31 0 0 20 0 3 0 164069442 257060864 51922 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=11544 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 51922 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 160.81 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 207688 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.78 3.91 6/265 874314
/proc/meminfo: memFree=124364628/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=251036 memory=212368 CPUtime=220.56 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 291283 0 0 0 22014 42 0 0 20 0 3 0 164069297 257060864 53092 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 62759 53092 2974 3032 0 58605 0
[pid=874207/tid=874220] ppid=874198 vsize=251036 memory=211856 CPUtime=219.1 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 272943 0 0 0 21870 40 0 0 20 0 3 0 164069442 257060864 53092 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=251036 memory=211856 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 164069444 257060864 53092 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 220.56 s
Current children cumulated vsize: 251036 KiB
Current children cumulated memory: 212368 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.84 3.92 6/265 874324
/proc/meminfo: memFree=124326588/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=224204 CPUtime=280.32 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 329198 0 0 0 27979 53 0 0 20 0 3 0 164069297 324169728 56051 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 56051 2974 3032 0 60729 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=215524 CPUtime=278.85 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 310840 0 0 0 27835 50 0 0 20 0 3 0 164069442 324169728 56051 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=43136 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 56051 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 280.32 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 224204 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.89 3.94 6/264 874334
/proc/meminfo: memFree=124314076/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=226368 CPUtime=340.07 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 338002 0 0 0 33949 58 0 0 20 0 3 0 164069297 324169728 56592 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 56592 2974 3032 0 60729 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=215524 CPUtime=338.6 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 319630 0 0 0 33805 55 0 0 20 0 3 0 164069442 324169728 56592 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=43136 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 56592 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 340.07 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 226368 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.94 3.95 6/264 874347
/proc/meminfo: memFree=124286496/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=234292 CPUtime=399.86 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 341975 0 0 0 39923 63 0 0 20 0 3 0 164069297 324169728 58573 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 58573 2974 3032 0 61961 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=215524 CPUtime=398.38 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 323591 0 0 0 39778 60 0 0 20 0 3 0 164069442 324169728 58573 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=234292 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 58573 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 399.86 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 234292 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.98 3.97 6/262 874357
/proc/meminfo: memFree=124251372/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249592 CPUtime=459.59 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348548 0 0 0 45893 66 0 0 20 0 3 0 164069297 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62398 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=43136 CPUtime=458.11 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330152 0 0 0 45748 63 0 0 20 0 3 0 164069442 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=248856 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 459.59 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249592 KiB

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

# cumulated CPU time of all completed processes:  user=466.44 s, system=0.67977 s

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

[startup+464 s]*
/proc/loadavg: 4.16 3.98 3.97 6/262 874357
/proc/meminfo: memFree=124249556/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249592 CPUtime=461.28 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348592 0 0 0 46062 66 0 0 20 0 3 0 164069297 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62398 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=6720665454312178032 CPUtime=459.8 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330196 0 0 0 45917 63 0 0 20 0 3 0 164069442 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62398 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 461.28 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249592 KiB

[startup+467.2 s]
/proc/loadavg: 4.15 3.99 3.97 6/262 874359
/proc/meminfo: memFree=124249460/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249776 CPUtime=464.47 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348673 0 0 0 46380 67 0 0 20 0 3 0 164069297 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62444 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=249384 CPUtime=462.98 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330277 0 0 0 46235 63 0 0 20 0 3 0 164069442 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=249592 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 464.47 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249776 KiB

[startup+468.8 s]
/proc/loadavg: 4.15 3.99 3.97 6/262 874359
/proc/meminfo: memFree=124249252/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249776 CPUtime=466.06 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348717 0 0 0 46539 67 0 0 20 0 3 0 164069297 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62444 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=249592 CPUtime=464.58 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330321 0 0 0 46394 64 0 0 20 0 3 0 164069442 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=43136 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62444 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 466.06 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249776 KiB

[startup+469.6 s]
/proc/loadavg: 4.15 3.99 3.97 6/262 874359
/proc/meminfo: memFree=124249384/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249824 CPUtime=466.86 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348745 0 0 0 46619 67 0 0 20 0 3 0 164069297 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62456 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=16060 CPUtime=465.38 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330349 0 0 0 46474 64 0 0 20 0 3 0 164069442 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=2320 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 466.86 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249824 KiB

[startup+469.8 s]
/proc/loadavg: 4.15 3.99 3.97 6/262 874359
/proc/meminfo: memFree=124249384/131524600 swapFree=131071996/131071996
[pid=874207] ppid=874198 vsize=316572 memory=249824 CPUtime=467.05 cores=0,2
/proc/874207/stat : 874207 (fscip) S 874198 874207 874143 0 -1 1077936128 348868 0 0 0 46638 67 0 0 20 0 3 0 164069297 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
/proc/874207/statm: 79143 62456 2974 3032 0 64797 0
[pid=874207/tid=874220] ppid=874198 vsize=316572 memory=43136 CPUtime=465.58 cores=0,2
/proc/874207/task/874220/stat : 874220 (fscip) R 874198 874207 874143 0 -1 4194368 330472 0 0 0 46494 64 0 0 20 0 3 0 164069442 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
[pid=874207/tid=874221] ppid=874198 vsize=316572 memory=13196 CPUtime=0 cores=0,2
/proc/874207/task/874221/stat : 874221 (fscip) S 874198 874207 874143 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164069444 324169728 62456 134679101440 4194304 16613245 140736131529744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43540480 140736131531797 140736131531913 140736131531913 140736131538928 0
Current children cumulated CPU time: 467.05 s
Current children cumulated vsize: 316572 KiB
Current children cumulated memory: 249824 KiB

Child status: 0

Real time (s): 469.854
CPU time (s): 467.12
CPU user time (s): 466.44
CPU system time (s): 0.67977
CPU usage (%): 99.418
Max. virtual memory (cumulated for all children) (KiB): 316572
Max. memory (cumulated for all children) (KiB): 249824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.44
system time used= 0.67977
maximum resident set size= 249880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348994
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= 1456
involuntary context switches= 4008


# summary of solver processes directly reported to runsolver:
#   pid: 874207
#   total CPU time (s): 467.12
#   total CPU user time (s): 466.44
#   total CPU system time (s): 0.67977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.923371 second user time and 2.44737 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-16 10:38:07
IDJOB=4434794
IDBENCH=148771
IDSOLVER=3064
FILE ID=nodeC017/4434794-1721119074
RUNJOBID= nodeC017-1721119087-874153
SLURM_JOB_ID= 7505668
Free space on /tmp= 890080 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4434794-1721119074/watcher-4434794-1721119074 -o /tmp/evaluation-result-4434794-1721119074/solver-4434794-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874153 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434794-1721119074.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1689370645

nodeC017.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		: 3542.213
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.46
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		: 3643.578
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3623.116
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.46
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		: 3431.277
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3630.565
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.46
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		: 3602.909
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3572.209
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.46
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		: 3630.561
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125462068 kB
MemAvailable:   129715544 kB
Buffers:          403896 kB
Cached:          4643876 kB
SwapCached:            0 kB
Active:           920076 kB
Inactive:        4457900 kB
Active(anon):       1436 kB
Inactive(anon):   366492 kB
Active(file):     918640 kB
Inactive(file):  4091408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114452 kB
Writeback:             8 kB
AnonPages:        330188 kB
Mapped:           103880 kB
Shmem:             37720 kB
KReclaimable:     166152 kB
Slab:             280132 kB
SReclaimable:     166152 kB
SUnreclaim:       113980 kB
KernelStack:        3824 kB
PageTables:         9348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     670696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      215764 kB
DirectMap2M:    24723456 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC017 at 2024-07-16 10:45:57