Trace number 4543838

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-07UNSAT 231.861 232.523

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_096.opb
MD5SUM9cd02fcfe8d6fb8da5e5e7c2985c86c8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.24052
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables93130
Total number of constraints1931
Number of constraints which are clauses971
Number of constraints which are cardinality constraints (but not clauses)960
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint97
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4543838-1753216987.opb>
0.20/0.29	c original problem has 93130 variables (93130 bin, 0 int, 0 impl, 0 cont) and 1931 constraints
0.20/0.29	c problem read in 0.27
0.20/0.29	c No objective function, only one solution is needed.
0.59/0.62	c presolving:
0.78/0.85	c    (0.8s) running MILP presolver
1.09/1.15	c    (1.1s) MILP presolver found nothing
1.27/1.35	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 970 upgd conss, 0 impls, 960 clqs
1.37/1.43	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
2.28/2.37	c    (2.4s) probing: 51/93130 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.28/2.37	c    (2.4s) probing aborted: 50/50 successive totally useless probings
2.37/2.43	c    (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
220.51/221.19	c    (221.2s) symmetry computation finished: 687 generators found (max: 687, log10 of symmetry group size: 3000.0) (symcode time: 218.53)
220.90/221.57	c dynamic symmetry handling statistics:
220.90/221.57	c    orbitopal reduction:       no components
220.90/221.57	c    orbital reduction:          1 components of sizes 123
220.90/221.57	c    lexicographic reduction:  123 permutations with support sizes 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194, 192, 194
220.90/221.57	c handled 4 out of 4 symmetry components
220.90/221.57	c (round 3, exhaustive) 282 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.00/221.61	c (round 4, medium)     561 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 561 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.00/221.64	c (round 5, medium)     837 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 837 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.00/221.68	c (round 6, medium)     1110 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1110 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.10/221.71	c (round 7, medium)     1380 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1380 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.10/221.75	c (round 8, medium)     1647 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1647 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.10/221.79	c (round 9, medium)     1911 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 1911 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.20/221.82	c (round 10, medium)     2172 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2172 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.20/221.86	c (round 11, medium)     2430 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2430 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.20/221.89	c (round 12, medium)     2685 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2685 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.30/221.93	c (round 13, medium)     2937 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 2937 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.30/221.96	c (round 14, medium)     3186 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3186 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.30/221.99	c (round 15, medium)     3432 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3432 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.41/222.03	c (round 16, medium)     3675 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3675 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.41/222.06	c (round 17, medium)     3915 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 3915 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.41/222.10	c (round 18, medium)     4152 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4152 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.51/222.13	c (round 19, medium)     4386 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4386 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.51/222.17	c (round 20, medium)     4617 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4617 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.60/222.20	c (round 21, medium)     4845 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 4845 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.60/222.23	c (round 22, medium)     5070 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5070 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.60/222.27	c (round 23, medium)     5292 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5292 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.70/222.30	c (round 24, medium)     5511 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5511 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.70/222.33	c (round 25, medium)     5727 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5727 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.70/222.37	c (round 26, medium)     5940 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 5940 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.80/222.40	c (round 27, medium)     6150 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6150 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.80/222.43	c (round 28, medium)     6357 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6357 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.80/222.47	c (round 29, medium)     6561 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6561 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.89/222.50	c (round 30, medium)     6762 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6762 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.89/222.53	c (round 31, medium)     6960 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 6960 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.89/222.57	c (round 32, medium)     7155 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7155 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.99/222.60	c (round 33, medium)     7347 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7347 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.99/222.63	c (round 34, medium)     7536 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7536 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
221.99/222.66	c (round 35, medium)     7722 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7722 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.09/222.70	c (round 36, medium)     7905 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 7905 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.09/222.73	c (round 37, medium)     8085 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8085 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.09/222.76	c (round 38, medium)     8262 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8262 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.09/222.79	c (round 39, medium)     8436 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8436 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.19/222.83	c (round 40, medium)     8607 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8607 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.19/222.86	c (round 41, medium)     8775 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8775 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.19/222.89	c (round 42, medium)     8940 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 8940 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.29/222.92	c (round 43, medium)     9102 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9102 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.29/222.95	c (round 44, medium)     9261 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9261 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.29/222.99	c (round 45, medium)     9417 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9417 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.40/223.02	c (round 46, medium)     9570 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9570 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.40/223.05	c (round 47, medium)     9720 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9720 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.40/223.08	c (round 48, medium)     9867 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 9867 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.50/223.11	c (round 49, medium)     10011 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10011 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.50/223.14	c (round 50, medium)     10152 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10152 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.50/223.17	c (round 51, medium)     10290 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10290 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.59/223.21	c (round 52, medium)     10425 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10425 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.59/223.24	c (round 53, medium)     10557 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10557 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.59/223.27	c (round 54, medium)     10686 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10686 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.69/223.30	c (round 55, medium)     10812 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10812 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.69/223.33	c (round 56, medium)     10935 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 10935 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.69/223.36	c (round 57, medium)     11055 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11055 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.69/223.39	c (round 58, medium)     11172 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11172 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.79/223.43	c (round 59, medium)     11286 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11286 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.79/223.46	c (round 60, medium)     11397 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11397 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.79/223.49	c (round 61, medium)     11505 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11505 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.89/223.52	c (round 62, medium)     11610 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11610 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.89/223.55	c (round 63, medium)     11712 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11712 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.89/223.58	c (round 64, medium)     11811 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11811 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.99/223.61	c (round 65, medium)     11907 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 11907 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.99/223.64	c (round 66, medium)     12000 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12000 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
222.99/223.67	c (round 67, medium)     12090 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12090 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.09/223.70	c (round 68, medium)     12177 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12177 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.09/223.73	c (round 69, medium)     12261 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12261 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.09/223.76	c (round 70, medium)     12342 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12342 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.09/223.79	c (round 71, medium)     12420 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12420 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.19/223.82	c (round 72, medium)     12495 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12495 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.19/223.85	c (round 73, medium)     12567 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12567 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.19/223.88	c (round 74, medium)     12636 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12636 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.29/223.91	c (round 75, medium)     12702 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12702 chg coeffs, 1931 upgd conss, 0 impls, 960 clqs
223.29/224.00	c (round 76, exhaustive) 12825 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12765 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs
223.50/224.14	c (round 77, exhaustive) 12936 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12882 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs
223.59/224.22	c (round 78, exhaustive) 13035 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 12987 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs
223.68/224.30	c (round 79, exhaustive) 13122 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 13080 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs
223.68/224.38	c (round 80, exhaustive) 13197 del vars, 0 del conss, 282 add conss, 0 chg bounds, 0 chg sides, 13161 chg coeffs, 1931 upgd conss, 0 impls, 961 clqs
223.88/224.51	c presolving (81 rounds: 81 fast, 81 medium, 9 exhaustive):
223.88/224.51	c  13260 deleted vars, 0 deleted constraints, 282 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 13230 changed coefficients
223.88/224.51	c  0 implications, 961 cliques
223.88/224.51	c presolved problem has 79870 variables (79870 bin, 0 int, 0 impl, 0 cont) and 2213 constraints
223.88/224.51	c     960 constraints of type <setppc>
223.88/224.51	c     282 constraints of type <orbitope>
223.88/224.51	c     971 constraints of type <logicor>
223.88/224.51	c transformed objective value is always integral (scale: 1)
223.88/224.51	c Presolving Time: 223.94
223.88/224.51	c - non default parameters ----------------------------------------------------------------------
223.88/224.51	c # SCIP version 10.0.0
223.88/224.51	c 
223.88/224.51	c # maximal time in seconds to run
223.88/224.51	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
223.88/224.51	c limits/time = 3596.993134
223.88/224.51	c 
223.88/224.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
223.88/224.51	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
223.88/224.51	c limits/memory = 27900
223.88/224.51	c 
223.88/224.51	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
223.88/224.51	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
223.88/224.51	c limits/solutions = 1
223.88/224.51	c 
223.88/224.51	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.
223.88/224.51	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
223.88/224.51	c misc/usesymmetry = 3
223.88/224.51	c 
223.88/224.51	c # belongs reading time to solving time?
223.88/224.51	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
223.88/224.51	c timing/reading = TRUE
223.88/224.51	c 
223.88/224.51	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
223.88/224.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.88/224.51	c propagating/symmetry/detectdoublelex = FALSE
223.88/224.51	c 
223.88/224.51	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
223.88/224.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.88/224.51	c propagating/symmetry/detectsubgroups = FALSE
223.88/224.51	c 
223.88/224.51	c # Type of symmetries that shall be computed?
223.88/224.51	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
223.88/224.51	c propagating/symmetry/symtype = 1
223.88/224.51	c 
223.88/224.51	c # Should components consisting of a single full reflection be handled?
223.88/224.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.88/224.51	c propagating/symmetry/usesimplesgncomp = FALSE
223.88/224.51	c 
223.88/224.51	c -----------------------------------------------------------------------------------------------
223.88/224.51	c start solving
223.88/224.52	c 
231.53/232.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
231.53/232.26	c   232s|     1 |     0 | 13341 |     - |   862M |   0 |  79k|2293 |1931 |   0 |  0 | 102 |   0 |    cutoff    |      --      |   0.00%| unknown
231.53/232.26	c   232s|     1 |     0 | 13341 |     - |   862M |   0 |  79k|2293 |1931 |   0 |  0 | 102 |   0 |    cutoff    |      --      |   0.00%| unknown
231.53/232.26	c 
231.53/232.26	c SCIP Status        : problem is solved [infeasible]
231.53/232.26	c Solving Time (sec) : 232.24
231.53/232.26	c Solving Nodes      : 1
231.53/232.26	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
231.53/232.26	c Dual Bound         : +1.00000000000000e+20
231.53/232.26	c Gap                : 0.00 %
231.53/232.26	s UNSATISFIABLE
231.53/232.26	c SCIP Status        : problem is solved [infeasible]
231.53/232.26	c Total Time         :     232.24
231.53/232.26	c   solving          :     232.24
231.53/232.26	c   presolving       :     223.94 (included in solving)
231.53/232.26	c   reading          :       0.27 (included in solving)
231.53/232.26	c   copying          :       0.00 (0 times copied the problem)
231.53/232.26	c Original Problem   :
231.53/232.26	c   Problem name     : HOME/instance-4543838-1753216987.opb
231.53/232.26	c   Variables        : 93130 (93130 binary, 0 integer, 0 implicit integer, 0 continuous)
231.53/232.26	c   Constraints      : 1931 initial, 1931 maximal
231.53/232.26	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
231.53/232.26	c Presolved Problem  :
231.53/232.26	c   Problem name     : t_HOME/instance-4543838-1753216987.opb
231.53/232.26	c   Variables        : 79870 (79870 binary, 0 integer, 0 implicit integer, 0 continuous)
231.53/232.26	c   Constraints      : 2213 initial, 2293 maximal
231.53/232.26	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
231.53/232.26	c   Nonzeros         : 213884 constraint, 79862 clique table
231.53/232.26	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
231.53/232.26	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   domcol           :       0.11       0.00      7          0          0          0          0          0          0          0          0          0
231.53/232.26	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   dualsparsify     :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
231.53/232.26	c   gateextraction   :       0.10       0.00      7          0          0          0          0          0          0          0          0          0
231.53/232.26	c   implics          :       0.12       0.00     81          0          0          0          0          0          0          0          0          0
231.53/232.26	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   milp             :       0.44       0.00      1          0          0          0          0          0          0          0          0          0
231.53/232.26	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   sparsify         :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
231.53/232.26	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   trivial          :       0.22       0.00     81          0          0          0          0          0          0          0          0          0
231.53/232.26	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   dualfix          :       0.22       0.00     81          0          0          0          0          0          0          0          0          0
231.53/232.26	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   probing          :       0.71       0.00      7        270          0          0          0          0          0          0          0          0
231.53/232.26	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   symmetry         :     219.14       0.00      1        282          0          0          0          0          0        282          0          0
231.53/232.26	c   vbounds          :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
231.53/232.26	c   setppc           :       1.40       0.00    165          0          0          0          0          0          0          0          0          0
231.53/232.26	c   linear           :       0.27       0.04      4          0          0          0          0          0          0          0          0          0
231.53/232.26	c   orbitope         :       0.10       0.00     78      12708          0          0          0          0          0          0          0          0
231.53/232.26	c   logicor          :       0.84       0.00    167          0          0          0          0          0          0          0          0      13230
231.53/232.26	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   components       :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
231.53/232.26	c   root node        :          -          -      -         27          -          -         27          -          -          -          -          -
231.53/232.26	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
231.53/232.26	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
231.53/232.26	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
231.53/232.26	c   setppc           :        960        960          0      11653          0          0          0          3       1996         23          0          0          0          0          0
231.53/232.26	c   orbitope         :        282        282          0      11530          0          0          0          1         58          4         27          0          0          0          0
231.53/232.26	c   logicor          :        971+      1051          0      10641          0          0          0          1         27          0          0          0          0          0          0
231.53/232.26	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
231.53/232.26	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   setppc           :       0.08       0.00       0.02       0.05       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   orbitope         :       5.93       0.00       0.00       5.93       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   logicor          :       0.11       0.00       0.01       0.10       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
231.53/232.26	c   dualfix          :          1          0          0          0
231.53/232.26	c   genvbounds       :          0          0          0          0
231.53/232.26	c   nlobbt           :          0          0          0          0
231.53/232.26	c   obbt             :          0          0          0          0
231.53/232.26	c   probing          :          0          0          0          0
231.53/232.26	c   pseudoobj        :          0          0          0          0
231.53/232.26	c   redcost          :          0          0          0          0
231.53/232.26	c   rootredcost      :          0          0          0          0
231.53/232.26	c   symmetry         :          0          0          0          0
231.53/232.26	c   vbounds          :       1058          0          0          0
231.53/232.26	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
231.53/232.26	c   dualfix          :       0.22       0.00       0.22       0.00       0.00       0.00
231.53/232.26	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   probing          :       0.71       0.00       0.71       0.00       0.00       0.00
231.53/232.26	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
231.53/232.26	c   symmetry         :     219.14       0.00     219.14       0.01       0.00       0.00
231.53/232.26	c   vbounds          :       0.07       0.00       0.04       0.02       0.00       0.00
231.53/232.26	c Symmetry           :
231.53/232.26	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
231.53/232.26	c   orbital reduction:          0 reductions applied,          0 cutoffs
231.53/232.26	c   lexicographic red:          0 reductions applied,          0 cutoffs
231.53/232.26	c   shadow tree time :       0.00 s
231.53/232.26	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
231.53/232.26	c   propagation      :       0.01         16         12          -        950      146.6          0        0.0          -          -          -
231.53/232.26	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
231.53/232.26	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
231.53/232.26	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
231.53/232.26	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
231.53/232.26	c   applied globally :       0.00          -          -          0        102      100.8          -          -          0          -          -
231.53/232.26	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
231.53/232.26	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
231.53/232.26	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
231.53/232.26	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
231.53/232.26	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
231.53/232.26	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
231.53/232.26	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
231.53/232.26	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
231.53/232.26	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
231.53/232.26	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
231.53/232.26	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c Pricers            :   ExecTime  SetupTime      Calls       Vars
231.53/232.26	c   problem variables:       0.00          -          0          0
231.53/232.26	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
231.53/232.26	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
231.53/232.26	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
231.53/232.26	c   LP solutions     :       0.00          -          -          0          0
231.53/232.26	c   relax solutions  :       0.00          -          -          0          0
231.53/232.26	c   pseudo solutions :       0.00          -          -          0          0
231.53/232.26	c   strong branching :       0.00          -          -          0          0
231.53/232.26	c   actconsdiving    :       0.00       0.00          0          0          0
231.53/232.26	c   adaptivediving   :       0.00       0.00          0          0          0
231.53/232.26	c   alns             :       0.00       0.00          0          0          0
231.53/232.26	c   bound            :       0.00       0.00          0          0          0
231.53/232.26	c   clique           :       1.08       0.00          1          0          0
231.53/232.26	c   coefdiving       :       0.00       0.00          0          0          0
231.53/232.26	c   completesol      :       0.00       0.00          0          0          0
231.53/232.26	c   conflictdiving   :       0.00       0.00          0          0          0
231.53/232.26	c   crossover        :       0.00       0.00          0          0          0
231.53/232.26	c   dins             :       0.00       0.00          0          0          0
231.53/232.26	c   distributiondivin:       0.00       0.00          0          0          0
231.53/232.26	c   dps              :       0.00       0.00          0          0          0
231.53/232.26	c   dualval          :       0.00       0.00          0          0          0
231.53/232.26	c   farkasdiving     :       0.00       0.00          0          0          0
231.53/232.26	c   feasjump         :       0.06       0.00          1          0          0
231.53/232.26	c   feaspump         :       0.00       0.00          0          0          0
231.53/232.26	c   fixandinfer      :       0.00       0.00          0          0          0
231.53/232.26	c   fracdiving       :       0.00       0.00          0          0          0
231.53/232.26	c   gins             :       0.00       0.00          0          0          0
231.53/232.26	c   guideddiving     :       0.00       0.00          0          0          0
231.53/232.26	c   indcoefdiving    :       0.00       0.00          0          0          0
231.53/232.26	c   indicator        :       0.00       0.00          0          0          0
231.53/232.26	c   indicatordiving  :       0.00       0.00          0          0          0
231.53/232.26	c   indoneopt        :       0.00       0.00          0          0          0
231.53/232.26	c   indrounding      :       0.00       0.00          0          0          0
231.53/232.26	c   indtwoopt        :       0.00       0.00          0          0          0
231.53/232.26	c   intdiving        :       0.00       0.00          0          0          0
231.53/232.26	c   intshifting      :       0.00       0.00          0          0          0
231.53/232.26	c   linesearchdiving :       0.00       0.00          0          0          0
231.53/232.26	c   localbranching   :       0.00       0.00          0          0          0
231.53/232.26	c   locks            :       0.08       0.00          1          0          0
231.53/232.26	c   lpface           :       0.00       0.00          0          0          0
231.53/232.26	c   mpec             :       0.00       0.00          0          0          0
231.53/232.26	c   multistart       :       0.00       0.00          0          0          0
231.53/232.26	c   mutation         :       0.00       0.00          0          0          0
231.53/232.26	c   nlpdiving        :       0.00       0.00          0          0          0
231.53/232.26	c   objpscostdiving  :       0.00       0.00          0          0          0
231.53/232.26	c   octane           :       0.00       0.00          0          0          0
231.53/232.26	c   ofins            :       0.00       0.00          0          0          0
231.53/232.26	c   oneopt           :       0.00       0.00          0          0          0
231.53/232.26	c   padm             :       0.00       0.00          0          0          0
231.53/232.26	c   proximity        :       0.00       0.00          0          0          0
231.53/232.26	c   pscostdiving     :       0.00       0.00          0          0          0
231.53/232.26	c   randrounding     :       0.00       0.00          0          0          0
231.53/232.26	c   rens             :       0.00       0.00          0          0          0
231.53/232.26	c   reoptsols        :       0.00       0.00          0          0          0
231.53/232.26	c   repair           :       0.00       0.00          0          0          0
231.53/232.26	c   rins             :       0.00       0.00          0          0          0
231.53/232.26	c   rootsoldiving    :       0.00       0.00          0          0          0
231.53/232.26	c   rounding         :       0.00       0.00          0          0          0
231.53/232.26	c   scheduler        :       0.00       0.00          0          0          0
231.53/232.26	c   shiftandpropagate:       0.16       0.00          1          0          0
231.53/232.26	c   shifting         :       0.00       0.00          0          0          0
231.53/232.26	c   simplerounding   :       0.00       0.00          0          0          0
231.53/232.26	c   smallcard        :       0.00       0.00          0          0          0
231.53/232.26	c   subnlp           :       0.00       0.00          0          0          0
231.53/232.26	c   trivial          :       0.08       0.00          2          0          0
231.53/232.26	c   trivialnegation  :       0.00       0.00          0          0          0
231.53/232.26	c   trustregion      :       0.00       0.00          0          0          0
231.53/232.26	c   trysol           :       0.00       0.00          0          0          0
231.53/232.26	c   twoopt           :       0.00       0.00          0          0          0
231.53/232.26	c   undercover       :       0.00       0.00          0          0          0
231.53/232.26	c   vbounds          :       5.42       0.00          1          0          0
231.53/232.26	c   veclendiving     :       0.00       0.00          0          0          0
231.53/232.26	c   zeroobj          :       0.00       0.00          0          0          0
231.53/232.26	c   zirounding       :       0.00       0.00          0          0          0
231.53/232.26	c   other solutions  :          -          -          -          0          -
231.53/232.26	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	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
231.53/232.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
231.53/232.26	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
231.53/232.26	c   dual LP          :       0.88          1      13334   13334.00   15203.22       0.00          0
231.53/232.26	c   lex dual LP      :       0.00          0          0       0.00          -
231.53/232.26	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
231.53/232.26	c   resolve instable :       0.00          0          0       0.00          -
231.53/232.26	c   diving/probing LP:       0.02          1          7       7.00     282.24
231.53/232.26	c   strong branching :       0.00          0          0       0.00          -          -          -          0
231.53/232.26	c     (at root node) :          -          0          0       0.00          -
231.53/232.26	c   conflict analysis:       0.00          0          0       0.00          -
231.53/232.26	c B&B Tree           :
231.53/232.26	c   number of runs   :          1
231.53/232.26	c   nodes            :          1 (0 internal, 1 leaves)
231.53/232.26	c   feasible leaves  :          0
231.53/232.26	c   infeas. leaves   :          1
231.53/232.26	c   objective leaves :          0
231.53/232.26	c   nodes (total)    :          1 (0 internal, 1 leaves)
231.53/232.26	c   nodes left       :          0
231.53/232.26	c   max depth        :          0
231.53/232.26	c   max depth (total):          0
231.53/232.26	c   backtracks       :          0 (0.0%)
231.53/232.26	c   early backtracks :          0 (0.0%)
231.53/232.26	c   nodes exc. ref.  :          0 (0.0%)
231.53/232.26	c   delayed cutoffs  :          0
231.53/232.26	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
231.53/232.26	c   avg switch length:       2.00
231.53/232.26	c   switching time   :       0.00
231.53/232.26	c Root Node          :
231.53/232.26	c   First LP value   :          -
231.53/232.26	c   First LP Iters   :          0
231.53/232.26	c   First LP Time    :       0.88
231.53/232.26	c   Final Dual Bound :          -
231.53/232.26	c   Final Root Iters :      13334
231.53/232.26	c   Root LP Estimate :                     -
231.53/232.26	c Solution           :
231.53/232.26	c   Solutions found  :          0 (0 improvements)
231.53/232.26	c   Primal Bound     : infeasible
231.53/232.26	c   Dual Bound       :          -
231.53/232.26	c   Gap              :       0.00 %
231.53/232.26	c Integrals          :      Total       Avg%
231.53/232.26	c   primal-dual      :          -          - (problem infeasible)
231.53/232.26	c   primal-ref       :          -          - (problem infeasible)
231.53/232.26	c   dual-ref         :          -          - (problem infeasible)
231.83/232.50	c Time complete: 231.837.

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: 63837 MiB (45296 MiB free)
  memory of node 1: 64465 MiB (50688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543838-1753216987/watcher-4543838-1753216987 -o /tmp/evaluation-result-4543838-1753216987/solver-4543838-1753216987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158213 --watchdog 3760 pbscip -f HOME/instance-4543838-1753216987.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=159420, runsolver pid=159417

[startup+0.100108 s]*
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=98256400/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=78444 memory=50432 CPUtime=0.1 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 9668 0 0 0 7 3 0 0 20 0 1 0 237378107 80326656 12576 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 19611 12576 3232 3530 0 11062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 78444 KiB
Current children cumulated memory: 50432 KiB

[startup+0.213045 s]*
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=98216080/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=116820 memory=88192 CPUtime=0.2 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 19136 0 0 0 15 5 0 0 20 0 1 0 237378107 119623680 22048 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 29205 22048 3232 3530 0 20656 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116820 KiB
Current children cumulated memory: 88192 KiB

[startup+0.312918 s]*
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=98184076/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=155240 memory=127896 CPUtime=0.31 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 29155 0 0 0 23 8 0 0 20 0 1 0 237378107 158965760 31974 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 38810 31974 3520 3530 0 30261 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 155240 KiB
Current children cumulated memory: 127896 KiB

[startup+0.70027 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=98087308/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=290620 memory=255512 CPUtime=0.68 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 61044 0 0 0 51 17 0 0 20 0 1 0 237378107 297594880 63878 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 72655 63878 3552 3530 0 64106 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 290620 KiB
Current children cumulated memory: 255512 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=98006768/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=324412 memory=289340 CPUtime=1.47 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 73983 0 0 0 127 20 0 0 20 0 1 0 237378107 332197888 72335 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 81103 72335 3680 3530 0 72554 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 324412 KiB
Current children cumulated memory: 289340 KiB

[startup+3.11277 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 159421
/proc/meminfo: memFree=97894248/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=621788 memory=423128 CPUtime=3.09 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 103441 0 0 0 282 27 0 0 20 0 1 0 237378107 636710912 105782 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 155447 105782 3744 3530 0 146898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 621788 KiB
Current children cumulated memory: 423128 KiB

[startup+6.30032 s]
/proc/loadavg: 4.10 4.10 4.13 5/250 159421
/proc/meminfo: memFree=97755416/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=748400 memory=557812 CPUtime=6.26 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 135100 0 0 0 595 31 0 0 20 0 1 0 237378107 766361600 139453 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 187100 139453 3744 3530 0 178551 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 748400 KiB
Current children cumulated memory: 557812 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.13 5/250 159421
/proc/meminfo: memFree=97634328/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=867740 memory=685372 CPUtime=12.65 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 164940 0 0 0 1229 36 0 0 20 0 1 0 237378107 888565760 171343 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 216935 171343 3744 3530 0 208386 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 867740 KiB
Current children cumulated memory: 685372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.13 5/250 159421
/proc/meminfo: memFree=97472204/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1019828 memory=841780 CPUtime=25.42 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 202997 0 0 0 2499 43 0 0 20 0 1 0 237378107 1044303872 210445 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 254957 210445 3744 3530 0 246408 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1019828 KiB
Current children cumulated memory: 841780 KiB

[startup+51.1127 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 159422
/proc/meminfo: memFree=97396864/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1086044 memory=907956 CPUtime=50.96 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 219551 0 0 0 5051 45 0 0 20 0 1 0 237378107 1112109056 226989 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 271511 226989 3744 3530 0 262962 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1086044 KiB
Current children cumulated memory: 907956 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 159423
/proc/meminfo: memFree=97400116/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1086048 memory=907956 CPUtime=102.03 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 219553 0 0 0 10157 46 0 0 20 0 1 0 237378107 1112113152 226989 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 271512 226989 3744 3530 0 262963 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1086048 KiB
Current children cumulated memory: 907956 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/250 159425
/proc/meminfo: memFree=97400588/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1086052 memory=907956 CPUtime=161.87 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 219554 0 0 0 16141 46 0 0 20 0 1 0 237378107 1112117248 226989 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 271513 226989 3744 3530 0 262964 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1086052 KiB
Current children cumulated memory: 907956 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/250 159517
/proc/meminfo: memFree=97848300/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1062844 memory=890456 CPUtime=221.7 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 220984 0 0 0 22122 48 0 0 20 0 1 0 237378107 1088352256 222614 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265711 222614 3744 3530 0 257162 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1062844 KiB
Current children cumulated memory: 890456 KiB

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

# cumulated CPU time of all completed processes:  user=231.335 s, system=0.526511 s

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

[startup+224 s]*
/proc/loadavg: 4.09 4.09 4.11 5/250 159517
/proc/meminfo: memFree=97844204/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1062844 memory=890456 CPUtime=223.4 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 220999 0 0 0 22292 48 0 0 20 0 1 0 237378107 1088352256 222614 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265711 222614 3744 3530 0 257162 0
Current children cumulated CPU time: 223.4 s
Current children cumulated vsize: 1062844 KiB
Current children cumulated memory: 890456 KiB

[startup+227.2 s]
/proc/loadavg: 4.09 4.09 4.11 5/250 159517
/proc/meminfo: memFree=97844204/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1062844 memory=891096 CPUtime=226.57 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221011 0 0 0 22609 48 0 0 20 0 1 0 237378107 1088352256 222774 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265711 222774 3904 3530 0 257162 0
Current children cumulated CPU time: 226.57 s
Current children cumulated vsize: 1062844 KiB
Current children cumulated memory: 891096 KiB

[startup+230.4 s]
/proc/loadavg: 4.08 4.08 4.11 5/250 159517
/proc/meminfo: memFree=97844456/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1062844 memory=891096 CPUtime=229.74 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221011 0 0 0 22926 48 0 0 20 0 1 0 237378107 1088352256 222774 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265711 222774 3904 3530 0 257162 0
Current children cumulated CPU time: 229.74 s
Current children cumulated vsize: 1062844 KiB
Current children cumulated memory: 891096 KiB

[startup+231.2 s]
/proc/loadavg: 4.08 4.08 4.11 5/250 159517
/proc/meminfo: memFree=97841788/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1063440 memory=891736 CPUtime=230.53 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221149 0 0 0 23005 48 0 0 20 0 1 0 237378107 1088962560 222934 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265860 222934 3936 3530 0 257311 0
Current children cumulated CPU time: 230.53 s
Current children cumulated vsize: 1063440 KiB
Current children cumulated memory: 891736 KiB

[startup+232 s]*
/proc/loadavg: 4.08 4.08 4.11 5/250 159517
/proc/meminfo: memFree=97841812/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1063440 memory=891864 CPUtime=231.34 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221156 0 0 0 23086 48 0 0 20 0 1 0 237378107 1088962560 222966 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 265860 222966 3936 3530 0 257311 0
Current children cumulated CPU time: 231.34 s
Current children cumulated vsize: 1063440 KiB
Current children cumulated memory: 891864 KiB

[startup+232.4 s]
/proc/loadavg: 4.08 4.08 4.11 5/250 159517
/proc/meminfo: memFree=97841812/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=1046624 memory=875052 CPUtime=231.73 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221156 0 0 0 23125 48 0 0 20 0 1 0 237378107 1071742976 218763 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 261656 218763 3936 3530 0 253107 0
Current children cumulated CPU time: 231.73 s
Current children cumulated vsize: 1046624 KiB
Current children cumulated memory: 875052 KiB

[startup+232.5 s]
/proc/loadavg: 4.08 4.08 4.11 5/250 159517
/proc/meminfo: memFree=97841812/131382112 swapFree=33001664/33010684
[pid=159420] ppid=159417 vsize=865484 memory=501384 CPUtime=231.83 cores=1,3
/proc/159420/stat : 159420 (pbscip) R 159417 159420 158201 0 -1 4194304 221157 0 0 0 23133 50 0 0 20 0 1 0 237378107 886255616 125346 18446744073709551615 4235264 18693293 140732835213552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28594176 140732835219847 140732835219946 140732835219946 140732835225550 0
/proc/159420/statm: 216371 125346 3936 3530 0 207822 0
Current children cumulated CPU time: 231.83 s
Current children cumulated vsize: 865484 KiB
Current children cumulated memory: 501384 KiB

Child status: 0

Real time (s): 232.523
CPU time (s): 231.861
CPU user time (s): 231.335
CPU system time (s): 0.526511
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 1086056
Max. memory (cumulated for all children) (KiB): 908084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.335
system time used= 0.526511
maximum resident set size= 908084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221163
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= 84
involuntary context switches= 138


# summary of solver processes directly reported to runsolver:
#   pid: 159420
#   total CPU time (s): 231.861
#   total CPU user time (s): 231.335
#   total CPU system time (s): 0.526511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21598 second user time and 2.18984 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-22 22:43:07
IDJOB=4543838
IDBENCH=174690
IDSOLVER=3365
FILE ID=nodeC005/4543838-1753216987
RUNJOBID= nodeC005-1753211112-158213
SLURM_JOB_ID= 9687789
Free space on /tmp= 432956 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_10_096.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543838-1753216987/watcher-4543838-1753216987 -o /tmp/evaluation-result-4543838-1753216987/solver-4543838-1753216987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158213 --watchdog 3760  pbscip -f HOME/instance-4543838-1753216987.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 9cd02fcfe8d6fb8da5e5e7c2985c86c8
RANDOM SEED=1321922013

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.362
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.098
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.226
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.244
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.471
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.395
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.406
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.337
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        98288404 kB
MemAvailable:   122445084 kB
Buffers:              12 kB
Cached:         24928076 kB
SwapCached:          776 kB
Active:          7856288 kB
Inactive:       24514412 kB
Active(anon):    7424792 kB
Inactive(anon):    38384 kB
Active(file):     431496 kB
Inactive(file): 24476028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33001664 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20500 kB
Writeback:             0 kB
AnonPages:       7444500 kB
Mapped:           135524 kB
Shmem:             20564 kB
KReclaimable:     177564 kB
Slab:             268756 kB
SReclaimable:     177564 kB
SUnreclaim:        91192 kB
KernelStack:        4032 kB
PageTables:        17956 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8286160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1581056 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC005 at 2025-07-22 22:47:00