Trace number 4446350

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? 3584.32 3601.14

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-55.opb
MD5SUMaafbab4e203601a49fdc88cf5a6cbbb7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark63.7946
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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.60/0.62	c Default LC presolving (default).
0.60/0.63	c ** Before presolving: virtualMemUsedAtLc = 440692300, getVmSize() = 286437376, SCIPgetMemUsed() = 226960930, SCIPgetMemTotal() = 251795130, SCIPgetMemExternEstim() = 188897170
0.60/0.63	c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
13.82/13.91	c ** Estimated virtualMemUsedAtSolver = 555210051, getVmSize() = 703754240, SCIPgetMemUsed() = 437915763, SCIPgetMemTotal() = 643917907, SCIPgetMemExternEstim() = 188897170
13.82/13.91	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
13.82/13.91	c Original Problem   :
13.82/13.91	c   Problem name     : instance-4446350-1721331122
13.82/13.91	c   Variables        : 7936 (7936 binary, 0 integer, 0 implicit integer, 0 continuous)
13.82/13.91	c   Constraints      : 176837
13.82/13.91	c   Objective sense  : minimize
13.82/13.91	c Presolved Problem  :
13.82/13.91	c   Variables        : 7935 (7935 binary, 0 integer, 0 implicit integer, 0 continuous)
13.82/13.91	c   Constraints      : 174631
13.82/13.91	c Constraints        : Number
13.82/13.91	c   knapsack         : 17621 
13.82/13.91	c   setppc           : 37799 
13.82/13.91	c   linear           : 1 
13.82/13.91	c   logicor          : 119210 
13.82/13.91	c ** Instance transfer method used: 0
14.12/14.25	c ** ParaScipInstance copy does not increase the number of variables. **
14.42/14.51	c LC is working with racing ramp-up and with rebuilding tree after racing.
14.42/14.51	c                                Nodes    Active                                            
14.42/14.51	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
244.55/247.20	c       247              2           1         1                -           0.0000          -
249.99/252.71	c       253              9           8         1                -           0.0000          -
256.81/259.69	c       260             12          11         1                -           0.0000          -
263.34/266.24	c       266             13          12         1                -           0.0000          -
313.41/316.83	c       317             14          13         1                -           0.0000          -
333.20/336.85	c       337             15          14         1                -           0.0000          -
338.63/342.39	c       342             17          16         1                -           0.0000          -
344.27/348.09	c       348             22          21         1                -           0.0000          -
351.10/354.94	c       355             29          28         1                -           0.0000          -
358.72/362.61	c       363             32          31         1                -           0.0000          -
366.64/370.63	c       371             34          33         1                -           0.0000          -
384.84/389.07	c       389             36          35         1                -           0.0000          -
391.36/395.64	c       396             38          37         1                -           0.0000          -
397.00/401.33	c       401             46          45         1                -           0.0000          -
402.73/407.14	c       407             61          60         1                -           0.0000          -
407.98/412.49	c       412             73          72         1                -           0.0000          -
425.77/430.44	c       430             87          86         1                -           0.0000          -
433.49/438.25	c       438             92          91         1                -           0.0000          -
443.09/447.94	c       448             93          92         1                -           0.0000          -
450.81/455.72	c       456            102         101         1                -           0.0000          -
458.43/463.44	c       463            112         111         1                -           0.0000          -
467.92/473.03	c       473            114         113         1                -           0.0000          -
473.46/478.60	c       479            124         123         1                -           0.0000          -
479.29/484.54	c       485            133         132         1                -           0.0000          -
485.22/490.54	c       491            142         141         1                -           0.0000          -
496.89/502.33	c       502            152         151         1                -           0.0000          -
508.47/514.07	c       514            162         161         1                -           0.0000          -
513.81/519.40	c       519            169         168         1                -           0.0000          -
521.02/526.70	c       527            174         173         1                -           0.0000          -
530.03/535.83	c       536            178         177         1                -           0.0000          -
535.28/541.20	c       541            184         183         1                -           0.0000          -
540.51/546.42	c       546            193         192         1                -           0.0000          -
548.81/554.89	c       555            206         205         1                -           0.0000          -
556.23/562.36	c       562            213         212         1                -           0.0000          -
564.54/570.76	c       571            220         219         1                -           0.0000          -
570.68/576.93	c       577            222         221         1                -           0.0000          -
580.56/586.94	c       587            229         228         1                -           0.0000          -
586.99/593.42	c       593            236         235         1                -           0.0000          -
592.92/599.49	c       599            242         241         1                -           0.0000          -
600.24/606.87	c       607            245         244         1                -           0.0000          -
605.38/612.01	c       612            255         254         1                -           0.0000          -
611.70/618.41	c       618            261         260         1                -           0.0000          -
618.34/625.13	c       625            268         267         1                -           0.0000          -
623.96/630.85	c       631            278         277         1                -           0.0000          -
630.20/637.16	c       637            289         288         1                -           0.0000          -
636.03/643.08	c       643            298         297         1                -           0.0000          -
641.66/648.70	c       649            299         298         1                -           0.0000          -
646.90/654.06	c       654            305         304         1                -           0.0000          -
658.48/665.71	c       666            312         311         1                -           0.0000          -
663.72/671.01	c       671            315         314         1                -           0.0000          -
670.44/677.86	c       678            324         323         1                -           0.0000          -
691.61/699.24	c       699            329         328         1                -           0.0000          -
698.06/705.80	c       706            332         331         1                -           0.0000          -
707.73/715.49	c       715            334         333         1                -           0.0000          -
720.58/728.30	c       728            342         341         1                -           0.0000          -
726.16/733.92	c       734            348         347         1                -           0.0000          -
735.72/743.59	c       744            352         351         1                -           0.0000          -
741.80/749.63	c       750            354         353         1                -           0.0000          -
747.38/755.24	c       755            360         359         1                -           0.0000          -
755.35/763.29	c       763            365         364         1                -           0.0000          -
764.42/772.36	c       772            372         371         1                -           0.0000          -
770.89/778.87	c       779            379         378         1                -           0.0000          -
779.56/787.56	c       788            390         389         1                -           0.0000          -
785.44/793.41	c       793            397         396         1                -           0.0000          -
791.02/799.10	c       799            401         400         1                -           0.0000          -
804.67/812.74	c       813            402         401         1                -           0.0000          -
810.45/818.54	c       819            412         411         1                -           0.0000          -
819.93/828.02	c       828            422         421         1                -           0.0000          -
826.90/835.07	c       835            425         424         1                -           0.0000          -
837.45/845.62	c       846            430         429         1                -           0.0000          -
843.33/851.58	c       852            439         438         1                -           0.0000          -
848.61/856.81	c       857            446         445         1                -           0.0000          -
860.07/868.35	c       868            458         457         1                -           0.0000          -
868.34/876.61	c       877            462         461         1                -           0.0000          -
876.91/885.27	c       885            464         463         1                -           0.0000          -
886.48/894.87	c       895            466         465         1                -           0.0000          -
893.66/902.00	c       902            472         471         1                -           0.0000          -
899.44/907.80	c       908            481         480         1                -           0.0000          -
907.31/915.74	c       916            484         483         1                -           0.0000          -
912.49/920.94	c       921            492         491         1                -           0.0000          -
918.58/927.00	c       927            495         494         1                -           0.0000          -
924.05/932.57	c       933            496         495         1                -           0.0000          -
934.42/942.93	c       943            498         497         1                -           0.0000          -
940.10/948.69	c       949            500         499         1                -           0.0000          -
946.28/954.86	c       955            502         501         1                -           0.0000          -
952.06/960.64	c       961            504         503         1                -           0.0000          -
958.64/967.21	c       967            506         505         1                -           0.0000          -
970.61/979.29	c       979            508         507         1                -           0.0000          -
976.19/984.85	c       985            514         513         1                -           0.0000          -
981.17/989.87	c       990            519         518         1                -           0.0000          -
991.73/1000.46	c      1000            524         523         1                -           0.0000          -
996.82/1005.53	c      1006            529         528         1                -           0.0000          -
1004.09/1012.87	c      1013            534         533         1                -           0.0000          -
1014.85/1023.61	c      1024            538         537         1                -           0.0000          -
1023.62/1032.45	c      1032            544         543         1                -           0.0000          -
1031.80/1040.67	c      1041            550         549         1                -           0.0000          -
1038.67/1047.51	c      1048            552         551         1                -           0.0000          -
1045.66/1054.50	c      1054            554         553         1                -           0.0000          -
1050.83/1059.72	c      1060            564         563         1                -           0.0000          -
1058.41/1067.30	c      1067            570         569         1                -           0.0000          -
1066.39/1075.35	c      1075            572         571         1                -           0.0000          -
1071.96/1080.97	c      1081            575         574         1                -           0.0000          -
1082.83/1091.86	c      1092            576         575         1                -           0.0000          -
1089.90/1098.99	c      1099            584         583         1                -           0.0000          -
1101.26/1110.38	c      1110            590         589         1                -           0.0000          -
1112.12/1121.21	c      1121            596         595         1                -           0.0000          -
1118.20/1127.39	c      1127            600         599         1                -           0.0000          -
1125.28/1134.42	c      1134            606         605         1                -           0.0000          -
1133.96/1143.16	c      1143            612         611         1                -           0.0000          -
1140.73/1149.97	c      1150            616         615         1                -           0.0000          -
1156.18/1165.44	c      1165            618         617         1                -           0.0000          -
1166.15/1175.43	c      1175            622         621         1                -           0.0000          -
1177.81/1187.13	c      1187            626         625         1                -           0.0000          -
1185.48/1194.80	c      1195            628         627         1                -           0.0000          -
1193.27/1202.66	c      1203            630         629         1                -           0.0000          -
1202.93/1212.38	c      1212            638         637         1                -           0.0000          -
1208.91/1218.36	c      1218            642         641         1                -           0.0000          -
1214.29/1223.78	c      1224            644         643         1                -           0.0000          -
1219.77/1229.29	c      1229            654         653         1                -           0.0000          -
1226.44/1235.92	c      1236            657         656         1                -           0.0000          -
1233.93/1243.46	c      1243            659         658         1                -           0.0000          -
1242.70/1252.28	c      1252            665         664         1                -           0.0000          -
1248.49/1258.03	c      1258            684         681         1                -           0.0000          -
1254.85/1264.40	c      1264            686         683         1                -           0.0000          -
1270.51/1280.10	c      1280            690         685         1                -           0.0000          -
1281.96/1291.64	c      1292            693         688         1                -           0.0000          -
1288.85/1298.56	c      1299            697         692         1                -           0.0000          -
1294.03/1303.74	c      1304            703         698         1                -           0.0000          -
1305.59/1315.37	c      1315            709         704         1                -           0.0000          -
1311.57/1321.39	c      1321            717         712         1                -           0.0000          -
1321.54/1331.38	c      1331            732         727         1                -           0.0000          -
1331.00/1340.89	c      1341            735         730         1                -           0.0000          -
1336.78/1346.67	c      1347            743         738         1                -           0.0000          -
1342.07/1351.94	c      1352            748         743         1                -           0.0000          -
1347.45/1357.30	c      1357            755         750         1                -           0.0000          -
1364.00/1373.96	c      1374            758         753         1                -           0.0000          -
1369.98/1379.91	c      1380            765         760         1                -           0.0000          -
1375.07/1385.07	c      1385            766         761         1                -           0.0000          -
1380.65/1390.67	c      1391            775         770         1                -           0.0000          -
1388.03/1398.08	c      1398            778         773         1                -           0.0000          -
1393.61/1403.64	c      1404            782         777         1                -           0.0000          -
1399.19/1409.29	c      1409            789         784         1                -           0.0000          -
1405.08/1415.19	c      1415            796         791         1                -           0.0000          -
1420.83/1430.96	c      1431            799         794         1                -           0.0000          -
1426.31/1436.45	c      1436            802         797         1                -           0.0000          -
1436.38/1446.53	c      1447            809         804         1                -           0.0000          -
1444.06/1454.27	c      1454            817         812         1                -           0.0000          -
1449.24/1459.42	c      1459            820         815         1                -           0.0000          -
1456.51/1466.70	c      1467            824         819         1                -           0.0000          -
1472.26/1482.56	c      1483            832         827         1                -           0.0000          -
1483.93/1494.24	c      1494            838         833         1                -           0.0000          -
1496.79/1507.19	c      1507            842         837         1                -           0.0000          -
1504.06/1514.49	c      1514            845         840         1                -           0.0000          -
1510.05/1520.43	c      1520            852         847         1                -           0.0000          -
1523.91/1534.34	c      1534            858         853         1                -           0.0000          -
1529.69/1540.19	c      1540            862         857         1                -           0.0000          -
1534.77/1545.28	c      1545            868         863         1                -           0.0000          -
1539.95/1550.46	c      1550            875         870         1                -           0.0000          -
1546.93/1557.46	c      1557            882         877         1                -           0.0000          -
1556.70/1567.24	c      1567            885         880         1                -           0.0000          -
1562.68/1573.22	c      1573            888         883         1                -           0.0000          -
1568.16/1578.79	c      1579            892         887         1                -           0.0000          -
1573.24/1583.89	c      1584            895         890         1                -           0.0000          -
1580.71/1591.39	c      1591            906         901         1                -           0.0000          -
1586.10/1596.74	c      1597            912         907         1                -           0.0000          -
1594.07/1604.71	c      1605            919         914         1                -           0.0000          -
1602.05/1612.74	c      1613            925         920         1                -           0.0000          -
1609.33/1620.09	c      1620            930         925         1                -           0.0000          -
1615.00/1625.76	c      1626            940         935         1                -           0.0000          -
1626.77/1637.50	c      1638            942         937         1                -           0.0000          -
1632.55/1643.37	c      1643            953         948         1                -           0.0000          -
1644.41/1655.27	c      1655            958         953         1                -           0.0000          -
1649.89/1660.74	c      1661            965         960         1                -           0.0000          -
1655.67/1666.55	c      1667            973         968         1                -           0.0000          -
1662.35/1673.25	c      1673            982         977         1                -           0.0000          -
1673.01/1683.97	c      1684            992         987         1                -           0.0000          -
1682.88/1693.80	c      1694           1005        1000         1                -           0.0000          -
1690.46/1701.42	c      1701           1008        1003         1                -           0.0000          -
1695.94/1706.94	c      1707           1018        1013         1                -           0.0000          -
1702.02/1713.07	c      1713           1025        1020         1                -           0.0000          -
1724.14/1735.27	c      1735           1030        1025         1                -           0.0000          -
1738.19/1749.38	c      1749           1033        1028         1                -           0.0000          -
1744.77/1755.92	c      1756           1040        1035         1                -           0.0000          -
1755.54/1766.76	c      1767           1048        1043         1                -           0.0000          -
1864.19/1875.79	c      1876           1051           1         1                -           0.0000          -
1901.07/1912.79	c      1913           1056           6         1                -           0.0000          -
1932.68/1944.40	c      1944           1061          11         1                -           0.0000          -
1938.06/1949.90	c      1950           1064          14         1                -           0.0000          -
1943.94/1955.72	c      1956           1075          25         1                -           0.0000          -
1951.71/1963.51	c      1964           1077          27         1                -           0.0000          -
1961.58/1973.43	c      1973           1090          40         1                -           0.0000          -
1972.45/1984.34	c      1984           1092          42         1                -           0.0000          -
2003.55/2015.55	c      2016           1097          47         1                -           0.0000          -
2017.40/2029.41	c      2029           1101          51         1                -           0.0000          -
2022.98/2035.02	c      2035           1106          56         1                -           0.0000          -
2029.16/2041.24	c      2041           1110          60         1                -           0.0000          -
2503.16/2516.66	c      2517           1113          63         1                -           0.0000          -
2512.22/2525.72	c      2526           1116          66         1                -           0.0000          -
2519.70/2533.27	c      2533           1118          68         1                -           0.0000          -
2529.58/2543.13	c      2543           1125          75         1                -           0.0000          -
2535.56/2549.15	c      2549           1127          77         1                -           0.0000          -
2542.43/2556.03	c      2556           1135          85         1                -           0.0000          -
2550.62/2564.20	c      2564           1143          93         1                -           0.0000          -
2567.66/2581.39	c      2581           1151         101         1                -           0.0000          -
2575.83/2589.52	c      2590           1155         105         1                -           0.0000          -
2581.91/2595.62	c      2596           1166         116         1                -           0.0000          -
2601.15/2614.95	c      2615           1171         121         1                -           0.0000          -
2614.21/2628.08	c      2628           1177         127         1                -           0.0000          -
2629.65/2643.52	c      2644           1185         135         1                -           0.0000          -
2634.73/2648.66	c      2649           1187         137         1                -           0.0000          -
2641.11/2655.05	c      2655           1192         142         1                -           0.0000          -
2647.39/2661.34	c      2661           1196         146         1                -           0.0000          -
2662.43/2676.42	c      2676           1201         151         1                -           0.0000          -
2669.31/2683.34	c      2683           1203         153         1                -           0.0000          -
2676.29/2690.35	c      2690           1219         169         1                -           0.0000          -
2684.46/2698.51	c      2699           1221         171         1                -           0.0000          -
2689.44/2703.57	c      2704           1223         173         1                -           0.0000          -
2695.12/2709.28	c      2709           1226         176         1                -           0.0000          -
2701.91/2716.10	c      2716           1241         191         1                -           0.0000          -
2710.98/2725.19	c      2725           1251         201         1                -           0.0000          -
2716.55/2730.70	c      2731           1259         209         1                -           0.0000          -
2722.32/2736.50	c      2736           1269         219         1                -           0.0000          -
2728.31/2742.52	c      2743           1274         224         1                -           0.0000          -
2734.99/2749.25	c      2749           1275         225         1                -           0.0000          -
2747.34/2761.68	c      2762           1279         229         1                -           0.0000          -
2759.10/2773.43	c      2773           1281         231         1                -           0.0000          -
2768.87/2783.22	c      2783           1287         237         1                -           0.0000          -
2776.14/2790.50	c      2790           1289         239         1                -           0.0000          -
2790.29/2804.72	c      2805           1295         245         1                -           0.0000          -
2798.97/2813.48	c      2813           1297         247         1                -           0.0000          -
2811.33/2825.84	c      2826           1301         251         1                -           0.0000          -
2821.30/2835.88	c      2836           1303         253         1                -           0.0000          -
2830.48/2845.06	c      2845           1305         255         1                -           0.0000          -
2835.56/2850.16	c      2850           1308         258         1                -           0.0000          -
2843.83/2858.49	c      2858           1309         259         1                -           0.0000          -
2849.52/2864.14	c      2864           1313         263         1                -           0.0000          -
2855.49/2870.14	c      2870           1316         266         1                -           0.0000          -
2866.15/2880.87	c      2881           1317         267         1                -           0.0000          -
2872.82/2887.54	c      2888           1324         274         1                -           0.0000          -
2878.10/2892.82	c      2893           1328         278         1                -           0.0000          -
2883.68/2898.49	c      2898           1333         283         1                -           0.0000          -
2888.76/2903.58	c      2904           1339         289         1                -           0.0000          -
2903.32/2918.13	c      2918           1341         291         1                -           0.0000          -
2910.19/2925.01	c      2925           1348         298         1                -           0.0000          -
2923.44/2938.34	c      2938           1349         299         1                -           0.0000          -
2929.42/2944.36	c      2944           1354         304         1                -           0.0000          -
2934.69/2949.63	c      2950           1362         312         1                -           0.0000          -
2941.57/2956.50	c      2956           1363         313         1                -           0.0000          -
2946.86/2961.87	c      2962           1375         325         1                -           0.0000          -
2955.03/2970.09	c      2970           1379         329         1                -           0.0000          -
2961.00/2976.06	c      2976           1390         340         1                -           0.0000          -
2974.56/2989.64	c      2990           1395         345         1                -           0.0000          -
2979.95/2995.01	c      2995           1401         351         1                -           0.0000          -
2986.31/3001.46	c      3001           1406         356         1                -           0.0000          -
2992.59/3007.71	c      3008           1408         358         1                -           0.0000          -
2999.97/3015.17	c      3015           1415         365         1                -           0.0000          -
3005.34/3020.53	c      3021           1425         375         1                -           0.0000          -
3011.22/3026.43	c      3026           1426         376         1                -           0.0000          -
3021.98/3037.22	c      3037           1431         381         1                -           0.0000          -
3027.87/3043.19	c      3043           1436         386         1                -           0.0000          -
3044.01/3059.31	c      3059           1441         391         1                -           0.0000          -
3049.60/3064.92	c      3065           1449         399         1                -           0.0000          -
3055.47/3070.88	c      3071           1456         406         1                -           0.0000          -
3063.44/3078.83	c      3079           1461         411         1                -           0.0000          -
3074.12/3089.52	c      3090           1465         415         1                -           0.0000          -
3081.09/3096.58	c      3097           1467         417         1                -           0.0000          -
3086.28/3101.80	c      3102           1474         424         1                -           0.0000          -
3091.76/3107.29	c      3107           1478         428         1                -           0.0000          -
3097.25/3112.78	c      3113           1487         437         1                -           0.0000          -
3108.92/3124.43	c      3124           1491         441         1                -           0.0000          -
3121.78/3137.33	c      3137           1496         446         1                -           0.0000          -
3128.05/3143.66	c      3144           1504         454         1                -           0.0000          -
3136.93/3152.52	c      3153           1509         459         1                -           0.0000          -
3142.01/3157.66	c      3158           1516         466         1                -           0.0000          -
3147.10/3162.73	c      3163           1523         473         1                -           0.0000          -
3154.78/3170.44	c      3170           1526         476         1                -           0.0000          -
3168.25/3183.98	c      3184           1531         481         1                -           0.0000          -
3179.22/3194.93	c      3195           1533         483         1                -           0.0000          -
3185.51/3201.23	c      3201           1540         490         1                -           0.0000          -
3196.08/3211.81	c      3212           1544         494         1                -           0.0000          -
3201.27/3217.02	c      3217           1552         502         1                -           0.0000          -
3207.25/3223.05	c      3223           1561         511         1                -           0.0000          -
3215.92/3231.73	c      3232           1568         518         1                -           0.0000          -
3222.40/3238.23	c      3238           1571         521         1                -           0.0000          -
3229.88/3245.70	c      3246           1573         523         1                -           0.0000          -
3235.28/3251.14	c      3251           1580         530         1                -           0.0000          -
3244.64/3260.56	c      3261           1591         541         1                -           0.0000          -
3250.33/3266.21	c      3266           1595         545         1                -           0.0000          -
3255.42/3271.30	c      3271           1599         549         1                -           0.0000          -
3262.60/3278.60	c      3279           1603         553         1                -           0.0000          -
3269.38/3285.38	c      3285           1611         561         1                -           0.0000          -
3278.65/3294.62	c      3295           1618         568         1                -           0.0000          -
3284.24/3300.26	c      3300           1621         571         1                -           0.0000          -
3290.73/3306.78	c      3307           1633         581         1                -           0.0000          -
3308.48/3324.54	c      3325           1647         595         1                -           0.0000          -
3319.45/3335.54	c      3336           1651         599         1                -           0.0000          -
3326.93/3343.02	c      3343           1655         603         1                -           0.0000          -
3331.91/3348.03	c      3348           1662         610         1                -           0.0000          -
3337.40/3353.59	c      3354           1667         615         1                -           0.0000          -
3345.07/3361.20	c      3361           1677         625         1                -           0.0000          -
3356.04/3372.26	c      3372           1678         626         1                -           0.0000          -
3362.32/3378.52	c      3379           1685         633         1                -           0.0000          -
3369.90/3386.18	c      3386           1691         639         1                -           0.0000          -
3390.64/3406.99	c      3407           1693         641         1                -           0.0000          -
3396.03/3412.34	c      3412           1701         649         1                -           0.0000          -
3402.21/3418.59	c      3419           1718         666         1                -           0.0000          -
3412.89/3429.22	c      3429           1723         671         1                -           0.0000          -
3418.27/3434.67	c      3435           1729         677         1                -           0.0000          -
3426.14/3442.51	c      3443           1731         679         1                -           0.0000          -
3435.82/3452.22	c      3452           1733         681         1                -           0.0000          -
3443.18/3459.67	c      3460           1740         688         1                -           0.0000          -
3448.37/3464.90	c      3465           1746         694         1                -           0.0000          -
3453.95/3470.50	c      3470           1755         703         1                -           0.0000          -
3471.19/3487.71	c      3488           1761         709         1                -           0.0000          -
3476.67/3493.24	c      3493           1769         717         1                -           0.0000          -
3483.65/3500.26	c      3500           1772         720         1                -           0.0000          -
3488.75/3505.36	c      3505           1780         728         1                -           0.0000          -
3496.53/3513.11	c      3513           1781         729         1                -           0.0000          -
3503.60/3520.24	c      3520           1790         738         1                -           0.0000          -
3516.56/3533.21	c      3533           1799         747         1                -           0.0000          -
3524.45/3541.12	c      3541           1802         750         1                -           0.0000          -
3530.23/3546.99	c      3547           1805         753         1                -           0.0000          -
3538.21/3554.99	c      3555           1808         756         1                -           0.0000          -
3554.07/3570.84	c      3571           1823         764         1                -           0.0000          -
3560.65/3577.43	c      3577           1826         767         1                -           0.0000          -
3566.13/3582.91	c      3583           1829         770         1                -           0.0000          -
3577.80/3594.66	c      3595           1832         773         1                -           0.0000          -
3583.59/3600.47	c      3600           1834         775         0                -           0.0000          -
3583.99/3600.86	c SCIP Status        : c solving was interrupted [hard time limit reached]
3583.99/3600.86	c Total Time         : 3600.8600
3583.99/3600.86	c   solving          : 3600.8600
3583.99/3600.86	c   presolving       : 13.2848 (included in solving)
3583.99/3600.86	c B&B Tree           :
3583.99/3600.86	c   nodes (total)    : 1
3583.99/3600.86	c Solution           :
3583.99/3600.86	c   Solutions found  : 0
3583.99/3600.86	c   Primal Bound     :          -
3583.99/3600.86	c   Dual Bound       : +0.00000000000000e+00
3583.99/3600.86	c Gap                :          -
3584.19/3601.10	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 (57438 MiB free)
  memory of node 1: 64510 MiB (53447 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100115 s]*
