Trace number 4425364

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-07OPTIMUM 25.3572 25.4455

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
MD5SUM42ba6ff63d9bb3e4033d54867a5b7866
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.463822
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2728
Total number of constraints8382
Number of soft constraints8382
Number of constraints which are clauses8210
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints172
Minimum length of a constraint1
Maximum length of a constraint17
Top cost 422384
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 422383
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 143
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4425364-1720879430.wbo>
0.00/0.04	c original problem has 11110 variables (11110 bin, 0 int, 0 impl, 0 cont) and 16765 constraints
0.00/0.04	c problem read in 0.04
0.10/0.16	o 422383
0.10/0.17	c feasible solution found by trivial heuristic after 0.2 seconds, objective value 4.223830e+05
0.10/0.17	c presolving:
0.10/0.20	c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 0 clqs
0.29/0.32	c (round 2, exhaustive) 25 del vars, 1 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 0 clqs
0.39/0.41	c (round 3, exhaustive) 50 del vars, 1 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 0 clqs
0.39/0.42	c (round 4, fast)       50 del vars, 26 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 0 clqs
0.49/0.53	c (round 5, exhaustive) 75 del vars, 26 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.49/0.53	c (round 6, fast)       75 del vars, 51 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.59/0.63	c (round 7, exhaustive) 100 del vars, 51 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.59/0.63	c (round 8, fast)       100 del vars, 76 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.68/0.74	c (round 9, exhaustive) 125 del vars, 76 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.68/0.74	c (round 10, fast)       125 del vars, 101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.78/0.84	c (round 11, exhaustive) 150 del vars, 101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.78/0.85	c (round 12, fast)       150 del vars, 126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 1 clqs
0.88/0.95	c (round 13, exhaustive) 175 del vars, 126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 2 clqs
0.88/0.95	c (round 14, fast)       175 del vars, 151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 2 clqs
0.98/1.06	c (round 15, exhaustive) 200 del vars, 151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 2 clqs
0.98/1.06	c (round 16, fast)       200 del vars, 176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 2 clqs
1.08/1.15	c (round 17, exhaustive) 225 del vars, 176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 3 clqs
1.08/1.16	c (round 18, fast)       225 del vars, 201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 3 clqs
1.18/1.26	c (round 19, exhaustive) 250 del vars, 201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 3 clqs
1.18/1.26	c (round 20, fast)       250 del vars, 226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 3 clqs
1.28/1.34	c (round 21, exhaustive) 275 del vars, 226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.28/1.35	c (round 22, fast)       275 del vars, 251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.38/1.46	c (round 23, exhaustive) 300 del vars, 251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.38/1.46	c (round 24, fast)       300 del vars, 276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.48/1.53	c (round 25, exhaustive) 325 del vars, 276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.48/1.54	c (round 26, fast)       325 del vars, 301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 4 clqs
1.58/1.64	c (round 27, exhaustive) 350 del vars, 301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.58/1.65	c (round 28, fast)       350 del vars, 326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.68/1.74	c (round 29, exhaustive) 375 del vars, 326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.68/1.75	c (round 30, fast)       375 del vars, 351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.78/1.84	c (round 31, exhaustive) 400 del vars, 351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.78/1.84	c (round 32, fast)       400 del vars, 376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 5 clqs
1.88/1.95	c (round 33, exhaustive) 425 del vars, 376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
1.88/1.95	c (round 34, fast)       425 del vars, 401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
1.98/2.03	c (round 35, exhaustive) 450 del vars, 401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
1.98/2.04	c (round 36, fast)       450 del vars, 426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.08/2.14	c (round 37, exhaustive) 475 del vars, 426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.08/2.14	c (round 38, fast)       475 del vars, 451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.18/2.20	c    (2.2s) probing: 1000/19320 (5.2%) - 0 fixings, 492 aggregations, 6 implications, 0 bound changes
2.18/2.22	c (round 39, exhaustive) 500 del vars, 451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.18/2.23	c (round 40, fast)       500 del vars, 476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.27/2.32	c (round 41, exhaustive) 525 del vars, 476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.27/2.32	c (round 42, fast)       525 del vars, 501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.37/2.42	c (round 43, exhaustive) 550 del vars, 501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.37/2.43	c (round 44, fast)       550 del vars, 526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.47/2.51	c (round 45, exhaustive) 575 del vars, 526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.47/2.51	c (round 46, fast)       575 del vars, 551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.57/2.61	c (round 47, exhaustive) 600 del vars, 551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.57/2.62	c (round 48, fast)       600 del vars, 576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 6 clqs
2.67/2.70	c (round 49, exhaustive) 625 del vars, 576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 8 clqs
2.67/2.70	c (round 50, fast)       625 del vars, 601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 8 clqs
2.77/2.80	c (round 51, exhaustive) 650 del vars, 601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 8 clqs
2.77/2.80	c (round 52, fast)       650 del vars, 626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 8 clqs
2.77/2.89	c (round 53, exhaustive) 675 del vars, 626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 9 clqs
2.87/2.90	c (round 54, fast)       675 del vars, 651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 9 clqs
2.87/2.98	c (round 55, exhaustive) 700 del vars, 651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
2.87/2.99	c (round 56, fast)       700 del vars, 676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
2.98/3.08	c (round 57, exhaustive) 725 del vars, 676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
2.98/3.08	c (round 58, fast)       725 del vars, 701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.08/3.16	c (round 59, exhaustive) 750 del vars, 701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.08/3.16	c (round 60, fast)       750 del vars, 726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.17/3.25	c (round 61, exhaustive) 775 del vars, 726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.17/3.25	c (round 62, fast)       775 del vars, 751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.27/3.34	c (round 63, exhaustive) 800 del vars, 751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.27/3.35	c (round 64, fast)       800 del vars, 776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.37/3.43	c (round 65, exhaustive) 825 del vars, 776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.37/3.44	c (round 66, fast)       825 del vars, 801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.47/3.55	c (round 67, exhaustive) 850 del vars, 801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.47/3.55	c (round 68, fast)       850 del vars, 826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.57/3.63	c (round 69, exhaustive) 875 del vars, 826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.57/3.63	c (round 70, fast)       875 del vars, 851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.67/3.71	c (round 71, exhaustive) 900 del vars, 851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.67/3.72	c (round 72, fast)       900 del vars, 876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.77/3.81	c (round 73, exhaustive) 925 del vars, 876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.77/3.81	c (round 74, fast)       925 del vars, 901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.77/3.90	c (round 75, exhaustive) 950 del vars, 901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.87/3.90	c (round 76, fast)       950 del vars, 926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.97/4.00	c (round 77, exhaustive) 975 del vars, 926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.97/4.01	c (round 78, fast)       975 del vars, 951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.97/4.02	c    (4.0s) probing: 2000/19320 (10.4%) - 0 fixings, 976 aggregations, 10 implications, 0 bound changes
3.97/4.08	c (round 79, exhaustive) 1000 del vars, 951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
3.97/4.08	c (round 80, fast)       1000 del vars, 976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 10 clqs
4.07/4.16	c (round 81, exhaustive) 1025 del vars, 976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 11 clqs
4.07/4.17	c (round 82, fast)       1025 del vars, 1001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 11 clqs
4.17/4.26	c (round 83, exhaustive) 1050 del vars, 1001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 11 clqs
4.17/4.27	c (round 84, fast)       1050 del vars, 1026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 11 clqs
4.27/4.35	c (round 85, exhaustive) 1075 del vars, 1026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 12 clqs
4.27/4.35	c (round 86, fast)       1075 del vars, 1051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 12 clqs
4.37/4.45	c (round 87, exhaustive) 1100 del vars, 1051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 12 clqs
4.37/4.45	c (round 88, fast)       1100 del vars, 1076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 12 clqs
4.47/4.53	c (round 89, exhaustive) 1125 del vars, 1076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 13 clqs
4.47/4.53	c (round 90, fast)       1125 del vars, 1101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 13 clqs
4.57/4.62	c (round 91, exhaustive) 1150 del vars, 1101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.57/4.62	c (round 92, fast)       1150 del vars, 1126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.67/4.71	c (round 93, exhaustive) 1175 del vars, 1126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.67/4.72	c (round 94, fast)       1175 del vars, 1151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.67/4.79	c (round 95, exhaustive) 1200 del vars, 1151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.67/4.80	c (round 96, fast)       1200 del vars, 1176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 14 clqs
4.77/4.88	c (round 97, exhaustive) 1225 del vars, 1176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 15 clqs
4.77/4.88	c (round 98, fast)       1225 del vars, 1201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 15 clqs
4.87/4.97	c (round 99, exhaustive) 1250 del vars, 1201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 15 clqs
4.87/4.98	c (round 100, fast)       1250 del vars, 1226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 15 clqs
4.97/5.07	c (round 101, exhaustive) 1275 del vars, 1226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 16 clqs
4.97/5.07	c (round 102, fast)       1275 del vars, 1251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 16 clqs
5.07/5.17	c (round 103, exhaustive) 1300 del vars, 1251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.07/5.17	c (round 104, fast)       1300 del vars, 1276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.17/5.25	c (round 105, exhaustive) 1325 del vars, 1276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.17/5.25	c (round 106, fast)       1325 del vars, 1301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.27/5.34	c (round 107, exhaustive) 1350 del vars, 1301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.27/5.34	c (round 108, fast)       1350 del vars, 1326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 17 clqs
5.37/5.43	c (round 109, exhaustive) 1375 del vars, 1326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 18 clqs
5.37/5.44	c (round 110, fast)       1375 del vars, 1351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 18 clqs
5.46/5.52	c (round 111, exhaustive) 1400 del vars, 1351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 19 clqs
5.46/5.52	c (round 112, fast)       1400 del vars, 1376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 19 clqs
5.56/5.62	c (round 113, exhaustive) 1425 del vars, 1376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 20 clqs
5.56/5.62	c (round 114, fast)       1425 del vars, 1401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 20 clqs
5.56/5.69	c (round 115, exhaustive) 1450 del vars, 1401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 21 clqs
5.56/5.69	c (round 116, fast)       1450 del vars, 1426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 21 clqs
5.66/5.78	c (round 117, exhaustive) 1475 del vars, 1426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 21 clqs
5.66/5.79	c (round 118, fast)       1475 del vars, 1451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 21 clqs
5.76/5.86	c    (5.9s) probing: 3000/19320 (15.5%) - 0 fixings, 1492 aggregations, 22 implications, 0 bound changes
5.76/5.88	c (round 119, exhaustive) 1500 del vars, 1451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 22 clqs
5.76/5.88	c (round 120, fast)       1500 del vars, 1476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 22 clqs
5.86/5.97	c (round 121, exhaustive) 1525 del vars, 1476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 23 clqs
5.86/5.97	c (round 122, fast)       1525 del vars, 1501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 23 clqs
5.97/6.07	c (round 123, exhaustive) 1550 del vars, 1501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 24 clqs
5.97/6.07	c (round 124, fast)       1550 del vars, 1526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 24 clqs
6.07/6.15	c (round 125, exhaustive) 1575 del vars, 1526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 26 clqs
6.07/6.15	c (round 126, fast)       1575 del vars, 1551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 26 clqs
6.16/6.24	c (round 127, exhaustive) 1600 del vars, 1551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.16/6.24	c (round 128, fast)       1600 del vars, 1576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.26/6.34	c (round 129, exhaustive) 1625 del vars, 1576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.26/6.34	c (round 130, fast)       1625 del vars, 1601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.36/6.41	c (round 131, exhaustive) 1650 del vars, 1601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.36/6.42	c (round 132, fast)       1650 del vars, 1626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 28 clqs
6.46/6.51	c (round 133, exhaustive) 1675 del vars, 1626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 29 clqs
6.46/6.52	c (round 134, fast)       1675 del vars, 1651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 29 clqs
6.46/6.59	c (round 135, exhaustive) 1700 del vars, 1651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 29 clqs
6.46/6.59	c (round 136, fast)       1700 del vars, 1676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 29 clqs
6.56/6.67	c (round 137, exhaustive) 1725 del vars, 1676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 31 clqs
6.56/6.68	c (round 138, fast)       1725 del vars, 1701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 31 clqs
6.66/6.78	c (round 139, exhaustive) 1750 del vars, 1701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 31 clqs
6.66/6.78	c (round 140, fast)       1750 del vars, 1726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 31 clqs
6.76/6.85	c (round 141, exhaustive) 1775 del vars, 1726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 32 clqs
6.76/6.86	c (round 142, fast)       1775 del vars, 1751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 32 clqs
6.86/6.94	c (round 143, exhaustive) 1800 del vars, 1751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 32 clqs
6.86/6.94	c (round 144, fast)       1800 del vars, 1776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 32 clqs
6.96/7.03	c (round 145, exhaustive) 1825 del vars, 1776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 34 clqs
6.96/7.04	c (round 146, fast)       1825 del vars, 1801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 34 clqs
7.06/7.12	c (round 147, exhaustive) 1850 del vars, 1801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 35 clqs
7.06/7.12	c (round 148, fast)       1850 del vars, 1826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 35 clqs
7.16/7.21	c (round 149, exhaustive) 1875 del vars, 1826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 36 clqs
7.16/7.21	c (round 150, fast)       1875 del vars, 1851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 36 clqs
7.16/7.28	c (round 151, exhaustive) 1900 del vars, 1851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 36 clqs
7.16/7.28	c (round 152, fast)       1900 del vars, 1876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 36 clqs
7.26/7.38	c (round 153, exhaustive) 1925 del vars, 1876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.26/7.38	c (round 154, fast)       1925 del vars, 1901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.36/7.49	c (round 155, exhaustive) 1950 del vars, 1901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.36/7.49	c (round 156, fast)       1950 del vars, 1926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.46/7.57	c (round 157, exhaustive) 1975 del vars, 1926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.46/7.57	c (round 158, fast)       1975 del vars, 1951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 37 clqs
7.56/7.62	c    (7.6s) probing: 4000/19320 (20.7%) - 0 fixings, 1986 aggregations, 39 implications, 0 bound changes
7.56/7.67	c (round 159, exhaustive) 2000 del vars, 1951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 39 clqs
7.56/7.67	c (round 160, fast)       2000 del vars, 1976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 39 clqs
7.66/7.75	c (round 161, exhaustive) 2025 del vars, 1976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 39 clqs
7.66/7.75	c (round 162, fast)       2025 del vars, 2001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 39 clqs
7.76/7.84	c (round 163, exhaustive) 2050 del vars, 2001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 40 clqs
7.76/7.84	c (round 164, fast)       2050 del vars, 2026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 40 clqs
7.86/7.95	c (round 165, exhaustive) 2075 del vars, 2026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 40 clqs
7.86/7.95	c (round 166, fast)       2075 del vars, 2051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 40 clqs
7.96/8.02	c (round 167, exhaustive) 2100 del vars, 2051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 41 clqs
7.96/8.02	c (round 168, fast)       2100 del vars, 2076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 41 clqs
8.06/8.10	c (round 169, exhaustive) 2125 del vars, 2076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 43 clqs
8.06/8.11	c (round 170, fast)       2125 del vars, 2101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 43 clqs
8.06/8.18	c (round 171, exhaustive) 2150 del vars, 2101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.06/8.19	c (round 172, fast)       2150 del vars, 2126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.16/8.25	c (round 173, exhaustive) 2175 del vars, 2126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.16/8.26	c (round 174, fast)       2175 del vars, 2151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.26/8.36	c (round 175, exhaustive) 2200 del vars, 2151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.26/8.36	c (round 176, fast)       2200 del vars, 2176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.36/8.44	c (round 177, exhaustive) 2225 del vars, 2176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.36/8.44	c (round 178, fast)       2225 del vars, 2201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.46/8.52	c (round 179, exhaustive) 2250 del vars, 2201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.46/8.53	c (round 180, fast)       2250 del vars, 2226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 44 clqs
8.56/8.62	c (round 181, exhaustive) 2275 del vars, 2226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 45 clqs
8.56/8.62	c (round 182, fast)       2275 del vars, 2251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 45 clqs
8.56/8.69	c (round 183, exhaustive) 2300 del vars, 2251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 46 clqs
8.56/8.69	c (round 184, fast)       2300 del vars, 2276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 46 clqs
8.66/8.77	c (round 185, exhaustive) 2325 del vars, 2276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 47 clqs
8.66/8.78	c (round 186, fast)       2325 del vars, 2301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 47 clqs
8.76/8.86	c (round 187, exhaustive) 2350 del vars, 2301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 47 clqs
8.76/8.87	c (round 188, fast)       2350 del vars, 2326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 47 clqs
8.86/8.93	c (round 189, exhaustive) 2375 del vars, 2326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
8.86/8.94	c (round 190, fast)       2375 del vars, 2351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
8.97/9.03	c (round 191, exhaustive) 2400 del vars, 2351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
8.97/9.03	c (round 192, fast)       2400 del vars, 2376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.07/9.11	c (round 193, exhaustive) 2425 del vars, 2376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.07/9.11	c (round 194, fast)       2425 del vars, 2401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.07/9.19	c (round 195, exhaustive) 2450 del vars, 2401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.07/9.19	c (round 196, fast)       2450 del vars, 2426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.16/9.28	c (round 197, exhaustive) 2475 del vars, 2426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.16/9.28	c (round 198, fast)       2475 del vars, 2451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.26/9.35	c (round 199, exhaustive) 2500 del vars, 2451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.26/9.36	c (round 200, fast)       2500 del vars, 2476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.26/9.38	c    (9.4s) probing: 5000/19320 (25.9%) - 0 fixings, 2505 aggregations, 49 implications, 0 bound changes
9.36/9.44	c (round 201, exhaustive) 2525 del vars, 2476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.36/9.44	c (round 202, fast)       2525 del vars, 2501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.46/9.54	c (round 203, exhaustive) 2550 del vars, 2501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.46/9.54	c (round 204, fast)       2550 del vars, 2526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 49 clqs
9.56/9.61	c (round 205, exhaustive) 2575 del vars, 2526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 50 clqs
9.56/9.62	c (round 206, fast)       2575 del vars, 2551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 50 clqs
9.56/9.69	c (round 207, exhaustive) 2600 del vars, 2551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 50 clqs
9.66/9.70	c (round 208, fast)       2600 del vars, 2576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 50 clqs
9.66/9.78	c (round 209, exhaustive) 2625 del vars, 2576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.66/9.78	c (round 210, fast)       2625 del vars, 2601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.76/9.86	c (round 211, exhaustive) 2650 del vars, 2601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.76/9.86	c (round 212, fast)       2650 del vars, 2626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.86/9.95	c (round 213, exhaustive) 2675 del vars, 2626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.86/9.96	c (round 214, fast)       2675 del vars, 2651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 51 clqs
9.96/10.03	c (round 215, exhaustive) 2700 del vars, 2651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
9.96/10.03	c (round 216, fast)       2700 del vars, 2676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
10.06/10.11	c (round 217, exhaustive) 2725 del vars, 2676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
10.06/10.11	c (round 218, fast)       2725 del vars, 2701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
10.16/10.20	c (round 219, exhaustive) 2750 del vars, 2701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
10.16/10.21	c (round 220, fast)       2750 del vars, 2726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 52 clqs
10.16/10.27	c (round 221, exhaustive) 2775 del vars, 2726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 53 clqs
10.16/10.28	c (round 222, fast)       2775 del vars, 2751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 53 clqs
10.26/10.37	c (round 223, exhaustive) 2800 del vars, 2751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 54 clqs
10.26/10.37	c (round 224, fast)       2800 del vars, 2776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 54 clqs
10.36/10.46	c (round 225, exhaustive) 2825 del vars, 2776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 54 clqs
10.36/10.46	c (round 226, fast)       2825 del vars, 2801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 54 clqs
10.46/10.54	c (round 227, exhaustive) 2850 del vars, 2801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.46/10.54	c (round 228, fast)       2850 del vars, 2826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.56/10.62	c (round 229, exhaustive) 2875 del vars, 2826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.56/10.62	c (round 230, fast)       2875 del vars, 2851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.66/10.71	c (round 231, exhaustive) 2900 del vars, 2851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.66/10.71	c (round 232, fast)       2900 del vars, 2876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.66/10.78	c (round 233, exhaustive) 2925 del vars, 2876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.66/10.79	c (round 234, fast)       2925 del vars, 2901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.76/10.87	c (round 235, exhaustive) 2950 del vars, 2901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.76/10.87	c (round 236, fast)       2950 del vars, 2926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.86/10.94	c (round 237, exhaustive) 2975 del vars, 2926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.86/10.94	c (round 238, fast)       2975 del vars, 2951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 56 clqs
10.96/11.01	c    (11.0s) probing: 6000/19320 (31.1%) - 0 fixings, 2994 aggregations, 58 implications, 0 bound changes
10.96/11.03	c (round 239, exhaustive) 3000 del vars, 2951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 58 clqs
10.96/11.03	c (round 240, fast)       3000 del vars, 2976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 58 clqs
11.06/11.13	c (round 241, exhaustive) 3025 del vars, 2976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 59 clqs
11.06/11.13	c (round 242, fast)       3025 del vars, 3001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 59 clqs
11.06/11.19	c (round 243, exhaustive) 3050 del vars, 3001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 60 clqs
11.16/11.20	c (round 244, fast)       3050 del vars, 3026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 60 clqs
11.16/11.28	c (round 245, exhaustive) 3075 del vars, 3026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 60 clqs
11.16/11.28	c (round 246, fast)       3075 del vars, 3051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 60 clqs
11.25/11.37	c (round 247, exhaustive) 3100 del vars, 3051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.25/11.37	c (round 248, fast)       3100 del vars, 3076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.35/11.45	c (round 249, exhaustive) 3125 del vars, 3076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.35/11.45	c (round 250, fast)       3125 del vars, 3101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.45/11.53	c (round 251, exhaustive) 3150 del vars, 3101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.45/11.53	c (round 252, fast)       3150 del vars, 3126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 61 clqs
11.55/11.62	c (round 253, exhaustive) 3175 del vars, 3126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 62 clqs
11.55/11.62	c (round 254, fast)       3175 del vars, 3151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 62 clqs
11.65/11.70	c (round 255, exhaustive) 3200 del vars, 3151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 63 clqs
11.65/11.70	c (round 256, fast)       3200 del vars, 3176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 63 clqs
11.65/11.78	c (round 257, exhaustive) 3225 del vars, 3176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 63 clqs
11.65/11.79	c (round 258, fast)       3225 del vars, 3201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 63 clqs
11.75/11.86	c (round 259, exhaustive) 3250 del vars, 3201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 65 clqs
11.75/11.86	c (round 260, fast)       3250 del vars, 3226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 65 clqs
11.85/11.93	c (round 261, exhaustive) 3275 del vars, 3226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 66 clqs
11.85/11.93	c (round 262, fast)       3275 del vars, 3251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 66 clqs
11.96/12.01	c (round 263, exhaustive) 3300 del vars, 3251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 66 clqs
11.96/12.02	c (round 264, fast)       3300 del vars, 3276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 66 clqs
11.96/12.09	c (round 265, exhaustive) 3325 del vars, 3276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 67 clqs
11.96/12.09	c (round 266, fast)       3325 del vars, 3301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 67 clqs
12.06/12.16	c (round 267, exhaustive) 3350 del vars, 3301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 67 clqs
12.06/12.16	c (round 268, fast)       3350 del vars, 3326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 67 clqs
12.15/12.23	c (round 269, exhaustive) 3375 del vars, 3326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 70 clqs
12.15/12.23	c (round 270, fast)       3375 del vars, 3351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 70 clqs
12.25/12.30	c (round 271, exhaustive) 3400 del vars, 3351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 70 clqs
12.25/12.31	c (round 272, fast)       3400 del vars, 3376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 70 clqs
12.25/12.37	c (round 273, exhaustive) 3425 del vars, 3376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 71 clqs
12.25/12.37	c (round 274, fast)       3425 del vars, 3401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 71 clqs
12.35/12.44	c (round 275, exhaustive) 3450 del vars, 3401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 71 clqs
12.35/12.45	c (round 276, fast)       3450 del vars, 3426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 71 clqs
12.45/12.53	c (round 277, exhaustive) 3475 del vars, 3426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 72 clqs
12.45/12.53	c (round 278, fast)       3475 del vars, 3451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 72 clqs
12.45/12.59	c (round 279, exhaustive) 3500 del vars, 3451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 72 clqs
12.45/12.59	c (round 280, fast)       3500 del vars, 3476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 72 clqs
12.55/12.63	c    (12.6s) probing: 7000/19320 (36.2%) - 0 fixings, 3510 aggregations, 73 implications, 0 bound changes
12.55/12.66	c (round 281, exhaustive) 3525 del vars, 3476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 74 clqs
12.55/12.67	c (round 282, fast)       3525 del vars, 3501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 74 clqs
12.65/12.76	c (round 283, exhaustive) 3550 del vars, 3501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 74 clqs
12.65/12.76	c (round 284, fast)       3550 del vars, 3526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 74 clqs
12.75/12.82	c (round 285, exhaustive) 3575 del vars, 3526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.75/12.82	c (round 286, fast)       3575 del vars, 3551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.75/12.89	c (round 287, exhaustive) 3600 del vars, 3551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.85/12.90	c (round 288, fast)       3600 del vars, 3576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.85/12.98	c (round 289, exhaustive) 3625 del vars, 3576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.85/12.99	c (round 290, fast)       3625 del vars, 3601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.95/13.05	c (round 291, exhaustive) 3650 del vars, 3601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
12.95/13.05	c (round 292, fast)       3650 del vars, 3626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 75 clqs
13.05/13.12	c (round 293, exhaustive) 3675 del vars, 3626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.05/13.13	c (round 294, fast)       3675 del vars, 3651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.15/13.22	c (round 295, exhaustive) 3700 del vars, 3651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.15/13.22	c (round 296, fast)       3700 del vars, 3676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.15/13.29	c (round 297, exhaustive) 3725 del vars, 3676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.15/13.29	c (round 298, fast)       3725 del vars, 3701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 76 clqs
13.25/13.36	c (round 299, exhaustive) 3750 del vars, 3701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.25/13.37	c (round 300, fast)       3750 del vars, 3726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.35/13.45	c (round 301, exhaustive) 3775 del vars, 3726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.35/13.45	c (round 302, fast)       3775 del vars, 3751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.45/13.52	c (round 303, exhaustive) 3800 del vars, 3751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.45/13.52	c (round 304, fast)       3800 del vars, 3776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.45/13.59	c (round 305, exhaustive) 3825 del vars, 3776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.55/13.60	c (round 306, fast)       3825 del vars, 3801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 77 clqs
13.55/13.68	c (round 307, exhaustive) 3850 del vars, 3801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 78 clqs
13.55/13.68	c (round 308, fast)       3850 del vars, 3826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 78 clqs
13.65/13.74	c (round 309, exhaustive) 3875 del vars, 3826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 80 clqs
13.65/13.75	c (round 310, fast)       3875 del vars, 3851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 80 clqs
13.75/13.82	c (round 311, exhaustive) 3900 del vars, 3851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.75/13.82	c (round 312, fast)       3900 del vars, 3876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.85/13.90	c (round 313, exhaustive) 3925 del vars, 3876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.85/13.90	c (round 314, fast)       3925 del vars, 3901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.85/13.96	c (round 315, exhaustive) 3950 del vars, 3901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.85/13.96	c (round 316, fast)       3950 del vars, 3926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 81 clqs
13.95/14.04	c (round 317, exhaustive) 3975 del vars, 3926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
13.95/14.04	c (round 318, fast)       3975 del vars, 3951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
14.05/14.12	c    (14.1s) probing: 8000/19320 (41.4%) - 0 fixings, 3995 aggregations, 82 implications, 0 bound changes
14.05/14.13	c (round 319, exhaustive) 4000 del vars, 3951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
14.05/14.13	c (round 320, fast)       4000 del vars, 3976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
14.14/14.20	c (round 321, exhaustive) 4025 del vars, 3976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
14.14/14.20	c (round 322, fast)       4025 del vars, 4001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 82 clqs
14.14/14.27	c (round 323, exhaustive) 4050 del vars, 4001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 83 clqs
14.14/14.27	c (round 324, fast)       4050 del vars, 4026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 83 clqs
14.24/14.35	c (round 325, exhaustive) 4075 del vars, 4026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 85 clqs
14.24/14.36	c (round 326, fast)       4075 del vars, 4051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 85 clqs
14.34/14.41	c (round 327, exhaustive) 4100 del vars, 4051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 85 clqs
14.34/14.42	c (round 328, fast)       4100 del vars, 4076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 85 clqs
14.34/14.49	c (round 329, exhaustive) 4125 del vars, 4076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 88 clqs
14.44/14.50	c (round 330, fast)       4125 del vars, 4101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 88 clqs
14.44/14.58	c (round 331, exhaustive) 4150 del vars, 4101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.44/14.59	c (round 332, fast)       4150 del vars, 4126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.54/14.64	c (round 333, exhaustive) 4175 del vars, 4126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.54/14.65	c (round 334, fast)       4175 del vars, 4151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.64/14.71	c (round 335, exhaustive) 4200 del vars, 4151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.64/14.72	c (round 336, fast)       4200 del vars, 4176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.74/14.80	c (round 337, exhaustive) 4225 del vars, 4176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.74/14.80	c (round 338, fast)       4225 del vars, 4201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.74/14.86	c (round 339, exhaustive) 4250 del vars, 4201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.74/14.86	c (round 340, fast)       4250 del vars, 4226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.84/14.93	c (round 341, exhaustive) 4275 del vars, 4226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.84/14.93	c (round 342, fast)       4275 del vars, 4251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.95/15.01	c (round 343, exhaustive) 4300 del vars, 4251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.95/15.02	c (round 344, fast)       4300 del vars, 4276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.95/15.07	c (round 345, exhaustive) 4325 del vars, 4276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
14.95/15.08	c (round 346, fast)       4325 del vars, 4301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 89 clqs
15.05/15.15	c (round 347, exhaustive) 4350 del vars, 4301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 90 clqs
15.05/15.15	c (round 348, fast)       4350 del vars, 4326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 90 clqs
15.14/15.23	c (round 349, exhaustive) 4375 del vars, 4326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.14/15.24	c (round 350, fast)       4375 del vars, 4351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.14/15.29	c (round 351, exhaustive) 4400 del vars, 4351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.14/15.29	c (round 352, fast)       4400 del vars, 4376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.24/15.36	c (round 353, exhaustive) 4425 del vars, 4376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.24/15.36	c (round 354, fast)       4425 del vars, 4401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 91 clqs
15.34/15.43	c (round 355, exhaustive) 4450 del vars, 4401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 92 clqs
15.34/15.44	c (round 356, fast)       4450 del vars, 4426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 92 clqs
15.44/15.51	c (round 357, exhaustive) 4475 del vars, 4426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 94 clqs
15.44/15.51	c (round 358, fast)       4475 del vars, 4451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 94 clqs
15.44/15.53	c    (15.5s) probing: 9000/19320 (46.6%) - 0 fixings, 4481 aggregations, 94 implications, 0 bound changes
15.44/15.57	c (round 359, exhaustive) 4500 del vars, 4451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 95 clqs
15.44/15.58	c (round 360, fast)       4500 del vars, 4476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 95 clqs
15.54/15.64	c (round 361, exhaustive) 4525 del vars, 4476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 95 clqs
15.54/15.64	c (round 362, fast)       4525 del vars, 4501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 95 clqs
15.64/15.72	c (round 363, exhaustive) 4550 del vars, 4501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.64/15.72	c (round 364, fast)       4550 del vars, 4526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.64/15.79	c (round 365, exhaustive) 4575 del vars, 4526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.64/15.79	c (round 366, fast)       4575 del vars, 4551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.74/15.85	c (round 367, exhaustive) 4600 del vars, 4551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.74/15.86	c (round 368, fast)       4600 del vars, 4576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.84/15.94	c (round 369, exhaustive) 4625 del vars, 4576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.84/15.95	c (round 370, fast)       4625 del vars, 4601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.94/16.00	c (round 371, exhaustive) 4650 del vars, 4601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.94/16.01	c (round 372, fast)       4650 del vars, 4626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 96 clqs
15.94/16.07	c (round 373, exhaustive) 4675 del vars, 4626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 97 clqs
15.94/16.08	c (round 374, fast)       4675 del vars, 4651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 97 clqs
16.04/16.16	c (round 375, exhaustive) 4700 del vars, 4651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 97 clqs
16.04/16.16	c (round 376, fast)       4700 del vars, 4676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 97 clqs
16.14/16.22	c (round 377, exhaustive) 4725 del vars, 4676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.14/16.22	c (round 378, fast)       4725 del vars, 4701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.14/16.29	c (round 379, exhaustive) 4750 del vars, 4701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.14/16.30	c (round 380, fast)       4750 del vars, 4726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.24/16.37	c (round 381, exhaustive) 4775 del vars, 4726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.24/16.37	c (round 382, fast)       4775 del vars, 4751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.34/16.43	c (round 383, exhaustive) 4800 del vars, 4751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.34/16.43	c (round 384, fast)       4800 del vars, 4776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.34/16.49	c (round 385, exhaustive) 4825 del vars, 4776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.34/16.49	c (round 386, fast)       4825 del vars, 4801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.44/16.55	c (round 387, exhaustive) 4850 del vars, 4801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.44/16.56	c (round 388, fast)       4850 del vars, 4826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.54/16.63	c (round 389, exhaustive) 4875 del vars, 4826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.54/16.63	c (round 390, fast)       4875 del vars, 4851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.54/16.68	c (round 391, exhaustive) 4900 del vars, 4851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.54/16.69	c (round 392, fast)       4900 del vars, 4876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.63/16.75	c (round 393, exhaustive) 4925 del vars, 4876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.63/16.75	c (round 394, fast)       4925 del vars, 4901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 99 clqs
16.73/16.83	c (round 395, exhaustive) 4950 del vars, 4901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.73/16.84	c (round 396, fast)       4950 del vars, 4926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.73/16.85	c    (16.9s) probing: 10000/19320 (51.8%) - 0 fixings, 4954 aggregations, 102 implications, 0 bound changes
16.73/16.89	c (round 397, exhaustive) 4975 del vars, 4926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.73/16.89	c (round 398, fast)       4975 del vars, 4951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.83/16.95	c (round 399, exhaustive) 5000 del vars, 4951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.83/16.95	c (round 400, fast)       5000 del vars, 4976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 102 clqs
16.94/17.01	c (round 401, exhaustive) 5025 del vars, 4976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 103 clqs
16.94/17.01	c (round 402, fast)       5025 del vars, 5001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 103 clqs
16.94/17.09	c (round 403, exhaustive) 5050 del vars, 5001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 103 clqs
16.94/17.09	c (round 404, fast)       5050 del vars, 5026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 103 clqs
17.04/17.15	c (round 405, exhaustive) 5075 del vars, 5026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 104 clqs
17.04/17.16	c (round 406, fast)       5075 del vars, 5051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 104 clqs
17.13/17.22	c (round 407, exhaustive) 5100 del vars, 5051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 105 clqs
17.13/17.22	c (round 408, fast)       5100 del vars, 5076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 105 clqs
17.23/17.30	c (round 409, exhaustive) 5125 del vars, 5076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.23/17.30	c (round 410, fast)       5125 del vars, 5101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.23/17.36	c (round 411, exhaustive) 5150 del vars, 5101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.23/17.36	c (round 412, fast)       5150 del vars, 5126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.33/17.42	c (round 413, exhaustive) 5175 del vars, 5126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.33/17.43	c (round 414, fast)       5175 del vars, 5151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.33/17.48	c (round 415, exhaustive) 5200 del vars, 5151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.33/17.49	c (round 416, fast)       5200 del vars, 5176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 106 clqs
17.43/17.55	c (round 417, exhaustive) 5225 del vars, 5176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.43/17.56	c (round 418, fast)       5225 del vars, 5201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.53/17.61	c (round 419, exhaustive) 5250 del vars, 5201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.53/17.61	c (round 420, fast)       5250 del vars, 5226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.53/17.67	c (round 421, exhaustive) 5275 del vars, 5226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.53/17.67	c (round 422, fast)       5275 del vars, 5251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 107 clqs
17.63/17.74	c (round 423, exhaustive) 5300 del vars, 5251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 108 clqs
17.63/17.74	c (round 424, fast)       5300 del vars, 5276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 108 clqs
17.63/17.79	c (round 425, exhaustive) 5325 del vars, 5276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.73/17.80	c (round 426, fast)       5325 del vars, 5301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.73/17.85	c (round 427, exhaustive) 5350 del vars, 5301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.73/17.85	c (round 428, fast)       5350 del vars, 5326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.83/17.91	c (round 429, exhaustive) 5375 del vars, 5326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.83/17.91	c (round 430, fast)       5375 del vars, 5351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.83/17.99	c (round 431, exhaustive) 5400 del vars, 5351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.83/17.99	c (round 432, fast)       5400 del vars, 5376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.93/18.04	c (round 433, exhaustive) 5425 del vars, 5376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.93/18.05	c (round 434, fast)       5425 del vars, 5401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 109 clqs
17.93/18.07	c    (18.1s) probing: 11000/19320 (56.9%) - 0 fixings, 5432 aggregations, 109 implications, 0 bound changes
18.03/18.10	c (round 435, exhaustive) 5450 del vars, 5401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 111 clqs
18.03/18.11	c (round 436, fast)       5450 del vars, 5426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 111 clqs
18.03/18.17	c (round 437, exhaustive) 5475 del vars, 5426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.03/18.17	c (round 438, fast)       5475 del vars, 5451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.13/18.23	c (round 439, exhaustive) 5500 del vars, 5451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.13/18.24	c (round 440, fast)       5500 del vars, 5476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.13/18.29	c (round 441, exhaustive) 5525 del vars, 5476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.13/18.29	c (round 442, fast)       5525 del vars, 5501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 113 clqs
18.23/18.35	c (round 443, exhaustive) 5550 del vars, 5501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 114 clqs
18.23/18.35	c (round 444, fast)       5550 del vars, 5526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 114 clqs
18.33/18.42	c (round 445, exhaustive) 5575 del vars, 5526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 114 clqs
18.33/18.42	c (round 446, fast)       5575 del vars, 5551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 114 clqs
18.33/18.47	c (round 447, exhaustive) 5600 del vars, 5551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 116 clqs
18.33/18.48	c (round 448, fast)       5600 del vars, 5576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 116 clqs
18.43/18.52	c (round 449, exhaustive) 5625 del vars, 5576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 117 clqs
18.43/18.53	c (round 450, fast)       5625 del vars, 5601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 117 clqs
18.43/18.58	c (round 451, exhaustive) 5650 del vars, 5601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 117 clqs
18.43/18.58	c (round 452, fast)       5650 del vars, 5626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 117 clqs
18.53/18.64	c (round 453, exhaustive) 5675 del vars, 5626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 118 clqs
18.53/18.65	c (round 454, fast)       5675 del vars, 5651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 118 clqs
18.63/18.70	c (round 455, exhaustive) 5700 del vars, 5651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 119 clqs
18.63/18.70	c (round 456, fast)       5700 del vars, 5676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 119 clqs
18.63/18.75	c (round 457, exhaustive) 5725 del vars, 5676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 120 clqs
18.63/18.76	c (round 458, fast)       5725 del vars, 5701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 120 clqs
18.73/18.81	c (round 459, exhaustive) 5750 del vars, 5701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.73/18.82	c (round 460, fast)       5750 del vars, 5726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.73/18.88	c (round 461, exhaustive) 5775 del vars, 5726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.73/18.88	c (round 462, fast)       5775 del vars, 5751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.83/18.93	c (round 463, exhaustive) 5800 del vars, 5751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.83/18.93	c (round 464, fast)       5800 del vars, 5776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.83/18.98	c (round 465, exhaustive) 5825 del vars, 5776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.83/18.99	c (round 466, fast)       5825 del vars, 5801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 121 clqs
18.93/19.03	c (round 467, exhaustive) 5850 del vars, 5801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
18.93/19.03	c (round 468, fast)       5850 del vars, 5826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.03/19.10	c (round 469, exhaustive) 5875 del vars, 5826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.03/19.11	c (round 470, fast)       5875 del vars, 5851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.03/19.16	c (round 471, exhaustive) 5900 del vars, 5851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.03/19.16	c (round 472, fast)       5900 del vars, 5876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.13/19.21	c (round 473, exhaustive) 5925 del vars, 5876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.13/19.21	c (round 474, fast)       5925 del vars, 5901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 122 clqs
19.13/19.23	c    (19.2s) probing: 12000/19320 (62.1%) - 0 fixings, 5932 aggregations, 122 implications, 0 bound changes
19.13/19.27	c (round 475, exhaustive) 5950 del vars, 5901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 123 clqs
19.13/19.27	c (round 476, fast)       5950 del vars, 5926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 123 clqs
19.22/19.34	c (round 477, exhaustive) 5975 del vars, 5926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 123 clqs
19.22/19.34	c (round 478, fast)       5975 del vars, 5951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 123 clqs
19.22/19.39	c (round 479, exhaustive) 6000 del vars, 5951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 125 clqs
19.22/19.39	c (round 480, fast)       6000 del vars, 5976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 125 clqs
19.32/19.44	c (round 481, exhaustive) 6025 del vars, 5976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 125 clqs
19.32/19.44	c (round 482, fast)       6025 del vars, 6001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 125 clqs
19.32/19.49	c (round 483, exhaustive) 6050 del vars, 6001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 126 clqs
19.32/19.49	c (round 484, fast)       6050 del vars, 6026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 126 clqs
19.42/19.56	c (round 485, exhaustive) 6075 del vars, 6026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 126 clqs
19.42/19.56	c (round 486, fast)       6075 del vars, 6051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 126 clqs
19.52/19.62	c (round 487, exhaustive) 6100 del vars, 6051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.52/19.62	c (round 488, fast)       6100 del vars, 6076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.52/19.67	c (round 489, exhaustive) 6125 del vars, 6076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.52/19.67	c (round 490, fast)       6125 del vars, 6101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.62/19.72	c (round 491, exhaustive) 6150 del vars, 6101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.62/19.72	c (round 492, fast)       6150 del vars, 6126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.62/19.78	c (round 493, exhaustive) 6175 del vars, 6126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.62/19.79	c (round 494, fast)       6175 del vars, 6151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.72/19.84	c (round 495, exhaustive) 6200 del vars, 6151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.72/19.84	c (round 496, fast)       6200 del vars, 6176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.72/19.89	c (round 497, exhaustive) 6225 del vars, 6176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.72/19.89	c (round 498, fast)       6225 del vars, 6201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 127 clqs
19.82/19.94	c (round 499, exhaustive) 6250 del vars, 6201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 128 clqs
19.82/19.94	c (round 500, fast)       6250 del vars, 6226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 128 clqs
19.82/19.99	c (round 501, exhaustive) 6275 del vars, 6226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 128 clqs
19.82/20.00	c (round 502, fast)       6275 del vars, 6251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 128 clqs
19.93/20.05	c (round 503, exhaustive) 6300 del vars, 6251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 129 clqs
19.93/20.05	c (round 504, fast)       6300 del vars, 6276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 129 clqs
19.93/20.10	c (round 505, exhaustive) 6325 del vars, 6276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 129 clqs
20.03/20.10	c (round 506, fast)       6325 del vars, 6301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 129 clqs
20.03/20.15	c (round 507, exhaustive) 6350 del vars, 6301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.03/20.15	c (round 508, fast)       6350 del vars, 6326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.03/20.20	c (round 509, exhaustive) 6375 del vars, 6326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.12/20.20	c (round 510, fast)       6375 del vars, 6351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.12/20.26	c (round 511, exhaustive) 6400 del vars, 6351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.12/20.26	c (round 512, fast)       6400 del vars, 6376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 131 clqs
20.22/20.30	c    (20.3s) probing: 13000/19320 (67.3%) - 0 fixings, 6423 aggregations, 131 implications, 0 bound changes
20.22/20.31	c (round 513, exhaustive) 6425 del vars, 6376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.22/20.31	c (round 514, fast)       6425 del vars, 6401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.22/20.35	c (round 515, exhaustive) 6450 del vars, 6401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.22/20.36	c (round 516, fast)       6450 del vars, 6426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.32/20.41	c (round 517, exhaustive) 6475 del vars, 6426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.32/20.41	c (round 518, fast)       6475 del vars, 6451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 132 clqs
20.32/20.47	c (round 519, exhaustive) 6500 del vars, 6451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 134 clqs
20.32/20.47	c (round 520, fast)       6500 del vars, 6476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 134 clqs
20.42/20.52	c (round 521, exhaustive) 6525 del vars, 6476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 134 clqs
20.42/20.52	c (round 522, fast)       6525 del vars, 6501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 134 clqs
20.42/20.57	c (round 523, exhaustive) 6550 del vars, 6501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 135 clqs
20.42/20.57	c (round 524, fast)       6550 del vars, 6526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 135 clqs
20.52/20.61	c (round 525, exhaustive) 6575 del vars, 6526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 135 clqs
20.52/20.62	c (round 526, fast)       6575 del vars, 6551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 135 clqs
20.52/20.67	c (round 527, exhaustive) 6600 del vars, 6551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 136 clqs
20.52/20.67	c (round 528, fast)       6600 del vars, 6576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 136 clqs
20.62/20.72	c (round 529, exhaustive) 6625 del vars, 6576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 137 clqs
20.62/20.73	c (round 530, fast)       6625 del vars, 6601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 137 clqs
20.62/20.77	c (round 531, exhaustive) 6650 del vars, 6601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.62/20.77	c (round 532, fast)       6650 del vars, 6626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.72/20.82	c (round 533, exhaustive) 6675 del vars, 6626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.72/20.82	c (round 534, fast)       6675 del vars, 6651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.72/20.86	c (round 535, exhaustive) 6700 del vars, 6651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.72/20.87	c (round 536, fast)       6700 del vars, 6676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.82/20.93	c (round 537, exhaustive) 6725 del vars, 6676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.82/20.93	c (round 538, fast)       6725 del vars, 6701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.82/20.97	c (round 539, exhaustive) 6750 del vars, 6701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.82/20.97	c (round 540, fast)       6750 del vars, 6726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.92/21.02	c (round 541, exhaustive) 6775 del vars, 6726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.92/21.02	c (round 542, fast)       6775 del vars, 6751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.92/21.06	c (round 543, exhaustive) 6800 del vars, 6751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
20.92/21.06	c (round 544, fast)       6800 del vars, 6776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
21.02/21.11	c (round 545, exhaustive) 6825 del vars, 6776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
21.02/21.11	c (round 546, fast)       6825 del vars, 6801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 138 clqs
21.02/21.17	c (round 547, exhaustive) 6850 del vars, 6801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 140 clqs
21.02/21.17	c (round 548, fast)       6850 del vars, 6826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 140 clqs
21.12/21.21	c (round 549, exhaustive) 6875 del vars, 6826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 141 clqs
21.12/21.22	c (round 550, fast)       6875 del vars, 6851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 141 clqs
21.12/21.26	c (round 551, exhaustive) 6900 del vars, 6851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 141 clqs
21.12/21.26	c (round 552, fast)       6900 del vars, 6876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 141 clqs
21.22/21.30	c (round 553, exhaustive) 6925 del vars, 6876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 142 clqs
21.22/21.30	c (round 554, fast)       6925 del vars, 6901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 142 clqs
21.22/21.32	c    (21.3s) probing: 14000/19320 (72.5%) - 0 fixings, 6928 aggregations, 143 implications, 0 bound changes
21.22/21.35	c (round 555, exhaustive) 6950 del vars, 6901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 143 clqs
21.22/21.35	c (round 556, fast)       6950 del vars, 6926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 143 clqs
21.32/21.40	c (round 557, exhaustive) 6975 del vars, 6926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 144 clqs
21.32/21.40	c (round 558, fast)       6975 del vars, 6951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 144 clqs
21.32/21.45	c (round 559, exhaustive) 7000 del vars, 6951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 148 clqs
21.32/21.45	c (round 560, fast)       7000 del vars, 6976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 148 clqs
21.32/21.49	c (round 561, exhaustive) 7025 del vars, 6976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.32/21.49	c (round 562, fast)       7025 del vars, 7001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.42/21.53	c (round 563, exhaustive) 7050 del vars, 7001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.42/21.54	c (round 564, fast)       7050 del vars, 7026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.42/21.59	c (round 565, exhaustive) 7075 del vars, 7026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.42/21.59	c (round 566, fast)       7075 del vars, 7051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.51/21.64	c (round 567, exhaustive) 7100 del vars, 7051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.51/21.64	c (round 568, fast)       7100 del vars, 7076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 149 clqs
21.51/21.68	c (round 569, exhaustive) 7125 del vars, 7076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 151 clqs
21.51/21.68	c (round 570, fast)       7125 del vars, 7101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 151 clqs
21.61/21.73	c (round 571, exhaustive) 7150 del vars, 7101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 151 clqs
21.61/21.73	c (round 572, fast)       7150 del vars, 7126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 151 clqs
21.61/21.78	c (round 573, exhaustive) 7175 del vars, 7126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.61/21.78	c (round 574, fast)       7175 del vars, 7151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.71/21.83	c (round 575, exhaustive) 7200 del vars, 7151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.71/21.83	c (round 576, fast)       7200 del vars, 7176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.71/21.88	c (round 577, exhaustive) 7225 del vars, 7176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.71/21.88	c (round 578, fast)       7225 del vars, 7201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.81/21.93	c (round 579, exhaustive) 7250 del vars, 7201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.81/21.93	c (round 580, fast)       7250 del vars, 7226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.81/21.97	c (round 581, exhaustive) 7275 del vars, 7226 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.81/21.97	c (round 582, fast)       7275 del vars, 7251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.92/22.01	c (round 583, exhaustive) 7300 del vars, 7251 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.92/22.01	c (round 584, fast)       7300 del vars, 7276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 152 clqs
21.92/22.07	c (round 585, exhaustive) 7325 del vars, 7276 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 153 clqs
21.92/22.07	c (round 586, fast)       7325 del vars, 7301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 153 clqs
22.02/22.12	c (round 587, exhaustive) 7350 del vars, 7301 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 154 clqs
22.02/22.12	c (round 588, fast)       7350 del vars, 7326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 154 clqs
22.02/22.16	c (round 589, exhaustive) 7375 del vars, 7326 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 155 clqs
22.02/22.16	c (round 590, fast)       7375 del vars, 7351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 155 clqs
22.11/22.20	c (round 591, exhaustive) 7400 del vars, 7351 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 156 clqs
22.11/22.21	c (round 592, fast)       7400 del vars, 7376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 156 clqs
22.11/22.22	c    (22.2s) probing: 15000/19320 (77.6%) - 0 fixings, 7404 aggregations, 156 implications, 0 bound changes
22.11/22.24	c (round 593, exhaustive) 7425 del vars, 7376 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.11/22.25	c (round 594, fast)       7425 del vars, 7401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.30	c (round 595, exhaustive) 7450 del vars, 7401 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.30	c (round 596, fast)       7450 del vars, 7426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.34	c (round 597, exhaustive) 7475 del vars, 7426 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.34	c (round 598, fast)       7475 del vars, 7451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.39	c (round 599, exhaustive) 7500 del vars, 7451 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.21/22.39	c (round 600, fast)       7500 del vars, 7476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.31/22.43	c (round 601, exhaustive) 7525 del vars, 7476 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.31/22.43	c (round 602, fast)       7525 del vars, 7501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.31/22.46	c (round 603, exhaustive) 7550 del vars, 7501 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.31/22.47	c (round 604, fast)       7550 del vars, 7526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.41/22.52	c (round 605, exhaustive) 7575 del vars, 7526 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.41/22.52	c (round 606, fast)       7575 del vars, 7551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.41/22.56	c (round 607, exhaustive) 7600 del vars, 7551 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.41/22.56	c (round 608, fast)       7600 del vars, 7576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 157 clqs
22.51/22.60	c (round 609, exhaustive) 7625 del vars, 7576 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 158 clqs
22.51/22.60	c (round 610, fast)       7625 del vars, 7601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 158 clqs
22.51/22.64	c (round 611, exhaustive) 7650 del vars, 7601 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 158 clqs
22.51/22.64	c (round 612, fast)       7650 del vars, 7626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 158 clqs
22.51/22.68	c (round 613, exhaustive) 7675 del vars, 7626 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.51/22.68	c (round 614, fast)       7675 del vars, 7651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.61/22.73	c (round 615, exhaustive) 7700 del vars, 7651 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.61/22.73	c (round 616, fast)       7700 del vars, 7676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.61/22.78	c (round 617, exhaustive) 7725 del vars, 7676 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.61/22.78	c (round 618, fast)       7725 del vars, 7701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 159 clqs
22.71/22.82	c (round 619, exhaustive) 7750 del vars, 7701 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.71/22.82	c (round 620, fast)       7750 del vars, 7726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.71/22.85	c (round 621, exhaustive) 7775 del vars, 7726 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.71/22.85	c (round 622, fast)       7775 del vars, 7751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.71/22.89	c (round 623, exhaustive) 7800 del vars, 7751 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.71/22.89	c (round 624, fast)       7800 del vars, 7776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.81/22.93	c (round 625, exhaustive) 7825 del vars, 7776 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.81/22.93	c (round 626, fast)       7825 del vars, 7801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.81/22.98	c (round 627, exhaustive) 7850 del vars, 7801 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.81/22.98	c (round 628, fast)       7850 del vars, 7826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.02	c (round 629, exhaustive) 7875 del vars, 7826 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.02	c (round 630, fast)       7875 del vars, 7851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.06	c (round 631, exhaustive) 7900 del vars, 7851 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.06	c (round 632, fast)       7900 del vars, 7876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.08	c    (23.1s) probing: 16000/19320 (82.8%) - 0 fixings, 7910 aggregations, 160 implications, 0 bound changes
22.91/23.10	c (round 633, exhaustive) 7925 del vars, 7876 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
22.91/23.10	c (round 634, fast)       7925 del vars, 7901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 160 clqs
23.01/23.13	c (round 635, exhaustive) 7950 del vars, 7901 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 161 clqs
23.01/23.14	c (round 636, fast)       7950 del vars, 7926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 161 clqs
23.01/23.18	c (round 637, exhaustive) 7975 del vars, 7926 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 162 clqs
23.01/23.18	c (round 638, fast)       7975 del vars, 7951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 162 clqs
23.11/23.22	c (round 639, exhaustive) 8000 del vars, 7951 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 163 clqs
23.11/23.22	c (round 640, fast)       8000 del vars, 7976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 163 clqs
23.11/23.26	c (round 641, exhaustive) 8025 del vars, 7976 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 166 clqs
23.11/23.26	c (round 642, fast)       8025 del vars, 8001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 166 clqs
23.11/23.29	c (round 643, exhaustive) 8050 del vars, 8001 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 166 clqs
23.21/23.30	c (round 644, fast)       8050 del vars, 8026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 166 clqs
23.21/23.33	c (round 645, exhaustive) 8075 del vars, 8026 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 167 clqs
23.21/23.33	c (round 646, fast)       8075 del vars, 8051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 167 clqs
23.21/23.37	c (round 647, exhaustive) 8100 del vars, 8051 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 168 clqs
23.21/23.37	c (round 648, fast)       8100 del vars, 8076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 168 clqs
23.31/23.42	c (round 649, exhaustive) 8125 del vars, 8076 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 169 clqs
23.31/23.42	c (round 650, fast)       8125 del vars, 8101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 169 clqs
23.31/23.46	c (round 651, exhaustive) 8150 del vars, 8101 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 169 clqs
23.31/23.46	c (round 652, fast)       8150 del vars, 8126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 169 clqs
23.31/23.49	c (round 653, exhaustive) 8175 del vars, 8126 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 170 clqs
23.31/23.49	c (round 654, fast)       8175 del vars, 8151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 170 clqs
23.41/23.53	c (round 655, exhaustive) 8200 del vars, 8151 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 175 clqs
23.41/23.53	c (round 656, fast)       8200 del vars, 8176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 175 clqs
23.41/23.59	c    (23.6s) probing: 16643/19320 (86.1%) - 0 fixings, 8210 aggregations, 176 implications, 0 bound changes
23.41/23.59	c    (23.6s) probing aborted: 50/50 successive totally useless probings
23.41/23.59	c (round 657, exhaustive) 8210 del vars, 8176 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 176 clqs
23.41/23.59	c (round 658, fast)       8210 del vars, 8201 del conss, 0 add conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8382 impls, 176 clqs
23.51/23.61	c    (23.6s) probing: 16648/19320 (86.2%) - 0 fixings, 8210 aggregations, 176 implications, 0 bound changes
23.51/23.61	c    (23.6s) probing aborted: 50/50 successive totally useless probings
23.51/23.61	c    (23.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
23.51/23.63	c    (23.6s) no symmetry present (symcode time: 0.01)
23.51/23.64	c presolving (659 rounds: 659 fast, 331 medium, 331 exhaustive):
23.51/23.64	c  8210 deleted vars, 8201 deleted constraints, 0 added constraints, 8382 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
23.51/23.64	c  8382 implications, 176 cliques
23.51/23.64	c presolved problem has 11282 variables (11110 bin, 0 int, 172 impl, 0 cont) and 8564 constraints
23.51/23.64	c    8382 constraints of type <linear>
23.51/23.64	c     182 constraints of type <indicator>
23.51/23.64	c transformed objective value is always integral (scale: 1)
23.51/23.64	c Presolving Time: 23.56
23.51/23.64	c - non default parameters ----------------------------------------------------------------------
23.51/23.64	c # SCIP version 10.0.0
23.51/23.64	c 
23.51/23.64	c # maximal time in seconds to run
23.51/23.64	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
23.51/23.64	c limits/time = 3596.997052
23.51/23.64	c 
23.51/23.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.51/23.64	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
23.51/23.64	c limits/memory = 27900
23.51/23.64	c 
23.51/23.64	c # belongs reading time to solving time?
23.51/23.64	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
23.51/23.64	c timing/reading = TRUE
23.51/23.64	c 
23.51/23.64	c -----------------------------------------------------------------------------------------------
23.51/23.64	c start solving
23.51/23.64	c 
23.61/23.77	o 71814
23.61/23.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.61/23.77	c i23.8s|     1 |     0 |     0 |     - |  oneopt|   0 |  11k|8564 |8554 |   0 |  0 |   0 |   0 | 0.000000e+00 | 7.181400e+04 |    Inf | unknown
25.20/25.35	o 19
25.20/25.35	c *25.4s|     1 |     0 |  1862 |     - |    LP  |   0 |  11k|8564 |8554 |   0 |  0 |   0 |   0 | 1.900000e+01 | 1.900000e+01 |   0.00%| unknown
25.20/25.35	c  25.4s|     1 |     0 |  1862 |     - |   129M |   0 |  11k|8564 |8554 |   0 |  0 |   0 |   0 | 1.900000e+01 | 1.900000e+01 |   0.00%| unknown
25.20/25.35	c 
25.20/25.35	c SCIP Status        : problem is solved [optimal solution found]
25.20/25.35	c Solving Time (sec) : 25.35
25.20/25.35	c Solving Nodes      : 1
25.20/25.35	c Primal Bound       : +1.90000000000000e+01 (4 solutions)
25.20/25.35	c Dual Bound         : +1.90000000000000e+01
25.20/25.35	c Gap                : 0.00 %
25.20/25.37	s OPTIMUM FOUND
25.20/25.37	v x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
25.20/25.37	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 
25.20/25.37	v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 x2683 x2682 x2681 x2680 x2679 x2678 x2677 x2676 x2675 x2674 -x2673 
25.20/25.37	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
25.20/25.37	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
25.20/25.37	v x2636 x2635 x2634 x2633 x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 
25.20/25.37	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
25.20/25.37	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 x2584 x2583 
25.20/25.37	v x2582 x2581 x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
25.20/25.37	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
25.20/25.37	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 x2535 x2534 x2533 x2532 x2531 x2530 x2529 x2528 
25.20/25.37	v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 
25.20/25.37	v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 x2498 x2497 -x2496 -x2495 -x2494 -x2493 -x2492 
25.20/25.37	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 
25.20/25.37	v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 
25.20/25.37	v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 x2439 -x2438 
25.20/25.37	v -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
25.20/25.37	v -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 x2409 x2408 x2407 x2406 x2405 x2404 x2403 x2402 x2401 
25.20/25.37	v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 
25.20/25.37	v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 
25.20/25.37	v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 x2349 -x2348 -x2347 
25.20/25.37	v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 
25.20/25.37	v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 -x2312 -x2311 
25.20/25.37	v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 
25.20/25.37	v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 
25.20/25.37	v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 x2266 x2265 x2264 x2263 x2262 x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
25.20/25.37	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
25.20/25.37	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 x2225 x2224 x2223 x2222 x2221 x2220 
25.20/25.37	v x2219 x2218 x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 
25.20/25.37	v -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 
25.20/25.37	v -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 x2171 x2170 x2169 x2168 -x2167 -x2166 -x2165 
25.20/25.37	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
25.20/25.37	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
25.20/25.37	v x2128 x2127 x2126 x2125 x2124 x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
25.20/25.37	v -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 
25.20/25.37	v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 x2077 x2076 -x2075 
25.20/25.37	v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 
25.20/25.37	v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 
25.20/25.37	v -x2038 -x2037 -x2036 -x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
25.20/25.37	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 x2003 
25.20/25.37	v x2002 x2001 x2000 x1999 x1998 x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
25.20/25.37	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 
25.20/25.37	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
25.20/25.37	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 
25.20/25.37	v -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 
25.20/25.37	v -x1912 -x1911 x1910 x1909 x1908 x1907 x1906 x1905 x1904 x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
25.20/25.37	v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 
25.20/25.37	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 
25.20/25.37	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
25.20/25.37	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
25.20/25.37	v -x1821 x1820 x1819 x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
25.20/25.37	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
25.20/25.37	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 x1769 -x1768 
25.20/25.37	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 
25.20/25.37	v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 -x1733 -x1732 -x1731 
25.20/25.37	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 
25.20/25.37	v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 
25.20/25.37	v -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 x1688 x1687 x1686 x1685 x1684 x1683 x1682 -x1681 -x1680 -x1679 -x1678 -x1677 
25.20/25.37	v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 
25.20/25.37	v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 x1643 x1642 x1641 x1640 
25.20/25.37	v x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 
25.20/25.37	v -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 
25.20/25.37	v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 x1593 x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 
25.20/25.37	v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 
25.20/25.37	v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 
25.20/25.37	v x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
25.20/25.37	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
25.20/25.37	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 
25.20/25.37	v -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 
25.20/25.37	v -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
25.20/25.37	v x1459 x1458 x1457 x1456 x1455 x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 
25.20/25.37	v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 
25.20/25.37	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
25.20/25.37	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 
25.20/25.37	v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 x1369 x1368 
25.20/25.37	v x1367 x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
25.20/25.37	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
25.20/25.37	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 
25.20/25.37	v x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 
25.20/25.37	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 x1277 
25.20/25.37	v x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
25.20/25.37	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
25.20/25.37	v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 
25.20/25.37	v x1219 x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
25.20/25.37	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 
25.20/25.37	v x1182 x1181 x1180 x1179 x1178 x1177 x1176 x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 x1166 x1165 -x1164 -x1163 
25.20/25.37	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 
25.20/25.37	v x1144 x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136 x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 
25.20/25.37	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 
25.20/25.37	v -x1106 -x1105 -x1104 -x1103 -x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 
25.20/25.37	v x1086 x1085 x1084 x1083 x1082 x1081 x1080 x1079 x1078 x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
25.20/25.37	v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 
25.20/25.37	v x1048 x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 
25.20/25.37	v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012 x1011 
25.20/25.37	v x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 
25.20/25.37	v x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 x968 x967 
25.20/25.37	v x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 
25.20/25.37	v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 x924 x923 x922 
25.20/25.37	v x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 x907 x906 x905 x904 x903 x902 x901 x900 x899 x898 -x897 
25.20/25.37	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 
25.20/25.37	v x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 -x853 -x852 -x851 
25.20/25.37	v -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 x836 x835 x834 x833 x832 x831 x830 x829 x828 
25.20/25.37	v x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 x812 x811 x810 x809 x808 x807 x806 x805 -x804 -x803 
25.20/25.37	v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 
25.20/25.37	v x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 -x759 -x758 -x757 -x756 
25.20/25.37	v -x755 -x754 -x753 -x752 -x751 -x750 x749 x748 x747 x746 x745 x744 x743 x742 x741 x740 x739 x738 x737 x736 x735 x734 x733 x732 
25.20/25.37	v x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 x720 x719 x718 x717 x716 x715 x714 x713 -x712 -x711 -x710 -x709 -x708 
25.20/25.37	v -x707 -x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 
25.20/25.37	v x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 
25.20/25.37	v x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 x650 x649 x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 x638 x637 x636 
25.20/25.37	v x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 
25.20/25.37	v x613 x612 x611 x610 x609 x608 x607 x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
25.20/25.37	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 x572 x571 x570 
25.20/25.37	v x569 x568 x567 x566 x565 x564 x563 x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549 x548 x547 x546 x545 
25.20/25.37	v x544 x543 x542 x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 x527 x526 x525 x524 x523 x522 
25.20/25.37	v x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 
25.20/25.37	v x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 x484 x483 x482 x481 x480 x479 x478 x477 x476 x475 x474 
25.20/25.37	v x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 -x454 -x453 -x452 -x451 -x450 
25.20/25.37	v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 x426 
25.20/25.37	v x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x406 -x405 -x404 -x403 -x402 
25.20/25.37	v -x401 -x400 -x399 -x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 
25.20/25.37	v x377 x376 x375 x374 x373 x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
25.20/25.37	v -x355 -x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332 x331 
25.20/25.37	v x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 x308 
25.20/25.37	v x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 
25.20/25.37	v x282 x281 x280 x279 x278 x277 x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264 x263 x262 x261 x260 
25.20/25.37	v x259 x258 x257 x256 x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 x238 x237 x236 x235 
25.20/25.37	v x234 x233 x232 x231 x230 x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 
25.20/25.37	v x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 
25.20/25.37	v x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 
25.20/25.37	v x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 -x140 -x139 -x138 
25.20/25.37	v -x137 -x136 -x135 -x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 
25.20/25.37	v x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 
25.20/25.37	v x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 
25.20/25.37	v x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 
25.20/25.37	v x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 
25.20/25.37	c SCIP Status        : problem is solved [optimal solution found]
25.20/25.37	c Total Time         :      25.35
25.20/25.37	c   solving          :      25.35
25.20/25.37	c   presolving       :      23.56 (included in solving)
25.20/25.37	c   reading          :       0.04 (included in solving)
25.20/25.37	c   copying          :       0.00 (0 times copied the problem)
25.20/25.37	c Original Problem   :
25.20/25.37	c   Problem name     : HOME/instance-4425364-1720879430.wbo
25.20/25.37	c   Variables        : 11110 (11110 binary, 0 integer, 0 implicit integer, 0 continuous)
25.20/25.37	c   Constraints      : 16765 initial, 16765 maximal
25.20/25.37	c   Objective        : minimize, 8382 non-zeros (abs.min = 1, abs.max = 100)
25.20/25.37	c Presolved Problem  :
25.20/25.37	c   Problem name     : t_HOME/instance-4425364-1720879430.wbo
25.20/25.37	c   Variables        : 11282 (11110 binary, 0 integer, 172 implicit integer, 0 continuous)
25.20/25.37	c   Constraints      : 8564 initial, 8564 maximal
25.20/25.37	c   Objective        : minimize, 8382 non-zeros (abs.min = 1, abs.max = 100)
25.20/25.37	c   Nonzeros         : 31655 constraint, 352 clique table
25.20/25.37	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
25.20/25.37	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   domcol           :       0.00       0.00    330          0          0          0          0          0          0          0          0          0
25.20/25.37	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
25.20/25.37	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   implics          :       0.06       0.00    331          0          0          0          0          0          0          0          0          0
25.20/25.37	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
25.20/25.37	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   trivial          :       0.24       0.00    659          0          0          0          0          0          0          0          0          0
25.20/25.37	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   dualfix          :       0.20       0.00    659          0          0          0          0          0          0          0          0          0
25.20/25.37	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   probing          :      20.34       0.00    330          0       8210          0          0          0          0          0          0          0
25.20/25.37	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
25.20/25.37	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
25.20/25.37	c   vbounds          :       0.04       0.00     33          0          0          0          0          0          0          0          0          0
25.20/25.37	c   linear           :       2.43       0.00    990          0          0          0       8382          0          1          0          0          0
25.20/25.37	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   indicator        :       0.09       0.00    331          0          0          0          0          0       8200          0          0          0
25.20/25.37	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
25.20/25.37	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
25.20/25.37	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
25.20/25.37	c   benderslp        :          0          0          0          0          0          0          0       1298          0          0          0          0          0          0          0
25.20/25.37	c   integral         :          0          0          0          0          0          0          0       1298          0          0          0          0          0          0          0
25.20/25.37	c   linear           :       8382       8382          0      44572          0          0          0       1296          0          0          0          0          0          0          0
25.20/25.37	c   benders          :          0          0          0          0          0          0          0         10          0          0          0          0          0          0          0
25.20/25.37	c   indicator        :        182        182          0      44573          0          0          0          8          0          0          0          0          0          0          0
25.20/25.37	c   fixedvar         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
25.20/25.37	c   countsols        :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
25.20/25.37	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
25.20/25.37	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   integral         :       0.24       0.00       0.00       0.00       0.00       0.00       0.00       0.24       0.00       0.00
25.20/25.37	c   linear           :       0.99       0.00       0.01       0.02       0.00       0.00       0.00       0.95       0.00       0.00
25.20/25.37	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   indicator        :       4.21       0.00       0.00       4.19       0.00       0.00       0.00       0.01       0.00       0.00
25.20/25.37	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
25.20/25.37	c   dualfix          :          2          0          0          0
25.20/25.37	c   genvbounds       :          0          0          0          0
25.20/25.37	c   nlobbt           :          0          0          0          0
25.20/25.37	c   obbt             :          0          0          0          0
25.20/25.37	c   probing          :          0          0          0          0
25.20/25.37	c   pseudoobj        :          2          0          0          0
25.20/25.37	c   redcost          :          0          0          0          0
25.20/25.37	c   rootredcost      :          0          0          0          0
25.20/25.37	c   symmetry         :          0          0          0          0
25.20/25.37	c   vbounds          :        220          0          0          0
25.20/25.37	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
25.20/25.37	c   dualfix          :       0.20       0.00       0.20       0.00       0.00       0.00
25.20/25.37	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   probing          :      20.34       0.00      20.34       0.00       0.00       0.00
25.20/25.37	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
25.20/25.37	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
25.20/25.37	c   symmetry         :       0.02       0.00       0.02       0.00       0.00       0.00
25.20/25.37	c   vbounds          :       0.05       0.00       0.04       0.01       0.00       0.00
25.20/25.37	c Symmetry           :
25.20/25.37	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
25.20/25.37	c   orbital reduction:          0 reductions applied,          0 cutoffs
25.20/25.37	c   lexicographic red:          0 reductions applied,          0 cutoffs
25.20/25.37	c   shadow tree time :       0.00 s
25.20/25.37	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [--,--])
25.20/25.37	c   propagation      :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
25.20/25.37	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
25.20/25.37	c   bound exceed. LP :       0.01          1          0          -          0        0.0          0        0.0          0        0.0          0
25.20/25.37	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
25.20/25.37	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
25.20/25.37	c   applied globally :       0.00          -          -          0          0        0.0          -          -          0          -          -
25.20/25.37	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
25.20/25.37	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
25.20/25.37	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
25.20/25.37	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
25.20/25.37	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
25.20/25.37	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
25.20/25.37	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
25.20/25.37	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
25.20/25.37	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
25.20/25.37	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
25.20/25.37	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c Pricers            :   ExecTime  SetupTime      Calls       Vars
25.20/25.37	c   problem variables:       0.00          -          0          0
25.20/25.37	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
25.20/25.37	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
25.20/25.37	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
25.20/25.37	c   LP solutions     :       0.00          -          -          1          1
25.20/25.37	c   relax solutions  :       0.00          -          -          0          0
25.20/25.37	c   pseudo solutions :       0.00          -          -          0          0
25.20/25.37	c   strong branching :       0.00          -          -          0          0
25.20/25.37	c   actconsdiving    :       0.00       0.00          0          0          0
25.20/25.37	c   adaptivediving   :       0.00       0.00          0          0          0
25.20/25.37	c   alns             :       0.00       0.00          0          0          0
25.20/25.37	c   bound            :       0.00       0.00          0          0          0
25.20/25.37	c   clique           :       0.02       0.00          1          0          0
25.20/25.37	c   coefdiving       :       0.00       0.00          0          0          0
25.20/25.37	c   completesol      :       0.00       0.00          0          0          0
25.20/25.37	c   conflictdiving   :       0.00       0.00          0          0          0
25.20/25.37	c   crossover        :       0.00       0.00          0          0          0
25.20/25.37	c   dins             :       0.00       0.00          0          0          0
25.20/25.37	c   distributiondivin:       0.00       0.00          0          0          0
25.20/25.37	c   dps              :       0.00       0.00          0          0          0
25.20/25.37	c   dualval          :       0.00       0.00          0          0          0
25.20/25.37	c   farkasdiving     :       0.00       0.00          0          0          0
25.20/25.37	c   feasjump         :       0.00       0.00          0          0          0
25.20/25.37	c   feaspump         :       0.00       0.00          0          0          0
25.20/25.37	c   fixandinfer      :       0.00       0.00          0          0          0
25.20/25.37	c   fracdiving       :       0.00       0.00          0          0          0
25.20/25.37	c   gins             :       0.00       0.00          0          0          0
25.20/25.37	c   guideddiving     :       0.00       0.00          0          0          0
25.20/25.37	c   indcoefdiving    :       0.00       0.00          0          0          0
25.20/25.37	c   indicator        :       0.00       0.00          0          0          0
25.20/25.37	c   indicatordiving  :       0.00       0.00          0          0          0
25.20/25.37	c   indoneopt        :       1.53       0.00          1          0          0
25.20/25.37	c   indrounding      :       0.00       0.00          0          0          0
25.20/25.37	c   indtwoopt        :       0.00       0.00          0          0          0
25.20/25.37	c   intdiving        :       0.00       0.00          0          0          0
25.20/25.37	c   intshifting      :       0.00       0.00          0          0          0
25.20/25.37	c   linesearchdiving :       0.00       0.00          0          0          0
25.20/25.37	c   localbranching   :       0.00       0.00          0          0          0
25.20/25.37	c   locks            :       0.09       0.00          1          0          0
25.20/25.37	c   lpface           :       0.00       0.00          0          0          0
25.20/25.37	c   mpec             :       0.00       0.00          0          0          0
25.20/25.37	c   multistart       :       0.00       0.00          0          0          0
25.20/25.37	c   mutation         :       0.00       0.00          0          0          0
25.20/25.37	c   nlpdiving        :       0.00       0.00          0          0          0
25.20/25.37	c   objpscostdiving  :       0.00       0.00          0          0          0
25.20/25.37	c   octane           :       0.00       0.00          0          0          0
25.20/25.37	c   ofins            :       0.00       0.00          0          0          0
25.20/25.37	c   oneopt           :       0.01       0.00          1          1          1
25.20/25.37	c   padm             :       0.00       0.00          0          0          0
25.20/25.37	c   proximity        :       0.00       0.00          0          0          0
25.20/25.37	c   pscostdiving     :       0.00       0.00          0          0          0
25.20/25.37	c   randrounding     :       0.00       0.00          0          0          0
25.20/25.37	c   rens             :       0.00       0.00          0          0          0
25.20/25.37	c   reoptsols        :       0.00       0.00          0          0          0
25.20/25.37	c   repair           :       0.00       0.00          0          0          0
25.20/25.37	c   rins             :       0.00       0.00          0          0          0
25.20/25.37	c   rootsoldiving    :       0.00       0.00          0          0          0
25.20/25.37	c   rounding         :       0.00       0.00          0          0          0
25.20/25.37	c   scheduler        :       0.00       0.00          0          0          0
25.20/25.37	c   shiftandpropagate:       0.00       0.00          0          0          0
25.20/25.37	c   shifting         :       0.00       0.00          0          0          0
25.20/25.37	c   simplerounding   :       0.00       0.00          0          0          0
25.20/25.37	c   smallcard        :       0.00       0.00          0          0          0
25.20/25.37	c   subnlp           :       0.00       0.00          0          0          0
25.20/25.37	c   trivial          :       0.03       0.00          2          2          1
25.20/25.37	c   trivialnegation  :       0.00       0.00          0          0          0
25.20/25.37	c   trustregion      :       0.00       0.00          0          0          0
25.20/25.37	c   trysol           :       0.01       0.00          2          0          0
25.20/25.37	c   twoopt           :       0.00       0.00          0          0          0
25.20/25.37	c   undercover       :       0.00       0.00          0          0          0
25.20/25.37	c   vbounds          :       0.00       0.00          0          0          0
25.20/25.37	c   veclendiving     :       0.00       0.00          0          0          0
25.20/25.37	c   zeroobj          :       0.00       0.00          0          0          0
25.20/25.37	c   zirounding       :       0.00       0.00          0          0          0
25.20/25.37	c   other solutions  :          -          -          -          0          -
25.20/25.37	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
25.20/25.37	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
25.20/25.37	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
25.20/25.37	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
25.20/25.37	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
25.20/25.37	c   dual LP          :       0.04          1       1862    1862.00   46513.95       0.00          0
25.20/25.37	c   lex dual LP      :       0.00          0          0       0.00          -
25.20/25.37	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
25.20/25.37	c   resolve instable :       0.00          0          0       0.00          -
25.20/25.37	c   diving/probing LP:       0.01          0          0       0.00          -
25.20/25.37	c   strong branching :       0.00          0          0       0.00          -          -          -          0
25.20/25.37	c     (at root node) :          -          0          0       0.00          -
25.20/25.37	c   conflict analysis:       0.00          0          0       0.00          -
25.20/25.37	c B&B Tree           :
25.20/25.37	c   number of runs   :          1
25.20/25.37	c   nodes            :          1 (0 internal, 1 leaves)
25.20/25.37	c   feasible leaves  :          0
25.20/25.37	c   infeas. leaves   :          0
25.20/25.37	c   objective leaves :          1
25.20/25.37	c   nodes (total)    :          1 (0 internal, 1 leaves)
25.20/25.37	c   nodes left       :          0
25.20/25.37	c   max depth        :          0
25.20/25.37	c   max depth (total):          0
25.20/25.37	c   backtracks       :          0 (0.0%)
25.20/25.37	c   early backtracks :          0 (0.0%)
25.20/25.37	c   nodes exc. ref.  :          0 (0.0%)
25.20/25.37	c   delayed cutoffs  :          0
25.20/25.37	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
25.20/25.37	c   avg switch length:       2.00
25.20/25.37	c   switching time   :       0.00
25.20/25.37	c Root Node          :
25.20/25.37	c   First LP value   : +1.90000000000000e+01
25.20/25.37	c   First LP Iters   :       1862 (45424.61 Iter/sec)
25.20/25.37	c   First LP Time    :       0.04
25.20/25.37	c   Final Dual Bound : +1.90000000000000e+01
25.20/25.37	c   Final Root Iters :       1862
25.20/25.37	c   Root LP Estimate :                     -
25.20/25.37	c Solution           :
25.20/25.37	c   Solutions found  :          4 (3 improvements)
25.20/25.37	c   First Solution   : +4.22383000000000e+05   (in run 1, after 0 nodes, 0.14 seconds, depth 0, found by <trivial>)
25.20/25.37	c   Gap First Sol.   :   infinite
25.20/25.37	c   Gap Last Sol.    :       0.00 %
25.20/25.37	c   Primal Bound     : +1.90000000000000e+01   (in run 1, after 1 nodes, 25.35 seconds, depth 0, found by <relaxation>)
25.20/25.37	c   Dual Bound       : +1.90000000000000e+01
25.20/25.37	c   Gap              :       0.00 %
25.20/25.37	c Integrals          :      Total       Avg%
25.20/25.37	c   primal-dual      :    2535.37     100.00
25.20/25.37	c   primal-ref       :          -          - (not evaluated)
25.20/25.37	c   dual-ref         :          -          - (not evaluated)
25.30/25.44	c Time complete: 25.3523.

