Trace number 4459899

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02SAT-81 3592.18 3600.65

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMe801618a66cab8fdd24ce0de869386c9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82
Best CPU time to get the best result obtained on this benchmark69962.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

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.10	c Default LC presolving (default).
0.00/0.10	c ** Before presolving: virtualMemUsedAtLc = 91970544, getVmSize() = 82108416, SCIPgetMemUsed() = 52661541, SCIPgetMemTotal() = 58321237, SCIPgetMemExternEstim() = 33649307
0.00/0.10	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.22/0.30	c ** Estimated virtualMemUsedAtSolver = 77130717, getVmSize() = 107474944, SCIPgetMemUsed() = 55831593, SCIPgetMemTotal() = 82046769, SCIPgetMemExternEstim() = 33649307
0.22/0.30	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.22/0.30	c Original Problem   :
0.22/0.30	c   Problem name     : instance-4459899-1721941164
0.22/0.30	c   Variables        : 16706 (1000 binary, 0 integer, 15706 implicit integer, 0 continuous)
0.22/0.30	c   Constraints      : 18207
0.22/0.30	c   Objective sense  : minimize
0.22/0.30	c Presolved Problem  :
0.22/0.30	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.22/0.30	c   Constraints      : 1501
0.22/0.30	c Constraints        : Number
0.22/0.30	c   knapsack         : 1000 
0.22/0.30	c   setppc           : 500 
0.22/0.30	c   linear           : 1 
0.22/0.30	c ** Instance transfer method used: 0
0.22/0.31	c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34	c                                Nodes    Active                                            
0.30/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.57/0.67	c *       1              0           1         1          -1.0000                -          -
10.90/11.04	c *      11              0           1         1         -51.0000                -          -
10.90/11.04	c        11              0           1         1         -51.0000                -          -
111.59/111.99	c *     112              0           1         1         -56.0000                -          -
111.59/111.99	c       112              0           1         1         -56.0000                -          -
128.96/129.35	c *     129              0           1         1         -61.0000                -          -
128.96/129.35	c       129              0           1         1         -61.0000                -          -
195.90/196.48	c       196              2           1         1         -61.0000        -231.1110    278.87%
312.43/313.29	c       313              3           2         1         -61.0000        -231.1110    278.87%
369.18/370.11	c       370              4           3         1         -61.0000        -231.1110    278.87%
442.62/443.73	c       444              5           4         1         -61.0000        -231.1110    278.87%
507.87/509.13	c       509              6           5         1         -61.0000        -231.1110    278.87%
535.81/537.11	c       537              7           6         1         -61.0000        -231.1110    278.87%
565.81/567.28	c       567              8           7         1         -61.0000        -231.1110    278.87%
580.87/582.34	c       582              9           8         1         -61.0000        -231.1110    278.87%
587.16/588.64	c *     589             12          11         1         -70.0000        -231.1110    230.16%
587.16/588.64	c       589             12          11         1         -70.0000        -231.1110    230.16%
592.34/593.81	c       594             21          20         1         -70.0000        -231.1110    230.16%
598.64/600.17	c       600             25          24         1         -70.0000        -231.1110    230.16%
600.42/601.93	c *     602             25          24         1         -76.0000        -231.1110    204.09%
604.91/606.43	c       606             32          31         1         -76.0000        -231.1110    204.09%
625.15/626.73	c       627             36          35         1         -76.0000        -231.1110    204.09%
634.13/635.78	c       636             47          46         1         -76.0000        -231.1110    204.09%
640.01/641.61	c       642             57          56         1         -76.0000        -231.1110    204.09%
645.69/647.32	c       647             58          57         1         -76.0000        -231.1110    204.09%
658.47/660.12	c       660             69          68         1         -76.0000        -231.1110    204.09%
664.84/666.58	c       667             71          70         1         -76.0000        -231.1110    204.09%
677.01/678.76	c       679             76          75         1         -76.0000        -231.1110    204.09%
685.69/687.43	c       687             80          79         1         -76.0000        -231.1110    204.09%
699.15/700.97	c       701             90          89         1         -76.0000        -231.1110    204.09%
704.63/706.45	c       706             94          93         1         -76.0000        -231.1110    204.09%
713.33/715.14	c       715            102         101         1         -76.0000        -231.1110    204.09%
718.70/720.50	c       721            108         107         1         -76.0000        -231.1110    204.09%
726.48/728.30	c       728            114         113         1         -76.0000        -231.1110    204.09%
732.56/734.44	c       734            126         125         1         -76.0000        -231.1110    204.09%
740.16/742.03	c       742            142         141         1         -76.0000        -231.1110    204.09%
747.24/749.15	c       749            162         161         1         -76.0000        -231.1110    204.09%
754.60/756.57	c       757            181         180         1         -76.0000        -231.1110    204.09%
777.43/779.44	c       779            182         181         1         -76.0000        -230.9600    203.89%
783.13/785.12	c       785            186         185         1         -76.0000        -230.9600    203.89%
792.10/794.14	c       794            207         206         1         -76.0000        -230.9600    203.89%
800.27/802.35	c       802            227         228         1         -76.0000        -230.9600    203.89%
801.36/803.46	c *     803            227         228         1         -78.0000        -230.9600    196.10%
823.50/825.61	c       826            314         245         1         -78.0000        -230.9184    196.05%
836.57/838.79	c       839            319         250         1         -78.0000        -230.9184    196.05%
841.76/843.91	c       844            434         277         1         -78.0000        -230.9184    196.05%
861.10/863.34	c       863            463         280         1         -78.0000        -230.8485    195.96%
874.06/876.36	c       876            468         285         1         -78.0000        -230.8485    195.96%
904.27/906.67	c       907            471         288         1         -78.0000        -230.8485    195.96%
909.35/911.79	c       912            476         293         1         -78.0000        -230.7564    195.84%
931.71/934.12	c       934            477         294         1         -78.0000        -230.7564    195.84%
937.98/940.41	c       940            483         300         1         -78.0000        -230.7189    195.79%
950.04/952.54	c       953            486         303         1         -78.0000        -230.7189    195.79%
957.12/959.62	c       960            493         310         1         -78.0000        -230.6297    195.68%
983.56/986.12	c       986            495         312         1         -78.0000        -230.6297    195.68%
988.64/991.26	c       991            502         319         1         -78.0000        -230.5883    195.63%
999.90/1002.57	c      1003            504         321         1         -78.0000        -230.5883    195.63%
1006.98/1009.65	c      1010            510         327         1         -78.0000        -230.5883    195.63%
1021.45/1024.14	c      1024            513         330         1         -78.0000        -230.4851    195.49%
1035.90/1038.62	c      1039            514         331         1         -78.0000        -230.4851    195.49%
1042.18/1044.97	c      1045            521         338         1         -78.0000        -230.4851    195.49%
1058.35/1061.14	c      1061            522         339         1         -78.0000        -229.9226    194.77%
1074.99/1077.88	c      1078            523         340         1         -78.0000        -229.9226    194.77%
1080.29/1083.12	c      1083            529         346         1         -78.0000        -229.9226    194.77%
1085.46/1088.36	c      1088            533         350         1         -78.0000        -229.9098    194.76%
1100.31/1103.27	c      1103            537         354         1         -78.0000        -229.9098    194.76%
1106.29/1109.27	c      1109            541         358         1         -78.0000        -229.9098    194.76%
1112.58/1115.58	c      1116            545         362         1         -78.0000        -229.8267    194.65%
1122.85/1125.88	c      1126            549         366         1         -78.0000        -229.8267    194.65%
1127.93/1131.01	c      1131            552         369         1         -78.0000        -229.7830    194.59%
1134.02/1137.09	c      1137            555         372         1         -78.0000        -229.7830    194.59%
1145.89/1148.91	c      1149            557         374         1         -78.0000        -229.7830    194.59%
1151.17/1154.25	c      1154            561         378         1         -78.0000        -229.7830    194.59%
1156.97/1160.10	c      1160            565         382         1         -78.0000        -229.7789    194.59%
1162.35/1165.44	c      1165            570         387         1         -78.0000        -229.7789    194.59%
1184.30/1187.41	c      1187            572         389         1         -78.0000        -229.7323    194.53%
1189.79/1192.97	c      1193            575         392         1         -78.0000        -229.7323    194.53%
1197.57/1200.73	c      1201            581         398         1         -78.0000        -229.7323    194.53%
1203.86/1207.05	c      1207            585         402         1         -78.0000        -229.6458    194.42%
1219.12/1222.30	c      1222            587         404         1         -78.0000        -229.6458    194.42%
1222.31/1225.57	c *    1226            589         406         1         -79.0000        -229.6458    190.69%
1225.61/1228.89	c      1229            593         387         1         -79.0000        -229.6409    190.68%
1231.59/1234.82	c      1235            599         393         1         -79.0000        -229.6409    190.68%
1236.68/1239.91	c      1240            603         397         1         -79.0000        -229.5519    190.57%
1255.44/1258.74	c      1259            608         402         1         -79.0000        -229.5519    190.57%
1261.11/1264.41	c      1264            613         407         1         -79.0000        -229.5477    190.57%
1272.70/1276.09	c      1276            616         410         1         -79.0000        -229.5477    190.57%
1295.44/1298.83	c      1299            623         417         1         -79.0000        -229.5269    190.54%
1301.73/1305.12	c      1305            628         422         1         -79.0000        -229.5269    190.54%
1307.81/1311.25	c      1311            634         428         1         -79.0000        -229.5167    190.53%
1327.17/1330.67	c      1331            637         431         1         -79.0000        -229.5167    190.53%
1332.66/1336.12	c      1336            643         437         1         -79.0000        -229.4882    190.49%
1344.12/1347.63	c      1348            645         439         1         -79.0000        -229.4882    190.49%
1349.52/1353.05	c      1353            652         446         1         -79.0000        -229.4881    190.49%
1362.67/1366.27	c      1366            653         447         1         -79.0000        -229.4881    190.49%
1370.35/1373.94	c      1374            656         450         1         -79.0000        -229.4881    190.49%
1375.64/1379.24	c      1379            662         456         1         -79.0000        -229.4493    190.44%
1381.81/1385.43	c      1385            666         460         1         -79.0000        -229.4493    190.44%
1391.79/1395.42	c      1395            668         462         1         -79.0000        -229.4493    190.44%
1421.90/1425.66	c      1426            671         465         1         -79.0000        -229.4493    190.44%
1435.67/1439.40	c      1439            675         469         1         -79.0000        -229.4420    190.43%
1442.55/1446.33	c      1446            679         473         1         -79.0000        -229.4420    190.43%
1447.84/1451.63	c      1452            682         476         1         -79.0000        -229.4117    190.39%
1456.23/1460.09	c      1460            686         480         1         -79.0000        -229.4117    190.39%
1463.21/1467.05	c      1467            692         486         1         -79.0000        -229.3823    190.36%
1492.73/1496.69	c      1497            694         488         1         -79.0000        -229.3823    190.36%
1498.62/1502.52	c      1503            699         493         1         -79.0000        -229.3823    190.36%
1521.97/1525.99	c      1526            704         498         1         -79.0000        -229.3626    190.33%
1529.55/1533.55	c      1534            709         503         1         -79.0000        -229.3626    190.33%
1535.44/1539.44	c      1539            713         507         1         -79.0000        -229.3572    190.33%
1548.71/1552.72	c      1553            715         509         1         -79.0000        -229.3572    190.33%
1554.01/1558.09	c      1558            721         515         1         -79.0000        -229.3572    190.33%
1566.27/1570.34	c      1570            723         517         1         -79.0000        -229.3460    190.31%
1579.24/1583.34	c      1583            727         521         1         -79.0000        -229.3460    190.31%
1594.21/1598.37	c      1598            732         526         1         -79.0000        -229.3419    190.31%
1599.30/1603.44	c      1603            735         529         1         -79.0000        -229.3419    190.31%
1608.99/1613.13	c      1613            737         531         1         -79.0000        -229.3419    190.31%
1614.36/1618.59	c      1619            743         537         1         -79.0000        -229.3109    190.27%
1620.75/1624.98	c      1625            751         545         1         -79.0000        -229.3109    190.27%
1640.41/1644.68	c      1645            753         547         1         -79.0000        -229.2936    190.25%
1659.27/1663.51	c      1664            761         555         1         -79.0000        -229.2936    190.25%
1677.23/1681.50	c      1682            763         557         1         -79.0000        -229.2887    190.24%
1688.31/1692.60	c      1693            768         562         1         -79.0000        -229.2887    190.24%
1693.50/1697.80	c      1698            773         567         1         -79.0000        -229.2876    190.24%
1705.28/1709.60	c      1710            777         571         1         -79.0000        -229.2876    190.24%
1711.26/1715.64	c      1716            781         575         1         -79.0000        -229.2876    190.24%
1742.09/1746.58	c      1747            782         576         1         -79.0000        -229.2712    190.22%
1748.59/1753.09	c      1753            787         581         1         -79.0000        -229.2712    190.22%
1751.07/1755.53	c *    1756            787         581         1         -80.0000        -229.2712    186.59%
1754.67/1759.17	c      1759            794         575         1         -80.0000        -229.2649    186.58%
1772.73/1777.27	c      1777            797         578         1         -80.0000        -229.2649    186.58%
1780.01/1784.55	c      1785            803         584         1         -80.0000        -229.2375    186.55%
1786.20/1790.73	c      1791            809         590         1         -80.0000        -229.2375    186.55%
1815.83/1820.42	c      1820            812         593         1         -80.0000        -229.2286    186.54%
1824.71/1829.36	c      1829            818         599         1         -80.0000        -229.2286    186.54%
1830.80/1835.46	c      1835            824         605         1         -80.0000        -229.2255    186.53%
1841.27/1845.90	c      1846            825         606         1         -80.0000        -229.2255    186.53%
1854.36/1859.06	c      1859            826         607         1         -80.0000        -229.2255    186.53%
1860.44/1865.13	c      1865            833         614         1         -80.0000        -229.2123    186.52%
1871.81/1876.56	c      1877            835         616         1         -80.0000        -229.2123    186.52%
1883.47/1888.21	c      1888            836         617         1         -80.0000        -229.2123    186.52%
1888.56/1893.35	c      1893            842         623         1         -80.0000        -229.1839    186.48%
1901.53/1906.36	c      1906            845         626         1         -80.0000        -229.1839    186.48%
1930.17/1935.02	c      1935            851         632         1         -80.0000        -229.1839    186.48%
1935.64/1940.58	c      1941            856         637         1         -80.0000        -229.1791    186.47%
1941.92/1946.89	c      1947            859         640         1         -80.0000        -229.1791    186.47%
1958.98/1963.99	c      1964            865         646         1         -80.0000        -229.1658    186.46%
1969.26/1974.25	c      1974            866         647         1         -80.0000        -229.1658    186.46%
1974.34/1979.32	c      1979            871         652         1         -80.0000        -229.1658    186.46%
1989.41/1994.47	c      1994            875         656         1         -80.0000        -229.1588    186.45%
1995.49/2000.55	c      2001            881         662         1         -80.0000        -229.1588    186.45%
2001.10/2006.15	c      2006            883         664         1         -80.0000        -229.1166    186.40%
2006.37/2011.41	c      2011            886         667         1         -80.0000        -229.1166    186.40%
2014.15/2019.21	c      2019            887         668         1         -80.0000        -229.1166    186.40%
2019.34/2024.46	c      2024            893         674         1         -80.0000        -229.1125    186.39%
2030.82/2035.94	c      2036            894         675         1         -80.0000        -229.1125    186.39%
2040.01/2045.13	c      2045            898         679         1         -80.0000        -229.1125    186.39%
2056.96/2062.15	c      2062            904         685         1         -80.0000        -229.0514    186.31%
2069.72/2075.01	c      2075            905         686         1         -80.0000        -229.0514    186.31%
2075.92/2081.11	c      2081            911         692         1         -80.0000        -229.0514    186.31%
2089.19/2094.48	c      2094            913         694         1         -80.0000        -229.0493    186.31%
2094.68/2099.96	c      2100            921         702         1         -80.0000        -229.0493    186.31%
2103.46/2108.73	c      2109            923         704         1         -80.0000        -229.0019    186.25%
2108.95/2114.20	c      2114            927         708         1         -80.0000        -229.0019    186.25%
2115.23/2120.52	c      2121            931         712         1         -80.0000        -229.0019    186.25%
2135.50/2140.84	c      2141            933         714         1         -80.0000        -228.9859    186.23%
2148.17/2153.50	c      2154            935         716         1         -80.0000        -228.9859    186.23%
2167.04/2172.46	c      2172            941         722         1         -80.0000        -228.9859    186.23%
2172.33/2177.75	c      2178            944         725         1         -80.0000        -228.9579    186.20%
2179.92/2185.37	c      2185            947         728         1         -80.0000        -228.9579    186.20%
2199.18/2204.62	c      2205            952         733         1         -80.0000        -228.9213    186.15%
2214.85/2220.35	c      2220            953         734         1         -80.0000        -228.9213    186.15%
2220.93/2226.48	c      2226            961         742         1         -80.0000        -228.9213    186.15%
2226.82/2232.31	c      2232            964         745         1         -80.0000        -228.9131    186.14%
2250.68/2256.23	c      2256            972         753         1         -80.0000        -228.8990    186.12%
2262.25/2267.83	c      2268            974         755         1         -80.0000        -228.8990    186.12%
2272.83/2278.47	c      2278            975         756         1         -80.0000        -228.8990    186.12%
2278.72/2284.32	c      2284            981         762         1         -80.0000        -228.8990    186.12%
2284.01/2289.65	c      2290            989         770         1         -80.0000        -228.8988    186.12%
2290.90/2296.59	c      2297            991         772         1         -80.0000        -228.8988    186.12%
2301.79/2307.40	c      2307            993         774         1         -80.0000        -228.8235    186.03%
2309.87/2315.51	c      2316            999         780         1         -80.0000        -228.8235    186.03%
2325.23/2331.01	c      2331           1002         783         1         -80.0000        -228.7743    185.97%
2335.42/2341.11	c      2341           1004         785         1         -80.0000        -228.7743    185.97%
2340.70/2346.41	c      2346           1011         792         1         -80.0000        -228.7743    185.97%
2347.58/2353.35	c      2353           1017         798         1         -80.0000        -228.7196    185.90%
2354.86/2360.62	c      2361           1018         799         1         -80.0000        -228.7196    185.90%
2361.54/2367.33	c      2367           1022         803         1         -80.0000        -228.6835    185.85%
2373.71/2379.58	c      2380           1024         805         1         -80.0000        -228.6835    185.85%
2383.20/2389.02	c      2389           1027         808         1         -80.0000        -228.6835    185.85%
2389.29/2395.16	c      2395           1034         815         1         -80.0000        -228.6508    185.81%
2405.94/2411.81	c      2412           1036         817         1         -80.0000        -228.6508    185.81%
2412.32/2418.21	c      2418           1043         824         1         -80.0000        -228.6104    185.76%
2420.22/2426.19	c      2426           1047         828         1         -80.0000        -228.6104    185.76%
2450.23/2456.28	c      2456           1051         832         1         -80.0000        -228.6104    185.76%
2465.89/2471.95	c      2472           1055         836         1         -80.0000        -228.6095    185.76%
2472.28/2478.35	c      2478           1061         842         1         -80.0000        -228.6095    185.76%
2478.08/2484.15	c      2484           1063         844         1         -80.0000        -228.5794    185.72%
2491.24/2497.36	c      2497           1065         846         1         -80.0000        -228.5794    185.72%
2497.04/2503.20	c      2503           1066         847         1         -80.0000        -228.5794    185.72%
2502.82/2509.01	c      2509           1069         850         1         -80.0000        -228.5794    185.72%
2508.81/2514.95	c      2515           1074         855         1         -80.0000        -228.5762    185.72%
2514.01/2520.12	c      2520           1079         860         1         -80.0000        -228.5762    185.72%
2535.66/2541.88	c      2542           1084         865         1         -80.0000        -228.5486    185.69%
2541.54/2547.75	c      2548           1091         872         1         -80.0000        -228.5486    185.69%
2548.73/2554.93	c      2555           1101         882         1         -80.0000        -228.5382    185.67%
2560.41/2566.65	c      2567           1104         885         1         -80.0000        -228.5208    185.65%
2565.50/2571.77	c      2572           1111         892         1         -80.0000        -228.5208    185.65%
2580.27/2586.54	c      2587           1113         894         1         -80.0000        -228.5102    185.64%
2585.66/2591.97	c      2592           1120         901         1         -80.0000        -228.5102    185.64%
2586.97/2593.21	c *    2593           1120         901         1         -81.0000        -228.5102    182.11%
2591.77/2598.08	c      2598           1124         903         1         -81.0000        -228.5033    182.10%
2597.15/2603.44	c      2603           1131         910         1         -81.0000        -228.5033    182.10%
2608.23/2614.52	c      2615           1133         912         1         -81.0000        -228.4791    182.07%
2614.11/2620.41	c      2620           1141         920         1         -81.0000        -228.4791    182.07%
2619.20/2625.52	c      2626           1147         926         1         -81.0000        -228.4686    182.06%
2625.19/2631.58	c      2632           1154         933         1         -81.0000        -228.4670    182.06%
2631.38/2637.79	c      2638           1161         940         1         -81.0000        -228.4670    182.06%
2637.46/2643.85	c      2644           1170         949         1         -81.0000        -228.4563    182.04%
2642.67/2649.02	c      2649           1171         950         1         -81.0000        -228.4563    182.04%
2647.85/2654.21	c      2654           1175         954         1         -81.0000        -228.4530    182.04%
2666.01/2672.48	c      2672           1182         961         1         -81.0000        -228.4441    182.03%
2671.89/2678.35	c      2678           1189         968         1         -81.0000        -228.4441    182.03%
2678.38/2684.84	c      2685           1195         974         1         -81.0000        -228.4425    182.03%
2685.26/2691.74	c      2692           1203         982         1         -81.0000        -228.4352    182.02%
2691.15/2697.63	c      2698           1211         990         1         -81.0000        -228.4352    182.02%
2708.91/2715.40	c      2715           1212         991         1         -81.0000        -228.4200    182.00%
2714.89/2721.42	c      2721           1215         994         1         -81.0000        -228.4200    182.00%
2744.22/2750.84	c      2751           1221        1000         1         -81.0000        -228.4200    182.00%
2749.21/2755.87	c      2756           1226        1005         1         -81.0000        -228.3975    181.97%
2754.41/2761.10	c      2761           1233        1012         1         -81.0000        -228.3861    181.96%
2760.77/2767.47	c      2767           1241        1020         1         -81.0000        -228.3861    181.96%
2766.27/2772.91	c      2773           1245        1024         1         -81.0000        -228.3752    181.94%
2772.05/2778.78	c      2779           1251        1030         1         -81.0000        -228.3752    181.94%
2778.63/2785.32	c      2785           1256        1035         1         -81.0000        -228.3699    181.94%
2786.33/2793.01	c      2793           1265        1044         1         -81.0000        -228.3615    181.93%
2792.31/2799.08	c      2799           1273        1052         1         -81.0000        -228.3533    181.92%
2799.68/2806.42	c      2806           1281        1060         1         -81.0000        -228.3533    181.92%
2812.05/2818.88	c      2819           1287        1066         1         -81.0000        -228.3529    181.92%
2818.24/2825.01	c      2825           1294        1073         1         -81.0000        -228.3446    181.91%
2826.82/2833.61	c      2834           1299        1078         1         -81.0000        -228.3446    181.91%
2832.61/2839.44	c      2839           1304        1083         1         -81.0000        -228.3421    181.90%
2843.29/2850.16	c      2850           1311        1090         1         -81.0000        -228.3421    181.90%
2849.46/2856.32	c      2856           1315        1094         1         -81.0000        -228.3404    181.90%
2854.85/2861.73	c      2862           1323        1102         1         -81.0000        -228.3389    181.90%
2861.54/2868.45	c      2868           1331        1110         1         -81.0000        -228.3389    181.90%
2867.72/2874.66	c      2875           1334        1113         1         -81.0000        -228.3303    181.89%
2873.90/2880.84	c      2881           1343        1122         1         -81.0000        -228.3019    181.85%
2879.99/2886.90	c      2887           1351        1130         1         -81.0000        -228.3019    181.85%
2885.27/2892.24	c      2892           1354        1133         1         -81.0000        -228.2909    181.84%
2890.86/2897.88	c      2898           1361        1140         1         -81.0000        -228.2909    181.84%
2896.44/2903.47	c      2903           1366        1145         1         -81.0000        -228.2885    181.84%
2904.23/2911.20	c      2911           1373        1152         1         -81.0000        -228.2861    181.83%
2910.31/2917.33	c      2917           1381        1160         1         -81.0000        -228.2861    181.83%
2916.19/2923.30	c      2923           1388        1167         1         -81.0000        -228.2805    181.83%
2930.56/2937.64	c      2938           1396        1175         1         -81.0000        -228.2722    181.82%
2935.55/2942.66	c      2943           1402        1181         1         -81.0000        -228.2634    181.81%
2949.42/2956.52	c      2957           1403        1182         1         -81.0000        -228.2634    181.81%
2955.92/2963.06	c      2963           1411        1190         1         -81.0000        -228.2634    181.81%
2961.91/2969.03	c      2969           1416        1195         1         -81.0000        -228.2514    181.79%
2967.08/2974.21	c      2974           1423        1202         1         -81.0000        -228.2313    181.77%
2972.07/2979.28	c      2979           1428        1207         1         -81.0000        -228.2313    181.77%
2978.05/2985.24	c      2985           1432        1211         1         -81.0000        -228.2308    181.77%
2984.24/2991.47	c      2991           1437        1216         1         -81.0000        -228.2308    181.77%
2989.83/2997.09	c      2997           1443        1222         1         -81.0000        -228.2260    181.76%
3019.95/3027.26	c      3027           1451        1230         1         -81.0000        -228.2260    181.76%
3043.19/3050.50	c      3050           1452        1231         1         -81.0000        -228.2204    181.75%
3048.48/3055.88	c      3056           1459        1238         1         -81.0000        -228.2204    181.75%
3053.68/3061.05	c      3061           1464        1243         1         -81.0000        -228.2151    181.75%
3059.35/3066.71	c      3067           1471        1250         1         -81.0000        -228.2151    181.75%
3073.73/3081.16	c      3081           1474        1253         1         -81.0000        -228.2066    181.74%
3118.12/3125.61	c      3126           1482        1261         1         -81.0000        -228.1974    181.73%
3123.21/3130.73	c      3131           1485        1264         1         -81.0000        -228.1974    181.73%
3128.80/3136.33	c      3136           1493        1272         1         -81.0000        -228.1926    181.72%
3134.38/3141.97	c      3142           1501        1280         1         -81.0000        -228.1926    181.72%
3140.48/3148.08	c      3148           1505        1284         1         -81.0000        -228.1906    181.72%
3146.65/3154.26	c      3154           1513        1292         1         -81.0000        -228.1891    181.71%
3158.72/3166.34	c      3166           1518        1297         1         -81.0000        -228.1891    181.71%
3173.69/3181.30	c      3181           1525        1304         1         -81.0000        -228.1791    181.70%
3179.17/3186.88	c      3187           1531        1310         1         -81.0000        -228.1791    181.70%
3201.82/3209.59	c      3210           1534        1313         1         -81.0000        -228.1662    181.69%
3207.51/3215.27	c      3215           1537        1316         1         -81.0000        -228.1662    181.69%
3216.30/3224.10	c      3224           1542        1321         1         -81.0000        -228.1655    181.69%
3221.38/3229.17	c      3229           1547        1326         1         -81.0000        -228.1655    181.69%
3227.76/3235.56	c      3236           1554        1333         1         -81.0000        -228.1652    181.69%
3234.35/3242.12	c      3242           1561        1340         1         -81.0000        -228.1652    181.69%
3240.52/3248.34	c      3248           1563        1342         1         -81.0000        -228.1595    181.68%
3264.07/3271.98	c      3272           1567        1346         1         -81.0000        -228.1595    181.68%
3276.95/3284.83	c      3285           1573        1352         1         -81.0000        -228.1488    181.67%
3282.24/3290.11	c      3290           1581        1360         1         -81.0000        -228.1488    181.67%
3287.42/3295.32	c      3295           1585        1364         1         -81.0000        -228.1304    181.64%
3320.84/3328.87	c      3329           1591        1370         1         -81.0000        -228.1304    181.64%
3326.23/3334.27	c      3334           1599        1378         1         -81.0000        -228.1181    181.63%
3331.31/3339.39	c      3339           1603        1382         1         -81.0000        -228.1173    181.63%
3338.29/3346.36	c      3346           1611        1390         1         -81.0000        -228.1173    181.63%
3345.68/3353.75	c      3354           1612        1391         1         -81.0000        -228.1104    181.62%
3351.27/3359.37	c      3359           1620        1399         1         -81.0000        -228.1104    181.62%
3357.36/3365.43	c      3365           1623        1402         1         -81.0000        -228.1056    181.61%
3363.15/3371.22	c      3371           1624        1403         1         -81.0000        -228.1056    181.61%
3373.43/3381.50	c      3382           1626        1405         1         -81.0000        -228.1056    181.61%
3380.12/3388.25	c      3388           1628        1407         1         -81.0000        -228.1056    181.61%
3385.41/3393.59	c      3394           1633        1412         1         -81.0000        -228.1013    181.61%
3391.69/3399.89	c      3400           1635        1414         1         -81.0000        -228.1013    181.61%
3397.58/3405.77	c      3406           1643        1422         1         -81.0000        -228.0957    181.60%
3407.76/3415.90	c      3416           1644        1423         1         -81.0000        -228.0957    181.60%
3414.65/3422.89	c      3423           1651        1430         1         -81.0000        -228.0957    181.60%
3421.23/3429.49	c      3429           1653        1432         1         -81.0000        -228.0852    181.59%
3426.93/3435.17	c      3435           1661        1440         1         -81.0000        -228.0852    181.59%
3433.31/3441.51	c      3442           1666        1445         1         -81.0000        -228.0838    181.58%
3438.30/3446.55	c      3447           1671        1450         1         -81.0000        -228.0838    181.58%
3444.60/3452.87	c      3453           1675        1454         1         -81.0000        -228.0820    181.58%
3451.18/3459.49	c      3459           1681        1460         1         -81.0000        -228.0820    181.58%
3456.97/3465.29	c      3465           1687        1466         1         -81.0000        -228.0726    181.57%
3474.54/3482.88	c      3483           1692        1471         1         -81.0000        -228.0723    181.57%
3480.33/3488.68	c      3489           1701        1480         1         -81.0000        -228.0723    181.57%
3495.81/3504.17	c      3504           1705        1484         1         -81.0000        -228.0344    181.52%
3501.59/3509.93	c      3510           1713        1492         1         -81.0000        -228.0256    181.51%
3507.17/3515.58	c      3516           1721        1500         1         -81.0000        -228.0256    181.51%
3513.46/3521.84	c      3522           1726        1505         1         -81.0000        -228.0249    181.51%
3539.81/3548.27	c      3548           1731        1510         1         -81.0000        -228.0249    181.51%
3547.90/3556.32	c      3556           1741        1520         1         -81.0000        -228.0236    181.51%
3554.70/3563.11	c      3563           1745        1524         1         -81.0000        -228.0185    181.50%
3559.68/3568.18	c      3568           1752        1531         1         -81.0000        -228.0155    181.50%
3565.16/3573.68	c      3574           1756        1535         1         -81.0000        -228.0155    181.50%
3572.66/3581.18	c      3581           1763        1542         1         -81.0000        -228.0110    181.50%
3578.73/3587.20	c      3587           1771        1550         1         -81.0000        -228.0110    181.50%
3584.22/3592.74	c      3593           1780        1559         1         -81.0000        -228.0073    181.49%
3591.81/3600.31	c      3600           1782        1561         0         -81.0000        -228.0069    181.49%
3592.01/3600.57	c SCIP Status        : c solving was interrupted [hard time limit reached]
3592.01/3600.57	c Total Time         : 3600.58
3592.01/3600.57	c   solving          : 3600.58
3592.01/3600.57	c   presolving       : 0.20 (included in solving)
3592.01/3600.57	c B&B Tree           :
3592.01/3600.57	c   nodes (total)    : 1
3592.01/3600.57	c Solution           :
3592.01/3600.57	c   Solutions found  : 11
3592.01/3600.57	c   Primal Bound     : -8.10000000000000e+01
3592.01/3600.57	c   Dual Bound       : -2.28006879614610e+02
3592.01/3600.57	c Gap                : 181.48997 %
3592.01/3600.57	c * Warning: final gap: 1.81490e+00 is greater than SCIPepsilon: 1.00000e-09
3592.01/3600.59	o -81
3592.01/3600.59	s SATISFIABLE
3592.01/3600.59	v -x726 -x703 -x618 -x817 -x772 -x819 -x997 -x896 -x846 -x873 x852 x986 -x690 x929 -x982 -x893 x972 -x999 -x993 x632 -x712 -x686 
3592.01/3600.59	v -x643 -x658 -x925 -x707 -x697 x848 -x621 -x588 -x891 x661 -x675 -x752 -x706 -x973 -x814 x894 -x784 -x614 -x858 -x943 -x994 x885 
3592.01/3600.59	v -x645 -x531 -x918 -x841 -x673 x1000 -x808 -x755 -x547 -x831 -x526 x906 -x674 x644 -x783 x951 -x630 -x606 -x905 x985 -x575 
3592.01/3600.59	v -x791 x907 -x754 -x603 -x995 -x562 -x670 -x693 -x691 -x584 -x583 -x942 -x780 x880 -x582 -x845 -x668 -x913 -x678 -x524 x623 -x842 
3592.01/3600.59	v x788 -x773 -x682 x967 -x560 -x900 -x877 -x522 x909 -x741 -x544 -x763 -x818 -x916 -x856 -x687 -x816 -x671 -x656 -x796 -x976 
3592.01/3600.59	v x749 x930 -x834 -x737 -x750 -x600 -x952 x927 -x825 -x767 -x549 -x700 -x948 -x701 -x977 x872 -x760 -x805 -x855 -x655 x565 -x519 
3592.01/3600.59	v x924 -x748 -x962 -x955 -x969 -x708 -x597 -x642 -x933 -x860 -x770 -x689 x683 -x620 -x539 -x729 -x546 -x698 -x786 -x759 -x513 
3592.01/3600.59	v -x957 x950 -x910 -x798 -x732 -x721 -x631 x604 -x983 -x865 -x771 -x537 -x826 -x939 x932 -x580 x803 -x838 -x853 -x753 -x638 
3592.01/3600.59	v -x512 -x971 -x947 -x904 -x824 -x782 -x757 -x657 -x593 -x802 -x965 -x713 -x599 -x696 -x790 -x840 -x778 x555 -x801 -x734 x733 -x903 
3592.01/3600.59	v x892 -x797 -x641 -x557 x864 -x984 -x960 x949 -x839 -x854 -x958 -x589 -x615 -x890 -x863 -x830 -x810 x775 -x665 -x648 -x576 
3592.01/3600.59	v x836 -x953 -x883 x881 -x540 x895 -x917 -x607 -x970 -x609 -x914 -x946 -x959 -x509 -x988 x876 -x850 -x833 -x828 -x821 -x812 -x768 
3592.01/3600.59	v -x685 x637 -x550 -x920 -x931 -x725 -x936 -x981 x718 -x835 -x806 -x811 x534 -x556 -x923 -x695 -x787 x966 -x964 x945 -x879 
3592.01/3600.59	v -x875 -x837 -x744 -x743 x710 x634 -x563 -x536 -x919 -x651 -x912 -x677 x756 -x857 -x561 -x639 -x709 -x926 x991 -x518 -x569 -x507 
3592.01/3600.59	v x974 -x898 -x781 -x738 -x694 -x684 -x612 -x652 -x886 -x822 -x899 -x751 -x516 -x820 x764 -x578 -x716 -x815 -x570 x889 -x795 
3592.01/3600.59	v -x793 -x704 -x692 -x669 -x640 -x613 -x601 -x558 -x530 -x529 -x514 -x765 -x545 -x998 -x626 -x956 -x636 x758 -x542 -x622 -x564 
3592.01/3600.59	v -x619 -x602 -x742 -x978 -x938 -x996 -x868 -x859 -x794 -x761 -x740 -x730 -x722 -x679 -x663 -x654 -x587 -x571 -x552 -x646 -x627 
3592.01/3600.59	v -x715 -x922 -x568 -x508 -x533 -x901 -x897 -x979 -x870 x963 -x525 -x937 x908 -x823 -x789 -x711 -x705 -x688 -x667 -x662 -x629 
3592.01/3600.59	v -x605 -x559 -x541 -x532 -x510 -x505 x747 -x610 -x551 -x592 -x871 x807 -x647 x844 -x579 -x719 -x659 x590 x792 -x935 -x887 x528 
3592.01/3600.59	v -x503 -x944 -x769 -x746 x735 x672 -x566 -x523 -x520 x515 -x664 -x980 -x799 -x779 -x975 -x762 -x804 -x888 x745 -x591 -x851 
3592.01/3600.59	v x940 x869 -x934 -x628 -x717 -x543 -x990 -x928 x724 -x586 -x554 -x989 x774 x502 -x992 -x902 -x843 -x827 -x813 -x785 -x776 -x720 
3592.01/3600.59	v -x660 -x653 -x635 -x625 -x617 -x596 -x577 -x567 -x548 -x535 -x504 x723 -x616 -x594 x702 -x608 -x624 -x736 -x666 -x714 -x538 
3592.01/3600.59	v -x954 -x866 -x511 -x941 x862 -x800 -x809 -x585 x728 -x847 -x968 -x553 x884 -x501 -x878 -x867 x739 -x731 -x681 -x649 -x598 -x595 
3592.01/3600.59	v -x581 -x572 -x517 x961 -x832 -x874 -x680 x506 -x915 -x987 -x829 -x727 -x521 -x911 -x699 -x861 -x849 -x527 -x882 x574 -x650 
3592.01/3600.59	v -x921 -x633 -x777 -x573 x611 -x766 -x676 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 x488 -x487 
3592.01/3600.59	v -x486 -x485 x484 -x483 -x482 x481 -x480 x479 -x478 x477 -x476 -x475 -x474 x473 -x472 x471 x470 -x469 -x468 -x467 -x466 -x465 
3592.01/3600.59	v x464 -x463 -x462 -x461 x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 x447 x446 -x445 -x444 x443 x442 
3592.01/3600.59	v -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 
3592.01/3600.59	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 
3592.01/3600.59	v x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 
3592.01/3600.59	v -x377 -x376 -x375 -x374 x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 x363 -x362 -x361 x360 -x359 -x358 -x357 x356 
3592.01/3600.59	v -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 x335 -x334 
3592.01/3600.59	v -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 x325 -x324 -x323 x322 -x321 x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 
3592.12/3600.64	v x312 -x311 x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
3592.12/3600.64	v -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 
3592.12/3600.64	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
3592.12/3600.64	v -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 
3592.12/3600.64	v -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 
3592.12/3600.64	v x206 -x205 -x204 -x203 -x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
3592.12/3600.64	v -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 
3592.12/3600.64	v x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 
3592.12/3600.64	v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 
3592.12/3600.64	v x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 
3592.12/3600.64	v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 
3592.12/3600.64	v -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 
3592.12/3600.64	v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 
3592.12/3600.64	v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	-81

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=236491, runsolver pid=236488

