Trace number 4464781

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-30SAT57 3587.21 3598.35

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb
MD5SUMceddeda2654bf0127aac8a1ddeee280b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark68065.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products31544
Sum of products size63088

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.31/0.36	c Default LC presolving (default).
0.31/0.36	c ** Before presolving: virtualMemUsedAtLc = 170082915, getVmSize() = 134385664, SCIPgetMemUsed() = 101405168, SCIPgetMemTotal() = 108388856, SCIPgetMemExternEstim() = 61694059
0.31/0.36	c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.60/0.68	c ** Estimated virtualMemUsedAtSolver = 132483219, getVmSize() = 164696064, SCIPgetMemUsed() = 99342554, SCIPgetMemTotal() = 137030770, SCIPgetMemExternEstim() = 61694059
0.60/0.68	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.60/0.68	c Original Problem   :
0.60/0.68	c   Problem name     : instance-4464781-1722382194
0.60/0.68	c   Variables        : 32544 (1000 binary, 0 integer, 31544 implicit integer, 0 continuous)
0.60/0.68	c   Constraints      : 33544
0.60/0.68	c   Objective sense  : minimize
0.60/0.68	c Presolved Problem  :
0.60/0.68	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.68	c   Constraints      : 1000
0.60/0.68	c Constraints        : Number
0.60/0.68	c   logicor          : 1000 
0.60/0.68	c ** Instance transfer method used: 0
0.60/0.69	c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.71	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.71	c                                Nodes    Active                                            
0.69/0.71	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.69/0.73	c *       1              0           1         1        1000.0000                -          -
0.78/0.88	c *       1              0           1         1          57.0000                -          -
332.72/333.85	c       334              2           1         1          57.0000          30.3533     87.79%
370.00/371.22	c       371              3           2         1          57.0000          30.4235     87.35%
391.34/392.68	c       393              4           3         1          57.0000          30.4235     87.35%
408.09/409.45	c       409              5           4         1          57.0000          30.4235     87.35%
424.94/426.38	c       426              6           5         1          57.0000          30.4235     87.35%
440.70/442.12	c       442              7           6         1          57.0000          30.4235     87.35%
452.86/454.34	c       454              8           7         1          57.0000          30.4235     87.35%
458.35/459.88	c       460             11          10         1          57.0000          30.4235     87.35%
471.31/472.87	c       473             13          12         1          57.0000          30.4235     87.35%
477.79/479.39	c       479             16          15         1          57.0000          30.4235     87.35%
483.07/484.64	c       485             18          17         1          57.0000          30.4235     87.35%
490.05/491.68	c       492             20          19         1          57.0000          30.4235     87.35%
506.41/508.10	c       508             25          24         1          57.0000          30.4235     87.35%
522.75/524.44	c       524             28          27         1          57.0000          30.4235     87.35%
528.93/530.67	c       531             31          30         1          57.0000          30.4235     87.35%
543.19/544.94	c       545             35          34         1          57.0000          30.4235     87.35%
548.87/550.66	c       551             39          38         1          57.0000          30.4235     87.35%
564.73/566.51	c       567             42          41         1          57.0000          30.4235     87.35%
593.44/595.35	c       595             44          43         1          57.0000          30.4235     87.35%
609.39/611.38	c       611             46          45         1          57.0000          30.4235     87.35%
618.19/620.18	c       620             48          47         1          57.0000          30.4235     87.35%
636.62/638.62	c       639             50          49         1          57.0000          30.4235     87.35%
654.27/656.39	c       656             52          51         1          57.0000          30.4235     87.35%
669.93/672.04	c       672             54          53         1          57.0000          30.4235     87.35%
685.07/687.27	c       687             56          55         1          57.0000          30.4235     87.35%
699.63/701.88	c       702             57          56         1          57.0000          30.4235     87.35%
716.79/719.06	c       719             58          57         1          57.0000          30.4235     87.35%
734.03/736.36	c       736             60          59         1          57.0000          30.4235     87.35%
749.48/751.86	c       752             62          61         1          57.0000          30.4235     87.35%
767.33/769.73	c       770             64          63         1          57.0000          30.4235     87.35%
797.93/800.48	c       800             66          65         1          57.0000          30.4235     87.35%
817.38/819.95	c       820             68          67         1          57.0000          30.4235     87.35%
833.13/835.75	c       836             70          69         1          57.0000          30.4235     87.35%
849.28/851.92	c       852             71          70         1          57.0000          30.4235     87.35%
858.65/861.34	c       861             72          71         1          57.0000          30.4235     87.35%
872.11/874.83	c       875             74          73         1          57.0000          30.4235     87.35%
889.56/892.37	c       892             76          75         1          57.0000          30.4235     87.35%
907.11/910.01	c       910             77          76         1          57.0000          30.4235     87.35%
921.85/924.70	c       925             78          77         1          57.0000          30.4235     87.35%
926.94/929.89	c       930             79          78         1          57.0000          30.4235     87.35%
938.40/941.38	c       941             80          79         1          57.0000          30.4235     87.35%
966.61/969.61	c       970             82          81         1          57.0000          30.4235     87.35%
981.98/985.03	c       985             84          83         1          57.0000          30.4235     87.35%
996.53/999.66	c      1000             86          85         1          57.0000          30.4235     87.35%
1021.55/1024.70	c      1025             88          87         1          57.0000          30.4235     87.35%
1037.00/1040.24	c      1040             90          89         1          57.0000          30.4235     87.35%
1066.72/1070.03	c      1070             92          91         1          57.0000          30.4235     87.35%
1081.78/1085.14	c      1085             94          93         1          57.0000          30.4235     87.35%
1094.64/1098.02	c      1098             95          94         1          57.0000          30.4235     87.35%
1108.09/1111.57	c      1112             96          95         1          57.0000          30.4235     87.35%
1122.14/1125.61	c      1126             98          97         1          57.0000          30.4235     87.35%
1148.06/1151.61	c      1152            100          99         1          57.0000          30.4235     87.35%
1165.01/1168.64	c      1169            102         101         1          57.0000          30.4235     87.35%
1170.09/1173.72	c      1174            103         102         1          57.0000          30.4235     87.35%
1195.02/1198.72	c      1199            104         103         1          57.0000          30.4235     87.35%
1205.98/1209.70	c      1210            105         104         1          57.0000          30.4235     87.35%
1218.54/1222.36	c      1222            106         105         1          57.0000          30.4235     87.35%
1227.71/1231.58	c      1232            108         107         1          57.0000          30.4235     87.35%
1257.13/1261.09	c      1261            111         110         1          57.0000          30.4235     87.35%
1263.90/1267.80	c      1268            113         112         1          57.0000          30.6571     85.93%
1281.95/1285.98	c      1286            121         120         1          57.0000          30.6571     85.93%
1292.41/1296.48	c      1296            123         122         1          57.0000          30.6949     85.70%
1297.70/1301.75	c      1302            126         125         1          57.0000          30.7842     85.16%
1312.55/1316.67	c      1317            127         126         1          57.0000          30.7842     85.16%
1320.33/1324.47	c      1324            129         128         1          57.0000          30.8107     85.00%
1325.92/1330.04	c      1330            131         130         1          57.0000          30.8618     84.69%
1334.48/1338.64	c      1339            133         132         1          57.0000          30.9071     84.42%
1348.54/1352.74	c      1353            135         134         1          57.0000          30.9311     84.28%
1356.51/1360.76	c      1361            139         138         1          57.0000          30.9918     83.92%
1361.59/1365.88	c      1366            141         140         1          57.0000          30.9918     83.92%
1372.06/1376.39	c      1376            144         143         1          57.0000          30.9918     83.92%
1385.62/1389.93	c      1390            145         144         1          57.0000          30.9918     83.92%
1394.40/1398.78	c      1399            148         147         1          57.0000          30.9918     83.92%
1401.37/1405.75	c      1406            150         149         1          57.0000          30.9918     83.92%
1412.93/1417.30	c      1417            151         150         1          57.0000          30.9918     83.92%
1425.79/1430.20	c      1430            153         152         1          57.0000          31.0261     83.72%
1436.36/1440.83	c      1441            154         153         1          57.0000          31.0261     83.72%
1454.80/1459.31	c      1459            157         156         1          57.0000          31.0261     83.72%
1463.49/1468.07	c      1468            159         158         1          57.0000          31.0261     83.72%
1476.73/1481.35	c      1481            160         159         1          57.0000          31.0261     83.72%
1495.28/1499.92	c      1500            163         162         1          57.0000          31.0261     83.72%
1519.31/1524.05	c      1524            166         165         1          57.0000          31.0261     83.72%
1525.30/1530.05	c      1530            168         167         1          57.0000          31.0261     83.72%
1541.04/1545.83	c      1546            169         168         1          57.0000          31.0261     83.72%
1551.71/1556.52	c      1557            171         170         1          57.0000          31.0261     83.72%
1577.53/1582.44	c      1582            172         171         1          57.0000          31.0261     83.72%
1587.49/1592.40	c      1592            173         172         1          57.0000          31.0261     83.72%
1604.84/1609.84	c      1610            175         174         1          57.0000          31.0261     83.72%
1621.00/1626.05	c      1626            177         176         1          57.0000          31.0261     83.72%
1629.46/1634.57	c      1635            178         177         1          57.0000          31.0261     83.72%
1634.55/1639.66	c      1640            180         179         1          57.0000          31.0261     83.72%
1648.60/1653.74	c      1654            181         180         1          57.0000          31.0261     83.72%
1656.18/1661.30	c      1661            183         182         1          57.0000          31.0399     83.63%
1675.52/1680.76	c      1681            184         183         1          57.0000          31.0399     83.63%
1692.27/1697.52	c      1698            187         186         1          57.0000          31.0399     83.63%
1701.44/1706.75	c      1707            189         188         1          57.0000          31.0399     83.63%
1716.99/1722.34	c      1722            190         189         1          57.0000          31.0399     83.63%
1731.95/1737.35	c      1737            192         191         1          57.0000          31.0399     83.63%
1740.32/1745.72	c      1746            195         194         1          57.0000          31.0399     83.63%
1752.98/1758.40	c      1758            196         195         1          57.0000          31.0399     83.63%
1760.67/1766.11	c      1766            198         197         1          57.0000          31.0399     83.63%
1781.60/1787.12	c      1787            199         198         1          57.0000          31.0399     83.63%
1788.27/1793.81	c      1794            201         202         1          57.0000          31.0399     83.63%
1859.94/1865.72	c      1866            201         202         1          57.0000          31.0399     83.63%
1871.21/1877.08	c      1877            202         201         1          57.0000          31.0399     83.63%
1878.69/1884.58	c      1885            204         203         1          57.0000          31.0399     83.63%
1900.82/1906.72	c      1907            205         204         1          57.0000          31.0399     83.63%
1906.20/1912.18	c      1912            207         206         1          57.0000          31.0399     83.63%
1917.66/1923.64	c      1924            208         207         1          57.0000          31.0399     83.63%
1945.18/1951.22	c      1951            211         210         1          57.0000          31.0399     83.63%
1950.86/1956.96	c      1957            213         212         1          57.0000          31.0668     83.48%
1963.42/1969.59	c      1970            214         213         1          57.0000          31.0668     83.48%
1976.28/1982.40	c      1982            216         215         1          57.0000          31.0668     83.48%
1983.87/1990.11	c      1990            217         216         1          57.0000          31.0668     83.48%
1996.32/2002.52	c      2003            220         219         1          57.0000          31.0668     83.48%
2007.89/2014.19	c      2014            222         221         1          57.0000          31.0668     83.48%
2020.54/2026.82	c      2027            223         222         1          57.0000          31.0668     83.48%
2027.22/2033.53	c      2034            224         225         1          57.0000          31.0668     83.48%
2103.39/2109.98	c      2110            225         224         1          57.0000          31.0668     83.48%
2120.83/2127.40	c      2127            226         225         1          57.0000          31.0668     83.48%
2158.70/2165.42	c      2165            227         226         1          57.0000          31.0668     83.48%
2168.38/2175.19	c      2175            229         228         1          57.0000          31.0668     83.48%
2194.09/2201.01	c      2201            232         231         1          57.0000          31.0668     83.48%
2210.94/2217.87	c      2218            235         234         1          57.0000          31.0668     83.48%
2216.92/2223.89	c      2224            237         236         1          57.0000          31.0668     83.48%
2223.90/2230.83	c      2231            238         237         1          57.0000          31.0668     83.48%
2233.67/2240.68	c      2241            239         238         1          57.0000          31.0668     83.48%
2239.75/2246.76	c      2247            242         241         1          57.0000          31.0668     83.48%
2251.41/2258.41	c      2258            243         242         1          57.0000          31.0668     83.48%
2258.29/2265.34	c      2265            245         244         1          57.0000          31.0668     83.48%
2270.06/2277.16	c      2277            247         246         1          57.0000          31.0668     83.48%
2277.53/2284.61	c      2285            249         248         1          57.0000          31.0668     83.48%
2301.05/2308.22	c      2308            251         250         1          57.0000          31.0668     83.48%
2306.14/2313.35	c      2313            253         252         1          57.0000          31.0894     83.34%
2324.48/2331.73	c      2332            255         254         1          57.0000          31.0894     83.34%
2331.66/2338.98	c      2339            257         256         1          57.0000          31.0894     83.34%
2359.48/2366.82	c      2367            259         258         1          57.0000          31.0894     83.34%
2366.95/2374.34	c      2374            261         260         1          57.0000          31.0894     83.34%
2396.67/2404.20	c      2404            263         262         1          57.0000          31.0894     83.34%
2404.93/2412.49	c      2412            266         265         1          57.0000          31.0894     83.34%
2415.51/2423.07	c      2423            267         266         1          57.0000          31.0894     83.34%
2423.27/2430.81	c      2431            269         270         1          57.0000          31.0894     83.34%
2433.64/2441.28	c      2441            271         270         1          57.0000          31.0894     83.34%
2445.01/2452.66	c      2453            273         272         1          57.0000          31.0973     83.30%
2457.27/2464.91	c      2465            275         274         1          57.0000          31.0973     83.30%
2466.74/2474.42	c      2474            277         276         1          57.0000          31.0973     83.30%
2476.21/2483.94	c      2484            279         278         1          57.0000          31.0973     83.30%
2483.49/2491.20	c      2491            281         280         1          57.0000          31.0973     83.30%
2490.39/2498.14	c      2498            282         281         1          57.0000          31.0973     83.30%
2499.05/2506.82	c      2507            283         282         1          57.0000          31.0973     83.30%
2504.24/2512.09	c      2512            284         283         1          57.0000          31.0973     83.30%
2510.11/2517.93	c      2518            285         284         1          57.0000          31.0973     83.30%
2518.19/2526.05	c      2526            286         285         1          57.0000          31.0973     83.30%
2540.51/2548.41	c      2548            287         286         1          57.0000          31.0973     83.30%
2550.09/2558.10	c      2558            289         288         1          57.0000          31.0973     83.30%
2560.25/2568.23	c      2568            291         290         1          57.0000          31.0973     83.30%
2570.51/2578.57	c      2579            293         292         1          57.0000          31.1840     82.79%
2593.84/2601.92	c      2602            295         294         1          57.0000          31.1840     82.79%
2601.41/2609.58	c      2610            297         296         1          57.0000          31.1840     82.79%
2606.49/2614.62	c      2615            298         297         1          57.0000          31.1840     82.79%
2615.38/2623.59	c      2624            299         298         1          57.0000          31.1840     82.79%
2620.76/2629.00	c      2629            300         299         1          57.0000          31.1840     82.79%
2627.85/2636.09	c      2636            301         300         1          57.0000          31.1840     82.79%
2642.09/2650.39	c      2650            303         302         1          57.0000          31.1840     82.79%
2651.56/2659.81	c      2660            305         304         1          57.0000          31.1840     82.79%
2662.23/2670.54	c      2671            307         306         1          57.0000          31.1840     82.79%
2671.81/2680.18	c      2680            309         308         1          57.0000          31.1840     82.79%
2700.20/2708.65	c      2709            311         310         1          57.0000          31.1840     82.79%
2711.06/2719.52	c      2720            313         312         1          57.0000          31.1916     82.74%
2723.33/2731.82	c      2732            315         314         1          57.0000          31.1916     82.74%
2731.01/2739.54	c      2740            317         316         1          57.0000          31.1916     82.74%
2750.95/2759.57	c      2760            319         318         1          57.0000          31.1916     82.74%
2758.92/2767.56	c      2768            321         320         1          57.0000          31.1916     82.74%
2764.20/2772.89	c      2773            322         321         1          57.0000          31.1916     82.74%
2778.06/2786.72	c      2787            323         322         1          57.0000          31.1916     82.74%
2783.04/2791.76	c      2792            324         323         1          57.0000          31.1916     82.74%
2793.91/2802.60	c      2803            326         325         1          57.0000          31.1916     82.74%
2803.39/2812.19	c      2812            326         327         1          57.0000          31.1916     82.74%
2834.38/2843.21	c      2843            327         326         1          57.0000          31.1916     82.74%
2839.87/2848.74	c      2849            329         328         1          57.0000          31.1916     82.74%
2845.05/2853.98	c      2854            330         329         1          57.0000          31.1916     82.74%
2861.80/2870.79	c      2871            331         330         1          57.0000          31.1916     82.74%
2867.98/2876.95	c      2877            333         332         1          57.0000          31.2301     82.52%
2878.75/2887.71	c      2888            335         334         1          57.0000          31.2301     82.52%
2887.72/2896.78	c      2897            336         335         1          57.0000          31.2301     82.52%
2895.01/2904.06	c      2904            338         337         1          57.0000          31.2301     82.52%
2910.35/2919.44	c      2919            339         338         1          57.0000          31.2301     82.52%
2915.53/2924.60	c      2925            342         341         1          57.0000          31.2301     82.52%
2928.39/2937.51	c      2938            343         342         1          57.0000          31.2301     82.52%
2935.17/2944.34	c      2944            345         344         1          57.0000          31.2301     82.52%
2946.85/2956.06	c      2956            347         346         1          57.0000          31.2301     82.52%
2956.31/2965.51	c      2966            348         347         1          57.0000          31.2301     82.52%
2962.39/2971.62	c      2972            350         349         1          57.0000          31.2301     82.52%
2973.35/2982.61	c      2983            351         350         1          57.0000          31.2301     82.52%
2979.04/2988.30	c      2988            353         352         1          57.0000          31.2904     82.16%
2998.68/3008.09	c      3008            355         354         1          57.0000          31.2904     82.16%
3006.85/3016.27	c      3016            358         357         1          57.0000          31.3239     81.97%
3018.31/3027.75	c      3028            359         358         1          57.0000          31.3239     81.97%
3024.09/3033.52	c      3034            361         360         1          57.0000          31.3322     81.92%
3045.33/3054.82	c      3055            363         362         1          57.0000          31.3322     81.92%
3050.91/3060.44	c      3060            365         364         1          57.0000          31.3322     81.92%
3063.37/3072.96	c      3073            367         366         1          57.0000          31.3322     81.92%
3069.25/3078.87	c      3079            369         368         1          57.0000          31.3322     81.92%
3088.10/3097.77	c      3098            371         370         1          57.0000          31.3322     81.92%
3095.17/3104.85	c      3105            374         373         1          57.0000          31.3370     81.89%
3108.63/3118.31	c      3118            375         374         1          57.0000          31.3370     81.89%
3117.01/3126.71	c      3127            378         377         1          57.0000          31.3370     81.89%
3132.96/3142.71	c      3143            379         378         1          57.0000          31.3370     81.89%
3140.83/3150.66	c      3151            381         380         1          57.0000          31.3370     81.89%
3153.99/3163.82	c      3164            383         382         1          57.0000          31.3370     81.89%
3159.67/3169.53	c      3170            385         384         1          57.0000          31.3370     81.89%
3164.86/3174.71	c      3175            386         385         1          57.0000          31.3370     81.89%
3178.52/3188.40	c      3188            387         386         1          57.0000          31.3370     81.89%
3185.70/3195.69	c      3196            390         389         1          57.0000          31.3370     81.89%
3193.19/3203.17	c      3203            391         390         1          57.0000          31.3370     81.89%
3201.35/3211.39	c      3211            394         393         1          57.0000          31.3607     81.76%
3219.40/3229.40	c      3229            395         394         1          57.0000          31.3607     81.76%
3226.27/3236.35	c      3236            398         397         1          57.0000          31.3922     81.57%
3232.75/3242.84	c      3243            399         398         1          57.0000          31.3922     81.57%
3238.14/3248.24	c      3248            401         400         1          57.0000          31.3922     81.57%
3261.26/3271.41	c      3271            403         402         1          57.0000          31.3922     81.57%
3266.86/3277.04	c      3277            406         405         1          57.0000          31.3922     81.57%
3277.31/3287.59	c      3288            407         406         1          57.0000          31.3922     81.57%
3282.80/3293.09	c      3293            409         408         1          57.0000          31.3922     81.57%
3296.25/3306.52	c      3307            410         409         1          57.0000          31.3922     81.57%
3303.43/3313.74	c      3314            411         410         1          57.0000          31.3922     81.57%
3310.31/3320.69	c      3321            413         412         1          57.0000          31.3922     81.57%
3333.25/3343.68	c      3344            415         414         1          57.0000          31.3922     81.57%
3341.12/3351.52	c      3352            418         417         1          57.0000          31.3922     81.57%
3359.46/3369.97	c      3370            419         418         1          57.0000          31.3922     81.57%
3365.24/3375.79	c      3376            421         420         1          57.0000          31.3922     81.57%
3380.90/3391.46	c      3391            423         422         1          57.0000          31.3922     81.57%
3389.17/3399.72	c      3400            425         424         1          57.0000          31.3922     81.57%
3410.30/3421.01	c      3421            427         426         1          57.0000          31.3922     81.57%
3416.58/3427.23	c      3427            429         428         1          57.0000          31.3922     81.57%
3448.39/3459.19	c      3459            431         430         1          57.0000          31.3922     81.57%
3455.66/3466.48	c      3466            434         433         1          57.0000          31.4086     81.48%
3474.31/3485.14	c      3485            435         434         1          57.0000          31.4086     81.48%
3486.27/3497.13	c      3497            438         437         1          57.0000          31.4484     81.25%
3503.61/3514.52	c      3515            439         438         1          57.0000          31.4484     81.25%
3510.39/3521.30	c      3521            442         441         1          57.0000          31.4484     81.25%
3525.44/3536.42	c      3536            443         442         1          57.0000          31.4484     81.25%
3532.81/3543.83	c      3544            446         445         1          57.0000          31.4484     81.25%
3546.08/3557.14	c      3557            447         446         1          57.0000          31.4484     81.25%
3551.26/3562.34	c      3562            449         448         1          57.0000          31.4484     81.25%
3562.22/3573.32	c      3573            451         450         1          57.0000          31.4484     81.25%
3569.91/3581.02	c      3581            453         452         1          57.0000          31.4615     81.17%
3584.05/3595.25	c      3595            455         454         1          57.0000          31.4615     81.17%
3587.04/3598.24	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.04/3598.24	c Total Time         : 3598.23
3587.04/3598.24	c   solving          : 3598.23
3587.04/3598.24	c   presolving       : 0.32 (included in solving)
3587.04/3598.24	c B&B Tree           :
3587.04/3598.24	c   nodes (total)    : 1
3587.04/3598.24	c Solution           :
3587.04/3598.24	c   Solutions found  : 2
3587.04/3598.24	c   Primal Bound     : +5.70000000000000e+01
3587.04/3598.24	c   Dual Bound       : +3.14969501260176e+01
3587.04/3598.24	c Gap                : 80.96990 %
3587.04/3598.24	c * Warning: final gap: 8.09699e-01 is greater than SCIPepsilon: 1.00000e-09
3587.04/3598.25	o 57
3587.04/3598.25	s SATISFIABLE
3587.04/3598.25	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
3587.04/3598.25	v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
3587.04/3598.25	v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
3587.04/3598.25	v x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
3587.04/3598.25	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
3587.04/3598.25	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
3587.04/3598.25	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
3587.04/3598.25	v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
3587.04/3598.25	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 
3587.04/3598.25	v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 
3587.04/3598.25	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
3587.04/3598.25	v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
3587.04/3598.25	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
3587.04/3598.25	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
3587.04/3598.25	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 
3587.04/3598.25	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
3587.04/3598.25	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
3587.04/3598.25	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
3587.04/3598.25	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
3587.04/3598.25	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 
3587.04/3598.25	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
3587.04/3598.25	v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
3587.04/3598.25	v -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
3587.04/3598.25	v -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
3587.04/3598.25	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
3587.04/3598.25	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
3587.04/3598.25	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
3587.04/3598.25	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
3587.04/3598.25	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
3587.04/3598.25	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
3587.04/3598.25	v x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
3587.04/3598.25	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
3587.15/3598.34	v -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
3587.15/3598.34	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
3587.15/3598.34	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
3587.15/3598.34	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 
3587.15/3598.34	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 
3587.15/3598.34	v -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
3587.15/3598.34	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 x185 -x184 
3587.15/3598.34	v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 x171 -x170 -x169 x168 x167 -x166 -x165 -x164 x163 
3587.15/3598.34	v -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 
3587.15/3598.34	v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 -x121 -x120 
3587.15/3598.34	v -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 x98 
3587.15/3598.34	v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 x73 -x72 
3587.15/3598.34	v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 
3587.15/3598.34	v -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 x29 -x28 x27 x26 -x25 -x24 -x23 x22 -x21 -x20 
3587.15/3598.34	v -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 x6 x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	57

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 (61891 MiB free)
  memory of node 1: 64473 MiB (60123 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464781-1722382194/watcher-4464781-1722382194 -o /tmp/evaluation-result-4464781-1722382194/solver-4464781-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464781-1722382194.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=30793, runsolver pid=30790
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.23 4.17 4.10 5/251 30794
/proc/meminfo: memFree=124915368/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=54608 memory=42012 CPUtime=0.1 cores=0,2
/proc/30793/stat : 30793 (fscip) R 30790 30793 28487 0 -1 4194304 8351 0 0 0 8 2 0 0 20 0 1 0 4816423 55918592 10503 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 13652 10503 2363 3035 0 10048 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54608 KiB
Current children cumulated memory: 42012 KiB

[startup+0.213053 s]*
/proc/loadavg: 4.23 4.17 4.10 5/251 30794
/proc/meminfo: memFree=124882724/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=88540 memory=76924 CPUtime=0.22 cores=0,2
/proc/30793/stat : 30793 (fscip) R 30790 30793 28487 0 -1 4194304 17415 0 0 0 17 5 0 0 20 0 1 0 4816423 90664960 19231 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 22135 19231 2571 3035 0 18531 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 88540 KiB
Current children cumulated memory: 76924 KiB

[startup+0.313094 s]*
/proc/loadavg: 4.23 4.17 4.10 5/251 30794
/proc/meminfo: memFree=124845092/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=121352 memory=110716 CPUtime=0.31 cores=0,2
/proc/30793/stat : 30793 (fscip) R 30790 30793 28487 0 -1 4194304 25897 0 0 0 24 7 0 0 20 0 1 0 4816423 124264448 27679 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 30338 27679 2571 3035 0 26734 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 121352 KiB
Current children cumulated memory: 110716 KiB

[startup+0.706764 s]
/proc/loadavg: 4.22 4.17 4.10 5/251 30794
/proc/meminfo: memFree=124809140/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=236588 memory=151428 CPUtime=0.69 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 36274 0 0 0 60 9 0 0 20 0 2 0 4816423 242266112 37857 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 59147 37857 2694 3035 0 39992 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236588 KiB
Current children cumulated memory: 151428 KiB

[startup+1.50033 s]
/proc/loadavg: 4.22 4.17 4.10 5/253 30796
/proc/meminfo: memFree=124780896/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=246592 memory=173856 CPUtime=1.48 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 42515 0 0 0 137 11 0 0 20 0 3 0 4816423 252510208 43464 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 61648 43464 2918 3035 0 47811 0
[pid=30793/tid=30795] ppid=30790 vsize=246592 memory=4332 CPUtime=0.78 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 7034 0 0 0 77 1 0 0 20 0 3 0 4816492 252510208 43464 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=246592 memory=11440 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816494 252510208 43464 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 246592 KiB
Current children cumulated memory: 173856 KiB

[startup+3.11261 s]
/proc/loadavg: 4.22 4.17 4.10 5/246 30826
/proc/meminfo: memFree=125267352/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=250876 memory=179276 CPUtime=3.08 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 45415 0 0 0 297 11 0 0 20 0 3 0 4816423 256897024 44819 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 62719 44819 2918 3035 0 49335 0
[pid=30793/tid=30795] ppid=30790 vsize=250876 memory=16104 CPUtime=2.39 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 9927 0 0 0 237 2 0 0 20 0 3 0 4816492 256897024 44819 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=250876 memory=164928 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4816494 256897024 44819 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 250876 KiB
Current children cumulated memory: 179276 KiB

[startup+6.30037 s]
/proc/loadavg: 4.20 4.17 4.10 5/250 30889
/proc/meminfo: memFree=125815140/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=253716 memory=216804 CPUtime=6.27 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 60109 0 0 0 614 13 0 0 20 0 3 0 4816423 259805184 54201 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 63429 54201 2950 3035 0 58770 0
[pid=30793/tid=30795] ppid=30790 vsize=253716 memory=0 CPUtime=5.57 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 24614 0 0 0 554 3 0 0 20 0 3 0 4816492 259805184 54201 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=253716 memory=11440 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4816494 259805184 54201 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 253716 KiB
Current children cumulated memory: 216804 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125415272/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=450324 memory=394060 CPUtime=12.64 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 139406 0 0 0 1244 20 0 0 20 0 3 0 4816423 461131776 98515 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 112581 98515 2950 3035 0 102955 0
[pid=30793/tid=30795] ppid=30790 vsize=450324 memory=257232 CPUtime=11.95 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 103907 0 0 0 1184 11 0 0 20 0 3 0 4816492 461131776 98515 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=450324 memory=352044 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4816494 461131776 98515 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 450324 KiB
Current children cumulated memory: 394060 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.18 4.10 5/250 30940
/proc/meminfo: memFree=125277092/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=453044 memory=416660 CPUtime=25.4 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 148715 0 0 0 2518 22 0 0 20 0 3 0 4816423 463917056 104165 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 113261 104165 2950 3035 0 108972 0
[pid=30793/tid=30795] ppid=30790 vsize=453044 memory=415140 CPUtime=24.7 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 113209 0 0 0 2458 12 0 0 20 0 3 0 4816492 463917056 104165 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=453044 memory=416468 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4816494 463917056 104165 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 453044 KiB
Current children cumulated memory: 416660 KiB

[startup+51.1133 s]
/proc/loadavg: 4.14 4.16 4.10 5/253 31007
/proc/meminfo: memFree=123914616/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=453044 memory=416672 CPUtime=50.93 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 156929 0 0 0 5071 22 0 0 20 0 3 0 4816423 463917056 104168 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 113261 104168 2950 3035 0 108972 0
[pid=30793/tid=30795] ppid=30790 vsize=453044 memory=416672 CPUtime=50.24 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 121409 0 0 0 5011 13 0 0 20 0 3 0 4816492 463917056 104168 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=453044 memory=259556 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4816494 463917056 104168 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 453044 KiB
Current children cumulated memory: 416672 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/253 31015
/proc/meminfo: memFree=123881652/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=453044 memory=417972 CPUtime=101.95 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 169676 0 0 0 10172 23 0 0 20 0 3 0 4816423 463917056 104493 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 113261 104493 2950 3035 0 109297 0
[pid=30793/tid=30795] ppid=30790 vsize=453044 memory=11440 CPUtime=101.26 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 134142 0 0 0 10113 13 0 0 20 0 3 0 4816492 463917056 104493 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=453044 memory=417972 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4816494 463917056 104493 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 453044 KiB
Current children cumulated memory: 417972 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/253 31075
/proc/meminfo: memFree=125509696/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=453044 memory=418456 CPUtime=161.75 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 177260 0 0 0 16151 24 0 0 20 0 3 0 4816423 463917056 104614 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 113261 104614 2950 3035 0 109318 0
[pid=30793/tid=30795] ppid=30790 vsize=453044 memory=417972 CPUtime=161.06 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 141720 0 0 0 16092 14 0 0 20 0 3 0 4816492 463917056 104614 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=453044 memory=417972 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 4816494 463917056 104614 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 453044 KiB
Current children cumulated memory: 418456 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/253 31085
/proc/meminfo: memFree=125259848/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=453868 memory=423572 CPUtime=221.55 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 182434 0 0 0 22130 25 0 0 20 0 3 0 4816423 464760832 105893 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 113467 105893 2950 3035 0 109524 0
[pid=30793/tid=30795] ppid=30790 vsize=453868 memory=422400 CPUtime=220.86 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 146888 0 0 0 22071 15 0 0 20 0 3 0 4816492 464760832 105893 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=453868 memory=423524 CPUtime=0 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4816494 464760832 105893 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 453868 KiB
Current children cumulated memory: 423572 KiB


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

[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3451.57 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 923020 0 0 0 345075 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=684656 CPUtime=3450.78 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 886443 0 0 0 345011 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=684656 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 291 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/250 32754
/proc/meminfo: memFree=119596532/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3511.38 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 924120 0 0 0 351056 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=684656 CPUtime=3510.59 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 887524 0 0 0 350992 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=684656 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 295 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/252 32935
/proc/meminfo: memFree=119591512/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3571.19 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925298 0 0 0 357037 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=11440 CPUtime=3570.4 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888682 0 0 0 356973 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=5528 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

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

# cumulated CPU time of all completed processes:  user=3586.36 s, system=0.850732 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.16 4.14 5/252 32935
/proc/meminfo: memFree=119591552/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3572.9 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925298 0 0 0 357208 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=-3048524790279463963 CPUtime=3572.11 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888682 0 0 0 357144 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=7898128300348173215 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.15 4.14 5/252 32936
/proc/meminfo: memFree=119591220/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3579.27 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925307 0 0 0 357845 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=11440 CPUtime=3578.48 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888691 0 0 0 357781 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=684656 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3579.27 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.17 4.15 5/252 32936
/proc/meminfo: memFree=119591252/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3582.46 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925375 0 0 0 358164 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=684656 CPUtime=3581.67 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888759 0 0 0 358100 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=11440 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3582.46 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.17 4.15 5/252 32936
/proc/meminfo: memFree=119591216/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3585.65 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925578 0 0 0 358483 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=11440 CPUtime=3584.86 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888962 0 0 0 358419 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=684656 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3597.6 s]
/proc/loadavg: 4.15 4.16 4.14 5/252 32936
/proc/meminfo: memFree=119591184/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3586.45 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925578 0 0 0 358563 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=12968 CPUtime=3585.65 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888962 0 0 0 358498 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=11440 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3598 s]*
/proc/loadavg: 4.15 4.16 4.14 5/252 32936
/proc/meminfo: memFree=119591252/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3586.86 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 925607 0 0 0 358604 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=-5155631310234676101 CPUtime=3586.07 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 888991 0 0 0 358540 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=4283933268820782749 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3598.2 s]
/proc/loadavg: 4.15 4.16 4.14 5/252 32936
/proc/meminfo: memFree=119591252/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=765812 memory=684656 CPUtime=3587.04 cores=0,2
/proc/30793/stat : 30793 (fscip) S 30790 30793 28487 0 -1 1077936128 926018 0 0 0 358622 82 0 0 20 0 3 0 4816423 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 191453 171164 3014 3035 0 175763 0
[pid=30793/tid=30795] ppid=30790 vsize=765812 memory=4812 CPUtime=3586.25 cores=0,2
/proc/30793/task/30795/stat : 30795 (fscip) R 30790 30793 28487 0 -1 4194368 889401 0 0 0 358558 67 0 0 20 0 3 0 4816492 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
[pid=30793/tid=30796] ppid=30790 vsize=765812 memory=66596 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 3 0 4816494 784191488 171164 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3587.04 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 684656 KiB