/proc/loadavg: 4.19 3.53 2.48 5/265 1001079
/proc/meminfo: memFree=113515448/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=53988 memory=42012 CPUtime=0.1 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 8444 0 0 0 9 1 0 0 20 0 1 0 185274046 55283712 10503 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 13497 10503 2318 3032 0 9897 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53988 KiB
Current children cumulated memory: 42012 KiB

[startup+0.206001 s]*
/proc/loadavg: 4.19 3.53 2.48 5/265 1001079
/proc/meminfo: memFree=113486720/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=82712 memory=70196 CPUtime=0.2 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 15488 0 0 0 18 2 0 0 20 0 1 0 185274046 84697088 17549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 20678 17549 2318 3032 0 17078 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82712 KiB
Current children cumulated memory: 70196 KiB

[startup+0.305948 s]*
/proc/loadavg: 4.19 3.53 2.48 6/265 1001079
/proc/meminfo: memFree=113458356/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=110976 memory=98356 CPUtime=0.3 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 22513 0 0 0 27 3 0 0 20 0 1 0 185274046 113639424 24589 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 27744 24589 2318 3032 0 24144 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110976 KiB
Current children cumulated memory: 98356 KiB

[startup+0.700251 s]
/proc/loadavg: 4.19 3.53 2.48 5/265 1001079
/proc/meminfo: memFree=113365648/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=284172 memory=267828 CPUtime=0.69 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 65299 0 0 0 58 11 0 0 20 0 1 0 185274046 290992128 66957 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 71043 66957 2606 3032 0 67443 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 284172 KiB
Current children cumulated memory: 267828 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 3.53 2.48 5/265 1001079
/proc/meminfo: memFree=113221692/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=428668 memory=409876 CPUtime=1.48 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 83018 0 0 0 132 16 0 0 20 0 1 0 185274046 438956032 102469 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 107167 102469 2654 3032 0 103567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 428668 KiB
Current children cumulated memory: 409876 KiB