[startup+0.100118 s]*
/proc/loadavg: 4.14 4.10 3.56 5/248 236492
/proc/meminfo: memFree=122519256/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=83140 memory=72088 CPUtime=0.1 cores=4,6
/proc/236491/stat : 236491 (fscip) R 236488 236491 235357 0 -1 4194304 15850 0 0 0 9 1 0 0 20 0 1 0 30105863 85135360 18022 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 20785 18022 2606 3032 0 17185 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83140 KiB
Current children cumulated memory: 72088 KiB

[startup+0.213104 s]*
/proc/loadavg: 4.14 4.10 3.56 5/248 236492
/proc/meminfo: memFree=122503940/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=96124 memory=83056 CPUtime=0.22 cores=4,6
/proc/236491/stat : 236491 (fscip) R 236488 236491 235357 0 -1 4194304 18590 0 0 0 20 2 0 0 20 0 1 0 30105863 98430976 20764 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 24031 20764 2622 3032 0 20431 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 96124 KiB
Current children cumulated memory: 83056 KiB

[startup+0.312815 s]*
/proc/loadavg: 4.14 4.10 3.56 5/249 236493
/proc/meminfo: memFree=122492376/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=181236 memory=93228 CPUtime=0.3 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 21625 0 0 0 28 2 0 0 20 0 2 0 30105863 185585664 23307 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 45309 23307 2702 3032 0 25357 0
[pid=236491/tid=236493] ppid=236488 vsize=181236 memory=-6153718552133286756 CPUtime=0 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 30105894 185585664 23307 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 181236 KiB
Current children cumulated memory: 93228 KiB

