Trace number 4459955

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-02SAT-163 3590.29 3600.14

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUMbbe42e431fa916f0c875d08138d9aced
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 benchmark-163
Best CPU time to get the best result obtained on this benchmark3588.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
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 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

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.20/0.23	c Default LC presolving (default).
0.20/0.23	c ** Before presolving: virtualMemUsedAtLc = 181133562, getVmSize() = 139563008, SCIPgetMemUsed() = 105352248, SCIPgetMemTotal() = 113485720, SCIPgetMemExternEstim() = 67647842
0.20/0.23	c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.59/0.63	c ** Estimated virtualMemUsedAtSolver = 146050985, getVmSize() = 179568640, SCIPgetMemUsed() = 111658860, SCIPgetMemTotal() = 151428636, SCIPgetMemExternEstim() = 67647842
0.59/0.63	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.63	c Original Problem   :
0.59/0.63	c   Problem name     : instance-4459955-1721943061
0.59/0.63	c   Variables        : 33592 (2000 binary, 0 integer, 31592 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 36593
0.59/0.63	c   Objective sense  : minimize
0.59/0.63	c Presolved Problem  :
0.59/0.63	c   Variables        : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 3001
0.59/0.63	c Constraints        : Number
0.59/0.63	c   knapsack         : 2000 
0.59/0.63	c   setppc           : 1000 
0.59/0.63	c   linear           : 1 
0.59/0.63	c ** Instance transfer method used: 0
0.59/0.65	c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.66	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.66	c                                Nodes    Active                                            
0.59/0.66	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
4.67/4.72	c *       5              0           1         1          -1.0000                -          -
10.16/10.22	c *      10              0           1         1        -106.0000                -          -
10.16/10.22	c        10              0           1         1        -106.0000                -          -
97.09/97.40	c *      97              0           1         1        -111.0000                -          -
97.09/97.40	c        97              0           1         1        -111.0000                -          -
298.39/299.32	c       299              2           1         1        -111.0000        -500.0000    350.45%
488.36/489.88	c       490              3           2         1        -111.0000        -500.0000    350.45%
629.31/631.14	c       631              4           3         1        -111.0000        -500.0000    350.45%
714.69/716.75	c       717              5           4         1        -111.0000        -500.0000    350.45%
828.50/830.84	c       831              6           5         1        -111.0000        -500.0000    350.45%
966.86/969.55	c       970              7           6         1        -111.0000        -500.0000    350.45%
1043.75/1046.62	c      1047              8           7         1        -111.0000        -500.0000    350.45%
1103.08/1106.10	c      1106              9           8         1        -111.0000        -500.0000    350.45%
1108.85/1111.90	c      1112             11          10         1        -111.0000        -500.0000    350.45%
1133.57/1136.79	c      1137             12          11         1        -111.0000        -500.0000    350.45%
1140.55/1143.74	c      1144             14          13         1        -111.0000        -500.0000    350.45%
1218.73/1222.15	c *    1222             15          14         1        -129.0000        -500.0000    287.60%
1218.73/1222.15	c      1222             15          14         1        -129.0000        -500.0000    287.60%
1224.62/1228.08	c      1228             18          17         1        -129.0000        -500.0000    287.60%
1232.98/1236.48	c      1236             20          19         1        -129.0000        -500.0000    287.60%
1239.46/1242.90	c      1243             22          21         1        -129.0000        -500.0000    287.60%
1273.16/1276.78	c      1277             25          24         1        -129.0000        -500.0000    287.60%
1288.42/1292.00	c *    1292             27          26         1        -162.0000        -500.0000    208.64%
1288.42/1292.00	c      1292             27          26         1        -162.0000        -500.0000    208.64%
1295.09/1298.75	c      1299             30          29         1        -162.0000        -500.0000    208.64%
1301.38/1305.06	c      1305             32          31         1        -162.0000        -500.0000    208.64%
1307.15/1310.81	c      1311             34          33         1        -162.0000        -500.0000    208.64%
1338.35/1342.18	c      1342             36          35         1        -162.0000        -500.0000    208.64%
1346.72/1350.55	c      1351             38          37         1        -162.0000        -500.0000    208.64%
1417.01/1421.03	c      1421             39          38         1        -162.0000        -500.0000    208.64%
1432.86/1436.95	c      1437             40          39         1        -162.0000        -500.0000    208.64%
1438.64/1442.73	c      1443             42          41         1        -162.0000        -500.0000    208.64%
1444.32/1448.46	c      1448             44          43         1        -162.0000        -500.0000    208.64%
1449.61/1453.75	c      1454             46          45         1        -162.0000        -500.0000    208.64%
1474.94/1479.10	c      1479             47          46         1        -162.0000        -500.0000    208.64%
1483.11/1487.31	c      1487             49          48         1        -162.0000        -500.0000    208.64%
1488.10/1492.33	c      1492             51          50         1        -162.0000        -500.0000    208.64%
1499.86/1504.16	c      1504             52          51         1        -162.0000        -500.0000    208.64%
1507.24/1511.55	c      1512             55          54         1        -162.0000        -500.0000    208.64%
1536.25/1540.63	c      1541             58          57         1        -162.0000        -500.0000    208.64%
1604.55/1609.17	c      1609             59          58         1        -162.0000        -500.0000    208.64%
1613.22/1617.87	c      1618             61          60         1        -162.0000        -500.0000    208.64%
1628.97/1633.62	c      1634             64          63         1        -162.0000        -500.0000    208.64%
1634.36/1639.04	c      1639             66          65         1        -162.0000        -500.0000    208.64%
1639.54/1644.24	c      1644             68          67         1        -162.0000        -500.0000    208.64%
1660.67/1665.41	c      1665             69          68         1        -162.0000        -500.0000    208.64%
1669.25/1674.09	c      1674             71          70         1        -162.0000        -500.0000    208.64%
1676.03/1680.83	c      1681             73          72         1        -162.0000        -500.0000    208.64%
1681.41/1686.29	c      1686             75          74         1        -162.0000        -500.0000    208.64%
2031.92/2037.78	c      2038             76          75         1        -162.0000        -500.0000    208.64%
2037.59/2043.43	c      2043             78          77         1        -162.0000        -500.0000    208.64%
2114.66/2120.71	c      2121             80          79         1        -162.0000        -500.0000    208.64%
2120.54/2126.69	c      2127             81          80         1        -162.0000        -500.0000    208.64%
2126.82/2132.95	c      2133             83          82         1        -162.0000        -500.0000    208.64%
2134.20/2140.36	c      2140             86          85         1        -162.0000        -500.0000    208.64%
2146.18/2152.36	c      2152             88          87         1        -162.0000        -500.0000    208.64%
2175.61/2181.84	c      2182             91          90         1        -162.0000        -500.0000    208.64%
2182.29/2188.58	c      2189             93          92         1        -162.0000        -500.0000    208.64%
2196.35/2202.62	c      2203             95          94         1        -162.0000        -500.0000    208.64%
2225.48/2231.89	c      2232             97          96         1        -162.0000        -500.0000    208.64%
2255.61/2262.09	c      2262             98          97         1        -162.0000        -500.0000    208.64%
2318.34/2324.98	c      2325             99          98         1        -162.0000        -500.0000    208.64%
2323.83/2330.44	c      2330            100          99         1        -162.0000        -500.0000    208.64%
2338.40/2345.01	c      2345            101         100         1        -162.0000        -500.0000    208.64%
2348.86/2355.54	c      2356            102         101         1        -162.0000        -499.7789    208.51%
2375.40/2382.16	c      2382            103         102         1        -162.0000        -499.7789    208.51%
2392.55/2399.34	c      2399            105         104         1        -162.0000        -499.7789    208.51%
2405.92/2412.73	c      2413            107         106         1        -162.0000        -499.7789    208.51%
2418.58/2425.48	c      2425            109         108         1        -162.0000        -499.7789    208.51%
2432.95/2439.81	c      2440            111         110         1        -162.0000        -499.7789    208.51%
2473.54/2480.55	c      2481            113         112         1        -162.0000        -499.5571    208.37%
2494.38/2501.44	c      2501            115         114         1        -162.0000        -499.5571    208.37%
2555.84/2563.07	c      2563            117         116         1        -162.0000        -499.5571    208.37%
2580.26/2587.58	c      2588            119         118         1        -162.0000        -499.5571    208.37%
2606.50/2613.88	c      2614            121         120         1        -162.0000        -499.5571    208.37%
2646.59/2654.02	c *    2654            122         121         1        -163.0000        -499.3374    206.34%
2646.59/2654.02	c      2654            122         121         1        -163.0000        -499.3374    206.34%
2677.81/2685.35	c      2685            125         124         1        -163.0000        -499.3374    206.34%
2702.54/2710.11	c      2710            127         126         1        -163.0000        -499.3374    206.34%
2726.97/2734.69	c      2735            128         127         1        -163.0000        -499.3374    206.34%
2758.88/2766.69	c      2767            129         128         1        -163.0000        -499.3374    206.34%
2800.88/2808.78	c      2809            131         130         1        -163.0000        -499.3374    206.34%
2871.99/2880.01	c      2880            132         131         1        -163.0000        -499.1119    206.20%
2890.44/2898.54	c      2899            133         132         1        -163.0000        -499.1119    206.20%
2895.52/2903.62	c      2904            136         135         1        -163.0000        -499.1119    206.20%
2919.86/2928.05	c      2928            137         136         1        -163.0000        -499.1119    206.20%
2948.59/2956.81	c      2957            139         138         1        -163.0000        -499.1119    206.20%
2979.50/2987.89	c      2988            141         140         1        -163.0000        -499.1119    206.20%
2986.19/2994.52	c      2995            143         142         1        -163.0000        -498.8862    206.07%
2992.57/3000.92	c      3001            146         145         1        -163.0000        -498.8862    206.07%
3003.83/3012.21	c      3012            149         148         1        -163.0000        -498.8862    206.07%
3024.78/3033.21	c      3033            150         149         1        -163.0000        -498.8862    206.07%
3034.57/3043.02	c      3043            152         151         1        -163.0000        -498.8862    206.07%
3043.74/3052.28	c      3052            156         155         1        -163.0000        -498.8862    206.07%
3049.13/3057.63	c      3058            159         158         1        -163.0000        -498.8862    206.07%
3059.60/3068.15	c      3068            162         161         1        -163.0000        -498.8862    206.07%
3069.07/3077.62	c      3078            165         164         1        -163.0000        -498.8862    206.07%
3074.56/3083.13	c      3083            168         167         1        -163.0000        -498.8862    206.07%
3080.24/3088.86	c      3089            171         170         1        -163.0000        -498.8862    206.07%
3133.70/3142.46	c      3142            172         171         1        -163.0000        -498.6586    205.93%
3140.48/3149.23	c      3149            174         173         1        -163.0000        -498.6586    205.93%
3145.97/3154.74	c      3155            177         176         1        -163.0000        -498.6586    205.93%
3151.05/3159.81	c      3160            179         178         1        -163.0000        -498.6586    205.93%
3157.04/3165.82	c      3166            183         182         1        -163.0000        -498.6586    205.93%
3163.03/3171.84	c      3172            186         185         1        -163.0000        -498.6586    205.93%
3169.41/3178.26	c      3178            190         189         1        -163.0000        -498.6586    205.93%
3175.59/3184.44	c      3184            193         192         1        -163.0000        -498.6586    205.93%
3183.77/3192.65	c      3193            196         195         1        -163.0000        -498.6586    205.93%
3214.29/3223.22	c      3223            198         197         1        -163.0000        -498.6586    205.93%
3220.57/3229.51	c      3230            201         200         1        -163.0000        -498.6586    205.93%
3231.25/3240.21	c      3240            203         202         1        -163.0000        -498.4344    205.79%
3236.53/3245.54	c      3246            205         204         1        -163.0000        -498.4344    205.79%
3242.32/3251.34	c      3251            207         206         1        -163.0000        -498.4344    205.79%
3279.93/3289.06	c      3289            209         208         1        -163.0000        -498.4344    205.79%
3285.02/3294.17	c      3294            211         210         1        -163.0000        -498.4344    205.79%
3306.55/3315.76	c      3316            213         212         1        -163.0000        -498.4344    205.79%
3311.85/3321.09	c      3321            216         215         1        -163.0000        -498.4344    205.79%
3335.28/3344.58	c      3345            219         218         1        -163.0000        -498.4344    205.79%
3341.57/3350.83	c      3351            222         221         1        -163.0000        -498.4344    205.79%
3348.95/3358.28	c      3358            225         224         1        -163.0000        -498.4344    205.79%
3380.87/3390.23	c      3390            228         227         1        -163.0000        -498.4344    205.79%
3388.25/3397.63	c      3398            231         230         1        -163.0000        -498.4344    205.79%
3394.64/3404.07	c      3404            233         232         1        -163.0000        -498.2232    205.66%
3446.20/3455.76	c      3456            234         233         1        -163.0000        -498.2232    205.66%
3466.75/3476.32	c      3476            237         236         1        -163.0000        -498.2232    205.66%
3531.88/3541.63	c      3542            240         239         1        -163.0000        -498.2232    205.66%
3537.07/3546.86	c      3547            242         241         1        -163.0000        -498.2232    205.66%
3558.52/3568.39	c      3568            243         242         1        -163.0000        -498.2232    205.66%
3565.31/3575.15	c      3575            245         244         1        -163.0000        -498.2232    205.66%
3573.88/3583.74	c      3584            248         247         1        -163.0000        -498.2232    205.66%
3580.17/3590.01	c      3590            250         249         1        -163.0000        -498.2232    205.66%
3588.54/3598.49	c      3598            252         251         1        -163.0000        -498.2232    205.66%
3590.14/3600.06	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.14/3600.06	c Total Time         : 3600.05
3590.14/3600.06	c   solving          : 3600.05
3590.14/3600.06	c   presolving       : 0.40 (included in solving)
3590.14/3600.06	c B&B Tree           :
3590.14/3600.06	c   nodes (total)    : 1
3590.14/3600.06	c Solution           :
3590.14/3600.06	c   Solutions found  : 7
3590.14/3600.06	c   Primal Bound     : -1.63000000000000e+02
3590.14/3600.06	c   Dual Bound       : -4.98223208448142e+02
3590.14/3600.06	c Gap                : 205.65841 %
3590.14/3600.06	c * Warning: final gap: 2.05658e+00 is greater than SCIPepsilon: 1.00000e-09
3590.14/3600.07	o -163
3590.14/3600.07	s SATISFIABLE
3590.14/3600.07	v x1807 -x1778 -x1652 -x1997 -x1420 x1744 -x1830 x1958 x1773 -x1256 -x1350 -x1767 -x1093 -x1774 x1901 -x1396 -x1100 -x1583 -x1437 
3590.14/3600.07	v x1993 -x1975 -x1591 -x1112 -x1951 -x1163 -x1394 -x1111 -x1149 -x1780 -x1908 x1887 -x1282 -x1748 -x1430 -x1664 -x1709 -x1536 
3590.14/3600.07	v -x1246 -x1147 -x1760 x1990 -x1521 x1889 -x1923 -x1586 -x1171 -x1801 -x1712 -x1104 -x1645 -x1963 -x1372 -x1392 -x1619 -x1613 -x1746 
3590.14/3600.07	v x1208 -x1617 -x1998 -x1064 -x1552 -x1916 -x1197 -x1813 -x1210 -x1189 -x1264 -x1062 x1460 -x1727 x1383 x1854 -x1205 -x1080 
3590.14/3600.07	v -x1236 -x1829 -x1329 -x1530 -x1196 -x1217 -x1528 -x1337 -x1416 -x1185 -x1056 -x1852 -x1525 -x1726 -x1689 -x1636 -x1356 -x1413 
3590.14/3600.07	v x1904 -x1490 -x1911 x1649 -x1915 -x1716 -x1985 -x1621 x1831 -x1132 -x1108 -x1078 x1841 x1623 -x1517 -x1371 -x1314 -x1103 
3590.14/3600.07	v -x1961 -x1688 x1570 -x1601 x1598 -x1227 -x1173 -x1808 x2000 -x1608 -x1478 -x1512 -x1741 -x1450 -x1646 -x1074 x1844 -x1937 -x1771 
3590.14/3600.07	v -x1338 -x1464 -x1357 -x1180 -x1882 -x1499 -x1072 -x1976 x1214 -x1723 x1710 -x1254 x1775 -x1274 -x1931 -x1662 x1906 -x1902 
3590.14/3600.07	v -x1406 -x1694 -x1592 -x1635 -x1874 -x1142 -x1061 -x1818 -x1671 -x1518 -x1472 -x1224 -x1169 -x1094 -x1218 -x1802 -x1629 -x1639 
3590.14/3600.07	v -x1381 -x1733 -x1077 -x1095 -x1677 -x1670 -x1768 -x1989 x1796 -x1979 -x1529 -x1054 -x1983 -x1914 -x1729 -x1253 -x1307 -x1213 
3590.14/3600.07	v -x1707 -x1978 x1842 x1743 -x1524 -x1921 -x1492 -x1798 -x1654 x1535 -x1567 -x1058 -x1438 -x1388 -x1345 -x1615 -x1633 -x1805 
3590.14/3600.07	v -x1493 -x1893 -x1867 -x1660 -x1409 -x1391 -x1468 -x1244 -x1127 -x1159 -x1946 -x1764 x1653 x1156 -x1515 -x1124 -x1776 x1683 x1614 
3590.14/3600.07	v x1572 -x1815 -x1233 -x1113 -x1713 -x1223 -x1075 -x1919 -x1276 -x1907 -x1722 x1706 -x1109 -x1944 -x1298 -x1973 x1846 -x1861 
3590.14/3600.07	v -x1526 -x1033 x1785 -x1695 -x1692 x1641 -x1181 -x1765 -x1119 -x1368 -x1475 -x1543 x1992 x1336 -x1819 -x1510 -x1158 -x1588 -x1804 
3590.14/3600.07	v -x1797 -x1900 -x1187 -x1031 -x1471 -x1052 -x1551 -x1934 x1938 -x1346 -x1546 -x1138 -x1913 x1759 x1659 -x1553 -x1418 -x1330 
3590.14/3600.07	v -x1301 -x1115 -x1895 -x1784 -x1839 -x1940 -x1980 -x1651 x1500 -x1279 -x1261 -x1881 x1611 -x1899 -x1397 x1308 -x1995 -x1331 
3590.14/3600.07	v x1507 -x1514 -x1446 -x1425 -x1235 -x1188 -x1039 -x1250 -x1806 -x1792 -x1870 -x1783 -x1243 -x1736 -x1219 -x1953 -x1431 -x1728 
3590.14/3600.07	v -x1585 x1562 -x1504 -x1884 -x1318 -x1245 -x1144 -x1098 x1045 -x1441 x1920 x1410 -x1167 -x1452 -x1408 x1982 -x1885 -x1791 -x1772 
3590.14/3600.07	v -x1680 -x1634 x1498 -x1360 -x1342 -x1070 -x1148 -x1541 -x1034 -x1925 -x1311 -x1656 x1395 x1451 -x1616 x1740 -x1024 -x1875 
3590.14/3600.07	v -x1828 x1691 -x1576 -x1393 -x1375 -x1131 -x1843 -x1186 -x1482 -x1126 -x1222 -x1232 -x1950 x1628 -x1855 x1289 -x1686 -x1658 
3590.14/3600.07	v -x1999 -x1380 -x1260 -x1151 x1838 -x1488 -x1814 -x1022 -x1698 -x1690 -x1684 -x1419 x1367 -x1278 -x1252 -x1665 -x1927 -x1270 -x1373 
3590.14/3600.07	v x1642 -x1644 -x1687 x1563 x1503 -x1863 -x1848 -x1753 -x1731 x1708 -x1284 -x1102 -x1675 x1422 -x1952 -x1277 -x1165 -x1377 
3590.14/3600.07	v x1891 -x1082 -x1177 -x1258 -x1647 x1020 x1949 -x1894 x1835 x1763 -x1401 -x1366 -x1267 -x1137 -x1086 -x1833 -x1533 -x1259 -x1734 
3590.14/3600.07	v -x1382 x1912 x1947 -x1436 -x1474 -x1296 -x1640 -x1762 -x1019 -x1789 -x1735 -x1643 -x1609 -x1443 -x1335 -x1312 x1309 x1293 
3590.14/3600.07	v -x1089 -x1071 -x1178 -x1954 -x1358 x1960 -x1584 -x1353 -x1411 -x1125 -x1624 -x1118 -x1162 -x1179 x1991 -x1812 -x1793 -x1548 
3590.14/3600.07	v -x1461 x1423 -x1339 -x1269 -x1228 -x1055 -x1050 -x1305 -x1625 -x1455 -x1872 -x1751 -x1036 -x1376 -x1909 -x1876 x1788 x1542 -x1152 
3590.14/3600.07	v -x1859 -x1714 -x1655 -x1203 -x1168 -x1153 -x1120 -x1172 -x1523 -x1320 -x1820 -x1851 -x1754 -x1363 -x1511 x1550 -x1561 -x1079 
3590.14/3600.07	v -x1175 -x1116 -x1972 -x1971 -x1865 -x1800 x1557 -x1349 -x1194 -x1174 -x1117 -x1038 -x1017 -x1051 -x1858 -x1110 -x1673 -x1215 
3590.14/3600.07	v x1924 -x1281 -x1877 -x1837 -x1610 -x1856 -x1204 -x1015 -x1580 -x1522 -x1429 -x1354 -x1221 -x1749 -x1389 -x1096 -x1467 -x1459 
3590.14/3600.07	v x1266 -x1790 -x1918 -x1044 -x1544 x1750 -x1935 -x1606 -x1445 -x1630 -x1014 -x1929 x1618 -x1484 -x1310 -x1209 -x1121 -x1107 
3590.14/3600.07	v -x1076 -x1047 -x1400 -x1650 -x1676 -x1711 -x1456 -x1850 -x1286 -x1832 -x1747 -x1292 -x1340 x1939 -x1351 -x1013 x1930 -x1466 
3590.14/3600.07	v -x1465 -x1291 -x1230 -x1184 -x1154 x1133 -x1122 -x1067 -x1816 -x1704 x1968 -x1587 -x1220 -x1477 -x1604 x1333 -x1448 -x1540 
3590.14/3600.07	v -x1600 -x1012 x1667 -x1637 -x1590 -x1558 -x1505 -x1453 -x1326 -x1283 -x1272 -x1128 -x1593 -x1202 -x1324 -x1554 -x1836 -x1106 
3590.14/3600.07	v -x1042 -x1491 x1632 -x1811 -x1387 -x1434 -x1011 x1977 -x1936 -x1926 -x1737 -x1571 -x1370 x1693 -x1509 -x1399 -x1025 -x1199 -x1878 
3590.14/3600.07	v x1779 -x1489 -x1449 -x1442 -x1622 -x1531 -x1059 -x1068 -x1085 -x1928 -x1668 -x1341 -x1273 -x1073 -x1857 -x1834 -x1817 x1752 
3590.14/3600.07	v -x1581 -x1569 x1454 -x1398 -x1322 -x1297 x1295 -x1294 -x1237 -x1234 -x1198 -x1060 -x1040 x1685 -x1966 x1602 -x1681 -x1579 
3590.14/3600.07	v -x1669 -x1959 -x1390 -x1871 x1888 -x1696 -x1476 -x1032 -x1555 -x1238 -x1141 -x1066 -x1009 -x1745 -x1666 -x1549 -x1414 -x1405 
3590.14/3600.07	v -x1316 -x1225 -x1083 -x1081 -x1010 -x1481 -x1596 -x1559 -x1769 x1702 x1661 x1268 -x1028 -x1315 -x1539 -x1781 -x1485 -x1343 
3590.14/3600.07	v -x1043 -x1879 -x1313 x1922 -x1211 x1996 -x1799 -x1672 -x1648 x1444 -x1426 x1332 x1263 -x1200 -x1166 -x1041 -x1018 -x1794 -x1063 
3590.14/3600.07	v -x1030 -x1758 -x1486 -x1470 -x1825 -x1348 -x1319 -x1241 -x1663 -x1547 -x1502 -x1674 -x1896 -x1479 -x1087 -x1090 -x1303 x1964 
3590.14/3600.07	v x1824 -x1495 -x1469 -x1458 -x1457 -x1428 -x1417 -x1355 -x1239 -x1216 -x1053 -x1046 -x1679 x1770 -x1519 -x1860 -x1182 -x1577 
3590.14/3600.07	v x1560 -x1933 -x1139 -x1155 -x1756 x1101 -x1578 -x1027 -x1638 -x1849 -x1421 -x1869 -x1006 x1803 -x1782 x1682 -x1599 -x1516 -x1288 
3590.14/3600.07	v -x1255 -x1242 -x1145 -x1136 -x1048 x1008 x1724 -x1810 -x1037 -x1352 -x1057 -x1321 x1987 -x1160 -x1910 -x1135 -x1483 -x1271 
3590.14/3600.07	v x1105 -x1556 -x1427 x1384 -x1463 -x1826 -x1164 -x1385 -x1589 -x1827 -x1005 x1932 -x1917 -x1898 -x1862 x1786 -x1739 -x1730 
3590.14/3600.07	v -x1705 -x1626 -x1612 -x1575 -x1369 -x1347 x1334 -x1304 -x1247 -x1170 -x1143 -x1130 -x1114 -x1069 -x1023 -x1945 -x1212 x1981 
3590.14/3600.07	v x1697 -x1265 x1480 -x1021 -x1717 -x1365 -x1897 -x1853 -x1678 -x1627 -x1513 x1379 -x1494 x1703 x1742 x1207 -x1004 -x1890 -x1840 
3590.14/3600.07	v -x1761 -x1757 -x1403 -x1359 -x1240 -x1231 -x1206 x1201 -x1193 -x1183 -x1123 -x1097 -x1092 -x1035 -x1967 -x1886 -x1986 -x1440 
3590.14/3600.07	v -x1378 -x1847 -x1249 -x1595 -x1501 x1325 -x1864 -x1412 -x1657 -x1506 -x1306 -x1868 -x1433 -x1988 -x1300 -x1134 -x1447 -x1439 
3590.14/3600.07	v -x1974 x1003 x1957 -x1892 -x1701 x1566 -x1537 -x1520 -x1487 -x1435 x1285 -x1262 -x1161 -x1157 -x1065 -x1049 -x1603 x1497 -x1091 
3590.14/3600.07	v -x1407 x1970 x1962 -x1508 -x1140 -x1192 -x1432 x1994 -x1573 x1732 x1738 -x1317 -x1007 -x1755 -x1496 -x1287 -x1873 -x1822 
3590.14/3600.07	v x1568 x1948 -x1190 x1002 -x1956 -x1941 -x1699 -x1607 -x1582 x1564 x1534 x1527 -x1362 x1290 -x1251 -x1229 -x1195 -x1191 -x1129 
3590.14/3600.07	v -x1088 -x1248 -x1344 -x1473 -x1943 -x1532 x1845 -x1176 -x1777 -x1880 -x1462 -x1823 -x1984 x1725 -x1795 -x1620 -x1700 -x1257 
3590.14/3600.07	v x1905 -x1374 -x1631 x1821 x1721 x1883 -x1323 -x1001 -x1866 x1809 -x1787 -x1766 -x1720 -x1597 -x1594 -x1565 -x1424 -x1361 -x1328 
3590.14/3600.07	v -x1299 -x1226 -x1146 -x1099 -x1016 -x1719 -x1574 -x1280 -x1969 x1605 x1718 -x1150 -x1402 x1942 -x1903 -x1415 -x1404 -x1965 
3590.14/3600.07	v x1715 -x1955 -x1545 -x1386 -x1029 -x1026 -x1538 -x1364 -x1327 -x1275 -x1084 -x1302 -x1000 -x999 -x998 -x997 -x996 x995 -x994 
3590.14/3600.07	v -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 x976 x975 -x974 -x973 
3590.14/3600.07	v x972 -x971 -x970 -x969 -x968 x967 x966 x965 -x964 x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 x955 x954 -x953 x952 -x951 -x950 
3590.14/3600.07	v -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 x935 x934 x933 -x932 -x931 -x930 -x929 
3590.14/3600.07	v x928 x927 x926 x925 -x924 x923 -x922 x921 -x920 -x919 x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 x907 -x906 
3590.14/3600.07	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 x897 -x896 x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 x884 
3590.14/3600.07	v -x883 -x882 x881 -x880 x879 -x878 x877 -x876 x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 
3590.14/3600.07	v -x862 -x861 x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 
3590.14/3600.07	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
3590.14/3600.07	v x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 x806 x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 
3590.14/3600.07	v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 
3590.14/3600.07	v -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 x756 
3590.14/3600.07	v -x755 -x754 -x753 -x752 x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 x735 -x734 
3590.14/3600.07	v x733 -x732 x731 -x730 -x729 -x728 x727 x726 -x725 -x724 -x723 x722 -x721 x720 x719 -x718 x717 x716 -x715 x714 -x713 -x712 
3590.14/3600.07	v x711 -x710 -x709 -x708 x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 
3590.14/3600.07	v -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 x679 x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 
3590.14/3600.07	v -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 
3590.14/3600.07	v -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 
3590.14/3600.07	v -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 x617 x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 x606 -x605 -x604 
3590.14/3600.07	v -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 
3590.14/3600.07	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
3590.14/3600.07	v x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 
3590.14/3600.07	v -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 
3590.14/3600.07	v -x518 -x517 -x516 -x515 x514 x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 
3590.14/3600.07	v -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 x482 -x481 -x480 -x479 x478 -x477 -x476 
3590.14/3600.07	v -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 -x461 -x460 x459 -x458 -x457 x456 -x455 -x454 
3590.14/3600.07	v x453 -x452 -x451 -x450 -x449 x448 x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 x433 -x432 
3590.14/3600.07	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 x413 x412 -x411 
3590.14/3600.07	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 x393 x392 -x391 -x390 -x389 
3590.14/3600.07	v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 
3590.14/3600.07	v -x367 -x366 -x365 x364 -x363 -x362 x361 -x360 -x359 x358 x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 
3590.14/3600.07	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 x330 -x329 -x328 -x327 x326 -x325 
3590.14/3600.07	v x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 x312 x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 
3590.14/3600.07	v -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 
3590.14/3600.07	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 
3590.14/3600.07	v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 
3590.14/3600.07	v -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 
3590.14/3600.07	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 
3590.14/3600.07	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 
3590.14/3600.07	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 
3590.14/3600.07	v -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 
3590.14/3600.07	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3590.24/3600.14	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
3590.24/3600.14	v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 
3590.24/3600.14	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 
3590.24/3600.14	v -x40 -x39 x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 
3590.24/3600.14	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-163

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 (49711 MiB free)
  memory of node 1: 64510 MiB (58329 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=248800, runsolver pid=248786

[startup+0.100187 s]*
/proc/loadavg: 1.12 1.13 1.18 7/259 248808
/proc/meminfo: memFree=110521728/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=76780 memory=63520 CPUtime=0.1 cores=1,3
/proc/248800/stat : 248800 (fscip) R 248786 248800 246692 0 -1 4194304 13795 0 0 0 8 2 0 0 20 0 1 0 30830330 78622720 15880 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 19195 15880 2334 3032 0 15595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 63520 KiB

[startup+0.206429 s]*
/proc/loadavg: 1.12 1.13 1.18 7/258 248818
/proc/meminfo: memFree=110436536/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=130872 memory=120300 CPUtime=0.2 cores=1,3
/proc/248800/stat : 248800 (fscip) R 248786 248800 246692 0 -1 4194304 28291 0 0 0 16 4 0 0 20 0 1 0 30830330 134012928 30075 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 32718 30075 2574 3032 0 29118 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130872 KiB
Current children cumulated memory: 120300 KiB

[startup+0.306394 s]*
/proc/loadavg: 1.12 1.13 1.18 6/258 248818
/proc/meminfo: memFree=110390968/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=160984 memory=148388 CPUtime=0.3 cores=1,3
/proc/248800/stat : 248800 (fscip) R 248786 248800 246692 0 -1 4194304 35355 0 0 0 25 5 0 0 20 0 1 0 30830330 164847616 37097 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 40246 37097 2606 3032 0 36646 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 160984 KiB
Current children cumulated memory: 148388 KiB

[startup+0.701203 s]
/proc/loadavg: 1.12 1.13 1.18 7/258 248846
/proc/meminfo: memFree=110407432/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=266424 memory=190376 CPUtime=0.69 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 46928 0 0 0 62 7 0 0 20 0 3 0 30830330 272818176 47594 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 66606 47594 2734 3032 0 52357 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 266424 KiB
Current children cumulated memory: 190376 KiB

[startup+1.50024 s]
/proc/loadavg: 1.12 1.13 1.18 7/260 248884
/proc/meminfo: memFree=110301296/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=329796 memory=232912 CPUtime=1.48 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 58638 0 0 0 140 8 0 0 20 0 3 0 30830330 337711104 58228 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 82449 58228 2910 3032 0 62890 0
[pid=248800/tid=248859] ppid=248786 vsize=329796 memory=11480 CPUtime=0.84 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 18077 0 0 0 82 2 0 0 20 0 3 0 30830393 337711104 58228 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=329796 memory=61728 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830396 337711104 58228 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329796 KiB
Current children cumulated memory: 232912 KiB

[startup+3.10621 s]
/proc/loadavg: 1.12 1.13 1.18 7/267 248908
/proc/meminfo: memFree=110099216/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=346288 memory=257140 CPUtime=3.08 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 64747 0 0 0 299 9 0 0 20 0 3 0 30830330 354598912 64285 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 86572 64285 2910 3032 0 69160 0
[pid=248800/tid=248859] ppid=248786 vsize=346288 memory=203816 CPUtime=2.43 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 24179 0 0 0 240 3 0 0 20 0 3 0 30830393 354598912 64285 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=346288 memory=11480 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 30830396 354598912 64285 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 346288 KiB
Current children cumulated memory: 257140 KiB

[startup+6.30025 s]
/proc/loadavg: 1.35 1.18 1.20 7/267 248908
/proc/meminfo: memFree=110016532/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=360972 memory=303592 CPUtime=6.27 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 86484 0 0 0 614 13 0 0 20 0 3 0 30830330 369635328 75898 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 90243 75898 2958 3032 0 82398 0
[pid=248800/tid=248859] ppid=248786 vsize=360972 memory=11480 CPUtime=5.62 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 45615 0 0 0 556 6 0 0 20 0 3 0 30830393 369635328 75898 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=360972 memory=280547129641920 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 30830396 369635328 75898 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360972 KiB
Current children cumulated memory: 303592 KiB

[startup+12.7008 s]
/proc/loadavg: 1.57 1.23 1.21 7/267 248910
/proc/meminfo: memFree=109873520/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=430384 memory=337592 CPUtime=12.65 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 104697 0 0 0 1250 15 0 0 20 0 3 0 30830330 440713216 84398 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 107596 84398 2958 3032 0 92054 0
[pid=248800/tid=248859] ppid=248786 vsize=430384 memory=279800 CPUtime=12.01 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 63656 0 0 0 1192 9 0 0 20 0 3 0 30830393 440713216 84398 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=430384 memory=321268 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 30830396 440713216 84398 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 430384 KiB
Current children cumulated memory: 337592 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.26 7/267 248911
/proc/meminfo: memFree=109808288/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=381452 memory=334456 CPUtime=25.42 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 146686 0 0 0 2524 18 0 0 20 0 3 0 30830330 390606848 83614 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 95363 83614 2958 3032 0 91202 0
[pid=248800/tid=248859] ppid=248786 vsize=381452 memory=332836 CPUtime=24.77 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 105641 0 0 0 2465 12 0 0 20 0 3 0 30830393 390606848 83614 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=381452 memory=332708 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 30830396 390606848 83614 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 381452 KiB
Current children cumulated memory: 334456 KiB

[startup+51.1062 s]
/proc/loadavg: 2.81 1.59 1.34 7/267 248916
/proc/meminfo: memFree=109734200/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=376384 memory=336264 CPUtime=50.94 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 206032 0 0 0 5069 25 0 0 20 0 3 0 30830330 385417216 84066 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 94096 84066 2958 3032 0 90349 0
[pid=248800/tid=248859] ppid=248786 vsize=376384 memory=336120 CPUtime=50.29 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 164974 0 0 0 5011 18 0 0 20 0 3 0 30830393 385417216 84066 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=376384 memory=338196 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 30830396 385417216 84066 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 376384 KiB
Current children cumulated memory: 336264 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.49 7/267 248926
/proc/meminfo: memFree=109583576/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=355672 CPUtime=101.97 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 247357 0 0 0 10169 28 0 0 20 0 3 0 30830330 452526080 88918 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 88918 2958 3032 0 94760 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=352480 CPUtime=101.32 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 205984 0 0 0 10110 22 0 0 20 0 3 0 30830393 452526080 88918 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=337472 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 30830396 452526080 88918 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 355672 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.38 1.66 7/267 248937
/proc/meminfo: memFree=109551780/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=355680 CPUtime=161.81 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 258169 0 0 0 16152 29 0 0 20 0 3 0 30830330 452526080 88920 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 88920 2958 3032 0 94760 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=355672 CPUtime=161.16 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 216783 0 0 0 16093 23 0 0 20 0 3 0 30830393 452526080 88920 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=355680 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 30830396 452526080 88920 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 355680 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.69 1.81 7/266 248948
/proc/meminfo: memFree=109530240/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=361456 CPUtime=221.64 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 260607 0 0 0 22134 30 0 0 20 0 3 0 30830330 452526080 90364 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 90364 2958 3032 0 94760 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=357696 CPUtime=220.99 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 219214 0 0 0 22076 23 0 0 20 0 3 0 30830393 452526080 90364 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=20984 CPUtime=0 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 30830396 452526080 90364 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 361456 KiB


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

[pid=248800] ppid=248786 vsize=441920 memory=388460 CPUtime=3452.78 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 468614 0 0 0 345204 74 0 0 20 0 3 0 30830330 452526080 97115 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 97115 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=392580 CPUtime=3452.07 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 425874 0 0 0 345143 64 0 0 20 0 3 0 30830393 452526080 97115 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=-7665546195823584382 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 416 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 97115 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 388460 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.25 3.17 5/256 251234
/proc/meminfo: memFree=109030376/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=390532 CPUtime=3512.63 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 469731 0 0 0 351189 74 0 0 20 0 3 0 30830330 452526080 97633 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 97633 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=390532 CPUtime=3511.92 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 426963 0 0 0 351128 64 0 0 20 0 3 0 30830393 452526080 97633 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=11480 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 97633 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 390532 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.22 3.17 5/259 251304
/proc/meminfo: memFree=109027292/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3572.49 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 470946 0 0 0 357174 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=392580 CPUtime=3571.76 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 428147 0 0 0 357112 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=11480 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 428 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

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

# cumulated CPU time of all completed processes:  user=3589.53 s, system=0.759716 s

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

[startup+3584 s]*
/proc/loadavg: 3.11 3.22 3.17 5/259 251304
/proc/meminfo: memFree=109027244/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3574.19 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 470946 0 0 0 357344 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=-3535359994705170788 CPUtime=3573.46 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 428147 0 0 0 357282 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=7955724625762544489 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 428 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3590.4 s]
/proc/loadavg: 3.09 3.21 3.17 5/259 251306
/proc/meminfo: memFree=109027096/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3580.57 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 470948 0 0 0 357982 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=392580 CPUtime=3579.84 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 428149 0 0 0 357920 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=392580 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 428 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3596.8 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251306
/proc/meminfo: memFree=109027088/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3586.95 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 471529 0 0 0 358620 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=3152 CPUtime=3586.22 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 428716 0 0 0 358558 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=392580 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3598.4 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251306
/proc/meminfo: memFree=109027112/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3588.54 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 471529 0 0 0 358779 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=11480 CPUtime=3587.82 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 428716 0 0 0 358718 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=61852 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3588.54 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3599.2 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251308
/proc/meminfo: memFree=109027012/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3589.34 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 471957 0 0 0 358859 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=61852 CPUtime=3588.61 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 429134 0 0 0 358797 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=392580 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3599.6 s]
/proc/loadavg: 3.08 3.20 3.17 5/259 251308
/proc/meminfo: memFree=109027012/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3589.74 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 471957 0 0 0 358899 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=6720666562497887842 CPUtime=3589.01 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 429134 0 0 0 358837 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=1984 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3589.74 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3600 s]*
/proc/loadavg: 3.16 3.22 3.17 5/259 251308
/proc/meminfo: memFree=109027008/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=441920 memory=392580 CPUtime=3590.14 cores=1,3
/proc/248800/stat : 248800 (fscip) S 248786 248800 246692 0 -1 1077936128 471957 0 0 0 358939 75 0 0 20 0 3 0 30830330 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 110480 98145 2958 3032 0 102712 0
[pid=248800/tid=248859] ppid=248786 vsize=441920 memory=6720662130125192807 CPUtime=3589.42 cores=1,3
/proc/248800/task/248859/stat : 248859 (fscip) R 248786 248800 246692 0 -1 4194368 429134 0 0 0 358878 64 0 0 20 0 3 0 30830393 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
[pid=248800/tid=248860] ppid=248786 vsize=441920 memory=-9054130140614608027 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 3 0 30830396 452526080 98145 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3590.14 s
Current children cumulated vsize: 441920 KiB
Current children cumulated memory: 392580 KiB

