Trace number 4464573

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-30UNSAT 1533.36 1538.31

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.opb
MD5SUM266633e779ed92513dfdd11bdc765a52
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 benchmark1.98419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5685
Total number of constraints17960
Number of constraints which are clauses17960
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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.00/0.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 59273216, getVmSize() = 59273216, SCIPgetMemUsed() = 31236252, SCIPgetMemTotal() = 36412300, SCIPgetMemExternEstim() = 21925855
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.31	c ** Estimated virtualMemUsedAtSolver = 80755993, getVmSize() = 124956672, SCIPgetMemUsed() = 68877983, SCIPgetMemTotal() = 99208135, SCIPgetMemExternEstim() = 21925855
0.30/0.31	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.31	c Original Problem   :
0.30/0.31	c   Problem name     : instance-4464573-1722385833
0.30/0.31	c   Variables        : 5685 (5685 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31	c   Constraints      : 17960
0.30/0.31	c   Objective sense  : minimize
0.30/0.31	c Presolved Problem  :
0.30/0.31	c   Variables        : 5662 (5662 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31	c   Constraints      : 12211
0.30/0.31	c Constraints        : Number
0.30/0.31	c   setppc           : 12210 
0.30/0.31	c   orbitope         : 1 
0.30/0.31	c ** Instance transfer method used: 0
0.30/0.33	c ** ParaScipInstance copy increased the number of variables. **
0.30/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34	c                                Nodes    Active                                            
0.30/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
6.56/6.61	c         7              2           1         1                -           0.0000          -
12.54/12.68	c        13            159         111         1                -           0.0000          -
17.72/17.86	c        18            431         100         1                -           0.0000          -
22.81/22.90	c        23            918         134         1                -           0.0000          -
27.89/28.10	c        28           1380         129         1                -           0.0000          -
33.07/33.20	c        33           1935         111         1                -           0.0000          -
38.25/38.42	c        38           2458         112         1                -           0.0000          -
45.73/45.94	c        46           2650           1         1                -           0.0000          -
51.32/51.58	c        52           2672          17         1                -           0.0000          -
56.60/56.82	c        57           2944          57         1                -           0.0000          -
61.68/61.91	c        62           3447          59         1                -           0.0000          -
66.67/66.99	c        67           3926          44         1                -           0.0000          -
71.85/72.18	c        72           4453          34         1                -           0.0000          -
77.23/77.59	c        78           4840          38         1                -           0.0000          -
82.50/82.87	c        83           5268          52         1                -           0.0000          -
87.59/87.98	c        88           5737          48         1                -           0.0000          -
92.78/93.11	c        93           6113          52         1                -           0.0000          -
98.35/98.72	c        99           6515          47         1                -           0.0000          -
103.44/103.89	c       104           7020          42         1                -           0.0000          -
109.12/109.59	c       110           7250          58         1                -           0.0000          -
114.20/114.64	c       115           7735          37         1                -           0.0000          -
119.48/119.95	c       120           8058          63         1                -           0.0000          -
125.26/125.77	c       126           8610          75         1                -           0.0000          -
130.35/130.86	c       131           9070          65         1                -           0.0000          -
135.53/136.09	c       136           9481          71         1                -           0.0000          -
140.71/141.27	c       141           9919          89         1                -           0.0000          -
145.99/146.57	c       147          10316          69         1                -           0.0000          -
151.07/151.65	c       152          10823          67         1                -           0.0000          -
156.85/157.45	c       157          11235          78         1                -           0.0000          -
162.44/163.05	c       163          11477          78         1                -           0.0000          -
167.52/168.10	c       168          11881          79         1                -           0.0000          -
172.50/173.16	c       173          12294          83         1                -           0.0000          -
177.88/178.55	c       179          12564         102         1                -           0.0000          -
183.16/183.86	c       184          12951         106         1                -           0.0000          -
188.45/189.19	c       189          13349          97         1                -           0.0000          -
193.63/194.34	c       194          13711          94         1                -           0.0000          -
198.91/199.69	c       200          14304          96         1                -           0.0000          -
204.89/205.62	c       206          14728         100         1                -           0.0000          -
209.97/210.71	c       211          15166         100         1                -           0.0000          -
215.85/216.69	c       217          15618          99         1                -           0.0000          -
220.93/221.75	c       222          16111         106         1                -           0.0000          -
226.02/226.84	c       227          16572         117         1                -           0.0000          -
231.09/231.91	c       232          17045         109         1                -           0.0000          -
236.08/236.96	c       237          17533         109         1                -           0.0000          -
241.27/242.13	c       242          18076         103         1                -           0.0000          -
246.44/247.35	c       247          18439         120         1                -           0.0000          -
251.52/252.47	c       252          18911         104         1                -           0.0000          -
256.70/257.64	c       258          19335         109         1                -           0.0000          -
262.19/263.16	c       263          19732         104         1                -           0.0000          -
267.36/268.39	c       268          20139         104         1                -           0.0000          -
272.45/273.44	c       273          20599         105         1                -           0.0000          -
277.73/278.75	c       279          21073         111         1                -           0.0000          -
282.81/283.83	c       284          21505         118         1                -           0.0000          -
287.89/288.91	c       289          21995         101         1                -           0.0000          -
293.08/294.12	c       294          22339          98         1                -           0.0000          -
298.36/299.44	c       299          22764         101         1                -           0.0000          -
303.54/304.65	c       305          23204         107         1                -           0.0000          -
308.62/309.71	c       310          23621         112         1                -           0.0000          -
313.70/314.82	c       315          24066         110         1                -           0.0000          -
318.69/319.89	c       320          24506         107         1                -           0.0000          -
323.98/325.14	c       325          24907          97         1                -           0.0000          -
329.25/330.41	c       330          25309         102         1                -           0.0000          -
334.53/335.75	c       336          25782          94         1                -           0.0000          -
339.82/341.08	c       341          26162         120         1                -           0.0000          -
344.89/346.14	c       346          26641          98         1                -           0.0000          -
350.07/351.32	c       351          26986         100         1                -           0.0000          -
355.14/356.42	c       356          27492          97         1                -           0.0000          -
360.23/361.51	c       362          27951          95         1                -           0.0000          -
365.31/366.62	c       367          28323          91         1                -           0.0000          -
370.39/371.73	c       372          28792         100         1                -           0.0000          -
375.48/376.86	c       377          29243         103         1                -           0.0000          -
380.55/381.97	c       382          29785          97         1                -           0.0000          -
385.74/387.19	c       387          30244         108         1                -           0.0000          -
390.92/392.32	c       392          30764          94         1                -           0.0000          -
395.90/397.38	c       397          31222          93         1                -           0.0000          -
401.08/402.55	c       403          31617          97         1                -           0.0000          -
406.16/407.68	c       408          32017          91         1                -           0.0000          -
411.24/412.74	c       413          32509          98         1                -           0.0000          -
419.32/420.85	c       421          32924          93         1                -           0.0000          -
424.60/426.13	c       426          33392          91         1                -           0.0000          -
429.58/431.19	c       431          33890          97         1                -           0.0000          -
434.76/436.30	c       436          34397          90         1                -           0.0000          -
439.84/441.48	c       441          34820         100         1                -           0.0000          -
445.12/446.74	c       447          35309         101         1                -           0.0000          -
450.31/451.98	c       452          35757         107         1                -           0.0000          -
455.39/457.07	c       457          36247         102         1                -           0.0000          -
460.47/462.15	c       462          36683          95         1                -           0.0000          -
465.55/467.20	c       467          37043          94         1                -           0.0000          -
470.63/472.34	c       472          37413          97         1                -           0.0000          -
475.71/477.41	c       477          37813          98         1                -           0.0000          -
484.28/486.03	c       486          38224          93         1                -           0.0000          -
489.36/491.12	c       491          38731          97         1                -           0.0000          -
494.44/496.25	c       496          39186          88         1                -           0.0000          -
499.42/501.29	c       501          39621         108         1                -           0.0000          -
504.51/506.37	c       506          40068         104         1                -           0.0000          -
509.59/511.43	c       511          40547          91         1                -           0.0000          -
514.78/516.63	c       517          40925          91         1                -           0.0000          -
519.86/521.70	c       522          41255          91         1                -           0.0000          -
525.45/527.34	c       527          41640          99         1                -           0.0000          -
530.53/532.48	c       532          42065          99         1                -           0.0000          -
535.61/537.55	c       538          42528          91         1                -           0.0000          -
541.10/543.09	c       543          42952          94         1                -           0.0000          -
546.18/548.13	c       548          43353          96         1                -           0.0000          -
551.17/553.19	c       553          43788          91         1                -           0.0000          -
556.45/558.44	c       558          44199          92         1                -           0.0000          -
561.64/563.64	c       564          44610          86         1                -           0.0000          -
566.71/568.76	c       569          45042          93         1                -           0.0000          -
571.81/573.85	c       574          45485          95         1                -           0.0000          -
576.89/578.92	c       579          45929         106         1                -           0.0000          -
581.98/584.00	c       584          46474         104         1                -           0.0000          -
587.06/589.17	c       589          46923          97         1                -           0.0000          -
592.14/594.25	c       594          47275          90         1                -           0.0000          -
597.32/599.45	c       599          47714          90         1                -           0.0000          -
603.01/605.13	c       605          47924          95         1                -           0.0000          -
608.29/610.45	c       610          48304          96         1                -           0.0000          -
613.38/615.57	c       616          48650         110         1                -           0.0000          -
618.46/620.65	c       621          49079         104         1                -           0.0000          -
623.54/625.76	c       626          49489         100         1                -           0.0000          -
628.63/630.89	c       631          49926         106         1                -           0.0000          -
634.01/636.25	c       636          50297         103         1                -           0.0000          -
639.50/641.75	c       642          50681         108         1                -           0.0000          -
644.58/646.81	c       647          51065         101         1                -           0.0000          -
649.66/651.91	c       652          51423          91         1                -           0.0000          -
655.26/657.50	c       658          51848          86         1                -           0.0000          -
660.34/662.64	c       663          52268         103         1                -           0.0000          -
665.42/667.70	c       668          52815         103         1                -           0.0000          -
670.60/672.95	c       673          53214         100         1                -           0.0000          -
675.70/678.07	c       678          53751         104         1                -           0.0000          -
680.88/683.28	c       683          54282         105         1                -           0.0000          -
685.96/688.39	c       688          54775         110         1                -           0.0000          -
691.44/693.88	c       694          55041         107         1                -           0.0000          -
696.53/698.98	c       699          55455          97         1                -           0.0000          -
701.72/704.13	c       704          55922          96         1                -           0.0000          -
706.79/709.24	c       709          56324         100         1                -           0.0000          -
712.08/714.57	c       715          56736         113         1                -           0.0000          -
717.16/719.63	c       720          57176         102         1                -           0.0000          -
722.26/724.72	c       725          57627         101         1                -           0.0000          -
727.33/729.89	c       730          58118          97         1                -           0.0000          -
733.32/735.87	c       736          58486         101         1                -           0.0000          -
738.61/741.19	c       741          58964         113         1                -           0.0000          -
743.69/746.28	c       746          59451         111         1                -           0.0000          -
749.17/751.73	c       752          59816         104         1                -           0.0000          -
754.26/756.86	c       757          60214         111         1                -           0.0000          -
759.84/762.41	c       762          60678          96         1                -           0.0000          -
765.62/768.21	c       768          61012          99         1                -           0.0000          -
770.60/773.27	c       773          61458          94         1                -           0.0000          -
775.78/778.46	c       778          61856          95         1                -           0.0000          -
780.86/783.51	c       784          62291          97         1                -           0.0000          -
785.84/788.57	c       789          62703         106         1                -           0.0000          -
791.13/793.82	c       794          63173          96         1                -           0.0000          -
796.21/798.92	c       799          63450         110         1                -           0.0000          -
801.19/803.99	c       804          63850         108         1                -           0.0000          -
806.28/809.04	c       809          64283         111         1                -           0.0000          -
811.36/814.10	c       814          64691         109         1                -           0.0000          -
816.44/819.20	c       819          65124         114         1                -           0.0000          -
821.82/824.62	c       825          65565          98         1                -           0.0000          -
826.91/829.76	c       830          65946         105         1                -           0.0000          -
832.30/835.15	c       835          66393         106         1                -           0.0000          -
837.38/840.20	c       840          66849         100         1                -           0.0000          -
842.36/845.26	c       845          67292         108         1                -           0.0000          -
847.65/850.56	c       851          67730         117         1                -           0.0000          -
852.73/855.64	c       856          68216         111         1                -           0.0000          -
857.72/860.68	c       861          68730         113         1                -           0.0000          -
863.21/866.16	c       866          69137         127         1                -           0.0000          -
868.28/871.23	c       871          69619         135         1                -           0.0000          -
873.37/876.30	c       876          70092         123         1                -           0.0000          -
878.36/881.38	c       881          70585         134         1                -           0.0000          -
883.64/886.64	c       887          71044         115         1                -           0.0000          -
888.82/891.85	c       892          71445         114         1                -           0.0000          -
893.91/896.94	c       897          71889         105         1                -           0.0000          -
899.00/902.00	c       902          72372         114         1                -           0.0000          -
903.98/907.07	c       907          72815         123         1                -           0.0000          -
909.16/912.27	c       912          73300         110         1                -           0.0000          -
914.25/917.33	c       917          73850         101         1                -           0.0000          -
919.33/922.41	c       922          74405         100         1                -           0.0000          -
924.41/927.59	c       928          74763         136         1                -           0.0000          -
929.70/932.80	c       933          75211         117         1                -           0.0000          -
935.28/938.47	c       938          75554         119         1                -           0.0000          -
940.37/943.51	c       944          75947         133         1                -           0.0000          -
945.35/948.59	c       949          76349         142         1                -           0.0000          -
950.53/953.70	c       954          76728         153         1                -           0.0000          -
955.52/958.77	c       959          77135         141         1                -           0.0000          -
960.71/963.91	c       964          77565         116         1                -           0.0000          -
965.69/968.98	c       969          78004         125         1                -           0.0000          -
970.77/974.06	c       974          78431         113         1                -           0.0000          -
976.26/979.55	c       980          78761         147         1                -           0.0000          -
981.34/984.61	c       985          79240         124         1                -           0.0000          -
986.42/989.72	c       990          79724         125         1                -           0.0000          -
991.71/995.08	c       995          80222         129         1                -           0.0000          -
996.89/1000.21	c      1000          80635         135         1                -           0.0000          -
1001.98/1005.33	c      1005          81120         118         1                -           0.0000          -
1008.76/1012.17	c      1012          81344         127         1                -           0.0000          -
1014.04/1017.43	c      1017          81740         122         1                -           0.0000          -
1019.52/1022.93	c      1023          82210         122         1                -           0.0000          -
1024.61/1028.02	c      1028          82676         129         1                -           0.0000          -
1029.89/1033.36	c      1033          83130         115         1                -           0.0000          -
1035.07/1038.52	c      1039          83525         129         1                -           0.0000          -
1040.05/1043.57	c      1044          84043         118         1                -           0.0000          -
1045.14/1048.63	c      1049          84454         119         1                -           0.0000          -
1050.22/1053.72	c      1054          84873         125         1                -           0.0000          -
1055.31/1058.83	c      1059          85370         122         1                -           0.0000          -
1060.50/1064.06	c      1064          85784         116         1                -           0.0000          -
1065.58/1069.16	c      1069          86185         117         1                -           0.0000          -
1070.66/1074.25	c      1074          86633         112         1                -           0.0000          -
1075.85/1079.40	c      1079          87064         109         1                -           0.0000          -
1081.03/1084.66	c      1085          87512         108         1                -           0.0000          -
1086.31/1089.91	c      1090          87870         118         1                -           0.0000          -
1091.30/1094.97	c      1095          88362         114         1                -           0.0000          -
1096.48/1100.12	c      1100          88831         114         1                -           0.0000          -
1101.67/1105.34	c      1105          89272         117         1                -           0.0000          -
1107.05/1110.71	c      1111          89695         113         1                -           0.0000          -
1112.03/1115.77	c      1116          90103         120         1                -           0.0000          -
1117.22/1120.97	c      1121          90503         111         1                -           0.0000          -
1122.31/1126.02	c      1126          90935         112         1                -           0.0000          -
1127.30/1131.09	c      1131          91402         106         1                -           0.0000          -
1132.38/1136.16	c      1136          91733         109         1                -           0.0000          -
1138.76/1142.52	c      1143          91964         103         1                -           0.0000          -
1144.13/1147.94	c      1148          92351         101         1                -           0.0000          -
1149.33/1153.11	c      1153          92768         117         1                -           0.0000          -
1154.51/1158.30	c      1158          93211         101         1                -           0.0000          -
1159.49/1163.37	c      1163          93642         110         1                -           0.0000          -
1164.57/1168.43	c      1168          94133         108         1                -           0.0000          -
1169.66/1173.54	c      1174          94578         113         1                -           0.0000          -
1174.65/1178.58	c      1179          95012         102         1                -           0.0000          -
1179.83/1183.77	c      1184          95475         103         1                -           0.0000          -
1184.91/1188.88	c      1189          95912          91         1                -           0.0000          -
1190.11/1194.06	c      1194          96346          92         1                -           0.0000          -
1195.29/1199.24	c      1199          96736          94         1                -           0.0000          -
1200.37/1204.31	c      1204          97143         100         1                -           0.0000          -
1205.35/1209.39	c      1209          97639         103         1                -           0.0000          -
1210.44/1214.43	c      1214          98050         100         1                -           0.0000          -
1215.52/1219.59	c      1220          98553          97         1                -           0.0000          -
1220.70/1224.71	c      1225          99079          86         1                -           0.0000          -
1226.10/1230.19	c      1230          99536          84         1                -           0.0000          -
1231.38/1235.42	c      1235          99980          86         1                -           0.0000          -
1236.56/1240.69	c      1241         100409          88         1                -           0.0000          -
1243.04/1247.14	c      1247         100768          83         1                -           0.0000          -
1248.13/1252.20	c      1252         101160          86         1                -           0.0000          -
1253.11/1257.25	c      1257         101623          92         1                -           0.0000          -
1258.19/1262.34	c      1262         101971          80         1                -           0.0000          -
1263.47/1267.61	c      1268         102394          84         1                -           0.0000          -
1268.66/1272.80	c      1273         102802          76         1                -           0.0000          -
1273.95/1278.11	c      1278         103242          85         1                -           0.0000          -
1278.93/1283.18	c      1283         103670          82         1                -           0.0000          -
1284.02/1288.24	c      1288         104107          80         1                -           0.0000          -
1289.00/1293.29	c      1293         104570          78         1                -           0.0000          -
1294.48/1298.70	c      1299         105027          71         1                -           0.0000          -
1299.56/1303.88	c      1304         105419          76         1                -           0.0000          -
1304.65/1308.98	c      1309         105850          83         1                -           0.0000          -
1309.84/1314.16	c      1314         106220          76         1                -           0.0000          -
1315.01/1319.31	c      1319         106646          78         1                -           0.0000          -
1320.00/1324.36	c      1324         107042          82         1                -           0.0000          -
1325.08/1329.46	c      1329         107567          78         1                -           0.0000          -
1330.17/1334.57	c      1335         108002          81         1                -           0.0000          -
1335.36/1339.75	c      1340         108414          73         1                -           0.0000          -
1340.44/1344.80	c      1345         108801          69         1                -           0.0000          -
1345.52/1349.95	c      1350         109264          72         1                -           0.0000          -
1351.00/1355.41	c      1355         109667          97         1                -           0.0000          -
1356.09/1360.50	c      1361         110096          96         1                -           0.0000          -
1361.07/1365.58	c      1366         110516         114         1                -           0.0000          -
1366.16/1370.68	c      1371         110980          71         1                -           0.0000          -
1371.24/1375.79	c      1376         111406          72         1                -           0.0000          -
1376.33/1380.88	c      1381         111807          69         1                -           0.0000          -
1381.90/1386.45	c      1386         112221          86         1                -           0.0000          -
1387.19/1391.73	c      1392         112622          60         1                -           0.0000          -
1392.17/1396.78	c      1397         113014          57         1                -           0.0000          -
1397.36/1401.97	c      1402         113319          51         1                -           0.0000          -
1402.65/1407.27	c      1407         113698          53         1                -           0.0000          -
1407.83/1412.40	c      1412         114097          55         1                -           0.0000          -
1417.00/1421.67	c      1422         114505          56         1                -           0.0000          -
1422.09/1426.79	c      1427         114854          49         1                -           0.0000          -
1427.38/1432.02	c      1432         115210          41         1                -           0.0000          -
1432.46/1437.13	c      1437         115622          30         1                -           0.0000          -
1437.65/1442.36	c      1442         115969          32         1                -           0.0000          -
1442.83/1447.51	c      1448         116318          33         1                -           0.0000          -
1447.81/1452.56	c      1453         116651          29         1                -           0.0000          -
1452.89/1457.67	c      1458         117034          26         1                -           0.0000          -
1458.08/1462.88	c      1463         117364          31         1                -           0.0000          -
1463.17/1467.96	c      1468         117692          27         1                -           0.0000          -
1468.25/1473.05	c      1473         118044          31         1                -           0.0000          -
1473.34/1478.17	c      1478         118421          22         1                -           0.0000          -
1478.52/1483.36	c      1483         118823          19         1                -           0.0000          -
1483.80/1488.66	c      1489         119144          25         1                -           0.0000          -
1488.89/1493.74	c      1494         119574          27         1                -           0.0000          -
1493.98/1498.88	c      1499         119972          23         1                -           0.0000          -
1499.16/1504.00	c      1504         120259          24         1                -           0.0000          -
1504.33/1509.27	c      1509         120698          11         1                -           0.0000          -
1509.42/1514.33	c      1514         121144          25         1                -           0.0000          -
1514.50/1519.49	c      1519         121547          11         1                -           0.0000          -
1519.69/1524.61	c      1525         121971          11         1                -           0.0000          -
1524.67/1529.69	c      1530         122369           7         1                -           0.0000          -
1530.06/1535.04	c      1535         122700           5         1                -           0.0000          -
1533.25/1538.20	c      1538         122859           0         0                -           0.0000          -
1533.25/1538.26	c      1538         122859           0         0                -           0.0000          -
1533.25/1538.26	c SCIP Status        : c problem is solved [infeasible]
1533.25/1538.26	c Total Time         : 1538.2700
1533.25/1538.26	c   solving          : 1538.2700
1533.25/1538.26	c   presolving       : 0.2570 (included in solving)
1533.25/1538.26	c B&B Tree           :
1533.25/1538.26	c   nodes (total)    : 122859
1533.25/1538.26	c Solution           :
1533.25/1538.26	c   Solutions found  : 0
1533.25/1538.26	c   Primal Bound     :          -
1533.25/1538.26	c   Dual Bound       :          -
1533.25/1538.26	c Gap                :          -
1533.25/1538.29	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: 63931 MiB (54257 MiB free)
  memory of node 1: 64510 MiB (63700 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464573-1722385833/watcher-4464573-1722385833 -o /tmp/evaluation-result-4464573-1722385833/solver-4464573-1722385833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464573-1722385833.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=33316, runsolver pid=33313

[startup+0.100989 s]*
/proc/loadavg: 4.15 4.11 4.11 5/267 33317
/proc/meminfo: memFree=120736648/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=73008 memory=62196 CPUtime=0.09 cores=5,7
/proc/33316/stat : 33316 (fscip) R 33313 33316 28879 0 -1 4194304 14208 0 0 0 7 2 0 0 20 0 1 0 5183777 74760192 15549 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 18252 15549 2662 3035 0 14648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73008 KiB
Current children cumulated memory: 62196 KiB

[startup+0.205777 s]*
/proc/loadavg: 4.15 4.11 4.11 6/267 33317
/proc/meminfo: memFree=120729632/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=75328 memory=63892 CPUtime=0.19 cores=5,7
/proc/33316/stat : 33316 (fscip) R 33313 33316 28879 0 -1 4194304 17480 0 0 0 17 2 0 0 20 0 1 0 5183777 77135872 15973 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 18832 15973 2710 3035 0 15228 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75328 KiB
Current children cumulated memory: 63892 KiB

[startup+0.305789 s]*
/proc/loadavg: 4.15 4.11 4.11 5/267 33317
/proc/meminfo: memFree=120704228/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=122028 memory=92316 CPUtime=0.3 cores=5,7
/proc/33316/stat : 33316 (fscip) R 33313 33316 28879 0 -1 4194304 24544 0 0 0 26 4 0 0 20 0 1 0 5183777 124956672 23079 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 30507 23079 2758 3035 0 26903 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 122028 KiB
Current children cumulated memory: 92316 KiB

[startup+0.700252 s]
/proc/loadavg: 4.15 4.11 4.11 5/269 33319
/proc/meminfo: memFree=120635244/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=219076 memory=167824 CPUtime=0.67 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 43743 0 0 0 61 6 0 0 20 0 3 0 5183777 224333824 41956 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 54769 41956 2934 3035 0 50513 0
[pid=33316/tid=33318] ppid=33313 vsize=219076 memory=25932 CPUtime=0.35 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 15544 0 0 0 33 2 0 0 20 0 3 0 5183809 224333824 41956 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=219076 memory=2273 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183812 224333824 41956 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 219076 KiB
Current children cumulated memory: 167824 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.11 4.11 5/269 33319
/proc/meminfo: memFree=120625812/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=219076 memory=170068 CPUtime=1.47 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 48599 0 0 0 140 7 0 0 20 0 3 0 5183777 224333824 42517 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 54769 42517 2934 3035 0 50994 0
[pid=33316/tid=33318] ppid=33313 vsize=219076 memory=2273 CPUtime=1.15 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 20393 0 0 0 113 2 0 0 20 0 3 0 5183809 224333824 42517 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=219076 memory=0 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5183812 224333824 42517 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219076 KiB
Current children cumulated memory: 170068 KiB

[startup+3.1058 s]
/proc/loadavg: 4.21 4.12 4.11 5/269 33320
/proc/meminfo: memFree=120611884/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=288700 memory=182604 CPUtime=3.07 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 56803 0 0 0 299 8 0 0 20 0 3 0 5183777 295628800 45651 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 72175 45651 2950 3035 0 55096 0
[pid=33316/tid=33318] ppid=33313 vsize=288700 memory=174552 CPUtime=2.75 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 28597 0 0 0 272 3 0 0 20 0 3 0 5183809 295628800 45651 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=288700 memory=0 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5183812 295628800 45651 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 288700 KiB
Current children cumulated memory: 182604 KiB

[startup+6.30025 s]
/proc/loadavg: 4.21 4.12 4.11 5/269 33320
/proc/meminfo: memFree=120575184/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=288700 memory=218916 CPUtime=6.26 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 85663 0 0 0 616 10 0 0 20 0 3 0 5183777 295628800 54729 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 72175 54729 2950 3035 0 67626 0
[pid=33316/tid=33318] ppid=33313 vsize=288700 memory=11628 CPUtime=5.94 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 57454 0 0 0 589 5 0 0 20 0 3 0 5183809 295628800 54729 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=288700 memory=192116 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5183812 295628800 54729 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 288700 KiB
Current children cumulated memory: 218916 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.12 4.11 5/267 33322
/proc/meminfo: memFree=120542044/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=354392 memory=237216 CPUtime=12.64 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 113586 0 0 0 1252 12 0 0 20 0 3 0 5183777 362897408 59304 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 88598 59304 2998 3035 0 70853 0
[pid=33316/tid=33318] ppid=33313 vsize=354392 memory=6655300316396806240 CPUtime=12.32 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 85312 0 0 0 1225 7 0 0 20 0 3 0 5183809 362897408 59304 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=354392 memory=182604 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5183812 362897408 59304 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 354392 KiB
Current children cumulated memory: 237216 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.11 4.11 5/267 33324
/proc/meminfo: memFree=120525128/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=354884 memory=238152 CPUtime=25.4 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 141815 0 0 0 2525 15 0 0 20 0 3 0 5183777 363401216 59538 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 88721 59538 2998 3035 0 81695 0
[pid=33316/tid=33318] ppid=33313 vsize=354884 memory=238000 CPUtime=25.07 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 113498 0 0 0 2497 10 0 0 20 0 3 0 5183809 363401216 59538 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=354884 memory=237720 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5183812 363401216 59538 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 354884 KiB
Current children cumulated memory: 238152 KiB

[startup+51.1059 s]
/proc/loadavg: 4.24 4.14 4.12 5/267 33327
/proc/meminfo: memFree=120493948/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=420576 memory=250428 CPUtime=50.92 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 167138 0 0 0 5073 19 0 0 20 0 3 0 5183777 430669824 62607 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 105144 62607 2998 3035 0 91804 0
[pid=33316/tid=33318] ppid=33313 vsize=420576 memory=11628 CPUtime=50.59 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 138790 0 0 0 5045 14 0 0 20 0 3 0 5183809 430669824 62607 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=420576 memory=-7451605275046404991 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5183812 430669824 62607 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 420576 KiB
Current children cumulated memory: 250428 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/267 33337
/proc/meminfo: memFree=120398720/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=499552 memory=288060 CPUtime=101.94 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 230150 0 0 0 10166 28 0 0 20 0 3 0 5183777 511541248 72015 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 124888 72015 2998 3035 0 112861 0
[pid=33316/tid=33318] ppid=33313 vsize=499552 memory=11628 CPUtime=101.61 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 201732 0 0 0 10137 24 0 0 20 0 3 0 5183809 511541248 72015 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=499552 memory=285428 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5183812 511541248 72015 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 499552 KiB
Current children cumulated memory: 288060 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/267 33348
/proc/meminfo: memFree=120354976/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=500020 memory=315100 CPUtime=161.74 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 269138 0 0 0 16135 39 0 0 20 0 3 0 5183777 512020480 78775 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 125005 78775 2998 3035 0 121024 0
[pid=33316/tid=33318] ppid=33313 vsize=500020 memory=297036 CPUtime=161.4 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 240679 0 0 0 16106 34 0 0 20 0 3 0 5183809 512020480 78775 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=500020 memory=314112 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5183812 512020480 78775 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 500020 KiB
Current children cumulated memory: 315100 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.14 4.11 5/264 33405
/proc/meminfo: memFree=125824884/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=579088 memory=336676 CPUtime=221.53 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 310082 0 0 0 22106 47 0 0 20 0 3 0 5183777 592986112 84169 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 144772 84169 2998 3035 0 127233 0
[pid=33316/tid=33318] ppid=33313 vsize=579088 memory=333104 CPUtime=221.19 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 281593 0 0 0 22077 42 0 0 20 0 3 0 5183809 592986112 84169 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=579088 memory=324620 CPUtime=0 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 5183812 592986112 84169 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0

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

Current children cumulated memory: 752328 KiB

[startup+1482.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 34067
/proc/meminfo: memFree=110562196/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753040 CPUtime=1477.53 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 597863 0 0 0 147608 145 0 0 20 0 3 0 5183777 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188260 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=752328 CPUtime=1477.09 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 569013 0 0 0 147573 136 0 0 20 0 3 0 5183809 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=752856 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1477.53 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753040 KiB

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

# cumulated CPU time of all completed processes:  user=1531.86 s, system=1.50098 s

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

[startup+1484.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 34067
/proc/meminfo: memFree=110561432/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753040 CPUtime=1480.02 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 598431 0 0 0 147857 145 0 0 20 0 3 0 5183777 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188260 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=12856 CPUtime=1479.58 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 569573 0 0 0 147822 136 0 0 20 0 3 0 5183809 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=752328 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188260 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1480.02 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753040 KiB

[startup+1510.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 34071
/proc/meminfo: memFree=110554032/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753368 CPUtime=1505.53 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 599488 0 0 0 150407 146 0 0 20 0 3 0 5183777 819998720 188342 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188342 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=2340 CPUtime=1505.09 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 570630 0 0 0 150372 137 0 0 20 0 3 0 5183809 819998720 188342 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=1940 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188342 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1505.53 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753368 KiB

[startup+1523.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 34074
/proc/meminfo: memFree=110551408/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753800 CPUtime=1518.3 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 600171 0 0 0 151683 147 0 0 20 0 3 0 5183777 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188450 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=1940 CPUtime=1517.86 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 571310 0 0 0 151648 138 0 0 20 0 3 0 5183809 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=753368 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1518.3 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753800 KiB

[startup+1529.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 34074
/proc/meminfo: memFree=110549036/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753800 CPUtime=1524.67 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 600254 0 0 0 152320 147 0 0 20 0 3 0 5183777 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188450 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=753800 CPUtime=1524.23 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 571392 0 0 0 152285 138 0 0 20 0 3 0 5183809 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=1940 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1524.67 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753800 KiB

[startup+1532.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 34075
/proc/meminfo: memFree=110549064/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=800780 memory=753800 CPUtime=1527.86 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 600388 0 0 0 152639 147 0 0 20 0 3 0 5183777 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 200195 188450 2998 3035 0 194637 0
[pid=33316/tid=33318] ppid=33313 vsize=800780 memory=753800 CPUtime=1527.42 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 571526 0 0 0 152604 138 0 0 20 0 3 0 5183809 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=800780 memory=12420 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 819998720 188450 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1527.86 s
Current children cumulated vsize: 800780 KiB
Current children cumulated memory: 753800 KiB

[startup+1536 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 34075
/proc/meminfo: memFree=110529868/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=866316 memory=772836 CPUtime=1531.06 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 610496 0 0 0 152958 148 0 0 20 0 3 0 5183777 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 216579 193209 2998 3035 0 197990 0
[pid=33316/tid=33318] ppid=33313 vsize=866316 memory=-6000919468428388716 CPUtime=1530.62 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 581634 0 0 0 152923 139 0 0 20 0 3 0 5183809 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=866316 memory=-4050210904893603990 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1531.06 s
Current children cumulated vsize: 866316 KiB
Current children cumulated memory: 772836 KiB

[startup+1537.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 34075
/proc/meminfo: memFree=110529784/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=866316 memory=772836 CPUtime=1532.66 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 610507 0 0 0 153117 149 0 0 20 0 3 0 5183777 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 216579 193209 2998 3035 0 197990 0
[pid=33316/tid=33318] ppid=33313 vsize=866316 memory=772836 CPUtime=1532.2 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 581645 0 0 0 153081 139 0 0 20 0 3 0 5183809 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=866316 memory=772836 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1532.66 s
Current children cumulated vsize: 866316 KiB
Current children cumulated memory: 772836 KiB

[startup+1538 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 34075
/proc/meminfo: memFree=110529784/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=866316 memory=772836 CPUtime=1533.06 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 610515 0 0 0 153157 149 0 0 20 0 3 0 5183777 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 216579 193209 2998 3035 0 197990 0
[pid=33316/tid=33318] ppid=33313 vsize=866316 memory=-6000919468428388716 CPUtime=1532.61 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 581653 0 0 0 153122 139 0 0 20 0 3 0 5183809 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=866316 memory=-4050210904893603990 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1533.06 s
Current children cumulated vsize: 866316 KiB
Current children cumulated memory: 772836 KiB

[startup+1538.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 34075
/proc/meminfo: memFree=110529784/131524600 swapFree=131071996/131071996
[pid=33316] ppid=33313 vsize=866316 memory=772836 CPUtime=1533.25 cores=5,7
/proc/33316/stat : 33316 (fscip) S 33313 33316 28879 0 -1 1077936128 610515 0 0 0 153176 149 0 0 20 0 3 0 5183777 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
/proc/33316/statm: 216579 193209 2998 3035 0 197990 0
[pid=33316/tid=33318] ppid=33313 vsize=866316 memory=4908 CPUtime=1532.8 cores=5,7
/proc/33316/task/33318/stat : 33318 (fscip) R 33313 33316 28879 0 -1 4194368 581653 0 0 0 153141 139 0 0 20 0 3 0 5183809 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
[pid=33316/tid=33319] ppid=33313 vsize=866316 memory=519920 CPUtime=0.01 cores=5,7
/proc/33316/task/33319/stat : 33319 (fscip) S 33313 33316 28879 0 -1 1077936192 97 0 0 0 0 1 0 0 20 0 3 0 5183812 887107584 193209 134679101440 4194304 16623229 140734070886736 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24276992 140734070895638 140734070895754 140734070895754 140734070902768 0
Current children cumulated CPU time: 1533.25 s
Current children cumulated vsize: 866316 KiB
Current children cumulated memory: 772836 KiB

[startup+1538.3 s]*
/proc/loadavg: 4.07 4.10 4.09 5/258 34075
/proc/meminfo: memFree=111291656/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1538.31
CPU time (s): 1533.36
CPU user time (s): 1531.86
CPU system time (s): 1.50098
CPU usage (%): 99.6784
Max. virtual memory (cumulated for all children) (KiB): 866316
Max. memory (cumulated for all children) (KiB): 772836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1531.86
system time used= 1.50098
maximum resident set size= 772836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612965
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= 4495
involuntary context switches= 1220


# summary of solver processes directly reported to runsolver:
#   pid: 33316
#   total CPU time (s): 1533.36
#   total CPU user time (s): 1531.86
#   total CPU system time (s): 1.50098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10787 second user time and 7.6788 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-31 02:30:33
IDJOB=4464573
IDBENCH=160419
IDSOLVER=3092
FILE ID=nodeC027/4464573-1722385833
RUNJOBID= nodeC027-1722378597-28892
SLURM_JOB_ID= 8249850
Free space on /tmp= 889972 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.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-4464573-1722385833/watcher-4464573-1722385833 -o /tmp/evaluation-result-4464573-1722385833/solver-4464573-1722385833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464573-1722385833.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 266633e779ed92513dfdd11bdc765a52
RANDOM SEED=1078368009

nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120789008 kB
MemAvailable:   120665484 kB
Buffers:           99560 kB
Cached:           611920 kB
SwapCached:            0 kB
Active:           298292 kB
Inactive:        9943564 kB
Active(anon):       1520 kB
Inactive(anon):  9550184 kB
Active(file):     296772 kB
Inactive(file):   393380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57476 kB
Writeback:             0 kB
AnonPages:       9529612 kB
Mapped:           125036 kB
Shmem:             21336 kB
KReclaimable:      51944 kB
Slab:             133084 kB
SReclaimable:      51944 kB
SUnreclaim:        81140 kB
KernelStack:        4288 kB
PageTables:        28008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5415628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4724736 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:      150228 kB
DirectMap2M:     9060352 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889824 MiB
End job on nodeC027 at 2024-07-31 02:56:11