Trace number 4464771

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-30SAT-163 3588.03 3598.78

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: 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.20/0.22	c Default LC presolving (default).
0.20/0.22	c ** Before presolving: virtualMemUsedAtLc = 181133562, getVmSize() = 139522048, SCIPgetMemUsed() = 105352328, SCIPgetMemTotal() = 113485720, SCIPgetMemExternEstim() = 67647842
0.20/0.22	c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.59/0.65	c ** Estimated virtualMemUsedAtSolver = 146050985, getVmSize() = 179580928, SCIPgetMemUsed() = 111658940, SCIPgetMemTotal() = 151428636, SCIPgetMemExternEstim() = 67647842
0.59/0.65	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.65	c Original Problem   :
0.59/0.65	c   Problem name     : instance-4464771-1722382194
0.59/0.65	c   Variables        : 33592 (2000 binary, 0 integer, 31592 implicit integer, 0 continuous)
0.59/0.65	c   Constraints      : 36593
0.59/0.65	c   Objective sense  : minimize
0.59/0.65	c Presolved Problem  :
0.59/0.65	c   Variables        : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.65	c   Constraints      : 3001
0.59/0.65	c Constraints        : Number
0.59/0.65	c   knapsack         : 2000 
0.59/0.65	c   setppc           : 1000 
0.59/0.65	c   linear           : 1 
0.59/0.65	c ** Instance transfer method used: 0
0.59/0.66	c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.67	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.67	c                                Nodes    Active                                            
0.59/0.67	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
4.77/4.80	c *       5              0           1         1          -1.0000                -          -
10.16/10.20	c *      10              0           1         1        -106.0000                -          -
10.16/10.20	c        10              0           1         1        -106.0000                -          -
98.57/98.92	c *      99              0           1         1        -111.0000                -          -
98.57/98.92	c        99              0           1         1        -111.0000                -          -
294.95/295.94	c       296              2           1         1        -111.0000        -500.0000    350.45%
484.26/485.76	c       486              3           2         1        -111.0000        -500.0000    350.45%
638.61/640.57	c       641              4           3         1        -111.0000        -500.0000    350.45%
731.84/734.02	c       734              5           4         1        -111.0000        -500.0000    350.45%
854.98/857.58	c       858              6           5         1        -111.0000        -500.0000    350.45%
1003.17/1006.14	c      1006              7           6         1        -111.0000        -500.0000    350.45%
1089.58/1092.84	c      1093              8           7         1        -111.0000        -500.0000    350.45%
1162.11/1165.67	c      1166              9           8         1        -111.0000        -500.0000    350.45%
1168.78/1172.35	c      1172             11          10         1        -111.0000        -500.0000    350.45%
1196.49/1200.18	c      1200             12          11         1        -111.0000        -500.0000    350.45%
1204.46/1208.20	c      1208             14          13         1        -111.0000        -500.0000    350.45%
1294.15/1298.14	c *    1298             15          14         1        -129.0000        -500.0000    287.60%
1294.15/1298.14	c      1298             15          14         1        -129.0000        -500.0000    287.60%
1300.72/1304.80	c      1305             18          17         1        -129.0000        -500.0000    287.60%
1306.20/1310.20	c      1310             19          18         1        -129.0000        -500.0000    287.60%
1314.37/1318.40	c      1318             21          20         1        -129.0000        -500.0000    287.60%
1320.35/1324.40	c      1324             23          22         1        -129.0000        -500.0000    287.60%
1354.84/1359.07	c      1359             25          24         1        -129.0000        -500.0000    287.60%
1372.18/1376.43	c *    1376             27          26         1        -162.0000        -500.0000    208.64%
1372.18/1376.43	c      1376             27          26         1        -162.0000        -500.0000    208.64%
1379.76/1384.00	c      1384             30          29         1        -162.0000        -500.0000    208.64%
1387.13/1391.48	c      1391             32          31         1        -162.0000        -500.0000    208.64%
1393.51/1397.82	c      1398             34          33         1        -162.0000        -500.0000    208.64%
1427.89/1432.36	c      1432             36          35         1        -162.0000        -500.0000    208.64%
1437.36/1441.83	c      1442             38          37         1        -162.0000        -500.0000    208.64%
1514.32/1519.03	c      1519             39          38         1        -162.0000        -500.0000    208.64%
1531.46/1536.22	c      1536             40          39         1        -162.0000        -500.0000    208.64%
1537.73/1542.59	c      1543             42          41         1        -162.0000        -500.0000    208.64%
1544.22/1549.03	c      1549             44          43         1        -162.0000        -500.0000    208.64%
1550.30/1555.17	c      1555             46          45         1        -162.0000        -500.0000    208.64%
1578.00/1582.96	c      1583             47          46         1        -162.0000        -500.0000    208.64%
1586.87/1591.87	c      1592             49          48         1        -162.0000        -500.0000    208.64%
1592.45/1597.48	c      1597             51          50         1        -162.0000        -500.0000    208.64%
1605.03/1610.05	c      1610             52          51         1        -162.0000        -500.0000    208.64%
1610.11/1615.15	c      1615             54          53         1        -162.0000        -500.0000    208.64%
1616.29/1621.34	c      1621             56          55         1        -162.0000        -500.0000    208.64%
1645.08/1650.25	c      1650             58          57         1        -162.0000        -500.0000    208.64%
1720.55/1725.90	c      1726             59          58         1        -162.0000        -500.0000    208.64%
1730.12/1735.58	c      1736             61          60         1        -162.0000        -500.0000    208.64%
1746.87/1752.38	c      1752             64          63         1        -162.0000        -500.0000    208.64%
1752.95/1758.41	c      1758             66          65         1        -162.0000        -500.0000    208.64%
1758.83/1764.35	c      1764             68          67         1        -162.0000        -500.0000    208.64%
1781.76/1787.35	c      1787             69          68         1        -162.0000        -500.0000    208.64%
1791.43/1797.04	c      1797             71          70         1        -162.0000        -500.0000    208.64%
1796.91/1802.51	c      1803             72          71         1        -162.0000        -500.0000    208.64%
1802.29/1807.96	c      1808             74          73         1        -162.0000        -500.0000    208.64%
2174.19/2180.96	c      2181             76          75         1        -162.0000        -500.0000    208.64%
2180.17/2186.93	c      2187             78          77         1        -162.0000        -500.0000    208.64%
2262.53/2269.55	c      2270             80          79         1        -162.0000        -500.0000    208.64%
2268.90/2275.91	c      2276             81          80         1        -162.0000        -500.0000    208.64%
2275.39/2282.49	c      2282             83          82         1        -162.0000        -500.0000    208.64%
2280.67/2287.73	c      2288             85          84         1        -162.0000        -500.0000    208.64%
2295.83/2302.98	c      2303             88          87         1        -162.0000        -500.0000    208.64%
2326.94/2334.17	c      2334             91          90         1        -162.0000        -500.0000    208.64%
2334.31/2341.52	c      2342             93          92         1        -162.0000        -500.0000    208.64%
2349.07/2356.35	c      2356             95          94         1        -162.0000        -500.0000    208.64%
2379.79/2387.19	c      2387             97          96         1        -162.0000        -500.0000    208.64%
2411.59/2419.09	c      2419             98          97         1        -162.0000        -500.0000    208.64%
2477.51/2485.16	c      2485             99          98         1        -162.0000        -500.0000    208.64%
2483.19/2490.82	c      2491            100          99         1        -162.0000        -500.0000    208.64%
2498.45/2506.11	c      2506            101         100         1        -162.0000        -500.0000    208.64%
2509.61/2517.34	c      2517            102         101         1        -162.0000        -499.7789    208.51%
2537.83/2545.69	c      2546            103         102         1        -162.0000        -499.7789    208.51%
2555.48/2563.35	c      2563            105         104         1        -162.0000        -499.7789    208.51%
2569.25/2577.13	c      2577            107         106         1        -162.0000        -499.7789    208.51%
2582.50/2590.43	c      2590            109         108         1        -162.0000        -499.7789    208.51%
2597.07/2605.08	c      2605            111         110         1        -162.0000        -499.7789    208.51%
2640.94/2649.04	c      2649            113         112         1        -162.0000        -499.5571    208.37%
2662.66/2670.82	c      2671            115         114         1        -162.0000        -499.5571    208.37%
2726.79/2735.11	c      2735            117         116         1        -162.0000        -499.5571    208.37%
2751.91/2760.39	c      2760            119         118         1        -162.0000        -499.5571    208.37%
2779.53/2788.03	c      2788            121         120         1        -162.0000        -499.5571    208.37%
2822.21/2830.87	c *    2831            122         121         1        -163.0000        -499.3374    206.34%
2822.21/2830.87	c      2831            122         121         1        -163.0000        -499.3374    206.34%
2854.91/2863.62	c      2864            125         124         1        -163.0000        -499.3374    206.34%
2880.53/2889.39	c      2889            127         126         1        -163.0000        -499.3374    206.34%
2905.77/2914.62	c      2915            128         127         1        -163.0000        -499.3374    206.34%
2939.27/2948.25	c      2948            129         128         1        -163.0000        -499.3374    206.34%
2983.64/2992.76	c      2993            131         130         1        -163.0000        -499.3374    206.34%
3060.61/3069.91	c      3070            132         131         1        -163.0000        -499.1119    206.20%
3080.25/3089.61	c      3090            133         132         1        -163.0000        -499.1119    206.20%
3085.44/3094.83	c      3095            136         135         1        -163.0000        -499.1119    206.20%
3111.76/3121.20	c      3121            137         136         1        -163.0000        -499.1119    206.20%
3141.58/3151.13	c      3151            139         138         1        -163.0000        -499.1119    206.20%
3174.48/3184.17	c      3184            141         140         1        -163.0000        -499.1119    206.20%
3181.76/3191.47	c      3191            143         142         1        -163.0000        -498.8862    206.07%
3188.34/3198.09	c      3198            146         145         1        -163.0000        -498.8862    206.07%
3200.01/3209.73	c      3210            149         148         1        -163.0000        -498.8862    206.07%
3221.74/3231.55	c      3232            150         149         1        -163.0000        -498.8862    206.07%
3231.72/3241.58	c      3242            152         151         1        -163.0000        -498.8862    206.07%
3241.30/3251.16	c      3251            156         155         1        -163.0000        -498.8862    206.07%
3246.68/3256.55	c      3257            159         158         1        -163.0000        -498.8862    206.07%
3257.55/3267.47	c      3267            162         161         1        -163.0000        -498.8862    206.07%
3267.33/3277.26	c      3277            165         164         1        -163.0000        -498.8862    206.07%
3273.21/3283.12	c      3283            168         167         1        -163.0000        -498.8862    206.07%
3279.20/3289.19	c      3289            171         170         1        -163.0000        -498.8862    206.07%
3335.82/3345.94	c      3346            172         171         1        -163.0000        -498.6586    205.93%
3342.90/3353.01	c      3353            174         173         1        -163.0000        -498.6586    205.93%
3348.89/3359.03	c      3359            177         176         1        -163.0000        -498.6586    205.93%
3354.17/3364.33	c      3364            179         178         1        -163.0000        -498.6586    205.93%
3360.35/3370.52	c      3371            183         182         1        -163.0000        -498.6586    205.93%
3366.73/3376.99	c      3377            186         185         1        -163.0000        -498.6586    205.93%
3373.31/3383.54	c      3384            190         189         1        -163.0000        -498.6586    205.93%
3379.69/3389.90	c      3390            193         192         1        -163.0000        -498.6586    205.93%
3387.97/3398.29	c      3398            196         195         1        -163.0000        -498.6586    205.93%
3419.69/3430.05	c      3430            198         197         1        -163.0000        -498.6586    205.93%
3426.06/3436.49	c      3436            201         200         1        -163.0000        -498.6586    205.93%
3437.73/3448.14	c      3448            203         202         1        -163.0000        -498.4344    205.79%
3443.21/3453.66	c      3454            205         204         1        -163.0000        -498.4344    205.79%
3449.10/3459.56	c      3460            207         206         1        -163.0000        -498.4344    205.79%
3488.00/3498.58	c      3499            209         208         1        -163.0000        -498.4344    205.79%
3493.28/3503.83	c      3504            211         210         1        -163.0000        -498.4344    205.79%
3515.43/3526.02	c      3526            213         212         1        -163.0000        -498.4344    205.79%
3520.91/3531.57	c      3532            216         215         1        -163.0000        -498.4344    205.79%
3545.46/3556.11	c      3556            219         218         1        -163.0000        -498.4344    205.79%
3551.74/3562.48	c      3562            222         221         1        -163.0000        -498.4344    205.79%
3557.03/3567.73	c      3568            224         223         1        -163.0000        -498.4344    205.79%
3564.61/3575.34	c      3575            227         226         1        -163.0000        -498.4344    205.79%
3587.84/3598.65	c      3599            227         226         0        -163.0000        -498.4344    205.79%
3587.84/3598.69	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.84/3598.69	c Total Time         : 3598.68
3587.84/3598.69	c   solving          : 3598.68
3587.84/3598.69	c   presolving       : 0.43 (included in solving)
3587.84/3598.69	c B&B Tree           :
3587.84/3598.69	c   nodes (total)    : 1
3587.84/3598.69	c Solution           :
3587.84/3598.69	c   Solutions found  : 7
3587.84/3598.69	c   Primal Bound     : -1.63000000000000e+02
3587.84/3598.69	c   Dual Bound       : -4.98434386660057e+02
3587.84/3598.69	c Gap                : 205.78797 %
3587.84/3598.69	c * Warning: final gap: 2.05788e+00 is greater than SCIPepsilon: 1.00000e-09
3587.95/3598.70	o -163
3587.95/3598.70	s SATISFIABLE
3587.95/3598.70	v x1807 -x1778 -x1652 -x1997 -x1420 x1744 -x1830 x1958 x1773 -x1256 -x1350 -x1767 -x1093 -x1774 x1901 -x1396 -x1100 -x1583 -x1437 
3587.95/3598.70	v x1993 -x1975 -x1591 -x1112 -x1951 -x1163 -x1394 -x1111 -x1149 -x1780 -x1908 x1887 -x1282 -x1748 -x1430 -x1664 -x1709 -x1536 
3587.95/3598.70	v -x1246 -x1147 -x1760 x1990 -x1521 x1889 -x1923 -x1586 -x1171 -x1801 -x1712 -x1104 -x1645 -x1963 -x1372 -x1392 -x1619 -x1613 -x1746 
3587.95/3598.70	v x1208 -x1617 -x1998 -x1064 -x1552 -x1916 -x1197 -x1813 -x1210 -x1189 -x1264 -x1062 x1460 -x1727 x1383 x1854 -x1205 -x1080 
3587.95/3598.70	v -x1236 -x1829 -x1329 -x1530 -x1196 -x1217 -x1528 -x1337 -x1416 -x1185 -x1056 -x1852 -x1525 -x1726 -x1689 -x1636 -x1356 -x1413 
3587.95/3598.70	v x1904 -x1490 -x1911 x1649 -x1915 -x1716 -x1985 -x1621 x1831 -x1132 -x1108 -x1078 x1841 x1623 -x1517 -x1371 -x1314 -x1103 
3587.95/3598.70	v -x1961 -x1688 x1570 -x1601 x1598 -x1227 -x1173 -x1808 x2000 -x1608 -x1478 -x1512 -x1741 -x1450 -x1646 -x1074 x1844 -x1937 -x1771 
3587.95/3598.70	v -x1338 -x1464 -x1357 -x1180 -x1882 -x1499 -x1072 -x1976 x1214 -x1723 x1710 -x1254 x1775 -x1274 -x1931 -x1662 x1906 -x1902 
3587.95/3598.70	v -x1406 -x1694 -x1592 -x1635 -x1874 -x1142 -x1061 -x1818 -x1671 -x1518 -x1472 -x1224 -x1169 -x1094 -x1218 -x1802 -x1629 -x1639 
3587.95/3598.70	v -x1381 -x1733 -x1077 -x1095 -x1677 -x1670 -x1768 -x1989 x1796 -x1979 -x1529 -x1054 -x1983 -x1914 -x1729 -x1253 -x1307 -x1213 
3587.95/3598.70	v -x1707 -x1978 x1842 x1743 -x1524 -x1921 -x1492 -x1798 -x1654 x1535 -x1567 -x1058 -x1438 -x1388 -x1345 -x1615 -x1633 -x1805 
3587.95/3598.70	v -x1493 -x1893 -x1867 -x1660 -x1409 -x1391 -x1468 -x1244 -x1127 -x1159 -x1946 -x1764 x1653 x1156 -x1515 -x1124 -x1776 x1683 x1614 
3587.95/3598.70	v x1572 -x1815 -x1233 -x1113 -x1713 -x1223 -x1075 -x1919 -x1276 -x1907 -x1722 x1706 -x1109 -x1944 -x1298 -x1973 x1846 -x1861 
3587.95/3598.70	v -x1526 -x1033 x1785 -x1695 -x1692 x1641 -x1181 -x1765 -x1119 -x1368 -x1475 -x1543 x1992 x1336 -x1819 -x1510 -x1158 -x1588 -x1804 
3587.95/3598.70	v -x1797 -x1900 -x1187 -x1031 -x1471 -x1052 -x1551 -x1934 x1938 -x1346 -x1546 -x1138 -x1913 x1759 x1659 -x1553 -x1418 -x1330 
3587.95/3598.70	v -x1301 -x1115 -x1895 -x1784 -x1839 -x1940 -x1980 -x1651 x1500 -x1279 -x1261 -x1881 x1611 -x1899 -x1397 x1308 -x1995 -x1331 
3587.95/3598.70	v x1507 -x1514 -x1446 -x1425 -x1235 -x1188 -x1039 -x1250 -x1806 -x1792 -x1870 -x1783 -x1243 -x1736 -x1219 -x1953 -x1431 -x1728 
3587.95/3598.70	v -x1585 x1562 -x1504 -x1884 -x1318 -x1245 -x1144 -x1098 x1045 -x1441 x1920 x1410 -x1167 -x1452 -x1408 x1982 -x1885 -x1791 -x1772 
3587.95/3598.70	v -x1680 -x1634 x1498 -x1360 -x1342 -x1070 -x1148 -x1541 -x1034 -x1925 -x1311 -x1656 x1395 x1451 -x1616 x1740 -x1024 -x1875 
3587.95/3598.70	v -x1828 x1691 -x1576 -x1393 -x1375 -x1131 -x1843 -x1186 -x1482 -x1126 -x1222 -x1232 -x1950 x1628 -x1855 x1289 -x1686 -x1658 
3587.95/3598.70	v -x1999 -x1380 -x1260 -x1151 x1838 -x1488 -x1814 -x1022 -x1698 -x1690 -x1684 -x1419 x1367 -x1278 -x1252 -x1665 -x1927 -x1270 -x1373 
3587.95/3598.70	v x1642 -x1644 -x1687 x1563 x1503 -x1863 -x1848 -x1753 -x1731 x1708 -x1284 -x1102 -x1675 x1422 -x1952 -x1277 -x1165 -x1377 
3587.95/3598.70	v x1891 -x1082 -x1177 -x1258 -x1647 x1020 x1949 -x1894 x1835 x1763 -x1401 -x1366 -x1267 -x1137 -x1086 -x1833 -x1533 -x1259 -x1734 
3587.95/3598.70	v -x1382 x1912 x1947 -x1436 -x1474 -x1296 -x1640 -x1762 -x1019 -x1789 -x1735 -x1643 -x1609 -x1443 -x1335 -x1312 x1309 x1293 
3587.95/3598.70	v -x1089 -x1071 -x1178 -x1954 -x1358 x1960 -x1584 -x1353 -x1411 -x1125 -x1624 -x1118 -x1162 -x1179 x1991 -x1812 -x1793 -x1548 
3587.95/3598.70	v -x1461 x1423 -x1339 -x1269 -x1228 -x1055 -x1050 -x1305 -x1625 -x1455 -x1872 -x1751 -x1036 -x1376 -x1909 -x1876 x1788 x1542 -x1152 
3587.95/3598.70	v -x1859 -x1714 -x1655 -x1203 -x1168 -x1153 -x1120 -x1172 -x1523 -x1320 -x1820 -x1851 -x1754 -x1363 -x1511 x1550 -x1561 -x1079 
3587.95/3598.70	v -x1175 -x1116 -x1972 -x1971 -x1865 -x1800 x1557 -x1349 -x1194 -x1174 -x1117 -x1038 -x1017 -x1051 -x1858 -x1110 -x1673 -x1215 
3587.95/3598.70	v x1924 -x1281 -x1877 -x1837 -x1610 -x1856 -x1204 -x1015 -x1580 -x1522 -x1429 -x1354 -x1221 -x1749 -x1389 -x1096 -x1467 -x1459 
3587.95/3598.70	v x1266 -x1790 -x1918 -x1044 -x1544 x1750 -x1935 -x1606 -x1445 -x1630 -x1014 -x1929 x1618 -x1484 -x1310 -x1209 -x1121 -x1107 
3587.95/3598.70	v -x1076 -x1047 -x1400 -x1650 -x1676 -x1711 -x1456 -x1850 -x1286 -x1832 -x1747 -x1292 -x1340 x1939 -x1351 -x1013 x1930 -x1466 
3587.95/3598.70	v -x1465 -x1291 -x1230 -x1184 -x1154 x1133 -x1122 -x1067 -x1816 -x1704 x1968 -x1587 -x1220 -x1477 -x1604 x1333 -x1448 -x1540 
3587.95/3598.70	v -x1600 -x1012 x1667 -x1637 -x1590 -x1558 -x1505 -x1453 -x1326 -x1283 -x1272 -x1128 -x1593 -x1202 -x1324 -x1554 -x1836 -x1106 
3587.95/3598.70	v -x1042 -x1491 x1632 -x1811 -x1387 -x1434 -x1011 x1977 -x1936 -x1926 -x1737 -x1571 -x1370 x1693 -x1509 -x1399 -x1025 -x1199 -x1878 
3587.95/3598.70	v x1779 -x1489 -x1449 -x1442 -x1622 -x1531 -x1059 -x1068 -x1085 -x1928 -x1668 -x1341 -x1273 -x1073 -x1857 -x1834 -x1817 x1752 
3587.95/3598.70	v -x1581 -x1569 x1454 -x1398 -x1322 -x1297 x1295 -x1294 -x1237 -x1234 -x1198 -x1060 -x1040 x1685 -x1966 x1602 -x1681 -x1579 
3587.95/3598.70	v -x1669 -x1959 -x1390 -x1871 x1888 -x1696 -x1476 -x1032 -x1555 -x1238 -x1141 -x1066 -x1009 -x1745 -x1666 -x1549 -x1414 -x1405 
3587.95/3598.70	v -x1316 -x1225 -x1083 -x1081 -x1010 -x1481 -x1596 -x1559 -x1769 x1702 x1661 x1268 -x1028 -x1315 -x1539 -x1781 -x1485 -x1343 
3587.95/3598.70	v -x1043 -x1879 -x1313 x1922 -x1211 x1996 -x1799 -x1672 -x1648 x1444 -x1426 x1332 x1263 -x1200 -x1166 -x1041 -x1018 -x1794 -x1063 
3587.95/3598.70	v -x1030 -x1758 -x1486 -x1470 -x1825 -x1348 -x1319 -x1241 -x1663 -x1547 -x1502 -x1674 -x1896 -x1479 -x1087 -x1090 -x1303 x1964 
3587.95/3598.70	v x1824 -x1495 -x1469 -x1458 -x1457 -x1428 -x1417 -x1355 -x1239 -x1216 -x1053 -x1046 -x1679 x1770 -x1519 -x1860 -x1182 -x1577 
3587.95/3598.70	v x1560 -x1933 -x1139 -x1155 -x1756 x1101 -x1578 -x1027 -x1638 -x1849 -x1421 -x1869 -x1006 x1803 -x1782 x1682 -x1599 -x1516 -x1288 
3587.95/3598.70	v -x1255 -x1242 -x1145 -x1136 -x1048 x1008 x1724 -x1810 -x1037 -x1352 -x1057 -x1321 x1987 -x1160 -x1910 -x1135 -x1483 -x1271 
3587.95/3598.70	v x1105 -x1556 -x1427 x1384 -x1463 -x1826 -x1164 -x1385 -x1589 -x1827 -x1005 x1932 -x1917 -x1898 -x1862 x1786 -x1739 -x1730 
3587.95/3598.70	v -x1705 -x1626 -x1612 -x1575 -x1369 -x1347 x1334 -x1304 -x1247 -x1170 -x1143 -x1130 -x1114 -x1069 -x1023 -x1945 -x1212 x1981 
3587.95/3598.70	v x1697 -x1265 x1480 -x1021 -x1717 -x1365 -x1897 -x1853 -x1678 -x1627 -x1513 x1379 -x1494 x1703 x1742 x1207 -x1004 -x1890 -x1840 
3587.95/3598.70	v -x1761 -x1757 -x1403 -x1359 -x1240 -x1231 -x1206 x1201 -x1193 -x1183 -x1123 -x1097 -x1092 -x1035 -x1967 -x1886 -x1986 -x1440 
3587.95/3598.70	v -x1378 -x1847 -x1249 -x1595 -x1501 x1325 -x1864 -x1412 -x1657 -x1506 -x1306 -x1868 -x1433 -x1988 -x1300 -x1134 -x1447 -x1439 
3587.95/3598.70	v -x1974 x1003 x1957 -x1892 -x1701 x1566 -x1537 -x1520 -x1487 -x1435 x1285 -x1262 -x1161 -x1157 -x1065 -x1049 -x1603 x1497 -x1091 
3587.95/3598.70	v -x1407 x1970 x1962 -x1508 -x1140 -x1192 -x1432 x1994 -x1573 x1732 x1738 -x1317 -x1007 -x1755 -x1496 -x1287 -x1873 -x1822 
3587.95/3598.70	v x1568 x1948 -x1190 x1002 -x1956 -x1941 -x1699 -x1607 -x1582 x1564 x1534 x1527 -x1362 x1290 -x1251 -x1229 -x1195 -x1191 -x1129 
3587.95/3598.70	v -x1088 -x1248 -x1344 -x1473 -x1943 -x1532 x1845 -x1176 -x1777 -x1880 -x1462 -x1823 -x1984 x1725 -x1795 -x1620 -x1700 -x1257 
3587.95/3598.70	v x1905 -x1374 -x1631 x1821 x1721 x1883 -x1323 -x1001 -x1866 x1809 -x1787 -x1766 -x1720 -x1597 -x1594 -x1565 -x1424 -x1361 -x1328 
3587.95/3598.70	v -x1299 -x1226 -x1146 -x1099 -x1016 -x1719 -x1574 -x1280 -x1969 x1605 x1718 -x1150 -x1402 x1942 -x1903 -x1415 -x1404 -x1965 
3587.95/3598.70	v x1715 -x1955 -x1545 -x1386 -x1029 -x1026 -x1538 -x1364 -x1327 -x1275 -x1084 -x1302 -x1000 -x999 -x998 -x997 -x996 x995 -x994 
3587.95/3598.70	v -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 x976 x975 -x974 -x973 
3587.95/3598.70	v x972 -x971 -x970 -x969 -x968 x967 x966 x965 -x964 x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 x955 x954 -x953 x952 -x951 -x950 
3587.95/3598.70	v -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 x935 x934 x933 -x932 -x931 -x930 -x929 
3587.95/3598.70	v x928 x927 x926 x925 -x924 x923 -x922 x921 -x920 -x919 x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 x907 -x906 
3587.95/3598.70	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 x897 -x896 x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 x884 
3587.95/3598.70	v -x883 -x882 x881 -x880 x879 -x878 x877 -x876 x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 
3587.95/3598.70	v -x862 -x861 x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 
3587.95/3598.70	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
3587.95/3598.70	v x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 x806 x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 
3587.95/3598.70	v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 
3587.95/3598.70	v -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 x756 
3587.95/3598.70	v -x755 -x754 -x753 -x752 x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 x735 -x734 
3587.95/3598.70	v x733 -x732 x731 -x730 -x729 -x728 x727 x726 -x725 -x724 -x723 x722 -x721 x720 x719 -x718 x717 x716 -x715 x714 -x713 -x712 
3587.95/3598.70	v x711 -x710 -x709 -x708 x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 
3587.95/3598.70	v -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 x679 x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 
3587.95/3598.70	v -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 
3587.95/3598.70	v -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 
3587.95/3598.70	v -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 x617 x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 x606 -x605 -x604 
3587.95/3598.70	v -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 
3587.95/3598.70	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
3587.95/3598.70	v x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 
3587.95/3598.70	v -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 
3587.95/3598.70	v -x518 -x517 -x516 -x515 x514 x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 
3587.95/3598.70	v -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 x482 -x481 -x480 -x479 x478 -x477 -x476 
3587.95/3598.70	v -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 -x461 -x460 x459 -x458 -x457 x456 -x455 -x454 
3587.95/3598.70	v x453 -x452 -x451 -x450 -x449 x448 x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 x433 -x432 
3587.95/3598.70	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 x413 x412 -x411 
3587.95/3598.70	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 x393 x392 -x391 -x390 -x389 
3587.95/3598.70	v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 
3587.95/3598.70	v -x367 -x366 -x365 x364 -x363 -x362 x361 -x360 -x359 x358 x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 
3587.95/3598.70	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 x330 -x329 -x328 -x327 x326 -x325 
3587.95/3598.70	v x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 x312 x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 
3587.95/3598.70	v -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 
3587.95/3598.70	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 
3587.95/3598.70	v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 
3587.95/3598.70	v -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 
3587.95/3598.70	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 
3587.95/3598.70	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 
3587.95/3598.70	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 
3587.95/3598.70	v -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 
3587.95/3598.70	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3587.95/3598.77	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
3587.95/3598.77	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 
3587.95/3598.77	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 
3587.95/3598.77	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 
3587.95/3598.77	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: 63968 MiB (62709 MiB free)
  memory of node 1: 64473 MiB (62038 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100088 s]*