[startup+3600.11 s]
/proc/loadavg: 3.16 3.22 3.17 5/259 251308
/proc/meminfo: memFree=109027008/131524600 swapFree=131054736/131071996
[pid=248800] ppid=248786 vsize=379084 memory=333808 CPUtime=3590.24 cores=1,3
/proc/248800/stat : 248800 (fscip) R 248786 248800 246692 0 -1 4194304 477110 0 0 0 358949 75 0 0 20 0 2 0 30830330 388182016 83452 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
/proc/248800/statm: 94771 83452 2958 3032 0 87003 0
[pid=248800/tid=248860] ppid=248786 vsize=379084 memory=392580 CPUtime=0.04 cores=1,3
/proc/248800/task/248860/stat : 248860 (fscip) S 248786 248800 246692 0 -1 1077936192 433 0 0 0 1 3 0 0 20 0 2 0 30830396 388182016 83452 134679101440 4194304 16613245 140728382271808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38293504 140728382280724 140728382280840 140728382280840 140728382287856 0
Current children cumulated CPU time: 3590.24 s
Current children cumulated vsize: 379084 KiB
Current children cumulated memory: 333808 KiB

Child status: 0

Real time (s): 3600.14
CPU time (s): 3590.29
CPU user time (s): 3589.53
CPU system time (s): 0.759716
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 441920
Max. memory (cumulated for all children) (KiB): 395608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.53
system time used= 0.759716
maximum resident set size= 395608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480199
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= 4159
involuntary context switches= 1403