[startup+0.700559 s]
/proc/loadavg: 4.14 4.10 3.56 5/250 236494
/proc/meminfo: memFree=122473140/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=191240 memory=122620 CPUtime=0.65 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 29667 0 0 0 61 4 0 0 20 0 3 0 30105863 195829760 30655 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 47810 30655 2910 3032 0 34964 0
[pid=236491/tid=236493] ppid=236488 vsize=191240 memory=18416 CPUtime=0.34 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 8040 0 0 0 33 1 0 0 20 0 3 0 30105894 195829760 30655 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=191240 memory=2369 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30105898 195829760 30655 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 191240 KiB
Current children cumulated memory: 122620 KiB

[startup+1.50056 s]
/proc/loadavg: 4.14 4.10 3.56 5/250 236494
/proc/meminfo: memFree=122463732/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=197088 memory=131428 CPUtime=1.44 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 34003 0 0 0 139 5 0 0 20 0 3 0 30105863 201818112 32857 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 49272 32857 2910 3032 0 37674 0
[pid=236491/tid=236493] ppid=236488 vsize=197088 memory=2369 CPUtime=1.12 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 12376 0 0 0 110 2 0 0 20 0 3 0 30105894 201818112 32857 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=197088 memory=0 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30105898 201818112 32857 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 197088 KiB
Current children cumulated memory: 131428 KiB