/proc/loadavg: 4.13 4.14 4.07 5/264 29585
/proc/meminfo: memFree=127686360/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=77316 memory=64172 CPUtime=0.09 cores=5,7
/proc/29584/stat : 29584 (fscip) R 29581 29584 27303 0 -1 4194304 13921 0 0 0 8 1 0 0 20 0 1 0 4607662 79171584 16043 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 19329 16043 2363 3035 0 15725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77316 KiB
Current children cumulated memory: 64172 KiB

[startup+0.205683 s]*
/proc/loadavg: 4.13 4.14 4.07 5/264 29585
/proc/meminfo: memFree=127630108/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=131384 memory=120832 CPUtime=0.2 cores=5,7
/proc/29584/stat : 29584 (fscip) R 29581 29584 27303 0 -1 4194304 28453 0 0 0 17 3 0 0 20 0 1 0 4607662 134537216 30208 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 32846 30208 2571 3035 0 29242 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131384 KiB
Current children cumulated memory: 120832 KiB

[startup+0.305673 s]*
/proc/loadavg: 4.13 4.14 4.07 5/264 29585
/proc/meminfo: memFree=127601764/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=160996 memory=148408 CPUtime=0.3 cores=5,7
/proc/29584/stat : 29584 (fscip) R 29581 29584 27303 0 -1 4194304 35394 0 0 0 26 4 0 0 20 0 1 0 4607662 164859904 37102 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 40249 37102 2614 3035 0 36645 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 160996 KiB
Current children cumulated memory: 148408 KiB

