Trace number 4464462

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3592.62 3603.21

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-55.opb
MD5SUMaafbab4e203601a49fdc88cf5a6cbbb7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark63.7946
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.88/0.98	c Default LC presolving (default).
0.88/0.98	c ** Before presolving: virtualMemUsedAtLc = 440692300, getVmSize() = 286453760, SCIPgetMemUsed() = 226961010, SCIPgetMemTotal() = 251795130, SCIPgetMemExternEstim() = 188897170
0.88/0.98	c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
11.07/11.15	c ** Estimated virtualMemUsedAtSolver = 555210051, getVmSize() = 703770624, SCIPgetMemUsed() = 437915843, SCIPgetMemTotal() = 643917907, SCIPgetMemExternEstim() = 188897170
11.07/11.15	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
11.07/11.15	c Original Problem   :
11.07/11.15	c   Problem name     : instance-4464462-1722382206
11.07/11.15	c   Variables        : 7936 (7936 binary, 0 integer, 0 implicit integer, 0 continuous)
11.07/11.15	c   Constraints      : 176837
11.07/11.15	c   Objective sense  : minimize
11.07/11.15	c Presolved Problem  :
11.07/11.15	c   Variables        : 7935 (7935 binary, 0 integer, 0 implicit integer, 0 continuous)
11.07/11.15	c   Constraints      : 174631
11.07/11.15	c Constraints        : Number
11.07/11.15	c   knapsack         : 17621 
11.07/11.15	c   setppc           : 37799 
11.07/11.15	c   linear           : 1 
11.07/11.15	c   logicor          : 119210 
11.07/11.15	c ** Instance transfer method used: 0
11.35/11.43	c ** ParaScipInstance copy does not increase the number of variables. **
11.76/11.88	c LC is working with racing ramp-up and with rebuilding tree after racing.
11.76/11.88	c                                Nodes    Active                                            
11.76/11.88	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
242.53/243.24	c       243              2           1         1                -           0.0000          -
247.62/248.36	c       248              9           8         1                -           0.0000          -
254.01/254.70	c       255             12          11         1                -           0.0000          -
260.09/260.87	c       261             13          12         1                -           0.0000          -
306.57/307.46	c       307             14          13         1                -           0.0000          -
325.13/326.09	c       326             15          14         1                -           0.0000          -
331.80/332.78	c       333             18          17         1                -           0.0000          -
336.89/337.83	c       338             28          27         1                -           0.0000          -
342.58/343.52	c       344             30          29         1                -           0.0000          -
348.56/349.52	c       350             32          31         1                -           0.0000          -
355.94/356.97	c       357             34          33         1                -           0.0000          -
372.70/373.72	c       374             36          35         1                -           0.0000          -
378.58/379.63	c       380             38          37         1                -           0.0000          -
383.78/384.88	c       385             46          45         1                -           0.0000          -
388.85/389.90	c       390             61          60         1                -           0.0000          -
393.84/394.99	c       395             74          73         1                -           0.0000          -
411.09/412.28	c       412             87          86         1                -           0.0000          -
418.28/419.47	c       419             92          91         1                -           0.0000          -
428.35/429.58	c       430             93          92         1                -           0.0000          -
435.63/436.80	c       437            102         101         1                -           0.0000          -
442.61/443.88	c       444            112         111         1                -           0.0000          -
451.30/452.59	c       453            114         113         1                -           0.0000          -
456.58/457.88	c       458            126         125         1                -           0.0000          -
461.88/463.19	c       463            133         132         1                -           0.0000          -
467.15/468.50	c       468            142         141         1                -           0.0000          -
477.83/479.13	c       479            152         151         1                -           0.0000          -
488.89/490.26	c       490            162         161         1                -           0.0000          -
494.97/496.31	c       496            170         169         1                -           0.0000          -
500.06/501.40	c       501            174         173         1                -           0.0000          -
508.54/509.91	c       510            178         177         1                -           0.0000          -
515.02/516.42	c       516            189         188         1                -           0.0000          -
521.61/523.09	c       523            204         203         1                -           0.0000          -
527.77/529.25	c       529            210         209         1                -           0.0000          -
532.86/534.36	c       534            218         217         1                -           0.0000          -
539.94/541.46	c       541            220         219         1                -           0.0000          -
545.62/547.17	c       547            222         221         1                -           0.0000          -
554.78/556.33	c       556            229         228         1                -           0.0000          -
560.36/561.93	c       562            236         235         1                -           0.0000          -
565.56/567.17	c       567            242         241         1                -           0.0000          -
572.22/573.82	c       574            245         244         1                -           0.0000          -
578.59/580.26	c       580            257         256         1                -           0.0000          -
583.77/585.44	c       585            263         262         1                -           0.0000          -
589.76/591.43	c       591            271         270         1                -           0.0000          -
594.73/596.48	c       596            282         281         1                -           0.0000          -
600.51/602.27	c       602            292         291         1                -           0.0000          -
608.79/610.60	c       611            299         298         1                -           0.0000          -
615.16/616.96	c       617            308         307         1                -           0.0000          -
624.14/625.97	c       626            312         311         1                -           0.0000          -
630.61/632.45	c       632            318         317         1                -           0.0000          -
636.30/638.13	c       638            326         325         1                -           0.0000          -
654.53/656.45	c       656            329         328         1                -           0.0000          -
660.62/662.50	c       662            332         331         1                -           0.0000          -
669.68/671.69	c       672            334         333         1                -           0.0000          -
681.54/683.50	c       684            342         341         1                -           0.0000          -
695.10/697.19	c       697            352         351         1                -           0.0000          -
700.77/702.86	c       703            354         353         1                -           0.0000          -
706.66/708.79	c       709            362         361         1                -           0.0000          -
713.05/715.19	c       715            365         364         1                -           0.0000          -
721.41/723.57	c       724            372         371         1                -           0.0000          -
727.00/729.18	c       729            379         378         1                -           0.0000          -
734.76/736.96	c       737            390         389         1                -           0.0000          -
739.96/742.11	c       742            397         396         1                -           0.0000          -
744.93/747.12	c       747            401         400         1                -           0.0000          -
757.38/759.65	c       760            402         401         1                -           0.0000          -
762.46/764.73	c       765            412         411         1                -           0.0000          -
770.93/773.23	c       773            422         421         1                -           0.0000          -
777.31/779.61	c       780            425         424         1                -           0.0000          -
786.88/789.27	c       789            430         429         1                -           0.0000          -
792.26/794.64	c       795            439         438         1                -           0.0000          -
798.65/801.07	c       801            451         450         1                -           0.0000          -
807.41/809.87	c       810            458         457         1                -           0.0000          -
815.08/817.51	c       818            462         461         1                -           0.0000          -
823.15/825.60	c       826            464         463         1                -           0.0000          -
832.12/834.61	c       835            466         465         1                -           0.0000          -
838.81/841.30	c       841            472         471         1                -           0.0000          -
847.59/850.16	c       850            482         481         1                -           0.0000          -
853.05/855.69	c       856            489         488         1                -           0.0000          -
860.55/863.13	c       863            494         493         1                -           0.0000          -
867.11/869.73	c       870            496         495         1                -           0.0000          -
876.97/879.61	c       880            498         497         1                -           0.0000          -
882.37/885.04	c       885            500         499         1                -           0.0000          -
888.24/890.95	c       891            502         501         1                -           0.0000          -
893.73/896.47	c       896            504         503         1                -           0.0000          -
899.81/902.59	c       903            506         505         1                -           0.0000          -
911.30/914.02	c       914            508         507         1                -           0.0000          -
916.48/919.20	c       919            514         513         1                -           0.0000          -
924.55/927.38	c       927            522         521         1                -           0.0000          -
930.53/933.31	c       933            524         523         1                -           0.0000          -
936.33/939.16	c       939            531         530         1                -           0.0000          -
941.91/944.72	c       945            534         533         1                -           0.0000          -
951.98/954.84	c       955            538         537         1                -           0.0000          -
960.17/963.09	c       963            544         543         1                -           0.0000          -
967.93/970.81	c       971            550         549         1                -           0.0000          -
974.52/977.43	c       977            552         551         1                -           0.0000          -
981.21/984.15	c       984            554         553         1                -           0.0000          -
987.10/990.10	c       990            565         564         1                -           0.0000          -
992.77/995.78	c       996            570         569         1                -           0.0000          -
1000.45/1003.50	c      1004            572         571         1                -           0.0000          -
1005.63/1008.63	c      1009            575         574         1                -           0.0000          -
1015.61/1018.65	c      1019            576         575         1                -           0.0000          -
1021.90/1024.92	c      1025            584         583         1                -           0.0000          -
1032.47/1035.54	c      1036            590         589         1                -           0.0000          -
1042.54/1045.65	c      1046            596         595         1                -           0.0000          -
1048.12/1051.26	c      1051            600         599         1                -           0.0000          -
1054.60/1057.79	c      1058            606         605         1                -           0.0000          -
1062.78/1065.98	c      1066            612         611         1                -           0.0000          -
1069.06/1072.23	c      1072            616         615         1                -           0.0000          -
1083.43/1086.68	c      1087            618         617         1                -           0.0000          -
1092.92/1096.18	c      1096            622         621         1                -           0.0000          -
1104.08/1107.32	c      1107            626         625         1                -           0.0000          -
1111.26/1114.58	c      1115            628         627         1                -           0.0000          -
1118.86/1122.16	c      1122            630         629         1                -           0.0000          -
1127.73/1131.07	c      1131            638         637         1                -           0.0000          -
1136.80/1140.11	c      1140            643         642         1                -           0.0000          -
1143.27/1146.62	c      1147            654         653         1                -           0.0000          -
1149.26/1152.68	c      1153            657         656         1                -           0.0000          -
1156.54/1159.91	c      1160            659         658         1                -           0.0000          -
1164.63/1168.06	c      1168            665         664         1                -           0.0000          -
1169.72/1173.17	c      1173            684         681         1                -           0.0000          -
1175.79/1179.27	c      1179            686         683         1                -           0.0000          -
1190.15/1193.60	c      1194            690         685         1                -           0.0000          -
1200.82/1204.35	c      1204            693         688         1                -           0.0000          -
1207.30/1210.88	c      1211            697         692         1                -           0.0000          -
1216.49/1220.06	c      1220            706         701         1                -           0.0000          -
1223.26/1226.80	c      1227            709         704         1                -           0.0000          -
1228.95/1232.59	c      1233            718         713         1                -           0.0000          -
1237.93/1241.52	c      1242            732         727         1                -           0.0000          -
1246.90/1250.59	c      1251            735         730         1                -           0.0000          -
1252.29/1255.99	c      1256            744         739         1                -           0.0000          -
1258.48/1262.17	c      1262            749         744         1                -           0.0000          -
1277.82/1281.57	c      1282            758         753         1                -           0.0000          -
1283.32/1287.09	c      1287            765         760         1                -           0.0000          -
1288.41/1292.13	c      1292            766         761         1                -           0.0000          -
1293.68/1297.49	c      1297            776         771         1                -           0.0000          -
1300.17/1304.01	c      1304            778         773         1                -           0.0000          -
1305.36/1309.13	c      1309            782         777         1                -           0.0000          -
1310.44/1314.21	c      1314            789         784         1                -           0.0000          -
1316.03/1319.82	c      1320            796         791         1                -           0.0000          -
1331.31/1335.15	c      1335            799         794         1                -           0.0000          -
1336.58/1340.43	c      1340            802         797         1                -           0.0000          -
1346.35/1350.22	c      1350            809         804         1                -           0.0000          -
1353.44/1357.39	c      1357            817         812         1                -           0.0000          -
1360.02/1363.93	c      1364            823         818         1                -           0.0000          -
1365.90/1369.87	c      1370            826         821         1                -           0.0000          -
1379.47/1383.47	c      1383            832         827         1                -           0.0000          -
1390.54/1394.50	c      1394            838         833         1                -           0.0000          -
1402.31/1406.32	c      1406            842         837         1                -           0.0000          -
1409.19/1413.24	c      1413            845         840         1                -           0.0000          -
1414.78/1418.80	c      1419            852         847         1                -           0.0000          -
1427.55/1431.66	c      1432            858         853         1                -           0.0000          -
1433.24/1437.30	c      1437            862         857         1                -           0.0000          -
1441.51/1445.60	c      1446            872         867         1                -           0.0000          -
1448.68/1452.87	c      1453            882         877         1                -           0.0000          -
1457.97/1462.17	c      1462            885         880         1                -           0.0000          -
1463.34/1467.50	c      1468            888         883         1                -           0.0000          -
1468.42/1472.65	c      1473            892         887         1                -           0.0000          -
1474.40/1478.60	c      1479            898         893         1                -           0.0000          -
1479.79/1484.08	c      1484            906         901         1                -           0.0000          -
1488.07/1492.32	c      1492            916         911         1                -           0.0000          -
1494.05/1498.31	c      1498            923         918         1                -           0.0000          -
1499.44/1503.79	c      1504            925         920         1                -           0.0000          -
1506.62/1510.90	c      1511            930         925         1                -           0.0000          -
1511.71/1516.06	c      1516            940         935         1                -           0.0000          -
1522.97/1527.35	c      1527            942         937         1                -           0.0000          -
1528.46/1532.84	c      1533            954         949         1                -           0.0000          -
1539.24/1543.63	c      1544            958         953         1                -           0.0000          -
1545.12/1549.50	c      1550            972         967         1                -           0.0000          -
1553.90/1558.30	c      1558            978         973         1                -           0.0000          -
1565.47/1569.90	c      1570            992         987         1                -           0.0000          -
1574.84/1579.32	c      1579           1005        1000         1                -           0.0000          -
1581.72/1586.27	c      1586           1008        1003         1                -           0.0000          -
1586.91/1591.44	c      1591           1019        1014         1                -           0.0000          -
1591.99/1596.54	c      1597           1025        1020         1                -           0.0000          -
1612.14/1616.71	c      1617           1030        1025         1                -           0.0000          -
1625.22/1629.88	c      1630           1033        1028         1                -           0.0000          -
1630.90/1635.56	c      1636           1040        1035         1                -           0.0000          -
1640.88/1645.59	c      1646           1048        1043         1                -           0.0000          -
1747.41/1752.35	c      1752           1051           1         1                -           0.0000          -
1782.42/1787.41	c      1787           1056           6         1                -           0.0000          -
1811.25/1816.38	c      1816           1061          11         1                -           0.0000          -
1816.44/1821.59	c      1822           1064          14         1                -           0.0000          -
1821.93/1827.07	c      1827           1075          25         1                -           0.0000          -
1829.40/1834.53	c      1835           1077          27         1                -           0.0000          -
1838.69/1843.81	c      1844           1090          40         1                -           0.0000          -
1849.87/1855.07	c      1855           1092          42         1                -           0.0000          -
1879.49/1884.78	c      1885           1097          47         1                -           0.0000          -
1892.56/1897.80	c      1898           1101          51         1                -           0.0000          -
1897.54/1902.89	c      1903           1107          57         1                -           0.0000          -
1903.02/1908.34	c      1908           1110          60         1                -           0.0000          -
2355.17/2361.89	c      2362           1113          63         1                -           0.0000          -
2363.64/2370.31	c      2370           1116          66         1                -           0.0000          -
2370.62/2377.34	c      2377           1118          68         1                -           0.0000          -
2379.89/2386.63	c      2387           1125          75         1                -           0.0000          -
2385.67/2392.45	c      2392           1127          77         1                -           0.0000          -
2392.05/2398.89	c      2399           1135          85         1                -           0.0000          -
2400.24/2407.09	c      2407           1143          93         1                -           0.0000          -
2417.19/2424.04	c      2424           1151         101         1                -           0.0000          -
2424.65/2431.51	c      2432           1155         105         1                -           0.0000          -
2430.14/2437.05	c      2437           1166         116         1                -           0.0000          -
2448.27/2455.28	c      2455           1171         121         1                -           0.0000          -
2460.73/2467.72	c      2468           1177         127         1                -           0.0000          -
2474.88/2481.92	c      2482           1185         135         1                -           0.0000          -
2482.76/2489.84	c      2490           1189         139         1                -           0.0000          -
2491.33/2498.42	c      2498           1196         146         1                -           0.0000          -
2505.48/2512.69	c      2513           1201         151         1                -           0.0000          -
2512.07/2519.29	c      2519           1203         153         1                -           0.0000          -
2518.45/2525.65	c      2526           1219         169         1                -           0.0000          -
2526.32/2533.52	c      2534           1221         171         1                -           0.0000          -
2534.81/2542.04	c      2542           1225         175         1                -           0.0000          -
2542.57/2549.86	c      2550           1241         191         1                -           0.0000          -
2551.24/2558.51	c      2559           1251         201         1                -           0.0000          -
2556.62/2563.90	c      2564           1261         211         1                -           0.0000          -
2565.59/2573.01	c      2573           1272         222         1                -           0.0000          -
2573.46/2580.82	c      2581           1275         225         1                -           0.0000          -
2585.03/2592.46	c      2592           1279         229         1                -           0.0000          -
2596.80/2604.22	c      2604           1281         231         1                -           0.0000          -
2605.98/2613.40	c      2613           1287         237         1                -           0.0000          -
2612.86/2620.34	c      2620           1289         239         1                -           0.0000          -
2626.54/2634.03	c      2634           1295         245         1                -           0.0000          -
2634.90/2642.45	c      2642           1297         247         1                -           0.0000          -
2646.58/2654.14	c      2654           1301         251         1                -           0.0000          -
2656.04/2663.64	c      2664           1303         253         1                -           0.0000          -
2664.91/2672.59	c      2673           1305         255         1                -           0.0000          -
2670.41/2678.03	c      2678           1308         258         1                -           0.0000          -
2678.27/2685.95	c      2686           1309         259         1                -           0.0000          -
2683.75/2691.46	c      2691           1313         263         1                -           0.0000          -
2689.34/2697.05	c      2697           1316         266         1                -           0.0000          -
2699.80/2707.50	c      2708           1317         267         1                -           0.0000          -
2705.68/2713.43	c      2713           1324         274         1                -           0.0000          -
2712.37/2720.17	c      2720           1331         281         1                -           0.0000          -
2717.54/2725.35	c      2725           1335         285         1                -           0.0000          -
2733.68/2741.57	c      2742           1341         291         1                -           0.0000          -
2739.66/2747.56	c      2748           1348         298         1                -           0.0000          -
2752.14/2760.11	c      2760           1349         299         1                -           0.0000          -
2757.52/2765.46	c      2765           1354         304         1                -           0.0000          -
2768.68/2776.66	c      2777           1363         313         1                -           0.0000          -
2775.85/2783.81	c      2784           1377         327         1                -           0.0000          -
2781.24/2789.24	c      2789           1379         329         1                -           0.0000          -
2786.52/2794.54	c      2795           1390         340         1                -           0.0000          -
2799.17/2807.20	c      2807           1395         345         1                -           0.0000          -
2805.55/2813.66	c      2814           1402         352         1                -           0.0000          -
2815.93/2824.08	c      2824           1408         358         1                -           0.0000          -
2822.59/2830.79	c      2831           1415         365         1                -           0.0000          -
2832.98/2841.16	c      2841           1426         376         1                -           0.0000          -
2842.84/2851.07	c      2851           1431         381         1                -           0.0000          -
2848.51/2856.78	c      2857           1436         386         1                -           0.0000          -
2863.88/2872.13	c      2872           1441         391         1                -           0.0000          -
2869.14/2877.49	c      2877           1450         400         1                -           0.0000          -
2875.52/2883.83	c      2884           1458         408         1                -           0.0000          -
2881.30/2889.61	c      2890           1461         411         1                -           0.0000          -
2891.47/2899.89	c      2900           1465         415         1                -           0.0000          -
2898.25/2906.60	c      2907           1467         417         1                -           0.0000          -
2905.33/2913.71	c      2914           1476         426         1                -           0.0000          -
2910.31/2918.78	c      2919           1485         435         1                -           0.0000          -
2924.68/2933.16	c      2933           1491         441         1                -           0.0000          -
2937.22/2945.78	c      2946           1496         446         1                -           0.0000          -
2942.80/2951.37	c      2951           1504         454         1                -           0.0000          -
2951.27/2959.82	c      2960           1509         459         1                -           0.0000          -
2957.65/2966.29	c      2966           1518         468         1                -           0.0000          -
2968.71/2977.39	c      2977           1526         476         1                -           0.0000          -
2982.18/2990.86	c      2991           1531         481         1                -           0.0000          -
2993.04/3001.76	c      3002           1533         483         1                -           0.0000          -
2999.34/3008.04	c      3008           1540         490         1                -           0.0000          -
3009.79/3018.56	c      3019           1544         494         1                -           0.0000          -
3014.97/3023.76	c      3024           1552         502         1                -           0.0000          -
3020.85/3029.69	c      3030           1561         511         1                -           0.0000          -
3029.42/3038.26	c      3038           1568         518         1                -           0.0000          -
3035.90/3044.73	c      3045           1571         521         1                -           0.0000          -
3043.29/3052.19	c      3052           1573         523         1                -           0.0000          -
3048.76/3057.61	c      3058           1580         530         1                -           0.0000          -
3058.03/3066.99	c      3067           1591         541         1                -           0.0000          -
3063.71/3072.64	c      3073           1595         545         1                -           0.0000          -
3068.70/3077.68	c      3078           1599         549         1                -           0.0000          -
3075.98/3084.91	c      3085           1603         553         1                -           0.0000          -
3082.55/3091.57	c      3092           1611         561         1                -           0.0000          -
3091.73/3100.71	c      3101           1618         568         1                -           0.0000          -
3097.31/3106.32	c      3106           1621         571         1                -           0.0000          -
3103.68/3112.78	c      3113           1633         581         1                -           0.0000          -
3121.33/3130.43	c      3130           1647         595         1                -           0.0000          -
3132.20/3141.37	c      3141           1651         599         1                -           0.0000          -
3139.47/3148.67	c      3149           1655         603         1                -           0.0000          -
3146.05/3155.22	c      3155           1664         612         1                -           0.0000          -
3151.94/3161.11	c      3161           1671         619         1                -           0.0000          -
3167.79/3177.06	c      3177           1678         626         1                -           0.0000          -
3173.95/3183.27	c      3183           1685         633         1                -           0.0000          -
3181.54/3190.87	c      3191           1691         639         1                -           0.0000          -
3202.17/3211.50	c      3212           1693         641         1                -           0.0000          -
3207.35/3216.73	c      3217           1701         649         1                -           0.0000          -
3213.53/3222.92	c      3223           1718         666         1                -           0.0000          -
3224.00/3233.45	c      3233           1723         671         1                -           0.0000          -
3229.18/3238.64	c      3239           1729         677         1                -           0.0000          -
3236.76/3246.23	c      3246           1731         679         1                -           0.0000          -
3245.83/3255.35	c      3255           1733         681         1                -           0.0000          -
3252.41/3261.96	c      3262           1740         688         1                -           0.0000          -
3257.51/3267.05	c      3267           1746         694         1                -           0.0000          -
3262.88/3272.41	c      3272           1755         703         1                -           0.0000          -
3279.03/3288.60	c      3289           1761         709         1                -           0.0000          -
3284.31/3293.96	c      3294           1769         717         1                -           0.0000          -
3291.18/3300.89	c      3301           1772         720         1                -           0.0000          -
3303.74/3313.41	c      3313           1781         729         1                -           0.0000          -
3310.52/3320.27	c      3320           1790         738         1                -           0.0000          -
3323.29/3333.02	c      3333           1799         747         1                -           0.0000          -
3331.05/3340.81	c      3341           1802         750         1                -           0.0000          -
3336.73/3346.58	c      3347           1805         753         1                -           0.0000          -
3344.61/3354.41	c      3354           1808         756         1                -           0.0000          -
3360.06/3369.98	c      3370           1823         764         1                -           0.0000          -
3366.44/3376.33	c      3376           1826         767         1                -           0.0000          -
3371.82/3381.70	c      3382           1829         770         1                -           0.0000          -
3383.39/3393.33	c      3393           1832         773         1                -           0.0000          -
3392.46/3402.49	c      3402           1835         776         1                -           0.0000          -
3399.53/3409.57	c      3410           1837         778         1                -           0.0000          -
3406.71/3416.70	c      3417           1843         784         1                -           0.0000          -
3425.65/3435.77	c      3436           1847         788         1                -           0.0000          -
3434.82/3444.96	c      3445           1851         792         1                -           0.0000          -
3445.69/3455.88	c      3456           1854         795         1                -           0.0000          -
3454.16/3464.35	c      3464           1857         798         1                -           0.0000          -
3471.01/3481.26	c      3481           1861         802         1                -           0.0000          -
3481.79/3492.08	c      3492           1864         805         1                -           0.0000          -
3493.54/3503.82	c      3504           1867         808         1                -           0.0000          -
3499.32/3509.63	c      3510           1871         812         1                -           0.0000          -
3510.39/3520.72	c      3521           1874         815         1                -           0.0000          -
3515.47/3525.84	c      3526           1882         823         1                -           0.0000          -
3522.25/3532.60	c      3533           1884         825         1                -           0.0000          -
3527.43/3537.89	c      3538           1889         830         1                -           0.0000          -
3539.79/3550.25	c      3550           1897         838         1                -           0.0000          -
3556.44/3566.99	c      3567           1905         842         1                -           0.0000          -
3562.01/3572.54	c      3573           1913         850         1                -           0.0000          -
3567.39/3577.96	c      3578           1919         856         1                -           0.0000          -
3575.18/3585.74	c      3586           1921         858         1                -           0.0000          -
3580.86/3591.43	c      3591           1929         866         1                -           0.0000          -
3591.82/3602.41	c      3602           1929         866         0                -           0.0000          -
3592.12/3602.77	c SCIP Status        : c solving was interrupted [hard time limit reached]
3592.12/3602.77	c Total Time         : 3602.7800
3592.12/3602.77	c   solving          : 3602.7800
3592.12/3602.77	c   presolving       : 10.1720 (included in solving)
3592.12/3602.77	c B&B Tree           :
3592.12/3602.77	c   nodes (total)    : 1
3592.12/3602.77	c Solution           :
3592.12/3602.77	c   Solutions found  : 0
3592.12/3602.77	c   Primal Bound     :          -
3592.12/3602.77	c   Dual Bound       : +0.00000000000000e+00
3592.12/3602.77	c Gap                :          -
3592.52/3603.17	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61930 MiB free)
  memory of node 1: 64473 MiB (57353 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100093 s]*