[startup+3598.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/252 32936
/proc/meminfo: memFree=119591252/131655788 swapFree=131071996/131071996
[pid=30793] ppid=30790 vsize=405776 memory=380400 CPUtime=3587.15 cores=0,2
/proc/30793/stat : 30793 (fscip) R 30790 30793 28487 0 -1 4194304 930016 0 0 0 358632 83 0 0 20 0 2 0 4816423 415514624 95100 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
/proc/30793/statm: 101444 95100 3014 3035 0 97501 0
[pid=30793/tid=30796] ppid=30790 vsize=405776 memory=5528 CPUtime=0.04 cores=0,2
/proc/30793/task/30796/stat : 30796 (fscip) S 30790 30793 28487 0 -1 1077936192 300 0 0 0 1 3 0 0 20 0 2 0 4816494 415514624 95100 134679101440 4194304 16623229 140724692342800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 29286400 140724692345878 140724692345994 140724692345994 140724692353008 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 405776 KiB
Current children cumulated memory: 380400 KiB

Child status: 0

Real time (s): 3598.35
CPU time (s): 3587.21
CPU user time (s): 3586.36
CPU system time (s): 0.850732
CPU usage (%): 99.6904
Max. virtual memory (cumulated for all children) (KiB): 769720
Max. memory (cumulated for all children) (KiB): 686220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.36
system time used= 0.850732
maximum resident set size= 686220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931755
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= 4549
involuntary context switches= 25280


# summary of solver processes directly reported to runsolver:
#   pid: 30793
#   total CPU time (s): 3587.21
#   total CPU user time (s): 3586.36
#   total CPU system time (s): 0.850732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4617 second user time and 36.2794 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-31 01:29:54
IDJOB=4464781
IDBENCH=148605
IDSOLVER=3092
FILE ID=nodeC005/4464781-1722382194
RUNJOBID= nodeC005-1722378594-28498
SLURM_JOB_ID= 8249835
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464781-1722382194/watcher-4464781-1722382194 -o /tmp/evaluation-result-4464781-1722382194/solver-4464781-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464781-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ceddeda2654bf0127aac8a1ddeee280b
RANDOM SEED=1367756045

nodeC005.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		: 1197.221
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.72
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		: 3666.966
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.37
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.212
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.72
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.251
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.37
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		: 3666.799
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.72
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		: 3666.927
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.37
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.404
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.72
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.358
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124943996 kB
MemAvailable:   126999384 kB
Buffers:           94920 kB
Cached:          2767112 kB
SwapCached:            0 kB
Active:           260548 kB
Inactive:        5952212 kB
Active(anon):       1484 kB
Inactive(anon):  3370284 kB
Active(file):     259064 kB
Inactive(file):  2581928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29112 kB
Writeback:             0 kB
AnonPages:       3349760 kB
Mapped:           124148 kB
Shmem:             21320 kB
KReclaimable:     109192 kB
Slab:             191560 kB
SReclaimable:     109192 kB
SUnreclaim:        82368 kB
KernelStack:        4080 kB
PageTables:        15760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2104124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2904064 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:      187208 kB
DirectMap2M:    14397440 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723632 MiB
End job on nodeC005 at 2024-07-31 02:29:53