[startup+0.700641 s]
/proc/loadavg: 4.13 4.14 4.07 5/264 29585
/proc/meminfo: memFree=127598384/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=264276 memory=187148 CPUtime=0.69 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 46098 0 0 0 63 6 0 0 20 0 3 0 4607662 270618624 46787 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 66069 46787 2726 3035 0 51198 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 187148 KiB

[startup+1.50062 s]
/proc/loadavg: 4.13 4.14 4.07 5/266 29587
/proc/meminfo: memFree=127527272/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=264276 memory=230200 CPUtime=1.48 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 59863 0 0 0 140 8 0 0 20 0 3 0 4607662 270618624 57550 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 66069 57550 2950 3035 0 62175 0
[pid=29584/tid=29586] ppid=29581 vsize=264276 memory=4352 CPUtime=0.81 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 19310 0 0 0 79 2 0 0 20 0 3 0 4607727 270618624 57550 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=264276 memory=2280 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4607730 270618624 57550 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 230200 KiB

[startup+3.10557 s]
/proc/loadavg: 4.04 4.12 4.07 5/263 29728
/proc/meminfo: memFree=127767336/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=346304 memory=263892 CPUtime=3.08 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 67241 0 0 0 299 9 0 0 20 0 3 0 4607662 354615296 65973 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 86576 65973 2950 3035 0 71189 0
[pid=29584/tid=29586] ppid=29581 vsize=346304 memory=2280 CPUtime=2.42 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 26681 0 0 0 238 4 0 0 20 0 3 0 4607727 354615296 65973 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=346304 memory=52596 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4607730 354615296 65973 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 346304 KiB
Current children cumulated memory: 263892 KiB