[startup+3.10595 s]
/proc/loadavg: 4.19 3.53 2.48 5/265 1001079
/proc/meminfo: memFree=113158896/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=415720 memory=397084 CPUtime=3.09 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 103354 0 0 0 289 20 0 0 20 0 1 0 185274046 425697280 99271 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 103930 99271 2718 3032 0 100330 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 415720 KiB
Current children cumulated memory: 397084 KiB

[startup+6.30024 s]
/proc/loadavg: 4.18 3.54 2.48 5/265 1001079
/proc/meminfo: memFree=113157868/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=415720 memory=397632 CPUtime=6.26 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 103484 0 0 0 606 20 0 0 20 0 1 0 185274046 425697280 99408 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 103930 99408 2734 3032 0 100330 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 415720 KiB
Current children cumulated memory: 397632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 3.56 2.50 5/265 1001080
/proc/meminfo: memFree=113158060/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=595492 memory=529896 CPUtime=12.62 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 107140 0 0 0 1239 23 0 0 20 0 1 0 185274046 609783808 132474 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 148873 132474 2734 3032 0 145273 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 595492 KiB
Current children cumulated memory: 529896 KiB

[startup+25.5008 s]
/proc/loadavg: 4.29 3.59 2.52 5/267 1001084
/proc/meminfo: memFree=112148708/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=1553716 memory=1404360 CPUtime=25.3 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 315457 0 0 0 2471 59 0 0 20 0 3 0 185274046 1591005184 351090 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 388429 351090 2926 3032 0 382171 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=1553716 memory=1404360 CPUtime=11.12 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 174086 0 0 0 1083 29 0 0 20 0 3 0 185275438 1591005184 351090 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=1553716 memory=1404288 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 185275498 1591005184 351090 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 1553716 KiB
Current children cumulated memory: 1404360 KiB

