Trace number 4434799

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-02UNSAT 1545.16 1549.52

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark1518.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.15	c Default LC presolving (default).
0.10/0.15	c ** Before presolving: virtualMemUsedAtLc = 63033344, getVmSize() = 63033344, SCIPgetMemUsed() = 33201612, SCIPgetMemTotal() = 40493732, SCIPgetMemExternEstim() = 17791503
0.10/0.15	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
5.47/5.52	c ** Estimated virtualMemUsedAtSolver = 128738372, getVmSize() = 203968512, SCIPgetMemUsed() = 132210976, SCIPgetMemTotal() = 175316056, SCIPgetMemExternEstim() = 17791503
5.47/5.52	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
5.47/5.52	c Original Problem   :
5.47/5.52	c   Problem name     : instance-4434799-1721115604
5.47/5.52	c   Variables        : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
5.47/5.52	c   Constraints      : 9089
5.47/5.52	c   Objective sense  : minimize
5.47/5.52	c Presolved Problem  :
5.47/5.52	c   Variables        : 7285 (7285 binary, 0 integer, 0 implicit integer, 0 continuous)
5.47/5.52	c   Constraints      : 1248
5.47/5.52	c Constraints        : Number
5.47/5.52	c   knapsack         : 576 
5.47/5.52	c   setppc           : 97 
5.47/5.52	c   orbitope         : 575 
5.47/5.52	c ** Instance transfer method used: 0
5.47/5.54	c ** ParaScipInstance copy increased the number of variables. **
5.47/5.58	c LC is working with racing ramp-up and with rebuilding tree after racing.
5.47/5.58	c                                Nodes    Active                                            
5.47/5.58	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
14.34/14.42	c        14              2           1         1                -           9.0000          -
19.33/19.50	c        20             26          25         1                -           9.0000          -
24.41/24.51	c        25             46          45         1                -           9.0000          -
29.60/29.78	c        30             84          83         1                -           9.0000          -
35.47/35.65	c        36            112         109         1                -           9.0000          -
41.06/41.23	c        41            140         135         1                -           9.0000          -
47.05/47.22	c        47            182         177         1                -           9.0000          -
52.32/52.59	c        53            299         280         1                -           9.0000          -
57.71/57.99	c        58            405         378         1                -           9.0000          -
63.49/63.78	c        64            538         497         1                -           9.0000          -
69.27/69.50	c        70            615         562         1                -           9.0000          -
74.95/75.26	c        75            700         637         1                -           9.0000          -
80.44/80.73	c        81            818         746         1                -           9.0000          -
86.03/86.36	c        86            876         784         1                -           9.0000          -
91.52/91.82	c        92            979         871         1                -           9.0000          -
97.30/97.65	c        98           1079         956         1                -           9.0000          -
102.38/102.76	c       103           1148           0         1                -           9.0000          -
111.86/112.21	c       112           1149           1         1                -           9.0000          -
117.35/117.76	c       118           1175          27         1                -           9.0000          -
122.43/122.87	c       123           1222          46         1                -           9.0000          -
128.31/128.79	c       129           1246          49         1                -           9.0000          -
134.49/134.98	c       135           1300          59         1                -           9.0000          -
140.18/140.67	c       141           1343          67         1                -           9.0000          -
145.86/146.30	c       146           1395          75         1                -           9.0000          -
151.15/151.69	c       152           1472          85         1                -           9.0000          -
156.83/157.32	c       157           1547          90         1                -           9.0000          -
162.12/162.61	c       163           1614         101         1                -           9.0000          -
167.51/168.04	c       168           1669         103         1                -           9.0000          -
173.09/173.69	c       174           1704          95         1                -           9.0000          -
178.37/178.94	c       179           1748          86         1                -           9.0000          -
184.56/185.17	c       185           1783          85         1                -           9.0000          -
190.45/191.06	c       191           1838          81         1                -           9.0000          -
195.71/196.34	c       196           1910          95         1                -           9.0000          -
201.70/202.32	c       202           1968         101         1                -           9.0000          -
207.39/208.09	c       208           2014         118         1                -           9.0000          -
212.85/213.59	c       214           2045         130         1                -           9.0000          -
218.34/219.07	c       219           2113         135         1                -           9.0000          -
224.32/225.05	c       225           2143         130         1                -           9.0000          -
230.09/230.87	c       231           2184         135         1                -           9.0000          -
235.78/236.57	c       237           2219         144         1                -           9.0000          -
241.16/241.98	c       242           2282         151         1                -           9.0000          -
246.64/247.45	c       247           2327         155         1                -           9.0000          -
252.02/252.89	c       253           2387         150         1                -           9.0000          -
257.69/258.52	c       259           2436         154         1                -           9.0000          -
262.88/263.73	c       264           2465         152         1                -           9.0000          -
268.46/269.33	c       269           2510         155         1                -           9.0000          -
273.85/274.73	c       275           2569         155         1                -           9.0000          -
279.43/280.34	c       280           2627         157         1                -           9.0000          -
285.11/286.02	c       286           2661         135         1                -           9.0000          -
290.68/291.63	c       292           2699         148         1                -           9.0000          -
295.97/296.95	c       297           2744         147         1                -           9.0000          -
301.45/302.41	c       302           2786         145         1                -           9.0000          -
307.23/308.29	c       308           2823         158         1                -           9.0000          -
313.02/314.02	c       314           2865         156         1                -           9.0000          -
318.29/319.33	c       319           2904         151         1                -           9.0000          -
324.47/325.59	c       326           2944         146         1                -           9.0000          -
330.35/331.41	c       331           3006         174         1                -           9.0000          -
335.33/336.47	c       336           3046         192         1                -           9.0000          -
340.93/342.06	c       342           3091         205         1                -           9.0000          -
346.59/347.76	c       348           3143         215         1                -           9.0000          -
352.27/353.42	c       353           3186         220         1                -           9.0000          -
357.55/358.80	c       359           3222         221         1                -           9.0000          -
363.44/364.60	c       365           3259         222         1                -           9.0000          -
369.41/370.64	c       371           3289         205         1                -           9.0000          -
374.91/376.13	c       376           3333         208         1                -           9.0000          -
380.68/381.95	c       382           3379         198         1                -           9.0000          -
386.07/387.36	c       387           3424         189         1                -           9.0000          -
391.76/393.09	c       393           3463         202         1                -           9.0000          -
396.94/398.21	c       398           3494         180         1                -           9.0000          -
402.83/404.12	c       404           3551         177         1                -           9.0000          -
408.10/409.42	c       409           3589         181         1                -           9.0000          -
413.30/414.63	c       415           3611         176         1                -           9.0000          -
418.98/420.34	c       420           3650         166         1                -           9.0000          -
425.86/427.20	c       427           3695         177         1                -           9.0000          -
431.65/433.10	c       433           3727         189         1                -           9.0000          -
436.82/438.25	c       438           3747         193         1                -           9.0000          -
442.63/444.06	c       444           3773         211         1                -           9.0000          -
448.50/450.01	c       450           3800         219         1                -           9.0000          -
454.38/455.82	c       456           3830         217         1                -           9.0000          -
459.86/461.33	c       461           3860         233         1                -           9.0000          -
465.56/467.08	c       467           3888         237         1                -           9.0000          -
470.94/472.41	c       472           3907         238         1                -           9.0000          -
476.52/478.06	c       478           3939         248         1                -           9.0000          -
483.20/484.76	c       485           3963         244         1                -           9.0000          -
488.89/490.40	c       490           4011         252         1                -           9.0000          -
495.47/497.05	c       497           4043         253         1                -           9.0000          -
501.25/502.83	c       503           4099         266         1                -           9.0000          -
507.14/508.79	c       509           4134         262         1                -           9.0000          -
513.12/514.71	c       515           4195         266         1                -           9.0000          -
518.90/520.58	c       521           4235         263         1                -           9.0000          -
524.50/526.14	c       526           4285         266         1                -           9.0000          -
531.07/532.74	c       533           4314         263         1                -           9.0000          -
536.16/537.87	c       538           4323         239         1                -           9.0000          -
541.45/543.17	c       543           4340         243         1                -           9.0000          -
547.23/548.98	c       549           4380         254         1                -           9.0000          -
553.02/554.79	c       555           4409         248         1                -           9.0000          -
558.90/560.68	c       561           4442         263         1                -           9.0000          -
564.48/566.28	c       566           4480         266         1                -           9.0000          -
570.38/572.13	c       572           4523         278         1                -           9.0000          -
576.55/578.39	c       578           4551         273         1                -           9.0000          -
581.94/583.70	c       584           4586         273         1                -           9.0000          -
587.33/589.14	c       589           4631         271         1                -           9.0000          -
592.50/594.32	c       594           4667         287         1                -           9.0000          -
598.10/599.94	c       600           4720         309         1                -           9.0000          -
604.98/606.84	c       607           4751         326         1                -           9.0000          -
610.86/612.74	c       613           4783         333         1                -           9.0000          -
616.55/618.49	c       618           4827         330         1                -           9.0000          -
622.14/624.04	c       624           4873         328         1                -           9.0000          -
627.72/629.67	c       630           4920         334         1                -           9.0000          -
633.00/634.98	c       635           4940         338         1                -           9.0000          -
638.10/640.01	c       640           4968         340         1                -           9.0000          -
643.67/645.65	c       646           4997         336         1                -           9.0000          -
650.25/652.29	c       652           5018         339         1                -           9.0000          -
655.74/657.77	c       658           5069         335         1                -           9.0000          -
661.32/663.33	c       663           5107         343         1                -           9.0000          -
666.91/668.95	c       669           5141         347         1                -           9.0000          -
672.79/674.83	c       675           5167         353         1                -           9.0000          -
678.88/680.98	c       681           5201         349         1                -           9.0000          -
684.08/686.12	c       686           5216         358         1                -           9.0000          -
689.15/691.23	c       691           5247         364         1                -           9.0000          -
694.23/696.38	c       696           5275         364         1                -           9.0000          -
700.22/702.34	c       702           5311         377         1                -           9.0000          -
705.70/707.87	c       708           5341         372         1                -           9.0000          -
711.30/713.47	c       713           5383         390         1                -           9.0000          -
716.89/719.11	c       719           5428         387         1                -           9.0000          -
722.46/724.68	c       725           5460         385         1                -           9.0000          -
727.75/729.92	c       730           5481         388         1                -           9.0000          -
733.84/736.07	c       736           5513         396         1                -           9.0000          -
739.11/741.37	c       741           5541         399         1                -           9.0000          -
744.49/746.73	c       747           5574         402         1                -           9.0000          -
750.08/752.35	c       752           5603         403         1                -           9.0000          -
755.46/757.76	c       758           5642         407         1                -           9.0000          -
760.95/763.25	c       763           5668         403         1                -           9.0000          -
766.43/768.71	c       769           5695         404         1                -           9.0000          -
771.52/773.84	c       774           5716         397         1                -           9.0000          -
777.21/779.54	c       780           5742         398         1                -           9.0000          -
782.59/784.91	c       785           5779         394         1                -           9.0000          -
788.28/790.60	c       791           5806         398         1                -           9.0000          -
793.56/795.92	c       796           5841         396         1                -           9.0000          -
799.44/801.85	c       802           5868         403         1                -           9.0000          -
805.63/808.06	c       808           5908         380         1                -           9.0000          -
811.50/813.94	c       814           5947         398         1                -           9.0000          -
817.19/819.66	c       820           5980         405         1                -           9.0000          -
822.77/825.27	c       825           6010         385         1                -           9.0000          -
828.45/830.93	c       831           6050         384         1                -           9.0000          -
833.94/836.44	c       836           6093         386         1                -           9.0000          -
839.02/841.50	c       842           6121         389         1                -           9.0000          -
845.10/847.67	c       848           6150         377         1                -           9.0000          -
850.20/852.71	c       853           6170         391         1                -           9.0000          -
855.60/858.11	c       858           6216         400         1                -           9.0000          -
861.26/863.89	c       864           6252         400         1                -           9.0000          -
866.84/869.43	c       869           6270         397         1                -           9.0000          -
872.82/875.48	c       875           6305         401         1                -           9.0000          -
878.71/881.38	c       881           6353         405         1                -           9.0000          -
884.59/887.21	c       887           6384         404         1                -           9.0000          -
891.78/894.40	c       894           6429         415         1                -           9.0000          -
897.86/900.50	c       901           6472         417         1                -           9.0000          -
903.46/906.12	c       906           6511         403         1                -           9.0000          -
908.93/911.63	c       912           6549         409         1                -           9.0000          -
914.33/917.05	c       917           6591         410         1                -           9.0000          -
920.00/922.77	c       923           6629         416         1                -           9.0000          -
925.88/928.69	c       929           6670         440         1                -           9.0000          -
931.97/934.72	c       935           6713         423         1                -           9.0000          -
937.36/940.19	c       940           6756         421         1                -           9.0000          -
943.14/945.94	c       946           6792         433         1                -           9.0000          -
950.11/952.91	c       953           6826         431         1                -           9.0000          -
955.60/958.45	c       958           6865         433         1                -           9.0000          -
961.29/964.16	c       964           6904         445         1                -           9.0000          -
967.28/970.15	c       970           6942         438         1                -           9.0000          -
973.05/975.95	c       976           6964         435         1                -           9.0000          -
979.04/981.96	c       982           6985         419         1                -           9.0000          -
984.52/987.44	c       987           7028         419         1                -           9.0000          -
989.71/992.66	c       993           7048         426         1                -           9.0000          -
995.49/998.41	c       998           7077         441         1                -           9.0000          -
1001.37/1004.31	c      1004           7116         450         1                -           9.0000          -
1007.26/1010.24	c      1010           7147         457         1                -           9.0000          -
1013.06/1016.09	c      1016           7180         462         1                -           9.0000          -
1018.54/1021.52	c      1022           7200         458         1                -           9.0000          -
1023.52/1026.58	c      1027           7226         459         1                -           9.0000          -
1029.12/1032.11	c      1032           7255         465         1                -           9.0000          -
1034.89/1037.94	c      1038           7282         472         1                -           9.0000          -
1040.68/1043.77	c      1044           7314         475         1                -           9.0000          -
1046.86/1050.01	c      1050           7338         476         1                -           9.0000          -
1051.95/1055.04	c      1055           7359         481         1                -           9.0000          -
1056.94/1060.09	c      1060           7381         482         1                -           9.0000          -
1062.61/1065.72	c      1066           7414         489         1                -           9.0000          -
1068.39/1071.57	c      1072           7450         480         1                -           9.0000          -
1074.18/1077.32	c      1077           7472         478         1                -           9.0000          -
1079.36/1082.51	c      1083           7490         480         1                -           9.0000          -
1085.55/1088.77	c      1089           7523         481         1                -           9.0000          -
1091.43/1094.62	c      1095           7556         477         1                -           9.0000          -
1097.12/1100.30	c      1100           7589         479         1                -           9.0000          -
1103.10/1106.32	c      1106           7619         481         1                -           9.0000          -
1108.80/1112.02	c      1112           7669         497         1                -           9.0000          -
1114.27/1117.58	c      1118           7716         496         1                -           9.0000          -
1120.06/1123.33	c      1123           7755         486         1                -           9.0000          -
1125.15/1128.44	c      1128           7772         440         1                -           9.0000          -
1130.24/1133.52	c      1134           7780         416         1                -           9.0000          -
1136.22/1139.56	c      1140           7794         367         1                -           9.0000          -
1141.72/1145.08	c      1145           7805         339         1                -           9.0000          -
1148.99/1152.33	c      1152           7814         284         1                -           9.0000          -
1154.37/1157.79	c      1158           7837         290         1                -           9.0000          -
1160.35/1163.72	c      1164           7874         291         1                -           9.0000          -
1166.04/1169.46	c      1169           7909         289         1                -           9.0000          -
1171.42/1174.86	c      1175           7954         297         1                -           9.0000          -
1177.31/1180.76	c      1181           7997         294         1                -           9.0000          -
1182.70/1186.14	c      1186           8056         317         1                -           9.0000          -
1188.47/1191.96	c      1192           8103         328         1                -           9.0000          -
1193.96/1197.41	c      1197           8143         322         1                -           9.0000          -
1199.44/1202.95	c      1203           8166         317         1                -           9.0000          -
1205.04/1208.58	c      1209           8201         328         1                -           9.0000          -
1210.82/1214.35	c      1214           8235         314         1                -           9.0000          -
1216.62/1220.17	c      1220           8253         316         1                -           9.0000          -
1222.60/1226.16	c      1226           8277         313         1                -           9.0000          -
1228.97/1232.53	c      1233           8302         289         1                -           9.0000          -
1234.25/1237.88	c      1238           8338         292         1                -           9.0000          -
1239.63/1243.26	c      1243           8382         301         1                -           9.0000          -
1245.61/1249.25	c      1249           8420         303         1                -           9.0000          -
1251.60/1255.24	c      1255           8452         293         1                -           9.0000          -
1256.99/1260.68	c      1261           8502         315         1                -           9.0000          -
1262.27/1265.94	c      1266           8551         316         1                -           9.0000          -
1268.56/1272.20	c      1272           8574         319         1                -           9.0000          -
1274.04/1277.76	c      1278           8614         325         1                -           9.0000          -
1279.44/1283.18	c      1283           8653         330         1                -           9.0000          -
1284.91/1288.66	c      1289           8700         329         1                -           9.0000          -
1290.90/1294.63	c      1295           8750         333         1                -           9.0000          -
1296.58/1300.32	c      1300           8807         335         1                -           9.0000          -
1302.07/1305.85	c      1306           8850         340         1                -           9.0000          -
1309.06/1312.80	c      1313           8889         335         1                -           9.0000          -
1314.44/1318.24	c      1318           8940         340         1                -           9.0000          -
1320.43/1324.27	c      1324           8986         338         1                -           9.0000          -
1325.61/1329.41	c      1329           8997         336         1                -           9.0000          -
1331.10/1334.98	c      1335           9031         336         1                -           9.0000          -
1337.19/1341.11	c      1341           9083         333         1                -           9.0000          -
1342.87/1346.79	c      1347           9116         334         1                -           9.0000          -
1348.45/1352.32	c      1352           9132         333         1                -           9.0000          -
1354.54/1358.46	c      1358           9145         333         1                -           9.0000          -
1360.42/1364.38	c      1364           9154         332         1                -           9.0000          -
1365.91/1369.89	c      1370           9175         337         1                -           9.0000          -
1371.69/1375.64	c      1376           9209         342         1                -           9.0000          -
1377.27/1381.27	c      1381           9253         357         1                -           9.0000          -
1383.46/1387.40	c      1387           9295         387         1                -           9.0000          -
1388.84/1392.83	c      1393           9346         377         1                -           9.0000          -
1394.34/1398.40	c      1398           9401         369         1                -           9.0000          -
1400.42/1404.47	c      1404           9426         342         1                -           9.0000          -
1405.80/1409.86	c      1410           9462         330         1                -           9.0000          -
1411.10/1415.12	c      1415           9488         335         1                -           9.0000          -
1416.99/1421.08	c      1421           9517         342         1                -           9.0000          -
1422.07/1426.13	c      1426           9550         356         1                -           9.0000          -
1427.55/1431.69	c      1432           9571         359         1                -           9.0000          -
1433.53/1437.64	c      1438           9593         357         1                -           9.0000          -
1439.51/1443.61	c      1444           9623         364         1                -           9.0000          -
1444.80/1448.91	c      1449           9646         367         1                -           9.0000          -
1450.00/1454.18	c      1454           9664         300         1                -           9.0000          -
1456.07/1460.22	c      1460           9672         283         1                -           9.0000          -
1461.87/1466.01	c      1466           9695         266         1                -           9.0000          -
1467.85/1472.02	c      1472           9717         264         1                -           9.0000          -
1473.83/1478.09	c      1478           9743         269         1                -           9.0000          -
1479.31/1483.50	c      1484           9763         272         1                -           9.0000          -
1485.09/1489.35	c      1489           9799         276         1                -           9.0000          -
1490.79/1495.04	c      1495           9824         280         1                -           9.0000          -
1495.87/1500.13	c      1500           9840         251         1                -           9.0000          -
1501.45/1505.79	c      1506           9844         221         1                -           9.0000          -
1507.03/1511.35	c      1511           9859         222         1                -           9.0000          -
1512.62/1516.95	c      1517           9890         235         1                -           9.0000          -
1518.40/1522.77	c      1523           9921         250         1                -           9.0000          -
1524.18/1528.57	c      1529           9952         262         1                -           9.0000          -
1529.68/1534.07	c      1534           9992         259         1                -           9.0000          -
1536.05/1540.40	c      1540          10029         223         1                -           9.0000          -
1541.53/1545.97	c      1546          10036         106         1                -           9.0000          -
1544.92/1549.38	c      1549          10039           0         0                -           9.0000          -
1545.02/1549.45	c      1549          10039           0         0                -           9.0000          -
1545.02/1549.45	c SCIP Status        : c problem is solved [infeasible]
1545.02/1549.45	c Total Time         : 1549.4600
1545.02/1549.45	c   solving          : 1549.4600
1545.02/1549.45	c   presolving       : 5.3694 (included in solving)
1545.02/1549.45	c B&B Tree           :
1545.02/1549.45	c   nodes (total)    : 10039
1545.02/1549.45	c Solution           :
1545.02/1549.45	c   Solutions found  : 0
1545.02/1549.45	c   Primal Bound     :          -
1545.02/1549.45	c   Dual Bound       :          -
1545.02/1549.45	c Gap                :          -
1545.13/1549.51	s UNSATISFIABLE

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: 64059 MiB (61965 MiB free)
  memory of node 1: 64510 MiB (54816 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434799-1721115604/watcher-4434799-1721115604 -o /tmp/evaluation-result-4434799-1721115604/solver-4434799-1721115604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832869 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434799-1721115604.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
Current StackSize limit: 8192 KiB

solver pid=833370, runsolver pid=833367

[startup+0.100882 s]*
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119557420/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=48680 memory=38736 CPUtime=0.1 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 7371 0 0 0 8 2 0 0 20 0 1 0 163717358 49848320 9684 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 12170 9684 2558 3032 0 8570 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48680 KiB
Current children cumulated memory: 38736 KiB

[startup+0.213176 s]*
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119530344/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=65452 memory=54288 CPUtime=0.21 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 11188 0 0 0 18 3 0 0 20 0 1 0 163717358 67022848 13572 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 16363 13572 2622 3032 0 12763 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65452 KiB
Current children cumulated memory: 54288 KiB

[startup+0.312951 s]*
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119515364/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=76392 memory=64724 CPUtime=0.31 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 15182 0 0 0 26 5 0 0 20 0 1 0 163717358 78225408 16181 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 19098 16181 2670 3032 0 15498 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76392 KiB
Current children cumulated memory: 64724 KiB

[startup+0.700336 s]
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119500300/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=94020 memory=80892 CPUtime=0.68 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 21345 0 0 0 62 6 0 0 20 0 1 0 163717358 96276480 20223 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 23505 20223 2750 3032 0 19905 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94020 KiB
Current children cumulated memory: 80892 KiB

[startup+1.50032 s]
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119456956/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=123500 memory=97640 CPUtime=1.48 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 25508 0 0 0 141 7 0 0 20 0 1 0 163717358 126464000 24410 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 30875 24410 2782 3032 0 27275 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123500 KiB
Current children cumulated memory: 97640 KiB

[startup+3.11256 s]
/proc/loadavg: 3.93 4.07 4.12 5/249 833371
/proc/meminfo: memFree=119312212/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=132676 memory=107144 CPUtime=3.09 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 27877 0 0 0 301 8 0 0 20 0 1 0 163717358 135860224 26786 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 33169 26786 2782 3032 0 29569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 132676 KiB
Current children cumulated memory: 107144 KiB

[startup+6.30031 s]
/proc/loadavg: 3.94 4.07 4.12 5/251 833375
/proc/meminfo: memFree=117909696/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=291932 memory=241784 CPUtime=6.26 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 61487 0 0 0 612 14 0 0 20 0 3 0 163717358 298938368 60380 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 72983 60380 2798 3032 0 68110 0
[pid=833370/tid=833374] ppid=833367 vsize=291932 memory=7086806910385940561 CPUtime=0.74 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 14530 0 0 0 70 4 0 0 20 0 3 0 163717911 298938368 60446 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=291932 memory=8101226328334028905 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 163717917 298938368 60446 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 291932 KiB
Current children cumulated memory: 241784 KiB

[startup+12.7004 s]
/proc/loadavg: 4.02 4.08 4.12 5/251 833375
/proc/meminfo: memFree=113802012/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=429960 memory=338288 CPUtime=12.65 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 125846 0 0 0 1244 21 0 0 20 0 3 0 163717358 440279040 84572 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 107490 84572 2910 3032 0 95248 0
[pid=833370/tid=833374] ppid=833367 vsize=429960 memory=337464 CPUtime=7.12 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 78862 0 0 0 702 10 0 0 20 0 3 0 163717911 440279040 84572 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=429960 memory=11404 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 163717917 440279040 84572 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 429960 KiB
Current children cumulated memory: 338288 KiB

[startup+25.5004 s]
/proc/loadavg: 4.02 4.08 4.12 5/251 833378
/proc/meminfo: memFree=111299988/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=495496 memory=397080 CPUtime=25.4 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 213567 0 0 0 2513 27 0 0 20 0 3 0 163717358 507387904 99270 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 123874 99270 2958 3032 0 109786 0
[pid=833370/tid=833374] ppid=833367 vsize=495496 memory=396848 CPUtime=19.88 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 166515 0 0 0 1972 16 0 0 20 0 3 0 163717911 507387904 99270 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=495496 memory=11404 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 163717917 507387904 99270 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 495496 KiB
Current children cumulated memory: 397080 KiB

[startup+51.1073 s]
/proc/loadavg: 4.01 4.07 4.11 5/255 833388
/proc/meminfo: memFree=99809960/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=495496 memory=427464 CPUtime=50.93 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 320848 0 0 0 5059 34 0 0 20 0 3 0 163717358 507387904 106866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 123874 106866 2958 3032 0 115276 0
[pid=833370/tid=833374] ppid=833367 vsize=495496 memory=400492 CPUtime=45.4 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 273732 0 0 0 4517 23 0 0 20 0 3 0 163717911 507387904 106866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=495496 memory=400492 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 163717917 507387904 106866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 495496 KiB
Current children cumulated memory: 427464 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/258 833450
/proc/meminfo: memFree=124907536/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=488832 memory=419468 CPUtime=101.99 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 427807 0 0 0 10155 44 0 0 20 0 3 0 163717358 500563968 104867 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 122208 104867 3278 3032 0 114798 0
[pid=833370/tid=833374] ppid=833367 vsize=488832 memory=425756 CPUtime=96.45 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 380602 0 0 0 9613 32 0 0 20 0 3 0 163717911 500563968 104867 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=488832 memory=6720667653352144232 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 163717917 500563968 104867 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 488832 KiB
Current children cumulated memory: 419468 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/258 833461
/proc/meminfo: memFree=124842412/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=554368 memory=465680 CPUtime=161.82 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 537665 0 0 0 16129 53 0 0 20 0 3 0 163717358 567672832 116420 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138592 116420 3278 3032 0 127375 0
[pid=833370/tid=833374] ppid=833367 vsize=554368 memory=465656 CPUtime=156.28 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 490409 0 0 0 15586 42 0 0 20 0 3 0 163717911 567672832 116420 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=554368 memory=465656 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 163717917 567672832 116420 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 554368 KiB
Current children cumulated memory: 465680 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/258 833471
/proc/meminfo: memFree=124811124/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=554368 memory=465700 CPUtime=221.62 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 572920 0 0 0 22105 57 0 0 20 0 3 0 163717358 567672832 116425 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138592 116425 3278 3032 0 127375 0
[pid=833370/tid=833374] ppid=833367 vsize=554368 memory=465684 CPUtime=216.07 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 525621 0 0 0 21562 45 0 0 20 0 3 0 163717911 567672832 116425 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=554368 memory=11404 CPUtime=0 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 163717917 567672832 116425 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 554368 KiB
Current children cumulated memory: 465700 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/254 833482
/proc/meminfo: memFree=124794304/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=554368 memory=465708 CPUtime=281.42 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 621546 0 0 0 28081 61 0 0 20 0 3 0 163717358 567672832 116427 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138592 116427 3278 3032 0 127375 0
[pid=833370/tid=833374] ppid=833367 vsize=554368 memory=465708 CPUtime=275.87 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 574225 0 0 0 27538 49 0 0 20 0 3 0 163717911 567672832 116427 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0

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

[pid=833370] ppid=833367 vsize=554992 memory=523464 CPUtime=1358.42 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 913136 0 0 0 135744 98 0 0 20 0 3 0 163717358 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138748 130866 3294 3032 0 135047 0
[pid=833370/tid=833374] ppid=833367 vsize=554992 memory=465712 CPUtime=1352.77 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 865421 0 0 0 135196 81 0 0 20 0 3 0 163717911 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=554992 memory=522712 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 80 0 0 0 0 2 0 0 20 0 3 0 163717917 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1358.42 s
Current children cumulated vsize: 554992 KiB
Current children cumulated memory: 523464 KiB

[startup+1422.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/252 834254
/proc/meminfo: memFree=124466348/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=554992 memory=523464 CPUtime=1418.27 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 914255 0 0 0 141728 99 0 0 20 0 3 0 163717358 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138748 130866 3294 3032 0 135047 0
[pid=833370/tid=833374] ppid=833367 vsize=554992 memory=465712 CPUtime=1412.61 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 866524 0 0 0 141179 82 0 0 20 0 3 0 163717911 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=554992 memory=522712 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 82 0 0 0 0 2 0 0 20 0 3 0 163717917 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1418.27 s
Current children cumulated vsize: 554992 KiB
Current children cumulated memory: 523464 KiB

[startup+1482.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/252 834265
/proc/meminfo: memFree=124458368/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=554992 memory=523464 CPUtime=1478.11 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 915230 0 0 0 147712 99 0 0 20 0 3 0 163717358 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 138748 130866 3294 3032 0 135047 0
[pid=833370/tid=833374] ppid=833367 vsize=554992 memory=465712 CPUtime=1472.45 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 867481 0 0 0 147163 82 0 0 20 0 3 0 163717911 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=554992 memory=523464 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 84 0 0 0 0 2 0 0 20 0 3 0 163717917 568311808 130866 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1478.11 s
Current children cumulated vsize: 554992 KiB
Current children cumulated memory: 523464 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/252 834276
/proc/meminfo: memFree=124433804/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1537.94 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918103 0 0 0 153694 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=465712 CPUtime=1532.28 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870336 0 0 0 153145 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=12556 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1537.94 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

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

# cumulated CPU time of all completed processes:  user=1544.13 s, system=1.02154 s

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

[startup+1542.4 s]
/proc/loadavg: 4.14 4.17 4.14 5/252 834276
/proc/meminfo: memFree=124433804/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1538.04 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918103 0 0 0 153704 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=525180 CPUtime=1532.38 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870336 0 0 0 153155 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=525180 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1538.04 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1545.6 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124424084/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1541.23 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918109 0 0 0 154023 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=525180 CPUtime=1535.57 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870342 0 0 0 153474 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=525180 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1541.23 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1547.2 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124424036/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1542.83 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918110 0 0 0 154183 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=525180 CPUtime=1537.16 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870343 0 0 0 153633 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=5524 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1542.83 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1548.8 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124424036/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1544.43 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918110 0 0 0 154343 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=525180 CPUtime=1538.76 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870343 0 0 0 153793 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=11404 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1544.43 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1549.2 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124374980/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1544.82 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918110 0 0 0 154382 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=525180 CPUtime=1539.16 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870343 0 0 0 153833 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=32596 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1544.82 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1549.4 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124374980/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=557084 memory=525180 CPUtime=1545.02 cores=5,7
/proc/833370/stat : 833370 (fscip) S 833367 833370 832856 0 -1 1077936128 918117 0 0 0 154402 100 0 0 20 0 3 0 163717358 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 139271 131295 3294 3032 0 135570 0
[pid=833370/tid=833374] ppid=833367 vsize=557084 memory=6720667653352144232 CPUtime=1539.36 cores=5,7
/proc/833370/task/833374/stat : 833374 (fscip) R 833367 833370 832856 0 -1 4194368 870347 0 0 0 153853 83 0 0 20 0 3 0 163717911 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
[pid=833370/tid=833375] ppid=833367 vsize=557084 memory=11260 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 163717917 570454016 131295 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1545.02 s
Current children cumulated vsize: 557084 KiB
Current children cumulated memory: 525180 KiB

[startup+1549.5 s]
/proc/loadavg: 4.13 4.17 4.14 5/252 834278
/proc/meminfo: memFree=124374980/131655788 swapFree=131071996/131071996
[pid=833370] ppid=833367 vsize=549388 memory=479604 CPUtime=1545.13 cores=5,7
/proc/833370/stat : 833370 (fscip) R 833367 833370 832856 0 -1 4194304 918803 0 0 0 154412 101 0 0 20 0 2 0 163717358 562573312 119901 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
/proc/833370/statm: 137347 119901 3294 3032 0 133646 0
[pid=833370/tid=833375] ppid=833367 vsize=549388 memory=525180 CPUtime=0.02 cores=5,7
/proc/833370/task/833375/stat : 833375 (fscip) S 833367 833370 832856 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 2 0 163717917 562573312 119901 134679101440 4194304 16613245 140729362918688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36216832 140729362924565 140729362924681 140729362924681 140729362931696 0
Current children cumulated CPU time: 1545.13 s
Current children cumulated vsize: 549388 KiB
Current children cumulated memory: 479604 KiB

Child status: 0

Real time (s): 1549.52
CPU time (s): 1545.16
CPU user time (s): 1544.13
CPU system time (s): 1.02154
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 622620
Max. memory (cumulated for all children) (KiB): 529328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1544.13
system time used= 1.02154
maximum resident set size= 529328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 918982
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= 4146
involuntary context switches= 594


# summary of solver processes directly reported to runsolver:
#   pid: 833370
#   total CPU time (s): 1545.16
#   total CPU user time (s): 1544.13
#   total CPU system time (s): 1.02154

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39558 second user time and 16.0929 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 09:40:16
IDJOB=4434799
IDBENCH=148768
IDSOLVER=3064
FILE ID=nodeC012/4434799-1721115604
RUNJOBID= nodeC012-1721115597-832869
SLURM_JOB_ID= 7505652
Free space on /tmp= 723444 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4434799-1721115604/watcher-4434799-1721115604 -o /tmp/evaluation-result-4434799-1721115604/solver-4434799-1721115604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832869 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434799-1721115604.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1219254532

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		: 3675.775
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	: 6984.37
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		: 3492.187
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.32
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.490
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	: 6984.37
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.415
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.32
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		: 3614.658
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	: 6984.37
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		: 1496.654
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.32
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.479
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	: 6984.37
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.328
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119586772 kB
MemAvailable:   123186244 kB
Buffers:          394428 kB
Cached:          4004272 kB
SwapCached:            0 kB
Active:           825340 kB
Inactive:       10611668 kB
Active(anon):       1440 kB
Inactive(anon):  7074576 kB
Active(file):     823900 kB
Inactive(file):  3537092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            370864 kB
Writeback:            12 kB
AnonPages:       7038324 kB
Mapped:           137088 kB
Shmem:             37704 kB
KReclaimable:     157024 kB
Slab:             261056 kB
SReclaimable:     157024 kB
SUnreclaim:       104032 kB
KernelStack:        3968 kB
PageTables:        23180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7020580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52544 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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:      301896 kB
DirectMap2M:    32108544 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-16 10:06:06