[startup+6.30019 s]
/proc/loadavg: 4.04 4.12 4.07 5/263 29728
/proc/meminfo: memFree=127725204/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=372100 memory=302268 CPUtime=6.26 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 83007 0 0 0 615 11 0 0 20 0 3 0 4607662 381030400 75567 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 93025 75567 2998 3035 0 82421 0
[pid=29584/tid=29586] ppid=29581 vsize=372100 memory=275548 CPUtime=5.6 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 42141 0 0 0 554 6 0 0 20 0 3 0 4607727 381030400 75567 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=372100 memory=5552 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4607730 381030400 75567 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 372100 KiB
Current children cumulated memory: 302268 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.12 4.07 5/264 29730
/proc/meminfo: memFree=127679320/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=374460 memory=324992 CPUtime=12.64 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 106209 0 0 0 1251 13 0 0 20 0 3 0 4607662 383447040 81248 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 93615 81248 2998 3035 0 89151 0
[pid=29584/tid=29586] ppid=29581 vsize=374460 memory=5552 CPUtime=11.98 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 64942 0 0 0 1190 8 0 0 20 0 3 0 4607727 383447040 81248 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=374460 memory=324912 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4607730 383447040 81248 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 374460 KiB
Current children cumulated memory: 324992 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.11 4.07 5/266 29734
/proc/meminfo: memFree=127530132/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=374460 memory=328024 CPUtime=25.4 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 154206 0 0 0 2523 17 0 0 20 0 3 0 4607662 383447040 82006 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 93615 82006 2998 3035 0 89167 0
[pid=29584/tid=29586] ppid=29581 vsize=374460 memory=4548 CPUtime=24.74 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 112925 0 0 0 2462 12 0 0 20 0 3 0 4607727 383447040 82006 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=374460 memory=325800 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4607730 383447040 82006 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 374460 KiB
Current children cumulated memory: 328024 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.12 4.07 5/266 29787
/proc/meminfo: memFree=127692608/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=370688 memory=326776 CPUtime=50.93 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 209226 0 0 0 5072 21 0 0 20 0 3 0 4607662 379584512 81694 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 92672 81694 2998 3035 0 88402 0
[pid=29584/tid=29586] ppid=29581 vsize=370688 memory=326672 CPUtime=50.26 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 167929 0 0 0 5011 15 0 0 20 0 3 0 4607727 379584512 81694 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=370688 memory=328160 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4607730 379584512 81694 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 370688 KiB
Current children cumulated memory: 326776 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/269 29854
/proc/meminfo: memFree=127647432/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=338536 CPUtime=101.96 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 239936 0 0 0 10173 23 0 0 20 0 3 0 4607662 452091904 84634 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 84634 2998 3035 0 91378 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=338536 CPUtime=101.29 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 198217 0 0 0 10112 17 0 0 20 0 3 0 4607727 452091904 84634 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=333224 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4607730 452091904 84634 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 338536 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/269 29866
/proc/meminfo: memFree=127614656/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=346304 CPUtime=161.77 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 265675 0 0 0 16153 24 0 0 20 0 3 0 4607662 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 86576 2998 3035 0 93269 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=346300 CPUtime=161.1 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 223940 0 0 0 16091 19 0 0 20 0 3 0 4607727 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=346300 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4607730 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 346304 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/269 29877
/proc/meminfo: memFree=127600960/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=346304 CPUtime=221.58 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 282336 0 0 0 22132 26 0 0 20 0 3 0 4607662 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 86576 2998 3035 0 93269 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=346304 CPUtime=220.91 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 240587 0 0 0 22071 20 0 0 20 0 3 0 4607727 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=14712 CPUtime=0 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 102 0 0 0 0 0 0 0 20 0 3 0 4607730 452091904 86576 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 346304 KiB


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