[startup+51.1068 s]
/proc/loadavg: 4.49 3.71 2.59 5/267 1001088
/proc/meminfo: memFree=112118852/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=1632084 memory=1432096 CPUtime=50.62 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 372729 0 0 0 4998 64 0 0 20 0 3 0 185274046 1671254016 358024 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 408021 358024 2926 3032 0 393176 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=1632084 memory=11544 CPUtime=36.44 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 231343 0 0 0 3610 34 0 0 20 0 3 0 185275438 1671254016 358024 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=1632084 memory=1432096 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 185275498 1671254016 358024 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 1632084 KiB
Current children cumulated memory: 1432096 KiB

[startup+102.301 s]
/proc/loadavg: 4.28 3.77 2.68 5/265 1001097
/proc/meminfo: memFree=112108100/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=1632084 memory=1439608 CPUtime=101.25 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 460730 0 0 0 10054 71 0 0 20 0 3 0 185274046 1671254016 359902 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 408021 359902 2926 3032 0 402557 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=1632084 memory=-7952647673459533439 CPUtime=87.07 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 319330 0 0 0 8665 42 0 0 20 0 3 0 185275438 1671254016 359902 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=1632084 memory=1439608 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 185275498 1671254016 359902 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 101.25 s
Current children cumulated vsize: 1632084 KiB
Current children cumulated memory: 1439608 KiB