[startup+3.10556 s]
/proc/loadavg: 4.13 4.10 3.56 5/250 236494
/proc/meminfo: memFree=122409184/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=266872 memory=178332 CPUtime=3.03 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 52360 0 0 0 296 7 0 0 20 0 3 0 30105863 273276928 44583 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 66718 44583 2910 3032 0 49663 0
[pid=236491/tid=236493] ppid=236488 vsize=266872 memory=0 CPUtime=2.71 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 30726 0 0 0 267 4 0 0 20 0 3 0 30105894 273276928 44583 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=266872 memory=279946908075648 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 30105898 273276928 44583 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 266872 KiB
Current children cumulated memory: 178332 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.10 3.56 5/250 236496
/proc/meminfo: memFree=122391552/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=269988 memory=197440 CPUtime=6.2 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 66608 0 0 0 611 9 0 0 20 0 3 0 30105863 276467712 49360 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 67497 49360 2910 3032 0 54912 0
[pid=236491/tid=236493] ppid=236488 vsize=269988 memory=4639341348286650470 CPUtime=5.89 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 44974 0 0 0 583 6 0 0 20 0 3 0 30105894 276467712 49360 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=269988 memory=0 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 30105898 276467712 49360 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 197440 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.09 3.56 5/250 236496
/proc/meminfo: memFree=122352584/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=281160 memory=240564 CPUtime=12.58 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 94720 0 0 0 1246 12 0 0 20 0 3 0 30105863 287907840 60141 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 70290 60141 2958 3032 0 65638 0
[pid=236491/tid=236493] ppid=236488 vsize=281160 memory=188080 CPUtime=12.27 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 72824 0 0 0 1218 9 0 0 20 0 3 0 30105894 287907840 60141 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=281160 memory=11616 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 30105898 287907840 60141 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 240564 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.10 3.57 5/250 236499
/proc/meminfo: memFree=122300312/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=348728 memory=285528 CPUtime=25.36 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 137250 0 0 0 2520 16 0 0 20 0 3 0 30105863 357097472 71382 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 87182 71382 2958 3032 0 77420 0
[pid=236491/tid=236493] ppid=236488 vsize=348728 memory=281184 CPUtime=25.05 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 115340 0 0 0 2492 13 0 0 20 0 3 0 30105894 357097472 71382 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=348728 memory=281184 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 30105898 357097472 71382 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 348728 KiB
Current children cumulated memory: 285528 KiB

