Trace number 4450960

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3588.12 3600.06

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round21-6.opb
MD5SUM3275beafb3ca308b178248aae5ff03d5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.31798
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7856
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03	c Default LC presolving (default).
0.00/0.03	c ** Before presolving: virtualMemUsedAtLc = 44335104, getVmSize() = 44335104, SCIPgetMemUsed() = 18694193, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11381264
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.25	c ** Estimated virtualMemUsedAtSolver = 36275541, getVmSize() = 64491520, SCIPgetMemUsed() = 22360677, SCIPgetMemTotal() = 40412725, SCIPgetMemExternEstim() = 11381264
0.20/0.25	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.25	c Original Problem   :
0.20/0.25	c   Problem name     : instance-4450960-1721422993
0.20/0.25	c   Variables        : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.25	c   Constraints      : 7856
0.20/0.25	c   Objective sense  : minimize
0.20/0.25	c Presolved Problem  :
0.20/0.25	c   Variables        : 3213 (3213 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.25	c   Constraints      : 6531
0.20/0.25	c Constraints        : Number
0.20/0.25	c   and              : 37 
0.20/0.25	c   xor              : 1 
0.20/0.25	c   linear           : 1299 
0.20/0.25	c   logicor          : 5194 
0.20/0.25	c ** Instance transfer method used: 0
0.20/0.27	c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.28	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.28	c                                Nodes    Active                                            
0.20/0.28	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
34.36/34.59	c        35              2           1         1                -           0.0000          -
43.73/43.94	c        44             25          24         1                -           0.0000          -
53.79/54.06	c        54             32          31         1                -           0.0000          -
59.37/59.67	c        60             35          34         1                -           0.0000          -
199.61/200.33	c       200             42          41         1                -           0.0000          -
206.19/206.91	c       207             48          47         1                -           0.0000          -
215.26/216.10	c       216             55          54         1                -           0.0000          -
222.24/223.00	c       223             62          61         1                -           0.0000          -
227.92/228.77	c       229             68          67         1                -           0.0000          -
235.39/236.24	c       236             75          74         1                -           0.0000          -
241.48/242.34	c       242             78          77         1                -           0.0000          -
246.76/247.61	c       248             85          84         1                -           0.0000          -
252.15/253.05	c       253             88          87         1                -           0.0000          -
260.02/260.92	c       261             95          94         1                -           0.0000          -
270.49/271.42	c       271            102         101         1                -           0.0000          -
275.77/276.72	c       277            105         104         1                -           0.0000          -
282.85/283.85	c       284            115         114         1                -           0.0000          -
289.92/290.91	c       291            125         124         1                -           0.0000          -
298.69/299.79	c       300            148         147         1                -           0.0000          -
309.36/310.43	c       310            172         171         1                -           0.0000          -
316.63/317.78	c       318            178         177         1                -           0.0000          -
323.92/325.00	c       325            192         191         1                -           0.0000          -
330.19/331.37	c       331            212         211         1                -           0.0000          -
335.88/337.05	c       337            242         241         1                -           0.0000          -
340.96/342.17	c       342            262         261         1                -           0.0000          -
347.04/348.23	c       348            346         343         1                -           0.0000          -
353.23/354.40	c       354            359         356         1                -           0.0000          -
360.70/361.93	c       362            365         362         1                -           0.0000          -
365.89/367.19	c       367            369         366         1                -           0.0000          -
373.76/375.10	c       375            377         374         1                -           0.0000          -
379.74/381.07	c       381            382         379         1                -           0.0000          -
385.52/386.86	c       387            401         398         1                -           0.0000          -
390.61/391.98	c       392            414         411         1                -           0.0000          -
396.09/397.43	c       397            430         427         1                -           0.0000          -
401.78/403.15	c       403            448         445         1                -           0.0000          -
407.66/409.01	c       409            469         466         1                -           0.0000          -
413.83/415.25	c       415            482         479         1                -           0.0000          -
421.01/422.47	c       422            488         485         1                -           0.0000          -
427.39/428.86	c       429            496         493         1                -           0.0000          -
433.37/434.85	c       435            511         508         1                -           0.0000          -
438.85/440.39	c       440            535         532         1                -           0.0000          -
445.92/447.42	c       447            548         545         1                -           0.0000          -
452.30/453.84	c       454            568         565         1                -           0.0000          -
458.18/459.77	c       460            588         585         1                -           0.0000          -
464.86/466.46	c       466            608         605         1                -           0.0000          -
471.34/472.91	c       473            642         639         1                -           0.0000          -
479.71/481.38	c       481            668         665         1                -           0.0000          -
490.28/491.91	c       492            700         697         1                -           0.0000          -
495.86/497.57	c       498            708         705         1                -           0.0000          -
501.84/503.50	c       504            750         747         1                -           0.0000          -
508.33/510.00	c       510            760         757         1                -           0.0000          -
513.41/515.10	c       515            794         791         1                -           0.0000          -
520.67/522.44	c       522            816         813         1                -           0.0000          -
527.15/528.97	c       529            824         821         1                -           0.0000          -
532.84/534.64	c       535            849         846         1                -           0.0000          -
539.11/540.91	c       541            918         915         1                -           0.0000          -
545.20/547.02	c       547            976         973         1                -           0.0000          -
551.87/553.78	c       554           1000         997         1                -           0.0000          -
557.94/559.87	c       560           1024        1021         1                -           0.0000          -
563.52/565.49	c       566           1037        1034         1                -           0.0000          -
568.60/570.58	c       571           1051        1048         1                -           0.0000          -
576.37/578.33	c       578           1060        1057         1                -           0.0000          -
582.26/584.29	c       584           1084        1081         1                -           0.0000          -
588.43/590.45	c       590           1100        1097         1                -           0.0000          -
593.51/595.51	c       596           1129        1126         1                -           0.0000          -
599.29/601.31	c       601           1181        1178         1                -           0.0000          -
604.77/606.87	c       607           1188        1185         1                -           0.0000          -
609.95/612.03	c       612           1225        1222         1                -           0.0000          -
615.03/617.16	c       617           1248        1245         1                -           0.0000          -
620.21/622.30	c       622           1280        1277         1                -           0.0000          -
625.69/627.86	c       628           1331        1328         1                -           0.0000          -
631.17/633.32	c       633           1360        1357         1                -           0.0000          -
637.25/639.42	c       639           1406        1403         1                -           0.0000          -
642.43/644.60	c       645           1415        1412         1                -           0.0000          -
648.01/650.21	c       650           1463        1460         1                -           0.0000          -
656.38/658.65	c       659           1472        1469         1                -           0.0000          -
661.86/664.17	c       664           1507        1504         1                -           0.0000          -
668.84/671.16	c       671           1532        1529         1                -           0.0000          -
676.21/678.51	c       679           1572        1569         1                -           0.0000          -
681.70/684.05	c       684           1576        1573         1                -           0.0000          -
686.78/689.12	c       689           1592        1589         1                -           0.0000          -
692.84/695.23	c       695           1654        1651         1                -           0.0000          -
698.12/700.53	c       701           1669        1666         1                -           0.0000          -
703.50/705.92	c       706           1685        1682         1                -           0.0000          -
709.19/711.65	c       712           1697        1694         1                -           0.0000          -
715.16/717.60	c       718           1732        1729         1                -           0.0000          -
720.55/723.01	c       723           1744        1741         1                -           0.0000          -
939.36/942.62	c       943           1756        1753         1                -           0.0000          -
947.03/950.34	c       950           1760        1757         1                -           0.0000          -
954.30/957.60	c       958           1780        1777         1                -           0.0000          -
961.98/965.30	c       965           1792        1789         1                -           0.0000          -
968.85/972.24	c       972           1808        1805         1                -           0.0000          -
977.63/981.02	c       981           1840        1837         1                -           0.0000          -
982.90/986.34	c       986           1892        1889         1                -           0.0000          -
989.08/992.53	c       993           1912        1909         1                -           0.0000          -
995.05/998.52	c       999           1948        1945         1                -           0.0000          -
1001.23/1004.77	c      1005           1964        1961         1                -           0.0000          -
1007.01/1010.51	c      1011           1996        1993         1                -           0.0000          -
1013.09/1016.63	c      1017           2012        2009         1                -           0.0000          -
1018.48/1022.07	c      1022           2024        2021         1                -           0.0000          -
1024.05/1027.67	c      1028           2033        2030         1                -           0.0000          -
1030.62/1034.28	c      1034           2056        2053         1                -           0.0000          -
1035.80/1039.49	c      1039           2060        2057         1                -           0.0000          -
1043.37/1047.00	c      1047           2096        2093         1                -           0.0000          -
1050.35/1054.03	c      1054           2112        2109         1                -           0.0000          -
1056.23/1059.99	c      1060           2143        2140         1                -           0.0000          -
1062.31/1066.03	c      1066           2159        2156         1                -           0.0000          -
1070.78/1074.56	c      1075           2192        2189         1                -           0.0000          -
1076.46/1080.26	c      1080           2224        2221         1                -           0.0000          -
1081.84/1085.63	c      1086           2245        2242         1                -           0.0000          -
1088.63/1092.48	c      1092           2292        2289         1                -           0.0000          -
1094.61/1098.42	c      1098           2332        2329         1                -           0.0000          -
1099.89/1103.70	c      1104           2336        2333         1                -           0.0000          -
1107.87/1111.74	c      1112           2372        2369         1                -           0.0000          -
1114.44/1118.34	c      1118           2388        2385         1                -           0.0000          -
1119.64/1123.58	c      1124           2415        2412         1                -           0.0000          -
1124.81/1128.75	c      1129           2427        2424         1                -           0.0000          -
1130.21/1134.11	c      1134           2451        2448         1                -           0.0000          -
1137.58/1141.56	c      1142           2468        2465         1                -           0.0000          -
1143.36/1147.34	c      1147           2485        2482         1                -           0.0000          -
1149.24/1153.23	c      1153           2503        2500         1                -           0.0000          -
1155.92/1159.93	c      1160           2520        2517         1                -           0.0000          -
1161.80/1165.89	c      1166           2554        2551         1                -           0.0000          -
1168.48/1172.52	c      1173           2564        2561         1                -           0.0000          -
1178.55/1182.69	c      1183           2600        2597         1                -           0.0000          -
1184.43/1188.50	c      1188           2609        2606         1                -           0.0000          -
1189.52/1193.63	c      1194           2625        2622         1                -           0.0000          -
1195.50/1199.65	c      1200           2646        2643         1                -           0.0000          -
1203.47/1207.69	c      1208           2685        2682         1                -           0.0000          -
1209.35/1213.51	c      1214           2728        2725         1                -           0.0000          -
1216.13/1220.33	c      1220           2735        2732         1                -           0.0000          -
1221.61/1225.85	c      1226           2740        2737         1                -           0.0000          -
1227.30/1231.59	c      1232           2762        2759         1                -           0.0000          -
1234.27/1238.52	c      1239           2792        2789         1                -           0.0000          -
1241.95/1246.28	c      1246           2855        2852         1                -           0.0000          -
1252.62/1256.92	c      1257           2880        2877         1                -           0.0000          -
1258.50/1262.81	c      1263           2898        2895         1                -           0.0000          -
1264.58/1268.98	c      1269           2921        2918         1                -           0.0000          -
1270.66/1275.00	c      1275           2942        2939         1                -           0.0000          -
1276.13/1280.58	c      1281           2950        2947         1                -           0.0000          -
1284.51/1288.94	c      1289           2975        2972         1                -           0.0000          -
1289.80/1294.29	c      1294           2999        2996         1                -           0.0000          -
1294.88/1299.35	c      1299           3016        3013         1                -           0.0000          -
1300.86/1305.36	c      1305           3041        3038         1                -           0.0000          -
1307.04/1311.58	c      1312           3050        3047         1                -           0.0000          -
1312.43/1316.96	c      1317           3089        3086         1                -           0.0000          -
1318.71/1323.24	c      1323           3100        3097         1                -           0.0000          -
1323.99/1328.52	c      1329           3140        3137         1                -           0.0000          -
1330.77/1335.32	c      1335           3160        3157         1                -           0.0000          -
1336.85/1341.47	c      1341           3190        3187         1                -           0.0000          -
1344.43/1349.02	c      1349           3200        3197         1                -           0.0000          -
1350.11/1354.79	c      1355           3239        3236         1                -           0.0000          -
1357.79/1362.48	c      1362           3255        3252         1                -           0.0000          -
1363.37/1368.06	c      1368           3309        3306         1                -           0.0000          -
1370.64/1375.35	c      1375           3345        3342         1                -           0.0000          -
1377.33/1382.06	c      1382           3365        3362         1                -           0.0000          -
1385.10/1389.88	c      1390           3385        3382         1                -           0.0000          -
1391.58/1396.33	c      1396           3420        3417         1                -           0.0000          -
1397.16/1401.98	c      1402           3455        3452         1                -           0.0000          -
1402.35/1407.15	c      1407           3493        3490         1                -           0.0000          -
1408.03/1412.83	c      1413           3500        3497         1                -           0.0000          -
1413.71/1418.54	c      1419           3518        3515         1                -           0.0000          -
1419.39/1424.23	c      1424           3580        3577         1                -           0.0000          -
1425.97/1430.86	c      1431           3615        3612         1                -           0.0000          -
1431.85/1436.78	c      1437           3630        3627         1                -           0.0000          -
1437.63/1442.55	c      1443           3657        3654         1                -           0.0000          -
1442.62/1447.57	c      1448           3675        3672         1                -           0.0000          -
1448.10/1453.09	c      1453           3682        3679         1                -           0.0000          -
1453.19/1458.17	c      1458           3691        3688         1                -           0.0000          -
1458.86/1463.89	c      1464           3710        3707         1                -           0.0000          -
1465.83/1470.85	c      1471           3730        3727         1                -           0.0000          -
1471.61/1476.65	c      1477           3764        3761         1                -           0.0000          -
1476.89/1481.91	c      1482           3782        3779         1                -           0.0000          -
1482.47/1487.55	c      1488           3811        3808         1                -           0.0000          -
1487.65/1492.71	c      1493           3830        3827         1                -           0.0000          -
1495.62/1500.70	c      1501           3840        3837         1                -           0.0000          -
1501.40/1506.57	c      1507           3867        3864         1                -           0.0000          -
1508.37/1513.54	c      1514           3895        3892         1                -           0.0000          -
1514.96/1520.13	c      1520           3910        3907         1                -           0.0000          -
1520.24/1525.44	c      1525           3933        3930         1                -           0.0000          -
1526.83/1532.10	c      1532           3950        3947         1                -           0.0000          -
1531.91/1537.16	c      1537           3965        3962         1                -           0.0000          -
1536.99/1542.25	c      1542           3993        3990         1                -           0.0000          -
1542.08/1547.35	c      1547           4006        4003         1                -           0.0000          -
1547.56/1552.81	c      1553           4022        4019         1                -           0.0000          -
1554.23/1559.56	c      1560           4045        4042         1                -           0.0000          -
1561.31/1566.67	c      1567           4070        4067         1                -           0.0000          -
1568.39/1573.72	c      1574           4120        4117         1                -           0.0000          -
1575.67/1581.10	c      1581           4145        4142         1                -           0.0000          -
1581.35/1586.73	c      1587           4165        4162         1                -           0.0000          -
1587.13/1592.58	c      1593           4185        4182         1                -           0.0000          -
1593.62/1599.06	c      1599           4195        4192         1                -           0.0000          -
1598.89/1604.35	c      1604           4219        4216         1                -           0.0000          -
1605.17/1610.60	c      1611           4235        4232         1                -           0.0000          -
1613.66/1619.19	c      1619           4255        4252         1                -           0.0000          -
1619.33/1624.83	c      1625           4282        4279         1                -           0.0000          -
1624.62/1630.14	c      1630           4299        4296         1                -           0.0000          -
1630.50/1636.05	c      1636           4313        4310         1                -           0.0000          -
1638.37/1643.93	c      1644           4345        4342         1                -           0.0000          -
1643.96/1649.51	c      1650           4363        4360         1                -           0.0000          -
1649.34/1654.94	c      1655           4383        4380         1                -           0.0000          -
1655.02/1660.66	c      1661           4407        4404         1                -           0.0000          -
1663.30/1668.91	c      1669           4440        4437         1                -           0.0000          -
1668.38/1674.00	c      1674           4464        4461         1                -           0.0000          -
1673.37/1679.09	c      1679           4478        4475         1                -           0.0000          -
1678.65/1684.33	c      1684           4494        4491         1                -           0.0000          -
1686.03/1691.72	c      1692           4525        4522         1                -           0.0000          -
1692.01/1697.76	c      1698           4544        4541         1                -           0.0000          -
1699.79/1705.50	c      1706           4580        4577         1                -           0.0000          -
1706.77/1712.56	c      1713           4595        4592         1                -           0.0000          -
1712.75/1718.53	c      1719           4623        4620         1                -           0.0000          -
1719.73/1725.53	c      1726           4635        4632         1                -           0.0000          -
1724.91/1730.78	c      1731           4655        4652         1                -           0.0000          -
1730.69/1736.57	c      1737           4687        4684         1                -           0.0000          -
1735.98/1741.89	c      1742           4700        4697         1                -           0.0000          -
1744.26/1750.12	c      1750           4715        4712         1                -           0.0000          -
1750.14/1756.02	c      1756           4727        4724         1                -           0.0000          -
1755.22/1761.12	c      1761           4738        4735         1                -           0.0000          -
1763.49/1769.47	c      1769           4760        4757         1                -           0.0000          -
1769.27/1775.29	c      1775           4798        4795         1                -           0.0000          -
1775.76/1781.77	c      1782           4820        4817         1                -           0.0000          -
1780.94/1786.90	c      1787           4845        4842         1                -           0.0000          -
1790.01/1796.02	c      1796           4875        4872         1                -           0.0000          -
1795.69/1801.75	c      1802           4880        4877         1                -           0.0000          -
1801.08/1807.17	c      1807           4912        4909         1                -           0.0000          -
1807.15/1813.20	c      1813           4928        4925         1                -           0.0000          -
1814.33/1820.44	c      1820           4955        4952         1                -           0.0000          -
1823.70/1829.89	c      1830           4965        4962         1                -           0.0000          -
1830.38/1836.52	c      1837           4990        4987         1                -           0.0000          -
1835.46/1841.65	c      1842           5037        5034         1                -           0.0000          -
1841.25/1847.49	c      1847           5050        5047         1                -           0.0000          -
1846.43/1852.69	c      1853           5060        5057         1                -           0.0000          -
1853.51/1859.78	c      1860           5075        5072         1                -           0.0000          -
1859.99/1866.22	c      1866           5095        5092         1                -           0.0000          -
1864.97/1871.27	c      1871           5112        5109         1                -           0.0000          -
1871.55/1877.88	c      1878           5140        5137         1                -           0.0000          -
1876.64/1882.92	c      1883           5158        5155         1                -           0.0000          -
1882.33/1888.70	c      1889           5200        5197         1                -           0.0000          -
1888.31/1894.68	c      1895           5215        5212         1                -           0.0000          -
1899.57/1905.97	c      1906           5235        5232         1                -           0.0000          -
1905.45/1911.82	c      1912           5252        5249         1                -           0.0000          -
1913.73/1920.12	c      1920           5260        5257         1                -           0.0000          -
1919.41/1925.82	c      1926           5270        5267         1                -           0.0000          -
1924.99/1931.49	c      1932           5290        5287         1                -           0.0000          -
1930.88/1937.39	c      1937           5300        5297         1                -           0.0000          -
1936.86/1943.32	c      1943           5328        5325         1                -           0.0000          -
1943.74/1950.23	c      1950           5350        5347         1                -           0.0000          -
1950.01/1956.55	c      1957           5407        5404         1                -           0.0000          -
1956.69/1963.24	c      1963           5444        5441         1                -           0.0000          -
1962.37/1968.99	c      1969           5460        5457         1                -           0.0000          -
1969.06/1975.67	c      1976           5483        5480         1                -           0.0000          -
1975.34/1981.90	c      1982           5495        5492         1                -           0.0000          -
1981.62/1988.20	c      1988           5515        5512         1                -           0.0000          -
1986.81/1993.43	c      1993           5544        5541         1                -           0.0000          -
1993.19/1999.85	c      2000           5560        5557         1                -           0.0000          -
1999.47/2006.12	c      2006           5598        5595         1                -           0.0000          -
2007.14/2013.82	c      2014           5625        5622         1                -           0.0000          -
2014.92/2021.61	c      2022           5635        5632         1                -           0.0000          -
2021.00/2027.73	c      2028           5671        5668         1                -           0.0000          -
2026.48/2033.20	c      2033           5679        5676         1                -           0.0000          -
2032.66/2039.45	c      2039           5685        5682         1                -           0.0000          -
2038.54/2045.37	c      2045           5728        5725         1                -           0.0000          -
2045.12/2051.98	c      2052           5735        5732         1                -           0.0000          -
2051.21/2058.09	c      2058           5750        5747         1                -           0.0000          -
2056.29/2063.18	c      2063           5755        5752         1                -           0.0000          -
2062.87/2069.76	c      2070           5783        5780         1                -           0.0000          -
2068.45/2075.34	c      2075           5810        5807         1                -           0.0000          -
2075.63/2082.51	c      2083           5835        5832         1                -           0.0000          -
2081.81/2088.76	c      2089           5875        5872         1                -           0.0000          -
2087.99/2094.93	c      2095           5936        5933         1                -           0.0000          -
2093.08/2100.04	c      2100           5970        5967         1                -           0.0000          -
2098.06/2105.08	c      2105           5994        5991         1                -           0.0000          -
2103.74/2110.71	c      2111           6000        5997         1                -           0.0000          -
2109.32/2116.37	c      2116           6016        6013         1                -           0.0000          -
2117.00/2124.01	c      2124           6050        6047         1                -           0.0000          -
2122.18/2129.21	c      2129           6062        6059         1                -           0.0000          -
2127.37/2134.40	c      2134           6088        6085         1                -           0.0000          -
2132.95/2140.10	c      2140           6120        6117         1                -           0.0000          -
2140.63/2147.71	c      2148           6155        6152         1                -           0.0000          -
2147.92/2155.06	c      2155           6185        6182         1                -           0.0000          -
2155.79/2162.90	c      2163           6200        6197         1                -           0.0000          -
2161.67/2168.83	c      2169           6228        6225         1                -           0.0000          -
2166.96/2174.17	c      2174           6255        6252         1                -           0.0000          -
2172.14/2179.34	c      2179           6265        6262         1                -           0.0000          -
2177.72/2184.97	c      2185           6275        6272         1                -           0.0000          -
2183.20/2190.42	c      2190           6301        6298         1                -           0.0000          -
2189.89/2197.18	c      2197           6330        6327         1                -           0.0000          -
2195.07/2202.30	c      2202           6350        6347         1                -           0.0000          -
2200.55/2207.81	c      2208           6391        6388         1                -           0.0000          -
2205.84/2213.14	c      2213           6409        6406         1                -           0.0000          -
2211.22/2218.53	c      2219           6435        6432         1                -           0.0000          -
2218.70/2226.07	c      2226           6485        6482         1                -           0.0000          -
2225.47/2232.82	c      2233           6531        6528         1                -           0.0000          -
2230.45/2237.83	c      2238           6541        6538         1                -           0.0000          -
2235.85/2243.22	c      2243           6562        6559         1                -           0.0000          -
2241.93/2249.34	c      2249           6584        6581         1                -           0.0000          -
2249.11/2256.55	c      2257           6595        6592         1                -           0.0000          -
2254.49/2261.90	c      2262           6604        6601         1                -           0.0000          -
2259.77/2267.25	c      2267           6629        6626         1                -           0.0000          -
2266.05/2273.57	c      2274           6651        6648         1                -           0.0000          -
2272.24/2279.71	c      2280           6675        6672         1                -           0.0000          -
2279.02/2286.52	c      2287           6705        6702         1                -           0.0000          -
2285.00/2292.50	c      2293           6732        6729         1                -           0.0000          -
2295.17/2302.75	c      2303           6750        6747         1                -           0.0000          -
2301.35/2308.91	c      2309           6775        6772         1                -           0.0000          -
2306.54/2314.11	c      2314           6780        6777         1                -           0.0000          -
2312.52/2320.12	c      2320           6785        6782         1                -           0.0000          -
2318.10/2325.74	c      2326           6811        6808         1                -           0.0000          -
2325.87/2333.56	c      2334           6835        6832         1                -           0.0000          -
2331.85/2339.53	c      2340           6867        6864         1                -           0.0000          -
2337.13/2344.83	c      2345           6882        6879         1                -           0.0000          -
2346.80/2354.51	c      2355           6890        6887         1                -           0.0000          -
2351.99/2359.75	c      2360           6899        6896         1                -           0.0000          -
2357.47/2365.21	c      2365           6934        6931         1                -           0.0000          -
2363.05/2370.80	c      2371           6945        6942         1                -           0.0000          -
2368.93/2376.71	c      2377           6969        6966         1                -           0.0000          -
2374.01/2381.83	c      2382           6985        6982         1                -           0.0000          -
2381.49/2389.35	c      2389           7010        7007         1                -           0.0000          -
2386.67/2394.53	c      2395           7024        7021         1                -           0.0000          -
2391.95/2399.84	c      2400           7050        7047         1                -           0.0000          -
2398.14/2406.03	c      2406           7075        7072         1                -           0.0000          -
2403.22/2411.18	c      2411           7100        7097         1                -           0.0000          -
2409.50/2417.44	c      2417           7155        7152         1                -           0.0000          -
2414.68/2422.60	c      2423           7182        7179         1                -           0.0000          -
2420.07/2428.03	c      2428           7200        7197         1                -           0.0000          -
2425.84/2433.88	c      2434           7225        7222         1                -           0.0000          -
2431.72/2439.76	c      2440           7251        7248         1                -           0.0000          -
2437.21/2445.28	c      2445           7284        7281         1                -           0.0000          -
2442.89/2450.93	c      2451           7295        7292         1                -           0.0000          -
2449.37/2457.41	c      2457           7309        7306         1                -           0.0000          -
2454.75/2462.88	c      2463           7331        7328         1                -           0.0000          -
2462.13/2470.21	c      2470           7340        7337         1                -           0.0000          -
2469.20/2477.34	c      2477           7350        7347         1                -           0.0000          -
2474.79/2482.94	c      2483           7373        7370         1                -           0.0000          -
2481.67/2489.83	c      2490           7385        7382         1                -           0.0000          -
2488.05/2496.24	c      2496           7415        7412         1                -           0.0000          -
2493.13/2501.37	c      2501           7438        7435         1                -           0.0000          -
2499.01/2507.25	c      2507           7472        7469         1                -           0.0000          -
2505.59/2513.89	c      2514           7485        7482         1                -           0.0000          -
2513.07/2521.35	c      2521           7520        7517         1                -           0.0000          -
2519.75/2528.06	c      2528           7530        7527         1                -           0.0000          -
2525.03/2533.34	c      2533           7544        7541         1                -           0.0000          -
2530.11/2538.50	c      2538           7545        7542         1                -           0.0000          -
2535.60/2543.99	c      2544           7589        7586         1                -           0.0000          -
2542.37/2550.75	c      2551           7620        7617         1                -           0.0000          -
2547.46/2555.82	c      2556           7639        7636         1                -           0.0000          -
2553.84/2562.21	c      2562           7655        7652         1                -           0.0000          -
2560.22/2568.68	c      2569           7685        7682         1                -           0.0000          -
2566.10/2574.56	c      2575           7700        7697         1                -           0.0000          -
2572.87/2581.35	c      2581           7755        7752         1                -           0.0000          -
2581.15/2589.62	c      2590           7775        7772         1                -           0.0000          -
2586.33/2594.88	c      2595           7790        7787         1                -           0.0000          -
2592.01/2600.55	c      2601           7804        7801         1                -           0.0000          -
2597.51/2606.08	c      2606           7862        7859         1                -           0.0000          -
2602.49/2611.09	c      2611           7875        7872         1                -           0.0000          -
2611.06/2619.63	c      2620           7885        7882         1                -           0.0000          -
2616.94/2625.52	c      2626           7908        7905         1                -           0.0000          -
2621.92/2630.59	c      2631           7925        7922         1                -           0.0000          -
2630.09/2638.73	c      2639           7975        7972         1                -           0.0000          -
2636.07/2644.79	c      2645           8001        7998         1                -           0.0000          -
2641.46/2650.12	c      2650           8019        8016         1                -           0.0000          -
2647.74/2656.42	c      2656           8075        8072         1                -           0.0000          -
2655.21/2663.91	c      2664           8110        8107         1                -           0.0000          -
2661.89/2670.61	c      2671           8135        8132         1                -           0.0000          -
2668.37/2677.17	c      2677           8180        8177         1                -           0.0000          -
2674.25/2683.05	c      2683           8194        8191         1                -           0.0000          -
2679.53/2688.30	c      2688           8205        8202         1                -           0.0000          -
2684.61/2693.42	c      2693           8235        8232         1                -           0.0000          -
2690.58/2699.47	c      2699           8260        8257         1                -           0.0000          -
2700.15/2709.06	c      2709           8310        8307         1                -           0.0000          -
2705.83/2714.74	c      2715           8325        8322         1                -           0.0000          -
2711.12/2720.01	c      2720           8340        8337         1                -           0.0000          -
2716.99/2725.90	c      2726           8355        8352         1                -           0.0000          -
2722.57/2731.54	c      2732           8382        8379         1                -           0.0000          -
2728.46/2737.42	c      2737           8412        8409         1                -           0.0000          -
2734.73/2743.70	c      2744           8472        8469         1                -           0.0000          -
2740.41/2749.41	c      2749           8481        8478         1                -           0.0000          -
2746.19/2755.25	c      2755           8528        8525         1                -           0.0000          -
2751.17/2760.26	c      2760           8531        8528         1                -           0.0000          -
2758.44/2767.57	c      2768           8550        8547         1                -           0.0000          -
2763.52/2772.62	c      2773           8596        8593         1                -           0.0000          -
2769.50/2778.68	c      2779           8630        8627         1                -           0.0000          -
2777.37/2786.57	c      2787           8645        8642         1                -           0.0000          -
2782.65/2791.84	c      2792           8687        8684         1                -           0.0000          -
2789.13/2798.32	c      2798           8710        8707         1                -           0.0000          -
2796.20/2805.40	c      2805           8720        8717         1                -           0.0000          -
2801.68/2810.90	c      2811           8782        8779         1                -           0.0000          -
2808.06/2817.37	c      2817           8805        8802         1                -           0.0000          -
2813.64/2822.94	c      2823           8881        8878         1                -           0.0000          -
2822.20/2831.55	c      2832           8915        8912         1                -           0.0000          -
2828.08/2837.47	c      2837           8936        8933         1                -           0.0000          -
2835.66/2845.03	c      2845           8970        8967         1                -           0.0000          -
2847.21/2856.63	c      2857           8990        8987         1                -           0.0000          -
2852.60/2862.01	c      2862           9015        9012         1                -           0.0000          -
2858.27/2867.74	c      2868           9057        9054         1                -           0.0000          -
2863.95/2873.43	c      2873           9075        9072         1                -           0.0000          -
2871.32/2880.82	c      2881           9125        9122         1                -           0.0000          -
2877.00/2886.59	c      2887           9160        9157         1                -           0.0000          -
2884.37/2893.93	c      2894           9180        9177         1                -           0.0000          -
2891.65/2901.23	c      2901           9220        9217         1                -           0.0000          -
2898.62/2908.25	c      2908           9250        9247         1                -           0.0000          -
2903.90/2913.57	c      2914           9255        9252         1                -           0.0000          -
2911.49/2921.16	c      2921           9305        9302         1                -           0.0000          -
2917.47/2927.13	c      2927           9351        9348         1                -           0.0000          -
2923.04/2932.73	c      2933           9413        9410         1                -           0.0000          -
2929.61/2939.38	c      2939           9425        9422         1                -           0.0000          -
2935.40/2945.10	c      2945           9465        9462         1                -           0.0000          -
2941.77/2951.59	c      2952           9490        9487         1                -           0.0000          -
2949.35/2959.15	c      2959           9500        9497         1                -           0.0000          -
2957.61/2967.47	c      2967           9525        9522         1                -           0.0000          -
2962.89/2972.72	c      2973           9562        9559         1                -           0.0000          -
2968.37/2978.21	c      2978           9575        9572         1                -           0.0000          -
2976.04/2985.94	c      2986           9615        9612         1                -           0.0000          -
2981.32/2991.28	c      2991           9625        9622         1                -           0.0000          -
2987.40/2997.34	c      2997           9640        9637         1                -           0.0000          -
2992.48/3002.43	c      3002           9658        9655         1                -           0.0000          -
2999.66/3009.69	c      3010           9695        9692         1                -           0.0000          -
3008.14/3018.17	c      3018           9725        9722         1                -           0.0000          -
3014.02/3024.03	c      3024           9745        9742         1                -           0.0000          -
3019.69/3029.79	c      3030           9770        9767         1                -           0.0000          -
3025.08/3035.18	c      3035           9785        9782         1                -           0.0000          -
3030.65/3040.79	c      3041           9801        9798         1                -           0.0000          -
3038.03/3048.13	c      3048           9830        9827         1                -           0.0000          -
3043.10/3053.24	c      3053           9874        9871         1                -           0.0000          -
3051.17/3061.33	c      3061           9900        9897         1                -           0.0000          -
3057.45/3067.66	c      3068           9920        9917         1                -           0.0000          -
3066.72/3076.90	c      3077           9940        9937         1                -           0.0000          -
3072.50/3082.75	c      3083           9959        9956         1                -           0.0000          -
3079.77/3090.01	c      3090           9985        9982         1                -           0.0000          -
3085.25/3095.50	c      3096          10005       10002         1                -           0.0000          -
3090.43/3100.74	c      3101          10068       10065         1                -           0.0000          -
3096.31/3106.60	c      3107          10100       10097         1                -           0.0000          -
3101.49/3111.83	c      3112          10161       10158         1                -           0.0000          -
3107.47/3117.87	c      3118          10180       10177         1                -           0.0000          -
3112.65/3123.07	c      3123          10206       10203         1                -           0.0000          -
3120.42/3130.82	c      3131          10250       10247         1                -           0.0000          -
3126.00/3136.47	c      3136          10275       10272         1                -           0.0000          -
3131.77/3142.25	c      3142          10313       10310         1                -           0.0000          -
3138.05/3148.59	c      3149          10340       10337         1                -           0.0000          -
3143.23/3153.78	c      3154          10360       10357         1                -           0.0000          -
3148.82/3159.36	c      3159          10391       10388         1                -           0.0000          -
3154.20/3164.74	c      3165          10435       10432         1                -           0.0000          -
3163.16/3173.78	c      3174          10460       10457         1                -           0.0000          -
3169.45/3180.10	c      3180          10465       10462         1                -           0.0000          -
3174.62/3185.28	c      3185          10511       10508         1                -           0.0000          -
3181.20/3191.85	c      3192          10525       10522         1                -           0.0000          -
3187.27/3197.90	c      3198          10548       10545         1                -           0.0000          -
3194.94/3205.68	c      3206          10590       10587         1                -           0.0000          -
3200.82/3211.56	c      3212          10612       10609         1                -           0.0000          -
3209.30/3220.04	c      3220          10630       10627         1                -           0.0000          -
3214.57/3225.39	c      3225          10645       10642         1                -           0.0000          -
3220.55/3231.31	c      3231          10665       10662         1                -           0.0000          -
3226.23/3237.01	c      3237          10690       10687         1                -           0.0000          -
3231.51/3242.33	c      3242          10759       10756         1                -           0.0000          -
3237.09/3247.93	c      3248          10791       10788         1                -           0.0000          -
3244.67/3255.53	c      3256          10800       10797         1                -           0.0000          -
3249.75/3260.65	c      3261          10843       10840         1                -           0.0000          -
3254.84/3265.79	c      3266          10855       10852         1                -           0.0000          -
3260.24/3271.16	c      3271          10865       10862         1                -           0.0000          -
3266.22/3277.19	c      3277          10928       10925         1                -           0.0000          -
3271.99/3282.92	c      3283          10960       10957         1                -           0.0000          -
3277.67/3288.69	c      3289          11007       11004         1                -           0.0000          -
3284.75/3295.71	c      3296          11015       11012         1                -           0.0000          -
3290.23/3301.28	c      3301          11025       11022         1                -           0.0000          -
3296.71/3307.77	c      3308          11054       11051         1                -           0.0000          -
3303.10/3314.15	c      3314          11100       11097         1                -           0.0000          -
3309.77/3320.86	c      3321          11120       11117         1                -           0.0000          -
3315.06/3326.11	c      3326          11138       11135         1                -           0.0000          -
3320.84/3331.93	c      3332          11152       11149         1                -           0.0000          -
3326.22/3337.37	c      3337          11176       11173         1                -           0.0000          -
3331.40/3342.55	c      3343          11200       11197         1                -           0.0000          -
3337.89/3349.05	c      3349          11226       11223         1                -           0.0000          -
3343.08/3354.22	c      3354          11260       11257         1                -           0.0000          -
3348.96/3360.18	c      3360          11297       11294         1                -           0.0000          -
3355.14/3366.34	c      3366          11319       11316         1                -           0.0000          -
3360.12/3371.34	c      3371          11342       11339         1                -           0.0000          -
3365.61/3376.87	c      3377          11369       11366         1                -           0.0000          -
3371.99/3383.29	c      3383          11374       11371         1                -           0.0000          -
3377.77/3389.06	c      3389          11392       11389         1                -           0.0000          -
3382.95/3394.27	c      3394          11419       11416         1                -           0.0000          -
3389.23/3400.53	c      3401          11461       11458         1                -           0.0000          -
3396.11/3407.41	c      3407          11472       11469         1                -           0.0000          -
3401.80/3413.13	c      3413          11483       11480         1                -           0.0000          -
3407.88/3419.20	c      3419          11506       11503         1                -           0.0000          -
3413.56/3424.96	c      3425          11543       11540         1                -           0.0000          -
3420.84/3432.22	c      3432          11549       11546         1                -           0.0000          -
3425.92/3437.36	c      3437          11582       11579         1                -           0.0000          -
3431.80/3443.20	c      3443          11607       11604         1                -           0.0000          -
3437.88/3449.34	c      3449          11634       11631         1                -           0.0000          -
3444.96/3456.40	c      3456          11654       11651         1                -           0.0000          -
3450.04/3461.51	c      3462          11660       11657         1                -           0.0000          -
3455.93/3467.44	c      3467          11687       11684         1                -           0.0000          -
3462.11/3473.67	c      3474          11699       11696         1                -           0.0000          -
3467.49/3479.03	c      3479          11718       11715         1                -           0.0000          -
3473.36/3484.90	c      3485          11753       11750         1                -           0.0000          -
3479.64/3491.21	c      3491          11769       11766         1                -           0.0000          -
3484.82/3496.42	c      3496          11797       11794         1                -           0.0000          -
3492.00/3503.67	c      3504          11847       11844         1                -           0.0000          -
3497.18/3508.82	c      3509          11864       11861         1                -           0.0000          -
3502.76/3514.43	c      3514          11874       11871         1                -           0.0000          -
3508.73/3520.46	c      3520          11909       11906         1                -           0.0000          -
3514.12/3525.86	c      3526          11924       11921         1                -           0.0000          -
3520.89/3532.61	c      3533          11939       11936         1                -           0.0000          -
3526.07/3537.88	c      3538          11965       11962         1                -           0.0000          -
3536.34/3548.14	c      3548          11979       11976         1                -           0.0000          -
3541.71/3553.55	c      3554          12004       12001         1                -           0.0000          -
3548.79/3560.61	c      3561          12029       12026         1                -           0.0000          -
3554.38/3566.26	c      3566          12071       12068         1                -           0.0000          -
3559.46/3571.30	c      3571          12094       12091         1                -           0.0000          -
3568.42/3580.32	c      3580          12124       12121         1                -           0.0000          -
3574.70/3586.66	c      3587          12160       12157         1                -           0.0000          -
3579.98/3591.90	c      3592          12184       12181         1                -           0.0000          -
3585.56/3597.58	c      3598          12197       12194         1                -           0.0000          -
3588.05/3600.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.05/3600.04	c Total Time         : 3600.0400
3588.05/3600.04	c   solving          : 3600.0400
3588.05/3600.04	c   presolving       : 0.2248 (included in solving)
3588.05/3600.04	c B&B Tree           :
3588.05/3600.04	c   nodes (total)    : 1
3588.05/3600.04	c Solution           :
3588.05/3600.04	c   Solutions found  : 0
3588.05/3600.04	c   Primal Bound     :          -
3588.05/3600.04	c   Dual Bound       : +0.00000000000000e+00
3588.05/3600.04	c Gap                :          -
3588.05/3600.05	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100092 s]*
/proc/loadavg: 3.84 4.04 4.07 6/262 1028727
/proc/meminfo: memFree=127448860/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=52740 memory=42032 CPUtime=0.1 cores=0,2
/proc/1028709/stat : 1028709 (fscip) R 1028703 1028709 1028650 0 -1 4194304 9197 0 0 0 9 1 0 0 20 0 1 0 194464226 54005760 10508 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 13185 10508 2702 3032 0 9585 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52740 KiB
Current children cumulated memory: 42032 KiB

