Trace number 4447070

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3588.52 3600.06

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
MD5SUMa76247625d06f26dbfcd47fe69513f4b
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 variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
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 = 46993408, getVmSize() = 46993408, SCIPgetMemUsed() = 20007464, SCIPgetMemTotal() = 24954736, SCIPgetMemExternEstim() = 10741287
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
4.68/4.74	c ** Estimated virtualMemUsedAtSolver = 73186020, getVmSize() = 123621376, SCIPgetMemUsed() = 68965832, SCIPgetMemTotal() = 99037744, SCIPgetMemExternEstim() = 10741287
4.68/4.74	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.68/4.74	c Original Problem   :
4.68/4.74	c   Problem name     : instance-4447070-1721345778
4.68/4.74	c   Variables        : 5508 (5508 binary, 0 integer, 0 implicit integer, 0 continuous)
4.68/4.74	c   Constraints      : 5672
4.68/4.74	c   Objective sense  : minimize
4.68/4.74	c Presolved Problem  :
4.68/4.74	c   Variables        : 4777 (4777 binary, 0 integer, 0 implicit integer, 0 continuous)
4.68/4.74	c   Constraints      : 4924
4.68/4.74	c Constraints        : Number
4.68/4.74	c   setppc           : 1056 
4.68/4.74	c   orbitope         : 3 
4.68/4.74	c   logicor          : 3865 
4.68/4.74	c ** Instance transfer method used: 0
4.68/4.75	c ** ParaScipInstance copy increased the number of variables. **
4.68/4.77	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.68/4.77	c                                Nodes    Active                                            
4.68/4.77	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
83.20/83.57	c        84              2           1         1                -           0.0000          -
88.68/89.06	c        89              5           4         1                -           0.0000          -
96.65/97.07	c        97             14          11         1                -           0.0000          -
102.13/102.56	c       103             18          15         1                -           0.0000          -
114.09/114.53	c       115             24          21         1                -           0.0000          -
120.26/120.75	c       121             32          25         1                -           0.0000          -
125.84/126.35	c       126             41          26         1                -           0.0000          -
131.43/131.98	c       132             50          25         1                -           0.0000          -
137.01/137.56	c       138             52          27         1                -           0.0000          -
144.08/144.69	c       145             70          31         1                -           0.0000          -
151.35/151.97	c       152             78          33         1                -           0.0000          -
156.83/157.44	c       157             88          31         1                -           0.0000          -
162.41/163.09	c       163            100          31         1                -           0.0000          -
167.49/168.18	c       168            102          31         1                -           0.0000          -
173.67/174.39	c       174            105          34         1                -           0.0000          -
181.44/182.12	c       182            107          36         1                -           0.0000          -
187.02/187.78	c       188            118          37         1                -           0.0000          -
192.30/193.04	c       193            126          35         1                -           0.0000          -
199.28/200.03	c       200            137          32         1                -           0.0000          -
204.55/205.33	c       205            149          32         1                -           0.0000          -
209.63/210.43	c       210            159          32         1                -           0.0000          -
215.91/216.79	c       217            167          32         1                -           0.0000          -
221.89/222.77	c       223            176          31         1                -           0.0000          -
227.18/228.06	c       228            188          33         1                -           0.0000          -
232.85/233.72	c       234            200          33         1                -           0.0000          -
238.73/239.69	c       240            204          35         1                -           0.0000          -
244.40/245.39	c       245            211          40         1                -           0.0000          -
249.49/250.42	c       250            215          44         1                -           0.0000          -
255.67/256.69	c       257            219          48         1                -           0.0000          -
269.22/270.26	c       270            222          49         1                -           0.0000          -
274.89/275.94	c       276            226          53         1                -           0.0000          -
286.55/287.64	c       288            228          55         1                -           0.0000          -
307.87/309.05	c       309            234          61         1                -           0.0000          -
321.62/322.86	c       323            240          67         1                -           0.0000          -
327.59/328.89	c       329            246          73         1                -           0.0000          -
332.67/333.95	c       334            263          76         1                -           0.0000          -
338.75/340.08	c       340            267          80         1                -           0.0000          -
344.93/346.27	c       346            288          81         1                -           0.0000          -
350.82/352.14	c       352            309          82         1                -           0.0000          -
355.99/357.31	c       357            330          81         1                -           0.0000          -
361.26/362.66	c       363            345          80         1                -           0.0000          -
366.84/368.26	c       368            359          82         1                -           0.0000          -
372.03/373.42	c       373            378          81         1                -           0.0000          -
377.72/379.18	c       379            399          80         1                -           0.0000          -
383.39/384.81	c       385            418          79         1                -           0.0000          -
388.58/390.00	c       390            427          80         1                -           0.0000          -
394.95/396.46	c       396            442          79         1                -           0.0000          -
400.72/402.26	c       402            462          81         1                -           0.0000          -
406.80/408.32	c       408            485          82         1                -           0.0000          -
413.18/414.71	c       415            502          81         1                -           0.0000          -
419.26/420.81	c       421            512          81         1                -           0.0000          -
425.45/427.05	c       427            526          81         1                -           0.0000          -
431.83/433.43	c       433            532          83         1                -           0.0000          -
436.91/438.51	c       439            537          84         1                -           0.0000          -
442.99/444.69	c       445            553          84         1                -           0.0000          -
449.17/450.88	c       451            567          84         1                -           0.0000          -
454.95/456.69	c       457            571          84         1                -           0.0000          -
462.43/464.12	c       464            575          88         1                -           0.0000          -
468.70/470.42	c       470            579          92         1                -           0.0000          -
474.98/476.78	c       477            581          92         1                -           0.0000          -
483.27/485.01	c       485            582          93         1                -           0.0000          -
489.25/491.02	c       491            584          95         1                -           0.0000          -
494.83/496.65	c       497            588          99         1                -           0.0000          -
500.51/502.35	c       502            600          99         1                -           0.0000          -
510.87/512.77	c       513            605         104         1                -           0.0000          -
518.45/520.35	c       520            609         108         1                -           0.0000          -
524.23/526.11	c       526            621         112         1                -           0.0000          -
530.52/532.41	c       532            624         115         1                -           0.0000          -
536.29/538.22	c       538            628         119         1                -           0.0000          -
543.08/545.06	c       545            632         121         1                -           0.0000          -
574.47/576.50	c       577            635         124         1                -           0.0000          -
579.75/581.82	c       582            643         124         1                -           0.0000          -
589.93/592.05	c       592            648         129         1                -           0.0000          -
595.81/597.94	c       598            666         133         1                -           0.0000          -
601.68/603.85	c       604            678         131         1                -           0.0000          -
607.47/609.64	c       610            691         134         1                -           0.0000          -
612.65/614.87	c       615            704         137         1                -           0.0000          -
618.22/620.43	c       620            711         138         1                -           0.0000          -
624.00/626.28	c       626            723         138         1                -           0.0000          -
629.98/632.23	c       632            733         138         1                -           0.0000          -
635.47/637.78	c       638            742         141         1                -           0.0000          -
640.75/643.09	c       643            754         143         1                -           0.0000          -
646.03/648.33	c       648            762         143         1                -           0.0000          -
651.11/653.43	c       653            773         148         1                -           0.0000          -
657.19/659.54	c       660            786         147         1                -           0.0000          -
663.37/665.79	c       666            798         147         1                -           0.0000          -
669.35/671.78	c       672            813         150         1                -           0.0000          -
675.43/677.82	c       678            827         152         1                -           0.0000          -
681.41/683.82	c       684            831         156         1                -           0.0000          -
686.39/688.83	c       689            833         158         1                -           0.0000          -
691.67/694.17	c       694            845         158         1                -           0.0000          -
697.66/700.14	c       700            858         157         1                -           0.0000          -
703.23/705.78	c       706            869         156         1                -           0.0000          -
710.52/713.09	c       713            879         158         1                -           0.0000          -
718.60/721.19	c       721            882         161         1                -           0.0000          -
723.68/726.29	c       726            892         165         1                -           0.0000          -
729.16/731.79	c       732            908         165         1                -           0.0000          -
737.83/740.44	c       740            913         170         1                -           0.0000          -
743.21/745.89	c       746            918         175         1                -           0.0000          -
749.30/751.93	c       752            926         179         1                -           0.0000          -
757.47/760.16	c       760            935         184         1                -           0.0000          -
762.85/765.51	c       766            936         185         1                -           0.0000          -
770.73/773.49	c       774            939         188         1                -           0.0000          -
776.52/779.23	c       779            951         194         1                -           0.0000          -
781.90/784.60	c       785            967         196         1                -           0.0000          -
787.88/790.61	c       791            982         195         1                -           0.0000          -
794.06/796.86	c       797            992         201         1                -           0.0000          -
799.94/802.77	c       803           1005         202         1                -           0.0000          -
805.92/808.78	c       809           1015         206         1                -           0.0000          -
811.50/814.30	c       814           1020         209         1                -           0.0000          -
816.89/819.70	c       820           1023         210         1                -           0.0000          -
822.68/825.53	c       826           1029         212         1                -           0.0000          -
829.85/832.76	c       833           1035         216         1                -           0.0000          -
835.34/838.27	c       838           1047         214         1                -           0.0000          -
841.42/844.37	c       844           1060         215         1                -           0.0000          -
846.50/849.47	c       849           1068         217         1                -           0.0000          -
851.88/854.87	c       855           1076         219         1                -           0.0000          -
857.07/860.03	c       860           1088         221         1                -           0.0000          -
862.75/865.78	c       866           1096         223         1                -           0.0000          -
869.03/872.09	c       872           1110         225         1                -           0.0000          -
876.21/879.27	c       879           1114         229         1                -           0.0000          -
882.49/885.58	c       886           1120         233         1                -           0.0000          -
887.78/890.80	c       891           1132         233         1                -           0.0000          -
892.76/895.84	c       896           1136         237         1                -           0.0000          -
898.84/901.90	c       902           1141         240         1                -           0.0000          -
904.03/907.12	c       907           1157         240         1                -           0.0000          -
910.20/913.36	c       913           1166         243         1                -           0.0000          -
915.49/918.68	c       919           1182         243         1                -           0.0000          -
922.17/925.31	c       925           1199         244         1                -           0.0000          -
928.15/931.37	c       931           1213         250         1                -           0.0000          -
933.44/936.62	c       937           1223         254         1                -           0.0000          -
938.72/941.92	c       942           1234         255         1                -           0.0000          -
944.70/947.99	c       948           1254         259         1                -           0.0000          -
950.79/954.06	c       954           1270         267         1                -           0.0000          -
955.87/959.18	c       959           1279         270         1                -           0.0000          -
962.05/965.31	c       965           1281           0         1                -           0.0000          -
999.93/1003.38	c      1003           1281           0         1                -           0.0000          -
1019.87/1023.38	c      1023           1282           1         1                -           0.0000          -
1025.75/1029.29	c      1029           1286           5         1                -           0.0000          -
1037.41/1040.96	c      1041           1288           7         1                -           0.0000          -
1043.90/1047.46	c      1047           1292          11         1                -           0.0000          -
1049.29/1052.80	c      1053           1298          17         1                -           0.0000          -
1055.17/1058.77	c      1059           1302          21         1                -           0.0000          -
1061.15/1064.78	c      1065           1315          22         1                -           0.0000          -
1066.53/1070.12	c      1070           1325          22         1                -           0.0000          -
1072.31/1075.97	c      1076           1342          23         1                -           0.0000          -
1092.95/1096.69	c      1097           1344          25         1                -           0.0000          -
1098.63/1102.30	c      1102           1356          23         1                -           0.0000          -
1104.71/1108.48	c      1108           1374          25         1                -           0.0000          -
1110.19/1113.95	c      1114           1382          27         1                -           0.0000          -
1115.98/1119.76	c      1120           1401          28         1                -           0.0000          -
1122.26/1126.07	c      1126           1412          31         1                -           0.0000          -
1128.34/1132.11	c      1132           1418          33         1                -           0.0000          -
1134.12/1137.98	c      1138           1430          33         1                -           0.0000          -
1140.41/1144.26	c      1144           1446          33         1                -           0.0000          -
1145.59/1149.46	c      1149           1450          35         1                -           0.0000          -
1182.37/1186.34	c      1186           1452          37         1                -           0.0000          -
1187.46/1191.41	c      1191           1461          40         1                -           0.0000          -
1193.64/1197.69	c      1198           1479          40         1                -           0.0000          -
1200.02/1204.09	c      1204           1492          39         1                -           0.0000          -
1205.40/1209.46	c      1209           1505          40         1                -           0.0000          -
1211.88/1215.96	c      1216           1521          38         1                -           0.0000          -
1217.97/1222.03	c      1222           1532          39         1                -           0.0000          -
1223.44/1227.50	c      1228           1543          40         1                -           0.0000          -
1229.03/1233.18	c      1233           1556          39         1                -           0.0000          -
1234.51/1238.69	c      1239           1565          42         1                -           0.0000          -
1239.80/1243.98	c      1244           1577          40         1                -           0.0000          -
1244.89/1249.04	c      1249           1583          42         1                -           0.0000          -
1252.16/1256.32	c      1256           1594          41         1                -           0.0000          -
1257.25/1261.48	c      1261           1603          40         1                -           0.0000          -
1263.03/1267.27	c      1267           1615          38         1                -           0.0000          -
1268.61/1272.82	c      1273           1622          39         1                -           0.0000          -
1276.98/1281.23	c      1281           1632          41         1                -           0.0000          -
1282.37/1286.63	c      1287           1645          40         1                -           0.0000          -
1287.95/1292.29	c      1292           1651          40         1                -           0.0000          -
1293.63/1297.99	c      1298           1664          39         1                -           0.0000          -
1299.32/1303.68	c      1304           1675          40         1                -           0.0000          -
1306.59/1310.92	c      1311           1690          39         1                -           0.0000          -
1312.87/1317.20	c      1317           1698          41         1                -           0.0000          -
1318.26/1322.68	c      1323           1706          39         1                -           0.0000          -
1323.44/1327.88	c      1328           1713          42         1                -           0.0000          -
1329.32/1333.77	c      1334           1730          41         1                -           0.0000          -
1337.20/1341.60	c      1342           1736          45         1                -           0.0000          -
1342.88/1347.36	c      1347           1745          46         1                -           0.0000          -
1347.97/1352.45	c      1352           1754          47         1                -           0.0000          -
1353.46/1357.98	c      1358           1767          46         1                -           0.0000          -
1359.34/1363.81	c      1364           1775          44         1                -           0.0000          -
1366.31/1370.83	c      1371           1783          44         1                -           0.0000          -
1372.60/1377.17	c      1377           1798          43         1                -           0.0000          -
1378.48/1383.06	c      1383           1810          43         1                -           0.0000          -
1385.46/1390.09	c      1390           1818          43         1                -           0.0000          -
1390.64/1395.21	c      1395           1826          43         1                -           0.0000          -
1395.82/1400.48	c      1400           1835          46         1                -           0.0000          -
1402.00/1406.67	c      1407           1842          43         1                -           0.0000          -
1407.49/1412.12	c      1412           1851          44         1                -           0.0000          -
1412.87/1417.54	c      1418           1855          44         1                -           0.0000          -
1419.15/1423.88	c      1424           1868          45         1                -           0.0000          -
1425.03/1429.74	c      1430           1884          47         1                -           0.0000          -
1430.51/1435.23	c      1435           1907          46         1                -           0.0000          -
1437.09/1441.83	c      1442           1923          46         1                -           0.0000          -
1443.29/1448.00	c      1448           1937          44         1                -           0.0000          -
1448.66/1453.48	c      1453           1948          43         1                -           0.0000          -
1454.25/1459.01	c      1459           1963          44         1                -           0.0000          -
1459.63/1464.45	c      1464           1972          43         1                -           0.0000          -
1466.11/1470.91	c      1471           1991          48         1                -           0.0000          -
1471.59/1476.47	c      1476           2014          45         1                -           0.0000          -
1476.68/1481.58	c      1482           2029          44         1                -           0.0000          -
1482.06/1486.97	c      1487           2047          44         1                -           0.0000          -
1487.84/1492.72	c      1493           2057          46         1                -           0.0000          -
1492.83/1497.77	c      1498           2073          46         1                -           0.0000          -
1498.31/1503.26	c      1503           2088          45         1                -           0.0000          -
1503.89/1508.89	c      1509           2099          44         1                -           0.0000          -
1510.18/1515.13	c      1515           2112          45         1                -           0.0000          -
1515.86/1520.86	c      1521           2126          43         1                -           0.0000          -
1522.64/1527.61	c      1528           2144          43         1                -           0.0000          -
1528.92/1533.93	c      1534           2164          43         1                -           0.0000          -
1534.80/1539.88	c      1540           2171          44         1                -           0.0000          -
1540.78/1545.81	c      1546           2188          45         1                -           0.0000          -
1545.76/1550.85	c      1551           2194          47         1                -           0.0000          -
1551.84/1556.90	c      1557           2210          47         1                -           0.0000          -
1557.73/1562.85	c      1563           2226          47         1                -           0.0000          -
1563.41/1568.58	c      1569           2242          47         1                -           0.0000          -
1570.00/1575.17	c      1575           2253          46         1                -           0.0000          -
1575.67/1580.89	c      1581           2264          47         1                -           0.0000          -
1581.66/1586.83	c      1587           2277          48         1                -           0.0000          -
1587.24/1592.44	c      1592           2293          46         1                -           0.0000          -
1592.52/1597.70	c      1598           2309          46         1                -           0.0000          -
1598.30/1603.54	c      1604           2325          46         1                -           0.0000          -
1603.98/1609.24	c      1609           2334          45         1                -           0.0000          -
1609.96/1615.25	c      1615           2347          44         1                -           0.0000          -
1616.34/1621.61	c      1622           2353          44         1                -           0.0000          -
1621.73/1627.01	c      1627           2365          46         1                -           0.0000          -
1626.91/1632.24	c      1632           2373          46         1                -           0.0000          -
1632.09/1637.49	c      1637           2394          47         1                -           0.0000          -
1637.68/1643.10	c      1643           2417          46         1                -           0.0000          -
1643.36/1648.76	c      1649           2436          47         1                -           0.0000          -
1649.54/1654.97	c      1655           2455          44         1                -           0.0000          -
1654.63/1660.07	c      1660           2467          46         1                -           0.0000          -
1660.61/1666.03	c      1666           2479          46         1                -           0.0000          -
1666.09/1671.56	c      1672           2485          46         1                -           0.0000          -
1671.68/1677.11	c      1677           2505          46         1                -           0.0000          -
1677.56/1683.07	c      1683           2516          47         1                -           0.0000          -
1683.54/1689.01	c      1689           2530          45         1                -           0.0000          -
1690.21/1695.74	c      1696           2548          45         1                -           0.0000          -
1696.00/1701.59	c      1702           2575          46         1                -           0.0000          -
1701.18/1706.73	c      1707           2598          45         1                -           0.0000          -
1706.26/1711.84	c      1712           2614          45         1                -           0.0000          -
1711.35/1716.92	c      1717           2627          44         1                -           0.0000          -
1716.73/1722.35	c      1722           2641          50         1                -           0.0000          -
1722.61/1728.20	c      1728           2672          53         1                -           0.0000          -
1728.70/1734.30	c      1734           2704          51         1                -           0.0000          -
1733.98/1739.67	c      1740           2724          51         1                -           0.0000          -
1740.27/1745.91	c      1746           2742          49         1                -           0.0000          -
1746.15/1751.86	c      1752           2759          48         1                -           0.0000          -
1751.73/1757.46	c      1757           2781          50         1                -           0.0000          -
1757.62/1763.35	c      1763           2807          48         1                -           0.0000          -
1763.60/1769.33	c      1769           2829          48         1                -           0.0000          -
1769.48/1775.27	c      1775           2859          46         1                -           0.0000          -
1776.16/1781.91	c      1782           2877          46         1                -           0.0000          -
1782.54/1788.30	c      1788           2886          47         1                -           0.0000          -
1789.52/1795.33	c      1795           2900          49         1                -           0.0000          -
1796.50/1802.34	c      1802           2916          47         1                -           0.0000          -
1801.78/1807.62	c      1808           2925          48         1                -           0.0000          -
1806.96/1812.84	c      1813           2935          50         1                -           0.0000          -
1812.45/1818.39	c      1818           2946          49         1                -           0.0000          -
1818.23/1824.13	c      1824           2959          50         1                -           0.0000          -
1824.31/1830.24	c      1830           2970          51         1                -           0.0000          -
1830.69/1836.60	c      1837           2982          49         1                -           0.0000          -
1836.77/1842.74	c      1843           2994          49         1                -           0.0000          -
1842.75/1848.78	c      1849           3009          50         1                -           0.0000          -
1848.54/1854.54	c      1855           3030          51         1                -           0.0000          -
1853.92/1859.94	c      1860           3047          46         1                -           0.0000          -
1859.80/1865.83	c      1866           3059          48         1                -           0.0000          -
1865.28/1871.39	c      1871           3068          47         1                -           0.0000          -
1871.27/1877.34	c      1877           3080          45         1                -           0.0000          -
1877.35/1883.45	c      1883           3095          46         1                -           0.0000          -
1883.13/1889.22	c      1889           3114          45         1                -           0.0000          -
1889.51/1895.64	c      1896           3122          47         1                -           0.0000          -
1899.68/1905.83	c      1906           3124          49         1                -           0.0000          -
1912.34/1918.56	c      1919           3132          51         1                -           0.0000          -
1917.93/1924.15	c      1924           3144          53         1                -           0.0000          -
1923.70/1929.91	c      1930           3152          53         1                -           0.0000          -
1929.29/1935.54	c      1936           3157          56         1                -           0.0000          -
1935.27/1941.59	c      1942           3169          56         1                -           0.0000          -
1941.55/1947.89	c      1948           3174          59         1                -           0.0000          -
1947.84/1954.15	c      1954           3180          61         1                -           0.0000          -
1954.01/1960.30	c      1960           3189          60         1                -           0.0000          -
1964.98/1971.39	c      1971           3194          63         1                -           0.0000          -
1970.77/1977.12	c      1977           3197          66         1                -           0.0000          -
1978.24/1984.67	c      1985           3199          68         1                -           0.0000          -
1984.82/1991.21	c      1991           3204          71         1                -           0.0000          -
1990.21/1996.68	c      1997           3224          69         1                -           0.0000          -
1995.89/2002.39	c      2002           3238          71         1                -           0.0000          -
2001.27/2007.79	c      2008           3246          69         1                -           0.0000          -
2010.35/2016.88	c      2017           3250          73         1                -           0.0000          -
2016.33/2022.86	c      2023           3258          73         1                -           0.0000          -
2023.31/2029.85	c      2030           3269          74         1                -           0.0000          -
2029.19/2035.77	c      2036           3282          75         1                -           0.0000          -
2036.27/2042.82	c      2043           3290          77         1                -           0.0000          -
2052.92/2059.53	c      2060           3292          79         1                -           0.0000          -
2059.50/2066.19	c      2066           3297          82         1                -           0.0000          -
2064.68/2071.31	c      2071           3300          81         1                -           0.0000          -
2071.26/2077.94	c      2078           3304          83         1                -           0.0000          -
2076.45/2083.16	c      2083           3306          85         1                -           0.0000          -
2082.03/2088.77	c      2089           3311          88         1                -           0.0000          -
2087.51/2094.28	c      2094           3314          89         1                -           0.0000          -
2094.29/2101.00	c      2101           3324          91         1                -           0.0000          -
2100.07/2106.86	c      2107           3328          93         1                -           0.0000          -
2107.74/2114.50	c      2115           3337          96         1                -           0.0000          -
2124.59/2131.44	c      2131           3339          98         1                -           0.0000          -
2130.07/2136.97	c      2137           3345          98         1                -           0.0000          -
2136.16/2143.03	c      2143           3365          98         1                -           0.0000          -
2144.53/2151.41	c      2151           3369          98         1                -           0.0000          -
2150.11/2157.00	c      2157           3380          97         1                -           0.0000          -
2155.69/2162.61	c      2163           3392          97         1                -           0.0000          -
2162.18/2169.10	c      2169           3398          99         1                -           0.0000          -
2168.16/2175.10	c      2175           3410         101         1                -           0.0000          -
2173.83/2180.88	c      2181           3412         101         1                -           0.0000          -
2180.12/2187.13	c      2187           3433         108         1                -           0.0000          -
2187.10/2194.15	c      2194           3453         106         1                -           0.0000          -
2206.83/2213.92	c      2214           3455         108         1                -           0.0000          -
2212.22/2219.36	c      2219           3469         110         1                -           0.0000          -
2218.00/2225.18	c      2225           3481         114         1                -           0.0000          -
2223.88/2231.05	c      2231           3491         114         1                -           0.0000          -
2229.26/2236.47	c      2236           3503         114         1                -           0.0000          -
2235.14/2242.33	c      2242           3528         113         1                -           0.0000          -
2240.13/2247.39	c      2247           3542         113         1                -           0.0000          -
2245.91/2253.15	c      2253           3573         116         1                -           0.0000          -
2250.99/2258.29	c      2258           3593         118         1                -           0.0000          -
2257.27/2264.59	c      2265           3617         118         1                -           0.0000          -
2262.95/2270.28	c      2270           3642         119         1                -           0.0000          -
2268.84/2276.18	c      2276           3677         118         1                -           0.0000          -
2274.02/2281.32	c      2281           3689         120         1                -           0.0000          -
2279.20/2286.53	c      2287           3719         118         1                -           0.0000          -
2284.99/2292.32	c      2292           3744         119         1                -           0.0000          -
2290.67/2298.04	c      2298           3763         116         1                -           0.0000          -
2295.85/2303.24	c      2303           3781         114         1                -           0.0000          -
2301.74/2309.11	c      2309           3810         111         1                -           0.0000          -
2307.91/2315.30	c      2315           3829         112         1                -           0.0000          -
2313.90/2321.38	c      2321           3850         111         1                -           0.0000          -
2319.78/2327.25	c      2327           3856         115         1                -           0.0000          -
2333.05/2340.55	c      2341           3857         116         1                -           0.0000          -
2339.43/2346.99	c      2347           3867         116         1                -           0.0000          -
2345.21/2352.74	c      2353           3871         118         1                -           0.0000          -
2351.39/2358.95	c      2359           3881         120         1                -           0.0000          -
2356.67/2364.20	c      2364           3900         117         1                -           0.0000          -
2363.25/2370.84	c      2371           3903         116         1                -           0.0000          -
2368.33/2375.98	c      2376           3915         118         1                -           0.0000          -
2374.31/2381.99	c      2382           3934         115         1                -           0.0000          -
2380.29/2387.99	c      2388           3945         118         1                -           0.0000          -
2386.38/2394.06	c      2394           3964         117         1                -           0.0000          -
2393.15/2400.84	c      2401           3973         118         1                -           0.0000          -
2399.93/2407.60	c      2408           3983         120         1                -           0.0000          -
2405.42/2413.15	c      2413           3994         117         1                -           0.0000          -
2410.50/2418.28	c      2418           4012         119         1                -           0.0000          -
2416.39/2424.17	c      2424           4033         120         1                -           0.0000          -
2422.46/2430.22	c      2430           4037         122         1                -           0.0000          -
2428.05/2435.83	c      2436           4046         119         1                -           0.0000          -
2433.73/2441.54	c      2442           4057         120         1                -           0.0000          -
2438.81/2446.61	c      2447           4072         120         1                -           0.0000          -
2445.30/2453.10	c      2453           4087         121         1                -           0.0000          -
2451.48/2459.34	c      2459           4100         122         1                -           0.0000          -
2456.86/2464.73	c      2465           4118         124         1                -           0.0000          -
2462.84/2470.71	c      2471           4141         123         1                -           0.0000          -
2468.82/2476.79	c      2477           4166         120         1                -           0.0000          -
2474.50/2482.45	c      2482           4177         119         1                -           0.0000          -
2479.89/2487.86	c      2488           4188         120         1                -           0.0000          -
2485.77/2493.78	c      2494           4204         118         1                -           0.0000          -
2491.35/2499.30	c      2499           4214         120         1                -           0.0000          -
2497.73/2505.73	c      2506           4225         119         1                -           0.0000          -
2502.82/2510.85	c      2511           4236         120         1                -           0.0000          -
2507.90/2515.95	c      2516           4244         122         1                -           0.0000          -
2513.18/2521.23	c      2521           4258         122         1                -           0.0000          -
2519.16/2527.26	c      2527           4277         121         1                -           0.0000          -
2525.05/2533.19	c      2533           4290         122         1                -           0.0000          -
2531.23/2539.36	c      2539           4305         123         1                -           0.0000          -
2536.51/2544.65	c      2545           4320         124         1                -           0.0000          -
2541.49/2549.67	c      2550           4333         125         1                -           0.0000          -
2547.18/2555.35	c      2555           4352         124         1                -           0.0000          -
2552.86/2561.03	c      2561           4362         124         1                -           0.0000          -
2558.85/2567.10	c      2567           4379         123         1                -           0.0000          -
2564.42/2572.63	c      2573           4398         126         1                -           0.0000          -
2570.60/2578.80	c      2579           4415         125         1                -           0.0000          -
2575.59/2583.83	c      2584           4428         124         1                -           0.0000          -
2581.17/2589.46	c      2589           4445         123         1                -           0.0000          -
2586.46/2594.78	c      2595           4460         124         1                -           0.0000          -
2592.14/2600.44	c      2600           4473         123         1                -           0.0000          -
2597.22/2605.52	c      2606           4483         125         1                -           0.0000          -
2602.61/2610.90	c      2611           4497         125         1                -           0.0000          -
2608.89/2617.21	c      2617           4520         124         1                -           0.0000          -
2615.28/2623.60	c      2624           4544         124         1                -           0.0000          -
2620.26/2628.65	c      2629           4558         122         1                -           0.0000          -
2625.24/2633.67	c      2634           4576         120         1                -           0.0000          -
2631.02/2639.49	c      2640           4593         119         1                -           0.0000          -
2636.71/2645.10	c      2645           4605         117         1                -           0.0000          -
2641.99/2650.41	c      2650           4612         120         1                -           0.0000          -
2647.87/2656.30	c      2656           4629         121         1                -           0.0000          -
2653.66/2662.17	c      2662           4657         121         1                -           0.0000          -
2659.23/2667.77	c      2668           4669         121         1                -           0.0000          -
2665.02/2673.56	c      2674           4671         121         1                -           0.0000          -
2671.30/2679.87	c      2680           4686         120         1                -           0.0000          -
2676.59/2685.12	c      2685           4702         120         1                -           0.0000          -
2682.26/2690.87	c      2691           4725         119         1                -           0.0000          -
2687.45/2696.02	c      2696           4741         119         1                -           0.0000          -
2692.44/2701.09	c      2701           4760         118         1                -           0.0000          -
2698.52/2707.16	c      2707           4769         119         1                -           0.0000          -
2704.40/2713.09	c      2713           4780         120         1                -           0.0000          -
2710.78/2719.47	c      2719           4800         120         1                -           0.0000          -
2715.96/2724.60	c      2725           4819         119         1                -           0.0000          -
2721.84/2730.58	c      2731           4833         119         1                -           0.0000          -
2727.12/2735.83	c      2736           4847         117         1                -           0.0000          -
2732.21/2740.96	c      2741           4862         120         1                -           0.0000          -
2738.49/2747.20	c      2747           4882         124         1                -           0.0000          -
2744.27/2753.00	c      2753           4897         119         1                -           0.0000          -
2750.25/2759.00	c      2759           4917         119         1                -           0.0000          -
2756.03/2764.81	c      2765           4930         116         1                -           0.0000          -
2761.32/2770.12	c      2770           4946         118         1                -           0.0000          -
2767.00/2775.84	c      2776           4966         118         1                -           0.0000          -
2771.98/2780.88	c      2781           4982         118         1                -           0.0000          -
2777.17/2786.06	c      2786           4994         118         1                -           0.0000          -
2783.15/2792.08	c      2792           5003         117         1                -           0.0000          -
2788.53/2797.43	c      2797           5015         117         1                -           0.0000          -
2794.22/2803.13	c      2803           5022         118         1                -           0.0000          -
2799.39/2808.35	c      2808           5025         119         1                -           0.0000          -
2805.67/2814.68	c      2815           5040         118         1                -           0.0000          -
2811.75/2820.76	c      2821           5062         118         1                -           0.0000          -
2816.83/2825.89	c      2826           5072         120         1                -           0.0000          -
2822.90/2831.95	c      2832           5092         120         1                -           0.0000          -
2828.99/2838.06	c      2838           5116         118         1                -           0.0000          -
2834.67/2843.77	c      2844           5144         118         1                -           0.0000          -
2840.95/2850.01	c      2850           5165         117         1                -           0.0000          -
2847.12/2856.24	c      2856           5184         118         1                -           0.0000          -
2852.91/2862.07	c      2862           5211         119         1                -           0.0000          -
2858.28/2867.40	c      2867           5237         121         1                -           0.0000          -
2864.06/2873.27	c      2873           5262         120         1                -           0.0000          -
2869.14/2878.38	c      2878           5285         123         1                -           0.0000          -
2874.93/2884.14	c      2884           5315         121         1                -           0.0000          -
2880.91/2890.17	c      2890           5340         118         1                -           0.0000          -
2886.48/2895.77	c      2896           5360         118         1                -           0.0000          -
2892.86/2902.11	c      2902           5371         117         1                -           0.0000          -
2898.24/2907.54	c      2908           5381         117         1                -           0.0000          -
2904.82/2914.19	c      2914           5389         121         1                -           0.0000          -
2910.70/2920.07	c      2920           5394         120         1                -           0.0000          -
2915.87/2925.28	c      2925           5399         119         1                -           0.0000          -
2921.76/2931.12	c      2931           5408         120         1                -           0.0000          -
2926.83/2936.29	c      2936           5414         122         1                -           0.0000          -
2933.11/2942.58	c      2943           5427         117         1                -           0.0000          -
2938.99/2948.46	c      2948           5432         118         1                -           0.0000          -
2945.86/2955.33	c      2955           5454         118         1                -           0.0000          -
2950.84/2960.36	c      2960           5474         118         1                -           0.0000          -
2956.03/2965.58	c      2966           5481         119         1                -           0.0000          -
2961.11/2970.61	c      2971           5497         121         1                -           0.0000          -
2967.18/2976.74	c      2977           5503         121         1                -           0.0000          -
2972.96/2982.59	c      2983           5520         124         1                -           0.0000          -
2978.55/2988.12	c      2988           5535         123         1                -           0.0000          -
2984.72/2994.34	c      2994           5548         122         1                -           0.0000          -
2990.00/2999.63	c      3000           5559         123         1                -           0.0000          -
2995.68/3005.33	c      3005           5568         124         1                -           0.0000          -
3000.66/3010.33	c      3010           5579         121         1                -           0.0000          -
3006.14/3015.87	c      3016           5590         120         1                -           0.0000          -
3011.92/3021.63	c      3022           5600         120         1                -           0.0000          -
3017.70/3027.44	c      3027           5612         120         1                -           0.0000          -
3023.67/3033.48	c      3033           5625         121         1                -           0.0000          -
3029.95/3039.71	c      3040           5636         120         1                -           0.0000          -
3035.73/3045.53	c      3046           5640         120         1                -           0.0000          -
3041.01/3050.86	c      3051           5649         119         1                -           0.0000          -
3046.30/3056.14	c      3056           5660         120         1                -           0.0000          -
3052.87/3062.73	c      3063           5671         119         1                -           0.0000          -
3058.35/3068.27	c      3068           5679         119         1                -           0.0000          -
3064.03/3073.91	c      3074           5689         119         1                -           0.0000          -
3069.80/3079.72	c      3080           5697         119         1                -           0.0000          -
3075.58/3085.54	c      3086           5711         121         1                -           0.0000          -
3081.36/3091.34	c      3091           5725         119         1                -           0.0000          -
3087.04/3097.09	c      3097           5746         118         1                -           0.0000          -
3093.42/3103.43	c      3103           5758         120         1                -           0.0000          -
3099.39/3109.49	c      3110           5772         120         1                -           0.0000          -
3105.18/3115.21	c      3115           5787         117         1                -           0.0000          -
3110.76/3120.85	c      3121           5804         118         1                -           0.0000          -
3115.95/3126.01	c      3126           5813         117         1                -           0.0000          -
3121.92/3132.05	c      3132           5829         119         1                -           0.0000          -
3128.20/3138.35	c      3138           5831         119         1                -           0.0000          -
3134.08/3144.27	c      3144           5840         120         1                -           0.0000          -
3139.16/3149.34	c      3149           5850         120         1                -           0.0000          -
3144.44/3154.69	c      3155           5865         121         1                -           0.0000          -
3150.32/3160.53	c      3161           5884         122         1                -           0.0000          -
3155.50/3165.71	c      3166           5899         119         1                -           0.0000          -
3160.78/3171.00	c      3171           5910         122         1                -           0.0000          -
3165.76/3176.08	c      3176           5930         120         1                -           0.0000          -
3172.34/3182.61	c      3183           5948         118         1                -           0.0000          -
3178.02/3188.37	c      3188           5954         118         1                -           0.0000          -
3184.10/3194.46	c      3194           5960         120         1                -           0.0000          -
3192.88/3203.20	c      3203           5973         121         1                -           0.0000          -
3198.76/3209.13	c      3209           5980         124         1                -           0.0000          -
3204.74/3215.14	c      3215           5988         124         1                -           0.0000          -
3210.52/3220.97	c      3221           6002         124         1                -           0.0000          -
3216.80/3227.25	c      3227           6012         122         1                -           0.0000          -
3222.88/3233.30	c      3233           6022         124         1                -           0.0000          -
3228.27/3238.71	c      3239           6035         125         1                -           0.0000          -
3234.15/3244.69	c      3245           6043         125         1                -           0.0000          -
3239.83/3250.31	c      3250           6056         124         1                -           0.0000          -
3244.92/3255.49	c      3256           6067         125         1                -           0.0000          -
3250.70/3261.24	c      3261           6075         123         1                -           0.0000          -
3256.08/3266.67	c      3267           6087         125         1                -           0.0000          -
3262.16/3272.76	c      3273           6103         125         1                -           0.0000          -
3267.94/3278.52	c      3279           6116         126         1                -           0.0000          -
3274.02/3284.69	c      3285           6132         126         1                -           0.0000          -
3279.21/3289.86	c      3290           6142         126         1                -           0.0000          -
3284.19/3294.87	c      3295           6154         126         1                -           0.0000          -
3289.78/3300.48	c      3300           6160         126         1                -           0.0000          -
3295.56/3306.27	c      3306           6171         129         1                -           0.0000          -
3301.34/3312.01	c      3312           6186         130         1                -           0.0000          -
3306.92/3317.65	c      3318           6195         127         1                -           0.0000          -
3312.90/3323.60	c      3324           6206         126         1                -           0.0000          -
3318.69/3329.44	c      3329           6217         125         1                -           0.0000          -
3325.27/3336.02	c      3336           6229         127         1                -           0.0000          -
3330.75/3341.50	c      3342           6244         128         1                -           0.0000          -
3335.93/3346.78	c      3347           6259         127         1                -           0.0000          -
3341.52/3352.34	c      3352           6276         126         1                -           0.0000          -
3347.20/3358.06	c      3358           6286         126         1                -           0.0000          -
3353.08/3363.90	c      3364           6306         128         1                -           0.0000          -
3359.07/3369.92	c      3370           6327         125         1                -           0.0000          -
3365.16/3376.04	c      3376           6343         125         1                -           0.0000          -
3370.34/3381.27	c      3381           6355         127         1                -           0.0000          -
3375.82/3386.77	c      3387           6366         126         1                -           0.0000          -
3381.60/3392.50	c      3393           6379         125         1                -           0.0000          -
3387.48/3398.42	c      3398           6389         125         1                -           0.0000          -
3393.07/3404.02	c      3404           6403         123         1                -           0.0000          -
3398.65/3409.61	c      3410           6416         126         1                -           0.0000          -
3403.73/3414.78	c      3415           6427         123         1                -           0.0000          -
3409.12/3420.19	c      3420           6436         124         1                -           0.0000          -
3414.20/3425.24	c      3425           6448         122         1                -           0.0000          -
3419.48/3430.56	c      3431           6461         121         1                -           0.0000          -
3425.07/3436.14	c      3436           6471         123         1                -           0.0000          -
3430.15/3441.30	c      3441           6483         121         1                -           0.0000          -
3436.23/3447.39	c      3447           6494         119         1                -           0.0000          -
3441.41/3452.55	c      3453           6502         121         1                -           0.0000          -
3447.39/3458.51	c      3459           6511         120         1                -           0.0000          -
3452.68/3463.83	c      3464           6520         121         1                -           0.0000          -
3457.97/3469.11	c      3469           6531         126         1                -           0.0000          -
3464.64/3475.80	c      3476           6545         124         1                -           0.0000          -
3470.72/3481.99	c      3482           6551         122         1                -           0.0000          -
3477.40/3488.69	c      3489           6566         121         1                -           0.0000          -
3486.17/3497.40	c      3497           6576         119         1                -           0.0000          -
3492.55/3503.83	c      3504           6587         120         1                -           0.0000          -
3500.04/3511.34	c      3511           6592         119         1                -           0.0000          -
3505.82/3517.15	c      3517           6598         125         1                -           0.0000          -
3511.49/3522.80	c      3523           6614         125         1                -           0.0000          -
3517.87/3529.29	c      3529           6640         125         1                -           0.0000          -
3523.66/3535.03	c      3535           6672         129         1                -           0.0000          -
3529.64/3541.03	c      3541           6687         128         1                -           0.0000          -
3534.82/3546.22	c      3546           6698         125         1                -           0.0000          -
3540.50/3551.98	c      3552           6716         123         1                -           0.0000          -
3545.89/3557.30	c      3557           6737         120         1                -           0.0000          -
3551.97/3563.49	c      3564           6743         122         1                -           0.0000          -
3558.35/3569.88	c      3570           6757         124         1                -           0.0000          -
3564.43/3575.95	c      3576           6778         123         1                -           0.0000          -
3570.61/3582.15	c      3582           6792         123         1                -           0.0000          -
3575.69/3587.21	c      3587           6805         124         1                -           0.0000          -
3580.98/3592.56	c      3593           6813         122         1                -           0.0000          -
3586.46/3598.09	c      3598           6821         122         1                -           0.0000          -
3588.46/3600.03	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.46/3600.03	c Total Time         : 3600.0400
3588.46/3600.03	c   solving          : 3600.0400
3588.46/3600.03	c   presolving       : 4.7127 (included in solving)
3588.46/3600.03	c B&B Tree           :
3588.46/3600.03	c   nodes (total)    : 1
3588.46/3600.03	c Solution           :
3588.46/3600.03	c   Solutions found  : 0
3588.46/3600.03	c   Primal Bound     :          -
3588.46/3600.03	c   Dual Bound       : +0.00000000000000e+00
3588.46/3600.03	c Gap                :          -
3588.46/3600.05	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61648 MiB free)
  memory of node 1: 64510 MiB (61029 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10009 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125553316/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=55856 memory=44656 CPUtime=0.1 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 9602 0 0 0 9 1 0 0 20 0 1 0 186745265 57196544 11164 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 13964 11164 2638 3032 0 10364 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55856 KiB
Current children cumulated memory: 44656 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125496116/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=70300 memory=56664 CPUtime=0.2 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 13078 0 0 0 18 2 0 0 20 0 1 0 186745265 71987200 14166 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 17575 14166 2718 3032 0 13975 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 56664 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125469164/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=78464 memory=64860 CPUtime=0.3 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 15138 0 0 0 28 2 0 0 20 0 1 0 186745265 80347136 16215 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 19616 16215 2734 3032 0 16016 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78464 KiB
Current children cumulated memory: 64860 KiB

[startup+0.700221 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467404/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=79120 memory=65388 CPUtime=0.69 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 15294 0 0 0 67 2 0 0 20 0 1 0 186745265 81018880 16347 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 19780 16347 2734 3032 0 16180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79120 KiB
Current children cumulated memory: 65388 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467420/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=79120 memory=66180 CPUtime=1.49 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 15434 0 0 0 147 2 0 0 20 0 1 0 186745265 81018880 16545 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 19780 16545 2734 3032 0 16180 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79120 KiB
Current children cumulated memory: 66180 KiB

[startup+3.10564 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002844
/proc/meminfo: memFree=125464796/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=79120 memory=66180 CPUtime=3.09 cores=0,2
/proc/1002841/stat : 1002841 (fscip) R 1002838 1002841 1000725 0 -1 4194304 15444 0 0 0 307 2 0 0 20 0 1 0 186745265 81018880 16545 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 19780 16545 2734 3032 0 16180 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79120 KiB
Current children cumulated memory: 66180 KiB

[startup+6.30096 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1002848
/proc/meminfo: memFree=125305736/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=213824 memory=142876 CPUtime=6.26 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 39753 0 0 0 621 5 0 0 20 0 3 0 186745265 218955776 35719 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 53456 35719 2782 3032 0 43792 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=213824 memory=-7952647673409461886 CPUtime=1.51 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 14986 0 0 0 150 1 0 0 20 0 3 0 186745739 218955776 35719 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=213824 memory=142500 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 186745742 218955776 35719 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 213824 KiB
Current children cumulated memory: 142876 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 1002852
/proc/meminfo: memFree=125062560/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=215048 memory=160888 CPUtime=12.61 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 53711 0 0 0 1255 6 0 0 20 0 3 0 186745265 220209152 40222 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 53762 40222 2926 3032 0 48405 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=215048 memory=11588 CPUtime=7.87 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 28928 0 0 0 785 2 0 0 20 0 3 0 186745739 220209152 40222 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=215048 memory=160612 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 186745742 220209152 40222 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 215048 KiB
Current children cumulated memory: 160888 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002855
/proc/meminfo: memFree=125055524/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=216128 memory=162580 CPUtime=25.38 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 63189 0 0 0 2531 7 0 0 20 0 3 0 186745265 221315072 40645 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 54032 40645 2926 3032 0 48899 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=216128 memory=161724 CPUtime=20.63 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 38385 0 0 0 2060 3 0 0 20 0 3 0 186745739 221315072 40645 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=216128 memory=160944 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 186745742 221315072 40645 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 216128 KiB
Current children cumulated memory: 162580 KiB

[startup+51.105 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 1002858
/proc/meminfo: memFree=124696628/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=285328 memory=226980 CPUtime=50.9 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 110781 0 0 0 5079 11 0 0 20 0 3 0 186745265 292175872 56745 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 71332 56745 2942 3032 0 65513 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=285328 memory=-7952647673409461886 CPUtime=46.15 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 85960 0 0 0 4608 7 0 0 20 0 3 0 186745739 292175872 56745 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=285328 memory=11588 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 186745742 292175872 56745 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 285328 KiB
Current children cumulated memory: 226980 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 1002867
/proc/meminfo: memFree=124687824/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=284236 memory=228764 CPUtime=101.94 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 164614 0 0 0 10179 15 0 0 20 0 3 0 186745265 291057664 57191 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 71059 57191 2990 3032 0 67403 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=284236 memory=11588 CPUtime=97.19 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 139734 0 0 0 9708 11 0 0 20 0 3 0 186745739 291057664 57191 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=284236 memory=44076 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 186745742 291057664 57191 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 284236 KiB
Current children cumulated memory: 228764 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002877
/proc/meminfo: memFree=124683316/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=284236 memory=230300 CPUtime=161.7 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 204893 0 0 0 16153 17 0 0 20 0 3 0 186745265 291057664 57575 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 71059 57575 2990 3032 0 67403 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=284236 memory=230236 CPUtime=156.97 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 179952 0 0 0 15683 14 0 0 20 0 3 0 186745739 291057664 57575 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=284236 memory=230292 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 186745742 291057664 57575 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 284236 KiB
Current children cumulated memory: 230300 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1002891
/proc/meminfo: memFree=124672412/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=284236 memory=230240 CPUtime=221.49 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 228786 0 0 0 22129 20 0 0 20 0 3 0 186745265 291057664 57560 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 71059 57560 2990 3032 0 67407 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=284236 memory=230236 CPUtime=216.74 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 203805 0 0 0 21658 16 0 0 20 0 3 0 186745739 291057664 57560 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=284236 memory=11588 CPUtime=0 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 186745742 291057664 57560 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 284236 KiB
Current children cumulated memory: 230240 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 1002903
/proc/meminfo: memFree=124651564/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=284236 memory=237532 CPUtime=281.27 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 265968 0 0 0 28103 24 0 0 20 0 3 0 186745265 291057664 59383 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 71059 59383 2990 3032 0 67407 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=284236 memory=237532 CPUtime=276.52 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 240958 0 0 0 27632 20 0 0 20 0 3 0 186745739 291057664 59383 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0

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

/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=11588 CPUtime=3386.48 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 484568 0 0 0 338602 46 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=11588 CPUtime=0.01 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 305 0 0 0 0 1 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3391.37 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 1004661
/proc/meminfo: memFree=124329668/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3451.18 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 511275 0 0 0 345063 55 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=11588 CPUtime=3446.3 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 485170 0 0 0 344583 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=2340 CPUtime=0.01 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 307 0 0 0 0 1 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3451.18 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 1004671
/proc/meminfo: memFree=124329404/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3510.99 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 511958 0 0 0 351043 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=2340 CPUtime=3506.1 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 485833 0 0 0 350563 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=315100 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 309 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1004681
/proc/meminfo: memFree=124329112/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3570.81 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512578 0 0 0 357025 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3565.91 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486434 0 0 0 356544 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=11588 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3570.81 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

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

# cumulated CPU time of all completed processes:  user=3587.96 s, system=0.565988 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329096/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3572.51 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512579 0 0 0 357195 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3567.61 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486435 0 0 0 356714 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=1972 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3578.88 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512610 0 0 0 357832 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3573.99 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486466 0 0 0 357352 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=315100 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3578.88 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329124/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3585.26 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512618 0 0 0 358470 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3580.37 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486474 0 0 0 357990 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=11588 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3586.86 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512618 0 0 0 358630 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3581.96 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486474 0 0 0 358149 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=16112 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329148/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3587.66 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512618 0 0 0 358710 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=315100 CPUtime=3582.76 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486474 0 0 0 358229 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=-6808738698386115946 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3599.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329148/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3588.05 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512618 0 0 0 358749 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=19664 CPUtime=3583.16 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486474 0 0 0 358269 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=-6808738698386115946 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/257 1004687
/proc/meminfo: memFree=124717512/131524600 swapFree=131071996/131071996
[pid=1002841] ppid=1002838 vsize=346400 memory=315100 CPUtime=3588.46 cores=0,2
/proc/1002841/stat : 1002841 (fscip) S 1002838 1002841 1000725 0 -1 1077936128 512621 0 0 0 358790 56 0 0 20 0 3 0 186745265 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
/proc/1002841/statm: 86600 78775 3310 3032 0 81593 0
[pid=1002841/tid=1002845] ppid=1002838 vsize=346400 memory=-6153157814118968465 CPUtime=3583.56 cores=0,2
/proc/1002841/task/1002845/stat : 1002845 (fscip) R 1002838 1002841 1000725 0 -1 4194368 486475 0 0 0 358309 47 0 0 20 0 3 0 186745739 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
[pid=1002841/tid=1002846] ppid=1002838 vsize=346400 memory=5680 CPUtime=0.03 cores=0,2
/proc/1002841/task/1002846/stat : 1002846 (fscip) S 1002838 1002841 1000725 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 186745742 354713600 78775 134679101440 4194304 16613245 140733546870032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38809600 140733546877971 140733546878087 140733546878087 140733546885104 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 346400 KiB
Current children cumulated memory: 315100 KiB

Child status: 0

Real time (s): 3600.06
CPU time (s): 3588.52
CPU user time (s): 3587.96
CPU system time (s): 0.565988
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 355036
Max. memory (cumulated for all children) (KiB): 315100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.96
system time used= 0.565988
maximum resident set size= 315100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512966
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= 8049
involuntary context switches= 25118


# summary of solver processes directly reported to runsolver:
#   pid: 1002841
#   total CPU time (s): 3588.52
#   total CPU user time (s): 3587.96
#   total CPU system time (s): 0.565988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38005 second user time and 14.0885 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-19 01:36:32
IDJOB=4447070
IDBENCH=158357
IDSOLVER=3064
FILE ID=nodeC029/4447070-1721345778
RUNJOBID= nodeC029-1721342191-1000735
SLURM_JOB_ID= 7542739
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.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-4447070-1721345778/watcher-4447070-1721345778 -o /tmp/evaluation-result-4447070-1721345778/solver-4447070-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000735 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4447070-1721345778.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1913261309

nodeC029.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		: 3600.558
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	: 7000.09
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		: 3642.416
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.98
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		: 3657.831
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	: 7000.09
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		: 3617.551
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.98
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		: 3660.278
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	: 7000.09
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		: 3642.265
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.98
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		: 3631.271
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	: 7000.09
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.052
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125649656 kB
MemAvailable:   129631388 kB
Buffers:          496664 kB
Cached:          4275740 kB
SwapCached:            0 kB
Active:           957104 kB
Inactive:        4205196 kB
Active(anon):       1480 kB
Inactive(anon):   425484 kB
Active(file):     955624 kB
Inactive(file):  3779712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113532 kB
Writeback:             0 kB
AnonPages:        389300 kB
Mapped:           127024 kB
Shmem:             37720 kB
KReclaimable:     172084 kB
Slab:             293408 kB
SReclaimable:     172084 kB
SUnreclaim:       121324 kB
KernelStack:        4068 kB
PageTables:         9984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     770760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 02:36:32