Trace number 4441545

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3587.18 3597.65

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUMda1da2eec32162aae55ea03b18b534d2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.56588
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18069
Total number of constraints52475
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
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

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-4441545-1721293767.opb>
0.10/0.11	c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.10/0.11	c problem read in 0.10
0.10/0.11	c No objective function, only one solution is needed.
0.10/0.20	c presolving:
0.20/0.27	c (round 1, fast)       32 del vars, 7 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 34755 clqs
0.20/0.27	c (round 2, fast)       59 del vars, 95 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 34780 clqs
0.30/0.34	c    (0.3s) running MILP presolver
2.78/2.83	c    (2.8s) MILP presolver (8 rounds): 1025 aggregations, 469 fixings, 0 bound changes
2.78/2.85	c (round 3, medium)     1553 del vars, 95 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 31817 clqs
2.78/2.87	c (round 4, fast)       1553 del vars, 3682 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 31978 clqs
2.98/3.00	c (round 5, exhaustive) 1553 del vars, 3690 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31978 clqs
3.18/3.22	c (round 6, exhaustive) 1555 del vars, 51338 del conss, 15876 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31974 clqs
3.18/3.28	c (round 7, exhaustive) 1781 del vars, 51357 del conss, 15895 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31347 clqs
3.18/3.28	c (round 8, fast)       2129 del vars, 51536 del conss, 15895 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31174 clqs
3.28/3.31	c (round 9, exhaustive) 2134 del vars, 51575 del conss, 15934 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31164 clqs
3.28/3.31	c (round 10, exhaustive) 2134 del vars, 51601 del conss, 15939 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31178 clqs
3.28/3.34	c (round 11, exhaustive) 2138 del vars, 51611 del conss, 15946 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31168 clqs
3.28/3.36	c (round 12, exhaustive) 2185 del vars, 51663 del conss, 15948 add conss, 1 chg bounds, 460 chg sides, 1083 chg coeffs, 48784 upgd conss, 0 impls, 31075 clqs
3.38/3.41	c (round 13, exhaustive) 2539 del vars, 51666 del conss, 15950 add conss, 1 chg bounds, 460 chg sides, 1086 chg coeffs, 48784 upgd conss, 0 impls, 32602 clqs
3.38/3.42	c (round 14, fast)       2718 del vars, 51871 del conss, 15950 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32328 clqs
3.38/3.44	c (round 15, exhaustive) 2740 del vars, 51881 del conss, 15956 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32313 clqs
3.38/3.47	c (round 16, exhaustive) 2751 del vars, 51916 del conss, 15980 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32292 clqs
3.38/3.49	c (round 17, exhaustive) 2757 del vars, 51927 del conss, 15986 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32278 clqs
3.48/3.52	c (round 18, exhaustive) 2771 del vars, 51941 del conss, 15986 add conss, 1 chg bounds, 460 chg sides, 1271 chg coeffs, 48817 upgd conss, 0 impls, 32256 clqs
3.48/3.56	c (round 19, exhaustive) 2806 del vars, 51945 del conss, 15990 add conss, 1 chg bounds, 460 chg sides, 1271 chg coeffs, 48817 upgd conss, 0 impls, 37410 clqs
3.48/3.57	c (round 20, fast)       2830 del vars, 51970 del conss, 15990 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37349 clqs
3.58/3.61	c (round 21, exhaustive) 2843 del vars, 51974 del conss, 15994 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37320 clqs
3.58/3.64	c (round 22, exhaustive) 2848 del vars, 51992 del conss, 16007 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37312 clqs
3.67/3.75	c (round 23, exhaustive) 3102 del vars, 51995 del conss, 16009 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 45237 clqs
3.67/3.76	c (round 24, fast)       3198 del vars, 52115 del conss, 16009 add conss, 1 chg bounds, 460 chg sides, 1389 chg coeffs, 48880 upgd conss, 0 impls, 45004 clqs
3.77/3.80	c (round 25, exhaustive) 3213 del vars, 52130 del conss, 16024 add conss, 1 chg bounds, 460 chg sides, 1389 chg coeffs, 48880 upgd conss, 0 impls, 44943 clqs
3.77/3.83	c (round 26, exhaustive) 3222 del vars, 52148 del conss, 16033 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 44925 clqs
3.77/3.86	c (round 27, exhaustive) 3248 del vars, 52182 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 44825 clqs
3.88/3.98	c (round 28, exhaustive) 3299 del vars, 52183 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 52512 clqs
3.88/3.99	c (round 29, fast)       3325 del vars, 52211 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1419 chg coeffs, 48898 upgd conss, 0 impls, 52373 clqs
4.08/4.18	c (round 30, exhaustive) 3399 del vars, 52212 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1420 chg coeffs, 48899 upgd conss, 0 impls, 67648 clqs
4.08/4.18	c (round 31, fast)       3437 del vars, 52257 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1459 chg coeffs, 48921 upgd conss, 0 impls, 67481 clqs
4.18/4.24	c (round 32, exhaustive) 3475 del vars, 52260 del conss, 16037 add conss, 1 chg bounds, 460 chg sides, 1459 chg coeffs, 48921 upgd conss, 0 impls, 68683 clqs
4.18/4.24	c (round 33, fast)       3482 del vars, 52268 del conss, 16037 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 68651 clqs
4.18/4.27	c (round 34, exhaustive) 3482 del vars, 52280 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 68655 clqs
4.28/4.37	c (round 35, exhaustive) 3531 del vars, 52280 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 78997 clqs
4.28/4.38	c (round 36, fast)       3562 del vars, 52311 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 78349 clqs
4.38/4.43	c (round 37, exhaustive) 3567 del vars, 52321 del conss, 16058 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 78330 clqs
4.58/4.69	c (round 38, exhaustive) 3598 del vars, 52326 del conss, 16063 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 102373 clqs
4.58/4.69	c (round 39, fast)       3612 del vars, 52343 del conss, 16063 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 102131 clqs
4.68/4.75	c (round 40, exhaustive) 3617 del vars, 52350 del conss, 16070 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 102062 clqs
5.47/5.58	c (round 41, exhaustive) 3661 del vars, 52355 del conss, 16075 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 129502 clqs
5.47/5.59	c (round 42, fast)       3672 del vars, 52371 del conss, 16075 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 129456 clqs
5.57/5.66	c (round 43, exhaustive) 3678 del vars, 52381 del conss, 16085 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 129445 clqs
5.67/5.77	c (round 44, exhaustive) 3767 del vars, 52387 del conss, 16091 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 128949 clqs
5.67/5.78	c (round 45, fast)       3835 del vars, 52457 del conss, 16091 add conss, 1 chg bounds, 460 chg sides, 1590 chg coeffs, 48995 upgd conss, 0 impls, 128477 clqs
5.77/5.85	c (round 46, exhaustive) 3883 del vars, 52458 del conss, 16092 add conss, 1 chg bounds, 460 chg sides, 1590 chg coeffs, 48995 upgd conss, 0 impls, 128569 clqs
5.77/5.85	c (round 47, fast)       3920 del vars, 52497 del conss, 16092 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 128517 clqs
5.77/5.89	c (round 48, exhaustive) 3922 del vars, 52507 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 128509 clqs
5.87/5.95	c (round 49, exhaustive) 4054 del vars, 52508 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 127745 clqs
5.87/5.96	c (round 50, fast)       4068 del vars, 52524 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1641 chg coeffs, 49001 upgd conss, 0 impls, 127703 clqs
6.17/6.29	c (round 51, exhaustive) 4111 del vars, 52524 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1641 chg coeffs, 49001 upgd conss, 0 impls, 128313 clqs
6.17/6.29	c (round 52, fast)       4144 del vars, 52562 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127816 clqs
6.27/6.33	c (round 53, exhaustive) 4148 del vars, 52574 del conss, 16110 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127794 clqs
6.27/6.36	c (round 54, exhaustive) 4162 del vars, 52592 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127623 clqs
6.57/6.63	c (round 55, exhaustive) 4187 del vars, 52592 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 128554 clqs
6.57/6.64	c (round 56, fast)       4201 del vars, 52607 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1688 chg coeffs, 49018 upgd conss, 0 impls, 127878 clqs
6.77/6.84	c (round 57, exhaustive) 4229 del vars, 52609 del conss, 16116 add conss, 1 chg bounds, 460 chg sides, 1688 chg coeffs, 49018 upgd conss, 0 impls, 129384 clqs
6.77/6.84	c (round 58, fast)       4260 del vars, 52642 del conss, 16116 add conss, 1 chg bounds, 460 chg sides, 1719 chg coeffs, 49027 upgd conss, 0 impls, 129196 clqs
6.87/6.93	c (round 59, exhaustive) 4310 del vars, 52644 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1719 chg coeffs, 49027 upgd conss, 0 impls, 127618 clqs
6.87/6.94	c (round 60, fast)       4369 del vars, 52710 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1778 chg coeffs, 49029 upgd conss, 0 impls, 127298 clqs
7.47/7.52	c (round 61, exhaustive) 4396 del vars, 52710 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1778 chg coeffs, 49029 upgd conss, 0 impls, 129525 clqs
7.47/7.53	c (round 62, fast)       4412 del vars, 52726 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129451 clqs
7.47/7.56	c (round 63, exhaustive) 4412 del vars, 52732 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129461 clqs
7.57/7.69	c (round 64, exhaustive) 4441 del vars, 52732 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129576 clqs
7.57/7.69	c (round 65, fast)       4468 del vars, 52761 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1821 chg coeffs, 49044 upgd conss, 0 impls, 129407 clqs
9.26/9.32	c (round 66, exhaustive) 4494 del vars, 52762 del conss, 16125 add conss, 1 chg bounds, 460 chg sides, 1821 chg coeffs, 49044 upgd conss, 0 impls, 129488 clqs
9.26/9.33	c (round 67, fast)       4508 del vars, 52777 del conss, 16125 add conss, 1 chg bounds, 460 chg sides, 1835 chg coeffs, 49049 upgd conss, 0 impls, 129313 clqs
10.86/10.99	c (round 68, exhaustive) 4536 del vars, 52782 del conss, 16127 add conss, 1 chg bounds, 460 chg sides, 1835 chg coeffs, 49049 upgd conss, 0 impls, 129665 clqs
10.96/11.06	c (round 69, exhaustive) 4539 del vars, 52797 del conss, 16133 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129649 clqs
11.96/12.03	c    (12.0s) probing: 1000/16085 (6.2%) - 1355 fixings, 72 aggregations, 1011436 implications, 0 bound changes
14.45/14.57	c (round 70, exhaustive) 4564 del vars, 52797 del conss, 16133 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129248 clqs
14.55/14.60	c (round 71, exhaustive) 4568 del vars, 52805 del conss, 16139 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129216 clqs
14.55/14.64	c (round 72, exhaustive) 4616 del vars, 52860 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 128123 clqs
18.94/19.07	c    (19.1s) probing: 2000/16085 (12.4%) - 1363 fixings, 102 aggregations, 2110521 implications, 0 bound changes
23.72/23.80	c (round 73, exhaustive) 4641 del vars, 52864 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129165 clqs
23.72/23.80	c (round 74, fast)       4642 del vars, 52876 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1851 chg coeffs, 49063 upgd conss, 0 impls, 129157 clqs
25.71/25.86	c    (25.9s) probing: 3000/16085 (18.7%) - 1371 fixings, 110 aggregations, 3101636 implications, 0 bound changes
31.00/31.16	c (round 75, exhaustive) 4667 del vars, 52876 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1851 chg coeffs, 49063 upgd conss, 0 impls, 128947 clqs
31.00/31.16	c (round 76, fast)       4671 del vars, 52888 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1863 chg coeffs, 49073 upgd conss, 0 impls, 128923 clqs
32.19/32.37	c (round 77, exhaustive) 4698 del vars, 52891 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1863 chg coeffs, 49073 upgd conss, 0 impls, 129545 clqs
32.19/32.37	c (round 78, fast)       4718 del vars, 52909 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1881 chg coeffs, 49082 upgd conss, 0 impls, 129343 clqs
33.49/33.63	c (round 79, exhaustive) 4744 del vars, 52909 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1881 chg coeffs, 49082 upgd conss, 0 impls, 129682 clqs
33.49/33.64	c (round 80, fast)       4756 del vars, 52923 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129584 clqs
33.49/33.67	c (round 81, exhaustive) 4756 del vars, 52930 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129590 clqs
34.09/34.23	c    (34.2s) probing: 4000/16085 (24.9%) - 1432 fixings, 127 aggregations, 4523340 implications, 0 bound changes
35.19/35.33	c (round 82, exhaustive) 4783 del vars, 52930 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129630 clqs
35.19/35.34	c (round 83, fast)       4801 del vars, 52946 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1909 chg coeffs, 49096 upgd conss, 0 impls, 129503 clqs
36.89/37.01	c (round 84, exhaustive) 4827 del vars, 52949 del conss, 16156 add conss, 1 chg bounds, 460 chg sides, 1909 chg coeffs, 49096 upgd conss, 0 impls, 129657 clqs
36.89/37.01	c (round 85, fast)       4843 del vars, 52965 del conss, 16156 add conss, 1 chg bounds, 460 chg sides, 1925 chg coeffs, 49104 upgd conss, 0 impls, 129532 clqs
37.58/37.70	c (round 86, exhaustive) 4870 del vars, 52967 del conss, 16158 add conss, 1 chg bounds, 460 chg sides, 1925 chg coeffs, 49104 upgd conss, 0 impls, 129579 clqs
37.58/37.70	c (round 87, fast)       4888 del vars, 52983 del conss, 16158 add conss, 1 chg bounds, 460 chg sides, 1941 chg coeffs, 49112 upgd conss, 0 impls, 129466 clqs
38.88/39.10	c (round 88, exhaustive) 4915 del vars, 52986 del conss, 16161 add conss, 1 chg bounds, 460 chg sides, 1941 chg coeffs, 49112 upgd conss, 0 impls, 129565 clqs
38.98/39.11	c (round 89, fast)       4933 del vars, 53002 del conss, 16161 add conss, 1 chg bounds, 460 chg sides, 1957 chg coeffs, 49120 upgd conss, 0 impls, 129393 clqs
39.57/39.71	c (round 90, exhaustive) 4960 del vars, 53005 del conss, 16164 add conss, 1 chg bounds, 460 chg sides, 1957 chg coeffs, 49120 upgd conss, 0 impls, 129337 clqs
39.57/39.72	c (round 91, fast)       4968 del vars, 53013 del conss, 16164 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129267 clqs
39.57/39.75	c (round 92, exhaustive) 4968 del vars, 53035 del conss, 16186 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129270 clqs
39.77/39.96	c (round 93, exhaustive) 4994 del vars, 53041 del conss, 16186 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129051 clqs
39.88/40.00	c (round 94, exhaustive) 4994 del vars, 53077 del conss, 16222 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129051 clqs
41.77/41.99	c    (42.0s) probing: 5000/16085 (31.1%) - 1532 fixings, 195 aggregations, 5976774 implications, 0 bound changes
42.07/42.21	c (round 95, exhaustive) 5019 del vars, 53087 del conss, 16222 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129509 clqs
42.07/42.24	c (round 96, exhaustive) 5022 del vars, 53111 del conss, 16244 add conss, 1 chg bounds, 460 chg sides, 1967 chg coeffs, 49126 upgd conss, 0 impls, 129478 clqs
43.46/43.63	c (round 97, exhaustive) 5049 del vars, 53112 del conss, 16245 add conss, 1 chg bounds, 460 chg sides, 1967 chg coeffs, 49126 upgd conss, 0 impls, 129482 clqs
43.46/43.66	c (round 98, exhaustive) 5055 del vars, 53135 del conss, 16262 add conss, 1 chg bounds, 460 chg sides, 1972 chg coeffs, 49131 upgd conss, 0 impls, 129449 clqs
43.56/43.72	c (round 99, exhaustive) 5098 del vars, 53136 del conss, 16263 add conss, 1 chg bounds, 460 chg sides, 1972 chg coeffs, 49131 upgd conss, 0 impls, 129515 clqs
44.46/44.66	c (round 100, exhaustive) 5129 del vars, 53144 del conss, 16264 add conss, 1 chg bounds, 460 chg sides, 1977 chg coeffs, 49132 upgd conss, 0 impls, 129442 clqs
44.46/44.67	c (round 101, fast)       5137 del vars, 53151 del conss, 16264 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129400 clqs
44.56/44.70	c (round 102, exhaustive) 5137 del vars, 53163 del conss, 16276 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129407 clqs
46.46/46.60	c (round 103, exhaustive) 5162 del vars, 53163 del conss, 16276 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129385 clqs
46.46/46.63	c (round 104, exhaustive) 5165 del vars, 53185 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1987 chg coeffs, 49142 upgd conss, 0 impls, 129374 clqs
47.96/48.14	c    (48.1s) probing: 6000/16085 (37.3%) - 1612 fixings, 260 aggregations, 6846876 implications, 0 bound changes
48.35/48.56	c (round 105, exhaustive) 5191 del vars, 53186 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1987 chg coeffs, 49142 upgd conss, 0 impls, 129538 clqs
48.35/48.57	c (round 106, fast)       5196 del vars, 53192 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129506 clqs
48.45/48.60	c (round 107, exhaustive) 5196 del vars, 53207 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129511 clqs
48.45/48.65	c (round 108, exhaustive) 5239 del vars, 53209 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129083 clqs
50.05/50.28	c (round 109, exhaustive) 5270 del vars, 53216 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1997 chg coeffs, 49149 upgd conss, 0 impls, 129465 clqs
50.15/50.31	c (round 110, exhaustive) 5276 del vars, 53237 del conss, 16326 add conss, 1 chg bounds, 460 chg sides, 2002 chg coeffs, 49154 upgd conss, 0 impls, 129426 clqs
52.84/53.00	c (round 111, exhaustive) 5302 del vars, 53238 del conss, 16327 add conss, 1 chg bounds, 460 chg sides, 2002 chg coeffs, 49154 upgd conss, 0 impls, 129288 clqs
52.84/53.01	c (round 112, fast)       5311 del vars, 53248 del conss, 16327 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129131 clqs
52.84/53.04	c (round 113, exhaustive) 5311 del vars, 53258 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129138 clqs
53.84/54.10	c    (54.1s) probing: 7000/16085 (43.5%) - 1687 fixings, 305 aggregations, 7707273 implications, 0 bound changes
57.63/57.84	c (round 114, exhaustive) 5336 del vars, 53258 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129430 clqs
57.63/57.85	c (round 115, fast)       5343 del vars, 53267 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129381 clqs
57.63/57.89	c (round 116, exhaustive) 5344 del vars, 53299 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129382 clqs
57.73/57.90	c (round 117, exhaustive) 5344 del vars, 53313 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129397 clqs
57.83/58.08	c (round 118, exhaustive) 5369 del vars, 53313 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129670 clqs
62.02/62.26	c    (62.3s) probing: 8000/16085 (49.7%) - 1721 fixings, 305 aggregations, 9194689 implications, 0 bound changes
70.09/70.39	c    (70.4s) probing: 9000/16085 (56.0%) - 1728 fixings, 306 aggregations, 10724922 implications, 0 bound changes
77.97/78.20	c    (78.2s) probing: 10000/16085 (62.2%) - 1731 fixings, 310 aggregations, 12164579 implications, 0 bound changes
83.06/83.31	c (round 119, exhaustive) 5397 del vars, 53319 del conss, 16369 add conss, 1 chg bounds, 460 chg sides, 2020 chg coeffs, 49171 upgd conss, 0 impls, 129567 clqs
83.06/83.32	c (round 120, fast)       5410 del vars, 53338 del conss, 16369 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129504 clqs
83.06/83.36	c (round 121, exhaustive) 5411 del vars, 53345 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129518 clqs
85.95/86.22	c    (86.2s) probing: 11000/16085 (68.4%) - 1741 fixings, 312 aggregations, 13617087 implications, 0 bound changes
93.53/93.84	c    (93.8s) probing: 12000/16085 (74.6%) - 1748 fixings, 313 aggregations, 15031935 implications, 0 bound changes
99.22/99.55	c (round 122, exhaustive) 5436 del vars, 53345 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129555 clqs
99.22/99.55	c (round 123, fast)       5449 del vars, 53364 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2055 chg coeffs, 49208 upgd conss, 0 impls, 129498 clqs
101.71/102.01	c    (102.0s) probing: 13000/16085 (80.8%) - 1759 fixings, 315 aggregations, 16472037 implications, 0 bound changes
103.40/103.78	c    (103.8s) probing: 13255/16085 (82.4%) - 1769 fixings, 315 aggregations, 16720713 implications, 0 bound changes
103.40/103.78	c    (103.8s) probing aborted: 50/50 successive totally useless probings
103.40/103.78	c (round 124, exhaustive) 5463 del vars, 53366 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2055 chg coeffs, 49208 upgd conss, 0 impls, 129432 clqs
103.40/103.79	c (round 125, fast)       5465 del vars, 53388 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2057 chg coeffs, 49220 upgd conss, 0 impls, 129422 clqs
103.50/103.84	c    (103.8s) probing: 13260/16085 (82.4%) - 1769 fixings, 315 aggregations, 16720713 implications, 0 bound changes
103.50/103.84	c    (103.8s) probing aborted: 50/50 successive totally useless probings
103.50/103.84	c    (103.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
103.61/103.90	c    (103.9s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
103.61/103.91	c dynamic symmetry handling statistics:
103.61/103.91	c    orbitopal reduction:       no components
103.61/103.91	c    orbital reduction:         no components
103.61/103.91	c    lexicographic reduction:    1 permutations with support sizes 467
103.61/103.91	c handled 1 out of 1 symmetry components
103.61/103.92	c presolving (126 rounds: 126 fast, 87 medium, 86 exhaustive):
103.61/103.92	c  5465 deleted vars, 53389 deleted constraints, 16376 added constraints, 1 tightened bounds, 0 added holes, 460 changed sides, 2057 changed coefficients
103.61/103.92	c  0 implications, 129434 cliques
103.61/103.92	c presolved problem has 12821 variables (12821 bin, 0 int, 0 impl, 0 cont) and 13919 constraints
103.61/103.92	c     920 constraints of type <knapsack>
103.61/103.92	c     903 constraints of type <setppc>
103.61/103.92	c   12094 constraints of type <and>
103.61/103.92	c       2 constraints of type <logicor>
103.61/103.92	c transformed objective value is always integral (scale: 1)
103.61/103.92	c Presolving Time: 103.73
103.61/103.92	c - non default parameters ----------------------------------------------------------------------
103.61/103.92	c # SCIP version 10.0.0
103.61/103.92	c 
103.61/103.92	c # maximal time in seconds to run
103.61/103.92	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
103.61/103.92	c limits/time = 3596.996992
103.61/103.92	c 
103.61/103.92	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
103.61/103.92	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
103.61/103.92	c limits/memory = 27900
103.61/103.92	c 
103.61/103.92	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
103.61/103.92	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
103.61/103.92	c limits/solutions = 1
103.61/103.92	c 
103.61/103.92	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
103.61/103.92	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
103.61/103.92	c misc/usesymmetry = 3
103.61/103.92	c 
103.61/103.92	c # belongs reading time to solving time?
103.61/103.92	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
103.61/103.92	c timing/reading = TRUE
103.61/103.92	c 
103.61/103.92	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
103.61/103.92	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92	c propagating/symmetry/detectdoublelex = FALSE
103.61/103.92	c 
103.61/103.92	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
103.61/103.92	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92	c propagating/symmetry/detectsubgroups = FALSE
103.61/103.92	c 
103.61/103.92	c # Type of symmetries that shall be computed?
103.61/103.92	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
103.61/103.92	c propagating/symmetry/symtype = 1
103.61/103.92	c 
103.61/103.92	c # Should components consisting of a single full reflection be handled?
103.61/103.92	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92	c propagating/symmetry/usesimplesgncomp = FALSE
103.61/103.92	c 
103.61/103.92	c -----------------------------------------------------------------------------------------------
103.61/103.92	c start solving
103.61/103.93	c 
104.30/104.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
104.30/104.66	c   105s|     1 |     0 |  3660 |     - |   236M |   0 |  12k|  13k|  26k|   0 |  0 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
108.10/108.42	c   108s|     1 |     0 | 13478 |     - |   252M |   0 |  12k|  13k|  26k| 806 |  1 |  39 |   0 | 0.000000e+00 |      --      |    Inf | unknown
111.39/111.75	c   112s|     1 |     0 | 17832 |     - |   270M |   0 |  12k|  13k|  27k|1721 |  2 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
115.68/116.06	c   116s|     1 |     0 | 22644 |     - |   281M |   0 |  12k|  13k|  28k|2510 |  3 |  41 |   0 | 0.000000e+00 |      --      |    Inf | unknown
120.16/120.53	c   121s|     1 |     0 | 27525 |     - |   291M |   0 |  12k|  13k|  29k|3186 |  4 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
125.34/125.70	c   126s|     1 |     0 | 32484 |     - |   298M |   0 |  12k|  13k|  29k|3687 |  5 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
130.54/130.93	c   131s|     1 |     0 | 36934 |     - |   315M |   0 |  12k|  13k|  30k|4220 |  6 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
136.02/136.48	c   136s|     1 |     0 | 41814 |     - |   326M |   0 |  12k|  13k|  30k|4713 |  7 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
142.60/143.04	c   143s|     1 |     0 | 47364 |     - |   344M |   0 |  12k|  13k|  31k|5156 |  8 |  49 |   0 | 0.000000e+00 |      --      |    Inf | unknown
148.39/148.87	c   149s|     1 |     0 | 52062 |     - |   355M |   0 |  12k|  13k|  31k|5571 |  9 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
154.96/155.41	c   155s|     1 |     0 | 57886 |     - |   366M |   0 |  12k|  13k|  32k|5992 | 10 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
158.57/159.01	c   159s|     1 |     0 | 62286 |     - |   370M |   0 |  12k|  13k|  32k|6418 | 11 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
191.27/191.89	c   192s|     1 |     2 | 79721 |     - |   370M |   0 |  12k|  14k|  32k|6418 | 11 |  96 |  19 | 0.000000e+00 |      --      |    Inf | unknown
234.75/235.48	c   235s|   100 |    19 |192164 |1311.9 |   404M |  27 |  12k|  14k|  30k|  14k|  2 | 285 |  19 | 0.000000e+00 |      --      |    Inf |  11.05%
251.41/252.16	c   252s|   200 |    23 |234382 | 864.8 |   441M |  27 |  12k|  14k|  30k|  18k|  2 | 513 |  19 | 0.000000e+00 |      --      |    Inf |  13.58%
271.36/272.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
271.36/272.17	c   272s|   300 |    20 |282574 | 736.7 |   490M |  27 |  12k|  14k|  30k|  25k|  2 | 754 |  19 | 0.000000e+00 |      --      |    Inf |  16.53%
315.75/316.64	c   317s|   400 |    23 |336969 | 688.4 |   497M |  27 |  12k|  14k|  31k|  30k|  2 |1038 |  19 | 0.000000e+00 |      --      |    Inf |  16.85%
330.52/331.50	c   331s|   500 |    27 |388014 | 652.8 |   579M |  27 |  12k|  15k|  31k|  35k|  2 |1397 |  19 | 0.000000e+00 |      --      |    Inf |  17.04%
342.29/343.26	c   343s|   600 |    26 |424149 | 604.1 |   589M |  27 |  12k|  15k|  30k|  40k|  2 |1619 |  19 | 0.000000e+00 |      --      |    Inf |  17.75%
366.53/367.54	c   368s|   700 |    14 |504112 | 632.1 |   600M |  27 |  12k|  15k|   0 |  48k|  0 |1868 |  19 | 0.000000e+00 |      --      |    Inf |  19.12%
392.27/393.33	c   393s|   800 |    19 |584002 | 653.0 |   615M |  27 |  12k|  16k|   0 |  56k|  0 |2297 |  19 | 0.000000e+00 |      --      |    Inf |  19.84%
415.52/416.67	c   417s|   900 |    26 |641290 | 644.1 |   618M |  27 |  12k|  16k|   0 |  60k|  0 |2701 |  19 | 0.000000e+00 |      --      |    Inf |  20.24%
418.31/419.41	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
418.31/419.41	c (run 1, node 920) performing user restart
418.31/419.41	c 
418.31/419.45	c (restart) converted 2691 cuts from the global cut pool into linear constraints
418.31/419.45	c 
418.41/419.51	c presolving:
418.41/419.53	c (round 1, fast)       0 del vars, 162 del conss, 0 add conss, 0 chg bounds, 53 chg sides, 73 chg coeffs, 0 upgd conss, 0 impls, 129434 clqs
418.41/419.56	c (round 2, medium)     0 del vars, 162 del conss, 2 add conss, 0 chg bounds, 75 chg sides, 97 chg coeffs, 0 upgd conss, 0 impls, 129434 clqs
418.51/419.69	c (round 3, exhaustive) 0 del vars, 166 del conss, 2 add conss, 0 chg bounds, 75 chg sides, 109 chg coeffs, 2700 upgd conss, 0 impls, 129434 clqs
418.61/419.71	c (round 4, medium)     0 del vars, 279 del conss, 162 add conss, 0 chg bounds, 147 chg sides, 248 chg coeffs, 2700 upgd conss, 0 impls, 129434 clqs
418.61/419.77	c (round 5, exhaustive) 0 del vars, 1253 del conss, 166 add conss, 0 chg bounds, 147 chg sides, 322 chg coeffs, 2701 upgd conss, 0 impls, 129434 clqs
418.71/419.84	c (round 6, exhaustive) 0 del vars, 1267 del conss, 167 add conss, 0 chg bounds, 147 chg sides, 346 chg coeffs, 2701 upgd conss, 0 impls, 129434 clqs
418.81/419.99	c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
418.81/419.99	c  0 deleted vars, 1267 deleted constraints, 167 added constraints, 0 tightened bounds, 0 added holes, 147 changed sides, 356 changed coefficients
418.81/419.99	c  0 implications, 129434 cliques
418.81/419.99	c presolved problem has 12821 variables (12821 bin, 0 int, 0 impl, 0 cont) and 18339 constraints
418.81/419.99	c    1126 constraints of type <knapsack>
418.81/419.99	c    3375 constraints of type <setppc>
418.81/419.99	c   12094 constraints of type <and>
418.81/419.99	c       6 constraints of type <linear>
418.81/419.99	c    1738 constraints of type <logicor>
418.81/419.99	c transformed objective value is always integral (scale: 1)
418.81/419.99	c Presolving Time: 104.22
418.81/419.99	c 
419.80/420.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
419.80/420.99	c   421s|     1 |     0 |658149 |     - |   611M |   0 |  12k|  18k|  28k|   0 |  0 |2862 |  19 | 0.000000e+00 |      --      |    Inf | unknown
423.20/424.39	c   424s|     1 |     0 |663224 |     - |   615M |   0 |  12k|  18k|  29k| 850 |  1 |2863 |  19 | 0.000000e+00 |      --      |    Inf | unknown
428.28/429.46	c   429s|     1 |     0 |669276 |     - |   624M |   0 |  12k|  18k|  30k|1509 |  2 |2866 |  19 | 0.000000e+00 |      --      |    Inf | unknown
433.67/434.81	c   435s|     1 |     0 |674442 |     - |   628M |   0 |  12k|  18k|  30k|2136 |  3 |2868 |  19 | 0.000000e+00 |      --      |    Inf | unknown
439.16/440.30	c   440s|     1 |     0 |679330 |     - |   631M |   0 |  12k|  18k|  31k|2657 |  4 |2872 |  19 | 0.000000e+00 |      --      |    Inf | unknown
445.14/446.31	c   446s|     1 |     0 |683889 |     - |   638M |   0 |  12k|  18k|  31k|3155 |  5 |2875 |  19 | 0.000000e+00 |      --      |    Inf | unknown
451.13/452.30	c   452s|     1 |     0 |688930 |     - |   641M |   0 |  12k|  18k|  32k|3553 |  6 |2876 |  19 | 0.000000e+00 |      --      |    Inf | unknown
456.52/457.77	c   458s|     1 |     0 |692725 |     - |   646M |   0 |  12k|  18k|  32k|3946 |  7 |2877 |  19 | 0.000000e+00 |      --      |    Inf | unknown
462.51/463.72	c   464s|     1 |     0 |697253 |     - |   658M |   0 |  12k|  18k|  33k|4291 |  8 |2880 |  19 | 0.000000e+00 |      --      |    Inf | unknown
468.09/469.30	c   469s|     1 |     0 |701076 |     - |   666M |   0 |  12k|  18k|  33k|4606 |  9 |2881 |  19 | 0.000000e+00 |      --      |    Inf | unknown
474.38/475.66	c   476s|     1 |     0 |705242 |     - |   680M |   0 |  12k|  18k|  32k|4909 | 10 |2882 |  19 | 0.000000e+00 |      --      |    Inf | unknown
476.97/478.29	c   478s|     1 |     0 |708298 |     - |   683M |   0 |  12k|  18k|  32k|5142 | 11 |2883 |  19 | 0.000000e+00 |      --      |    Inf | unknown
509.18/510.59	c   511s|     1 |     2 |721934 |     - |   683M |   0 |  12k|  18k|  32k|5142 | 11 |2888 |  38 | 0.000000e+00 |      --      |    Inf | unknown
736.94/738.83	c   739s|   100 |    29 |  1104k| 967.8 |   790M |  31 |  12k|  18k|  32k|  18k|  2 |3075 |  38 | 0.000000e+00 |      --      |    Inf |   6.32%
759.09/761.07	c   761s|   200 |    35 |  1198k| 966.1 |   793M |  33 |  12k|  18k|   0 |  27k|  0 |3353 |  38 | 0.000000e+00 |      --      |    Inf |   6.33%
800.97/803.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
800.97/803.07	c   803s|   300 |    34 |  1327k| 992.4 |   812M |  33 |  12k|  18k|  33k|  36k|  2 |3569 |  38 | 0.000000e+00 |      --      |    Inf |   7.90%
823.31/825.40	c   825s|   400 |    44 |  1417k| 985.4 |   823M |  33 |  12k|  19k|  33k|  44k|  2 |3828 |  38 | 0.000000e+00 |      --      |    Inf |  10.24%
855.22/857.45	c   857s|   500 |    38 |  1545k|1006.1 |   827M |  34 |  12k|  19k|  33k|  52k|  3 |4157 |  38 | 0.000000e+00 |      --      |    Inf |  10.93%
875.57/877.84	c   878s|   600 |    29 |  1635k| 998.9 |   831M |  34 |  12k|  19k|  30k|  61k|  2 |4346 |  38 | 0.000000e+00 |      --      |    Inf |  11.23%
915.78/918.17	c   918s|   700 |    42 |  1746k|1006.0 |   839M |  34 |  12k|  19k|  31k|  73k|  2 |4587 |  38 | 0.000000e+00 |      --      |    Inf |  14.00%
934.64/937.06	c   937s|   800 |    45 |  1828k| 995.4 |   843M |  34 |  12k|  19k|   0 |  82k|  0 |4847 |  38 | 0.000000e+00 |      --      |    Inf |  14.62%
957.78/960.22	c   960s|   900 |    40 |  1921k| 991.8 |   850M |  34 |  12k|  19k|   0 |  93k|  0 |5039 |  38 | 0.000000e+00 |      --      |    Inf |  15.10%
980.82/983.32	c   983s|  1000 |    44 |  2011k| 987.0 |   854M |  34 |  12k|  19k|  31k| 104k|  2 |5333 |  38 | 0.000000e+00 |      --      |    Inf |  15.57%
995.49/998.07	c   998s|  1100 |    39 |  2077k| 970.7 |   858M |  34 |  12k|  20k|   0 | 112k|  0 |5669 |  38 | 0.000000e+00 |      --      |    Inf |  16.23%
1022.02/1024.60	c  1025s|  1200 |    49 |  2169k| 968.4 |   862M |  34 |  12k|  20k|  32k| 120k|  1 |6175 |  38 | 0.000000e+00 |      --      |    Inf |  16.27%
1042.67/1045.38	c  1045s|  1300 |    50 |  2253k| 962.6 |   905M |  34 |  12k|  21k|  32k| 128k|  2 |6669 |  38 | 0.000000e+00 |      --      |    Inf |  16.30%
1056.54/1059.21	c  1059s|  1400 |    46 |  2305k| 943.5 |   909M |  34 |  12k|  21k|  32k| 133k|  2 |7158 |  38 | 0.000000e+00 |      --      |    Inf |  16.33%
1071.79/1074.56	c  1075s|  1500 |    40 |  2377k| 934.1 |   912M |  34 |  12k|  21k|  30k| 143k|  2 |7544 |  38 | 0.000000e+00 |      --      |    Inf |  17.57%
1093.54/1096.34	c  1096s|  1600 |    40 |  2468k| 933.2 |   918M |  34 |  12k|  21k|  32k| 153k|  2 |7938 |  38 | 0.000000e+00 |      --      |    Inf |  18.28%
1127.15/1130.06	c  1130s|  1700 |    57 |  2590k| 944.2 |   923M |  34 |  12k|  21k|  32k| 164k|  2 |8217 |  38 | 0.000000e+00 |      --      |    Inf |  19.04%
1148.18/1151.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1148.18/1151.15	c  1151s|  1800 |    44 |  2677k| 941.6 |   925M |  34 |  12k|  22k|  32k| 173k|  2 |8563 |  38 | 0.000000e+00 |      --      |    Inf |  19.15%
1257.36/1260.66	c  1261s|  1900 |    61 |  2798k| 950.9 |   927M |  34 |  12k|  22k|  33k| 181k|  2 |8867 |  38 | 0.000000e+00 |      --      |    Inf |  19.15%
1275.11/1278.43	c  1278s|  2000 |    54 |  2868k| 942.5 |   929M |  35 |  12k|  22k|  33k| 186k|  2 |9358 |  38 | 0.000000e+00 |      --      |    Inf |  19.15%
1288.87/1292.22	c  1292s|  2100 |    50 |  2935k| 933.2 |   930M |  35 |  12k|  23k|   0 | 190k|  0 |9890 |  38 | 0.000000e+00 |      --      |    Inf |  19.16%
1310.50/1313.92	c  1314s|  2200 |    45 |  3022k| 931.3 |   933M |  35 |  12k|  23k|  33k| 199k|  2 |  10k|  38 | 0.000000e+00 |      --      |    Inf |  19.16%
1332.54/1336.08	c  1336s|  2300 |    56 |  3109k| 929.3 |   935M |  35 |  12k|  23k|  33k| 207k|  2 |  10k|  38 | 0.000000e+00 |      --      |    Inf |  19.16%
1353.77/1357.35	c  1357s|  2400 |    41 |  3204k| 930.1 |   939M |  35 |  12k|  23k|   0 | 216k|  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf |  19.17%
1375.20/1378.85	c  1379s|  2500 |    44 |  3305k| 932.2 |   941M |  35 |  12k|  23k|  32k| 227k|  2 |  11k|  38 | 0.000000e+00 |      --      |    Inf |  19.18%
1396.64/1400.34	c  1400s|  2600 |    38 |  3406k| 934.4 |   943M |  35 |  12k|  23k|  32k| 237k|  2 |  11k|  38 | 0.000000e+00 |      --      |    Inf |  19.18%
1452.88/1456.77	c  1457s|  2700 |    38 |  3504k| 935.9 |   946M |  35 |  12k|  24k|  32k| 245k|  2 |  12k|  38 | 0.000000e+00 |      --      |    Inf |  19.18%
1481.70/1485.66	c  1486s|  2800 |    47 |  3594k| 934.9 |   947M |  35 |  12k|  24k|   0 | 252k|  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf |  19.19%
1514.29/1518.37	c  1518s|  2900 |    39 |  3709k| 940.3 |   949M |  35 |  12k|  24k|   0 | 263k|  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf |  19.20%
1538.60/1542.70	c  1543s|  3000 |    46 |  3794k| 938.1 |   951M |  35 |  12k|  24k|  32k| 272k|  2 |  12k|  38 | 0.000000e+00 |      --      |    Inf |  19.21%
1570.90/1575.14	c  1575s|  3100 |    55 |  3917k| 945.4 |   953M |  35 |  12k|  24k|   0 | 285k|  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf |  19.21%
1597.60/1601.92	c  1602s|  3200 |    43 |  4023k| 948.3 |   955M |  35 |  12k|  24k|  33k| 296k|  2 |  13k|  38 | 0.000000e+00 |      --      |    Inf |  19.22%
1710.00/1714.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1710.00/1714.67	c  1715s|  3300 |    44 |  4155k| 957.0 |   957M |  35 |  12k|  25k|  33k| 309k|  2 |  14k|  38 | 0.000000e+00 |      --      |    Inf |  19.23%
1730.14/1734.86	c  1735s|  3400 |    46 |  4241k| 954.8 |   960M |  35 |  12k|  25k|   0 | 316k|  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf |  19.23%
1756.37/1761.10	c  1761s|  3500 |    42 |  4358k| 959.7 |   962M |  35 |  12k|  25k|   0 | 327k|  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf |  19.23%
1784.78/1789.63	c  1790s|  3600 |    40 |  4464k| 961.8 |   965M |  35 |  12k|  26k|  32k| 338k|  2 |  15k|  38 | 0.000000e+00 |      --      |    Inf |  19.23%
1813.38/1818.31	c  1818s|  3700 |    41 |  4566k| 963.2 |   967M |  35 |  12k|  26k|  32k| 347k|  2 |  16k|  38 | 0.000000e+00 |      --      |    Inf |  19.24%
1835.51/1840.59	c  1841s|  3800 |    38 |  4664k| 963.4 |   968M |  35 |  12k|  26k|  33k| 357k|  2 |  16k|  38 | 0.000000e+00 |      --      |    Inf |  19.24%
1866.42/1871.57	c  1872s|  3900 |    45 |  4767k| 964.8 |   971M |  35 |  12k|  26k|  32k| 367k|  2 |  16k|  38 | 0.000000e+00 |      --      |    Inf |  19.31%
1892.44/1897.68	c  1898s|  4000 |    48 |  4847k| 961.6 |   972M |  35 |  12k|  26k|   0 | 374k|  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf |  19.31%
1909.68/1914.91	c  1915s|  4100 |    44 |  4918k| 956.5 |   975M |  35 |  12k|  26k|  32k| 381k|  2 |  17k|  38 | 0.000000e+00 |      --      |    Inf |  19.33%
1926.91/1932.21	c  1932s|  4200 |    40 |  4979k| 949.7 |   976M |  35 |  12k|  26k|   0 | 388k|  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf |  19.34%
1946.05/1951.44	c  1951s|  4300 |    48 |  5058k| 946.6 |   979M |  35 |  12k|  26k|  32k| 396k|  2 |  18k|  38 | 0.000000e+00 |      --      |    Inf |  19.36%
1965.68/1971.16	c  1971s|  4400 |    45 |  5137k| 943.7 |   983M |  35 |  12k|  26k|  32k| 406k|  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |  19.41%
1983.81/1989.31	c  1989s|  4500 |    47 |  5214k| 940.5 |   987M |  35 |  12k|  26k|  31k| 416k|  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |  19.57%
2233.04/2239.26	c  2239s|  4600 |    43 |  5382k| 954.0 |  1038M |  35 |  12k|  26k|  32k| 427k|  2 |  18k|  38 | 0.000000e+00 |      --      |    Inf |  20.03%
2253.37/2259.62	c  2260s|  4700 |    46 |  5461k| 951.0 |  1047M |  35 |  12k|  26k|   0 | 435k|  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |  21.01%
2284.47/2290.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2284.47/2290.85	c  2291s|  4800 |    51 |  5558k| 951.3 |  1060M |  35 |  12k|  25k|  32k| 445k|  2 |  19k|  38 | 0.000000e+00 |      --      |    Inf |  23.97%
2306.10/2312.56	c  2313s|  4900 |    42 |  5655k| 951.6 |  1062M |  35 |  12k|  25k|   0 | 454k|  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |  24.10%
2335.00/2341.54	c  2342s|  5000 |    40 |  5768k| 954.6 |  1064M |  35 |  12k|  25k|  32k| 464k|  2 |  19k|  38 | 0.000000e+00 |      --      |    Inf |  24.20%
2358.22/2364.88	c  2365s|  5100 |    42 |  5846k| 951.7 |  1068M |  35 |  12k|  25k|  31k| 473k|  2 |  20k|  38 | 0.000000e+00 |      --      |    Inf |  24.30%
2380.84/2387.50	c  2388s|  5200 |    44 |  5943k| 952.0 |  1071M |  35 |  12k|  25k|  32k| 484k|  2 |  20k|  38 | 0.000000e+00 |      --      |    Inf |  24.43%
2399.28/2406.07	c  2406s|  5300 |    36 |  6022k| 949.5 |  1074M |  35 |  12k|  25k|  32k| 494k|  2 |  20k|  38 | 0.000000e+00 |      --      |    Inf |  24.53%
2428.28/2435.14	c  2435s|  5400 |    43 |  6129k| 951.4 |  1076M |  35 |  12k|  25k|   0 | 506k|  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |  24.73%
2446.32/2453.28	c  2453s|  5500 |    47 |  6207k| 948.7 |  1078M |  35 |  12k|  25k|  31k| 515k|  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |  24.84%
2470.05/2477.03	c  2477s|  5600 |    35 |  6310k| 949.9 |  1080M |  35 |  12k|  25k|  31k| 527k|  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |  25.29%
2499.35/2506.47	c  2506s|  5700 |    33 |  6429k| 953.6 |  1082M |  35 |  12k|  25k|  31k| 540k|  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |  25.68%
2539.73/2546.94	c  2547s|  5800 |    44 |  6545k| 956.6 |  1085M |  35 |  12k|  25k|  32k| 549k|  2 |  22k|  38 | 0.000000e+00 |      --      |    Inf |  25.80%
2556.88/2564.13	c  2564s|  5900 |    49 |  6614k| 952.7 |  1086M |  35 |  12k|  25k|  32k| 556k|  2 |  22k|  38 | 0.000000e+00 |      --      |    Inf |  25.81%
2656.90/2664.43	c  2664s|  6000 |    44 |  6729k| 955.6 |  1087M |  35 |  12k|  25k|  32k| 567k|  2 |  22k|  38 | 0.000000e+00 |      --      |    Inf |  25.90%
2690.19/2697.83	c  2698s|  6100 |    53 |  6875k| 962.8 |  1108M |  35 |  12k|  25k|   0 | 579k|  0 |  22k|  38 | 0.000000e+00 |      --      |    Inf |  26.03%
2717.80/2725.56	c  2726s|  6200 |    45 |  6988k| 965.1 |  1111M |  35 |  12k|  25k|   0 | 591k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |  26.12%
2738.15/2746.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2738.15/2746.00	c  2746s|  6300 |    43 |  7072k| 963.4 |  1114M |  35 |  12k|  25k|  32k| 601k|  2 |  23k|  38 | 0.000000e+00 |      --      |    Inf |  26.17%
2769.33/2777.21	c  2777s|  6400 |    39 |  7163k| 962.7 |  1117M |  35 |  12k|  25k|   0 | 613k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |  26.31%
2807.40/2815.45	c  2815s|  6500 |    47 |  7292k| 967.1 |  1120M |  35 |  12k|  25k|   0 | 623k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |  26.34%
2828.93/2837.02	c  2837s|  6600 |    53 |  7375k| 965.2 |  1122M |  35 |  12k|  25k|  32k| 631k|  2 |  24k|  38 | 0.000000e+00 |      --      |    Inf |  26.35%
2848.06/2856.26	c  2856s|  6700 |    52 |  7450k| 962.4 |  1122M |  35 |  12k|  26k|   0 | 637k|  0 |  24k|  38 | 0.000000e+00 |      --      |    Inf |  26.37%
2883.65/2891.92	c  2892s|  6800 |    51 |  7554k| 963.5 |  1124M |  35 |  12k|  26k|   0 | 646k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |  26.37%
2904.59/2912.95	c  2913s|  6900 |    44 |  7640k| 962.1 |  1125M |  35 |  12k|  26k|   0 | 655k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |  26.37%
2956.34/2964.89	c  2965s|  7000 |    59 |  7811k| 971.5 |  1165M |  35 |  12k|  26k|  32k| 668k|  2 |  25k|  38 | 0.000000e+00 |      --      |    Inf |  26.42%
2988.54/2997.16	c  2997s|  7100 |    58 |  7926k| 973.8 |  1167M |  35 |  12k|  26k|   0 | 676k|  0 |  26k|  38 | 0.000000e+00 |      --      |    Inf |  26.43%
3011.87/3020.54	c  3021s|  7200 |    58 |  8025k| 974.0 |  1167M |  35 |  12k|  26k|   0 | 686k|  0 |  26k|  38 | 0.000000e+00 |      --      |    Inf |  26.44%
3033.30/3042.07	c  3042s|  7300 |    56 |  8112k| 972.7 |  1168M |  35 |  12k|  26k|   0 | 693k|  0 |  27k|  38 | 0.000000e+00 |      --      |    Inf |  26.46%
3067.18/3076.08	c  3076s|  7400 |    61 |  8269k| 979.8 |  1170M |  35 |  12k|  26k|  33k| 706k|  3 |  27k|  38 | 0.000000e+00 |      --      |    Inf |  26.52%
3112.15/3121.15	c  3121s|  7500 |    77 |  8377k| 981.0 |  1171M |  35 |  12k|  26k|  33k| 714k|  2 |  28k|  38 | 0.000000e+00 |      --      |    Inf |  26.52%
3134.08/3143.14	c  3143s|  7600 |    60 |  8476k| 981.2 |  1172M |  35 |  12k|  26k|   0 | 723k|  0 |  28k|  38 | 0.000000e+00 |      --      |    Inf |  26.53%
3155.30/3164.42	c  3164s|  7700 |    62 |  8564k| 980.0 |  1173M |  35 |  12k|  26k|  33k| 731k|  2 |  29k|  38 | 0.000000e+00 |      --      |    Inf |  26.53%
3185.20/3194.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3185.20/3194.40	c  3194s|  7800 |    63 |  8669k| 980.9 |  1175M |  35 |  12k|  26k|   0 | 740k|  0 |  29k|  38 | 0.000000e+00 |      --      |    Inf |  26.53%
3211.81/3221.17	c  3221s|  7900 |    53 |  8775k| 981.7 |  1176M |  35 |  12k|  26k|   0 | 751k|  0 |  30k|  38 | 0.000000e+00 |      --      |    Inf |  26.58%
3245.28/3254.78	c  3255s|  8000 |    50 |  8915k| 986.4 |  1178M |  35 |  12k|  26k|  32k| 765k|  2 |  30k|  38 | 0.000000e+00 |      --      |    Inf |  26.63%
3284.16/3293.73	c  3294s|  8100 |    63 |  9054k| 990.9 |  1180M |  35 |  12k|  26k|  32k| 778k|  2 |  31k|  38 | 0.000000e+00 |      --      |    Inf |  26.72%
3310.18/3319.80	c  3320s|  8200 |    55 |  9169k| 992.6 |  1182M |  35 |  12k|  26k|   0 | 789k|  0 |  31k|  38 | 0.000000e+00 |      --      |    Inf |  26.73%
3329.72/3339.44	c  3339s|  8300 |    48 |  9256k| 991.2 |  1184M |  35 |  12k|  26k|  32k| 798k|  2 |  31k|  38 | 0.000000e+00 |      --      |    Inf |  26.74%
3371.09/3380.96	c  3381s|  8400 |    41 |  9365k| 992.3 |  1185M |  35 |  12k|  26k|  31k| 808k|  2 |  32k|  38 | 0.000000e+00 |      --      |    Inf |  26.75%
3395.22/3405.13	c  3405s|  8500 |    39 |  9465k| 992.5 |  1187M |  35 |  12k|  26k|  31k| 819k|  2 |  32k|  38 | 0.000000e+00 |      --      |    Inf |  26.77%
3423.34/3433.30	c  3433s|  8600 |    45 |  9550k| 991.0 |  1188M |  35 |  12k|  26k|  32k| 828k|  2 |  33k|  38 | 0.000000e+00 |      --      |    Inf |  26.79%
3474.88/3485.04	c  3485s|  8700 |    59 |  9724k| 998.7 |  1189M |  35 |  12k|  26k|  32k| 839k|  2 |  33k|  38 | 0.000000e+00 |      --      |    Inf |  26.80%
3513.55/3523.81	c  3524s|  8800 |    67 |  9871k|1003.5 |  1190M |  35 |  12k|  26k|  33k| 850k|  3 |  34k|  38 | 0.000000e+00 |      --      |    Inf |  26.80%
3540.56/3550.95	c  3551s|  8900 |    62 |  9986k|1005.1 |  1192M |  35 |  12k|  26k|  33k| 860k|  2 |  34k|  38 | 0.000000e+00 |      --      |    Inf |  26.80%
3571.16/3581.61	c  3582s|  9000 |    53 | 10110k|1007.4 |  1194M |  35 |  12k|  26k|   0 | 872k|  0 |  35k|  38 | 0.000000e+00 |      --      |    Inf |  26.80%
3586.91/3597.41	c 
3586.91/3597.41	c SCIP Status        : solving was interrupted [time limit reached]
3586.91/3597.41	c Solving Time (sec) : 3597.40
3586.91/3597.41	c Solving Nodes      : 9044 (total of 9964 nodes in 2 runs)
3586.91/3597.41	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.91/3597.41	c Dual Bound         : +0.00000000000000e+00
3586.91/3597.41	c Gap                : infinite
3586.91/3597.41	s UNKNOWN
3586.91/3597.41	c SCIP Status        : solving was interrupted [time limit reached]
3586.91/3597.41	c Total Time         :    3597.40
3586.91/3597.41	c   solving          :    3597.40
3586.91/3597.41	c   presolving       :     104.22 (included in solving)
3586.91/3597.41	c   reading          :       0.10 (included in solving)
3586.91/3597.41	c   copying          :       0.24 (6 #copies) (minimal 0.03, maximal 0.06, average 0.04)
3586.91/3597.41	c Original Problem   :
3586.91/3597.41	c   Problem name     : HOME/instance-4441545-1721293767.opb
3586.91/3597.41	c   Variables        : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.41	c   Constraints      : 52475 initial, 52475 maximal
3586.91/3597.41	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.91/3597.41	c Presolved Problem  :
3586.91/3597.41	c   Problem name     : t_HOME/instance-4441545-1721293767.opb
3586.91/3597.41	c   Variables        : 12821 (12821 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.41	c   Constraints      : 18339 initial, 26714 maximal
3586.91/3597.41	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.91/3597.41	c   Nonzeros         : 99979 constraint, 258968 clique table
3586.91/3597.41	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.91/3597.41	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   domcol           :       0.00       0.00     47          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   gateextraction   :       0.21       0.00     89          0          0          0          0          0      47670      15885          0          0
3586.91/3597.41	c   implics          :       0.01       0.00     93          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   milp             :       2.55       0.00      1        469       1025          0          0          0          0          0          0          0
3586.91/3597.41	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   trivial          :       0.07       0.00    133        217          0          0          0          0          0          0          0          0
3586.91/3597.41	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dualfix          :       0.05       0.00    133          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   probing          :      97.28       0.00     46       1769        315          0          0          0          0          0          0          0
3586.91/3597.41	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   vbounds          :       0.24       0.00     10          1          0          0          0          0          0          0          0          0
3586.91/3597.41	c   knapsack         :       0.11       0.00    306          0          0          0          0          0         82        166         94        221
3586.91/3597.41	c   setppc           :       0.21       0.00    306          0          4          0          0          0        284          0          0          0
3586.91/3597.41	c   and              :       2.75       0.02    213         55       1386          0          0          0       1790        492          0       1134
3586.91/3597.41	c   linear           :       0.22       0.02     18          1          6          0          1          0       3696          0        513        993
3586.91/3597.41	c   logicor          :       0.24       0.02    268          0          0          0          0          0       1134          0          0         65
3586.91/3597.41	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   components       :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.91/3597.41	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.91/3597.41	c   benderslp        :          0          0          0          0       7323          0          0       1954          0          0          0          0          0          0          0
3586.91/3597.41	c   integral         :          0          0          0          0       7323          0          0       1954          0          0          0          0          0          0      14646
3586.91/3597.41	c   knapsack         :       1126       1126         22     399104          0          0          0       1949      29810         31      21623       4414        329          0          0
3586.91/3597.41	c   setppc           :       3375+      3478         22     399068          0          0          0          0     457465        355     282133         28         12          0          0
3586.91/3597.41	c   and              :      12094      12094      14754     398718          0          0          0          0    2914398       4612    5046098    3202913     907823          0          0
3586.91/3597.41	c   linear           :          6+        26          0     230807          0          0          0          3       2351         12       3468          0          0          0          0
3586.91/3597.41	c   logicor          :       1738+     10017         22      91368          0          0          0          0      76070       1044      44548         23          1          0          0
3586.91/3597.41	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.91/3597.41	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   integral         :      43.58       0.00       0.00       0.00      43.58       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   knapsack         :       2.55       0.00       0.04       2.48       0.00       0.00       0.00       0.01       0.02       0.00
3586.91/3597.41	c   setppc           :       2.81       0.00       0.01       2.56       0.00       0.00       0.00       0.00       0.24       0.01
3586.91/3597.41	c   and              :      90.63       0.02      22.62      66.25       0.00       0.00       0.00       0.00       1.48       0.25
3586.91/3597.41	c   linear           :       0.07       0.02       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   logicor          :       1.98       0.02       0.01       1.77       0.00       0.00       0.00       0.00       0.18       0.00
3586.91/3597.41	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.91/3597.41	c   dualfix          :          2          0          0          0
3586.91/3597.41	c   genvbounds       :          0          0          0          0
3586.91/3597.41	c   nlobbt           :          0          0          0          0
3586.91/3597.41	c   obbt             :          0          0          0          0
3586.91/3597.41	c   probing          :          0          0          0          0
3586.91/3597.41	c   pseudoobj        :          0          0          0          0
3586.91/3597.41	c   redcost          :          0          0          0          0
3586.91/3597.41	c   rootredcost      :          0          0          0          0
3586.91/3597.41	c   symmetry         :          0          0          0          0
3586.91/3597.41	c   vbounds          :     228368          0          0          0
3586.91/3597.41	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.91/3597.41	c   dualfix          :       0.05       0.00       0.05       0.00       0.00       0.00
3586.91/3597.41	c   genvbounds       :       0.05       0.00       0.00       0.05       0.00       0.00
3586.91/3597.41	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.91/3597.41	c   probing          :      97.28       0.00      97.28       0.00       0.00       0.00
3586.91/3597.41	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00       0.00
3586.91/3597.41	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3586.91/3597.41	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3586.91/3597.41	c   symmetry         :       0.14       0.00       0.07       0.07       0.00       0.00
3586.91/3597.41	c   vbounds          :      43.29       0.00       0.24      43.04       0.00       0.01
3586.91/3597.41	c Symmetry           :
3586.91/3597.41	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.91/3597.41	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.91/3597.41	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.91/3597.41	c   shadow tree time :       0.05 s
3586.91/3597.41	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.91/3597.41	c   propagation      :       3.09       6051       5484          -      65059       74.7        805       23.4          -          -          -
3586.91/3597.41	c   infeasible LP    :       0.34        114        113          -        458       63.6         18       20.0        113       14.5          0
3586.91/3597.41	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.91/3597.41	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.91/3597.41	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.91/3597.41	c   applied globally :       7.25          -          -          0      35156       44.7          -          -        106          -          -
3586.91/3597.41	c   applied locally  :          -          -          -          0         10       85.7          -          -          7          -          -
3586.91/3597.41	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.91/3597.41	c   cut pool         :       1.40          -       1744         42          -          -      31900      93703          -          -          -          -          -    (maximal pool size:      17930)
3586.91/3597.41	c   aggregation      :       0.96       0.00         80         22          0          0        179       3664          2       1281       1280          1          0
3586.91/3597.41	c   > cmir           :          -          -          -          -          -          -          -       3417          1       1215       1215          0          -
3586.91/3597.41	c   > flowcover      :          -          -          -          -          -          -          -        203          1         52         51          1          -
3586.91/3597.41	c   > knapsackcover  :          -          -          -          -          -          -          -         44          0         14         14          0          -
3586.91/3597.41	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   clique           :      13.13       0.00         22         22          0          0        164        467          0         43         43          0          0
3586.91/3597.41	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   gomory           :      12.60       0.00         83         20          0          0       7185      21211        674       3327       3271         56          0
3586.91/3597.41	c   > gomorymi       :          -          -          -          -          -          -          -       7627        337       1648       1613         35          -
3586.91/3597.41	c   > strongcg       :          -          -          -          -          -          -          -      13584        337       1679       1658         21          -
3586.91/3597.41	c   impliedbounds    :       0.96       0.00         85         22          0          0      23219      63168          0      19746      19746          0          0
3586.91/3597.41	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   mcf              :       0.03       0.00          2          2          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   multilinear      :       0.01       0.00       1200         22          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.91/3597.41	c   rlt              :      66.77       0.00        171         20          0          0       4436       1564       3298       3033       1063       1970          0
3586.91/3597.41	c   zerohalf         :       2.26       0.00         80         22          0          0        918       3629        227       2138       2014        124          0
3586.91/3597.41	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.91/3597.41	c   hybrid           :       6.01       0.00      14337         22     937707         40    2367575      11560          0      50449
3586.91/3597.41	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.91/3597.41	c   problem variables:       0.00          -          0          0
3586.91/3597.41	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.91/3597.41	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c   relpscost        :      43.57       0.00       7323          0          0          0          0          0          0      14646
3586.91/3597.41	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.91/3597.41	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.91/3597.41	c   LP solutions     :       0.00          -          -          0          0
3586.91/3597.41	c   relax solutions  :       0.00          -          -          0          0
3586.91/3597.41	c   pseudo solutions :       0.00          -          -          0          0
3586.91/3597.41	c   strong branching :       0.00          -          -          0          0
3586.91/3597.41	c   actconsdiving    :       0.00       0.00          0          0          0
3586.91/3597.41	c   adaptivediving   :      59.72       0.00         18          0          0
3586.91/3597.41	c   alns             :       0.64       0.00          4          0          0
3586.91/3597.41	c   bound            :       0.00       0.00          0          0          0
3586.91/3597.41	c   clique           :       0.13       0.00          1          0          0
3586.91/3597.41	c   coefdiving       :       0.00       0.00          0          0          0
3586.91/3597.41	c   completesol      :       0.00       0.00          0          0          0
3586.91/3597.41	c   conflictdiving   :      46.44       0.00         57          0          0
3586.91/3597.41	c   crossover        :       0.00       0.00          0          0          0
3586.91/3597.41	c   dins             :       0.00       0.00          0          0          0
3586.91/3597.41	c   distributiondivin:      71.60       0.00         56          0          0
3586.91/3597.41	c   dps              :       0.00       0.00          0          0          0
3586.91/3597.41	c   dualval          :       0.00       0.00          0          0          0
3586.91/3597.41	c   farkasdiving     :       0.00       0.00          0          0          0
3586.91/3597.41	c   feasjump         :       0.06       0.00          2          0          0
3586.91/3597.41	c   feaspump         :      25.30       0.00         22          0          0
3586.91/3597.41	c   fixandinfer      :       0.00       0.00          0          0          0
3586.91/3597.41	c   fracdiving       :      44.78       0.00         57          0          0
3586.91/3597.41	c   gins             :       0.00       0.00          0          0          0
3586.91/3597.41	c   guideddiving     :       0.00       0.00          0          0          0
3586.91/3597.41	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.91/3597.41	c   indicator        :       0.01       0.00          0          0          0
3586.91/3597.41	c   indicatordiving  :       0.00       0.00          0          0          0
3586.91/3597.41	c   indoneopt        :       0.01       0.00          0          0          0
3586.91/3597.41	c   indrounding      :       0.00       0.00          0          0          0
3586.91/3597.41	c   indtwoopt        :       0.00       0.00          0          0          0
3586.91/3597.41	c   intdiving        :       0.00       0.00          0          0          0
3586.91/3597.41	c   intshifting      :       0.00       0.00          0          0          0
3586.91/3597.41	c   linesearchdiving :      48.19       0.00         57          0          0
3586.91/3597.41	c   localbranching   :       0.00       0.00          0          0          0
3586.91/3597.41	c   locks            :       0.05       0.00          1          0          0
3586.91/3597.41	c   lpface           :       0.29       0.00          0          0          0
3586.91/3597.41	c   mpec             :       0.00       0.00          0          0          0
3586.91/3597.41	c   multistart       :       0.00       0.00          0          0          0
3586.91/3597.41	c   mutation         :       0.00       0.00          0          0          0
3586.91/3597.41	c   nlpdiving        :       0.00       0.00          0          0          0
3586.91/3597.41	c   objpscostdiving  :     641.97       0.00         14          0          0
3586.91/3597.41	c   octane           :       0.00       0.00          0          0          0
3586.91/3597.41	c   ofins            :       0.00       0.00          0          0          0
3586.91/3597.41	c   oneopt           :       0.01       0.00          0          0          0
3586.91/3597.41	c   padm             :       0.00       0.00          0          0          0
3586.91/3597.41	c   proximity        :       0.00       0.00          0          0          0
3586.91/3597.41	c   pscostdiving     :      44.67       0.00         58          0          0
3586.91/3597.41	c   randrounding     :       2.05       0.00       1964          0          0
3586.91/3597.41	c   rens             :       0.40       0.00          2          0          0
3586.91/3597.41	c   reoptsols        :       0.00       0.00          0          0          0
3586.91/3597.41	c   repair           :       0.00       0.00          0          0          0
3586.91/3597.41	c   rins             :       0.00       0.00          0          0          0
3586.91/3597.41	c   rootsoldiving    :      41.47       0.00         16          0          0
3586.91/3597.41	c   rounding         :       3.07       0.00       2021          0          0
3586.91/3597.41	c   scheduler        :       0.00       0.00          0          0          0
3586.91/3597.41	c   shiftandpropagate:       0.22       0.00          2          0          0
3586.91/3597.41	c   shifting         :      18.61       0.00        673          0          0
3586.91/3597.41	c   simplerounding   :       0.01       0.00          0          0          0
3586.91/3597.41	c   smallcard        :       0.00       0.00          0          0          0
3586.91/3597.41	c   subnlp           :       0.01       0.00          0          0          0
3586.91/3597.41	c   trivial          :       0.01       0.00          4          0          0
3586.91/3597.41	c   trivialnegation  :       0.00       0.00          0          0          0
3586.91/3597.41	c   trustregion      :       0.00       0.00          0          0          0
3586.91/3597.41	c   trysol           :       0.01       0.00          0          0          0
3586.91/3597.41	c   twoopt           :       0.00       0.00          0          0          0
3586.91/3597.41	c   undercover       :       0.20       0.00          1          0          0
3586.91/3597.41	c   vbounds          :       0.15       0.00          2          0          0
3586.91/3597.41	c   veclendiving     :      39.22       0.00         56          0          0
3586.91/3597.41	c   zeroobj          :       0.00       0.00          0          0          0
3586.91/3597.41	c   zirounding       :       0.76       0.00       1000          0          0
3586.91/3597.41	c   other solutions  :          -          -          -          0          -
3586.91/3597.41	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.91/3597.41	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.91/3597.41	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.91/3597.41	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
3586.91/3597.41	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.91/3597.41	c   primal LP        :       1.91        511          0       0.00       0.00       1.91        511
3586.91/3597.41	c   dual LP          :    2002.24      21734    9208497     423.87    4599.10       0.04          9
3586.91/3597.41	c   lex dual LP      :       0.00          0          0       0.00          -
3586.91/3597.41	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.91/3597.41	c   resolve instable :       0.00          0          0       0.00          -
3586.91/3597.41	c   diving/probing LP:    1042.67       2485     956161     384.77     917.03
3586.91/3597.41	c   strong branching :      28.06         38      37536     987.79    1337.62          -          -         74
3586.91/3597.41	c     (at root node) :          -         38      37536     987.79          -
3586.91/3597.41	c   conflict analysis:       0.00          0          0       0.00          -
3586.91/3597.41	c B&B Tree           :
3586.91/3597.41	c   number of runs   :          2
3586.91/3597.41	c   nodes            :       9044 (6643 internal, 2401 leaves)
3586.91/3597.41	c   feasible leaves  :          0
3586.91/3597.41	c   infeas. leaves   :       2401
3586.91/3597.41	c   objective leaves :          0
3586.91/3597.41	c   nodes (total)    :       9964 (7323 internal, 2641 leaves)
3586.91/3597.41	c   nodes left       :         69
3586.91/3597.41	c   max depth        :         35
3586.91/3597.41	c   max depth (total):         35
3586.91/3597.41	c   backtracks       :       2841 (31.4%)
3586.91/3597.41	c   early backtracks :          0 (0.0%)
3586.91/3597.41	c   nodes exc. ref.  :          0 (0.0%)
3586.91/3597.41	c   delayed cutoffs  :       4174
3586.91/3597.41	c   repropagations   :       7175 (1863412 domain reductions, 2352 cutoffs)
3586.91/3597.41	c   avg switch length:       3.34
3586.91/3597.41	c   switching time   :      16.82
3586.91/3597.41	c Root Node          :
3586.91/3597.41	c   First LP value   : +0.00000000000000e+00
3586.91/3597.41	c   First LP Iters   :       3660 (10437.52 Iter/sec)
3586.91/3597.41	c   First LP Time    :       0.35
3586.91/3597.41	c   Final Dual Bound : +0.00000000000000e+00
3586.91/3597.41	c   Final Root Iters :     117868
3586.91/3597.41	c   Root LP Estimate : +2.98703749270890e-02
3586.91/3597.41	c Solution           :
3586.91/3597.41	c   Solutions found  :          0 (0 improvements)
3586.91/3597.41	c   Primal Bound     :          -
3586.91/3597.41	c   Dual Bound       : +0.00000000000000e+00
3586.91/3597.41	c   Gap              :   infinite
3586.91/3597.41	c Integrals          :      Total       Avg%
3586.91/3597.41	c   primal-dual      :  359740.37     100.00
3586.91/3597.41	c   primal-ref       :          -          - (not evaluated)
3586.91/3597.41	c   dual-ref         :          -          - (not evaluated)
3587.11/3597.62	c Time complete: 3587.15.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58393 MiB free)
  memory of node 1: 64510 MiB (59444 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100096 s]*
/proc/loadavg: 2.66 2.34 2.28 5/259 975296
/proc/meminfo: memFree=120547388/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=99580 memory=58672 CPUtime=0.1 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 11807 0 0 0 8 2 0 0 20 0 1 0 181542016 101969920 14668 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 24895 14668 3207 3540 0 13152 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 99580 KiB
Current children cumulated memory: 58672 KiB

[startup+0.205926 s]*
/proc/loadavg: 2.66 2.34 2.28 5/259 975296
/proc/meminfo: memFree=120419616/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=161276 memory=119344 CPUtime=0.2 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 26745 0 0 0 16 4 0 0 20 0 1 0 181542016 165146624 29836 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 40319 29836 3542 3540 0 28576 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 161276 KiB
Current children cumulated memory: 119344 KiB

[startup+0.305919 s]*
/proc/loadavg: 2.66 2.34 2.28 5/259 975296
/proc/meminfo: memFree=120458628/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=180500 memory=134044 CPUtime=0.3 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 30409 0 0 0 25 5 0 0 20 0 1 0 181542016 184832000 33511 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 45125 33511 3558 3540 0 33382 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180500 KiB
Current children cumulated memory: 134044 KiB

[startup+0.700261 s]
/proc/loadavg: 2.66 2.34 2.28 5/259 975296
/proc/meminfo: memFree=120429584/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=200128 memory=157656 CPUtime=0.69 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 37554 0 0 0 63 6 0 0 20 0 1 0 181542016 204931072 39414 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 50032 39414 3621 3540 0 38289 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 200128 KiB
Current children cumulated memory: 157656 KiB

[startup+1.50023 s]
/proc/loadavg: 2.66 2.34 2.28 5/259 975296
/proc/meminfo: memFree=120330452/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=200128 memory=157656 CPUtime=1.49 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 37554 0 0 0 143 6 0 0 20 0 1 0 181542016 204931072 39414 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 50032 39414 3621 3540 0 38289 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 200128 KiB
Current children cumulated memory: 157656 KiB

[startup+3.10573 s]
/proc/loadavg: 2.85 2.38 2.30 5/259 975296
/proc/meminfo: memFree=120174464/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=202176 memory=160076 CPUtime=3.08 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 41482 0 0 0 302 6 0 0 20 0 1 0 181542016 207028224 40019 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 50544 40019 3717 3540 0 38801 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 202176 KiB
Current children cumulated memory: 160076 KiB

[startup+6.30018 s]
/proc/loadavg: 2.85 2.38 2.30 5/259 975296
/proc/meminfo: memFree=120139432/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=233340 memory=190800 CPUtime=6.27 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 49164 0 0 0 619 8 0 0 20 0 1 0 181542016 238940160 47700 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 58335 47700 3733 3540 0 46592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 233340 KiB
Current children cumulated memory: 190800 KiB

[startup+12.7002 s]
/proc/loadavg: 2.94 2.41 2.30 5/259 975298
/proc/meminfo: memFree=120035396/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=234776 memory=192376 CPUtime=12.65 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 49582 0 0 0 1257 8 0 0 20 0 1 0 181542016 240410624 48094 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 58694 48094 3733 3540 0 46951 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 234776 KiB
Current children cumulated memory: 192376 KiB

[startup+25.5002 s]
/proc/loadavg: 3.26 2.51 2.34 5/259 975299
/proc/meminfo: memFree=119589540/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=234908 memory=192376 CPUtime=25.41 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 49601 0 0 0 2533 8 0 0 20 0 1 0 181542016 240545792 48094 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 58727 48094 3733 3540 0 46984 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 234908 KiB
Current children cumulated memory: 192376 KiB

[startup+51.1058 s]
/proc/loadavg: 3.57 2.64 2.39 5/261 975308
/proc/meminfo: memFree=119535412/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=237172 memory=194728 CPUtime=50.95 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 50162 0 0 0 5087 8 0 0 20 0 1 0 181542016 242864128 48682 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 59293 48682 3733 3540 0 47550 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 237172 KiB
Current children cumulated memory: 194728 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 2.87 2.48 5/261 975317
/proc/meminfo: memFree=119124020/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=239396 memory=196832 CPUtime=102.01 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 50728 0 0 0 10193 8 0 0 20 0 1 0 181542016 245141504 49208 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 59849 49208 3733 3540 0 48106 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 196832 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.12 2.59 5/260 975327
/proc/meminfo: memFree=118168392/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=504008 memory=427052 CPUtime=161.85 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 102822 0 0 0 16168 17 0 0 20 0 1 0 181542016 516104192 106763 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 126002 106763 3957 3540 0 114259 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 504008 KiB
Current children cumulated memory: 427052 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.30 2.69 5/261 975340
/proc/meminfo: memFree=118091312/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=577672 memory=501004 CPUtime=221.69 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 121301 0 0 0 22150 19 0 0 20 0 1 0 181542016 591536128 125251 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 144418 125251 3976 3540 0 132675 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 577672 KiB
Current children cumulated memory: 501004 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.44 2.78 5/259 975350
/proc/meminfo: memFree=117630944/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=678096 memory=591660 CPUtime=281.53 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 148486 0 0 0 28129 24 0 0 20 0 1 0 181542016 694370304 147915 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 169524 147915 3976 3540 0 157781 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 678096 KiB
Current children cumulated memory: 591660 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.58 2.87 5/257 975360
/proc/meminfo: memFree=117576344/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=728312 memory=643664 CPUtime=341.39 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 154963 0 0 0 34114 25 0 0 20 0 1 0 181542016 745791488 160916 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 182078 160916 3976 3540 0 170335 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 728312 KiB
Current children cumulated memory: 643664 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 3.71 2.96 5/255 975372
/proc/meminfo: memFree=117247788/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=768968 memory=681936 CPUtime=401.25 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 156418 0 0 0 40099 26 0 0 20 0 1 0 181542016 787423232 170484 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 192242 170484 3976 3540 0 180499 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 768968 KiB
Current children cumulated memory: 681936 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 3.79 3.04 5/256 975383
/proc/meminfo: memFree=117236004/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=786020 memory=690552 CPUtime=461.11 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 158852 0 0 0 46083 28 0 0 20 0 1 0 181542016 804884480 172638 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 196505 172638 3976 3540 0 184762 0

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

/proc/loadavg: 4.09 4.11 4.05 5/259 977078
/proc/meminfo: memFree=115299172/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1288960 memory=1149064 CPUtime=3153.21 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 232386 0 0 0 315259 62 0 0 20 0 1 0 181542016 1319895040 287266 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 322240 287266 3992 3540 0 310497 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 1288960 KiB
Current children cumulated memory: 1149064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/259 977089
/proc/meminfo: memFree=115275584/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1292196 memory=1152220 CPUtime=3213 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 233193 0 0 0 321237 63 0 0 20 0 1 0 181542016 1323208704 288055 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 323049 288055 3992 3540 0 311306 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 1292196 KiB
Current children cumulated memory: 1152220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/257 977100
/proc/meminfo: memFree=115265628/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1295396 memory=1155628 CPUtime=3272.8 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 234005 0 0 0 327216 64 0 0 20 0 1 0 181542016 1326485504 288907 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 323849 288907 3992 3540 0 312106 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 1295396 KiB
Current children cumulated memory: 1155628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/256 977111
/proc/meminfo: memFree=115259096/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1301292 memory=1161240 CPUtime=3332.61 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 235575 0 0 0 333197 64 0 0 20 0 1 0 181542016 1332523008 290310 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 325323 290310 3992 3540 0 313580 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 1301292 KiB
Current children cumulated memory: 1161240 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/256 977122
/proc/meminfo: memFree=115257096/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1302560 memory=1162564 CPUtime=3392.43 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 235933 0 0 0 339179 64 0 0 20 0 1 0 181542016 1333821440 290641 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 325640 290641 3992 3540 0 313897 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 1302560 KiB
Current children cumulated memory: 1162564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/256 977133
/proc/meminfo: memFree=115253372/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1305456 memory=1165412 CPUtime=3452.25 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 236823 0 0 0 345160 65 0 0 20 0 1 0 181542016 1336786944 291353 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 326364 291353 3992 3540 0 314621 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 1305456 KiB
Current children cumulated memory: 1165412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 977145
/proc/meminfo: memFree=115245788/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1306908 memory=1166936 CPUtime=3512.05 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 237204 0 0 0 351140 65 0 0 20 0 1 0 181542016 1338273792 291734 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 326727 291734 3992 3540 0 314984 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 1306908 KiB
Current children cumulated memory: 1166936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/256 977155
/proc/meminfo: memFree=115210064/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1310096 memory=1170172 CPUtime=3571.86 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238060 0 0 0 357120 66 0 0 20 0 1 0 181542016 1341538304 292543 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327524 292543 3992 3540 0 315781 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1170172 KiB

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

# cumulated CPU time of all completed processes:  user=3586.47 s, system=0.703789 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.06 5/256 977155
/proc/meminfo: memFree=115208996/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3573.56 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238352 0 0 0 357290 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.06 5/256 977156
/proc/meminfo: memFree=115208804/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3579.93 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238369 0 0 0 357927 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3579.93 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.06 5/256 977156
/proc/meminfo: memFree=115208804/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3583.12 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238385 0 0 0 358246 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3583.12 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=118953960/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3584.71 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238385 0 0 0 358405 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977294
/proc/meminfo: memFree=122196356/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3586.31 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238385 0 0 0 358565 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3597.2 s]
/proc/loadavg: 4.08 4.10 4.06 5/253 977298
/proc/meminfo: memFree=122209496/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1311368 memory=1171484 CPUtime=3586.71 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238385 0 0 0 358605 66 0 0 20 0 1 0 181542016 1342840832 292871 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 327842 292871 3992 3540 0 316099 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 1311368 KiB
Current children cumulated memory: 1171484 KiB

[startup+3597.6 s]
/proc/loadavg: 4.08 4.10 4.06 5/253 977298
/proc/meminfo: memFree=122209496/131524600 swapFree=131071996/131071996
[pid=975295] ppid=975292 vsize=1258580 memory=1118800 CPUtime=3587.11 cores=4,6
/proc/975295/stat : 975295 (pbscip) R 975292 975295 975174 0 -1 4194304 238387 0 0 0 358645 66 0 0 20 0 1 0 181542016 1288785920 279700 134679101440 4194304 18693293 140736711949008 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49639424 140736711951363 140736711951462 140736711951462 140736711958478 0
/proc/975295/statm: 314645 279700 3992 3540 0 302902 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 1258580 KiB
Current children cumulated memory: 1118800 KiB

Child status: 0

Real time (s): 3597.65
CPU time (s): 3587.18
CPU user time (s): 3586.47
CPU system time (s): 0.703789
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 1311368
Max. memory (cumulated for all children) (KiB): 1171484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.47
system time used= 0.703789
maximum resident set size= 1171484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238413
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= 7
involuntary context switches= 3308


# summary of solver processes directly reported to runsolver:
#   pid: 975295
#   total CPU time (s): 3587.18
#   total CPU user time (s): 3586.47
#   total CPU system time (s): 0.703789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87007 second user time and 15.7944 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-18 11:09:39
IDJOB=4441545
IDBENCH=147717
IDSOLVER=3059
FILE ID=nodeC025/4441545-1721293767
RUNJOBID= nodeC025-1721293764-975185
SLURM_JOB_ID= 7542596
Free space on /tmp= 889944 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441545-1721293767/watcher-4441545-1721293767 -o /tmp/evaluation-result-4441545-1721293767/solver-4441545-1721293767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975185 --watchdog 3760  pbscip -f HOME/instance-4441545-1721293767.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= da1da2eec32162aae55ea03b18b534d2
RANDOM SEED=1858035804

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120666524 kB
MemAvailable:   126629800 kB
Buffers:          496008 kB
Cached:          6230028 kB
SwapCached:            0 kB
Active:          1062564 kB
Inactive:        9017900 kB
Active(anon):       1520 kB
Inactive(anon):  3390008 kB
Active(file):    1061044 kB
Inactive(file):  5627892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20280 kB
Writeback:             4 kB
AnonPages:       3351348 kB
Mapped:           137472 kB
Shmem:             37720 kB
KReclaimable:     227976 kB
Slab:             356636 kB
SReclaimable:     227976 kB
SUnreclaim:       128660 kB
KernelStack:        4188 kB
PageTables:        16308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3729304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC025 at 2024-07-18 12:09:37