/proc/loadavg: 4.19 4.15 4.10 5/252 29795
/proc/meminfo: memFree=122131528/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=37252 memory=25848 CPUtime=0.1 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 4321 0 0 0 9 1 0 0 20 0 1 0 4590729 38146048 6462 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 9313 6462 2347 3035 0 5709 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37252 KiB
Current children cumulated memory: 25848 KiB

[startup+0.212969 s]*
/proc/loadavg: 4.19 4.15 4.10 6/252 29795
/proc/meminfo: memFree=122117248/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=50924 memory=39228 CPUtime=0.22 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 7667 0 0 0 20 2 0 0 20 0 1 0 4590729 52146176 9807 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 12731 9807 2347 3035 0 9127 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50924 KiB
Current children cumulated memory: 39228 KiB

[startup+0.312141 s]*
/proc/loadavg: 4.19 4.15 4.10 5/252 29795
/proc/meminfo: memFree=122104236/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=65188 memory=52912 CPUtime=0.32 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 11107 0 0 0 29 3 0 0 20 0 1 0 4590729 66752512 13228 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 16297 13228 2347 3035 0 12693 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 52912 KiB

[startup+0.700301 s]
/proc/loadavg: 4.19 4.15 4.10 5/252 29797
/proc/meminfo: memFree=122070760/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=134212 memory=123672 CPUtime=0.69 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 29317 0 0 0 62 7 0 0 20 0 1 0 4590729 137433088 30918 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 33553 30918 2539 3035 0 29949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134212 KiB
Current children cumulated memory: 123672 KiB