[startup+51.1121 s]
/proc/loadavg: 4.11 4.10 3.59 5/250 236504
/proc/meminfo: memFree=122225848/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=419028 memory=347564 CPUtime=50.92 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 201007 0 0 0 5070 22 0 0 20 0 3 0 30105863 429084672 86891 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 104757 86891 2958 3032 0 94138 0
[pid=236491/tid=236493] ppid=236488 vsize=419028 memory=339712 CPUtime=50.6 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 179082 0 0 0 5042 18 0 0 20 0 3 0 30105894 429084672 86891 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=419028 memory=316936 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 30105898 429084672 86891 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 419028 KiB
Current children cumulated memory: 347564 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 3.62 5/249 236523
/proc/meminfo: memFree=122134604/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=491556 memory=397604 CPUtime=102 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 299118 0 0 0 10171 29 0 0 20 0 3 0 30105863 503353344 99401 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 122889 99401 2958 3032 0 106706 0
[pid=236491/tid=236493] ppid=236488 vsize=491556 memory=397604 CPUtime=101.69 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 277169 0 0 0 10143 26 0 0 20 0 3 0 30105894 503353344 99401 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=491556 memory=6720668761470680419 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 30105898 503353344 99401 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 491556 KiB
Current children cumulated memory: 397604 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 3.66 5/249 236535
/proc/meminfo: memFree=122132536/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=491556 memory=397620 CPUtime=161.88 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 329563 0 0 0 16156 32 0 0 20 0 3 0 30105863 503353344 99405 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 122889 99405 2958 3032 0 106706 0
[pid=236491/tid=236493] ppid=236488 vsize=491556 memory=397612 CPUtime=161.56 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 307226 0 0 0 16128 28 0 0 20 0 3 0 30105894 503353344 99405 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=491556 memory=397620 CPUtime=0 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 30105898 503353344 99405 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 491556 KiB
Current children cumulated memory: 397620 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 3.69 5/248 236545
/proc/meminfo: memFree=122130492/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=491556 memory=397620 CPUtime=221.74 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 344372 0 0 0 22142 32 0 0 20 0 3 0 30105863 503353344 99405 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 122889 99405 2958 3032 0 106706 0
[pid=236491/tid=236493] ppid=236488 vsize=491556 memory=397620 CPUtime=221.43 cores=4,6

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

