Trace number 4450720

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? 3589.41 3600.07

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-3.opb
MD5SUM3a6a9e178c68ea233cbdb43dd005ad2a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
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 = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21373409, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13408067
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.31	c ** Estimated virtualMemUsedAtSolver = 39292797, getVmSize() = 69857280, SCIPgetMemUsed() = 25132681, SCIPgetMemTotal() = 45531129, SCIPgetMemExternEstim() = 13408067
0.19/0.31	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.31	c Original Problem   :
0.19/0.31	c   Problem name     : instance-4450720-1721418046
0.19/0.31	c   Variables        : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31	c   Constraints      : 9520
0.19/0.31	c   Objective sense  : minimize
0.19/0.31	c Presolved Problem  :
0.19/0.31	c   Variables        : 3347 (3347 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31	c   Constraints      : 7753
0.19/0.31	c Constraints        : Number
0.19/0.31	c   and              : 32 
0.19/0.31	c   linear           : 1300 
0.19/0.31	c   logicor          : 6421 
0.19/0.31	c ** Instance transfer method used: 0
0.29/0.32	c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.34	c                                Nodes    Active                                            
0.29/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
32.80/33.19	c        33              2           1         1                -           0.0000          -
42.81/43.25	c        43             24          23         1                -           0.0000          -
52.14/52.60	c        53             30          29         1                -           0.0000          -
58.87/59.43	c        59             36          35         1                -           0.0000          -
203.04/204.87	c       205             39          38         1                -           0.0000          -
210.02/211.85	c       212             45          44         1                -           0.0000          -
216.71/218.58	c       219             52          51         1                -           0.0000          -
223.00/224.82	c       225             55          54         1                -           0.0000          -
228.29/230.16	c       230             62          61         1                -           0.0000          -
235.86/237.78	c       238             68          67         1                -           0.0000          -
240.95/242.85	c       243             72          71         1                -           0.0000          -
246.03/247.94	c       248             75          74         1                -           0.0000          -
251.32/253.22	c       253             78          77         1                -           0.0000          -
259.99/261.93	c       262             85          84         1                -           0.0000          -
267.47/269.47	c       269             95          94         1                -           0.0000          -
274.15/276.19	c       276            105         104         1                -           0.0000          -
279.32/281.34	c       281            129         128         1                -           0.0000          -
284.61/286.65	c       287            132         131         1                -           0.0000          -
290.69/292.78	c       293            135         134         1                -           0.0000          -
300.65/302.77	c       303            142         141         1                -           0.0000          -
306.24/308.38	c       308            150         149         1                -           0.0000          -
312.62/314.75	c       315            172         171         1                -           0.0000          -
317.91/320.09	c       320            205         204         1                -           0.0000          -
325.37/327.56	c       328            255         254         1                -           0.0000          -
333.55/335.77	c       336            374         373         1                -           0.0000          -
341.43/343.64	c       344            410         409         1                -           0.0000          -
348.90/351.19	c       351            434         433         1                -           0.0000          -
357.97/360.23	c       360            454         453         1                -           0.0000          -
365.46/367.79	c       368            474         473         1                -           0.0000          -
372.84/375.12	c       375            498         497         1                -           0.0000          -
382.01/384.35	c       384            534         533         1                -           0.0000          -
387.59/389.90	c       390            551         550         1                -           0.0000          -
394.48/396.88	c       397            562         561         1                -           0.0000          -
402.06/404.49	c       404            590         589         1                -           0.0000          -
409.23/411.67	c       412            651         650         1                -           0.0000          -
417.72/420.17	c       420            654         653         1                -           0.0000          -
423.39/425.82	c       426            658         657         1                -           0.0000          -
432.77/435.20	c       435            678         677         1                -           0.0000          -
440.05/442.53	c       443            690         689         1                -           0.0000          -
446.44/448.95	c       449            708         707         1                -           0.0000          -
451.72/454.23	c       454            727         726         1                -           0.0000          -
457.92/460.44	c       460            736         735         1                -           0.0000          -
463.61/466.19	c       466            766         765         1                -           0.0000          -
468.99/471.55	c       472            792         791         1                -           0.0000          -
474.57/477.12	c       477            839         838         1                -           0.0000          -
482.36/484.93	c       485            862         861         1                -           0.0000          -
487.45/490.00	c       490            867         866         1                -           0.0000          -
497.22/499.82	c       500            897         896         1                -           0.0000          -
504.10/506.76	c       507            932         931         1                -           0.0000          -
509.79/512.47	c       512            945         944         1                -           0.0000          -
516.07/518.72	c       519            947         946         1                -           0.0000          -
524.45/527.18	c       527            992         991         1                -           0.0000          -
532.23/534.99	c       535           1017        1016         1                -           0.0000          -
539.81/542.58	c       543           1037        1036         1                -           0.0000          -
547.99/550.72	c       551           1047        1046         1                -           0.0000          -
586.00/588.80	c       589           1051           1         1                -           0.0000          -
591.29/594.17	c       594           1068          18         1                -           0.0000          -
598.97/601.88	c       602           1081          31         1                -           0.0000          -
607.25/610.14	c       610           1092          42         1                -           0.0000          -
613.62/616.55	c       617           1114          64         1                -           0.0000          -
621.51/624.48	c       624           1141          91         1                -           0.0000          -
626.69/629.69	c       630           1149          99         1                -           0.0000          -
632.39/635.34	c       635           1166         116         1                -           0.0000          -
638.27/641.28	c       641           1175         125         1                -           0.0000          -
645.95/648.97	c       649           1181         131         1                -           0.0000          -
654.33/657.36	c       657           1197         147         1                -           0.0000          -
659.61/662.60	c       663           1252         202         1                -           0.0000          -
664.90/667.93	c       668           1283         233         1                -           0.0000          -
673.48/676.52	c       677           1301         251         1                -           0.0000          -
679.36/682.49	c       682           1336         286         1                -           0.0000          -
685.75/688.87	c       689           1356         306         1                -           0.0000          -
692.23/695.40	c       695           1369         319         1                -           0.0000          -
702.31/705.49	c       705           1381         331         1                -           0.0000          -
711.09/714.27	c       714           1406         356         1                -           0.0000          -
717.27/720.42	c       720           1425         375         1                -           0.0000          -
722.55/725.76	c       726           1463         413         1                -           0.0000          -
728.23/731.46	c       731           1482         432         1                -           0.0000          -
733.52/736.79	c       737           1493         443         1                -           0.0000          -
739.11/742.37	c       742           1511         461         1                -           0.0000          -
744.29/747.54	c       748           1535         485         1                -           0.0000          -
751.88/755.19	c       755           1579         529         1                -           0.0000          -
758.75/762.04	c       762           1589         539         1                -           0.0000          -
764.23/767.52	c       768           1633         583         1                -           0.0000          -
769.41/772.76	c       773           1703         653         1                -           0.0000          -
775.40/778.73	c       779           1716         666         1                -           0.0000          -
787.16/790.50	c       790           1751         701         1                -           0.0000          -
792.34/795.77	c       796           1766         712         1                -           0.0000          -
799.63/803.02	c       803           1776         722         1                -           0.0000          -
804.61/808.05	c       808           1834         778         1                -           0.0000          -
810.49/813.99	c       814           1866         808         1                -           0.0000          -
820.06/823.58	c       824           1921         863         1                -           0.0000          -
826.04/829.54	c       830           1956         898         1                -           0.0000          -
831.13/834.68	c       835           1986         928         1                -           0.0000          -
838.91/842.44	c       842           2001         943         1                -           0.0000          -
844.60/848.11	c       848           2072        1014         1                -           0.0000          -
854.07/857.69	c       858           2091        1033         1                -           0.0000          -
859.95/863.52	c       864           2133        1073         1                -           0.0000          -
866.84/870.45	c       870           2185        1125         1                -           0.0000          -
1041.51/1045.53	c      1046           2191        1131         1                -           0.0000          -
1048.59/1052.60	c      1053           2197        1137         1                -           0.0000          -
1055.38/1059.41	c      1059           2209        1149         1                -           0.0000          -
1062.86/1066.90	c      1067           2215        1155         1                -           0.0000          -
1068.15/1072.23	c      1072           2282        1222         1                -           0.0000          -
1078.32/1082.44	c      1082           2323        1263         1                -           0.0000          -
1083.51/1087.66	c      1088           2340        1280         1                -           0.0000          -
1091.19/1095.36	c      1095           2367        1305         1                -           0.0000          -
1101.36/1105.57	c      1106           2421        1359         1                -           0.0000          -
1107.25/1111.44	c      1111           2497        1435         1                -           0.0000          -
1113.73/1117.93	c      1118           2517        1455         1                -           0.0000          -
1119.62/1123.80	c      1124           2579        1517         1                -           0.0000          -
1124.70/1128.90	c      1129           2637        1575         1                -           0.0000          -
1130.19/1134.40	c      1134           2657        1595         1                -           0.0000          -
1137.27/1141.52	c      1142           2679        1617         1                -           0.0000          -
1142.45/1146.78	c      1147           2715        1651         1                -           0.0000          -
1148.54/1152.85	c      1153           2723        1659         1                -           0.0000          -
1161.01/1165.32	c      1165           2765        1701         1                -           0.0000          -
1166.50/1170.86	c      1171           2793        1729         1                -           0.0000          -
1172.98/1177.36	c      1177           2807        1743         1                -           0.0000          -
1178.27/1182.63	c      1183           2849        1783         1                -           0.0000          -
1183.35/1187.79	c      1188           2873        1807         1                -           0.0000          -
1188.65/1193.08	c      1193           2881        1815         1                -           0.0000          -
1194.23/1198.60	c      1199           2953        1887         1                -           0.0000          -
1202.50/1206.94	c      1207           2965        1899         1                -           0.0000          -
1208.19/1212.63	c      1213           2993        1927         1                -           0.0000          -
1213.28/1217.79	c      1218           3045        1979         1                -           0.0000          -
1218.77/1223.24	c      1223           3079        2013         1                -           0.0000          -
1224.56/1229.04	c      1229           3097        2031         1                -           0.0000          -
1231.83/1236.35	c      1236           3147        2079         1                -           0.0000          -
1237.71/1242.21	c      1242           3242        2174         1                -           0.0000          -
1245.89/1250.49	c      1250           3321        2253         1                -           0.0000          -
1254.17/1258.80	c      1259           3327        2259         1                -           0.0000          -
1259.36/1263.90	c      1264           3374        2306         1                -           0.0000          -
1267.14/1271.76	c      1272           3417        2349         1                -           0.0000          -
1277.92/1282.52	c      1283           3441        2373         1                -           0.0000          -
1284.00/1288.68	c      1289           3459        2391         1                -           0.0000          -
1293.88/1298.53	c      1299           3525        2457         1                -           0.0000          -
1299.37/1304.06	c      1304           3597        2529         1                -           0.0000          -
1308.94/1313.61	c      1314           3651        2583         1                -           0.0000          -
1314.33/1319.06	c      1319           3661        2593         1                -           0.0000          -
1320.91/1325.69	c      1326           3693        2625         1                -           0.0000          -
1326.99/1331.72	c      1332           3730        2662         1                -           0.0000          -
1332.08/1336.89	c      1337           3769        2701         1                -           0.0000          -
1339.17/1343.94	c      1344           3783        2715         1                -           0.0000          -
1344.95/1349.77	c      1350           3831        2763         1                -           0.0000          -
1357.82/1362.68	c      1363           3873        2805         1                -           0.0000          -
1367.89/1372.78	c      1373           3891        2823         1                -           0.0000          -
1373.68/1378.58	c      1379           3917        2849         1                -           0.0000          -
1378.96/1383.88	c      1384           3961        2893         1                -           0.0000          -
1384.05/1388.91	c      1389           3979        2911         1                -           0.0000          -
1391.83/1396.75	c      1397           4005        2937         1                -           0.0000          -
1398.02/1402.94	c      1403           4011        2943         1                -           0.0000          -
1403.60/1408.50	c      1408           4063        2995         1                -           0.0000          -
1409.88/1414.89	c      1415           4101        3033         1                -           0.0000          -
1418.46/1423.42	c      1423           4125        3057         1                -           0.0000          -
1424.45/1429.46	c      1429           4136        3068         1                -           0.0000          -
1429.54/1434.54	c      1435           4143        3075         1                -           0.0000          -
1435.32/1440.34	c      1440           4158        3090         1                -           0.0000          -
1441.01/1446.00	c      1446           4206        3138         1                -           0.0000          -
1448.48/1453.53	c      1454           4239        3171         1                -           0.0000          -
1455.17/1460.25	c      1460           4280        3212         1                -           0.0000          -
1468.04/1473.11	c      1473           4311        3243         1                -           0.0000          -
1473.42/1478.58	c      1479           4322        3254         1                -           0.0000          -
1481.60/1486.77	c      1487           4335        3267         1                -           0.0000          -
1490.68/1495.82	c      1496           4347        3279         1                -           0.0000          -
1495.97/1501.12	c      1501           4389        3321         1                -           0.0000          -
1501.65/1506.85	c      1507           4412        3344         1                -           0.0000          -
1507.84/1513.01	c      1513           4442        3372         1                -           0.0000          -
1517.00/1522.24	c      1522           4444        3374         1                -           0.0000          -
1522.29/1527.52	c      1528           4486        3416         1                -           0.0000          -
1528.47/1533.78	c      1534           4499        3429         1                -           0.0000          -
1533.65/1538.96	c      1539           4505        3435         1                -           0.0000          -
1541.23/1546.59	c      1547           4559        3489         1                -           0.0000          -
1547.41/1552.79	c      1553           4585        3515         1                -           0.0000          -
1553.29/1558.64	c      1559           4607        3537         1                -           0.0000          -
1562.36/1567.70	c      1568           4648        3578         1                -           0.0000          -
1570.43/1575.81	c      1576           4699        3627         1                -           0.0000          -
1576.72/1582.11	c      1582           4728        3656         1                -           0.0000          -
1582.50/1587.95	c      1588           4764        3692         1                -           0.0000          -
1588.48/1593.93	c      1594           4783        3711         1                -           0.0000          -
1596.85/1602.32	c      1602           4799        3727         1                -           0.0000          -
1606.42/1611.91	c      1612           4813        3741         1                -           0.0000          -
1611.80/1617.37	c      1617           4828        3754         1                -           0.0000          -
1619.78/1625.39	c      1625           4863        3789         1                -           0.0000          -
1625.77/1631.39	c      1631           4884        3810         1                -           0.0000          -
1631.35/1636.91	c      1637           4916        3842         1                -           0.0000          -
1638.44/1644.03	c      1644           4949        3875         1                -           0.0000          -
1646.71/1652.31	c      1652           4971        3897         1                -           0.0000          -
1654.79/1660.44	c      1660           4992        3918         1                -           0.0000          -
1662.77/1668.45	c      1668           5042        3968         1                -           0.0000          -
1668.16/1673.82	c      1674           5056        3982         1                -           0.0000          -
1673.26/1678.90	c      1679           5094        4020         1                -           0.0000          -
1681.04/1686.75	c      1687           5113        4039         1                -           0.0000          -
1686.72/1692.46	c      1692           5154        4078         1                -           0.0000          -
1694.21/1699.91	c      1700           5186        4110         1                -           0.0000          -
1699.69/1705.49	c      1705           5228        4152         1                -           0.0000          -
1709.07/1714.86	c      1715           5243        4167         1                -           0.0000          -
1714.76/1720.54	c      1721           5268        4192         1                -           0.0000          -
1723.53/1729.31	c      1729           5286        4210         1                -           0.0000          -
1728.72/1734.54	c      1735           5304        4228         1                -           0.0000          -
1734.21/1740.03	c      1740           5359        4283         1                -           0.0000          -
1739.79/1745.69	c      1746           5379        4303         1                -           0.0000          -
1744.98/1750.80	c      1751           5432        4356         1                -           0.0000          -
1753.36/1759.26	c      1759           5465        4387         1                -           0.0000          -
1759.44/1765.34	c      1765           5486        4408         1                -           0.0000          -
1765.13/1771.09	c      1771           5501        4423         1                -           0.0000          -
1770.31/1776.21	c      1776           5508        4430         1                -           0.0000          -
1776.60/1782.58	c      1783           5536        4458         1                -           0.0000          -
1782.38/1788.35	c      1788           5567        4487         1                -           0.0000          -
1787.87/1793.82	c      1794           5600        4520         1                -           0.0000          -
1794.75/1800.75	c      1801           5652        4572         1                -           0.0000          -
1800.04/1806.03	c      1806           5671        4591         1                -           0.0000          -
1805.72/1811.79	c      1812           5713        4633         1                -           0.0000          -
1811.31/1817.36	c      1817           5715        4635         1                -           0.0000          -
1817.20/1823.24	c      1823           5731        4651         1                -           0.0000          -
1824.08/1830.18	c      1830           5758        4678         1                -           0.0000          -
1832.56/1838.62	c      1839           5786        4706         1                -           0.0000          -
1838.84/1844.94	c      1845           5793        4713         1                -           0.0000          -
1844.44/1850.58	c      1851           5801        4721         1                -           0.0000          -
1849.73/1855.85	c      1856           5813        4733         1                -           0.0000          -
1855.41/1861.56	c      1862           5862        4782         1                -           0.0000          -
1863.49/1869.61	c      1870           5886        4806         1                -           0.0000          -
1870.48/1876.67	c      1877           5915        4835         1                -           0.0000          -
1875.56/1881.78	c      1882           5948        4868         1                -           0.0000          -
1881.05/1887.29	c      1887           5990        4910         1                -           0.0000          -
1887.14/1893.30	c      1893           6006        4926         1                -           0.0000          -
1897.11/1903.34	c      1903           6029        4949         1                -           0.0000          -
1902.80/1909.01	c      1909           6036        4956         1                -           0.0000          -
1908.18/1914.43	c      1914           6058        4978         1                -           0.0000          -
1914.77/1921.07	c      1921           6086        5006         1                -           0.0000          -
1919.95/1926.25	c      1926           6105        5025         1                -           0.0000          -
1928.23/1934.51	c      1935           6136        5056         1                -           0.0000          -
1933.82/1940.17	c      1940           6151        5071         1                -           0.0000          -
1939.80/1946.19	c      1946           6206        5126         1                -           0.0000          -
1946.28/1952.60	c      1953           6208        5128         1                -           0.0000          -
1952.68/1959.07	c      1959           6251        5171         1                -           0.0000          -
1958.26/1964.66	c      1965           6302        5218         1                -           0.0000          -
1966.44/1972.82	c      1973           6345        5261         1                -           0.0000          -
1971.43/1977.86	c      1978           6366        5282         1                -           0.0000          -
1977.72/1984.19	c      1984           6398        5314         1                -           0.0000          -
1985.39/1991.88	c      1992           6431        5347         1                -           0.0000          -
1990.48/1996.90	c      1997           6477        5393         1                -           0.0000          -
1995.67/2002.13	c      2002           6488        5404         1                -           0.0000          -
2001.95/2008.41	c      2008           6516        5432         1                -           0.0000          -
2007.74/2014.27	c      2014           6560        5476         1                -           0.0000          -
2014.42/2020.90	c      2021           6566        5482         1                -           0.0000          -
2019.41/2025.96	c      2026           6581        5497         1                -           0.0000          -
2025.00/2031.55	c      2032           6636        5552         1                -           0.0000          -
2030.38/2036.91	c      2037           6645        5561         1                -           0.0000          -
2036.07/2042.62	c      2043           6697        5613         1                -           0.0000          -
2041.46/2048.10	c      2048           6718        5634         1                -           0.0000          -
2048.44/2055.02	c      2055           6731        5647         1                -           0.0000          -
2054.32/2060.99	c      2061           6760        5676         1                -           0.0000          -
2060.21/2066.84	c      2067           6823        5739         1                -           0.0000          -
2066.59/2073.29	c      2073           6852        5768         1                -           0.0000          -
2072.58/2079.25	c      2079           6880        5796         1                -           0.0000          -
2077.67/2084.31	c      2084           6910        5826         1                -           0.0000          -
2083.36/2090.01	c      2090           6916        5832         1                -           0.0000          -
2088.45/2095.17	c      2095           6923        5839         1                -           0.0000          -
2094.03/2100.74	c      2101           6940        5856         1                -           0.0000          -
2099.51/2106.25	c      2106           6966        5882         1                -           0.0000          -
2104.70/2111.49	c      2111           6986        5902         1                -           0.0000          -
2113.18/2119.94	c      2120           7023        5939         1                -           0.0000          -
2121.86/2128.69	c      2129           7038        5954         1                -           0.0000          -
2127.94/2134.79	c      2135           7083        5999         1                -           0.0000          -
2135.03/2141.87	c      2142           7116        6032         1                -           0.0000          -
2140.52/2147.39	c      2147           7131        6047         1                -           0.0000          -
2145.91/2152.80	c      2153           7150        6066         1                -           0.0000          -
2151.00/2157.86	c      2158           7186        6102         1                -           0.0000          -
2156.88/2163.79	c      2164           7207        6123         1                -           0.0000          -
2161.97/2168.84	c      2169           7228        6144         1                -           0.0000          -
2167.95/2174.84	c      2175           7285        6201         1                -           0.0000          -
2174.04/2180.94	c      2181           7315        6231         1                -           0.0000          -
2179.32/2186.23	c      2186           7349        6265         1                -           0.0000          -
2188.60/2195.54	c      2196           7359        6275         1                -           0.0000          -
2193.79/2200.72	c      2201           7366        6282         1                -           0.0000          -
2203.07/2210.04	c      2210           7388        6304         1                -           0.0000          -
2210.25/2217.22	c      2217           7395        6311         1                -           0.0000          -
2218.43/2225.49	c      2225           7423        6339         1                -           0.0000          -
2223.91/2230.97	c      2231           7459        6375         1                -           0.0000          -
2229.80/2236.88	c      2237           7481        6397         1                -           0.0000          -
2234.79/2241.88	c      2242           7527        6443         1                -           0.0000          -
2240.77/2247.89	c      2248           7546        6462         1                -           0.0000          -
2250.35/2257.43	c      2257           7588        6504         1                -           0.0000          -
2255.94/2263.09	c      2263           7606        6522         1                -           0.0000          -
2262.92/2270.02	c      2270           7623        6539         1                -           0.0000          -
2269.80/2276.96	c      2277           7652        6568         1                -           0.0000          -
2278.08/2285.23	c      2285           7673        6589         1                -           0.0000          -
2285.56/2292.72	c      2293           7688        6604         1                -           0.0000          -
2295.04/2302.29	c      2302           7702        6618         1                -           0.0000          -
2300.72/2307.90	c      2308           7720        6636         1                -           0.0000          -
2306.01/2313.21	c      2313           7761        6677         1                -           0.0000          -
2316.48/2323.75	c      2324           7781        6697         1                -           0.0000          -
2322.57/2329.84	c      2330           7802        6718         1                -           0.0000          -
2328.25/2335.51	c      2336           7813        6729         1                -           0.0000          -
2333.54/2340.86	c      2341           7851        6765         1                -           0.0000          -
2339.12/2346.45	c      2346           7873        6787         1                -           0.0000          -
2344.31/2351.65	c      2352           7888        6802         1                -           0.0000          -
2349.29/2356.66	c      2357           7925        6838         1                -           0.0000          -
2356.48/2363.83	c      2364           7952        6865         1                -           0.0000          -
2364.76/2372.15	c      2372           7973        6886         1                -           0.0000          -
2370.65/2378.06	c      2378           8016        6929         1                -           0.0000          -
2375.73/2383.15	c      2383           8037        6950         1                -           0.0000          -
2383.41/2390.82	c      2391           8059        6972         1                -           0.0000          -
2388.90/2396.39	c      2396           8079        6992         1                -           0.0000          -
2394.08/2401.50	c      2402           8089        7002         1                -           0.0000          -
2400.38/2407.87	c      2408           8128        7041         1                -           0.0000          -
2407.66/2415.16	c      2415           8152        7065         1                -           0.0000          -
2416.54/2424.04	c      2424           8166        7079         1                -           0.0000          -
2422.32/2429.81	c      2430           8206        7119         1                -           0.0000          -
2428.00/2435.51	c      2436           8227        7140         1                -           0.0000          -
2436.38/2443.97	c      2444           8259        7170         1                -           0.0000          -
2442.27/2449.80	c      2450           8273        7184         1                -           0.0000          -
2448.56/2456.16	c      2456           8289        7198         1                -           0.0000          -
2453.64/2461.27	c      2461           8296        7205         1                -           0.0000          -
2459.13/2466.75	c      2467           8323        7232         1                -           0.0000          -
2465.21/2472.83	c      2473           8369        7278         1                -           0.0000          -
2470.80/2478.48	c      2478           8396        7305         1                -           0.0000          -
2475.88/2483.52	c      2484           8429        7338         1                -           0.0000          -
2482.07/2489.79	c      2490           8453        7362         1                -           0.0000          -
2488.25/2495.97	c      2496           8500        7409         1                -           0.0000          -
2494.34/2502.02	c      2502           8520        7429         1                -           0.0000          -
2501.32/2509.00	c      2509           8539        7448         1                -           0.0000          -
2508.50/2516.28	c      2516           8553        7462         1                -           0.0000          -
2514.09/2521.81	c      2522           8568        7477         1                -           0.0000          -
2519.17/2526.97	c      2527           8575        7484         1                -           0.0000          -
2524.86/2532.64	c      2533           8592        7501         1                -           0.0000          -
2529.95/2537.79	c      2538           8618        7527         1                -           0.0000          -
2538.42/2546.20	c      2546           8646        7555         1                -           0.0000          -
2544.11/2551.92	c      2552           8653        7562         1                -           0.0000          -
2549.20/2557.07	c      2557           8667        7576         1                -           0.0000          -
2554.88/2562.76	c      2563           8688        7597         1                -           0.0000          -
2564.17/2572.10	c      2572           8718        7627         1                -           0.0000          -
2570.25/2578.18	c      2578           8769        7678         1                -           0.0000          -
2576.33/2584.23	c      2584           8790        7699         1                -           0.0000          -
2585.71/2593.66	c      2594           8818        7725         1                -           0.0000          -
2591.29/2599.20	c      2599           8866        7773         1                -           0.0000          -
2596.38/2604.37	c      2604           8908        7815         1                -           0.0000          -
2602.17/2610.16	c      2610           8916        7823         1                -           0.0000          -
2607.35/2615.34	c      2615           8925        7832         1                -           0.0000          -
2612.84/2620.82	c      2621           8932        7839         1                -           0.0000          -
2622.31/2630.31	c      2630           8946        7853         1                -           0.0000          -
2627.60/2635.62	c      2636           8988        7895         1                -           0.0000          -
2633.00/2641.07	c      2641           9031        7938         1                -           0.0000          -
2638.28/2646.36	c      2646           9067        7974         1                -           0.0000          -
2643.37/2651.42	c      2651           9081        7988         1                -           0.0000          -
2648.96/2657.05	c      2657           9115        8022         1                -           0.0000          -
2654.64/2662.74	c      2663           9125        8032         1                -           0.0000          -
2662.12/2670.20	c      2670           9146        8053         1                -           0.0000          -
2671.70/2679.82	c      2680           9161        8068         1                -           0.0000          -
2677.58/2685.72	c      2686           9213        8120         1                -           0.0000          -
2685.06/2693.21	c      2693           9239        8146         1                -           0.0000          -
2690.45/2698.67	c      2699           9253        8160         1                -           0.0000          -
2695.84/2704.09	c      2704           9268        8175         1                -           0.0000          -
2892.45/2901.27	c      2901           9275        8182         1                -           0.0000          -
2898.13/2906.99	c      2907           9282        8189         1                -           0.0000          -
2903.42/2912.20	c      2912           9318        8225         1                -           0.0000          -
2908.60/2917.48	c      2917           9332        8239         1                -           0.0000          -
2913.98/2922.86	c      2923           9368        8275         1                -           0.0000          -
2922.56/2931.49	c      2931           9396        8303         1                -           0.0000          -
2928.34/2937.21	c      2937           9442        8349         1                -           0.0000          -
2933.92/2942.85	c      2943           9466        8373         1                -           0.0000          -
2942.50/2951.44	c      2951           9482        8389         1                -           0.0000          -
2953.08/2962.08	c      2962           9503        8410         1                -           0.0000          -
2959.25/2968.21	c      2968           9525        8432         1                -           0.0000          -
2964.54/2973.50	c      2974           9560        8467         1                -           0.0000          -
2970.12/2979.17	c      2979           9579        8486         1                -           0.0000          -
2976.20/2985.28	c      2985           9603        8510         1                -           0.0000          -
2983.77/2992.86	c      2993           9639        8546         1                -           0.0000          -
2989.06/2998.16	c      2998           9689        8596         1                -           0.0000          -
2995.54/3004.62	c      3005           9696        8603         1                -           0.0000          -
3001.03/3010.15	c      3010           9703        8610         1                -           0.0000          -
3006.30/3015.49	c      3015           9736        8643         1                -           0.0000          -
3014.58/3023.74	c      3024           9768        8675         1                -           0.0000          -
3020.36/3029.57	c      3030           9814        8721         1                -           0.0000          -
3025.85/3035.03	c      3035           9860        8765         1                -           0.0000          -
3030.93/3040.18	c      3040           9878        8783         1                -           0.0000          -
3040.40/3049.68	c      3050           9911        8816         1                -           0.0000          -
3046.08/3055.38	c      3055           9961        8866         1                -           0.0000          -
3052.06/3061.37	c      3061           9993        8898         1                -           0.0000          -
3063.13/3072.43	c      3072          10011        8916         1                -           0.0000          -
3071.20/3080.51	c      3081          10032        8937         1                -           0.0000          -
3076.39/3085.79	c      3086          10067        8972         1                -           0.0000          -
3081.97/3091.35	c      3091          10082        8987         1                -           0.0000          -
3091.95/3101.30	c      3101          10093        8998         1                -           0.0000          -
3100.42/3109.89	c      3110          10125        9030         1                -           0.0000          -
3105.81/3115.22	c      3115          10156        9061         1                -           0.0000          -
3110.99/3120.40	c      3120          10157        9062         1                -           0.0000          -
3116.47/3125.99	c      3126          10207        9112         1                -           0.0000          -
3122.26/3131.78	c      3132          10255        9160         1                -           0.0000          -
3130.73/3140.23	c      3140          10277        9182         1                -           0.0000          -
3135.91/3145.45	c      3145          10326        9231         1                -           0.0000          -
3141.10/3150.65	c      3151          10333        9238         1                -           0.0000          -
3149.97/3159.58	c      3160          10357        9262         1                -           0.0000          -
3155.46/3165.03	c      3165          10396        9301         1                -           0.0000          -
3161.74/3171.36	c      3171          10421        9326         1                -           0.0000          -
3167.43/3177.10	c      3177          10465        9370         1                -           0.0000          -
3172.91/3182.51	c      3183          10470        9375         1                -           0.0000          -
3178.80/3188.41	c      3188          10500        9405         1                -           0.0000          -
3184.78/3194.41	c      3194          10530        9435         1                -           0.0000          -
3193.06/3202.75	c      3203          10565        9470         1                -           0.0000          -
3199.05/3208.75	c      3209          10581        9486         1                -           0.0000          -
3208.02/3217.73	c      3218          10605        9510         1                -           0.0000          -
3213.31/3223.07	c      3223          10809        9710         1                -           0.0000          -
3218.41/3228.16	c      3228          11162       10029         1                -           0.0000          -
3226.88/3236.66	c      3237          11338       10085         1                -           0.0000          -
3233.37/3243.16	c      3243          11578       10176         1                -           0.0000          -
3239.35/3249.18	c      3249          11833       10226         1                -           0.0000          -
3244.53/3254.30	c      3254          12179       10237         1                -           0.0000          -
3249.62/3259.45	c      3259          12471       10231         1                -           0.0000          -
3255.00/3264.83	c      3265          12663       10289         1                -           0.0000          -
3260.09/3269.91	c      3270          12860       10288         1                -           0.0000          -
3265.58/3275.40	c      3275          13094       10281         1                -           0.0000          -
3271.36/3281.22	c      3281          13256       10309         1                -           0.0000          -
3276.95/3286.88	c      3287          13444       10306         1                -           0.0000          -
3282.03/3291.99	c      3292          13532       10309         1                -           0.0000          -
3287.23/3297.12	c      3297          13748       10324         1                -           0.0000          -
3292.71/3302.66	c      3303          14226       10344         1                -           0.0000          -
3297.89/3307.86	c      3308          14693       10355         1                -           0.0000          -
3303.37/3313.33	c      3313          14820       10352         1                -           0.0000          -
3308.96/3318.94	c      3319          15373       10335         1                -           0.0000          -
3314.06/3324.07	c      3324          15809       10341         1                -           0.0000          -
3319.84/3329.80	c      3330          16085       10347         1                -           0.0000          -
3324.92/3334.95	c      3335          16555       10339         1                -           0.0000          -
3330.21/3340.22	c      3340          17230       10334         1                -           0.0000          -
3335.29/3345.36	c      3345          17811       10338         1                -           0.0000          -
3340.37/3350.47	c      3350          18182       10330         1                -           0.0000          -
3345.66/3355.72	c      3356          18588       10330         1                -           0.0000          -
3350.74/3360.87	c      3361          18931       10328         1                -           0.0000          -
3356.13/3366.21	c      3366          19399       10342         1                -           0.0000          -
3361.31/3371.48	c      3371          20065       10334         1                -           0.0000          -
3366.50/3376.68	c      3377          20487       10328         1                -           0.0000          -
3371.68/3381.81	c      3382          20980       10333         1                -           0.0000          -
3376.77/3386.90	c      3387          21428       10340         1                -           0.0000          -
3381.75/3391.99	c      3392          21939       10351         1                -           0.0000          -
3386.94/3397.16	c      3397          22584       10349         1                -           0.0000          -
3392.11/3402.37	c      3402          22989       10358         1                -           0.0000          -
3397.31/3407.52	c      3408          23370       10347         1                -           0.0000          -
3402.49/3412.76	c      3413          23697       10348         1                -           0.0000          -
3407.67/3417.93	c      3418          24064       10344         1                -           0.0000          -
3412.86/3423.15	c      3423          24412       10337         1                -           0.0000          -
3417.94/3428.29	c      3428          24769       10336         1                -           0.0000          -
3423.02/3433.36	c      3433          25184       10337         1                -           0.0000          -
3428.11/3438.48	c      3438          25674       10362         1                -           0.0000          -
3433.19/3443.59	c      3444          26380       10358         1                -           0.0000          -
3438.38/3448.74	c      3449          26724       10344         1                -           0.0000          -
3443.48/3453.84	c      3454          27289       10367         1                -           0.0000          -
3448.67/3459.07	c      3459          27535       10363         1                -           0.0000          -
3454.15/3464.57	c      3465          27817       10360         1                -           0.0000          -
3459.34/3469.75	c      3470          28088       10376         1                -           0.0000          -
3464.73/3475.14	c      3475          28318       10373         1                -           0.0000          -
3469.82/3480.28	c      3480          28528       10381         1                -           0.0000          -
3474.90/3485.39	c      3485          28816       10390         1                -           0.0000          -
3480.09/3490.52	c      3491          29089       10375         1                -           0.0000          -
3485.18/3495.68	c      3496          29289       10366         1                -           0.0000          -
3490.36/3500.88	c      3501          29535       10370         1                -           0.0000          -
3495.66/3506.14	c      3506          29788       10378         1                -           0.0000          -
3500.85/3511.35	c      3511          30043       10381         1                -           0.0000          -
3506.13/3516.64	c      3517          30277       10383         1                -           0.0000          -
3511.42/3521.93	c      3522          30514       10370         1                -           0.0000          -
3516.61/3527.16	c      3527          30791       10363         1                -           0.0000          -
3521.79/3532.35	c      3532          31042       10387         1                -           0.0000          -
3527.09/3537.60	c      3538          31312       10370         1                -           0.0000          -
3532.27/3542.80	c      3543          31608       10370         1                -           0.0000          -
3537.46/3548.02	c      3548          31875       10362         1                -           0.0000          -
3542.55/3553.14	c      3553          32101       10378         1                -           0.0000          -
3547.73/3558.32	c      3558          32282       10375         1                -           0.0000          -
3552.92/3563.55	c      3564          32466       10366         1                -           0.0000          -
3558.21/3568.81	c      3569          32664       10363         1                -           0.0000          -
3563.30/3573.98	c      3574          32913       10364         1                -           0.0000          -
3568.58/3579.20	c      3579          33093       10363         1                -           0.0000          -
3573.67/3584.39	c      3584          33421       10365         1                -           0.0000          -
3578.96/3589.60	c      3590          33733       10375         1                -           0.0000          -
3584.05/3594.75	c      3595          34207       10368         1                -           0.0000          -
3589.24/3599.94	c      3600          34578       10351         1                -           0.0000          -
3589.34/3600.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.34/3600.04	c Total Time         : 3600.0400
3589.34/3600.04	c   solving          : 3600.0400
3589.34/3600.04	c   presolving       : 0.2706 (included in solving)
3589.34/3600.04	c B&B Tree           :
3589.34/3600.04	c   nodes (total)    : 1
3589.34/3600.04	c Solution           :
3589.34/3600.04	c   Solutions found  : 0
3589.34/3600.04	c   Primal Bound     :          -
3589.34/3600.04	c   Dual Bound       : +0.00000000000000e+00
3589.34/3600.04	c Gap                :          -
3589.34/3600.06	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: 63931 MiB (60285 MiB free)
  memory of node 1: 64510 MiB (61296 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1044931, runsolver pid=1044928

[startup+0.10046 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124467008/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=54652 memory=43640 CPUtime=0.09 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 9850 0 0 0 8 1 0 0 20 0 1 0 193974324 55963648 10910 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 13663 10910 2702 3032 0 10063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54652 KiB
Current children cumulated memory: 43640 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124462652/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=58916 memory=48184 CPUtime=0.19 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 10938 0 0 0 18 1 0 0 20 0 1 0 193974324 60329984 12046 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 14729 12046 2718 3032 0 11129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58916 KiB
Current children cumulated memory: 48184 KiB

[startup+0.30539 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124458256/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=76416 memory=52948 CPUtime=0.29 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 12439 0 0 0 28 1 0 0 20 0 2 0 193974324 78249984 13237 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 19104 13237 2766 3032 0 15503 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=76416 memory=-7523928910011918686 CPUtime=0 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 193974355 78249984 13237 134679101440 4194304 16613245 140731664582224 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 52948 KiB

[startup+0.700461 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124418684/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=153636 memory=114116 CPUtime=0.67 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 28863 0 0 0 63 4 0 0 20 0 3 0 193974324 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 38409 28529 2926 3032 0 32712 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=153636 memory=15976 CPUtime=0.35 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 13776 0 0 0 33 2 0 0 20 0 3 0 193974355 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=153636 memory=257 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193974358 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153636 KiB
Current children cumulated memory: 114116 KiB

[startup+1.50444 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124360220/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148436 CPUtime=1.47 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 42056 0 0 0 141 6 0 0 20 0 3 0 193974324 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37109 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=257 CPUtime=1.14 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 26969 0 0 0 111 3 0 0 20 0 3 0 193974355 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=0 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148436 KiB

[startup+3.10544 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124362332/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148488 CPUtime=3.06 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 47503 0 0 0 299 7 0 0 20 0 3 0 193974324 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37122 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=0 CPUtime=2.73 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 32414 0 0 0 269 4 0 0 20 0 3 0 193974355 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=0 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148488 KiB

[startup+6.30044 s]
/proc/loadavg: 4.05 4.17 4.14 5/265 1044934
/proc/meminfo: memFree=124362312/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148504 CPUtime=6.22 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 54900 0 0 0 615 7 0 0 20 0 3 0 193974324 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37126 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=0 CPUtime=5.91 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 39811 0 0 0 586 5 0 0 20 0 3 0 193974355 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=-7664417297257815420 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148504 KiB

[startup+12.7004 s]
/proc/loadavg: 4.04 4.17 4.13 5/265 1044935
/proc/meminfo: memFree=124362208/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148508 CPUtime=12.57 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 79149 0 0 0 1249 8 0 0 20 0 3 0 193974324 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37127 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=-7664417297257815420 CPUtime=12.25 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 64050 0 0 0 1220 5 0 0 20 0 3 0 193974355 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=148504 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148508 KiB

[startup+25.5054 s]
/proc/loadavg: 4.11 4.18 4.14 5/265 1044937
/proc/meminfo: memFree=124361844/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148792 CPUtime=25.26 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 101073 0 0 0 2517 9 0 0 20 0 3 0 193974324 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37198 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=148792 CPUtime=24.95 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 85962 0 0 0 2488 7 0 0 20 0 3 0 193974355 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=5492 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148792 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 1044941
/proc/meminfo: memFree=124334212/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=174060 CPUtime=50.65 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 147813 0 0 0 5052 13 0 0 20 0 3 0 193974324 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43515 2990 3032 0 48833 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173624 CPUtime=50.32 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 132617 0 0 0 5022 10 0 0 20 0 3 0 193974355 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=12340 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 174060 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/266 1044952
/proc/meminfo: memFree=124332636/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=101.4 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 167667 0 0 0 10127 13 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=101.08 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 152429 0 0 0 10097 11 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=173736 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 101.4 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 173736 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/266 1044962
/proc/meminfo: memFree=124328000/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=160.9 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 176622 0 0 0 16076 14 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=160.57 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 161372 0 0 0 16046 11 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=5492 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 160.9 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 173736 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/266 1044973
/proc/meminfo: memFree=124313088/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=220.5 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 186973 0 0 0 22035 15 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=220.17 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 171682 0 0 0 22005 12 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0

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

/proc/1044931/statm: 87561 77146 3310 3032 0 78948 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=27652 CPUtime=3391.66 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 379868 0 0 0 339122 44 0 0 20 0 3 0 193974355 358649856 77146 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=308580 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 77146 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 308584 KiB

[startup+3462.3 s]
/proc/loadavg: 3.28 3.79 3.97 4/253 1046856
/proc/meminfo: memFree=124376492/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=310080 CPUtime=3451.95 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 399686 0 0 0 345142 53 0 0 20 0 3 0 193974324 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 77520 3310 3032 0 78948 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=309900 CPUtime=3451.49 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 383230 0 0 0 345104 45 0 0 20 0 3 0 193974355 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=310080 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 251 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 310080 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.65 3.91 4/253 1046866
/proc/meminfo: memFree=124360960/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325116 CPUtime=3511.82 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 407964 0 0 0 351127 55 0 0 20 0 3 0 193974324 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81279 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325116 CPUtime=3511.35 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 391488 0 0 0 351088 47 0 0 20 0 3 0 193974355 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=325116 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 253 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325116 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.55 3.86 4/253 1046876
/proc/meminfo: memFree=124360412/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3571.67 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410383 0 0 0 357111 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325116 CPUtime=3571.21 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 393890 0 0 0 357072 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=15976 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB

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

# cumulated CPU time of all completed processes:  user=3588.84 s, system=0.576428 s

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

[startup+3584 s]*
/proc/loadavg: 3.09 3.55 3.86 4/253 1046877
/proc/meminfo: memFree=124360456/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3573.37 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410436 0 0 0 357281 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=-6807889875275189607 CPUtime=3572.91 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 393942 0 0 0 357242 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=1400224349373227066 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB

[startup+3590.4 s]
/proc/loadavg: 3.08 3.54 3.85 4/255 1046883
/proc/meminfo: memFree=124360208/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3579.75 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410591 0 0 0 357919 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325120 CPUtime=3579.29 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394097 0 0 0 357880 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=-6736113756348320872 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3579.75 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB

[startup+3596.8 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046884
/proc/meminfo: memFree=124360224/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3586.15 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410743 0 0 0 358558 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=12340 CPUtime=3585.67 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394249 0 0 0 358518 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=5568 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB

[startup+3598.4 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360164/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3587.74 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410772 0 0 0 358717 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=49592 CPUtime=3587.27 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394278 0 0 0 358678 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=5492 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB

[startup+3599.2 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360148/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.54 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410772 0 0 0 358797 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.07 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394278 0 0 0 358758 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=2220 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3588.54 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB

[startup+3599.6 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360148/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.94 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410802 0 0 0 358837 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=49592 CPUtime=3588.47 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394308 0 0 0 358798 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=12312 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB

[startup+3600 s]*
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360156/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3589.34 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 1077936128 410855 0 0 0 358877 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=-6807889875275189607 CPUtime=3588.87 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394361 0 0 0 358838 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=-9187040411948841410 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB

Child status: 0

Real time (s): 3600.07
CPU time (s): 3589.41
CPU user time (s): 3588.84
CPU system time (s): 0.576428
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 415780
Max. memory (cumulated for all children) (KiB): 333564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 0.576428
maximum resident set size= 333564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411470
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= 6947
involuntary context switches= 3714


# summary of solver processes directly reported to runsolver:
#   pid: 1044931
#   total CPU time (s): 3589.41
#   total CPU user time (s): 3588.84
#   total CPU system time (s): 0.576428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97481 second user time and 17.0466 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-19 21:40:58
IDJOB=4450720
IDBENCH=162225
IDSOLVER=3064
FILE ID=nodeC033/4450720-1721418046
RUNJOBID= nodeC033-1721410598-1040500
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-3.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-4450720-1721418046/watcher-4450720-1721418046 -o /tmp/evaluation-result-4450720-1721418046/solver-4450720-1721418046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040500 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450720-1721418046.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 3a6a9e178c68ea233cbdb43dd005ad2a
RANDOM SEED=1633176064

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124500524 kB
MemAvailable:   128927900 kB
Buffers:          576252 kB
Cached:          4643332 kB
SwapCached:            0 kB
Active:          1036884 kB
Inactive:        5257664 kB
Active(anon):       1580 kB
Inactive(anon):  1119284 kB
Active(file):    1035304 kB
Inactive(file):  4138380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28256 kB
Writeback:             0 kB
AnonPages:       1072268 kB
Mapped:           145056 kB
Shmem:             45908 kB
KReclaimable:     186680 kB
Slab:             310032 kB
SReclaimable:     186680 kB
SUnreclaim:       123352 kB
KernelStack:        4184 kB
PageTables:        11684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     905032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC033 at 2024-07-19 22:40:58