[startup+1.50032 s]
/proc/loadavg: 4.19 4.15 4.10 5/252 29797
/proc/meminfo: memFree=121884540/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=390664 memory=371768 CPUtime=1.49 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 75430 0 0 0 133 16 0 0 20 0 1 0 4590729 400039936 92942 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 97666 92942 2662 3035 0 94062 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 390664 KiB
Current children cumulated memory: 371768 KiB

[startup+3.11365 s]
/proc/loadavg: 4.17 4.15 4.10 5/252 29797
/proc/meminfo: memFree=121748792/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=415736 memory=397236 CPUtime=3.09 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 103888 0 0 0 287 22 0 0 20 0 1 0 4590729 425713664 99309 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 103934 99309 2758 3035 0 100330 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 415736 KiB
Current children cumulated memory: 397236 KiB

[startup+6.30031 s]
/proc/loadavg: 4.17 4.15 4.10 5/252 29797
/proc/meminfo: memFree=121737384/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=415736 memory=397704 CPUtime=6.27 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 104027 0 0 0 605 22 0 0 20 0 1 0 4590729 425713664 99426 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 103934 99426 2758 3035 0 100330 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 415736 KiB
Current children cumulated memory: 397704 KiB

[startup+12.7008 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 29800
/proc/meminfo: memFree=121353588/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1028096 memory=888176 CPUtime=12.64 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 207108 0 0 0 1216 48 0 0 20 0 3 0 4590729 1052770304 222044 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 257024 222044 2790 3035 0 245605 0
[pid=29794/tid=29799] ppid=29791 vsize=1028096 memory=706052 CPUtime=1.23 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 66288 0 0 0 107 16 0 0 20 0 3 0 4591845 1052770304 222044 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1028096 memory=12700 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4591918 1052770304 222044 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1028096 KiB
Current children cumulated memory: 888176 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.09 5/254 29802
/proc/meminfo: memFree=120671288/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1550192 memory=1401852 CPUtime=25.39 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 324080 0 0 0 2470 69 0 0 20 0 3 0 4590729 1587396608 350463 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 387548 350463 2950 3035 0 381285 0
[pid=29794/tid=29799] ppid=29791 vsize=1550192 memory=1401852 CPUtime=13.99 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 183251 0 0 0 1362 37 0 0 20 0 3 0 4591845 1587396608 350463 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1550192 memory=97 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4591918 1587396608 350463 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1550192 KiB
Current children cumulated memory: 1401852 KiB

[startup+51.1129 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 29864
/proc/meminfo: memFree=120575236/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1632100 memory=1434544 CPUtime=50.94 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 413666 0 0 0 5020 74 0 0 20 0 3 0 4590729 1671270400 358636 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 408025 358636 2950 3035 0 397936 0
[pid=29794/tid=29799] ppid=29791 vsize=1632100 memory=12700 CPUtime=39.54 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 272825 0 0 0 3912 42 0 0 20 0 3 0 4591845 1671270400 358636 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1632100 memory=1431804 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4591918 1671270400 358636 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1632100 KiB
Current children cumulated memory: 1434544 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/252 29872
/proc/meminfo: memFree=120447108/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1697636 memory=1442056 CPUtime=102 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 465485 0 0 0 10121 79 0 0 20 0 3 0 4590729 1738379264 360514 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 424409 360514 2950 3035 0 403256 0
[pid=29794/tid=29799] ppid=29791 vsize=1697636 memory=1442056 CPUtime=90.6 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 324629 0 0 0 9013 47 0 0 20 0 3 0 4591845 1738379264 360514 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1697636 memory=-5155634574342188165 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4591918 1738379264 360514 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1697636 KiB
Current children cumulated memory: 1442056 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/252 29883
/proc/meminfo: memFree=120413944/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1697636 memory=1457432 CPUtime=161.85 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 527460 0 0 0 16101 84 0 0 20 0 3 0 4590729 1738379264 364358 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 424409 364358 2950 3035 0 415216 0
[pid=29794/tid=29799] ppid=29791 vsize=1697636 memory=1457280 CPUtime=150.43 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 386596 0 0 0 14992 51 0 0 20 0 3 0 4591845 1738379264 364358 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1697636 memory=12736 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4591918 1738379264 364358 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1697636 KiB
Current children cumulated memory: 1457432 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/250 29893
/proc/meminfo: memFree=120357660/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=1763172 memory=1468624 CPUtime=221.69 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 598110 0 0 0 22080 89 0 0 20 0 3 0 4590729 1805488128 367156 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 440793 367156 2950 3035 0 429630 0
[pid=29794/tid=29799] ppid=29791 vsize=1763172 memory=1461564 CPUtime=210.29 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 457239 0 0 0 20972 57 0 0 20 0 3 0 4591845 1805488128 367156 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=1763172 memory=11424 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4591918 1805488128 367156 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1763172 KiB
Current children cumulated memory: 1468624 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/250 29906
/proc/meminfo: memFree=120088440/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=2028100 memory=1687284 CPUtime=281.53 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 708120 0 0 0 28054 99 0 0 20 0 3 0 4590729 2076774400 421821 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 507025 421821 2966 3035 0 495478 0
[pid=29794/tid=29799] ppid=29791 vsize=2028100 memory=1687284 CPUtime=270.12 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 567203 0 0 0 26946 66 0 0 20 0 3 0 4591845 2076774400 421821 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=2028100 memory=1687284 CPUtime=0 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4591918 2076774400 421821 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2028100 KiB

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

Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 3571396 KiB
Current children cumulated memory: 2177420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.14 4.13 5/251 31496
/proc/meminfo: memFree=115721476/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3571396 memory=2177420 CPUtime=3392.36 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1923983 0 0 0 339035 201 0 0 20 0 3 0 4590729 3657109504 544355 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 892849 544355 3030 3035 0 862877 0
[pid=29794/tid=29799] ppid=29791 vsize=3571396 memory=12700 CPUtime=3380.82 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1781518 0 0 0 337921 161 0 0 20 0 3 0 4591845 3657109504 544355 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3571396 memory=11424 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 295 0 0 0 1 4 0 0 20 0 3 0 4591918 3657109504 544355 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 3571396 KiB
Current children cumulated memory: 2177420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/251 31507
/proc/meminfo: memFree=115703040/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179472 CPUtime=3452.17 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1936852 0 0 0 345015 202 0 0 20 0 3 0 4590729 3724218368 544868 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544868 3030 3035 0 867007 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=12700 CPUtime=3440.63 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1794348 0 0 0 343901 162 0 0 20 0 3 0 4591845 3724218368 544868 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=11424 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 301 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544868 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/253 31687
/proc/meminfo: memFree=115682524/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179476 CPUtime=3511.98 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1947741 0 0 0 350995 203 0 0 20 0 3 0 4590729 3724218368 544869 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544869 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=2179472 CPUtime=3500.45 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1805224 0 0 0 349882 163 0 0 20 0 3 0 4591845 3724218368 544869 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=11424 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 303 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544869 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661248/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3571.79 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1958671 0 0 0 356974 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3560.24 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1816117 0 0 0 355860 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=2179528 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 306 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

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

# cumulated CPU time of all completed processes:  user=3590.5 s, system=2.11743 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.13 5/253 31697
/proc/meminfo: memFree=115661176/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3573.5 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1958671 0 0 0 357145 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=-7017571960470201210 CPUtime=3561.95 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1816117 0 0 0 356031 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=4715433308606590621 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 306 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.13 4.13 5/253 31795
/proc/meminfo: memFree=116665372/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3586.24 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1960460 0 0 0 358419 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=1944 CPUtime=3574.69 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1817904 0 0 0 357305 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=7361169016703301938 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 307 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

[startup+3600 s]*
/proc/loadavg: 4.11 4.13 4.12 5/253 31795
/proc/meminfo: memFree=116644348/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3589.44 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1960461 0 0 0 358739 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=-5155630180591168389 CPUtime=3577.89 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1817905 0 0 0 357625 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=30348 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 307 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3589.44 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

[startup+3601.6 s]
/proc/loadavg: 4.11 4.13 4.12 5/253 31796
/proc/meminfo: memFree=116643768/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3591.02 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1960463 0 0 0 358897 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3579.47 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1817905 0 0 0 357783 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=11424 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 309 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3591.02 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

[startup+3602.4 s]
/proc/loadavg: 4.11 4.13 4.12 5/253 31796
/proc/meminfo: memFree=116643096/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3591.82 cores=5,7
/proc/29794/stat : 29794 (fscip) S 29791 29794 27283 0 -1 1077936128 1960463 0 0 0 358977 205 0 0 20 0 3 0 4590729 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 909233 544882 3030 3035 0 871072 0
[pid=29794/tid=29799] ppid=29791 vsize=3636932 memory=2179528 CPUtime=3580.27 cores=5,7
/proc/29794/task/29799/stat : 29799 (fscip) R 29791 29794 27283 0 -1 4194368 1817905 0 0 0 357863 164 0 0 20 0 3 0 4591845 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
[pid=29794/tid=29800] ppid=29791 vsize=3636932 memory=12700 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 309 0 0 0 1 4 0 0 20 0 3 0 4591918 3724218368 544882 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3591.82 s
Current children cumulated vsize: 3636932 KiB
Current children cumulated memory: 2179528 KiB

[startup+3602.8 s]
/proc/loadavg: 4.11 4.13 4.12 5/253 31796
/proc/meminfo: memFree=116643096/131655788 swapFree=131071472/131071996
[pid=29794] ppid=29791 vsize=2011136 memory=1771484 CPUtime=3592.22 cores=5,7
/proc/29794/stat : 29794 (fscip) R 29791 29794 27283 0 -1 4194304 1966965 0 0 0 359016 206 0 0 20 0 2 0 4590729 2059403264 442871 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
/proc/29794/statm: 502784 442871 3030 3035 0 491291 0
[pid=29794/tid=29800] ppid=29791 vsize=2011136 memory=2244 CPUtime=0.05 cores=5,7
/proc/29794/task/29800/stat : 29800 (fscip) S 29791 29794 27283 0 -1 1077936192 309 0 0 0 1 4 0 0 20 0 2 0 4591918 2059403264 442871 134679101440 4194304 16623229 140724848769376 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 49233920 140724848772118 140724848772234 140724848772234 140724848779248 0
Current children cumulated CPU time: 3592.22 s
Current children cumulated vsize: 2011136 KiB
Current children cumulated memory: 1771484 KiB

[startup+3603.2 s]*
/proc/loadavg: 4.10 4.13 4.12 5/252 31796
/proc/meminfo: memFree=118814460/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3603.21
CPU time (s): 3592.62
CPU user time (s): 3590.5
CPU system time (s): 2.11743
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 3636932
Max. memory (cumulated for all children) (KiB): 2179528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.5
system time used= 2.11743
maximum resident set size= 2179528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1975684
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= 5376
involuntary context switches= 1465


# summary of solver processes directly reported to runsolver:
#   pid: 29794
#   total CPU time (s): 3592.62
#   total CPU user time (s): 3590.5
#   total CPU system time (s): 2.11743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0011 second user time and 36.5864 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-31 01:30:06
IDJOB=4464462
IDBENCH=155560
IDSOLVER=3092
FILE ID=nodeC012/4464462-1722382206
RUNJOBID= nodeC012-1722378594-27296
SLURM_JOB_ID= 8249842
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-55.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464462-1722382206/watcher-4464462-1722382206 -o /tmp/evaluation-result-4464462-1722382206/solver-4464462-1722382206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27296 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464462-1722382206.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= aafbab4e203601a49fdc88cf5a6cbbb7
RANDOM SEED=292526229

nodeC012.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		: 3667.313
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.70
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.148
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.277
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.70
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.252
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		: 3667.257
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.70
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		: 1326.520
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.256
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.70
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.209
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:        122147172 kB
MemAvailable:   129681672 kB
Buffers:           91220 kB
Cached:          8245232 kB
SwapCached:           48 kB
Active:           248544 kB
Inactive:        8759436 kB
Active(anon):       1432 kB
Inactive(anon):   691340 kB
Active(file):     247112 kB
Inactive(file):  8068096 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            121200 kB
Writeback:             0 kB
AnonPages:        670860 kB
Mapped:           123436 kB
Shmem:             21248 kB
KReclaimable:     118984 kB
Slab:             201780 kB
SReclaimable:     118984 kB
SUnreclaim:        82796 kB
KernelStack:        4064 kB
PageTables:        10548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     890864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC012 at 2024-07-31 02:30:10