[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3394.19 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1257247 0 0 0 339248 171 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=587932 CPUtime=3393.73 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1232540 0 0 0 339213 160 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=587932 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 331 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3394.19 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.14 2.48 3/230 238380
/proc/meminfo: memFree=123475524/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3454.08 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1259350 0 0 0 345236 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=587932 CPUtime=3453.6 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1234621 0 0 0 345200 160 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=587932 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 333 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.13 2.46 3/230 238390
/proc/meminfo: memFree=123475160/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3513.96 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1260802 0 0 0 351224 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=12368 CPUtime=3513.49 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1236050 0 0 0 351188 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=6720668761470680419 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 335 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.12 2.43 3/232 238571
/proc/meminfo: memFree=123474808/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3573.84 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262019 0 0 0 357212 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=61156 CPUtime=3573.38 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237241 0 0 0 357177 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=11616 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 341 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

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

# cumulated CPU time of all completed processes:  user=3590.43 s, system=1.74769 s

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

[startup+3584 s]*
/proc/loadavg: 2.08 2.12 2.43 3/232 238571
/proc/meminfo: memFree=123474836/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3575.55 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262019 0 0 0 357383 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=6720667649124482402 CPUtime=3575.08 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237241 0 0 0 357347 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=-7161705987511640187 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 341 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3575.55 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3590.4 s]
/proc/loadavg: 2.08 2.12 2.43 3/232 238573
/proc/meminfo: memFree=123474780/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3581.93 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262075 0 0 0 358021 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=587932 CPUtime=3581.46 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237294 0 0 0 357985 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=6720668761470680419 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3581.93 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3596.8 s]
/proc/loadavg: 2.07 2.11 2.42 3/232 238574
/proc/meminfo: memFree=123474724/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3588.32 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262235 0 0 0 358660 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=587932 CPUtime=3587.85 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237454 0 0 0 358624 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=1017894834014442 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3588.32 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3598.4 s]
/proc/loadavg: 2.14 2.13 2.43 3/232 238574
/proc/meminfo: memFree=123474716/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3589.91 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262240 0 0 0 358819 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=2232 CPUtime=3589.44 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237459 0 0 0 358783 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=587932 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3589.91 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3600 s]*
/proc/loadavg: 2.14 2.13 2.43 3/232 238574
/proc/meminfo: memFree=123474724/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3591.52 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262240 0 0 0 358980 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=6720667649124482402 CPUtime=3591.05 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237459 0 0 0 358944 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=-7161705987511640187 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3591.52 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3600.4 s]
/proc/loadavg: 2.14 2.13 2.43 3/232 238574
/proc/meminfo: memFree=123474724/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=624664 memory=587932 CPUtime=3591.91 cores=4,6
/proc/236491/stat : 236491 (fscip) S 236488 236491 235357 0 -1 1077936128 1262242 0 0 0 359019 172 0 0 20 0 3 0 30105863 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 156166 146983 2990 3032 0 150381 0
[pid=236491/tid=236493] ppid=236488 vsize=624664 memory=5620 CPUtime=3591.44 cores=4,6
/proc/236491/task/236493/stat : 236493 (fscip) R 236488 236491 235357 0 -1 4194368 1237460 0 0 0 358983 161 0 0 20 0 3 0 30105894 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
[pid=236491/tid=236494] ppid=236488 vsize=624664 memory=26440 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 3 0 30105898 639655936 146983 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3591.91 s
Current children cumulated vsize: 624664 KiB
Current children cumulated memory: 587932 KiB