[startup+162.301 s]
/proc/loadavg: 4.15 3.83 2.77 5/265 1001109
/proc/meminfo: memFree=112083704/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=1697620 memory=1459072 CPUtime=160.59 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 539604 0 0 0 15981 78 0 0 20 0 3 0 185274046 1738362880 364768 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 424405 364768 2926 3032 0 414550 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=1697620 memory=11544 CPUtime=146.4 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 398194 0 0 0 14592 48 0 0 20 0 3 0 185275438 1738362880 364768 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=1697620 memory=1439608 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 185275498 1738362880 364768 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 160.59 s
Current children cumulated vsize: 1697620 KiB
Current children cumulated memory: 1459072 KiB

[startup+222.301 s]
/proc/loadavg: 4.10 3.88 2.85 5/263 1001119
/proc/meminfo: memFree=111922488/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=1763156 memory=1472092 CPUtime=219.92 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 591029 0 0 0 21909 83 0 0 20 0 3 0 185274046 1805471744 368023 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 440789 368023 2926 3032 0 429646 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=1763156 memory=1459144 CPUtime=205.73 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 449615 0 0 0 20520 53 0 0 20 0 3 0 185275438 1805471744 368023 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=1763156 memory=1466200 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 185275498 1805471744 368023 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 219.92 s
Current children cumulated vsize: 1763156 KiB
Current children cumulated memory: 1472092 KiB

