Trace number 4459469

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07UNSAT 5.89579 5.91777

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1745726.opb
MD5SUM57846165ce4f1efeb40b7c60e97860ee
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark0.338248
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3208
Total number of constraints4687
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)467
Number of constraints which are nor clauses,nor cardinality constraints2768
Minimum length of a constraint1
Maximum length of a constraint398
Number of terms in the objective function 33
Biggest coefficient in the objective function 33
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 561
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 10732
Number of bits of the biggest sum of numbers14
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-4459469-1721898459.opb>
0.00/0.03	c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.00/0.03	c problem read in 0.03
0.00/0.05	c presolving:
0.00/0.07	c (round 1, fast)       166 del vars, 10 del conss, 0 add conss, 146 chg bounds, 2744 chg sides, 2744 chg coeffs, 0 upgd conss, 0 impls, 2617 clqs
0.00/0.09	c (round 2, fast)       252 del vars, 150 del conss, 0 add conss, 196 chg bounds, 2831 chg sides, 2831 chg coeffs, 0 upgd conss, 0 impls, 2509 clqs
0.00/0.09	c (round 3, fast)       340 del vars, 288 del conss, 0 add conss, 262 chg bounds, 2879 chg sides, 2879 chg coeffs, 0 upgd conss, 0 impls, 2456 clqs
0.09/0.11	c (round 4, fast)       405 del vars, 391 del conss, 0 add conss, 315 chg bounds, 2920 chg sides, 2920 chg coeffs, 0 upgd conss, 0 impls, 2377 clqs
0.09/0.11	c (round 5, fast)       446 del vars, 461 del conss, 0 add conss, 352 chg bounds, 2957 chg sides, 2957 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12	c (round 6, fast)       463 del vars, 488 del conss, 0 add conss, 369 chg bounds, 2989 chg sides, 2989 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12	c (round 7, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 2998 chg sides, 2998 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12	c (round 8, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 3004 chg sides, 3004 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.15	c    (0.1s) running MILP presolver
0.30/0.39	c    (0.4s) MILP presolver (29 rounds): 0 aggregations, 111 fixings, 0 bound changes
0.30/0.40	c (round 9, medium)     580 del vars, 496 del conss, 0 add conss, 375 chg bounds, 3004 chg sides, 3004 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.30/0.40	c (round 10, fast)       580 del vars, 607 del conss, 0 add conss, 375 chg bounds, 3017 chg sides, 3017 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.40/0.43	c (round 11, exhaustive) 580 del vars, 607 del conss, 0 add conss, 375 chg bounds, 3017 chg sides, 3017 chg coeffs, 4080 upgd conss, 0 impls, 2321 clqs
0.40/0.47	c (round 12, medium)     580 del vars, 1768 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5444 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.47	c (round 13, fast)       580 del vars, 1774 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5444 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.49	c (round 14, exhaustive) 580 del vars, 1774 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5669 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.50	c (round 15, medium)     580 del vars, 1860 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5669 chg coeffs, 4080 upgd conss, 0 impls, 5551 clqs
0.49/0.53	c (round 16, exhaustive) 648 del vars, 2030 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5793 chg coeffs, 4080 upgd conss, 0 impls, 5438 clqs
0.49/0.53	c (round 17, fast)       648 del vars, 2168 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5793 chg coeffs, 4080 upgd conss, 0 impls, 5438 clqs
0.49/0.56	c (round 18, medium)     648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 5853 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.49/0.58	c (round 19, exhaustive) 648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 5986 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.49/0.59	c (round 20, exhaustive) 648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6106 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.59/0.62	c (round 21, exhaustive) 705 del vars, 2193 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6198 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.62	c (round 22, fast)       705 del vars, 2298 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6198 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.65	c (round 23, medium)     705 del vars, 2322 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6270 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.69	c (round 24, exhaustive) 755 del vars, 2339 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6343 chg coeffs, 4080 upgd conss, 0 impls, 5225 clqs
0.59/0.69	c (round 25, fast)       756 del vars, 2439 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6367 chg coeffs, 4080 upgd conss, 0 impls, 5233 clqs
0.68/0.72	c (round 26, medium)     756 del vars, 2449 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6423 chg coeffs, 4080 upgd conss, 0 impls, 5233 clqs
0.68/0.75	c (round 27, exhaustive) 798 del vars, 2457 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6476 chg coeffs, 4080 upgd conss, 0 impls, 5132 clqs
0.68/0.76	c (round 28, fast)       802 del vars, 2535 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6491 chg coeffs, 4080 upgd conss, 0 impls, 5133 clqs
0.68/0.78	c (round 29, medium)     802 del vars, 2551 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6555 chg coeffs, 4080 upgd conss, 0 impls, 5133 clqs
0.78/0.81	c (round 30, exhaustive) 823 del vars, 2557 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6605 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.81	c (round 31, fast)       823 del vars, 2598 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6605 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.82	c (round 32, medium)     823 del vars, 2603 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6641 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.85	c (round 33, exhaustive) 834 del vars, 2604 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6684 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
0.78/0.85	c (round 34, fast)       834 del vars, 2615 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6684 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
0.78/0.86	c (round 35, medium)     834 del vars, 2623 del conss, 3320 add conss, 375 chg bounds, 3351 chg sides, 6724 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
1.28/1.38	c (round 36, exhaustive) 859 del vars, 2624 del conss, 3320 add conss, 375 chg bounds, 3351 chg sides, 6766 chg coeffs, 4080 upgd conss, 0 impls, 69376 clqs
1.28/1.38	c (round 37, fast)       859 del vars, 2703 del conss, 3323 add conss, 375 chg bounds, 3351 chg sides, 6803 chg coeffs, 4080 upgd conss, 0 impls, 69382 clqs
1.28/1.39	c (round 38, medium)     860 del vars, 2707 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6898 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.28/1.39	c (round 39, fast)       860 del vars, 2712 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6898 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.38/1.42	c (round 40, exhaustive) 860 del vars, 2721 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6984 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.38/1.42	c (round 41, medium)     860 del vars, 2759 del conss, 3392 add conss, 375 chg bounds, 3420 chg sides, 7207 chg coeffs, 4080 upgd conss, 0 impls, 69449 clqs
1.38/1.42	c (round 42, fast)       860 del vars, 2785 del conss, 3392 add conss, 375 chg bounds, 3420 chg sides, 7207 chg coeffs, 4080 upgd conss, 0 impls, 69449 clqs
1.38/1.43	c (round 43, medium)     861 del vars, 2787 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7279 chg coeffs, 4080 upgd conss, 0 impls, 69451 clqs
1.48/1.59	c (round 44, exhaustive) 886 del vars, 2791 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7303 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.48/1.59	c (round 45, fast)       886 del vars, 2870 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7307 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.58/1.62	c (round 46, exhaustive) 886 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7331 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.58/1.66	c (round 47, exhaustive) 890 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7355 chg coeffs, 4080 upgd conss, 0 impls, 70504 clqs
1.68/1.70	c (round 48, exhaustive) 892 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7379 chg coeffs, 4080 upgd conss, 0 impls, 70502 clqs
1.68/1.74	c (round 49, exhaustive) 894 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7403 chg coeffs, 4080 upgd conss, 0 impls, 70500 clqs
1.68/1.78	c (round 50, exhaustive) 896 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7427 chg coeffs, 4080 upgd conss, 0 impls, 70498 clqs
1.78/1.87	c (round 51, exhaustive) 922 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7455 chg coeffs, 4080 upgd conss, 0 impls, 71876 clqs
1.78/1.87	c (round 52, fast)       922 del vars, 2950 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7455 chg coeffs, 4080 upgd conss, 0 impls, 71876 clqs
1.88/1.99	c (round 53, exhaustive) 948 del vars, 2954 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7488 chg coeffs, 4080 upgd conss, 0 impls, 72693 clqs
1.88/1.99	c (round 54, fast)       948 del vars, 2992 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7488 chg coeffs, 4080 upgd conss, 0 impls, 72693 clqs
1.99/2.07	c (round 55, exhaustive) 974 del vars, 2994 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7529 chg coeffs, 4080 upgd conss, 0 impls, 72921 clqs
1.99/2.07	c (round 56, fast)       974 del vars, 3028 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7529 chg coeffs, 4080 upgd conss, 0 impls, 72921 clqs
2.09/2.15	c (round 57, exhaustive) 1000 del vars, 3028 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7561 chg coeffs, 4080 upgd conss, 0 impls, 72835 clqs
2.09/2.16	c (round 58, fast)       1000 del vars, 3066 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7561 chg coeffs, 4080 upgd conss, 0 impls, 72835 clqs
2.09/2.17	c    (2.2s) running MILP presolver
3.18/3.21	c    (3.2s) MILP presolver (180 rounds): 0 aggregations, 861 fixings, 0 bound changes
3.18/3.23	c (round 59, medium)     1862 del vars, 4564 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7615 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.24	c (round 60, fast)       1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7615 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.24	c (round 61, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7811 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.25	c (round 62, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7981 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.26	c (round 63, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8074 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.26	c (round 64, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8145 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.27	c (round 65, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8193 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.29	c (round 66, exhaustive) 1863 del vars, 4628 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8225 chg coeffs, 4080 upgd conss, 0 impls, 50992 clqs
3.18/3.29	c (round 67, fast)       1863 del vars, 4631 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8225 chg coeffs, 4080 upgd conss, 0 impls, 50992 clqs
3.28/3.36	c (round 68, exhaustive) 1888 del vars, 4631 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8233 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.36	c (round 69, fast)       1888 del vars, 4688 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8233 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.37	c (round 70, medium)     1888 del vars, 4691 del conss, 3438 add conss, 375 chg bounds, 3472 chg sides, 8260 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.39	c (round 71, exhaustive) 1888 del vars, 4696 del conss, 3438 add conss, 375 chg bounds, 3472 chg sides, 8266 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.39	c (round 72, medium)     1888 del vars, 4699 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8278 chg coeffs, 4080 upgd conss, 0 impls, 54713 clqs
3.38/3.46	c (round 73, exhaustive) 1913 del vars, 4699 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8283 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.46	c (round 74, fast)       1913 del vars, 4729 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8283 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.46	c (round 75, medium)     1913 del vars, 4733 del conss, 3460 add conss, 375 chg bounds, 3498 chg sides, 8319 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.48	c (round 76, exhaustive) 1913 del vars, 4737 del conss, 3460 add conss, 375 chg bounds, 3498 chg sides, 8346 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.48	c (round 77, medium)     1913 del vars, 4751 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8378 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.38/3.49	c (round 78, exhaustive) 1913 del vars, 4755 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8392 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.50	c (round 79, exhaustive) 1913 del vars, 4759 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8400 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.51	c (round 80, exhaustive) 1913 del vars, 4763 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8408 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.54	c    (3.5s) sparsify finished: 6/22155 (0.0%) nonzeros canceled - in total 6 canceled nonzeros, 6 changed coefficients, 0 added nonzeros
3.68/3.77	c (round 81, exhaustive) 1938 del vars, 4765 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8421 chg coeffs, 4080 upgd conss, 0 impls, 82680 clqs
3.68/3.77	c (round 82, fast)       1938 del vars, 4810 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8421 chg coeffs, 4080 upgd conss, 0 impls, 82680 clqs
3.68/3.77	c (round 83, medium)     1938 del vars, 4813 del conss, 3484 add conss, 375 chg bounds, 3526 chg sides, 8453 chg coeffs, 4080 upgd conss, 0 impls, 82681 clqs
3.68/3.79	c (round 84, exhaustive) 1938 del vars, 4815 del conss, 3484 add conss, 375 chg bounds, 3526 chg sides, 8489 chg coeffs, 4080 upgd conss, 0 impls, 82681 clqs
3.68/3.79	c (round 85, medium)     1938 del vars, 4834 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8535 chg coeffs, 4080 upgd conss, 0 impls, 82684 clqs
3.78/3.86	c    (3.9s) probing: 1000/2425 (41.2%) - 226 fixings, 0 aggregations, 154389 implications, 0 bound changes
3.88/3.97	c (round 86, exhaustive) 1963 del vars, 4834 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8567 chg coeffs, 4080 upgd conss, 0 impls, 80582 clqs
3.88/3.97	c (round 87, fast)       1963 del vars, 4907 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8640 chg coeffs, 4080 upgd conss, 0 impls, 80596 clqs
3.88/3.97	c (round 88, medium)     1963 del vars, 4910 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8671 chg coeffs, 4080 upgd conss, 0 impls, 80597 clqs
4.17/4.24	c (round 89, exhaustive) 1988 del vars, 4912 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8692 chg coeffs, 4080 upgd conss, 0 impls, 81760 clqs
4.17/4.24	c (round 90, fast)       1988 del vars, 4981 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8704 chg coeffs, 4080 upgd conss, 0 impls, 81760 clqs
4.17/4.25	c (round 91, medium)     1988 del vars, 4981 del conss, 3519 add conss, 375 chg bounds, 3567 chg sides, 8709 chg coeffs, 4080 upgd conss, 0 impls, 81761 clqs
4.17/4.27	c (round 92, exhaustive) 1988 del vars, 4983 del conss, 3519 add conss, 375 chg bounds, 3567 chg sides, 8758 chg coeffs, 4080 upgd conss, 0 impls, 81761 clqs
4.17/4.27	c (round 93, medium)     1988 del vars, 4989 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8807 chg coeffs, 4080 upgd conss, 0 impls, 81768 clqs
4.17/4.28	c (round 94, exhaustive) 1988 del vars, 4994 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8832 chg coeffs, 4080 upgd conss, 0 impls, 81768 clqs
4.27/4.30	c (round 95, exhaustive) 1988 del vars, 5005 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8851 chg coeffs, 4080 upgd conss, 0 impls, 81774 clqs
4.27/4.39	c (round 96, exhaustive) 2013 del vars, 5005 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8868 chg coeffs, 4080 upgd conss, 0 impls, 81631 clqs
4.27/4.39	c (round 97, fast)       2013 del vars, 5081 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8868 chg coeffs, 4080 upgd conss, 0 impls, 81631 clqs
4.37/4.41	c (round 98, exhaustive) 2013 del vars, 5081 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8912 chg coeffs, 4080 upgd conss, 0 impls, 81633 clqs
4.37/4.42	c (round 99, medium)     2013 del vars, 5086 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 8936 chg coeffs, 4080 upgd conss, 0 impls, 81636 clqs
4.37/4.46	c    (4.5s) sparsify finished: 55/20237 (0.3%) nonzeros canceled - in total 61 canceled nonzeros, 61 changed coefficients, 0 added nonzeros
4.37/4.46	c (round 100, exhaustive) 2013 del vars, 5088 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 9006 chg coeffs, 4080 upgd conss, 0 impls, 81636 clqs
4.37/4.46	c (round 101, exhaustive) 2013 del vars, 5089 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 9021 chg coeffs, 4085 upgd conss, 0 impls, 81638 clqs
4.37/4.47	c (round 102, medium)     2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9021 chg coeffs, 4085 upgd conss, 0 impls, 81640 clqs
4.47/4.50	c    (4.5s) sparsify finished: 35/20216 (0.2%) nonzeros canceled - in total 96 canceled nonzeros, 96 changed coefficients, 0 added nonzeros
4.47/4.50	c (round 103, exhaustive) 2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9069 chg coeffs, 4085 upgd conss, 0 impls, 81640 clqs
4.47/4.51	c (round 104, exhaustive) 2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9075 chg coeffs, 4088 upgd conss, 0 impls, 81642 clqs
4.47/4.51	c (round 105, medium)     2013 del vars, 5097 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9075 chg coeffs, 4088 upgd conss, 0 impls, 81645 clqs
4.47/4.58	c (round 106, exhaustive) 2038 del vars, 5097 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9081 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.47/4.58	c (round 107, fast)       2038 del vars, 5176 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9081 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.47/4.58	c (round 108, medium)     2038 del vars, 5181 del conss, 3572 add conss, 375 chg bounds, 3606 chg sides, 9121 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.57/4.61	c (round 109, exhaustive) 2038 del vars, 5195 del conss, 3572 add conss, 375 chg bounds, 3606 chg sides, 9149 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.57/4.61	c (round 110, medium)     2038 del vars, 5202 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9165 chg coeffs, 4088 upgd conss, 0 impls, 79974 clqs
4.57/4.65	c (round 111, exhaustive) 2063 del vars, 5202 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9192 chg coeffs, 4088 upgd conss, 0 impls, 76550 clqs
4.57/4.65	c (round 112, fast)       2063 del vars, 5278 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9192 chg coeffs, 4088 upgd conss, 0 impls, 76550 clqs
4.57/4.66	c    (4.7s) running MILP presolver
4.77/4.82	c    (4.8s) MILP presolver (52 rounds): 0 aggregations, 201 fixings, 0 bound changes
4.77/4.84	c (round 113, medium)     2268 del vars, 5811 del conss, 3636 add conss, 375 chg bounds, 3672 chg sides, 9340 chg coeffs, 4088 upgd conss, 0 impls, 50851 clqs
4.77/4.84	c (round 114, fast)       2271 del vars, 5852 del conss, 3638 add conss, 375 chg bounds, 3672 chg sides, 9340 chg coeffs, 4088 upgd conss, 0 impls, 50851 clqs
4.77/4.84	c (round 115, medium)     2271 del vars, 5861 del conss, 3674 add conss, 375 chg bounds, 3684 chg sides, 9365 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.84	c (round 116, fast)       2271 del vars, 5864 del conss, 3675 add conss, 375 chg bounds, 3684 chg sides, 9365 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.85	c (round 117, exhaustive) 2271 del vars, 5864 del conss, 3675 add conss, 375 chg bounds, 3684 chg sides, 9502 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.86	c (round 118, fast)       2271 del vars, 5866 del conss, 3677 add conss, 375 chg bounds, 3684 chg sides, 9502 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.86	c (round 119, medium)     2271 del vars, 5867 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9530 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.86	c (round 120, fast)       2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9530 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.87	c (round 121, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9629 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.87	c (round 122, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9698 chg coeffs, 4088 upgd conss, 0 impls, 50908 clqs
4.77/4.88	c (round 123, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9764 chg coeffs, 4088 upgd conss, 0 impls, 50927 clqs
4.77/4.89	c (round 124, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9830 chg coeffs, 4088 upgd conss, 0 impls, 50944 clqs
4.77/4.89	c (round 125, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9896 chg coeffs, 4088 upgd conss, 0 impls, 50961 clqs
4.87/4.90	c (round 126, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9961 chg coeffs, 4088 upgd conss, 0 impls, 50978 clqs
4.87/4.91	c (round 127, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9999 chg coeffs, 4088 upgd conss, 0 impls, 50995 clqs
4.87/4.91	c (round 128, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10035 chg coeffs, 4088 upgd conss, 0 impls, 51001 clqs
4.87/4.92	c (round 129, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10062 chg coeffs, 4088 upgd conss, 0 impls, 51007 clqs
4.87/4.93	c (round 130, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10089 chg coeffs, 4088 upgd conss, 0 impls, 51011 clqs
4.87/4.93	c (round 131, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10115 chg coeffs, 4088 upgd conss, 0 impls, 51015 clqs
4.87/4.94	c (round 132, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10138 chg coeffs, 4088 upgd conss, 0 impls, 51019 clqs
4.87/4.95	c (round 133, exhaustive) 2272 del vars, 5929 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10157 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.87/4.95	c (round 134, fast)       2272 del vars, 5933 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10157 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.87/4.95	c (round 135, medium)     2272 del vars, 5935 del conss, 3696 add conss, 375 chg bounds, 3697 chg sides, 10171 chg coeffs, 4088 upgd conss, 0 impls, 50889 clqs
4.87/4.95	c (round 136, fast)       2272 del vars, 5937 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10171 chg coeffs, 4088 upgd conss, 0 impls, 50890 clqs
4.87/4.96	c (round 137, exhaustive) 2274 del vars, 5939 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10180 chg coeffs, 4088 upgd conss, 0 impls, 50530 clqs
4.87/4.96	c (round 138, fast)       2274 del vars, 5945 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10180 chg coeffs, 4088 upgd conss, 0 impls, 50530 clqs
4.87/4.97	c (round 139, exhaustive) 2279 del vars, 5953 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10189 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.97	c (round 140, fast)       2281 del vars, 5966 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10189 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.97	c (round 141, medium)     2281 del vars, 5966 del conss, 3706 add conss, 375 chg bounds, 3705 chg sides, 10205 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.99	c (round 142, exhaustive) 2281 del vars, 5967 del conss, 3706 add conss, 375 chg bounds, 3705 chg sides, 10225 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.99	c (round 143, exhaustive) 2281 del vars, 5969 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10225 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/5.00	c (round 144, exhaustive) 2281 del vars, 5977 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10234 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.98/5.01	c (round 145, exhaustive) 2288 del vars, 5977 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10243 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01	c (round 146, exhaustive) 2288 del vars, 5978 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10285 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01	c (round 147, fast)       2288 del vars, 5979 del conss, 3708 add conss, 375 chg bounds, 3705 chg sides, 10285 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01	c (round 148, medium)     2288 del vars, 6001 del conss, 3787 add conss, 375 chg bounds, 3718 chg sides, 10325 chg coeffs, 4088 upgd conss, 0 impls, 49338 clqs
4.98/5.02	c (round 149, fast)       2288 del vars, 6007 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10325 chg coeffs, 4088 upgd conss, 0 impls, 49339 clqs
4.98/5.03	c (round 150, exhaustive) 2293 del vars, 6007 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10336 chg coeffs, 4088 upgd conss, 0 impls, 49229 clqs
4.98/5.03	c (round 151, fast)       2298 del vars, 6022 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10336 chg coeffs, 4088 upgd conss, 0 impls, 49229 clqs
4.98/5.03	c (round 152, medium)     2298 del vars, 6022 del conss, 3794 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49231 clqs
4.98/5.03	c (round 153, fast)       2298 del vars, 6023 del conss, 3795 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49232 clqs
4.98/5.03	c (round 154, exhaustive) 2298 del vars, 6025 del conss, 3796 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49232 clqs
4.98/5.06	c    (5.1s) probing: 2000/2425 (82.5%) - 363 fixings, 0 aggregations, 227652 implications, 0 bound changes
4.98/5.06	c    (5.1s) probing cycle finished: starting next cycle
4.98/5.06	c (round 155, exhaustive) 2336 del vars, 6025 del conss, 3796 add conss, 375 chg bounds, 3719 chg sides, 10341 chg coeffs, 4088 upgd conss, 0 impls, 46378 clqs
4.98/5.06	c (round 156, fast)       2336 del vars, 6103 del conss, 3799 add conss, 375 chg bounds, 3719 chg sides, 10341 chg coeffs, 4088 upgd conss, 0 impls, 46379 clqs
4.98/5.07	c (round 157, medium)     2336 del vars, 6157 del conss, 3980 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.07	c (round 158, fast)       2336 del vars, 6168 del conss, 3991 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.08	c (round 159, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.09	c (round 160, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10444 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.09	c (round 161, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10470 chg coeffs, 4088 upgd conss, 0 impls, 46589 clqs
4.98/5.10	c (round 162, exhaustive) 2336 del vars, 6198 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10488 chg coeffs, 4088 upgd conss, 0 impls, 46593 clqs
5.08/5.12	c    (5.1s) sparsify finished: 77/11528 (0.7%) nonzeros canceled - in total 173 canceled nonzeros, 497 changed coefficients, 0 added nonzeros
5.08/5.12	c (round 163, exhaustive) 2336 del vars, 6198 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10899 chg coeffs, 4088 upgd conss, 0 impls, 46595 clqs
5.08/5.12	c (round 164, exhaustive) 2336 del vars, 6213 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10903 chg coeffs, 4088 upgd conss, 0 impls, 46595 clqs
5.08/5.13	c (round 165, exhaustive) 2336 del vars, 6213 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10903 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13	c (round 166, medium)     2336 del vars, 6222 del conss, 4018 add conss, 375 chg bounds, 3757 chg sides, 11111 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13	c (round 167, fast)       2336 del vars, 6223 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11111 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13	c (round 168, exhaustive) 2336 del vars, 6231 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11115 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.16	c (round 169, exhaustive) 2469 del vars, 6231 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11115 chg coeffs, 4101 upgd conss, 0 impls, 26608 clqs
5.08/5.17	c (round 170, fast)       2476 del vars, 6563 del conss, 4020 add conss, 375 chg bounds, 3757 chg sides, 11313 chg coeffs, 4101 upgd conss, 0 impls, 26611 clqs
5.08/5.17	c    (5.2s) running MILP presolver
5.08/5.19	c    (5.2s) MILP presolver (10 rounds): 0 aggregations, 24 fixings, 0 bound changes
5.08/5.19	c (round 171, medium)     2500 del vars, 6606 del conss, 4041 add conss, 375 chg bounds, 3777 chg sides, 11403 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.08/5.19	c (round 172, fast)       2500 del vars, 6623 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11403 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.17/5.20	c (round 173, exhaustive) 2500 del vars, 6623 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11422 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.17/5.21	c (round 174, exhaustive) 2503 del vars, 6709 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11430 chg coeffs, 4101 upgd conss, 0 impls, 25664 clqs
5.17/5.21	c (round 175, fast)       2503 del vars, 6718 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11430 chg coeffs, 4101 upgd conss, 0 impls, 25664 clqs
5.17/5.21	c (round 176, exhaustive) 2509 del vars, 6721 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11436 chg coeffs, 4101 upgd conss, 0 impls, 24707 clqs
5.17/5.21	c (round 177, fast)       2509 del vars, 6737 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11436 chg coeffs, 4101 upgd conss, 0 impls, 24707 clqs
5.17/5.21	c (round 178, medium)     2509 del vars, 6737 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11452 chg coeffs, 4101 upgd conss, 0 impls, 24713 clqs
5.17/5.29	c (round 179, exhaustive) 2540 del vars, 6737 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11463 chg coeffs, 4101 upgd conss, 0 impls, 28345 clqs
5.17/5.29	c (round 180, fast)       2540 del vars, 6818 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11493 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.17/5.29	c (round 181, medium)     2540 del vars, 6818 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11499 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.30	c (round 182, exhaustive) 2540 del vars, 6820 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11499 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.30	c (round 183, exhaustive) 2540 del vars, 6820 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11538 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.31	c (round 184, exhaustive) 2541 del vars, 6831 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11545 chg coeffs, 4101 upgd conss, 0 impls, 28343 clqs
5.27/5.31	c (round 185, medium)     2541 del vars, 6832 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11565 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.27/5.32	c (round 186, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11603 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.27/5.32	c (round 187, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11640 chg coeffs, 4101 upgd conss, 0 impls, 28370 clqs
5.27/5.32	c (round 188, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11675 chg coeffs, 4101 upgd conss, 0 impls, 28388 clqs
5.27/5.34	c (round 189, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11688 chg coeffs, 4101 upgd conss, 0 impls, 28405 clqs
5.27/5.34	c (round 190, medium)     2541 del vars, 6833 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11699 chg coeffs, 4101 upgd conss, 0 impls, 28406 clqs
5.27/5.34	c (round 191, exhaustive) 2545 del vars, 6838 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11701 chg coeffs, 4101 upgd conss, 0 impls, 28232 clqs
5.37/5.40	c (round 192, exhaustive) 2570 del vars, 6838 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11703 chg coeffs, 4101 upgd conss, 0 impls, 28489 clqs
5.37/5.40	c (round 193, fast)       2570 del vars, 6893 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11773 chg coeffs, 4101 upgd conss, 0 impls, 28505 clqs
5.37/5.40	c (round 194, medium)     2570 del vars, 6893 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11779 chg coeffs, 4101 upgd conss, 0 impls, 28506 clqs
5.37/5.41	c (round 195, exhaustive) 2570 del vars, 6894 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11816 chg coeffs, 4101 upgd conss, 0 impls, 28506 clqs
5.37/5.42	c (round 196, exhaustive) 2571 del vars, 6912 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11820 chg coeffs, 4101 upgd conss, 0 impls, 28461 clqs
5.37/5.44	c    (5.4s) sparsify finished: 212/7702 (2.8%) nonzeros canceled - in total 385 canceled nonzeros, 805 changed coefficients, 0 added nonzeros
5.37/5.44	c (round 197, exhaustive) 2571 del vars, 6912 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4101 upgd conss, 0 impls, 28461 clqs
5.37/5.44	c (round 198, fast)       2571 del vars, 6917 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4101 upgd conss, 0 impls, 28476 clqs
5.37/5.44	c (round 199, exhaustive) 2571 del vars, 6918 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4140 upgd conss, 0 impls, 28476 clqs
5.37/5.44	c (round 200, medium)     2571 del vars, 6931 del conss, 4108 add conss, 375 chg bounds, 3820 chg sides, 12203 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44	c (round 201, fast)       2571 del vars, 6943 del conss, 4119 add conss, 375 chg bounds, 3820 chg sides, 12203 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44	c (round 202, exhaustive) 2571 del vars, 6953 del conss, 4119 add conss, 375 chg bounds, 3820 chg sides, 12208 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44	c (round 203, medium)     2571 del vars, 6953 del conss, 4121 add conss, 375 chg bounds, 3822 chg sides, 12216 chg coeffs, 4140 upgd conss, 0 impls, 28566 clqs
5.37/5.44	c (round 204, fast)       2571 del vars, 6955 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12216 chg coeffs, 4140 upgd conss, 0 impls, 28567 clqs
5.37/5.45	c (round 205, exhaustive) 2571 del vars, 6957 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12218 chg coeffs, 4140 upgd conss, 0 impls, 28567 clqs
5.37/5.48	c (round 206, exhaustive) 2596 del vars, 6957 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12218 chg coeffs, 4140 upgd conss, 0 impls, 28013 clqs
5.37/5.48	c (round 207, fast)       2596 del vars, 7017 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12285 chg coeffs, 4140 upgd conss, 0 impls, 28023 clqs
5.37/5.49	c (round 208, exhaustive) 2596 del vars, 7031 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12290 chg coeffs, 4140 upgd conss, 0 impls, 28023 clqs
5.47/5.54	c (round 209, exhaustive) 2628 del vars, 7031 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12290 chg coeffs, 4140 upgd conss, 0 impls, 26163 clqs
5.47/5.54	c (round 210, fast)       2628 del vars, 7113 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12334 chg coeffs, 4140 upgd conss, 0 impls, 26168 clqs
5.47/5.54	c    (5.5s) running MILP presolver
5.47/5.55	c    (5.6s) MILP presolver (7 rounds): 0 aggregations, 7 fixings, 0 bound changes
5.47/5.56	c (round 211, medium)     2635 del vars, 7130 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12334 chg coeffs, 4140 upgd conss, 0 impls, 25282 clqs
5.47/5.56	c (round 212, exhaustive) 2635 del vars, 7144 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12335 chg coeffs, 4140 upgd conss, 0 impls, 25282 clqs
5.57/5.62	c (round 213, exhaustive) 2662 del vars, 7144 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12336 chg coeffs, 4140 upgd conss, 0 impls, 26816 clqs
5.57/5.62	c (round 214, fast)       2664 del vars, 7217 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12357 chg coeffs, 4140 upgd conss, 0 impls, 26821 clqs
5.57/5.62	c (round 215, exhaustive) 2664 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12364 chg coeffs, 4140 upgd conss, 0 impls, 26821 clqs
5.57/5.63	c (round 216, exhaustive) 2664 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12375 chg coeffs, 4140 upgd conss, 0 impls, 26822 clqs
5.57/5.66	c (round 217, exhaustive) 2689 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12378 chg coeffs, 4140 upgd conss, 0 impls, 26065 clqs
5.57/5.67	c (round 218, fast)       2689 del vars, 7289 del conss, 4126 add conss, 375 chg bounds, 3822 chg sides, 12378 chg coeffs, 4140 upgd conss, 0 impls, 26065 clqs
5.57/5.67	c (round 219, medium)     2689 del vars, 7289 del conss, 4135 add conss, 375 chg bounds, 3831 chg sides, 12397 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.67	c (round 220, exhaustive) 2689 del vars, 7292 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12397 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.67	c (round 221, exhaustive) 2689 del vars, 7292 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12409 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.68	c (round 222, exhaustive) 2689 del vars, 7307 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12414 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.70	c    (5.7s) probing cycle finished: starting next cycle
5.67/5.70	c (round 223, exhaustive) 2728 del vars, 7307 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12416 chg coeffs, 4140 upgd conss, 0 impls, 23232 clqs
5.67/5.70	c (round 224, fast)       2729 del vars, 7429 del conss, 4138 add conss, 375 chg bounds, 3831 chg sides, 12450 chg coeffs, 4140 upgd conss, 0 impls, 23192 clqs
5.67/5.70	c    (5.7s) running MILP presolver
5.67/5.71	c    (5.7s) MILP presolver (4 rounds): 2 aggregations, 0 fixings, 0 bound changes
5.67/5.71	c (round 225, medium)     2731 del vars, 7435 del conss, 4152 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22968 clqs
5.67/5.71	c (round 226, fast)       2731 del vars, 7437 del conss, 4153 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.71	c (round 227, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.71	c (round 228, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12507 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.72	c (round 229, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12515 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.72	c (round 230, exhaustive) 2731 del vars, 7466 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12521 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.73	c (round 231, exhaustive) 2766 del vars, 7466 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12524 chg coeffs, 4140 upgd conss, 0 impls, 21152 clqs
5.67/5.73	c (round 232, fast)       2767 del vars, 7562 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12592 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.74	c (round 233, exhaustive) 2767 del vars, 7586 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12596 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.74	c (round 234, exhaustive) 2767 del vars, 7586 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.75	c (round 235, exhaustive) 2767 del vars, 7590 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.75	c (round 236, exhaustive) 2770 del vars, 7590 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 20980 clqs
5.67/5.75	c (round 237, fast)       2771 del vars, 7596 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12604 chg coeffs, 4140 upgd conss, 0 impls, 20980 clqs
5.67/5.75	c (round 238, fast)       2772 del vars, 7599 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12604 chg coeffs, 4140 upgd conss, 0 impls, 20937 clqs
5.67/5.75	c (round 239, medium)     2773 del vars, 7599 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 20887 clqs
5.67/5.75	c (round 240, exhaustive) 2773 del vars, 7600 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 20887 clqs
5.67/5.79	c (round 241, exhaustive) 2799 del vars, 7600 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 19326 clqs
5.67/5.79	c (round 242, fast)       2799 del vars, 7659 del conss, 4158 add conss, 375 chg bounds, 3846 chg sides, 12662 chg coeffs, 4140 upgd conss, 0 impls, 19341 clqs
5.67/5.79	c (round 243, medium)     2799 del vars, 7662 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12694 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.67/5.79	c (round 244, fast)       2799 del vars, 7664 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12694 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.67/5.79	c (round 245, exhaustive) 2799 del vars, 7664 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12702 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.80	c (round 246, exhaustive) 2799 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12702 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.80	c (round 247, exhaustive) 2799 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12712 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.83	c (round 248, exhaustive) 2827 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12712 chg coeffs, 4140 upgd conss, 0 impls, 16879 clqs
5.77/5.83	c (round 249, fast)       2831 del vars, 7740 del conss, 4167 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16831 clqs
5.77/5.83	c    (5.8s) running MILP presolver
5.77/5.83	c    (5.8s) MILP presolver (4 rounds): 1 aggregations, 0 fixings, 0 bound changes
5.77/5.83	c (round 250, medium)     2832 del vars, 7742 del conss, 4167 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84	c (round 251, exhaustive) 2832 del vars, 7745 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84	c (round 252, exhaustive) 2832 del vars, 7745 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12780 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84	c (round 253, exhaustive) 2832 del vars, 7751 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12780 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.85	c (round 254, exhaustive) 2832 del vars, 7751 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.85	c (round 255, exhaustive) 2832 del vars, 7753 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 16656 clqs
5.77/5.89	c (round 256, exhaustive) 2860 del vars, 7753 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 15422 clqs
5.77/5.89	c (round 257, fast)       2863 del vars, 7809 del conss, 4169 add conss, 375 chg bounds, 3853 chg sides, 12856 chg coeffs, 4140 upgd conss, 0 impls, 15429 clqs
5.77/5.89	c presolving (258 rounds: 258 fast, 187 medium, 136 exhaustive):
5.77/5.89	c  2906 deleted vars, 7882 deleted constraints, 4177 added constraints, 375 tightened bounds, 0 added holes, 3861 changed sides, 12937 changed coefficients
5.77/5.89	c  0 implications, 15439 cliques
5.77/5.89	c presolving detected infeasibility
5.77/5.89	c Presolving Time: 5.85
5.77/5.89	c 
5.77/5.89	c SCIP Status        : problem is solved [infeasible]
5.77/5.89	c Solving Time (sec) : 5.89
5.77/5.89	c Solving Nodes      : 0
5.77/5.89	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
5.77/5.89	c Dual Bound         : +1.00000000000000e+20
5.77/5.89	c Gap                : 0.00 %
5.77/5.89	c - non default parameters ----------------------------------------------------------------------
5.77/5.89	c # SCIP version 10.0.0
5.77/5.89	c 
5.77/5.89	c # maximal time in seconds to run
5.77/5.89	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.77/5.89	c limits/time = 3596.99701
5.77/5.89	c 
5.77/5.89	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.77/5.89	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.77/5.89	c limits/memory = 27900
5.77/5.89	c 
5.77/5.89	c # belongs reading time to solving time?
5.77/5.89	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.77/5.89	c timing/reading = TRUE
5.77/5.89	c 
5.77/5.89	c -----------------------------------------------------------------------------------------------
5.77/5.89	c start solving
5.77/5.89	s UNSATISFIABLE
5.77/5.89	c SCIP Status        : problem is solved [infeasible]
5.77/5.89	c Total Time         :       5.89
5.77/5.89	c   solving          :       5.89
5.77/5.89	c   presolving       :       5.85 (included in solving)
5.77/5.89	c   reading          :       0.03 (included in solving)
5.77/5.89	c   copying          :       0.00 (0 times copied the problem)
5.77/5.89	c Original Problem   :
5.77/5.89	c   Problem name     : HOME/instance-4459469-1721898459.opb
5.77/5.89	c   Variables        : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
5.77/5.89	c   Constraints      : 4687 initial, 4687 maximal
5.77/5.89	c   Objective        : minimize, 33 non-zeros (abs.min = 1, abs.max = 33)
5.77/5.89	c Presolved Problem  :
5.77/5.89	c   Problem name     : t_HOME/instance-4459469-1721898459.opb
5.77/5.89	c   Variables        : 378 (378 binary, 0 integer, 0 implicit integer, 0 continuous)
5.77/5.89	c   Constraints      : 933 initial, 933 maximal
5.77/5.89	c   Objective        : minimize, 2 non-zeros (abs.min = 1, abs.max = 2)
5.77/5.89	c   Nonzeros         : 3166 constraint, 31907 clique table
5.77/5.89	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
5.77/5.89	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   domcol           :       0.23       0.00     37         23          0          0          0          0          0          0          0          0
5.77/5.89	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   dualsparsify     :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   gateextraction   :       0.14       0.00    135          0          0          0          0          0         23          7          0          0
5.77/5.89	c   implics          :       0.00       0.00    186          0          0          0          0          0          0          0          0          0
5.77/5.89	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   milp             :       1.54       0.00      7       1204          3          0          0          0          0          0          0          0
5.77/5.89	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   sparsify         :       0.17       0.00     13          0          0          0          0          0          0          0          0        805
5.77/5.89	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   trivial          :       0.01       0.00    258         76          0          0          0          0          0          0          0          0
5.77/5.89	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   dualfix          :       0.00       0.00    258          2          0          0          0          0          0          0          0          0
5.77/5.89	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   probing          :       1.85       0.00     27        815         13          0          0          0          0          0          0          0
5.77/5.89	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   symmetry         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   vbounds          :       0.02       0.00      7          1          0          0          0          0          0          0          0          0
5.77/5.89	c   knapsack         :       0.73       0.00    558         20          0          0          0          0       2178       4170        843       8185
5.77/5.89	c   setppc           :       0.58       0.00    520        289          7          0          0          0       4495          0          1          1
5.77/5.89	c   and              :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
5.77/5.89	c   linear           :       0.09       0.01     96        375          2          0        375          0        615          0       3017       3017
5.77/5.89	c   logicor          :       0.38       0.00    475          5          0          0          0          0        571          0          0        929
5.77/5.89	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   components       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
5.77/5.89	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
5.77/5.89	c   benderslp        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
5.77/5.89	c   integral         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
5.77/5.89	c   knapsack         :         14         14          0      14137          0          0          0          0       4886        103          0          0          0          0          0
5.77/5.89	c   setppc           :        324        324          0      14034          0          0          0          0       4973        380          0          0          0          0          0
5.77/5.89	c   and              :          1          1          0        498          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   linear           :          1          1          0       2862          0          0          0          3         11          0          0          0          0          0          0
5.77/5.89	c   logicor          :        593        593          0      11858          0          0          0          0        388          0          0          0          0          0          0
5.77/5.89	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
5.77/5.89	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   knapsack         :       0.31       0.00       0.00       0.30       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   setppc           :       0.31       0.00       0.00       0.31       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   and              :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   linear           :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   logicor          :       0.10       0.00       0.00       0.10       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
5.77/5.89	c   dualfix          :          0          0          0          0
5.77/5.89	c   genvbounds       :          0          0          0          0
5.77/5.89	c   nlobbt           :          0          0          0          0
5.77/5.89	c   obbt             :          0          0          0          0
5.77/5.89	c   probing          :          0          0          0          0
5.77/5.89	c   pseudoobj        :          0          0          0          0
5.77/5.89	c   redcost          :          0          0          0          0
5.77/5.89	c   rootredcost      :          0          0          0          0
5.77/5.89	c   symmetry         :          0          0          0          0
5.77/5.89	c   vbounds          :          0          0          0          0
5.77/5.89	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
5.77/5.89	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   probing          :       1.85       0.00       1.85       0.00       0.00       0.00
5.77/5.89	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   symmetry         :       0.00       0.00       0.00       0.00       0.00       0.00
5.77/5.89	c   vbounds          :       0.03       0.00       0.02       0.00       0.00       0.00
5.77/5.89	c Symmetry           :
5.77/5.89	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
5.77/5.89	c   orbital reduction:          0 reductions applied,          0 cutoffs
5.77/5.89	c   lexicographic red:          0 reductions applied,          0 cutoffs
5.77/5.89	c   shadow tree time :       0.00 s
5.77/5.89	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [--,--])
5.77/5.89	c   propagation      :       0.01        483          0          -          0        0.0          0        0.0          -          -          -
5.77/5.89	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
5.77/5.89	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
5.77/5.89	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
5.77/5.89	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
5.77/5.89	c   applied globally :       0.00          -          -          0          0        0.0          -          -          0          -          -
5.77/5.89	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
5.77/5.89	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
5.77/5.89	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
5.77/5.89	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
5.77/5.89	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
5.77/5.89	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
5.77/5.89	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
5.77/5.89	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
5.77/5.89	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
5.77/5.89	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
5.77/5.89	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c Pricers            :   ExecTime  SetupTime      Calls       Vars
5.77/5.89	c   problem variables:       0.00          -          0          0
5.77/5.89	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
5.77/5.89	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
5.77/5.89	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
5.77/5.89	c   LP solutions     :       0.00          -          -          0          0
5.77/5.89	c   relax solutions  :       0.00          -          -          0          0
5.77/5.89	c   pseudo solutions :       0.00          -          -          0          0
5.77/5.89	c   strong branching :       0.00          -          -          0          0
5.77/5.89	c   actconsdiving    :       0.00       0.00          0          0          0
5.77/5.89	c   adaptivediving   :       0.00       0.00          0          0          0
5.77/5.89	c   alns             :       0.00       0.00          0          0          0
5.77/5.89	c   bound            :       0.00       0.00          0          0          0
5.77/5.89	c   clique           :       0.00       0.00          0          0          0
5.77/5.89	c   coefdiving       :       0.00       0.00          0          0          0
5.77/5.89	c   completesol      :       0.00       0.00          0          0          0
5.77/5.89	c   conflictdiving   :       0.00       0.00          0          0          0
5.77/5.89	c   crossover        :       0.00       0.00          0          0          0
5.77/5.89	c   dins             :       0.00       0.00          0          0          0
5.77/5.89	c   distributiondivin:       0.00       0.00          0          0          0
5.77/5.89	c   dps              :       0.00       0.00          0          0          0
5.77/5.89	c   dualval          :       0.00       0.00          0          0          0
5.77/5.89	c   farkasdiving     :       0.00       0.00          0          0          0
5.77/5.89	c   feasjump         :       0.00       0.00          0          0          0
5.77/5.89	c   feaspump         :       0.00       0.00          0          0          0
5.77/5.89	c   fixandinfer      :       0.00       0.00          0          0          0
5.77/5.89	c   fracdiving       :       0.00       0.00          0          0          0
5.77/5.89	c   gins             :       0.00       0.00          0          0          0
5.77/5.89	c   guideddiving     :       0.00       0.00          0          0          0
5.77/5.89	c   indcoefdiving    :       0.00       0.00          0          0          0
5.77/5.89	c   indicator        :       0.00       0.00          0          0          0
5.77/5.89	c   indicatordiving  :       0.00       0.00          0          0          0
5.77/5.89	c   indoneopt        :       0.00       0.00          0          0          0
5.77/5.89	c   indrounding      :       0.00       0.00          0          0          0
5.77/5.89	c   indtwoopt        :       0.00       0.00          0          0          0
5.77/5.89	c   intdiving        :       0.00       0.00          0          0          0
5.77/5.89	c   intshifting      :       0.00       0.00          0          0          0
5.77/5.89	c   linesearchdiving :       0.00       0.00          0          0          0
5.77/5.89	c   localbranching   :       0.00       0.00          0          0          0
5.77/5.89	c   locks            :       0.00       0.00          0          0          0
5.77/5.89	c   lpface           :       0.00       0.00          0          0          0
5.77/5.89	c   mpec             :       0.00       0.00          0          0          0
5.77/5.89	c   multistart       :       0.00       0.00          0          0          0
5.77/5.89	c   mutation         :       0.00       0.00          0          0          0
5.77/5.89	c   nlpdiving        :       0.00       0.00          0          0          0
5.77/5.89	c   objpscostdiving  :       0.00       0.00          0          0          0
5.77/5.89	c   octane           :       0.00       0.00          0          0          0
5.77/5.89	c   ofins            :       0.00       0.00          0          0          0
5.77/5.89	c   oneopt           :       0.00       0.00          0          0          0
5.77/5.89	c   padm             :       0.00       0.00          0          0          0
5.77/5.89	c   proximity        :       0.00       0.00          0          0          0
5.77/5.89	c   pscostdiving     :       0.00       0.00          0          0          0
5.77/5.89	c   randrounding     :       0.00       0.00          0          0          0
5.77/5.89	c   rens             :       0.00       0.00          0          0          0
5.77/5.89	c   reoptsols        :       0.00       0.00          0          0          0
5.77/5.89	c   repair           :       0.00       0.00          0          0          0
5.77/5.89	c   rins             :       0.00       0.00          0          0          0
5.77/5.89	c   rootsoldiving    :       0.00       0.00          0          0          0
5.77/5.89	c   rounding         :       0.00       0.00          0          0          0
5.77/5.89	c   scheduler        :       0.00       0.00          0          0          0
5.77/5.89	c   shiftandpropagate:       0.00       0.00          0          0          0
5.77/5.89	c   shifting         :       0.00       0.00          0          0          0
5.77/5.89	c   simplerounding   :       0.00       0.00          0          0          0
5.77/5.89	c   smallcard        :       0.00       0.00          0          0          0
5.77/5.89	c   subnlp           :       0.00       0.00          0          0          0
5.77/5.89	c   trivial          :       0.00       0.00          1          0          0
5.77/5.89	c   trivialnegation  :       0.00       0.00          0          0          0
5.77/5.89	c   trustregion      :       0.00       0.00          0          0          0
5.77/5.89	c   trysol           :       0.00       0.00          0          0          0
5.77/5.89	c   twoopt           :       0.00       0.00          0          0          0
5.77/5.89	c   undercover       :       0.00       0.00          0          0          0
5.77/5.89	c   vbounds          :       0.00       0.00          0          0          0
5.77/5.89	c   veclendiving     :       0.00       0.00          0          0          0
5.77/5.89	c   zeroobj          :       0.00       0.00          0          0          0
5.77/5.89	c   zirounding       :       0.00       0.00          0          0          0
5.77/5.89	c   other solutions  :          -          -          -          0          -
5.77/5.89	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
5.77/5.89	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
5.77/5.89	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
5.77/5.89	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
5.77/5.89	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
5.77/5.89	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
5.77/5.89	c   lex dual LP      :       0.00          0          0       0.00          -
5.77/5.89	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
5.77/5.89	c   resolve instable :       0.00          0          0       0.00          -
5.77/5.89	c   diving/probing LP:       0.00          0          0       0.00          -
5.77/5.89	c   strong branching :       0.00          0          0       0.00          -          -          -          0
5.77/5.89	c     (at root node) :          -          0          0       0.00          -
5.77/5.89	c   conflict analysis:       0.00          0          0       0.00          -
5.77/5.89	c B&B Tree           :
5.77/5.89	c   number of runs   :          1
5.77/5.89	c   nodes            :          0 (0 internal, 0 leaves)
5.77/5.89	c   feasible leaves  :          0
5.77/5.89	c   infeas. leaves   :          0
5.77/5.89	c   objective leaves :          0
5.77/5.89	c   nodes (total)    :          0 (0 internal, 0 leaves)
5.77/5.89	c   nodes left       :          1
5.77/5.89	c   max depth        :         -1
5.77/5.89	c   max depth (total):         -1
5.77/5.89	c   backtracks       :          0 (0.0%)
5.77/5.89	c   early backtracks :          0 (0.0%)
5.77/5.89	c   nodes exc. ref.  :          0 (0.0%)
5.77/5.89	c   delayed cutoffs  :          0
5.77/5.89	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
5.77/5.89	c   avg switch length:       0.00
5.77/5.89	c   switching time   :       0.00
5.77/5.89	c Root Node          :
5.77/5.89	c   First LP value   :          -
5.77/5.89	c   First LP Iters   :          0
5.77/5.89	c   First LP Time    :       0.00
5.77/5.89	c   Final Dual Bound :          -
5.77/5.89	c   Final Root Iters :          0
5.77/5.89	c   Root LP Estimate :                     -
5.77/5.89	c Solution           :
5.77/5.89	c   Solutions found  :          0 (0 improvements)
5.77/5.89	c   Primal Bound     : infeasible
5.77/5.89	c   Dual Bound       :          -
5.77/5.89	c   Gap              :       0.00 %
5.77/5.89	c Integrals          :      Total       Avg%
5.77/5.89	c   primal-dual      :          -          - (problem infeasible)
5.77/5.89	c   primal-ref       :          -          - (problem infeasible)
5.77/5.89	c   dual-ref         :          -          - (problem infeasible)
5.87/5.91	c Time complete: 5.89093.

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=234153, runsolver pid=234150

[startup+0.100713 s]*
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122340240/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=85796 memory=46476 CPUtime=0.09 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 8287 0 0 0 8 1 0 0 20 0 1 0 26369297 87855104 11619 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 21449 11619 3666 3540 0 9706 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85796 KiB
Current children cumulated memory: 46476 KiB

[startup+0.205874 s]*
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122328504/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=97204 memory=58068 CPUtime=0.2 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 12589 0 0 0 18 2 0 0 20 0 1 0 26369297 99536896 14517 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 24301 14517 3745 3540 0 12558 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 58068 KiB

[startup+0.305745 s]*
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122325704/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=97204 memory=58068 CPUtime=0.3 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 12589 0 0 0 28 2 0 0 20 0 1 0 26369297 99536896 14517 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 24301 14517 3745 3540 0 12558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 58068 KiB

[startup+0.70019 s]
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122323400/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=98244 memory=59156 CPUtime=0.68 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 13771 0 0 0 66 2 0 0 20 0 1 0 26369297 100601856 14789 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 24561 14789 3825 3540 0 12818 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98244 KiB
Current children cumulated memory: 59156 KiB

[startup+1.50022 s]
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122312364/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=111400 memory=71300 CPUtime=1.48 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 16776 0 0 0 145 3 0 0 20 0 1 0 26369297 114073600 17825 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 27850 17825 3825 3540 0 16107 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111400 KiB
Current children cumulated memory: 71300 KiB

[startup+3.1057 s]
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122292020/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=3.08 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18835 0 0 0 305 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

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

# cumulated CPU time of all completed processes:  user=5.85792 s, system=0.037868 s

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

[startup+3.20025 s]
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122292020/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=3.18 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18835 0 0 0 315 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

[startup+4.8002 s]
/proc/loadavg: 0.91 1.79 2.96 5/263 234154
/proc/meminfo: memFree=122291728/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=4.77 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18854 0 0 0 474 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

[startup+5.6002 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234154
/proc/meminfo: memFree=122291712/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=5.57 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18854 0 0 0 554 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

[startup+5.80018 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234154
/proc/meminfo: memFree=122291712/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=5.77 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18854 0 0 0 574 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

[startup+5.90017 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234154
/proc/meminfo: memFree=122291712/131524600 swapFree=131054712/131071996
[pid=234153] ppid=234150 vsize=119608 memory=79476 CPUtime=5.87 cores=5,7
/proc/234153/stat : 234153 (pbscip) R 234150 234153 234035 0 -1 4194304 18854 0 0 0 584 3 0 0 20 0 1 0 26369297 122478592 19869 134679101440 4194304 18693293 140737021592752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39829504 140737021600772 140737021600871 140737021600871 140737021607886 0
/proc/234153/statm: 29902 19869 3825 3540 0 18159 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 119608 KiB
Current children cumulated memory: 79476 KiB

Child status: 0

Real time (s): 5.91777
CPU time (s): 5.89579
CPU user time (s): 5.85792
CPU system time (s): 0.037868
CPU usage (%): 99.6285
Max. virtual memory (cumulated for all children) (KiB): 119608
Max. memory (cumulated for all children) (KiB): 79476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.85792
system time used= 0.037868
maximum resident set size= 79476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18862
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= 17


# summary of solver processes directly reported to runsolver:
#   pid: 234153
#   total CPU time (s): 5.89579
#   total CPU user time (s): 5.85792
#   total CPU system time (s): 0.037868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025871 second user time and 0.065674 second system time

The end

Launcher Data

Begin job on nodeC028 at 2024-07-25 11:07:39
IDJOB=4459469
IDBENCH=178813
IDSOLVER=3059
FILE ID=nodeC028/4459469-1721898459
RUNJOBID= nodeC028-1721898458-234048
SLURM_JOB_ID= 8089360
Free space on /tmp= 890004 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1745726.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-4459469-1721898459/watcher-4459469-1721898459 -o /tmp/evaluation-result-4459469-1721898459/solver-4459469-1721898459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721898458-234048 --watchdog 3760  pbscip -f HOME/instance-4459469-1721898459.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 57846165ce4f1efeb40b7c60e97860ee
RANDOM SEED=328729609

nodeC028.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		: 3673.859
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.46
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		: 3674.047
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
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.044
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.46
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.368
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
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		: 3673.947
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.46
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		: 3668.495
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122399084 kB
MemAvailable:   129294204 kB
Buffers:          309388 kB
Cached:          7371352 kB
SwapCached:          284 kB
Active:          2351640 kB
Inactive:        6092388 kB
Active(anon):       4468 kB
Inactive(anon):   810752 kB
Active(file):    2347172 kB
Inactive(file):  5281636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054712 kB
Dirty:             75900 kB
Writeback:            64 kB
AnonPages:        762612 kB
Mapped:           128812 kB
Shmem:             51932 kB
KReclaimable:     212268 kB
Slab:             333616 kB
SReclaimable:     212268 kB
SUnreclaim:       121348 kB
KernelStack:        4192 kB
PageTables:        10992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1152092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC028 at 2024-07-25 11:07:45