[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3451.89 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 677917 0 0 0 345111 78 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=52596 CPUtime=3451.16 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 635275 0 0 0 345047 69 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=380188 CPUtime=0.03 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 379 0 0 0 1 2 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.13 5/266 31601
/proc/meminfo: memFree=111475908/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3511.73 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 683842 0 0 0 351095 78 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=380412 CPUtime=3511 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 641179 0 0 0 351031 69 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=11536 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 385 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/267 31782
/proc/meminfo: memFree=111471740/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3571.59 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 690088 0 0 0 357080 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=11536 CPUtime=3570.86 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 647402 0 0 0 357016 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=-7305802336621913464 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 390 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

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

# cumulated CPU time of all completed processes:  user=3587.23 s, system=0.807611 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.12 5/267 31782
/proc/meminfo: memFree=111471736/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3573.29 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 693723 0 0 0 357250 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=-5155633479092562821 CPUtime=3572.56 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651037 0 0 0 357186 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=-4050210904893669263 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 390 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.12 5/267 31783
/proc/meminfo: memFree=111471448/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3579.66 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694225 0 0 0 357887 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=1948 CPUtime=3578.93 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651535 0 0 0 357823 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=11536 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3579.66 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.12 4.12 5/267 31783
/proc/meminfo: memFree=111471508/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3582.86 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694228 0 0 0 358207 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=380412 CPUtime=3582.12 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651538 0 0 0 358142 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=14836 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3582.86 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.14 4.12 5/267 31784
/proc/meminfo: memFree=111471396/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3586.05 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694229 0 0 0 358526 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=14836 CPUtime=3585.32 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651539 0 0 0 358462 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=-7305802336621913464 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3597.6 s]
/proc/loadavg: 4.18 4.14 4.12 5/267 31786
/proc/meminfo: memFree=111471364/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3586.84 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694229 0 0 0 358605 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=11536 CPUtime=3586.11 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651539 0 0 0 358541 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=4860 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3598.4 s]
/proc/loadavg: 4.18 4.14 4.12 5/267 31786
/proc/meminfo: memFree=111471488/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3587.64 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694229 0 0 0 358685 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=2280 CPUtime=3586.91 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651539 0 0 0 358621 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=14836 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3598.6 s]
/proc/loadavg: 4.18 4.14 4.12 5/267 31786
/proc/meminfo: memFree=111471488/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=441496 memory=380412 CPUtime=3587.84 cores=5,7
/proc/29584/stat : 29584 (fscip) S 29581 29584 27303 0 -1 1077936128 694229 0 0 0 358705 79 0 0 20 0 3 0 4607662 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 110374 95103 2998 3035 0 99230 0
[pid=29584/tid=29586] ppid=29581 vsize=441496 memory=380412 CPUtime=3587.11 cores=5,7
/proc/29584/task/29586/stat : 29586 (fscip) R 29581 29584 27303 0 -1 4194368 651539 0 0 0 358641 70 0 0 20 0 3 0 4607727 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
[pid=29584/tid=29587] ppid=29581 vsize=441496 memory=1948 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 4607730 452091904 95103 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 380412 KiB