[startup+3600.6 s]
/proc/loadavg: 2.14 2.13 2.43 3/232 238574
/proc/meminfo: memFree=123474724/131655788 swapFree=131060916/131071996
[pid=236491] ppid=236488 vsize=589228 memory=553392 CPUtime=3592.12 cores=4,6
/proc/236491/stat : 236491 (fscip) R 236488 236491 235357 0 -1 4194304 1263575 0 0 0 359039 173 0 0 20 0 2 0 30105863 603369472 138348 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
/proc/236491/statm: 147307 138348 2990 3032 0 141522 0
[pid=236491/tid=236494] ppid=236488 vsize=589228 memory=4828 CPUtime=0.06 cores=4,6
/proc/236491/task/236494/stat : 236494 (fscip) S 236488 236491 235357 0 -1 1077936192 343 0 0 0 2 4 0 0 20 0 2 0 30105898 603369472 138348 134679101440 4194304 16613245 140721833292688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33083392 140721833296920 140721833297036 140721833297036 140721833304048 0
Current children cumulated CPU time: 3592.12 s
Current children cumulated vsize: 589228 KiB
Current children cumulated memory: 553392 KiB

Child status: 0

Real time (s): 3600.65
CPU time (s): 3592.18
CPU user time (s): 3590.43
CPU system time (s): 1.74769
CPU usage (%): 99.7646
Max. virtual memory (cumulated for all children) (KiB): 630152
Max. memory (cumulated for all children) (KiB): 587932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.43
system time used= 1.74769
maximum resident set size= 587932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1264804
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= 5606
involuntary context switches= 2241