[startup+0.205852 s]*
/proc/loadavg: 3.84 4.04 4.07 5/262 1028728
/proc/meminfo: memFree=127431124/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=54452 memory=43412 CPUtime=0.2 cores=0,2
/proc/1028709/stat : 1028709 (fscip) R 1028703 1028709 1028650 0 -1 4194304 9523 0 0 0 19 1 0 0 20 0 1 0 194464226 55758848 10853 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 13613 10853 2718 3032 0 10013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54452 KiB
Current children cumulated memory: 43412 KiB

[startup+0.305636 s]*
/proc/loadavg: 3.84 4.04 4.07 6/264 1028730
/proc/meminfo: memFree=127393628/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=150248 memory=74544 CPUtime=0.3 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 19211 0 0 0 28 2 0 0 20 0 3 0 194464226 153853952 18636 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 37562 18636 2782 3032 0 23334 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=150248 memory=-7808532485384068984 CPUtime=0.02 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 5908 0 0 0 2 0 0 0 20 0 3 0 194464252 153853952 18636 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=150248 memory=0 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464255 153853952 18636 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150248 KiB
Current children cumulated memory: 74544 KiB

[startup+0.700252 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127324012/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=151276 memory=99060 CPUtime=0.69 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 25257 0 0 0 66 3 0 0 20 0 3 0 194464226 154906624 24765 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 37819 24765 2942 3032 0 29347 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=151276 memory=5432 CPUtime=0.42 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 11929 0 0 0 41 1 0 0 20 0 3 0 194464252 154906624 24765 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=151276 memory=417 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464255 154906624 24765 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 151276 KiB
Current children cumulated memory: 99060 KiB

[startup+1.50024 s]
/proc/loadavg: 3.84 4.04 4.07 5/266 1028732
/proc/meminfo: memFree=127241600/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=216812 memory=124768 CPUtime=1.48 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 35219 0 0 0 144 4 0 0 20 0 3 0 194464226 222015488 31192 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54203 31192 2942 3032 0 37202 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=216812 memory=417 CPUtime=1.21 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 21884 0 0 0 118 3 0 0 20 0 3 0 194464252 222015488 31192 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=216812 memory=0 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194464255 222015488 31192 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 216812 KiB
Current children cumulated memory: 124768 KiB

[startup+3.10588 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127227704/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=216812 memory=124776 CPUtime=3.08 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 41902 0 0 0 303 5 0 0 20 0 3 0 194464226 222015488 31194 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54203 31194 2942 3032 0 37202 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=216812 memory=-7808532485417688952 CPUtime=2.81 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 28567 0 0 0 278 3 0 0 20 0 3 0 194464252 222015488 31194 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=216812 memory=0 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194464255 222015488 31194 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 216812 KiB
Current children cumulated memory: 124776 KiB

[startup+6.30018 s]
/proc/loadavg: 3.85 4.04 4.07 5/266 1028732
/proc/meminfo: memFree=127215904/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=216812 memory=124784 CPUtime=6.27 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 55645 0 0 0 621 6 0 0 20 0 3 0 194464226 222015488 31196 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54203 31196 2942 3032 0 37202 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=216812 memory=124776 CPUtime=6 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 42304 0 0 0 596 4 0 0 20 0 3 0 194464252 222015488 31196 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=216812 memory=11648 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 194464255 222015488 31196 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216812 KiB
Current children cumulated memory: 124784 KiB

[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 6/266 1028734
/proc/meminfo: memFree=127199688/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=216812 memory=124860 CPUtime=12.64 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 71607 0 0 0 1258 6 0 0 20 0 3 0 194464226 222015488 31215 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54203 31215 2942 3032 0 37202 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=216812 memory=124784 CPUtime=12.37 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 58255 0 0 0 1232 5 0 0 20 0 3 0 194464252 222015488 31215 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=216812 memory=-7808532485417688952 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 194464255 222015488 31215 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216812 KiB
Current children cumulated memory: 124860 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 6/264 1028735
/proc/meminfo: memFree=127173972/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=218548 memory=127916 CPUtime=25.39 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 94388 0 0 0 2531 8 0 0 20 0 3 0 194464226 223793152 31979 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54637 31979 2942 3032 0 37636 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=218548 memory=127808 CPUtime=25.12 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 81026 0 0 0 2506 6 0 0 20 0 3 0 194464252 223793152 31979 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=218548 memory=11648 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 194464255 223793152 31979 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 218548 KiB
Current children cumulated memory: 127916 KiB

[startup+51.1057 s]
/proc/loadavg: 4.02 4.06 4.08 5/264 1028740
/proc/meminfo: memFree=127082756/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=218548 memory=153136 CPUtime=50.9 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 139352 0 0 0 5078 12 0 0 20 0 3 0 194464226 223793152 38284 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54637 38284 2942 3032 0 44740 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=218548 memory=149332 CPUtime=50.63 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 125921 0 0 0 5053 10 0 0 20 0 3 0 194464252 223793152 38284 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=218548 memory=149332 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 194464255 223793152 38284 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 218548 KiB
Current children cumulated memory: 153136 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.08 5/264 1028748
/proc/meminfo: memFree=126963084/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=218548 memory=155128 CPUtime=101.94 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 161250 0 0 0 10179 15 0 0 20 0 3 0 194464226 223793152 38782 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54637 38782 2990 3032 0 44740 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=218548 memory=11648 CPUtime=101.66 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 147767 0 0 0 10153 13 0 0 20 0 3 0 194464252 223793152 38782 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=218548 memory=155032 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 194464255 223793152 38782 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 218548 KiB
Current children cumulated memory: 155128 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.08 6/263 1028759
/proc/meminfo: memFree=126821148/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=218548 memory=163312 CPUtime=161.74 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 163595 0 0 0 16158 16 0 0 20 0 3 0 194464226 223793152 40828 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54637 40828 2990 3032 0 44740 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=218548 memory=11648 CPUtime=161.46 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 150102 0 0 0 16132 14 0 0 20 0 3 0 194464252 223793152 40828 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=218548 memory=11648 CPUtime=0 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 194464255 223793152 40828 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 218548 KiB
Current children cumulated memory: 163312 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.08 6/263 1028769
/proc/meminfo: memFree=126683416/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=218548 memory=163312 CPUtime=221.54 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 163919 0 0 0 22138 16 0 0 20 0 3 0 194464226 223793152 40828 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 54637 40828 2990 3032 0 44740 0

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

/proc/1028709/statm: 71256 51556 2990 3032 0 53926 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=206056 CPUtime=3390.62 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 322041 0 0 0 339018 44 0 0 20 0 3 0 194464252 291864576 51556 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=4756 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 309 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 51556 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3391.03 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 206224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.11 6/264 1030555
/proc/meminfo: memFree=121817912/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=206744 CPUtime=3450.84 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 338042 0 0 0 345032 52 0 0 20 0 3 0 194464226 291864576 51686 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 51686 2990 3032 0 54057 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=206056 CPUtime=3450.45 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 323396 0 0 0 345000 45 0 0 20 0 3 0 194464252 291864576 51686 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=46060 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 51686 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 206744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/264 1030566
/proc/meminfo: memFree=121766468/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=208256 CPUtime=3510.63 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 339763 0 0 0 351011 52 0 0 20 0 3 0 194464226 291864576 52064 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52064 2990 3032 0 54413 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=206224 CPUtime=3510.23 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 325093 0 0 0 350978 45 0 0 20 0 3 0 194464252 291864576 52064 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=208216 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 318 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52064 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3510.63 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 208256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/263 1030576
/proc/meminfo: memFree=121707452/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=208380 CPUtime=3570.42 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 341217 0 0 0 356989 53 0 0 20 0 3 0 194464226 291864576 52095 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52095 2990 3032 0 54443 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=0 CPUtime=3570.01 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 326520 0 0 0 356956 45 0 0 20 0 3 0 194464252 291864576 52095 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=208380 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52095 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 208380 KiB

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

# cumulated CPU time of all completed processes:  user=3587.58 s, system=0.541945 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.11 6/263 1030576
/proc/meminfo: memFree=121706424/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=208388 CPUtime=3572.11 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 341241 0 0 0 357158 53 0 0 20 0 3 0 194464226 291864576 52097 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52097 2990 3032 0 54451 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=-6879105243540655716 CPUtime=3571.7 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 326544 0 0 0 357125 45 0 0 20 0 3 0 194464252 291864576 52097 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=1401629516542861370 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52097 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 208388 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.10 5/263 1030577
/proc/meminfo: memFree=121699872/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209376 CPUtime=3578.48 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 341500 0 0 0 357795 53 0 0 20 0 3 0 194464226 291864576 52344 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52344 2990 3032 0 54699 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=208380 CPUtime=3578.07 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 326803 0 0 0 357762 45 0 0 20 0 3 0 194464252 291864576 52344 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=-6879105243406569060 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52344 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3578.48 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209376 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.10 6/263 1030579
/proc/meminfo: memFree=121693804/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209828 CPUtime=3584.86 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 342622 0 0 0 358433 53 0 0 20 0 3 0 194464226 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52457 2990 3032 0 54888 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=209128 CPUtime=3584.46 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 327915 0 0 0 358400 46 0 0 20 0 3 0 194464252 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=11648 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209828 KiB

[startup+3598.4 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691752/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209828 CPUtime=3586.45 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 342652 0 0 0 358592 53 0 0 20 0 3 0 194464226 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52457 2990 3032 0 54888 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=46060 CPUtime=3586.05 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 327936 0 0 0 358559 46 0 0 20 0 3 0 194464252 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=12952 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209828 KiB

[startup+3599.2 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691108/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209828 CPUtime=3587.25 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 342701 0 0 0 358672 53 0 0 20 0 3 0 194464226 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52457 2990 3032 0 54888 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=46060 CPUtime=3586.85 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 327985 0 0 0 358639 46 0 0 20 0 3 0 194464252 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=32224 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52457 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209828 KiB

[startup+3599.6 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691108/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209928 CPUtime=3587.65 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 342717 0 0 0 358712 53 0 0 20 0 3 0 194464226 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52482 2990 3032 0 54888 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=1816 CPUtime=3587.25 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 328001 0 0 0 358679 46 0 0 20 0 3 0 194464252 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=-6879105243406569060 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209928 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121690224/131524600 swapFree=131070704/131071996
[pid=1028709] ppid=1028703 vsize=285024 memory=209928 CPUtime=3588.05 cores=0,2
/proc/1028709/stat : 1028709 (fscip) S 1028703 1028709 1028650 0 -1 1077936128 342844 0 0 0 358752 53 0 0 20 0 3 0 194464226 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
/proc/1028709/statm: 71256 52482 2990 3032 0 54888 0
[pid=1028709/tid=1028729] ppid=1028703 vsize=285024 memory=-6879105243540655716 CPUtime=3587.65 cores=0,2
/proc/1028709/task/1028729/stat : 1028729 (fscip) R 1028703 1028709 1028650 0 -1 4194368 328340 0 0 0 358719 46 0 0 20 0 3 0 194464252 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
[pid=1028709/tid=1028730] ppid=1028703 vsize=285024 memory=1401629516542861370 CPUtime=0.03 cores=0,2
/proc/1028709/task/1028730/stat : 1028730 (fscip) S 1028703 1028709 1028650 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 194464255 291864576 52482 134679101440 4194304 16613245 140722807697440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51101696 140722807702547 140722807702663 140722807702663 140722807709680 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 285024 KiB
Current children cumulated memory: 209928 KiB

Child status: 0

Real time (s): 3600.06
CPU time (s): 3588.12
CPU user time (s): 3587.58
CPU system time (s): 0.541945
CPU usage (%): 99.6683
Max. virtual memory (cumulated for all children) (KiB): 285024
Max. memory (cumulated for all children) (KiB): 209928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 0.541945
maximum resident set size= 209928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346785
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= 6956
involuntary context switches= 25314


# summary of solver processes directly reported to runsolver:
#   pid: 1028709
#   total CPU time (s): 3588.12
#   total CPU user time (s): 3587.58
#   total CPU system time (s): 0.541945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18227 second user time and 16.6909 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-19 23:03:25
IDJOB=4450960
IDBENCH=162326
IDSOLVER=3064
FILE ID=nodeC023/4450960-1721422993
RUNJOBID= nodeC023-1721423005-1028660
SLURM_JOB_ID= 7545608
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-6.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-4450960-1721422993/watcher-4450960-1721422993 -o /tmp/evaluation-result-4450960-1721422993/solver-4450960-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028660 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450960-1721422993.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 3275beafb3ca308b178248aae5ff03d5
RANDOM SEED=403335192

nodeC023.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		: 3657.697
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.61
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		: 3633.154
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.48
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		: 3609.951
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.61
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		: 3709.378
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.48
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		: 3614.753
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.61
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		: 3724.088
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.48
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		: 3751.125
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.61
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		: 3631.600
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127585712 kB
MemAvailable:   129748668 kB
Buffers:          557372 kB
Cached:          2441896 kB
SwapCached:           80 kB
Active:          1182592 kB
Inactive:        2189100 kB
Active(anon):       1480 kB
Inactive(anon):   416668 kB
Active(file):    1181112 kB
Inactive(file):  1772432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            113252 kB
Writeback:             0 kB
AnonPages:        372000 kB
Mapped:           105924 kB
Shmem:             45728 kB
KReclaimable:      98472 kB
Slab:             192208 kB
SReclaimable:      98472 kB
SUnreclaim:        93736 kB
KernelStack:        3888 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC023 at 2024-07-20 00:03:25