[startup+3598.71 s]
/proc/loadavg: 4.18 4.14 4.12 5/267 31786
/proc/meminfo: memFree=111471488/131524600 swapFree=131071996/131071996
[pid=29584] ppid=29581 vsize=402568 memory=345580 CPUtime=3587.95 cores=5,7
/proc/29584/stat : 29584 (fscip) R 29581 29584 27303 0 -1 4194304 698772 0 0 0 358716 79 0 0 20 0 2 0 4607662 412229632 86395 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
/proc/29584/statm: 100642 86395 2998 3035 0 89498 0
[pid=29584/tid=29587] ppid=29581 vsize=402568 memory=380412 CPUtime=0.04 cores=5,7
/proc/29584/task/29587/stat : 29587 (fscip) S 29581 29584 27303 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 2 0 4607730 412229632 86395 134679101440 4194304 16623229 140720964320176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 54444032 140720964326422 140720964326538 140720964326538 140720964333552 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 402568 KiB
Current children cumulated memory: 345580 KiB

Child status: 0

Real time (s): 3598.78
CPU time (s): 3588.03
CPU user time (s): 3587.23
CPU system time (s): 0.807611
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 441496
Max. memory (cumulated for all children) (KiB): 381888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.23
system time used= 0.807611
maximum resident set size= 381888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 702377
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= 4104
involuntary context switches= 1366