# summary of solver processes directly reported to runsolver:
#   pid: 236491
#   total CPU time (s): 3592.18
#   total CPU user time (s): 3590.43
#   total CPU system time (s): 1.74769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0071 second user time and 31.4029 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-25 22:59:24
IDJOB=4459899
IDBENCH=148645
IDSOLVER=3064
FILE ID=nodeC007/4459899-1721941164
RUNJOBID= nodeC007-1721939462-235368
SLURM_JOB_ID= 8247261
Free space on /tmp= 723700 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.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-4459899-1721941164/watcher-4459899-1721941164 -o /tmp/evaluation-result-4459899-1721941164/solver-4459899-1721941164 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235368 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459899-1721941164.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e801618a66cab8fdd24ce0de869386c9
RANDOM SEED=533500584

nodeC007.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	: 0xb00001f
cpu MHz		: 3663.584
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3668.590
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.395
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.232
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3491.848
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3669.269
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122577604 kB
MemAvailable:   127873864 kB
Buffers:          341056 kB
Cached:          5654104 kB
SwapCached:          152 kB
Active:          1802380 kB
Inactive:        6476768 kB
Active(anon):       2284 kB
Inactive(anon):  2326856 kB
Active(file):    1800096 kB
Inactive(file):  4149912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:             28600 kB
Writeback:             0 kB
AnonPages:       2282240 kB
Mapped:           126644 kB
Shmem:             45112 kB
KReclaimable:     372904 kB
Slab:             485184 kB
SReclaimable:     372904 kB
SUnreclaim:       112280 kB
KernelStack:        3968 kB
PageTables:        14408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1567948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1808384 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC007 at 2024-07-25 23:59:25