[startup+282.301 s]
/proc/loadavg: 4.07 3.92 2.93 5/263 1001129
/proc/meminfo: memFree=111707184/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=2025300 memory=1686532 CPUtime=279.26 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 718144 0 0 0 27829 97 0 0 20 0 3 0 185274046 2073907200 421633 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 506325 421633 2942 3032 0 495262 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=2025300 memory=1686396 CPUtime=265.08 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 576667 0 0 0 26441 67 0 0 20 0 3 0 185275438 2073907200 421633 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=2025300 memory=1686532 CPUtime=0 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 185275498 2073907200 421633 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 279.26 s
Current children cumulated vsize: 2025300 KiB
Current children cumulated memory: 1686532 KiB

[startup+342.301 s]
/proc/loadavg: 4.07 3.95 3.01 5/262 1001141

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

[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2137712 CPUtime=0.04 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 318 0 0 0 1 3 0 0 20 0 3 0 185275498 3620909056 534428 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3386.06 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2137712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/266 1002970
/proc/meminfo: memFree=116501376/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2143844 CPUtime=3445.88 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3435608 0 0 0 344299 289 0 0 20 0 3 0 185274046 3620909056 535961 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 535961 2990 3032 0 846503 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=2135664 CPUtime=3431.58 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3291482 0 0 0 342905 253 0 0 20 0 3 0 185275438 3620909056 535961 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=11544 CPUtime=0.04 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 323 0 0 0 1 3 0 0 20 0 3 0 185275498 3620909056 535961 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3445.88 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2143844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/265 1003037
/proc/meminfo: memFree=116493516/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2143848 CPUtime=3505.69 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3482697 0 0 0 350276 293 0 0 20 0 3 0 185274046 3620909056 535962 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 535962 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=2143844 CPUtime=3491.4 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3338523 0 0 0 348883 257 0 0 20 0 3 0 185275438 3620909056 535962 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2143848 CPUtime=0.04 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 185275498 3620909056 535962 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3505.69 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2143848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/266 1003050
/proc/meminfo: memFree=116309768/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3565.53 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3545557 0 0 0 356256 297 0 0 20 0 3 0 185274046 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536549 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3551.24 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3401347 0 0 0 354863 261 0 0 20 0 3 0 185275438 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3565.53 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146196 KiB

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

# cumulated CPU time of all completed processes:  user=3581.25 s, system=3.06594 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.07 5/266 1003050
/proc/meminfo: memFree=116309768/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3567.23 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3545590 0 0 0 356426 297 0 0 20 0 3 0 185274046 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536549 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=-7169026668525359722 CPUtime=3552.94 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3401379 0 0 0 355033 261 0 0 20 0 3 0 185275438 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=1469929856402292865 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3567.23 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146196 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.07 5/266 1003051
/proc/meminfo: memFree=116309768/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3573.61 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3545770 0 0 0 357064 297 0 0 20 0 3 0 185274046 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536549 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=5472 CPUtime=3559.32 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3401559 0 0 0 355671 261 0 0 20 0 3 0 185275438 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146196 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.07 5/266 1003051
/proc/meminfo: memFree=116309732/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3580 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3552007 0 0 0 357702 298 0 0 20 0 3 0 185274046 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536549 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3565.7 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3407796 0 0 0 356308 262 0 0 20 0 3 0 185275438 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3580 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146196 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.09 4.07 5/266 1003053
/proc/meminfo: memFree=116309704/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3581.6 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3552172 0 0 0 357862 298 0 0 20 0 3 0 185274046 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536549 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=2146196 CPUtime=3567.3 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3407960 0 0 0 356468 262 0 0 20 0 3 0 185275438 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=13196 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536549 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3581.6 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146196 KiB

[startup+3600 s]*
/proc/loadavg: 4.08 4.09 4.07 5/266 1003053
/proc/meminfo: memFree=116307532/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146324 CPUtime=3583.2 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3552478 0 0 0 358022 298 0 0 20 0 3 0 185274046 3620909056 536581 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536581 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=-7169026668525359722 CPUtime=3568.9 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3408266 0 0 0 356628 262 0 0 20 0 3 0 185275438 3620909056 536581 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=1469929856402292865 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536581 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146324 KiB

[startup+3600.8 s]
/proc/loadavg: 4.08 4.09 4.07 5/266 1003053
/proc/meminfo: memFree=116307532/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=3536044 memory=2146328 CPUtime=3583.99 cores=1,3
/proc/1001078/stat : 1001078 (fscip) S 1001075 1001078 1000251 0 -1 1077936128 3581111 0 0 0 358100 299 0 0 20 0 3 0 185274046 3620909056 536582 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 884011 536582 2990 3032 0 850599 0
[pid=1001078/tid=1001081] ppid=1001075 vsize=3536044 memory=26116 CPUtime=3569.69 cores=1,3
/proc/1001078/task/1001081/stat : 1001081 (fscip) R 1001075 1001078 1000251 0 -1 4194368 3436916 0 0 0 356706 263 0 0 20 0 3 0 185275438 3620909056 536582 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
[pid=1001078/tid=1001082] ppid=1001075 vsize=3536044 memory=2146324 CPUtime=0.05 cores=1,3
/proc/1001078/task/1001082/stat : 1001082 (fscip) S 1001075 1001078 1000251 0 -1 1077936192 335 0 0 0 1 4 0 0 20 0 3 0 185275498 3620909056 536582 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 3536044 KiB
Current children cumulated memory: 2146328 KiB

[startup+3601 s]*
/proc/loadavg: 4.08 4.09 4.07 6/264 1003053
/proc/meminfo: memFree=116803912/131524600 swapFree=131071996/131071996
[pid=1001078] ppid=1001075 vsize=2488136 memory=1650368 CPUtime=3584.19 cores=1,3
/proc/1001078/stat : 1001078 (fscip) R 1001075 1001078 1000251 0 -1 4194304 3603334 0 0 0 358118 301 0 0 20 0 1 0 185274046 2547851264 412592 134679101440 4194304 16613245 140726127495872 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48435200 140726127498259 140726127498375 140726127498375 140726127505392 0
/proc/1001078/statm: 622034 412592 2990 3032 0 614105 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 2488136 KiB
Current children cumulated memory: 1650368 KiB

[startup+3601.11 s]*
/proc/loadavg: 4.08 4.09 4.07 5/264 1003053
/proc/meminfo: memFree=117467244/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3601.14
CPU time (s): 3584.32
CPU user time (s): 3581.25
CPU system time (s): 3.06594
CPU usage (%): 99.5331
Max. virtual memory (cumulated for all children) (KiB): 3536044
Max. memory (cumulated for all children) (KiB): 2146328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.25
system time used= 3.06594
maximum resident set size= 2146328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3625463
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= 5381
involuntary context switches= 9894


# summary of solver processes directly reported to runsolver:
#   pid: 1001078
#   total CPU time (s): 3584.32
#   total CPU user time (s): 3581.25
#   total CPU system time (s): 3.06594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45228 second user time and 18.5101 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-18 21:32:14
IDJOB=4446350
IDBENCH=155560
IDSOLVER=3064
FILE ID=nodeC017/4446350-1721331122
RUNJOBID= nodeC017-1721330666-1000263
SLURM_JOB_ID= 7542711
Free space on /tmp= 889920 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-55.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-4446350-1721331122/watcher-4446350-1721331122 -o /tmp/evaluation-result-4446350-1721331122/solver-4446350-1721331122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721330666-1000263 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4446350-1721331122.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= aafbab4e203601a49fdc88cf5a6cbbb7
RANDOM SEED=217732871

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113547044 kB
MemAvailable:   116138096 kB
Buffers:          534384 kB
Cached:          2873796 kB
SwapCached:            0 kB
Active:          1290420 kB
Inactive:       16006644 kB
Active(anon):       1544 kB
Inactive(anon): 13925052 kB
Active(file):    1288876 kB
Inactive(file):  2081592 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             35488 kB
Writeback:             0 kB
AnonPages:      13887620 kB
Mapped:           141976 kB
Shmem:             37720 kB
KReclaimable:     120460 kB
Slab:             235268 kB
SReclaimable:     120460 kB
SUnreclaim:       114808 kB
KernelStack:        4232 kB
PageTables:        37304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9832300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5353472 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:      287444 kB
DirectMap2M:    40380416 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 889916 MiB
End job on nodeC017 at 2024-07-18 22:32:16