# summary of solver processes directly reported to runsolver:
#   pid: 29584
#   total CPU time (s): 3588.03
#   total CPU user time (s): 3587.23
#   total CPU system time (s): 0.807611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57933 second user time and 18.2058 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-31 01:29:55
IDJOB=4464771
IDBENCH=148687
IDSOLVER=3092
FILE ID=nodeC015/4464771-1722382194
RUNJOBID= nodeC015-1722378594-27316
SLURM_JOB_ID= 8249828
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464771-1722382194/watcher-4464771-1722382194 -o /tmp/evaluation-result-4464771-1722382194/solver-4464771-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27316 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464771-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= bbe42e431fa916f0c875d08138d9aced
RANDOM SEED=1367756045

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127742124 kB
MemAvailable:   127645804 kB
Buffers:           97660 kB
Cached:           644148 kB
SwapCached:            0 kB
Active:           257616 kB
Inactive:        3046344 kB
Active(anon):       1552 kB
Inactive(anon):  2584044 kB
Active(file):     256064 kB
Inactive(file):   462300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57500 kB
Writeback:             4 kB
AnonPages:       2562284 kB
Mapped:           124908 kB
Shmem:             23384 kB
KReclaimable:      50280 kB
Slab:             131660 kB
SReclaimable:      50280 kB
SUnreclaim:        81380 kB
KernelStack:        4240 kB
PageTables:        14120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1921596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1611776 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:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

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