# summary of solver processes directly reported to runsolver:
#   pid: 248800
#   total CPU time (s): 3590.29
#   total CPU user time (s): 3589.53
#   total CPU system time (s): 0.759716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08138 second user time and 17.6402 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 23:31:01
IDJOB=4459955
IDBENCH=148687
IDSOLVER=3064
FILE ID=nodeC034/4459955-1721943061
RUNJOBID= nodeC034-1721943061-248740
SLURM_JOB_ID= 8247254
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.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-4459955-1721943061/watcher-4459955-1721943061 -o /tmp/evaluation-result-4459955-1721943061/solver-4459955-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248740 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459955-1721943061.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= bbe42e431fa916f0c875d08138d9aced
RANDOM SEED=17340828

nodeC034.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		: 3758.532
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.92
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		: 3707.967
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.84
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		: 3612.814
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.92
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		: 3779.595
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.84
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		: 3639.315
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.92
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		: 3634.694
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.84
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		: 3733.290
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.92
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		: 3804.705
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110636004 kB
MemAvailable:   129694060 kB
Buffers:          332884 kB
Cached:         19484216 kB
SwapCached:          112 kB
Active:          1821072 kB
Inactive:       18352172 kB
Active(anon):       1816 kB
Inactive(anon):   396960 kB
Active(file):    1819256 kB
Inactive(file): 17955212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:            114204 kB
Writeback:            16 kB
AnonPages:        355316 kB
Mapped:            93752 kB
Shmem:             42580 kB
KReclaimable:     246472 kB
Slab:             362232 kB
SReclaimable:     246472 kB
SUnreclaim:       115760 kB
KernelStack:        3872 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     712592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC034 at 2024-07-26 00:31:02