Trace number 4525867

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 28.2895 28.6205

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-langford-3-11_wcsp.wbo
MD5SUMdc0c1b337d286273cd261e7868deb02f
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkUNSAT
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.06023
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints40843
Number of soft constraints40810
Number of constraints which are clauses40810
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 1
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 40810
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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.02	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-4525867-1751626115.wbo>
0.37/0.49	c original problem has 41899 variables (41899 bin, 0 int, 0 impl, 0 cont) and 81654 constraints
0.37/0.49	c problem read in 0.48
1.10/1.27	c presolving:
1.40/1.54	c (round 1, fast)       81620 del vars, 40811 del conss, 0 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 33 clqs
1.50/1.66	c    (1.6s) running MILP presolver
2.08/2.25	c    (2.2s) MILP presolver (17 rounds): 0 aggregations, 462 fixings, 0 bound changes
2.08/2.26	c (round 2, medium)     82082 del vars, 81654 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 14229 clqs
2.19/2.32	c (round 3, exhaustive) 82082 del vars, 81654 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 14229 clqs
2.39/2.57	c (round 4, exhaustive) 82107 del vars, 81654 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 17946 clqs
2.39/2.58	c (round 5, fast)       82107 del vars, 81899 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 17946 clqs
2.49/2.65	c (round 6, exhaustive) 82132 del vars, 81899 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 17084 clqs
2.49/2.65	c (round 7, fast)       82132 del vars, 82078 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 17084 clqs
2.59/2.71	c (round 8, exhaustive) 82157 del vars, 82081 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 16110 clqs
2.59/2.72	c (round 9, fast)       82157 del vars, 82414 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 16110 clqs
2.69/2.80	c (round 10, exhaustive) 82182 del vars, 82418 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15234 clqs
2.69/2.80	c (round 11, fast)       82182 del vars, 82751 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15234 clqs
2.69/2.81	c    (2.8s) running MILP presolver
2.69/2.83	c    (2.8s) MILP presolver found nothing
2.78/2.90	c (round 12, exhaustive) 82207 del vars, 82756 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 14372 clqs
2.78/2.90	c (round 13, fast)       82207 del vars, 83048 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 14372 clqs
2.78/2.97	c (round 14, exhaustive) 82232 del vars, 83054 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 13273 clqs
2.78/2.97	c (round 15, fast)       82232 del vars, 83215 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 13273 clqs
3.07/3.22	c (round 16, exhaustive) 82257 del vars, 83223 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 16319 clqs
3.07/3.23	c (round 17, fast)       82257 del vars, 83506 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 16319 clqs
3.07/3.23	c (round 18, exhaustive) 82257 del vars, 83516 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 16319 clqs
3.17/3.30	c (round 19, exhaustive) 82282 del vars, 83518 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.30	c (round 20, fast)       82282 del vars, 83975 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.32	c    (3.3s) running MILP presolver
3.17/3.33	c    (3.3s) MILP presolver found nothing
3.17/3.34	c (round 21, exhaustive) 82282 del vars, 83989 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.34	c (round 22, exhaustive) 82282 del vars, 84003 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.35	c (round 23, exhaustive) 82282 del vars, 84017 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.36	c (round 24, exhaustive) 82282 del vars, 84031 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.17/3.36	c (round 25, exhaustive) 82282 del vars, 84042 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 15345 clqs
3.28/3.44	c (round 26, exhaustive) 82307 del vars, 84044 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 14439 clqs
3.28/3.44	c (round 27, fast)       82307 del vars, 84587 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 14439 clqs
3.38/3.51	c (round 28, exhaustive) 82332 del vars, 84592 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 13402 clqs
3.38/3.51	c (round 29, fast)       82332 del vars, 85222 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 13402 clqs
3.38/3.58	c (round 30, exhaustive) 82357 del vars, 85228 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 12262 clqs
3.38/3.58	c (round 31, fast)       82357 del vars, 85561 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 12262 clqs
3.38/3.59	c    (3.6s) running MILP presolver
3.48/3.60	c    (3.6s) MILP presolver found nothing
3.48/3.61	c (round 32, exhaustive) 82357 del vars, 85582 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 12262 clqs
3.48/3.61	c (round 33, exhaustive) 82357 del vars, 85595 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 12262 clqs
3.48/3.62	c (round 34, exhaustive) 82357 del vars, 85608 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 12262 clqs
3.48/3.68	c (round 35, exhaustive) 82382 del vars, 85614 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.48/3.69	c (round 36, fast)       82382 del vars, 85806 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.58/3.70	c (round 37, exhaustive) 82382 del vars, 85857 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.58/3.71	c (round 38, exhaustive) 82382 del vars, 85908 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.58/3.72	c (round 39, exhaustive) 82382 del vars, 85959 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.58/3.73	c (round 40, exhaustive) 82382 del vars, 85995 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.58/3.74	c (round 41, exhaustive) 82382 del vars, 86005 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10948 clqs
3.67/3.87	c (round 42, exhaustive) 82407 del vars, 86010 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.67/3.87	c (round 43, fast)       82407 del vars, 86278 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.67/3.88	c (round 44, exhaustive) 82407 del vars, 86291 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.67/3.88	c (round 45, exhaustive) 82407 del vars, 86301 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.67/3.89	c (round 46, exhaustive) 82407 del vars, 86311 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.90	c (round 47, exhaustive) 82407 del vars, 86321 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.90	c (round 48, exhaustive) 82407 del vars, 86331 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.91	c (round 49, exhaustive) 82407 del vars, 86341 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.92	c (round 50, exhaustive) 82407 del vars, 86351 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.93	c (round 51, exhaustive) 82407 del vars, 86361 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.93	c (round 52, exhaustive) 82407 del vars, 86371 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.94	c (round 53, exhaustive) 82407 del vars, 86381 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.95	c (round 54, exhaustive) 82407 del vars, 86389 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.77/3.95	c (round 55, exhaustive) 82407 del vars, 86397 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 11251 clqs
3.87/4.04	c (round 56, exhaustive) 82432 del vars, 86404 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.05	c (round 57, fast)       82432 del vars, 87002 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.05	c    (4.0s) running MILP presolver
3.87/4.06	c    (4.0s) MILP presolver found nothing
3.87/4.07	c (round 58, exhaustive) 82432 del vars, 87011 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.07	c (round 59, exhaustive) 82432 del vars, 87019 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.08	c (round 60, exhaustive) 82432 del vars, 87027 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.09	c (round 61, exhaustive) 82432 del vars, 87035 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.09	c (round 62, exhaustive) 82432 del vars, 87043 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.87/4.10	c (round 63, exhaustive) 82432 del vars, 87051 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 10644 clqs
3.97/4.16	c (round 64, exhaustive) 82457 del vars, 87058 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
3.97/4.16	c (round 65, fast)       82457 del vars, 87546 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
3.97/4.17	c (round 66, exhaustive) 82457 del vars, 87635 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
3.97/4.18	c (round 67, exhaustive) 82457 del vars, 87724 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
3.97/4.19	c (round 68, exhaustive) 82457 del vars, 87813 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.20	c (round 69, exhaustive) 82457 del vars, 87902 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.21	c (round 70, exhaustive) 82457 del vars, 87967 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.22	c (round 71, exhaustive) 82457 del vars, 88013 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.23	c (round 72, exhaustive) 82457 del vars, 88042 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.24	c (round 73, exhaustive) 82457 del vars, 88062 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.25	c (round 74, exhaustive) 82457 del vars, 88082 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.26	c (round 75, exhaustive) 82457 del vars, 88097 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.27	c (round 76, exhaustive) 82457 del vars, 88109 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.28	c (round 77, exhaustive) 82457 del vars, 88121 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.07/4.29	c (round 78, exhaustive) 82457 del vars, 88133 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 9437 clqs
4.17/4.34	c (round 79, exhaustive) 82482 del vars, 88133 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.17/4.34	c (round 80, fast)       82482 del vars, 88466 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.17/4.35	c    (4.3s) running MILP presolver
4.17/4.36	c    (4.3s) MILP presolver found nothing
4.17/4.37	c (round 81, exhaustive) 82482 del vars, 88567 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.17/4.38	c (round 82, exhaustive) 82482 del vars, 88668 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.17/4.39	c (round 83, exhaustive) 82482 del vars, 88749 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.17/4.40	c (round 84, exhaustive) 82482 del vars, 88809 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.40	c (round 85, exhaustive) 82482 del vars, 88849 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.41	c (round 86, exhaustive) 82482 del vars, 88880 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.42	c (round 87, exhaustive) 82482 del vars, 88911 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.43	c (round 88, exhaustive) 82482 del vars, 88942 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.44	c (round 89, exhaustive) 82482 del vars, 88973 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.45	c (round 90, exhaustive) 82482 del vars, 89004 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.46	c (round 91, exhaustive) 82482 del vars, 89035 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.47	c (round 92, exhaustive) 82482 del vars, 89066 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.48	c (round 93, exhaustive) 82482 del vars, 89097 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.27/4.49	c (round 94, exhaustive) 82482 del vars, 89128 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.50	c (round 95, exhaustive) 82482 del vars, 89159 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.51	c (round 96, exhaustive) 82482 del vars, 89190 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.52	c (round 97, exhaustive) 82482 del vars, 89221 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.53	c (round 98, exhaustive) 82482 del vars, 89252 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.54	c (round 99, exhaustive) 82482 del vars, 89283 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.55	c (round 100, exhaustive) 82482 del vars, 89314 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.56	c (round 101, exhaustive) 82482 del vars, 89345 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.56	c (round 102, exhaustive) 82482 del vars, 89376 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.57	c (round 103, exhaustive) 82482 del vars, 89407 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.58	c (round 104, exhaustive) 82482 del vars, 89438 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.37/4.59	c (round 105, exhaustive) 82482 del vars, 89461 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.46/4.60	c (round 106, exhaustive) 82482 del vars, 89476 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.46/4.60	c (round 107, exhaustive) 82482 del vars, 89484 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.46/4.61	c (round 108, exhaustive) 82482 del vars, 89492 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.46/4.62	c (round 109, exhaustive) 82482 del vars, 89500 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 8136 clqs
4.46/4.66	c    (4.6s) probing cycle finished: starting next cycle
4.56/4.71	c    (4.7s) probing: 51/209 (24.4%) - 0 fixings, 418 aggregations, 46244 implications, 0 bound changes
4.56/4.71	c    (4.7s) probing aborted: 50/50 successive totally useless probings
4.56/4.72	c (round 110, exhaustive) 82500 del vars, 89500 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 7643 clqs
4.56/4.72	c (round 111, fast)       82500 del vars, 89690 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 7643 clqs
4.56/4.72	c    (4.7s) running MILP presolver
4.56/4.73	c    (4.7s) MILP presolver found nothing
4.56/4.74	c (round 112, exhaustive) 82500 del vars, 89803 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 7643 clqs
4.56/4.74	c (round 113, exhaustive) 82500 del vars, 89916 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 7643 clqs
4.56/4.75	c (round 114, exhaustive) 82500 del vars, 90029 del conss, 14229 add conss, 81620 chg bounds, 0 chg sides, 0 chg coeffs, 14229 upgd conss, 0 impls, 7643 clqs
4.56/4.76	c    (4.7s) probing: 56/209 (26.8%) - 0 fixings, 418 aggregations, 46244 implications, 0 bound changes
4.56/4.76	c    (4.7s) probing aborted: 50/50 successive totally useless probings
4.56/4.76	c    (4.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.56/4.77	c    (4.8s) no symmetry present (symcode time: 0.00)
4.56/4.77	c presolving (115 rounds: 115 fast, 97 medium, 96 exhaustive):
4.56/4.77	c  82500 deleted vars, 90029 deleted constraints, 14229 added constraints, 81620 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.56/4.77	c  0 implications, 7643 cliques
4.56/4.77	c presolved problem has 209 variables (209 bin, 0 int, 0 impl, 0 cont) and 5854 constraints
4.56/4.77	c    5854 constraints of type <setppc>
4.56/4.77	c transformed objective value is always integral (scale: 1)
4.56/4.77	c Presolving Time: 4.02
4.56/4.77	c - non default parameters ----------------------------------------------------------------------
4.56/4.77	c # SCIP version 10.0.0
4.56/4.77	c 
4.56/4.77	c # maximal time in seconds to run
4.56/4.77	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.56/4.77	c limits/time = 3596.993206
4.56/4.77	c 
4.56/4.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.56/4.77	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.56/4.77	c limits/memory = 27900
4.56/4.77	c 
4.56/4.77	c # belongs reading time to solving time?
4.56/4.77	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.56/4.77	c timing/reading = TRUE
4.56/4.77	c 
4.56/4.77	c -----------------------------------------------------------------------------------------------
4.56/4.77	c start solving
4.56/4.77	c 
4.66/4.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.66/4.80	c   4.8s|     1 |     0 |    23 |     - |   291M |   0 | 209 |5908 |5854 |   0 |  0 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
4.76/4.94	c   4.9s|     1 |     0 |   774 |     - |   292M |   0 | 209 |5908 |5857 |   3 |  1 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
4.86/5.02	c   5.0s|     1 |     0 |   814 |     - |   293M |   0 | 209 |5908 |5860 |   6 |  2 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
4.96/5.12	c   5.1s|     1 |     0 |   853 |     - |   293M |   0 | 209 |5908 |5862 |   8 |  3 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.05/5.20	c   5.2s|     1 |     0 |   892 |     - |   296M |   0 | 209 |5908 |5867 |  13 |  4 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.15/5.34	c   5.3s|     1 |     0 |   936 |     - |   298M |   0 | 209 |5908 |5871 |  17 |  5 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.25/5.47	c   5.5s|     1 |     0 |   977 |     - |   301M |   0 | 209 |5908 |5876 |  22 |  6 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.35/5.57	c   5.5s|     1 |     0 |  1003 |     - |   303M |   0 | 209 |5913 |5880 |  26 |  7 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.55/5.71	c   5.7s|     1 |     0 |  1039 |     - |   306M |   0 | 209 |5913 |5884 |  30 |  8 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.55/5.79	c   5.8s|     1 |     0 |  1060 |     - |   310M |   0 | 209 |5917 |5888 |  34 |  9 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.75/5.91	c   5.9s|     1 |     0 |  1095 |     - |   315M |   0 | 209 |5917 |5892 |  38 | 10 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.75/5.92	c   5.9s|     1 |     0 |  1148 |     - |   316M |   0 | 209 |5917 |5895 |  41 | 11 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.85/6.09	c   6.1s|     1 |     2 |  1263 |     - |   316M |   0 | 209 |5926 |5895 |  41 | 11 |  72 |  15 | 0.000000e+00 |      --      |    Inf | unknown
6.54/6.71	c   6.7s|   100 |    11 |  2163 |  10.3 |   320M |  18 | 209 |6008 |5877 |  67 |  1 | 154 |  15 | 0.000000e+00 |      --      |    Inf |  12.88%
6.83/7.09	c   7.1s|   200 |    13 |  3114 |   9.9 |   324M |  20 | 209 |6074 |   0 |  84 |  0 | 220 |  15 | 0.000000e+00 |      --      |    Inf |  19.24%
7.42/7.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.42/7.63	c   7.6s|   300 |     9 |  3974 |   9.5 |   327M |  20 | 209 |6157 |   0 | 105 |  0 | 303 |  15 | 0.000000e+00 |      --      |    Inf |  29.86%
7.92/8.12	c   8.1s|   400 |    11 |  4977 |   9.6 |   332M |  20 | 209 |6224 |5876 | 125 |  1 | 370 |  15 | 0.000000e+00 |      --      |    Inf |  30.25%
8.50/8.73	c   8.7s|   500 |     9 |  5893 |   9.5 |   335M |  20 | 209 |6299 |5875 | 148 |  1 | 447 |  15 | 0.000000e+00 |      --      |    Inf |  37.00%
9.17/9.44	c   9.4s|   600 |     7 |  6918 |   9.6 |   340M |  20 | 209 |6373 |5872 | 172 |  1 | 522 |  15 | 0.000000e+00 |      --      |    Inf |  68.65%
9.37/9.67	c   9.7s|   700 |    11 |  7706 |   9.4 |   340M |  20 | 209 |6466 |   0 | 178 |  0 | 615 |  15 | 0.000000e+00 |      --      |    Inf |  68.70%
10.55/10.88	c  10.9s|   800 |    10 |  8622 |   9.4 |   344M |  20 | 209 |6552 |   0 | 207 |  0 | 704 |  15 | 0.000000e+00 |      --      |    Inf |  75.33%
11.44/11.74	c  11.7s|   900 |    10 |  9413 |   9.2 |   345M |  20 | 209 |6652 |5879 | 239 |  2 | 807 |  15 | 0.000000e+00 |      --      |    Inf |  76.62%
11.94/12.21	c  12.2s|  1000 |     9 | 10198 |   9.1 |   345M |  20 | 209 |6726 |5877 | 261 |  1 | 881 |  15 | 0.000000e+00 |      --      |    Inf |  76.91%
13.24/13.58	c  13.6s|  1100 |    11 | 11433 |   9.4 |   345M |  20 | 209 |6797 |   0 | 338 |  0 | 952 |  15 | 0.000000e+00 |      --      |    Inf |  82.28%
13.85/14.14	c  14.1s|  1200 |    11 | 12349 |   9.3 |   345M |  20 | 209 |6854 |   0 | 372 |  0 |1016 |  15 | 0.000000e+00 |      --      |    Inf |  82.72%
14.33/14.70	c  14.7s|  1300 |    12 | 14453 |  10.2 |   346M |  20 | 209 |6918 |   0 | 384 |  0 |1080 |  15 | 0.000000e+00 |      --      |    Inf |  82.97%
14.93/15.23	c  15.2s|  1400 |    14 | 15375 |  10.2 |   346M |  20 | 209 |6980 |   0 | 417 |  0 |1144 |  15 | 0.000000e+00 |      --      |    Inf |  83.63%
15.23/15.54	c  15.5s|  1500 |    13 | 16040 |   9.9 |   346M |  20 | 209 |7060 |5876 | 430 |  1 |1224 |  15 | 0.000000e+00 |      --      |    Inf |  84.47%
15.43/15.77	c  15.8s|  1600 |    14 | 16678 |   9.7 |   346M |  20 | 209 |7147 |   0 | 438 |  0 |1311 |  15 | 0.000000e+00 |      --      |    Inf |  84.56%
15.93/16.25	c  16.2s|  1700 |    14 | 17624 |   9.7 |   346M |  20 | 209 |7207 |5876 | 457 |  1 |1371 |  15 | 0.000000e+00 |      --      |    Inf |  84.78%
16.43/16.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.43/16.75	c  16.7s|  1800 |    13 | 18545 |   9.7 |   346M |  20 | 209 |7277 |5876 | 486 |  1 |1441 |  15 | 0.000000e+00 |      --      |    Inf |  84.95%
17.02/17.34	c  17.3s|  1900 |    13 | 19557 |   9.7 |   346M |  20 | 209 |7359 |5876 | 509 |  0 |1523 |  15 | 0.000000e+00 |      --      |    Inf |  85.01%
17.32/17.63	c  17.6s|  2000 |    13 | 20255 |   9.6 |   346M |  28 | 209 |7447 |5877 | 526 |  1 |1612 |  15 | 0.000000e+00 |      --      |    Inf |  85.02%
17.32/17.69	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
17.32/17.69	c (run 1, node 2044) performing user restart
17.32/17.69	c 
17.32/17.69	c (restart) converted 18 cuts from the global cut pool into linear constraints
17.32/17.69	c 
17.42/17.71	c presolving:
17.42/17.71	c (round 1, fast)       0 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7660 clqs
17.42/17.73	c (round 2, exhaustive) 0 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 7660 clqs
17.42/17.74	c (round 3, exhaustive) 0 del vars, 27 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 7660 clqs
17.52/17.81	c (round 4, exhaustive) 0 del vars, 2770 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 7660 clqs
17.52/17.81	c    (17.8s) running MILP presolver
17.52/17.82	c    (17.8s) MILP presolver found nothing
17.52/17.83	c (round 5, exhaustive) 0 del vars, 2848 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 141 chg coeffs, 18 upgd conss, 0 impls, 7660 clqs
17.52/17.83	c (round 6, exhaustive) 0 del vars, 2855 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 141 chg coeffs, 18 upgd conss, 0 impls, 7660 clqs
17.52/17.86	c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
17.52/17.86	c  0 deleted vars, 2855 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 144 changed coefficients
17.52/17.86	c  0 implications, 7660 cliques
17.52/17.86	c presolved problem has 209 variables (209 bin, 0 int, 0 impl, 0 cont) and 4658 constraints
17.52/17.86	c    3113 constraints of type <setppc>
17.52/17.86	c    1545 constraints of type <logicor>
17.52/17.86	c transformed objective value is always integral (scale: 1)
17.52/17.86	c Presolving Time: 4.17
17.52/17.86	c 
17.52/17.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.52/17.89	c  17.9s|     1 |     0 | 20594 |     - |   344M |   0 | 209 |4684 |3114 |   0 |  0 |1686 |  15 | 0.000000e+00 |      --      |    Inf | unknown
17.62/17.98	c  18.0s|     1 |     0 | 20636 |     - |   344M |   0 | 209 |4684 |3119 |   5 |  1 |1686 |  15 | 0.000000e+00 |      --      |    Inf | unknown
17.73/18.10	c  18.1s|     1 |     0 | 20665 |     - |   345M |   0 | 209 |4684 |3124 |  10 |  2 |1686 |  15 | 0.000000e+00 |      --      |    Inf | unknown
17.92/18.23	c  18.2s|     1 |     0 | 20682 |     - |   345M |   0 | 209 |4688 |3127 |  13 |  3 |1690 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.02/18.34	c  18.3s|     1 |     0 | 20730 |     - |   345M |   0 | 209 |4692 |3134 |  20 |  4 |1694 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.12/18.43	c  18.4s|     1 |     0 | 20751 |     - |   347M |   0 | 209 |4692 |3136 |  22 |  5 |1694 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.22/18.53	c  18.5s|     1 |     0 | 20779 |     - |   348M |   0 | 209 |4697 |3139 |  25 |  6 |1699 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.32/18.61	c  18.6s|     1 |     0 | 20794 |     - |   349M |   0 | 209 |4697 |3143 |  29 |  7 |1699 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.32/18.68	c  18.7s|     1 |     0 | 20811 |     - |   350M |   0 | 209 |4702 |3149 |  35 |  8 |1704 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.41/18.76	c  18.7s|     1 |     0 | 20835 |     - |   352M |   0 | 209 |4702 |3153 |  39 |  9 |1704 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.51/18.84	c  18.8s|     1 |     0 | 20855 |     - |   353M |   0 | 209 |4706 |3157 |  43 | 10 |1708 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.51/18.85	c  18.8s|     1 |     0 | 20865 |     - |   354M |   0 | 209 |4710 |3160 |  48 | 11 |1712 |  15 | 0.000000e+00 |      --      |    Inf | unknown
18.61/18.98	c  19.0s|     1 |     2 | 21030 |     - |   354M |   0 | 209 |4714 |3160 |  48 | 11 |1716 |  34 | 0.000000e+00 |      --      |    Inf | unknown
19.21/19.53	c  19.5s|   100 |     9 | 22963 |  10.0 |   362M |  11 | 209 |4727 |3131 |  85 |  0 |1730 |  34 | 0.000000e+00 |      --      |    Inf |  43.46%
19.61/19.94	c  19.9s|   200 |    12 | 24319 |  10.2 |   373M |  20 | 209 |4748 |3137 | 131 |  1 |1774 |  34 | 0.000000e+00 |      --      |    Inf |  52.77%
19.91/20.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.91/20.22	c  20.2s|   300 |     8 | 25470 |  10.2 |   378M |  20 | 209 |4746 |3132 | 140 |  1 |1806 |  34 | 0.000000e+00 |      --      |    Inf |  60.35%
20.30/20.68	c  20.7s|   400 |     6 | 26830 |  10.4 |   391M |  20 | 209 |4722 |3133 | 177 |  0 |1822 |  34 | 0.000000e+00 |      --      |    Inf |  61.42%
20.61/20.97	c  21.0s|   500 |     5 | 28097 |  10.5 |   398M |  20 | 209 |4690 |3134 | 199 |  1 |1845 |  34 | 0.000000e+00 |      --      |    Inf |  73.22%
20.90/21.25	c  21.2s|   600 |     8 | 29393 |  10.6 |   405M |  20 | 209 |4687 |   0 | 221 |  0 |1874 |  34 | 0.000000e+00 |      --      |    Inf |  83.78%
21.60/21.99	c  22.0s|   700 |     6 | 30721 |  10.7 |   425M |  20 | 209 |4698 |3135 | 281 |  1 |1918 |  34 | 0.000000e+00 |      --      |    Inf |  87.18%
22.00/22.39	c  22.4s|   800 |     6 | 32168 |  10.8 |   425M |  23 | 209 |4645 |3129 | 311 |  1 |1954 |  34 | 0.000000e+00 |      --      |    Inf |  90.23%
22.49/22.89	c  22.9s|   900 |     3 | 33546 |  10.9 |   425M |  23 | 209 |4591 |3135 | 353 |  0 |1981 |  34 | 0.000000e+00 |      --      |    Inf |  93.55%
22.89/23.21	c  23.2s|  1000 |     9 | 34895 |  11.0 |   425M |  28 | 209 |4423 |3133 | 384 |  1 |2006 |  34 | 0.000000e+00 |      --      |    Inf |  95.46%
23.49/23.83	c  23.8s|  1100 |    10 | 36246 |  11.1 |   425M |  28 | 209 |4420 |3133 | 445 |  1 |2031 |  34 | 0.000000e+00 |      --      |    Inf |  96.52%
23.89/24.22	c  24.2s|  1200 |     6 | 37566 |  11.1 |   425M |  28 | 209 |4404 |3134 | 475 |  0 |2046 |  34 | 0.000000e+00 |      --      |    Inf |  97.41%
24.28/24.61	c  24.6s|  1300 |     6 | 39042 |  11.2 |   425M |  28 | 209 |4348 |   0 | 518 |  0 |2058 |  34 | 0.000000e+00 |      --      |    Inf |  98.14%
24.48/24.83	c  24.8s|  1400 |     6 | 40167 |  11.2 |   425M |  28 | 209 |4341 |3134 | 540 |  0 |2101 |  34 | 0.000000e+00 |      --      |    Inf |  98.30%
24.79/25.19	c  25.2s|  1500 |     8 | 41526 |  11.3 |   425M |  28 | 209 |4305 |3133 | 565 |  0 |2118 |  34 | 0.000000e+00 |      --      |    Inf |  98.74%
24.98/25.31	c  25.3s|  1600 |     6 | 42504 |  11.3 |   425M |  28 | 209 |4303 |3131 | 569 |  1 |2149 |  34 | 0.000000e+00 |      --      |    Inf |  98.81%
25.18/25.58	c  25.6s|  1700 |     6 | 43705 |  11.3 |   425M |  28 | 209 |4284 |   0 | 597 |  0 |2171 |  34 | 0.000000e+00 |      --      |    Inf |  99.15%
25.58/25.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
25.58/25.97	c  26.0s|  1800 |    14 | 45333 |  11.4 |   425M |  28 | 209 |4210 |3131 | 643 |  0 |2183 |  34 | 0.000000e+00 |      --      |    Inf |  99.47%
25.79/26.14	c  26.1s|  1900 |     6 | 46561 |  11.4 |   425M |  28 | 209 |4175 |3136 | 654 |  0 |2198 |  34 | 0.000000e+00 |      --      |    Inf |  99.54%
25.98/26.30	c  26.3s|  2000 |     8 | 47661 |  11.4 |   424M |  28 | 209 |4162 |3136 | 667 |  1 |2236 |  34 | 0.000000e+00 |      --      |    Inf |  99.59%
26.08/26.48	c  26.5s|  2100 |     6 | 48979 |  11.5 |   424M |  29 | 209 |4128 |3136 | 676 |  0 |2254 |  34 | 0.000000e+00 |      --      |    Inf |  99.60%
26.37/26.73	c  26.7s|  2200 |     8 | 50187 |  11.5 |   423M |  34 | 209 |4089 |3131 | 693 |  0 |2273 |  34 | 0.000000e+00 |      --      |    Inf |  99.70%
26.47/26.88	c  26.9s|  2300 |     8 | 51496 |  11.5 |   423M |  34 | 209 |4070 |3140 | 703 |  1 |2290 |  34 | 0.000000e+00 |      --      |    Inf |  99.75%
26.68/27.05	c  27.0s|  2400 |     4 | 52723 |  11.5 |   422M |  34 | 209 |4051 |3139 | 717 |  0 |2310 |  34 | 0.000000e+00 |      --      |    Inf |  99.76%
26.87/27.26	c  27.2s|  2500 |     4 | 53986 |  11.6 |   420M |  34 | 209 |3892 |3135 | 733 |  0 |2330 |  34 | 0.000000e+00 |      --      |    Inf |  99.87%
27.06/27.42	c  27.4s|  2600 |     6 | 55112 |  11.6 |   420M |  34 | 209 |3872 |3136 | 748 |  2 |2342 |  34 | 0.000000e+00 |      --      |    Inf |  99.89%
27.16/27.58	c  27.6s|  2700 |     2 | 56601 |  11.6 |   420M |  34 | 209 |3823 |3136 | 756 |  0 |2357 |  34 | 0.000000e+00 |      --      |    Inf |  99.90%
27.36/27.76	c  27.7s|  2800 |     7 | 57714 |  11.6 |   420M |  34 | 209 |3785 |3134 | 764 |  1 |2396 |  34 | 0.000000e+00 |      --      |    Inf |  99.96%
27.47/27.89	c  27.9s|  2900 |     4 | 58740 |  11.6 |   420M |  34 | 209 |3460 |3138 | 778 |  1 |2463 |  34 | 0.000000e+00 |      --      |    Inf |  99.99%
27.57/28.01	c  28.0s|  3000 |     4 | 59654 |  11.5 |   420M |  34 | 209 |3430 |3137 | 784 |  1 |2514 |  34 | 0.000000e+00 |      --      |    Inf | 100.00%
27.78/28.14	c  28.1s|  3100 |     5 | 60560 |  11.5 |   420M |  34 | 209 |3447 |   0 | 794 |  0 |2582 |  34 | 0.000000e+00 |      --      |    Inf | 100.00%
27.87/28.27	c  28.3s|  3200 |     6 | 61565 |  11.5 |   418M |  38 | 209 |3356 |3134 | 803 |  1 |2630 |  34 | 0.000000e+00 |      --      |    Inf | 100.00%
28.06/28.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
28.06/28.42	c  28.4s|  3300 |     4 | 62894 |  11.5 |   418M |  38 | 209 |3069 |3137 | 805 |  1 |2698 |  34 | 0.000000e+00 |      --      |    Inf | 100.00%
28.06/28.45	c 
28.06/28.45	c SCIP Status        : problem is solved [infeasible]
28.06/28.45	c Solving Time (sec) : 28.44
28.06/28.45	c Solving Nodes      : 3324 (total of 5368 nodes in 2 runs)
28.06/28.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
28.06/28.45	c Dual Bound         : +1.00000000000000e+20
28.06/28.45	c Gap                : 0.00 %
28.06/28.45	s UNSATISFIABLE
28.06/28.45	c SCIP Status        : problem is solved [infeasible]
28.06/28.45	c Total Time         :      28.44
28.06/28.45	c   solving          :      28.44
28.06/28.45	c   presolving       :       4.17 (included in solving)
28.06/28.45	c   reading          :       0.48 (included in solving)
28.06/28.45	c   copying          :       1.17 (106 #copies) (minimal 0.01, maximal 0.02, average 0.01)
28.06/28.45	c Original Problem   :
28.06/28.45	c   Problem name     : HOME/instance-4525867-1751626115.wbo
28.06/28.45	c   Variables        : 41899 (41899 binary, 0 integer, 0 implicit integer, 0 continuous)
28.06/28.45	c   Constraints      : 81654 initial, 81654 maximal
28.06/28.46	c   Objective        : minimize, 40810 non-zeros (abs.min = 1, abs.max = 1)
28.06/28.46	c Presolved Problem  :
28.06/28.46	c   Problem name     : t_HOME/instance-4525867-1751626115.wbo
28.06/28.46	c   Variables        : 209 (209 binary, 0 integer, 0 implicit integer, 0 continuous)
28.06/28.46	c   Constraints      : 4658 initial, 4753 maximal
28.06/28.46	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
28.06/28.46	c   Nonzeros         : 21780 constraint, 14541 clique table
28.06/28.46	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
28.06/28.46	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   domcol           :       0.06       0.00     19          0          0          0          0          0          0          0          0          0
28.06/28.46	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
28.06/28.46	c   gateextraction   :       0.02       0.00      6          0          0          0          0          0          3          0          0          0
28.06/28.46	c   implics          :       0.00       0.00    103          0          0          0          0          0          0          0          0          0
28.06/28.46	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   milp             :       0.76       0.00      8        462          0          0          0          0      40843      14229          0          0
28.06/28.46	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   sparsify         :       0.03       0.00      4          0          0          0          0          0          0          0          0          0
28.06/28.46	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   trivial          :       0.01       0.00    122          0          0          0          0          0          0          0          0          0
28.06/28.46	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   dualfix          :       0.00       0.00    122          0          0          0          0          0          0          0          0          0
28.06/28.46	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   probing          :       1.38       0.00     18          0        418          0          0          0          0          0          0          0
28.06/28.46	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
28.06/28.46	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
28.06/28.46	c   vbounds          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
28.06/28.46	c   knapsack         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   setppc           :       0.89       0.00    321          0          0          0          0          0      11137          0          0          0
28.06/28.46	c   linear           :       0.28       0.01      7      40810          0          0      40810          0          1          0          0          0
28.06/28.46	c   logicor          :       0.03       0.00     16          0          0          0          0          0         90          0          0        144
28.06/28.46	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   indicator        :       0.08       0.00      1      40810          0          0      40810          0      40810          0          0          0
28.06/28.46	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
28.06/28.46	c   root node        :          -          -      -         44          -          -         44          -          -          -          -          -
28.06/28.46	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
28.06/28.46	c   benderslp        :          0          0          0          0       2749          0          0        348          0          0          0          0          0          0          0
28.06/28.46	c   integral         :          0          0          0          0       2749          0          0        348          0          0          0          0          0          0       5498
28.06/28.46	c   knapsack         :          0+         6          0       1691          0          0          0          0        815        104        825          0          0          0          0
28.06/28.46	c   setppc           :       3113+      3115         22      18313          0          0          0        343      52969        622      91945          0          0          0          0
28.06/28.46	c   logicor          :       1545+      1639         22       8135          0          0          0          0       2731        344       4021         16          4          0          0
28.06/28.46	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
28.06/28.46	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   integral         :       0.33       0.00       0.00       0.00       0.33       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   knapsack         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   setppc           :       1.01       0.00       0.01       0.97       0.00       0.00       0.00       0.00       0.01       0.02
28.06/28.46	c   logicor          :       0.18       0.00       0.00       0.16       0.00       0.00       0.00       0.00       0.00       0.01
28.06/28.46	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
28.06/28.46	c   dualfix          :          2          0          0          0
28.06/28.46	c   genvbounds       :          0          0          0          0
28.06/28.46	c   nlobbt           :          0          0          0          0
28.06/28.46	c   obbt             :          0          0          0          0
28.06/28.46	c   probing          :          0          0          0          0
28.06/28.46	c   pseudoobj        :          0          0          0          0
28.06/28.46	c   redcost          :          0          0          0          0
28.06/28.46	c   rootredcost      :          0          0          0          0
28.06/28.46	c   symmetry         :          0          0          0          0
28.06/28.46	c   vbounds          :       8801          0          0          0
28.06/28.46	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
28.06/28.46	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   probing          :       1.38       0.00       1.38       0.00       0.00       0.00
28.06/28.46	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   symmetry         :       0.01       0.00       0.00       0.00       0.00       0.00
28.06/28.46	c   vbounds          :       0.02       0.00       0.01       0.01       0.00       0.00
28.06/28.46	c Symmetry           :
28.06/28.46	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
28.06/28.46	c   orbital reduction:          0 reductions applied,          0 cutoffs
28.06/28.46	c   lexicographic red:          0 reductions applied,          0 cutoffs
28.06/28.46	c   shadow tree time :       0.00 s
28.06/28.46	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
28.06/28.46	c   propagation      :       0.04       1077       1071          -       4357       24.9         19       20.4          -          -          -
28.06/28.46	c   infeasible LP    :       0.16       1656        270          -       1080       33.1          2       16.0         12       20.4          0
28.06/28.46	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
28.06/28.46	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
28.06/28.46	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
28.06/28.46	c   applied globally :       0.09          -          -          0       2683        9.2          -          -         12          -          -
28.06/28.46	c   applied locally  :          -          -          -          0         20       18.1          -          -          0          -          -
28.06/28.46	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
28.06/28.46	c   cut pool         :       0.88          -        872         42          -          -      16969      20178          -          -          -          -          -    (maximal pool size:       5393)
28.06/28.46	c   aggregation      :       0.15       0.00        303         22          0          0          0          0          0          0          0          0          0
28.06/28.46	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
28.06/28.46	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
28.06/28.46	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
28.06/28.46	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   clique           :       0.01       0.00         22         22          0          0        145       1755          0        728        728          0          0
28.06/28.46	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   gomory           :       9.65       0.00        301         20          0          0      17178      18306        436        540        521         19          0
28.06/28.46	c   > gomorymi       :          -          -          -          -          -          -          -       8915        218        291        280         11          -
28.06/28.46	c   > strongcg       :          -          -          -          -          -          -          -       9391        218        249        241          8          -
28.06/28.46	c   impliedbounds    :       0.19       0.00        303         22          0          0          0          0          0          0          0          0          0
28.06/28.46	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
28.06/28.46	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   multilinear      :       0.00       0.00        288         22          0          0          0          0          0          0          0          0          0
28.06/28.46	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
28.06/28.46	c   rapidlearning    :       3.19       0.00        100          1          0        805          0          0          0          0          0          0        133
28.06/28.46	c   rlt              :       0.00       0.00        170         20          0          0          0          0          0          0          0          0          0
28.06/28.46	c   zerohalf         :       0.21       0.00        303         22          0          0        352        117        270         64         39         25          0
28.06/28.46	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
28.06/28.46	c   hybrid           :       0.06       0.00        504         22       1329          8      19571         89          0       3822
28.06/28.46	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c Pricers            :   ExecTime  SetupTime      Calls       Vars
28.06/28.46	c   problem variables:       0.00          -          0          0
28.06/28.46	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
28.06/28.46	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c   relpscost        :       0.33       0.00       2749          0          0          0          0          0          0       5498
28.06/28.46	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
28.06/28.46	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
28.06/28.46	c   LP solutions     :       0.00          -          -          0          0
28.06/28.46	c   relax solutions  :       0.00          -          -          0          0
28.06/28.46	c   pseudo solutions :       0.00          -          -          0          0
28.06/28.46	c   strong branching :       0.00          -          -          0          0
28.06/28.46	c   actconsdiving    :       0.00       0.00          0          0          0
28.06/28.46	c   adaptivediving   :       0.01       0.00          2          0          0
28.06/28.46	c   alns             :       0.09       0.00          5          0          0
28.06/28.46	c   bound            :       0.00       0.00          0          0          0
28.06/28.46	c   clique           :       0.01       0.00          1          0          0
28.06/28.46	c   coefdiving       :       0.00       0.00          0          0          0
28.06/28.46	c   completesol      :       0.00       0.00          0          0          0
28.06/28.46	c   conflictdiving   :       0.04       0.00          2          0          0
28.06/28.46	c   crossover        :       0.00       0.00          0          0          0
28.06/28.46	c   dins             :       0.00       0.00          0          0          0
28.06/28.46	c   distributiondivin:       0.03       0.00          0          0          0
28.06/28.46	c   dps              :       0.00       0.00          0          0          0
28.06/28.46	c   dualval          :       0.00       0.00          0          0          0
28.06/28.46	c   farkasdiving     :       0.00       0.00          0          0          0
28.06/28.46	c   feasjump         :       0.02       0.00          2          0          0
28.06/28.46	c   feaspump         :       0.05       0.00          2          0          0
28.06/28.46	c   fixandinfer      :       0.00       0.00          0          0          0
28.06/28.46	c   fracdiving       :       0.02       0.00          1          0          0
28.06/28.46	c   gins             :       0.00       0.00          0          0          0
28.06/28.46	c   guideddiving     :       0.00       0.00          0          0          0
28.06/28.46	c   indcoefdiving    :       0.00       0.00          0          0          0
28.06/28.46	c   indicator        :       0.00       0.00          0          0          0
28.06/28.46	c   indicatordiving  :       0.00       0.00          0          0          0
28.06/28.46	c   indoneopt        :       0.00       0.00          0          0          0
28.06/28.46	c   indrounding      :       0.00       0.00          0          0          0
28.06/28.46	c   indtwoopt        :       0.00       0.00          0          0          0
28.06/28.46	c   intdiving        :       0.00       0.00          0          0          0
28.06/28.46	c   intshifting      :       0.00       0.00          0          0          0
28.06/28.46	c   linesearchdiving :       0.02       0.00          1          0          0
28.06/28.46	c   localbranching   :       0.00       0.00          0          0          0
28.06/28.46	c   locks            :       0.00       0.00          1          0          0
28.06/28.46	c   lpface           :       0.00       0.00          0          0          0
28.06/28.46	c   mpec             :       0.00       0.00          0          0          0
28.06/28.46	c   multistart       :       0.00       0.00          0          0          0
28.06/28.46	c   mutation         :       0.00       0.00          0          0          0
28.06/28.46	c   nlpdiving        :       0.00       0.00          0          0          0
28.06/28.46	c   objpscostdiving  :       0.08       0.00          1          0          0
28.06/28.46	c   octane           :       0.00       0.00          0          0          0
28.06/28.46	c   ofins            :       0.00       0.00          0          0          0
28.06/28.46	c   oneopt           :       0.00       0.00          0          0          0
28.06/28.46	c   padm             :       0.00       0.00          0          0          0
28.06/28.46	c   proximity        :       0.00       0.00          0          0          0
28.06/28.46	c   pscostdiving     :       0.01       0.00          2          0          0
28.06/28.46	c   randrounding     :       0.07       0.00        346          0          0
28.06/28.46	c   rens             :       0.04       0.00          2          0          0
28.06/28.46	c   reoptsols        :       0.00       0.00          0          0          0
28.06/28.46	c   repair           :       0.00       0.00          0          0          0
28.06/28.46	c   rins             :       0.00       0.00          0          0          0
28.06/28.46	c   rootsoldiving    :       0.02       0.00          1          0          0
28.06/28.46	c   rounding         :       0.07       0.00        779          0          0
28.06/28.46	c   scheduler        :       0.00       0.00          0          0          0
28.06/28.46	c   shiftandpropagate:       0.01       0.00          2          0          0
28.06/28.46	c   shifting         :       0.09       0.00        393          0          0
28.06/28.46	c   simplerounding   :       0.00       0.00          0          0          0
28.06/28.46	c   smallcard        :       0.00       0.00          0          0          0
28.06/28.46	c   subnlp           :       0.00       0.00          0          0          0
28.06/28.46	c   trivial          :       0.04       0.00          4          0          0
28.06/28.46	c   trivialnegation  :       0.00       0.00          0          0          0
28.06/28.46	c   trustregion      :       0.00       0.00          0          0          0
28.06/28.46	c   trysol           :       0.00       0.00          0          0          0
28.06/28.46	c   twoopt           :       0.00       0.00          0          0          0
28.06/28.46	c   undercover       :       0.00       0.00          0          0          0
28.06/28.46	c   vbounds          :       0.01       0.00          2          0          0
28.06/28.46	c   veclendiving     :       0.01       0.00          1          0          0
28.06/28.46	c   zeroobj          :       0.00       0.00          0          0          0
28.06/28.46	c   zirounding       :       0.03       0.00       1000          0          0
28.06/28.46	c   other solutions  :          -          -          -          0          -
28.06/28.46	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	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
28.06/28.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
28.06/28.46	c   primal LP        :       0.05        174          0       0.00       0.00       0.05        174
28.06/28.46	c   dual LP          :       4.68       4990      60215      12.17   12867.13       0.01         41
28.06/28.46	c   lex dual LP      :       0.00          0          0       0.00          -
28.06/28.46	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
28.06/28.46	c   resolve instable :       0.00          0          0       0.00          -
28.06/28.46	c   diving/probing LP:       0.21        105       2956      28.15   14106.62
28.06/28.46	c   strong branching :       0.11         34       1292      38.00   11356.54          -          -          0
28.06/28.46	c     (at root node) :          -         34       1292      38.00          -
28.06/28.46	c   conflict analysis:       0.00          0          0       0.00          -
28.06/28.46	c B&B Tree           :
28.06/28.46	c   number of runs   :          2
28.06/28.46	c   nodes            :       3324 (1671 internal, 1653 leaves)
28.06/28.46	c   feasible leaves  :          0
28.06/28.46	c   infeas. leaves   :       1653
28.06/28.46	c   objective leaves :          0
28.06/28.46	c   nodes (total)    :       5368 (2749 internal, 2619 leaves)
28.06/28.46	c   nodes left       :          0
28.06/28.46	c   max depth        :         38
28.06/28.46	c   max depth (total):         38
28.06/28.46	c   backtracks       :        404 (12.2%)
28.06/28.46	c   early backtracks :          0 (0.0%)
28.06/28.46	c   nodes exc. ref.  :          0 (0.0%)
28.06/28.46	c   delayed cutoffs  :         19
28.06/28.46	c   repropagations   :       1384 (1767 domain reductions, 17 cutoffs)
28.06/28.46	c   avg switch length:       3.16
28.06/28.46	c   switching time   :       0.77
28.06/28.46	c Root Node          :
28.06/28.46	c   First LP value   : +0.00000000000000e+00
28.06/28.46	c   First LP Iters   :         23 (12582.06 Iter/sec)
28.06/28.46	c   First LP Time    :       0.00
28.06/28.46	c   Final Dual Bound : +0.00000000000000e+00
28.06/28.46	c   Final Root Iters :       1480
28.06/28.46	c   Root LP Estimate : +2.57513987196012e-03
28.06/28.46	c Solution           :
28.06/28.46	c   Solutions found  :          0 (0 improvements)
28.06/28.46	c   Primal Bound     : infeasible
28.06/28.46	c   Dual Bound       :          -
28.06/28.46	c   Gap              :       0.00 %
28.06/28.46	c Integrals          :      Total       Avg%
28.06/28.46	c   primal-dual      :          -          - (problem infeasible)
28.06/28.46	c   primal-ref       :          -          - (problem infeasible)
28.06/28.46	c   dual-ref         :          -          - (problem infeasible)
28.26/28.60	c Time complete: 28.2711.

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: 63794 MiB (53262 MiB free)
  memory of node 1: 64507 MiB (62058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525867-1751626115/watcher-4525867-1751626115 -o /tmp/evaluation-result-4525867-1751626115/solver-4525867-1751626115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88031 --watchdog 3760 pbscip -f HOME/instance-4525867-1751626115.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=88470, runsolver pid=88467

[startup+0.100078 s]*
/proc/loadavg: 3.92 4.84 6.13 5/257 88471
/proc/meminfo: memFree=118060644/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=58416 memory=30720 CPUtime=0.08 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 4767 0 0 0 7 1 0 0 20 0 1 0 78291221 59817984 7680 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 14604 7680 3232 3530 0 6055 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 58416 KiB
Current children cumulated memory: 30720 KiB

[startup+0.219186 s]*
/proc/loadavg: 3.92 4.84 6.13 5/257 88471
/proc/meminfo: memFree=118029396/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=73608 memory=45952 CPUtime=0.2 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 8568 0 0 0 17 3 0 0 20 0 1 0 78291221 75374592 11488 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 18402 11488 3232 3530 0 9853 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73608 KiB
Current children cumulated memory: 45952 KiB

[startup+0.317938 s]*
/proc/loadavg: 3.92 4.84 6.13 5/257 88471
/proc/meminfo: memFree=118006212/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=87664 memory=59520 CPUtime=0.28 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 11982 0 0 0 24 4 0 0 20 0 1 0 78291221 89767936 14880 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 21916 14880 3232 3530 0 13367 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 87664 KiB
Current children cumulated memory: 59520 KiB

[startup+0.700245 s]
/proc/loadavg: 3.92 4.84 6.13 5/257 88471
/proc/meminfo: memFree=117940184/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=182624 memory=155488 CPUtime=0.61 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 36113 0 0 0 51 10 0 0 20 0 1 0 78291221 187006976 38872 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 45656 38872 3552 3530 0 37107 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 182624 KiB
Current children cumulated memory: 155488 KiB

[startup+1.50023 s]
/proc/loadavg: 3.92 4.84 6.13 5/257 88471
/proc/meminfo: memFree=117763532/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=346124 memory=311292 CPUtime=1.4 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 76328 0 0 0 121 19 0 0 20 0 1 0 78291221 354430976 77823 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 86531 77823 3616 3530 0 77982 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 346124 KiB
Current children cumulated memory: 311292 KiB

[startup+3.10614 s]
/proc/loadavg: 3.92 4.84 6.13 5/259 88474
/proc/meminfo: memFree=116544144/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=336068 memory=302432 CPUtime=2.98 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 84130 0 0 0 277 21 0 0 20 0 1 0 78291221 344133632 75608 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 84017 75608 3744 3530 0 75468 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 336068 KiB
Current children cumulated memory: 302432 KiB

[startup+6.30022 s]
/proc/loadavg: 3.93 4.82 6.11 5/258 88474
/proc/meminfo: memFree=116505692/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=382328 memory=346336 CPUtime=6.14 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 94926 0 0 0 591 23 0 0 20 0 1 0 78291221 391503872 86584 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 95582 86584 3968 3530 0 87033 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 382328 KiB
Current children cumulated memory: 346336 KiB

[startup+12.7003 s]
/proc/loadavg: 3.85 4.79 6.10 4/254 88533
/proc/meminfo: memFree=126128268/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=410228 memory=373636 CPUtime=12.44 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 102784 0 0 0 1211 33 0 0 20 0 1 0 78291221 420073472 93409 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 102557 93409 3968 3530 0 94008 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 410228 KiB
Current children cumulated memory: 373636 KiB

[startup+25.5004 s]
/proc/loadavg: 3.96 4.77 6.07 6/258 88750
/proc/meminfo: memFree=126508744/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=478176 memory=436100 CPUtime=25.18 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118419 0 0 0 2480 38 0 0 20 0 1 0 78291221 489652224 109025 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 119544 109025 3968 3530 0 110995 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 478176 KiB
Current children cumulated memory: 436100 KiB

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

# cumulated CPU time of all completed processes:  user=27.8627 s, system=0.426806 s

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

[startup+25.6003 s]
/proc/loadavg: 3.96 4.77 6.07 6/258 88750
/proc/meminfo: memFree=126508744/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=478176 memory=436100 CPUtime=25.28 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118419 0 0 0 2490 38 0 0 20 0 1 0 78291221 489652224 109025 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 119544 109025 3968 3530 0 110995 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 478176 KiB
Current children cumulated memory: 436100 KiB

[startup+27.2003 s]
/proc/loadavg: 3.96 4.77 6.07 6/254 88758
/proc/meminfo: memFree=126564700/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=478176 memory=436100 CPUtime=26.87 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118424 0 0 0 2648 39 0 0 20 0 1 0 78291221 489652224 109025 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 119544 109025 3968 3530 0 110995 0
Current children cumulated CPU time: 26.87 s
Current children cumulated vsize: 478176 KiB
Current children cumulated memory: 436100 KiB

[startup+28.0003 s]*
/proc/loadavg: 3.96 4.77 6.07 5/258 88795
/proc/meminfo: memFree=126590352/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=478176 memory=436100 CPUtime=27.68 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118424 0 0 0 2728 40 0 0 20 0 1 0 78291221 489652224 109025 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 119544 109025 3968 3530 0 110995 0
Current children cumulated CPU time: 27.68 s
Current children cumulated vsize: 478176 KiB
Current children cumulated memory: 436100 KiB

[startup+28.4003 s]
/proc/loadavg: 3.96 4.77 6.07 5/258 88795
/proc/meminfo: memFree=126590352/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=478176 memory=436100 CPUtime=28.06 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118424 0 0 0 2766 40 0 0 20 0 1 0 78291221 489652224 109025 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 119544 109025 3968 3530 0 110995 0
Current children cumulated CPU time: 28.06 s
Current children cumulated vsize: 478176 KiB
Current children cumulated memory: 436100 KiB

[startup+28.6003 s]
/proc/loadavg: 3.96 4.77 6.07 5/258 88795
/proc/meminfo: memFree=126590352/131382112 swapFree=33010416/33010684
[pid=88470] ppid=88467 vsize=305148 memory=262588 CPUtime=28.26 cores=5,7
/proc/88470/stat : 88470 (pbscip) R 88467 88470 88018 0 -1 4194304 118424 0 0 0 2785 41 0 0 20 0 1 0 78291221 312471552 65843 18446744073709551615 4235264 18693293 140736710735728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38723584 140736710744455 140736710744554 140736710744554 140736710750158 0
/proc/88470/statm: 76189 65745 3968 3530 0 67640 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 305148 KiB
Current children cumulated memory: 262588 KiB

Child status: 0

Real time (s): 28.6205
CPU time (s): 28.2895
CPU user time (s): 27.8627
CPU system time (s): 0.426806
CPU usage (%): 98.8436
Max. virtual memory (cumulated for all children) (KiB): 478176
Max. memory (cumulated for all children) (KiB): 436100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.8627
system time used= 0.426806
maximum resident set size= 436100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118430
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= 80
involuntary context switches= 182


# summary of solver processes directly reported to runsolver:
#   pid: 88470
#   total CPU time (s): 28.2895
#   total CPU user time (s): 27.8627
#   total CPU system time (s): 0.426806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162575 second user time and 0.31272 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 12:48:35
IDJOB=4525867
IDBENCH=143903
IDSOLVER=3382
FILE ID=nodeC012/4525867-1751626115
RUNJOBID= nodeC012-1751626031-88031
SLURM_JOB_ID= 9598953
Free space on /tmp= 431740 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525867-1751626115/watcher-4525867-1751626115 -o /tmp/evaluation-result-4525867-1751626115/solver-4525867-1751626115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88031 --watchdog 3760  pbscip -f HOME/instance-4525867-1751626115.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= dc0c1b337d286273cd261e7868deb02f
RANDOM SEED=1788095255

nodeC012 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		: 3491.818
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.39
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		: 3591.497
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.39
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.283
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.39
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.049
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.39
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		: 3660.789
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.39
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		: 1197.158
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.39
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.282
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        118096744 kB
MemAvailable:   118533424 kB
Buffers:            2136 kB
Cached:          1236080 kB
SwapCached:           16 kB
Active:         11401192 kB
Inactive:         615852 kB
Active(anon):   10791824 kB
Inactive(anon):     4948 kB
Active(file):     609368 kB
Inactive(file):   610904 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19824 kB
Writeback:            12 kB
AnonPages:      10781908 kB
Mapped:           135840 kB
Shmem:             17944 kB
KReclaimable:     111688 kB
Slab:             197216 kB
SReclaimable:     111688 kB
SUnreclaim:        85528 kB
KernelStack:        4144 kB
PageTables:        24476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11734640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431676 MiB
End job on nodeC012 at 2025-07-04 12:49:04