Verifier Data 

OK	19

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: 63968 MiB (62346 MiB free)
  memory of node 1: 64473 MiB (60326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425364-1720879430/watcher-4425364-1720879430 -o /tmp/evaluation-result-4425364-1720879430/solver-4425364-1720879430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707324 --watchdog 3760 pbscip -f HOME/instance-4425364-1720879430.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=709874, runsolver pid=709871

[startup+0.101047 s]*
/proc/loadavg: 4.05 4.01 3.57 5/258 709875
/proc/meminfo: memFree=125564424/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=108280 memory=67592 CPUtime=0.1 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 13761 0 0 0 8 2 0 0 20 0 1 0 140106538 110878720 16898 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 27070 16898 3563 3540 0 15327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 67592 KiB

[startup+0.205653 s]*
/proc/loadavg: 4.05 4.01 3.57 5/258 709875
/proc/meminfo: memFree=125536736/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=136804 memory=93772 CPUtime=0.19 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 20269 0 0 0 17 2 0 0 20 0 1 0 140106538 140087296 23443 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 34201 23443 3579 3540 0 22458 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136804 KiB
Current children cumulated memory: 93772 KiB

[startup+0.305772 s]*
/proc/loadavg: 4.05 4.01 3.57 5/258 709875
/proc/meminfo: memFree=125535588/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=137912 memory=94888 CPUtime=0.29 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 20578 0 0 0 27 2 0 0 20 0 1 0 140106538 141221888 23722 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 34478 23722 3595 3540 0 22735 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137912 KiB
Current children cumulated memory: 94888 KiB

[startup+0.700225 s]
/proc/loadavg: 4.05 4.01 3.57 5/258 709875
/proc/meminfo: memFree=125535524/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=137912 memory=95152 CPUtime=0.68 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 20610 0 0 0 66 2 0 0 20 0 1 0 140106538 141221888 23788 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 34478 23788 3595 3540 0 22735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137912 KiB
Current children cumulated memory: 95152 KiB

[startup+1.50023 s]
/proc/loadavg: 4.05 4.01 3.57 5/258 709875
/proc/meminfo: memFree=125534852/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=139020 memory=95944 CPUtime=1.48 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 20814 0 0 0 146 2 0 0 20 0 1 0 140106538 142356480 23986 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 34755 23986 3595 3540 0 23012 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139020 KiB
Current children cumulated memory: 95944 KiB

[startup+3.10552 s]
/proc/loadavg: 4.05 4.01 3.57 5/256 709876
/proc/meminfo: memFree=125533168/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=140564 memory=97528 CPUtime=3.08 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 21198 0 0 0 306 2 0 0 20 0 1 0 140106538 143937536 24382 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 35141 24382 3595 3540 0 23398 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 140564 KiB
Current children cumulated memory: 97528 KiB

[startup+6.30021 s]
/proc/loadavg: 4.05 4.01 3.57 5/256 709876
/proc/meminfo: memFree=125532084/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=141592 memory=98584 CPUtime=6.26 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 21455 0 0 0 624 2 0 0 20 0 1 0 140106538 144990208 24646 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 35398 24646 3595 3540 0 23655 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141592 KiB
Current children cumulated memory: 98584 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.02 3.58 5/256 709878
/proc/meminfo: memFree=125529984/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=143648 memory=100432 CPUtime=12.65 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 21975 0 0 0 1262 3 0 0 20 0 1 0 140106538 147095552 25108 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 35912 25108 3595 3540 0 24169 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143648 KiB
Current children cumulated memory: 100432 KiB

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

# cumulated CPU time of all completed processes:  user=25.3034 s, system=0.053814 s

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

[startup+12.8002 s]
/proc/loadavg: 4.12 4.02 3.58 5/256 709878
/proc/meminfo: memFree=125529984/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=143648 memory=100432 CPUtime=12.75 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 21975 0 0 0 1272 3 0 0 20 0 1 0 140106538 147095552 25108 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 35912 25108 3595 3540 0 24169 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 143648 KiB
Current children cumulated memory: 100432 KiB

[startup+19.2002 s]
/proc/loadavg: 4.11 4.02 3.58 5/256 709879
/proc/meminfo: memFree=125527816/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=145704 memory=102544 CPUtime=19.13 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 22491 0 0 0 1910 3 0 0 20 0 1 0 140106538 149200896 25636 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 36426 25636 3595 3540 0 24683 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 145704 KiB
Current children cumulated memory: 102544 KiB

[startup+22.4002 s]
/proc/loadavg: 4.10 4.02 3.58 5/256 709879
/proc/meminfo: memFree=125526716/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=146732 memory=103600 CPUtime=22.31 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 22751 0 0 0 2228 3 0 0 20 0 1 0 140106538 150253568 25900 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 36683 25900 3595 3540 0 24940 0
Current children cumulated CPU time: 22.31 s
Current children cumulated vsize: 146732 KiB
Current children cumulated memory: 103600 KiB

[startup+24.0002 s]*
/proc/loadavg: 4.10 4.02 3.58 5/256 709879
/proc/meminfo: memFree=125498668/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=193328 memory=132728 CPUtime=23.91 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 31069 0 0 0 2387 4 0 0 20 0 1 0 140106538 197967872 33182 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 48332 33182 3787 3540 0 36589 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 193328 KiB
Current children cumulated memory: 132728 KiB

[startup+24.8002 s]
/proc/loadavg: 4.10 4.02 3.58 5/256 709879
/proc/meminfo: memFree=125498668/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=193328 memory=132728 CPUtime=24.7 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 31069 0 0 0 2466 4 0 0 20 0 1 0 140106538 197967872 33182 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 48332 33182 3787 3540 0 36589 0
Current children cumulated CPU time: 24.7 s
Current children cumulated vsize: 193328 KiB
Current children cumulated memory: 132728 KiB

[startup+25.2002 s]
/proc/loadavg: 4.10 4.02 3.59 5/256 709879
/proc/meminfo: memFree=125498380/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=193328 memory=132728 CPUtime=25.1 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 31069 0 0 0 2506 4 0 0 20 0 1 0 140106538 197967872 33182 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 48332 33182 3787 3540 0 36589 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 193328 KiB
Current children cumulated memory: 132728 KiB

[startup+25.4002 s]
/proc/loadavg: 4.10 4.02 3.59 5/256 709879
/proc/meminfo: memFree=125498380/131524600 swapFree=131071996/131071996
[pid=709874] ppid=709871 vsize=191348 memory=130728 CPUtime=25.3 cores=1,3
/proc/709874/stat : 709874 (pbscip) R 709871 709874 704463 0 -1 4194304 31971 0 0 0 2526 4 0 0 20 0 1 0 140106538 195940352 32682 134679101440 4194304 18693293 140732628759776 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51286016 140732628763626 140732628763725 140732628763725 140732628770766 0
/proc/709874/statm: 47837 32682 3835 3540 0 36094 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 191348 KiB
Current children cumulated memory: 130728 KiB

Child status: 0

Real time (s): 25.4455
CPU time (s): 25.3572
CPU user time (s): 25.3034
CPU system time (s): 0.053814
CPU usage (%): 99.653
Max. virtual memory (cumulated for all children) (KiB): 193328
Max. memory (cumulated for all children) (KiB): 132728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3034
system time used= 0.053814
maximum resident set size= 136540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31978
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= 8
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 709874
#   total CPU time (s): 25.3572
#   total CPU user time (s): 25.3034
#   total CPU system time (s): 0.053814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074668 second user time and 0.179403 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-13 16:04:03
IDJOB=4425364
IDBENCH=143319
IDSOLVER=3038
FILE ID=nodeC020/4425364-1720879430
RUNJOBID= nodeC020-1720878485-707324
SLURM_JOB_ID= 7483761
Free space on /tmp= 890016 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-0-100-0.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425364-1720879430/watcher-4425364-1720879430 -o /tmp/evaluation-result-4425364-1720879430/solver-4425364-1720879430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707324 --watchdog 3760  pbscip -f HOME/instance-4425364-1720879430.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 42ba6ff63d9bb3e4033d54867a5b7866
RANDOM SEED=497355042

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125617516 kB
MemAvailable:   125630368 kB
Buffers:          327524 kB
Cached:           533316 kB
SwapCached:            0 kB
Active:           508752 kB
Inactive:        4838140 kB
Active(anon):       1568 kB
Inactive(anon):  4522520 kB
Active(file):     507184 kB
Inactive(file):   315620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18724 kB
Writeback:            44 kB
AnonPages:       4485332 kB
Mapped:           133464 kB
Shmem:             37720 kB
KReclaimable:      59744 kB
Slab:             156308 kB
SReclaimable:      59744 kB
SUnreclaim:        96564 kB
KernelStack:        4128 kB
PageTables:        18452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5415932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2240512 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      166612 kB
DirectMap2M:     9043968 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC020 at 2024-07-13 16:04:29