Trace number 4442985

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
SCIP 2024-07-07? 3585.99 3597.13

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUM524c0290a9c7ac599d8004695d4c7f99
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3575.64
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4442985-1721297420.opb>
0.00/0.09	c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
0.00/0.09	c problem read in 0.09
0.00/0.09	c No objective function, only one solution is needed.
0.09/0.17	c presolving:
0.30/0.31	c    (0.3s) running MILP presolver
0.40/0.45	c    (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.40/0.46	c (round 1, medium)     0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 612 clqs
0.69/0.70	c (round 2, exhaustive) 0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
1.18/1.23	c    (1.2s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.18/1.23	c    (1.2s) probing aborted: 50/50 successive totally useless probings
1.18/1.26	c    (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.59/1.69	c    (1.7s) symmetry computation finished: 41 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.39)
1.69/1.72	c dynamic symmetry handling statistics:
1.69/1.72	c    orbitopal reduction:       no components
1.69/1.72	c    orbital reduction:         no components
1.69/1.72	c    lexicographic reduction:   no permutations
1.69/1.72	c handled 1 out of 1 symmetry components
1.69/1.73	c (round 3, exhaustive) 301 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
2.78/2.87	c (round 4, exhaustive) 344 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 8319 clqs
2.88/2.97	c (round 5, exhaustive) 840 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 7193 clqs
2.88/2.98	c (round 6, fast)       840 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 7194 clqs
3.58/3.69	c (round 7, exhaustive) 1273 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14233 clqs
3.68/3.70	c (round 8, fast)       1419 del vars, 1398 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14235 clqs
3.78/3.82	c (round 9, exhaustive) 1475 del vars, 1398 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14823 clqs
3.78/3.82	c (round 10, fast)       1476 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14823 clqs
4.77/4.83	c (round 11, exhaustive) 1506 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 37763 clqs
4.87/4.90	c (round 12, exhaustive) 1821 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 31960 clqs
4.87/4.91	c (round 13, fast)       1822 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 31960 clqs
5.77/5.81	c (round 14, exhaustive) 1853 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 53487 clqs
5.77/5.88	c (round 15, exhaustive) 2096 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 42896 clqs
5.77/5.88	c (round 16, fast)       2097 del vars, 1410 del conss, 823 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 42898 clqs
5.87/5.90	c (round 17, medium)     2321 del vars, 1410 del conss, 823 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 38078 clqs
5.87/5.91	c (round 18, fast)       2524 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 38080 clqs
6.56/6.62	c (round 19, exhaustive) 2557 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 50801 clqs
7.26/7.31	c (round 20, exhaustive) 2582 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 60047 clqs
7.26/7.32	c (round 21, fast)       2583 del vars, 1417 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 60047 clqs
7.26/7.38	c (round 22, exhaustive) 2764 del vars, 1417 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 54336 clqs
7.26/7.39	c (round 23, fast)       2764 del vars, 1422 del conss, 827 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 54337 clqs
7.46/7.57	c    (7.6s) probing: 1000/23409 (4.3%) - 1683 fixings, 0 aggregations, 94158 implications, 0 bound changes
7.76/7.87	c (round 24, exhaustive) 2925 del vars, 1422 del conss, 827 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 57487 clqs
7.76/7.87	c (round 25, fast)       3061 del vars, 1428 del conss, 829 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 57489 clqs
7.76/7.89	c (round 26, medium)     3332 del vars, 1428 del conss, 829 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 56093 clqs
7.76/7.89	c (round 27, fast)       3600 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 56097 clqs
8.65/8.72	c (round 28, exhaustive) 3636 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 58153 clqs
10.05/10.16	c (round 29, exhaustive) 3661 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 69218 clqs
10.74/10.83	c (round 30, exhaustive) 3686 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 70360 clqs
13.04/13.16	c (round 31, exhaustive) 3711 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 94088 clqs
13.43/13.59	c    (13.6s) probing: 2000/23409 (8.5%) - 1832 fixings, 0 aggregations, 150664 implications, 0 bound changes
14.14/14.22	c (round 32, exhaustive) 3736 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 104150 clqs
15.34/15.47	c (round 33, exhaustive) 3790 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 102434 clqs
16.83/16.94	c (round 34, exhaustive) 3815 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 108847 clqs
17.53/17.68	c (round 35, exhaustive) 3848 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 111062 clqs
19.32/19.45	c (round 36, exhaustive) 3882 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 125226 clqs
19.72/19.83	c    (19.8s) probing: 3000/23409 (12.8%) - 1991 fixings, 0 aggregations, 201962 implications, 0 bound changes
20.71/20.89	c (round 37, exhaustive) 3907 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 132621 clqs
20.81/20.95	c (round 38, exhaustive) 3907 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 132621 clqs
22.30/22.42	c (round 39, exhaustive) 3932 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 155840 clqs
25.90/26.06	c (round 40, exhaustive) 3957 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 190579 clqs
26.00/26.16	c    (26.2s) probing: 4000/23409 (17.1%) - 2063 fixings, 0 aggregations, 281663 implications, 0 bound changes
28.99/29.12	c (round 41, exhaustive) 3982 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 189985 clqs
28.99/29.16	c (round 42, medium)     3999 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 184169 clqs
32.17/32.38	c    (32.4s) probing: 5000/23409 (21.4%) - 2105 fixings, 0 aggregations, 372188 implications, 0 bound changes
34.07/34.25	c (round 43, exhaustive) 4024 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191105 clqs
38.45/38.63	c    (38.6s) probing: 6000/23409 (25.6%) - 2122 fixings, 0 aggregations, 463541 implications, 0 bound changes
41.04/41.23	c (round 44, exhaustive) 4049 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191331 clqs
44.53/44.78	c    (44.8s) probing: 7000/23409 (29.9%) - 2156 fixings, 0 aggregations, 540791 implications, 0 bound changes
45.62/45.88	c (round 45, exhaustive) 4074 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191195 clqs
49.21/49.41	c (round 46, exhaustive) 4114 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 182927 clqs
50.70/50.99	c    (51.0s) probing: 8000/23409 (34.2%) - 2215 fixings, 0 aggregations, 613770 implications, 0 bound changes
51.90/52.13	c (round 47, exhaustive) 4139 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 186040 clqs
55.19/55.45	c (round 48, exhaustive) 4164 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 187236 clqs
56.38/56.62	c (round 49, exhaustive) 4189 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 186628 clqs
57.08/57.35	c    (57.3s) probing: 9000/23409 (38.4%) - 2280 fixings, 0 aggregations, 681786 implications, 0 bound changes
61.87/62.15	c (round 50, exhaustive) 4236 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 185173 clqs
61.96/62.23	c (round 51, exhaustive) 4236 del vars, 1442 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 185173 clqs
62.06/62.36	c    (62.4s) probing: 10000/23409 (42.7%) - 2325 fixings, 0 aggregations, 759219 implications, 0 bound changes
66.94/67.22	c    (67.2s) probing: 10975/23409 (46.9%) - 2325 fixings, 0 aggregations, 773703 implications, 0 bound changes
66.94/67.22	c    (67.2s) probing aborted: 1000/1000 successive useless probings
66.94/67.27	c presolving (52 rounds: 52 fast, 42 medium, 38 exhaustive):
66.94/67.27	c  4236 deleted vars, 1442 deleted constraints, 833 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
66.94/67.27	c  0 implications, 192898 cliques
66.94/67.27	c presolved problem has 19927 variables (19927 bin, 0 int, 0 impl, 0 cont) and 777 constraints
66.94/67.27	c     144 constraints of type <knapsack>
66.94/67.27	c     592 constraints of type <setppc>
66.94/67.27	c      41 constraints of type <orbitope>
66.94/67.27	c transformed objective value is always integral (scale: 1)
66.94/67.27	c Presolving Time: 67.10
66.94/67.27	c - non default parameters ----------------------------------------------------------------------
66.94/67.27	c # SCIP version 10.0.0
66.94/67.27	c 
66.94/67.27	c # maximal time in seconds to run
66.94/67.27	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
66.94/67.27	c limits/time = 3596.99705
66.94/67.27	c 
66.94/67.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
66.94/67.27	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
66.94/67.27	c limits/memory = 27900
66.94/67.27	c 
66.94/67.27	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
66.94/67.27	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
66.94/67.27	c limits/solutions = 1
66.94/67.27	c 
66.94/67.27	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
66.94/67.27	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
66.94/67.27	c misc/usesymmetry = 3
66.94/67.27	c 
66.94/67.27	c # belongs reading time to solving time?
66.94/67.27	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
66.94/67.27	c timing/reading = TRUE
66.94/67.27	c 
66.94/67.27	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
66.94/67.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
66.94/67.27	c propagating/symmetry/detectdoublelex = FALSE
66.94/67.27	c 
66.94/67.27	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
66.94/67.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
66.94/67.27	c propagating/symmetry/detectsubgroups = FALSE
66.94/67.27	c 
66.94/67.27	c # Type of symmetries that shall be computed?
66.94/67.27	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
66.94/67.27	c propagating/symmetry/symtype = 1
66.94/67.27	c 
66.94/67.27	c # Should components consisting of a single full reflection be handled?
66.94/67.27	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
66.94/67.27	c propagating/symmetry/usesimplesgncomp = FALSE
66.94/67.27	c 
66.94/67.27	c -----------------------------------------------------------------------------------------------
66.94/67.27	c start solving
66.94/67.28	c 
761.38/763.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
761.38/763.83	c   764s|     1 |     0 |  1373k|     - |   365M |   0 |  19k| 852 | 736 |   0 |  0 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
834.95/837.61	c   838s|     1 |     0 |  1496k|     - |   377M |   0 |  19k| 855 | 748 |  12 |  1 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
835.56/838.24	c   838s|     1 |     0 |  1496k|     - |   379M |   0 |  19k| 860 | 756 |  20 |  2 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
836.36/839.00	c   839s|     1 |     0 |  1497k|     - |   379M |   0 |  19k| 860 | 761 |  25 |  3 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
836.95/839.60	c   840s|     1 |     0 |  1497k|     - |   379M |   0 |  19k| 862 | 767 |  31 |  4 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
837.46/840.13	c   840s|     1 |     0 |  1497k|     - |   379M |   0 |  19k| 865 | 771 |  35 |  5 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
838.15/840.81	c   841s|     1 |     0 |  1498k|     - |   379M |   0 |  19k| 867 | 778 |  42 |  6 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
838.75/841.42	c   841s|     1 |     0 |  1498k|     - |   379M |   0 |  19k| 868 | 788 |  52 |  7 |  90 |   0 | 0.000000e+00 |      --      |    Inf | unknown
839.15/841.86	c   842s|     1 |     0 |  1498k|     - |   381M |   0 |  19k| 870 | 795 |  59 |  8 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
839.74/842.44	c   842s|     1 |     0 |  1498k|     - |   381M |   0 |  19k| 872 | 802 |  66 |  9 |  94 |   0 | 0.000000e+00 |      --      |    Inf | unknown
840.35/843.01	c   843s|     1 |     0 |  1498k|     - |   381M |   0 |  19k| 873 | 807 |  71 | 10 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
840.74/843.42	c   843s|     1 |     0 |  1498k|     - |   381M |   0 |  19k| 877 | 814 |  78 | 11 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
887.69/890.51	c   891s|     1 |     2 |  1536k|     - |   383M |   0 |  19k| 895 | 814 |  78 | 11 | 117 |  21 | 0.000000e+00 |      --      |    Inf | unknown
3585.76/3597.00	c 
3585.76/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.76/3597.00	c Solving Time (sec) : 3597.00
3585.76/3597.00	c Solving Nodes      : 29
3585.76/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.76/3597.00	c Dual Bound         : +0.00000000000000e+00
3585.76/3597.00	c Gap                : infinite
3585.76/3597.00	s UNKNOWN
3585.76/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.76/3597.00	c Total Time         :    3597.00
3585.76/3597.00	c   solving          :    3597.00
3585.76/3597.00	c   presolving       :      67.10 (included in solving)
3585.76/3597.00	c   reading          :       0.09 (included in solving)
3585.76/3597.00	c   copying          :       0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3585.76/3597.00	c Original Problem   :
3585.76/3597.00	c   Problem name     : HOME/instance-4442985-1721297420.opb
3585.76/3597.00	c   Variables        : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.76/3597.00	c   Constraints      : 1386 initial, 1386 maximal
3585.76/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.76/3597.00	c Presolved Problem  :
3585.76/3597.00	c   Problem name     : t_HOME/instance-4442985-1721297420.opb
3585.76/3597.00	c   Variables        : 19927 (19927 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.76/3597.00	c   Constraints      : 777 initial, 932 maximal
3585.76/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.76/3597.00	c   Nonzeros         : 288458 constraint, 468188 clique table
3585.76/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.76/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   domcol           :       0.02       0.00     35          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   implics          :       0.01       0.00     42          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   milp             :       0.23       0.00      1          0          0          0          0          0       1386        774          0          0
3585.76/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   sparsify         :       0.31       0.00      2          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   trivial          :       0.03       0.00     52        754          0          0          0          0          0          0          0          0
3585.76/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   dualfix          :       0.03       0.00     52          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   probing          :      63.36       0.00     35       2325          0          0          0          0          0          0          0          0
3585.76/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   symmetry         :       0.46       0.00      1        301          0          0          0          0          0         41          0          0
3585.76/3597.00	c   vbounds          :       0.22       0.00     15          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   knapsack         :       1.01       0.00    127          0          0          0          0          0         18         18          0          9
3585.76/3597.00	c   setppc           :       0.86       0.00    127          0          3          0          0          0         38          0          0          0
3585.76/3597.00	c   linear           :       0.26       0.03      3          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   orbitope         :       0.06       0.00     39         99          0          0          0          0          0          0          0          0
3585.76/3597.00	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   components       :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.76/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.76/3597.00	c   benderslp        :          0          0          0          0         22          0          0          5          0          0          0          0          0          0          0
3585.76/3597.00	c   integral         :          0          0          0          0         22          0          0          5          0          0          0          0          0          0         44
3585.76/3597.00	c   knapsack         :        144+       148         11      45183          0          0          0          2        209          7        359          0          0          0          0
3585.76/3597.00	c   setppc           :        592+       600         11      45176          0          0          0          1       4850        210       5442          0          0          0          0
3585.76/3597.00	c   orbitope         :         41         41          0      44866          0          0          0          0      27864        325       1216          0          0          0          0
3585.76/3597.00	c   logicor          :          0+       145         11        182          0          0          0          0          0          7          5          1          1          0          0
3585.76/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.76/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.76/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   integral         :      15.04       0.00       0.00       0.00      15.04       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   knapsack         :       0.45       0.00       0.03       0.42       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   setppc           :       0.43       0.00       0.01       0.41       0.00       0.00       0.00       0.00       0.00       0.01
3585.76/3597.00	c   orbitope         :      43.51       0.00       0.00      43.43       0.00       0.00       0.00       0.00       0.00       0.07
3585.76/3597.00	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.76/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.76/3597.00	c   dualfix          :          1          0          0          0
3585.76/3597.00	c   genvbounds       :          0          0          0          0
3585.76/3597.00	c   nlobbt           :          0          0          0          0
3585.76/3597.00	c   obbt             :          0          0          0          0
3585.76/3597.00	c   probing          :          0          0          0          0
3585.76/3597.00	c   pseudoobj        :          0          0          0          0
3585.76/3597.00	c   redcost          :          0          0          0          0
3585.76/3597.00	c   rootredcost      :          0          0          0          0
3585.86/3597.00	c   symmetry         :          0          0          0          0
3585.86/3597.00	c   vbounds          :        492          0          0          0
3585.86/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.86/3597.00	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
3585.86/3597.00	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3585.86/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.86/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.86/3597.00	c   probing          :      63.36       0.00      63.36       0.00       0.00       0.00
3585.86/3597.00	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3585.86/3597.00	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3585.86/3597.00	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3585.86/3597.00	c   symmetry         :       0.47       0.00       0.46       0.01       0.00       0.00
3585.86/3597.00	c   vbounds          :       0.24       0.00       0.22       0.01       0.00       0.00
3585.86/3597.00	c Symmetry           :
3585.86/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.86/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.86/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.86/3597.00	c   shadow tree time :       0.00 s
3585.86/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.86/3597.00	c   propagation      :       0.01        544         44          -        202      129.2          0        0.0          -          -          -
3585.86/3597.00	c   infeasible LP    :       0.01          4          4          -         16      558.1          0        0.0          4      861.8          0
3585.86/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.86/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.86/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.86/3597.00	c   applied globally :       0.05          -          -          0        152      115.6          -          -          4          -          -
3585.86/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.86/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.86/3597.00	c   cut pool         :       0.00          -         27         21          -          -        253        447          -          -          -          -          -    (maximal pool size:        253)
3585.86/3597.00	c   aggregation      :       0.16       0.00         14         11          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.86/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.86/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.86/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   clique           :       1.62       0.00         11         11          0          0         83        222          0         41         41          0          0
3585.86/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   gomory           :       0.92       0.00         13         10          0          0          1          1          0          1          1          0          0
3585.86/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.86/3597.00	c   > strongcg       :          -          -          -          -          -          -          -          1          0          1          1          0          -
3585.86/3597.00	c   impliedbounds    :       0.15       0.00         14         11          0          0        152        207          0         39         39          0          0
3585.86/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   multilinear      :       0.00       0.00         14         11          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3585.86/3597.00	c   zerohalf         :       0.51       0.00         14         11          0          0         23         17          6         22         16          6          0
3585.86/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.86/3597.00	c   hybrid           :       0.00       0.00         14         11        104          0        350         78          0        264
3585.86/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.86/3597.00	c   problem variables:       0.00          -          0          0
3585.86/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.86/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c   relpscost        :      15.04       0.00         22          0          0          0          0          0          0         44
3585.86/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.86/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.86/3597.00	c   LP solutions     :       0.00          -          -          0          0
3585.86/3597.00	c   relax solutions  :       0.00          -          -          0          0
3585.86/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3585.86/3597.00	c   strong branching :       0.00          -          -          0          0
3585.86/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3585.86/3597.00	c   adaptivediving   :     100.80       0.00          2          0          0
3585.86/3597.00	c   alns             :       0.00       0.00          0          0          0
3585.86/3597.00	c   bound            :       0.00       0.00          0          0          0
3585.86/3597.00	c   clique           :       0.07       0.00          1          0          0
3585.86/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3585.86/3597.00	c   completesol      :       0.00       0.00          0          0          0
3585.86/3597.00	c   conflictdiving   :      31.22       0.00          1          0          0
3585.86/3597.00	c   crossover        :       0.00       0.00          0          0          0
3585.86/3597.00	c   dins             :       0.00       0.00          0          0          0
3585.86/3597.00	c   distributiondivin:       0.01       0.00          0          0          0
3585.86/3597.00	c   dps              :       0.00       0.00          0          0          0
3585.86/3597.00	c   dualval          :       0.00       0.00          0          0          0
3585.86/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3585.86/3597.00	c   feasjump         :       0.08       0.00          1          0          0
3585.86/3597.00	c   feaspump         :      71.16       0.00          1          0          0
3585.86/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3585.86/3597.00	c   fracdiving       :     452.44       0.00          1          0          0
3585.86/3597.00	c   gins             :       0.00       0.00          0          0          0
3585.86/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3585.86/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.86/3597.00	c   indicator        :       0.00       0.00          0          0          0
3585.86/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3585.86/3597.00	c   indoneopt        :       0.00       0.00          0          0          0
3585.86/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3585.86/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3585.86/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3585.86/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3585.86/3597.00	c   linesearchdiving :      81.61       0.00          1          0          0
3585.86/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3585.86/3597.00	c   locks            :      14.83       0.00          1          0          0
3585.86/3597.00	c   lpface           :       0.00       0.00          0          0          0
3585.86/3597.00	c   mpec             :       0.00       0.00          0          0          0
3585.86/3597.00	c   multistart       :       0.00       0.00          0          0          0
3585.86/3597.00	c   mutation         :       0.00       0.00          0          0          0
3585.86/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3585.86/3597.00	c   objpscostdiving  :     144.60       0.00          1          0          0
3585.86/3597.00	c   octane           :       0.00       0.00          0          0          0
3585.86/3597.00	c   ofins            :       0.00       0.00          0          0          0
3585.86/3597.00	c   oneopt           :       0.00       0.00          0          0          0
3585.86/3597.00	c   padm             :       0.00       0.00          0          0          0
3585.86/3597.00	c   proximity        :       0.00       0.00          0          0          0
3585.86/3597.00	c   pscostdiving     :       1.77       0.00          1          0          0
3585.86/3597.00	c   randrounding     :       1.00       0.00         12          0          0
3585.86/3597.00	c   rens             :       0.75       0.00          1          0          0
3585.86/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3585.86/3597.00	c   repair           :       0.00       0.00          0          0          0
3585.86/3597.00	c   rins             :       0.00       0.00          0          0          0
3585.86/3597.00	c   rootsoldiving    :      99.61       0.00          1          0          0
3585.86/3597.00	c   rounding         :       0.09       0.00         36          0          0
3585.86/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3585.86/3597.00	c   shiftandpropagate:       0.11       0.00          1          0          0
3585.86/3597.00	c   shifting         :       0.09       0.00         16          0          0
3585.86/3597.00	c   simplerounding   :       0.00       0.00          0          0          0
3585.86/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3585.86/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3585.86/3597.00	c   trivial          :       0.01       0.00          2          0          0
3585.86/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3585.86/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3585.86/3597.00	c   trysol           :       0.00       0.00          0          0          0
3585.86/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3585.86/3597.00	c   undercover       :       0.00       0.00          0          0          0
3585.86/3597.00	c   vbounds          :       0.44       0.00          1          0          0
3585.86/3597.00	c   veclendiving     :      12.33       0.00          1          0          0
3585.86/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3585.86/3597.00	c   zirounding       :       0.01       0.00         22          0          0
3585.86/3597.00	c   other solutions  :          -          -          -          0          -
3585.86/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.86/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.86/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.86/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.86/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.86/3597.00	c   primal LP        :       0.06          2          0       0.00       0.00       0.06          2
3585.86/3597.00	c   dual LP          :    2498.05         38    4802619  126384.71    1922.55       0.00          0
3585.86/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3585.86/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.86/3597.00	c   resolve instable :      89.90         39     187433    4805.97    2084.92
3585.86/3597.00	c   diving/probing LP:     992.58        378    1836049    4857.27    1849.78
3585.86/3597.00	c   strong branching :      14.81         21       8415     400.71     568.19          -          -          2
3585.86/3597.00	c     (at root node) :          -         21       8415     400.71          -
3585.86/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3585.86/3597.00	c B&B Tree           :
3585.86/3597.00	c   number of runs   :          1
3585.86/3597.00	c   nodes            :         29 (22 internal, 7 leaves)
3585.86/3597.00	c   feasible leaves  :          0
3585.86/3597.00	c   infeas. leaves   :          6
3585.86/3597.00	c   objective leaves :          0
3585.86/3597.00	c   nodes (total)    :         29 (22 internal, 7 leaves)
3585.86/3597.00	c   nodes left       :         17
3585.86/3597.00	c   max depth        :         11
3585.86/3597.00	c   max depth (total):         11
3585.86/3597.00	c   backtracks       :         13 (44.8%)
3585.86/3597.00	c   early backtracks :          0 (0.0%)
3585.86/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3585.86/3597.00	c   delayed cutoffs  :          0
3585.86/3597.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3585.86/3597.00	c   avg switch length:       2.10
3585.86/3597.00	c   switching time   :       0.07
3585.86/3597.00	c Root Node          :
3585.86/3597.00	c   First LP value   : +0.00000000000000e+00
3585.86/3597.00	c   First LP Iters   :    1373481 (2016.80 Iter/sec)
3585.86/3597.00	c   First LP Time    :     681.02
3585.86/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3585.86/3597.00	c   Final Root Iters :    1498729
3585.86/3597.00	c   Root LP Estimate : +2.31091303953618e-03
3585.86/3597.00	c Solution           :
3585.86/3597.00	c   Solutions found  :          0 (0 improvements)
3585.86/3597.00	c   Primal Bound     :          -
3585.86/3597.00	c   Dual Bound       : +0.00000000000000e+00
3585.86/3597.00	c   Gap              :   infinite
3585.86/3597.00	c Integrals          :      Total       Avg%
3585.86/3597.00	c   primal-dual      :  359699.81     100.00
3585.86/3597.00	c   primal-ref       :          -          - (not evaluated)
3585.86/3597.00	c   dual-ref         :          -          - (not evaluated)
3585.96/3597.12	c Time complete: 3585.99.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442985-1721297420/watcher-4442985-1721297420 -o /tmp/evaluation-result-4442985-1721297420/solver-4442985-1721297420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760 pbscip -f HOME/instance-4442985-1721297420.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=978778, runsolver pid=978775

[startup+0.100099 s]*
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122632636/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=96396 memory=57616 CPUtime=0.09 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 11239 0 0 0 8 1 0 0 20 0 1 0 181907374 98709504 14404 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 24099 14404 3547 3540 0 12356 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96396 KiB
Current children cumulated memory: 57616 KiB

[startup+0.205895 s]*
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122584084/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=141132 memory=100564 CPUtime=0.2 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 21952 0 0 0 17 3 0 0 20 0 1 0 181907374 144519168 25141 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 35283 25141 3595 3540 0 23540 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141132 KiB
Current children cumulated memory: 100564 KiB

[startup+0.305789 s]*
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122556484/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=174168 memory=132340 CPUtime=0.3 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 26832 0 0 0 26 4 0 0 20 0 1 0 181907374 178348032 33085 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 43542 33085 3627 3540 0 31799 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 174168 KiB
Current children cumulated memory: 132340 KiB

[startup+0.700253 s]
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122559800/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=164816 memory=124376 CPUtime=0.69 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 30602 0 0 0 64 5 0 0 20 0 1 0 181907374 168771584 31094 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 41204 31094 3722 3540 0 29461 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 164816 KiB
Current children cumulated memory: 124376 KiB

[startup+1.50025 s]
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122475928/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=367344 memory=272492 CPUtime=1.48 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 48667 0 0 0 139 9 0 0 20 0 1 0 181907374 376160256 68123 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 91836 68123 3802 3540 0 80093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 367344 KiB
Current children cumulated memory: 272492 KiB

[startup+3.10541 s]
/proc/loadavg: 4.13 4.11 4.07 5/257 978779
/proc/meminfo: memFree=122197048/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=370088 memory=280676 CPUtime=3.08 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50694 0 0 0 298 10 0 0 20 0 1 0 181907374 378970112 70169 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 92522 70169 3802 3540 0 80779 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 370088 KiB
Current children cumulated memory: 280676 KiB

[startup+6.30022 s]
/proc/loadavg: 4.20 4.13 4.07 5/257 978781
/proc/meminfo: memFree=122194496/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=370088 memory=280904 CPUtime=6.26 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50808 0 0 0 616 10 0 0 20 0 1 0 181907374 378970112 70226 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 92522 70226 3802 3540 0 80779 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 370088 KiB
Current children cumulated memory: 280904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.14 4.08 5/257 978781
/proc/meminfo: memFree=122190092/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=370088 memory=281424 CPUtime=12.64 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50894 0 0 0 1254 10 0 0 20 0 1 0 181907374 378970112 70356 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 92522 70356 3802 3540 0 80779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 370088 KiB
Current children cumulated memory: 281424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.38 4.17 4.09 5/257 978786
/proc/meminfo: memFree=122160304/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=380144 memory=291228 CPUtime=25.4 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 53409 0 0 0 2528 12 0 0 20 0 1 0 181907374 389267456 72807 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 95036 72807 3802 3540 0 83293 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 380144 KiB
Current children cumulated memory: 291228 KiB

[startup+51.1055 s]
/proc/loadavg: 4.34 4.19 4.10 5/257 978835
/proc/meminfo: memFree=122896564/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=382492 memory=293260 CPUtime=50.91 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 53976 0 0 0 5079 12 0 0 20 0 1 0 181907374 391671808 73315 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 95623 73315 3802 3540 0 83880 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 382492 KiB
Current children cumulated memory: 293260 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.09 5/257 978842
/proc/meminfo: memFree=122677808/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434120 memory=342952 CPUtime=101.93 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66229 0 0 0 10179 14 0 0 20 0 1 0 181907374 444538880 85738 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108530 85738 3978 3540 0 96787 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 434120 KiB
Current children cumulated memory: 342952 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/257 978854
/proc/meminfo: memFree=122653028/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434120 memory=342952 CPUtime=161.75 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66235 0 0 0 16160 15 0 0 20 0 1 0 181907374 444538880 85738 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108530 85738 3978 3540 0 96787 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 434120 KiB
Current children cumulated memory: 342952 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/257 978866
/proc/meminfo: memFree=122649240/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434120 memory=344660 CPUtime=221.57 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66241 0 0 0 22142 15 0 0 20 0 1 0 181907374 444538880 86165 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108530 86165 3978 3540 0 96787 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 434120 KiB
Current children cumulated memory: 344660 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/257 978876
/proc/meminfo: memFree=122638096/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434384 memory=346252 CPUtime=281.38 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66317 0 0 0 28122 16 0 0 20 0 1 0 181907374 444809216 86563 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108596 86563 3978 3540 0 96853 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 434384 KiB
Current children cumulated memory: 346252 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 978886
/proc/meminfo: memFree=122614664/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434384 memory=351720 CPUtime=341.19 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66357 0 0 0 34103 16 0 0 20 0 1 0 181907374 444809216 87930 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108596 87930 3978 3540 0 96853 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 434384 KiB
Current children cumulated memory: 351720 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/255 978896
/proc/meminfo: memFree=122600000/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434384 memory=352244 CPUtime=401 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66377 0 0 0 40084 16 0 0 20 0 1 0 181907374 444809216 88061 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108596 88061 3978 3540 0 96853 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 434384 KiB
Current children cumulated memory: 352244 KiB

[startup+462.3 s]
/proc/loadavg: 4.34 4.21 4.12 5/255 978908
/proc/meminfo: memFree=122566632/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=434384 memory=352292 CPUtime=460.83 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66394 0 0 0 46066 17 0 0 20 0 1 0 181907374 444809216 88073 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 108596 88073 3978 3540 0 96853 0

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

/proc/loadavg: 4.15 4.15 4.13 5/256 981288
/proc/meminfo: memFree=122074620/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3212.34 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87748 0 0 0 321206 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/256 981298
/proc/meminfo: memFree=122067276/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3272.15 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87847 0 0 0 327187 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/256 981309
/proc/meminfo: memFree=122061056/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3331.97 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87901 0 0 0 333169 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.15 4.12 5/256 981321
/proc/meminfo: memFree=122022392/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3391.78 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87956 0 0 0 339150 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/256 981332
/proc/meminfo: memFree=122013156/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3451.6 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88010 0 0 0 345131 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/255 981342
/proc/meminfo: memFree=122002276/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3511.42 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88064 0 0 0 351113 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 981398
/proc/meminfo: memFree=121436024/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3571.21 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357092 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

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

# cumulated CPU time of all completed processes:  user=3585.7 s, system=0.293247 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.13 4.11 5/258 981406
/proc/meminfo: memFree=121435324/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3572.91 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357262 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.11 5/258 981406
/proc/meminfo: memFree=121435172/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3579.28 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357899 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3579.28 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.11 6/258 981406
/proc/meminfo: memFree=121435224/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3582.47 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358218 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3582.47 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 981408
/proc/meminfo: memFree=121427152/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3584.06 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358377 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.11 5/258 981408
/proc/meminfo: memFree=121427124/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3584.86 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358457 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 981408
/proc/meminfo: memFree=121427124/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3585.66 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88146 0 0 0 358537 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3597 s]*
/proc/loadavg: 4.09 4.12 4.11 5/258 981408
/proc/meminfo: memFree=121426784/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3585.86 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88167 0 0 0 358557 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 140057 119653 4048 3540 0 128314 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 560228 KiB
Current children cumulated memory: 478612 KiB

[startup+3597.11 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 981408
/proc/meminfo: memFree=121426784/131524600 swapFree=131071996/131071996
[pid=978778] ppid=978775 vsize=498184 memory=416568 CPUtime=3585.96 cores=0,2
/proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88245 0 0 0 358567 29 0 0 20 0 1 0 181907374 510140416 104142 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0
/proc/978778/statm: 124546 104142 4048 3540 0 112803 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 498184 KiB
Current children cumulated memory: 416568 KiB

Child status: 0

Real time (s): 3597.13
CPU time (s): 3585.99
CPU user time (s): 3585.7
CPU system time (s): 0.293247
CPU usage (%): 99.6903
Max. virtual memory (cumulated for all children) (KiB): 560228
Max. memory (cumulated for all children) (KiB): 478612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.7
system time used= 0.293247
maximum resident set size= 478612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88266
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= 26
involuntary context switches= 24568


# summary of solver processes directly reported to runsolver:
#   pid: 978778
#   total CPU time (s): 3585.99
#   total CPU user time (s): 3585.7
#   total CPU system time (s): 0.293247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53604 second user time and 14.1039 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-18 12:10:33
IDJOB=4442985
IDBENCH=147859
IDSOLVER=3059
FILE ID=nodeC025/4442985-1721297420
RUNJOBID= nodeC025-1721293764-975184
SLURM_JOB_ID= 7542596
Free space on /tmp= 889964 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442985-1721297420/watcher-4442985-1721297420 -o /tmp/evaluation-result-4442985-1721297420/solver-4442985-1721297420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760  pbscip -f HOME/instance-4442985-1721297420.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1478100993

nodeC025.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		: 3665.015
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.72
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		: 3679.014
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	: 7007.09
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		: 3656.368
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.72
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		: 3600.111
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	: 7007.09
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		: 3664.946
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.72
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.016
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	: 7007.09
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		: 3612.269
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.872
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122671012 kB
MemAvailable:   128660924 kB
Buffers:          498492 kB
Cached:          6254828 kB
SwapCached:            0 kB
Active:          1043076 kB
Inactive:        7037360 kB
Active(anon):       1528 kB
Inactive(anon):  1363308 kB
Active(file):    1041548 kB
Inactive(file):  5674052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             49392 kB
Writeback:             4 kB
AnonPages:       1323748 kB
Mapped:           139368 kB
Shmem:             37720 kB
KReclaimable:     227916 kB
Slab:             355924 kB
SReclaimable:     227916 kB
SUnreclaim:       128008 kB
KernelStack:        4128 kB
PageTables:        12104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1607488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC025 at 2024-07-18 13:10:30