Trace number 4522333

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-NaPS 1.00a1UNSAT 18.3507 18.4355

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
MD5SUMd0e5186d4a85a790e67c4702cfcdde79
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 benchmark2.41322
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3772
Total number of constraints5527
Number of constraints which are clauses1716
Number of constraints which are cardinality constraints (but not clauses)425
Number of constraints which are nor clauses,nor cardinality constraints3386
Minimum length of a constraint1
Maximum length of a constraint470
Number of terms in the objective function 39
Biggest coefficient in the objective function 39
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 780
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1998
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 13358
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 

4.13/4.25	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4522333-1751579326.opb
4.13/4.25	c Solving mode: optimization
4.13/4.25	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
4.13/4.25	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
4.13/4.25	c original problem has 3772 variables (3772 bin, 0 int, 0 impl, 0 cont) and 5527 constraints
4.13/4.25	c presolving:
4.13/4.25	c (round 1, fast)       166 del vars, 10 del conss, 0 add conss, 146 chg bounds, 3362 chg sides, 3362 chg coeffs, 0 upgd conss, 0 impls, 2977 clqs
4.13/4.25	c (round 2, fast)       252 del vars, 150 del conss, 0 add conss, 196 chg bounds, 3571 chg sides, 3565 chg coeffs, 0 upgd conss, 0 impls, 2868 clqs
4.13/4.25	c (round 3, fast)       340 del vars, 290 del conss, 0 add conss, 262 chg bounds, 3730 chg sides, 3724 chg coeffs, 0 upgd conss, 0 impls, 2809 clqs
4.13/4.25	c (round 4, fast)       405 del vars, 391 del conss, 0 add conss, 315 chg bounds, 3878 chg sides, 3872 chg coeffs, 0 upgd conss, 0 impls, 2729 clqs
4.13/4.25	c (round 5, fast)       446 del vars, 461 del conss, 0 add conss, 352 chg bounds, 4020 chg sides, 4014 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
4.13/4.25	c (round 6, fast)       463 del vars, 489 del conss, 0 add conss, 369 chg bounds, 4145 chg sides, 4139 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
4.13/4.25	c (round 7, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4244 chg sides, 4238 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
4.13/4.25	c (round 8, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
4.13/4.25	c (round 9, exhaustive) 469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 5031 upgd conss, 0 impls, 2673 clqs
4.13/4.25	c (round 10, medium)     469 del vars, 2037 del conss, 4082 add conss, 375 chg bounds, 4466 chg sides, 8658 chg coeffs, 5031 upgd conss, 0 impls, 6727 clqs
4.13/4.25	c (round 11, fast)       469 del vars, 2046 del conss, 4085 add conss, 375 chg bounds, 4466 chg sides, 8658 chg coeffs, 5031 upgd conss, 0 impls, 6727 clqs
4.13/4.25	c (round 12, exhaustive) 568 del vars, 2226 del conss, 4085 add conss, 375 chg bounds, 4466 chg sides, 8852 chg coeffs, 5031 upgd conss, 0 impls, 6288 clqs
4.13/4.25	c (round 13, fast)       619 del vars, 2530 del conss, 4085 add conss, 375 chg bounds, 4467 chg sides, 8904 chg coeffs, 5031 upgd conss, 0 impls, 6294 clqs
4.13/4.25	c (round 14, medium)     619 del vars, 2642 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 8904 chg coeffs, 5031 upgd conss, 0 impls, 6658 clqs
4.13/4.25	c (round 15, exhaustive) 662 del vars, 2680 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 8973 chg coeffs, 5031 upgd conss, 0 impls, 6461 clqs
4.13/4.25	c (round 16, fast)       677 del vars, 2809 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 8993 chg coeffs, 5031 upgd conss, 0 impls, 6463 clqs
4.13/4.25	c (round 17, exhaustive) 698 del vars, 2812 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9059 chg coeffs, 5031 upgd conss, 0 impls, 6396 clqs
4.13/4.25	c (round 18, fast)       698 del vars, 2876 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9059 chg coeffs, 5031 upgd conss, 0 impls, 6396 clqs
4.13/4.25	c (round 19, exhaustive) 709 del vars, 2878 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9122 chg coeffs, 5031 upgd conss, 0 impls, 6360 clqs
4.13/4.25	c (round 20, fast)       709 del vars, 2912 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9122 chg coeffs, 5031 upgd conss, 0 impls, 6360 clqs
4.13/4.25	c (round 21, exhaustive) 719 del vars, 2913 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9182 chg coeffs, 5031 upgd conss, 0 impls, 6328 clqs
4.13/4.25	c (round 22, fast)       719 del vars, 2944 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9182 chg coeffs, 5031 upgd conss, 0 impls, 6328 clqs
4.13/4.25	c (round 23, exhaustive) 833 del vars, 2944 del conss, 4420 add conss, 375 chg bounds, 4467 chg sides, 9244 chg coeffs, 5031 upgd conss, 0 impls, 60673 clqs
4.13/4.25	c (round 24, fast)       833 del vars, 3110 del conss, 4459 add conss, 375 chg bounds, 4467 chg sides, 9264 chg coeffs, 5031 upgd conss, 0 impls, 60717 clqs
4.13/4.25	c (round 25, medium)     834 del vars, 3439 del conss, 5442 add conss, 375 chg bounds, 4475 chg sides, 9328 chg coeffs, 5031 upgd conss, 0 impls, 61709 clqs
4.13/4.25	c (round 26, exhaustive) 834 del vars, 3446 del conss, 5442 add conss, 375 chg bounds, 4475 chg sides, 9328 chg coeffs, 5031 upgd conss, 0 impls, 61709 clqs
4.13/4.25	c (round 27, exhaustive) 872 del vars, 3447 del conss, 5442 add conss, 375 chg bounds, 4475 chg sides, 9417 chg coeffs, 5031 upgd conss, 0 impls, 91686 clqs
4.13/4.25	c (round 28, fast)       872 del vars, 3607 del conss, 5488 add conss, 375 chg bounds, 4485 chg sides, 9529 chg coeffs, 5031 upgd conss, 0 impls, 91744 clqs
4.13/4.25	c (round 29, medium)     872 del vars, 3635 del conss, 5549 add conss, 375 chg bounds, 4546 chg sides, 9712 chg coeffs, 5031 upgd conss, 0 impls, 91804 clqs
4.13/4.25	c (round 30, fast)       872 del vars, 3669 del conss, 5549 add conss, 375 chg bounds, 4546 chg sides, 9712 chg coeffs, 5031 upgd conss, 0 impls, 91804 clqs
4.13/4.25	c (round 31, exhaustive) 876 del vars, 3670 del conss, 5549 add conss, 375 chg bounds, 4546 chg sides, 9742 chg coeffs, 5031 upgd conss, 0 impls, 91799 clqs
4.13/4.25	c (round 32, medium)     876 del vars, 3671 del conss, 5553 add conss, 375 chg bounds, 4550 chg sides, 9754 chg coeffs, 5031 upgd conss, 0 impls, 91803 clqs
4.13/4.25	c (round 33, exhaustive) 927 del vars, 3675 del conss, 5553 add conss, 375 chg bounds, 4550 chg sides, 9781 chg coeffs, 5031 upgd conss, 0 impls, 90488 clqs
4.13/4.25	c (round 34, fast)       927 del vars, 3840 del conss, 5563 add conss, 375 chg bounds, 4560 chg sides, 9838 chg coeffs, 5031 upgd conss, 0 impls, 90497 clqs
4.13/4.25	c (round 35, medium)     927 del vars, 3840 del conss, 5566 add conss, 375 chg bounds, 4563 chg sides, 9847 chg coeffs, 5031 upgd conss, 0 impls, 90500 clqs
4.13/4.25	c    (3.1s) sparsify aborted: 1116/80926 (1.4%) nonzeros canceled - in total 1116 canceled nonzeros, 2268 changed coefficients, 0 added nonzeros
4.13/4.25	c (round 36, exhaustive) 927 del vars, 3843 del conss, 5566 add conss, 375 chg bounds, 4563 chg sides, 12137 chg coeffs, 5031 upgd conss, 0 impls, 90500 clqs
4.13/4.25	c (round 37, fast)       963 del vars, 3847 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 12137 chg coeffs, 5031 upgd conss, 0 impls, 90109 clqs
4.13/4.25	c (round 38, fast)       963 del vars, 3955 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 12137 chg coeffs, 5031 upgd conss, 0 impls, 90109 clqs
4.13/4.25	c (round 39, exhaustive) 967 del vars, 3959 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 12159 chg coeffs, 5031 upgd conss, 0 impls, 90085 clqs
4.13/4.25	c (round 40, fast)       967 del vars, 3971 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 12159 chg coeffs, 5031 upgd conss, 0 impls, 90085 clqs
4.13/4.25	c    (3.2s) sparsify aborted: 36/78224 (0.0%) nonzeros canceled - in total 1152 canceled nonzeros, 3312 changed coefficients, 0 added nonzeros
4.13/4.25	c (round 41, exhaustive) 967 del vars, 3971 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 13225 chg coeffs, 5035 upgd conss, 0 impls, 90085 clqs
4.13/4.25	c (round 42, exhaustive) 967 del vars, 3974 del conss, 5566 add conss, 411 chg bounds, 4563 chg sides, 13247 chg coeffs, 5039 upgd conss, 0 impls, 90085 clqs
4.13/4.25	c (round 43, medium)     967 del vars, 3974 del conss, 5574 add conss, 411 chg bounds, 4579 chg sides, 13271 chg coeffs, 5039 upgd conss, 0 impls, 90090 clqs
4.13/4.25	c (round 44, exhaustive) 992 del vars, 3974 del conss, 5574 add conss, 411 chg bounds, 4579 chg sides, 13297 chg coeffs, 5039 upgd conss, 0 impls, 95404 clqs
4.13/4.25	c (round 45, fast)       992 del vars, 4044 del conss, 5574 add conss, 411 chg bounds, 4579 chg sides, 13310 chg coeffs, 5039 upgd conss, 0 impls, 95404 clqs
4.13/4.25	c (round 46, exhaustive) 1019 del vars, 4063 del conss, 5574 add conss, 411 chg bounds, 4579 chg sides, 13353 chg coeffs, 5039 upgd conss, 0 impls, 93733 clqs
4.13/4.25	c (round 47, fast)       1019 del vars, 4146 del conss, 5574 add conss, 411 chg bounds, 4579 chg sides, 13353 chg coeffs, 5039 upgd conss, 0 impls, 93733 clqs
6.73/6.86	c (round 48, exhaustive) 1044 del vars, 4146 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13405 chg coeffs, 5039 upgd conss, 0 impls, 92805 clqs
6.73/6.86	c (round 49, fast)       1044 del vars, 4222 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13405 chg coeffs, 5039 upgd conss, 0 impls, 92805 clqs
6.73/6.86	c (round 50, exhaustive) 1071 del vars, 4228 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13427 chg coeffs, 5039 upgd conss, 0 impls, 91101 clqs
6.73/6.86	c (round 51, fast)       1071 del vars, 4309 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13427 chg coeffs, 5039 upgd conss, 0 impls, 91101 clqs
6.73/6.86	c (round 52, exhaustive) 1096 del vars, 4309 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13449 chg coeffs, 5039 upgd conss, 0 impls, 90922 clqs
6.73/6.86	c (round 53, fast)       1096 del vars, 4388 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13449 chg coeffs, 5039 upgd conss, 0 impls, 90922 clqs
6.73/6.86	c (round 54, exhaustive) 1107 del vars, 4391 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13471 chg coeffs, 5039 upgd conss, 0 impls, 89830 clqs
6.73/6.86	c (round 55, fast)       1107 del vars, 4425 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 13471 chg coeffs, 5039 upgd conss, 0 impls, 89830 clqs
6.73/6.86	c    (4.2s) sparsify aborted: 36/69050 (0.1%) nonzeros canceled - in total 1188 canceled nonzeros, 4180 changed coefficients, 0 added nonzeros
6.73/6.86	c (round 56, exhaustive) 1107 del vars, 4425 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 14361 chg coeffs, 5039 upgd conss, 0 impls, 89830 clqs
6.73/6.86	c (round 57, exhaustive) 1132 del vars, 4425 del conss, 5575 add conss, 411 chg bounds, 4580 chg sides, 14383 chg coeffs, 5043 upgd conss, 0 impls, 89480 clqs
6.73/6.86	c (round 58, fast)       1132 del vars, 4468 del conss, 5576 add conss, 411 chg bounds, 4580 chg sides, 14383 chg coeffs, 5043 upgd conss, 0 impls, 89481 clqs
6.73/6.86	c (round 59, medium)     1132 del vars, 4476 del conss, 5585 add conss, 411 chg bounds, 4601 chg sides, 14439 chg coeffs, 5043 upgd conss, 0 impls, 89483 clqs
6.73/6.86	c (round 60, exhaustive) 1142 del vars, 4480 del conss, 5585 add conss, 411 chg bounds, 4601 chg sides, 14497 chg coeffs, 5043 upgd conss, 0 impls, 88778 clqs
6.73/6.86	c (round 61, fast)       1142 del vars, 4510 del conss, 5585 add conss, 411 chg bounds, 4601 chg sides, 14497 chg coeffs, 5043 upgd conss, 0 impls, 88778 clqs
6.73/6.86	c (round 62, medium)     1142 del vars, 4515 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14702 chg coeffs, 5043 upgd conss, 0 impls, 88815 clqs
6.73/6.86	c (round 63, fast)       1142 del vars, 4548 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14702 chg coeffs, 5043 upgd conss, 0 impls, 88815 clqs
6.73/6.86	c (round 64, exhaustive) 1167 del vars, 4551 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14725 chg coeffs, 5043 upgd conss, 0 impls, 88932 clqs
6.73/6.86	c (round 65, fast)       1167 del vars, 4587 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14725 chg coeffs, 5043 upgd conss, 0 impls, 88932 clqs
6.73/6.86	c    (4.7s) probing: 1000/3165 (31.6%) - 345 fixings, 0 aggregations, 207898 implications, 0 bound changes
6.73/6.86	c (round 66, exhaustive) 1192 del vars, 4588 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14748 chg coeffs, 5043 upgd conss, 0 impls, 88114 clqs
6.73/6.86	c (round 67, fast)       1192 del vars, 4664 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14748 chg coeffs, 5043 upgd conss, 0 impls, 88114 clqs
6.73/6.86	c (round 68, exhaustive) 1211 del vars, 4668 del conss, 5626 add conss, 411 chg bounds, 4642 chg sides, 14772 chg coeffs, 5043 upgd conss, 0 impls, 86569 clqs
6.73/6.86	c (round 69, fast)       1211 del vars, 4727 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14772 chg coeffs, 5043 upgd conss, 0 impls, 86569 clqs
6.73/6.86	c (round 70, exhaustive) 1236 del vars, 4727 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14788 chg coeffs, 5043 upgd conss, 0 impls, 86902 clqs
6.73/6.86	c (round 71, fast)       1236 del vars, 4792 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14788 chg coeffs, 5043 upgd conss, 0 impls, 86902 clqs
6.73/6.86	c (round 72, exhaustive) 1263 del vars, 4796 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14804 chg coeffs, 5043 upgd conss, 0 impls, 87801 clqs
6.73/6.87	c (round 73, fast)       1263 del vars, 4842 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14804 chg coeffs, 5043 upgd conss, 0 impls, 87801 clqs
6.73/6.87	c (round 74, exhaustive) 1288 del vars, 4842 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14824 chg coeffs, 5043 upgd conss, 0 impls, 87482 clqs
6.73/6.87	c (round 75, fast)       1288 del vars, 4885 del conss, 5627 add conss, 411 chg bounds, 4642 chg sides, 14824 chg coeffs, 5043 upgd conss, 0 impls, 87482 clqs
6.73/6.87	c (round 76, medium)     1288 del vars, 4886 del conss, 5628 add conss, 411 chg bounds, 4644 chg sides, 15023 chg coeffs, 5043 upgd conss, 0 impls, 87483 clqs
6.73/6.87	c (round 77, exhaustive) 1432 del vars, 4887 del conss, 5628 add conss, 411 chg bounds, 4644 chg sides, 15070 chg coeffs, 5043 upgd conss, 0 impls, 85946 clqs
6.73/6.87	c (round 78, fast)       1432 del vars, 4993 del conss, 5636 add conss, 411 chg bounds, 4651 chg sides, 15077 chg coeffs, 5043 upgd conss, 0 impls, 85947 clqs
6.73/6.87	c (round 79, medium)     1432 del vars, 5014 del conss, 5663 add conss, 411 chg bounds, 4694 chg sides, 15434 chg coeffs, 5043 upgd conss, 0 impls, 85953 clqs
6.73/6.87	c (round 80, fast)       1432 del vars, 5023 del conss, 5663 add conss, 411 chg bounds, 4694 chg sides, 15434 chg coeffs, 5043 upgd conss, 0 impls, 85953 clqs
6.73/6.87	c (round 81, exhaustive) 1457 del vars, 5026 del conss, 5663 add conss, 411 chg bounds, 4694 chg sides, 15457 chg coeffs, 5043 upgd conss, 0 impls, 87059 clqs
6.73/6.87	c (round 82, fast)       1457 del vars, 5091 del conss, 5663 add conss, 411 chg bounds, 4694 chg sides, 15457 chg coeffs, 5043 upgd conss, 0 impls, 87059 clqs
6.73/6.87	c (round 83, medium)     1457 del vars, 5095 del conss, 5667 add conss, 411 chg bounds, 4698 chg sides, 16026 chg coeffs, 5043 upgd conss, 0 impls, 87061 clqs
6.73/6.87	c    (5.6s) sparsify aborted: 42/59470 (0.1%) nonzeros canceled - in total 1230 canceled nonzeros, 4906 changed coefficients, 0 added nonzeros
6.73/6.87	c (round 84, exhaustive) 1457 del vars, 5098 del conss, 5667 add conss, 411 chg bounds, 4698 chg sides, 16763 chg coeffs, 5043 upgd conss, 0 impls, 87061 clqs
6.73/6.87	c (round 85, exhaustive) 1457 del vars, 5101 del conss, 5667 add conss, 411 chg bounds, 4698 chg sides, 16773 chg coeffs, 5047 upgd conss, 0 impls, 87061 clqs
6.73/6.87	c (round 86, medium)     1457 del vars, 5109 del conss, 5675 add conss, 411 chg bounds, 4726 chg sides, 16809 chg coeffs, 5047 upgd conss, 0 impls, 87061 clqs
6.73/6.87	c (round 87, exhaustive) 1482 del vars, 5109 del conss, 5675 add conss, 411 chg bounds, 4726 chg sides, 16822 chg coeffs, 5047 upgd conss, 0 impls, 88923 clqs
6.73/6.87	c (round 88, fast)       1482 del vars, 5172 del conss, 5675 add conss, 411 chg bounds, 4726 chg sides, 16822 chg coeffs, 5047 upgd conss, 0 impls, 88923 clqs
6.73/6.87	c (round 89, medium)     1482 del vars, 5183 del conss, 5687 add conss, 411 chg bounds, 4740 chg sides, 17520 chg coeffs, 5047 upgd conss, 0 impls, 88923 clqs
6.73/6.87	c (round 90, exhaustive) 1507 del vars, 5183 del conss, 5687 add conss, 411 chg bounds, 4740 chg sides, 17536 chg coeffs, 5047 upgd conss, 0 impls, 88792 clqs
6.73/6.87	c (round 91, fast)       1507 del vars, 5228 del conss, 5688 add conss, 411 chg bounds, 4740 chg sides, 17536 chg coeffs, 5047 upgd conss, 0 impls, 88792 clqs
6.73/6.87	c (round 92, medium)     1507 del vars, 5239 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18022 chg coeffs, 5047 upgd conss, 0 impls, 88795 clqs
6.73/6.87	c (round 93, exhaustive) 1532 del vars, 5241 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18037 chg coeffs, 5047 upgd conss, 0 impls, 90081 clqs
6.73/6.87	c (round 94, fast)       1532 del vars, 5291 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18037 chg coeffs, 5047 upgd conss, 0 impls, 90081 clqs
6.73/6.87	c (round 95, exhaustive) 1557 del vars, 5293 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18047 chg coeffs, 5047 upgd conss, 0 impls, 90013 clqs
6.73/6.87	c (round 96, fast)       1557 del vars, 5366 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18047 chg coeffs, 5047 upgd conss, 0 impls, 90013 clqs
9.62/9.76	c (round 97, exhaustive) 1582 del vars, 5366 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18056 chg coeffs, 5047 upgd conss, 0 impls, 95228 clqs
9.62/9.76	c (round 98, fast)       1582 del vars, 5405 del conss, 5699 add conss, 411 chg bounds, 4752 chg sides, 18056 chg coeffs, 5047 upgd conss, 0 impls, 95228 clqs
9.62/9.76	c (round 99, medium)     1582 del vars, 5420 del conss, 5713 add conss, 411 chg bounds, 4766 chg sides, 18721 chg coeffs, 5047 upgd conss, 0 impls, 95230 clqs
9.62/9.76	c (round 100, exhaustive) 1582 del vars, 5420 del conss, 5713 add conss, 411 chg bounds, 4766 chg sides, 18975 chg coeffs, 5047 upgd conss, 0 impls, 95230 clqs
9.62/9.76	c (round 101, medium)     1582 del vars, 5422 del conss, 5716 add conss, 411 chg bounds, 4769 chg sides, 19179 chg coeffs, 5047 upgd conss, 0 impls, 95231 clqs
9.62/9.76	c (round 102, exhaustive) 1607 del vars, 5423 del conss, 5716 add conss, 411 chg bounds, 4769 chg sides, 19189 chg coeffs, 5047 upgd conss, 0 impls, 99600 clqs
9.62/9.76	c (round 103, fast)       1607 del vars, 5452 del conss, 5716 add conss, 411 chg bounds, 4769 chg sides, 19189 chg coeffs, 5047 upgd conss, 0 impls, 99600 clqs
9.62/9.76	c (round 104, medium)     1607 del vars, 5458 del conss, 5723 add conss, 411 chg bounds, 4776 chg sides, 19203 chg coeffs, 5047 upgd conss, 0 impls, 99602 clqs
9.62/9.76	c (round 105, fast)       1607 del vars, 5465 del conss, 5723 add conss, 411 chg bounds, 4776 chg sides, 19203 chg coeffs, 5047 upgd conss, 0 impls, 99602 clqs
9.62/9.76	c (round 106, exhaustive) 1607 del vars, 5465 del conss, 5723 add conss, 411 chg bounds, 4776 chg sides, 19447 chg coeffs, 5047 upgd conss, 0 impls, 99602 clqs
9.62/9.76	c (round 107, exhaustive) 1607 del vars, 5468 del conss, 5724 add conss, 411 chg bounds, 4777 chg sides, 19458 chg coeffs, 5047 upgd conss, 0 impls, 99602 clqs
9.62/9.76	c (round 108, exhaustive) 1632 del vars, 5469 del conss, 5724 add conss, 411 chg bounds, 4777 chg sides, 19463 chg coeffs, 5047 upgd conss, 0 impls, 101086 clqs
9.62/9.76	c (round 109, fast)       1632 del vars, 5505 del conss, 5724 add conss, 411 chg bounds, 4777 chg sides, 19471 chg coeffs, 5047 upgd conss, 0 impls, 101086 clqs
9.62/9.76	c (round 110, medium)     1632 del vars, 5517 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 19899 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 111, fast)       1632 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 19899 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 112, exhaustive) 1632 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20127 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 113, exhaustive) 1632 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20355 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 114, exhaustive) 1632 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20583 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 115, exhaustive) 1632 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20756 chg coeffs, 5047 upgd conss, 0 impls, 101089 clqs
9.62/9.76	c (round 116, exhaustive) 1657 del vars, 5526 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20758 chg coeffs, 5047 upgd conss, 0 impls, 101150 clqs
9.62/9.76	c (round 117, fast)       1657 del vars, 5566 del conss, 5737 add conss, 411 chg bounds, 4790 chg sides, 20762 chg coeffs, 5047 upgd conss, 0 impls, 101150 clqs
9.62/9.76	c (round 118, medium)     1657 del vars, 5573 del conss, 5744 add conss, 411 chg bounds, 4797 chg sides, 20811 chg coeffs, 5047 upgd conss, 0 impls, 101150 clqs
9.62/9.76	c (round 119, fast)       1657 del vars, 5580 del conss, 5744 add conss, 411 chg bounds, 4797 chg sides, 20811 chg coeffs, 5047 upgd conss, 0 impls, 101150 clqs
9.62/9.76	c    (7.5s) sparsify aborted: 1810/55663 (3.3%) nonzeros canceled - in total 3040 canceled nonzeros, 6716 changed coefficients, 0 added nonzeros
9.62/9.76	c (round 120, exhaustive) 1657 del vars, 5580 del conss, 5744 add conss, 411 chg bounds, 4797 chg sides, 22624 chg coeffs, 5047 upgd conss, 0 impls, 101150 clqs
9.62/9.76	c (round 121, exhaustive) 1657 del vars, 5580 del conss, 5745 add conss, 411 chg bounds, 4798 chg sides, 22629 chg coeffs, 5197 upgd conss, 0 impls, 101155 clqs
9.62/9.76	c (round 122, medium)     1657 del vars, 5725 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22629 chg coeffs, 5197 upgd conss, 0 impls, 101590 clqs
9.62/9.76	c (round 123, exhaustive) 1657 del vars, 5734 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22632 chg coeffs, 5197 upgd conss, 0 impls, 101590 clqs
9.62/9.76	c (round 124, exhaustive) 1657 del vars, 5739 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22635 chg coeffs, 5197 upgd conss, 0 impls, 101590 clqs
9.62/9.76	c (round 125, exhaustive) 1671 del vars, 5739 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22638 chg coeffs, 5197 upgd conss, 0 impls, 101475 clqs
9.62/9.76	c (round 126, exhaustive) 1696 del vars, 5739 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22658 chg coeffs, 5197 upgd conss, 0 impls, 101371 clqs
9.62/9.76	c (round 127, fast)       1696 del vars, 5800 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22658 chg coeffs, 5197 upgd conss, 0 impls, 101371 clqs
9.62/9.76	c (round 128, exhaustive) 1827 del vars, 5801 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22678 chg coeffs, 5197 upgd conss, 0 impls, 99973 clqs
9.62/9.76	c (round 129, fast)       1827 del vars, 5954 del conss, 6180 add conss, 411 chg bounds, 4798 chg sides, 22678 chg coeffs, 5197 upgd conss, 0 impls, 99973 clqs
9.62/9.76	c (round 130, medium)     1827 del vars, 5958 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 22708 chg coeffs, 5197 upgd conss, 0 impls, 99973 clqs
9.62/9.76	c (round 131, exhaustive) 1852 del vars, 5958 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 22733 chg coeffs, 5197 upgd conss, 0 impls, 97743 clqs
9.62/9.76	c (round 132, fast)       1852 del vars, 6033 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 22733 chg coeffs, 5197 upgd conss, 0 impls, 97743 clqs
9.62/9.76	c    (8.1s) sparsify finished: 505/48118 (1.0%) nonzeros canceled - in total 3545 canceled nonzeros, 7221 changed coefficients, 0 added nonzeros
9.62/9.76	c (round 133, exhaustive) 1852 del vars, 6035 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 23244 chg coeffs, 5197 upgd conss, 0 impls, 97743 clqs
9.62/9.76	c    (8.2s) sparsify finished: 40/47618 (0.1%) nonzeros canceled - in total 3585 canceled nonzeros, 7261 changed coefficients, 0 added nonzeros
9.62/9.76	c (round 134, exhaustive) 1877 del vars, 6035 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 23289 chg coeffs, 5201 upgd conss, 0 impls, 102048 clqs
9.62/9.76	c (round 135, fast)       1877 del vars, 6106 del conss, 6188 add conss, 411 chg bounds, 4820 chg sides, 23289 chg coeffs, 5201 upgd conss, 0 impls, 102057 clqs
9.62/9.76	c (round 136, exhaustive) 1877 del vars, 6107 del conss, 6191 add conss, 411 chg bounds, 4820 chg sides, 23299 chg coeffs, 5205 upgd conss, 0 impls, 102057 clqs
9.62/9.76	c (round 137, medium)     1877 del vars, 6109 del conss, 6195 add conss, 411 chg bounds, 4821 chg sides, 23301 chg coeffs, 5205 upgd conss, 0 impls, 102057 clqs
9.62/9.76	c (round 138, exhaustive) 1902 del vars, 6109 del conss, 6195 add conss, 411 chg bounds, 4821 chg sides, 23311 chg coeffs, 5205 upgd conss, 0 impls, 102933 clqs
9.62/9.76	c (round 139, fast)       1902 del vars, 6181 del conss, 6195 add conss, 411 chg bounds, 4821 chg sides, 23311 chg coeffs, 5205 upgd conss, 0 impls, 102933 clqs
9.62/9.76	c (round 140, medium)     1902 del vars, 6189 del conss, 6203 add conss, 411 chg bounds, 4845 chg sides, 23343 chg coeffs, 5205 upgd conss, 0 impls, 102933 clqs
9.62/9.76	c (round 141, exhaustive) 1928 del vars, 6189 del conss, 6203 add conss, 411 chg bounds, 4845 chg sides, 23358 chg coeffs, 5205 upgd conss, 0 impls, 103525 clqs
9.62/9.76	c (round 142, fast)       1928 del vars, 6268 del conss, 6203 add conss, 411 chg bounds, 4845 chg sides, 23358 chg coeffs, 5205 upgd conss, 0 impls, 103525 clqs
9.62/9.76	c (round 143, medium)     1928 del vars, 6278 del conss, 6214 add conss, 411 chg bounds, 4876 chg sides, 23400 chg coeffs, 5205 upgd conss, 0 impls, 103525 clqs
9.62/9.76	c (round 144, exhaustive) 1953 del vars, 6278 del conss, 6214 add conss, 411 chg bounds, 4876 chg sides, 23409 chg coeffs, 5205 upgd conss, 0 impls, 103937 clqs
12.21/12.30	c (round 145, fast)       1953 del vars, 6354 del conss, 6214 add conss, 411 chg bounds, 4876 chg sides, 23409 chg coeffs, 5205 upgd conss, 0 impls, 103937 clqs
12.21/12.30	c (round 146, medium)     1953 del vars, 6362 del conss, 6222 add conss, 411 chg bounds, 4908 chg sides, 23449 chg coeffs, 5205 upgd conss, 0 impls, 103938 clqs
12.21/12.30	c    (9.5s) sparsify finished: 34/45390 (0.1%) nonzeros canceled - in total 3619 canceled nonzeros, 7341 changed coefficients, 0 added nonzeros
12.21/12.30	c (round 147, exhaustive) 1953 del vars, 6362 del conss, 6222 add conss, 411 chg bounds, 4908 chg sides, 23547 chg coeffs, 5205 upgd conss, 0 impls, 103938 clqs
12.21/12.30	c (round 148, medium)     1953 del vars, 6364 del conss, 6224 add conss, 411 chg bounds, 4910 chg sides, 23551 chg coeffs, 5205 upgd conss, 0 impls, 103942 clqs
12.21/12.30	c (round 149, exhaustive) 1953 del vars, 6364 del conss, 6224 add conss, 411 chg bounds, 4910 chg sides, 23565 chg coeffs, 5211 upgd conss, 0 impls, 103942 clqs
12.21/12.30	c (round 150, medium)     1953 del vars, 6368 del conss, 6228 add conss, 411 chg bounds, 4914 chg sides, 23573 chg coeffs, 5211 upgd conss, 0 impls, 103942 clqs
12.21/12.30	c    (9.7s) probing: 2000/3165 (63.2%) - 1099 fixings, 0 aggregations, 382319 implications, 0 bound changes
12.21/12.30	c (round 151, exhaustive) 1978 del vars, 6368 del conss, 6228 add conss, 411 chg bounds, 4914 chg sides, 23588 chg coeffs, 5211 upgd conss, 0 impls, 104106 clqs
12.21/12.30	c (round 152, fast)       1978 del vars, 6443 del conss, 6228 add conss, 411 chg bounds, 4914 chg sides, 23588 chg coeffs, 5211 upgd conss, 0 impls, 104106 clqs
12.21/12.30	c (round 153, medium)     1978 del vars, 6455 del conss, 6242 add conss, 411 chg bounds, 4952 chg sides, 23870 chg coeffs, 5211 upgd conss, 0 impls, 104110 clqs
12.21/12.30	c (round 154, exhaustive) 2003 del vars, 6458 del conss, 6242 add conss, 411 chg bounds, 4952 chg sides, 23895 chg coeffs, 5211 upgd conss, 0 impls, 104234 clqs
12.21/12.30	c (round 155, fast)       2003 del vars, 6534 del conss, 6242 add conss, 411 chg bounds, 4952 chg sides, 23895 chg coeffs, 5211 upgd conss, 0 impls, 104234 clqs
12.21/12.30	c (round 156, exhaustive) 2006 del vars, 6540 del conss, 6242 add conss, 411 chg bounds, 4952 chg sides, 23916 chg coeffs, 5211 upgd conss, 0 impls, 104132 clqs
12.21/12.30	c (round 157, fast)       2006 del vars, 6551 del conss, 6242 add conss, 411 chg bounds, 4952 chg sides, 23916 chg coeffs, 5211 upgd conss, 0 impls, 104132 clqs
12.21/12.30	c (round 158, exhaustive) 2031 del vars, 6552 del conss, 6243 add conss, 411 chg bounds, 4953 chg sides, 23931 chg coeffs, 5211 upgd conss, 0 impls, 104219 clqs
12.21/12.30	c (round 159, fast)       2031 del vars, 6630 del conss, 6243 add conss, 411 chg bounds, 4953 chg sides, 23931 chg coeffs, 5211 upgd conss, 0 impls, 104219 clqs
12.21/12.30	c (round 160, medium)     2031 del vars, 6639 del conss, 6253 add conss, 411 chg bounds, 4963 chg sides, 24004 chg coeffs, 5211 upgd conss, 0 impls, 104224 clqs
12.21/12.30	c    (10.3s) sparsify finished: 45/42886 (0.1%) nonzeros canceled - in total 3664 canceled nonzeros, 7386 changed coefficients, 0 added nonzeros
12.21/12.30	c (round 161, exhaustive) 2056 del vars, 6640 del conss, 6253 add conss, 411 chg bounds, 4963 chg sides, 24059 chg coeffs, 5211 upgd conss, 0 impls, 104072 clqs
12.21/12.30	c (round 162, fast)       2056 del vars, 6714 del conss, 6253 add conss, 411 chg bounds, 4963 chg sides, 24059 chg coeffs, 5211 upgd conss, 0 impls, 104076 clqs
12.21/12.30	c (round 163, medium)     2056 del vars, 6716 del conss, 6255 add conss, 411 chg bounds, 4965 chg sides, 24063 chg coeffs, 5211 upgd conss, 0 impls, 104077 clqs
12.21/12.30	c (round 164, exhaustive) 2056 del vars, 6720 del conss, 6255 add conss, 411 chg bounds, 4965 chg sides, 24074 chg coeffs, 5216 upgd conss, 0 impls, 104077 clqs
12.21/12.30	c (round 165, medium)     2056 del vars, 6721 del conss, 6258 add conss, 411 chg bounds, 4968 chg sides, 24081 chg coeffs, 5216 upgd conss, 0 impls, 104078 clqs
12.21/12.30	c (round 166, exhaustive) 2081 del vars, 6722 del conss, 6259 add conss, 411 chg bounds, 4968 chg sides, 24092 chg coeffs, 5216 upgd conss, 0 impls, 104523 clqs
12.21/12.30	c (round 167, fast)       2081 del vars, 6766 del conss, 6259 add conss, 411 chg bounds, 4968 chg sides, 24092 chg coeffs, 5216 upgd conss, 0 impls, 104523 clqs
12.21/12.30	c (round 168, medium)     2081 del vars, 6774 del conss, 6267 add conss, 411 chg bounds, 4976 chg sides, 24132 chg coeffs, 5216 upgd conss, 0 impls, 104523 clqs
12.21/12.30	c (round 169, fast)       2081 del vars, 6780 del conss, 6267 add conss, 411 chg bounds, 4976 chg sides, 24132 chg coeffs, 5216 upgd conss, 0 impls, 104523 clqs
12.21/12.30	c (round 170, exhaustive) 2106 del vars, 6784 del conss, 6267 add conss, 411 chg bounds, 4976 chg sides, 24171 chg coeffs, 5216 upgd conss, 0 impls, 104905 clqs
12.21/12.30	c (round 171, fast)       2106 del vars, 6834 del conss, 6267 add conss, 411 chg bounds, 4976 chg sides, 24171 chg coeffs, 5216 upgd conss, 0 impls, 104905 clqs
12.21/12.30	c (round 172, medium)     2106 del vars, 6840 del conss, 6274 add conss, 411 chg bounds, 4983 chg sides, 24205 chg coeffs, 5216 upgd conss, 0 impls, 104906 clqs
12.21/12.30	c (round 173, fast)       2106 del vars, 6845 del conss, 6274 add conss, 411 chg bounds, 4983 chg sides, 24205 chg coeffs, 5216 upgd conss, 0 impls, 104906 clqs
12.21/12.30	c (round 174, exhaustive) 2106 del vars, 6849 del conss, 6274 add conss, 411 chg bounds, 4983 chg sides, 24255 chg coeffs, 5216 upgd conss, 0 impls, 104906 clqs
12.21/12.30	c (round 175, medium)     2106 del vars, 6854 del conss, 6279 add conss, 411 chg bounds, 4988 chg sides, 24280 chg coeffs, 5216 upgd conss, 0 impls, 104906 clqs
12.21/12.30	c (round 176, exhaustive) 2131 del vars, 6856 del conss, 6279 add conss, 411 chg bounds, 4988 chg sides, 24306 chg coeffs, 5216 upgd conss, 0 impls, 104721 clqs
12.21/12.30	c (round 177, fast)       2131 del vars, 6921 del conss, 6281 add conss, 411 chg bounds, 4988 chg sides, 24306 chg coeffs, 5216 upgd conss, 0 impls, 104721 clqs
12.21/12.30	c (round 178, medium)     2131 del vars, 6930 del conss, 6292 add conss, 411 chg bounds, 4999 chg sides, 24375 chg coeffs, 5216 upgd conss, 0 impls, 104725 clqs
12.21/12.30	c (round 179, exhaustive) 2131 del vars, 6935 del conss, 6292 add conss, 411 chg bounds, 4999 chg sides, 24401 chg coeffs, 5216 upgd conss, 0 impls, 104725 clqs
12.21/12.30	c    (11.4s) sparsify finished: 126/38838 (0.3%) nonzeros canceled - in total 3790 canceled nonzeros, 7512 changed coefficients, 0 added nonzeros
12.21/12.30	c (round 180, exhaustive) 2131 del vars, 6935 del conss, 6292 add conss, 411 chg bounds, 4999 chg sides, 24548 chg coeffs, 5216 upgd conss, 0 impls, 104725 clqs
12.21/12.30	c (round 181, exhaustive) 2131 del vars, 6936 del conss, 6292 add conss, 411 chg bounds, 4999 chg sides, 24558 chg coeffs, 5229 upgd conss, 0 impls, 104730 clqs
12.21/12.30	c (round 182, medium)     2131 del vars, 6944 del conss, 6317 add conss, 411 chg bounds, 5003 chg sides, 24569 chg coeffs, 5229 upgd conss, 0 impls, 104735 clqs
12.21/12.30	c (round 183, exhaustive) 2131 del vars, 6958 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24579 chg coeffs, 5229 upgd conss, 0 impls, 104735 clqs
12.21/12.30	c (round 184, exhaustive) 2156 del vars, 6960 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24589 chg coeffs, 5229 upgd conss, 0 impls, 104847 clqs
12.21/12.30	c (round 185, fast)       2156 del vars, 7035 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24589 chg coeffs, 5229 upgd conss, 0 impls, 104847 clqs
12.21/12.30	c (round 186, exhaustive) 2181 del vars, 7037 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24599 chg coeffs, 5229 upgd conss, 0 impls, 105784 clqs
12.21/12.30	c (round 187, fast)       2181 del vars, 7112 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24599 chg coeffs, 5229 upgd conss, 0 impls, 105784 clqs
12.21/12.30	c (round 188, exhaustive) 2206 del vars, 7114 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24622 chg coeffs, 5229 upgd conss, 0 impls, 103945 clqs
12.21/12.30	c (round 189, fast)       2206 del vars, 7200 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24622 chg coeffs, 5229 upgd conss, 0 impls, 103945 clqs
12.21/12.30	c (round 190, exhaustive) 2206 del vars, 7208 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24632 chg coeffs, 5229 upgd conss, 0 impls, 103945 clqs
12.21/12.30	c    (11.9s) sparsify finished: 56/34205 (0.2%) nonzeros canceled - in total 3846 canceled nonzeros, 7568 changed coefficients, 0 added nonzeros
15.20/15.35	c (round 191, exhaustive) 2206 del vars, 7211 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24695 chg coeffs, 5229 upgd conss, 0 impls, 103945 clqs
15.20/15.35	c (round 192, exhaustive) 2206 del vars, 7211 del conss, 6318 add conss, 411 chg bounds, 5003 chg sides, 24701 chg coeffs, 5233 upgd conss, 0 impls, 103945 clqs
15.20/15.35	c (round 193, medium)     2206 del vars, 7215 del conss, 6330 add conss, 411 chg bounds, 5003 chg sides, 24701 chg coeffs, 5233 upgd conss, 0 impls, 103945 clqs
15.20/15.35	c (round 194, exhaustive) 2206 del vars, 7221 del conss, 6330 add conss, 411 chg bounds, 5003 chg sides, 24705 chg coeffs, 5233 upgd conss, 0 impls, 103945 clqs
15.20/15.35	c    (12.0s) sparsify finished: 56/34145 (0.2%) nonzeros canceled - in total 3902 canceled nonzeros, 7624 changed coefficients, 0 added nonzeros
15.20/15.35	c (round 195, exhaustive) 2231 del vars, 7221 del conss, 6330 add conss, 411 chg bounds, 5003 chg sides, 24763 chg coeffs, 5233 upgd conss, 0 impls, 101674 clqs
15.20/15.35	c (round 196, fast)       2231 del vars, 7296 del conss, 6330 add conss, 411 chg bounds, 5003 chg sides, 24763 chg coeffs, 5233 upgd conss, 0 impls, 101674 clqs
15.20/15.35	c (round 197, exhaustive) 2231 del vars, 7298 del conss, 6330 add conss, 411 chg bounds, 5003 chg sides, 24780 chg coeffs, 5237 upgd conss, 0 impls, 101674 clqs
15.20/15.35	c (round 198, medium)     2231 del vars, 7302 del conss, 6342 add conss, 411 chg bounds, 5003 chg sides, 24780 chg coeffs, 5237 upgd conss, 0 impls, 101674 clqs
15.20/15.35	c (round 199, exhaustive) 2256 del vars, 7302 del conss, 6342 add conss, 411 chg bounds, 5003 chg sides, 24792 chg coeffs, 5237 upgd conss, 0 impls, 100024 clqs
15.20/15.35	c (round 200, fast)       2256 del vars, 7380 del conss, 6342 add conss, 411 chg bounds, 5003 chg sides, 24792 chg coeffs, 5237 upgd conss, 0 impls, 100024 clqs
15.20/15.35	c (round 201, exhaustive) 2257 del vars, 7385 del conss, 6342 add conss, 411 chg bounds, 5003 chg sides, 24807 chg coeffs, 5237 upgd conss, 0 impls, 100019 clqs
15.20/15.35	c (round 202, medium)     2257 del vars, 7386 del conss, 6344 add conss, 411 chg bounds, 5005 chg sides, 24954 chg coeffs, 5237 upgd conss, 0 impls, 100020 clqs
15.20/15.35	c    (12.2s) probing: 3000/3165 (94.8%) - 1380 fixings, 0 aggregations, 510040 implications, 0 bound changes
15.20/15.35	c    (12.2s) probing cycle finished: starting next cycle
15.20/15.35	c (round 203, exhaustive) 2284 del vars, 7386 del conss, 6344 add conss, 411 chg bounds, 5005 chg sides, 24968 chg coeffs, 5237 upgd conss, 0 impls, 105322 clqs
15.20/15.35	c (round 204, fast)       2286 del vars, 7478 del conss, 6344 add conss, 411 chg bounds, 5005 chg sides, 24968 chg coeffs, 5237 upgd conss, 0 impls, 105322 clqs
15.20/15.35	c (round 205, medium)     2286 del vars, 7491 del conss, 6366 add conss, 411 chg bounds, 5027 chg sides, 25067 chg coeffs, 5237 upgd conss, 0 impls, 105330 clqs
15.20/15.35	c (round 206, exhaustive) 2287 del vars, 7509 del conss, 6366 add conss, 411 chg bounds, 5027 chg sides, 25080 chg coeffs, 5237 upgd conss, 0 impls, 105306 clqs
15.20/15.35	c (round 207, exhaustive) 2287 del vars, 7528 del conss, 6366 add conss, 411 chg bounds, 5027 chg sides, 25087 chg coeffs, 5237 upgd conss, 0 impls, 105306 clqs
15.20/15.35	c (round 208, exhaustive) 2312 del vars, 7528 del conss, 6366 add conss, 411 chg bounds, 5027 chg sides, 25094 chg coeffs, 5237 upgd conss, 0 impls, 108060 clqs
15.20/15.35	c (round 209, fast)       2312 del vars, 7613 del conss, 6367 add conss, 411 chg bounds, 5027 chg sides, 25094 chg coeffs, 5237 upgd conss, 0 impls, 108060 clqs
15.20/15.35	c (round 210, medium)     2312 del vars, 7615 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25104 chg coeffs, 5237 upgd conss, 0 impls, 108062 clqs
15.20/15.35	c (round 211, exhaustive) 2312 del vars, 7632 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25121 chg coeffs, 5237 upgd conss, 0 impls, 108062 clqs
15.20/15.35	c    (13.4s) probing: 1000/1624 (61.6%) - 1444 fixings, 0 aggregations, 600266 implications, 0 bound changes
15.20/15.35	c (round 212, exhaustive) 2337 del vars, 7632 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25127 chg coeffs, 5237 upgd conss, 0 impls, 106816 clqs
15.20/15.35	c (round 213, fast)       2337 del vars, 7709 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25143 chg coeffs, 5237 upgd conss, 0 impls, 106819 clqs
15.20/15.35	c (round 214, exhaustive) 2337 del vars, 7715 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25152 chg coeffs, 5237 upgd conss, 0 impls, 106819 clqs
15.20/15.35	c (round 215, exhaustive) 2362 del vars, 7715 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25158 chg coeffs, 5237 upgd conss, 0 impls, 107583 clqs
15.20/15.35	c (round 216, fast)       2362 del vars, 7785 del conss, 6371 add conss, 411 chg bounds, 5031 chg sides, 25158 chg coeffs, 5237 upgd conss, 0 impls, 107583 clqs
15.20/15.35	c (round 217, medium)     2362 del vars, 7788 del conss, 6376 add conss, 411 chg bounds, 5036 chg sides, 25208 chg coeffs, 5237 upgd conss, 0 impls, 107587 clqs
15.20/15.35	c (round 218, exhaustive) 2362 del vars, 7794 del conss, 6376 add conss, 411 chg bounds, 5036 chg sides, 25236 chg coeffs, 5237 upgd conss, 0 impls, 107587 clqs
15.20/15.35	c (round 219, medium)     2362 del vars, 7796 del conss, 6379 add conss, 411 chg bounds, 5039 chg sides, 25242 chg coeffs, 5237 upgd conss, 0 impls, 107587 clqs
15.20/15.35	c (round 220, exhaustive) 2387 del vars, 7798 del conss, 6379 add conss, 411 chg bounds, 5039 chg sides, 25252 chg coeffs, 5237 upgd conss, 0 impls, 107195 clqs
15.20/15.35	c (round 221, fast)       2387 del vars, 7875 del conss, 6379 add conss, 411 chg bounds, 5039 chg sides, 25252 chg coeffs, 5237 upgd conss, 0 impls, 107195 clqs
15.20/15.35	c (round 222, exhaustive) 2387 del vars, 7892 del conss, 6379 add conss, 411 chg bounds, 5039 chg sides, 25285 chg coeffs, 5237 upgd conss, 0 impls, 107195 clqs
15.20/15.35	c (round 223, medium)     2387 del vars, 7896 del conss, 6384 add conss, 411 chg bounds, 5044 chg sides, 25295 chg coeffs, 5237 upgd conss, 0 impls, 107195 clqs
15.20/15.35	c (round 224, exhaustive) 2412 del vars, 7896 del conss, 6384 add conss, 411 chg bounds, 5044 chg sides, 25310 chg coeffs, 5237 upgd conss, 0 impls, 107424 clqs
15.20/15.35	c (round 225, fast)       2412 del vars, 7974 del conss, 6386 add conss, 411 chg bounds, 5044 chg sides, 25310 chg coeffs, 5237 upgd conss, 0 impls, 107424 clqs
15.20/15.35	c (round 226, exhaustive) 2412 del vars, 7977 del conss, 6387 add conss, 411 chg bounds, 5044 chg sides, 25336 chg coeffs, 5237 upgd conss, 0 impls, 107424 clqs
15.20/15.35	c (round 227, medium)     2412 del vars, 7979 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25342 chg coeffs, 5237 upgd conss, 0 impls, 107425 clqs
15.20/15.35	c (round 228, exhaustive) 2437 del vars, 7979 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25365 chg coeffs, 5237 upgd conss, 0 impls, 105201 clqs
15.20/15.35	c (round 229, fast)       2437 del vars, 8054 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25365 chg coeffs, 5237 upgd conss, 0 impls, 105201 clqs
15.20/15.35	c    (14.6s) sparsify finished: 21/22108 (0.1%) nonzeros canceled - in total 3923 canceled nonzeros, 7645 changed coefficients, 0 added nonzeros
15.20/15.35	c (round 230, exhaustive) 2437 del vars, 8054 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25411 chg coeffs, 5237 upgd conss, 0 impls, 105201 clqs
15.20/15.35	c (round 231, exhaustive) 2462 del vars, 8054 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25428 chg coeffs, 5240 upgd conss, 0 impls, 102441 clqs
15.20/15.35	c (round 232, fast)       2462 del vars, 8133 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25428 chg coeffs, 5240 upgd conss, 0 impls, 102441 clqs
15.20/15.35	c (round 233, exhaustive) 2462 del vars, 8133 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25473 chg coeffs, 5240 upgd conss, 0 impls, 102441 clqs
15.20/15.35	c (round 234, exhaustive) 2462 del vars, 8145 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25488 chg coeffs, 5240 upgd conss, 0 impls, 102441 clqs
15.20/15.35	c (round 235, exhaustive) 2487 del vars, 8146 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25501 chg coeffs, 5240 upgd conss, 0 impls, 97405 clqs
15.20/15.35	c (round 236, fast)       2487 del vars, 8222 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25501 chg coeffs, 5240 upgd conss, 0 impls, 97405 clqs
15.20/15.35	c (round 237, exhaustive) 2512 del vars, 8223 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25523 chg coeffs, 5240 upgd conss, 0 impls, 91491 clqs
16.91/17.02	c (round 238, fast)       2512 del vars, 8298 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25523 chg coeffs, 5240 upgd conss, 0 impls, 91491 clqs
16.91/17.02	c    (15.0s) sparsify finished: 77/19285 (0.4%) nonzeros canceled - in total 4000 canceled nonzeros, 7726 changed coefficients, 0 added nonzeros
16.91/17.02	c (round 239, exhaustive) 2512 del vars, 8298 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25630 chg coeffs, 5240 upgd conss, 0 impls, 91491 clqs
16.91/17.02	c (round 240, exhaustive) 2512 del vars, 8298 del conss, 6390 add conss, 411 chg bounds, 5047 chg sides, 25653 chg coeffs, 5249 upgd conss, 0 impls, 91497 clqs
16.91/17.02	c (round 241, medium)     2512 del vars, 8301 del conss, 6405 add conss, 411 chg bounds, 5053 chg sides, 25669 chg coeffs, 5249 upgd conss, 0 impls, 91502 clqs
16.91/17.02	c (round 242, fast)       2512 del vars, 8304 del conss, 6408 add conss, 411 chg bounds, 5053 chg sides, 25669 chg coeffs, 5249 upgd conss, 0 impls, 91502 clqs
16.91/17.02	c (round 243, exhaustive) 2512 del vars, 8310 del conss, 6408 add conss, 411 chg bounds, 5053 chg sides, 25692 chg coeffs, 5249 upgd conss, 0 impls, 91502 clqs
16.91/17.02	c    (15.1s) sparsify finished: 24/19247 (0.1%) nonzeros canceled - in total 4024 canceled nonzeros, 7753 changed coefficients, 0 added nonzeros
16.91/17.02	c (round 244, exhaustive) 2512 del vars, 8310 del conss, 6408 add conss, 411 chg bounds, 5053 chg sides, 25740 chg coeffs, 5249 upgd conss, 0 impls, 91504 clqs
16.91/17.02	c (round 245, exhaustive) 2512 del vars, 8310 del conss, 6408 add conss, 411 chg bounds, 5053 chg sides, 25758 chg coeffs, 5252 upgd conss, 0 impls, 91508 clqs
16.91/17.02	c (round 246, medium)     2512 del vars, 8310 del conss, 6410 add conss, 411 chg bounds, 5055 chg sides, 25768 chg coeffs, 5252 upgd conss, 0 impls, 91511 clqs
16.91/17.02	c    (15.1s) sparsify finished: 9/19259 (0.0%) nonzeros canceled - in total 4033 canceled nonzeros, 7762 changed coefficients, 0 added nonzeros
16.91/17.02	c    (15.1s) probing cycle finished: starting next cycle
16.91/17.02	c (round 247, exhaustive) 2549 del vars, 8312 del conss, 6410 add conss, 411 chg bounds, 5055 chg sides, 25798 chg coeffs, 5252 upgd conss, 0 impls, 84517 clqs
16.91/17.02	c (round 248, fast)       2549 del vars, 8405 del conss, 6434 add conss, 411 chg bounds, 5055 chg sides, 25804 chg coeffs, 5252 upgd conss, 0 impls, 84538 clqs
16.91/17.02	c (round 249, medium)     2549 del vars, 8479 del conss, 6743 add conss, 411 chg bounds, 5142 chg sides, 26038 chg coeffs, 5252 upgd conss, 0 impls, 84983 clqs
16.91/17.02	c (round 250, fast)       2549 del vars, 8521 del conss, 6784 add conss, 411 chg bounds, 5142 chg sides, 26038 chg coeffs, 5252 upgd conss, 0 impls, 84983 clqs
16.91/17.02	c (round 251, exhaustive) 2549 del vars, 8524 del conss, 6784 add conss, 411 chg bounds, 5142 chg sides, 26050 chg coeffs, 5253 upgd conss, 0 impls, 84983 clqs
16.91/17.02	c (round 252, medium)     2549 del vars, 8525 del conss, 6789 add conss, 411 chg bounds, 5147 chg sides, 26070 chg coeffs, 5253 upgd conss, 0 impls, 84996 clqs
16.91/17.02	c (round 253, fast)       2549 del vars, 8530 del conss, 6793 add conss, 411 chg bounds, 5147 chg sides, 26070 chg coeffs, 5253 upgd conss, 0 impls, 84997 clqs
16.91/17.02	c    (15.3s) sparsify finished: 32/18362 (0.2%) nonzeros canceled - in total 4065 canceled nonzeros, 8388 changed coefficients, 0 added nonzeros
16.91/17.02	c (round 254, exhaustive) 2549 del vars, 8530 del conss, 6793 add conss, 411 chg bounds, 5147 chg sides, 26707 chg coeffs, 5253 upgd conss, 0 impls, 84997 clqs
16.91/17.02	c (round 255, exhaustive) 2549 del vars, 8543 del conss, 6793 add conss, 411 chg bounds, 5147 chg sides, 26709 chg coeffs, 5253 upgd conss, 0 impls, 84999 clqs
16.91/17.02	c (round 256, exhaustive) 2549 del vars, 8543 del conss, 6793 add conss, 411 chg bounds, 5147 chg sides, 26711 chg coeffs, 5259 upgd conss, 0 impls, 85001 clqs
16.91/17.02	c (round 257, medium)     2549 del vars, 8544 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26857 chg coeffs, 5259 upgd conss, 0 impls, 85003 clqs
16.91/17.02	c (round 258, exhaustive) 2576 del vars, 8544 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26859 chg coeffs, 5259 upgd conss, 0 impls, 90689 clqs
16.91/17.02	c (round 259, fast)       2578 del vars, 8622 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26877 chg coeffs, 5259 upgd conss, 0 impls, 90693 clqs
16.91/17.02	c (round 260, exhaustive) 2578 del vars, 8625 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26877 chg coeffs, 5259 upgd conss, 0 impls, 90693 clqs
16.91/17.02	c (round 261, exhaustive) 2604 del vars, 8625 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26881 chg coeffs, 5259 upgd conss, 0 impls, 95357 clqs
16.91/17.02	c (round 262, fast)       2604 del vars, 8703 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26897 chg coeffs, 5259 upgd conss, 0 impls, 95361 clqs
16.91/17.02	c (round 263, exhaustive) 2604 del vars, 8715 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26897 chg coeffs, 5259 upgd conss, 0 impls, 95361 clqs
16.91/17.02	c (round 264, exhaustive) 2668 del vars, 8715 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26905 chg coeffs, 5259 upgd conss, 0 impls, 83696 clqs
16.91/17.02	c (round 265, fast)       2668 del vars, 8890 del conss, 6799 add conss, 411 chg bounds, 5153 chg sides, 26974 chg coeffs, 5259 upgd conss, 0 impls, 83705 clqs
16.91/17.02	c (round 266, medium)     2668 del vars, 8892 del conss, 6803 add conss, 411 chg bounds, 5285 chg sides, 27114 chg coeffs, 5259 upgd conss, 0 impls, 83708 clqs
16.91/17.02	c (round 267, exhaustive) 2668 del vars, 8922 del conss, 6803 add conss, 411 chg bounds, 5285 chg sides, 27118 chg coeffs, 5259 upgd conss, 0 impls, 83708 clqs
16.91/17.02	c    (15.8s) sparsify finished: 6/15913 (0.0%) nonzeros canceled - in total 4071 canceled nonzeros, 8394 changed coefficients, 0 added nonzeros
16.91/17.02	c (round 268, exhaustive) 2693 del vars, 8923 del conss, 6803 add conss, 411 chg bounds, 5285 chg sides, 27124 chg coeffs, 5259 upgd conss, 0 impls, 108887 clqs
16.91/17.02	c (round 269, fast)       2693 del vars, 8991 del conss, 6807 add conss, 411 chg bounds, 5285 chg sides, 27166 chg coeffs, 5259 upgd conss, 0 impls, 108896 clqs
16.91/17.02	c (round 270, medium)     2693 del vars, 8992 del conss, 6809 add conss, 411 chg bounds, 5372 chg sides, 27275 chg coeffs, 5259 upgd conss, 0 impls, 108897 clqs
16.91/17.02	c (round 271, exhaustive) 2693 del vars, 8997 del conss, 6811 add conss, 411 chg bounds, 5372 chg sides, 27275 chg coeffs, 5259 upgd conss, 0 impls, 108897 clqs
16.91/17.02	c (round 272, exhaustive) 2693 del vars, 9006 del conss, 6811 add conss, 411 chg bounds, 5372 chg sides, 27302 chg coeffs, 5259 upgd conss, 0 impls, 108897 clqs
16.91/17.02	c (round 273, exhaustive) 2693 del vars, 9010 del conss, 6811 add conss, 411 chg bounds, 5372 chg sides, 27306 chg coeffs, 5259 upgd conss, 0 impls, 108902 clqs
16.91/17.02	c (round 274, exhaustive) 2693 del vars, 9019 del conss, 6811 add conss, 411 chg bounds, 5372 chg sides, 27307 chg coeffs, 5259 upgd conss, 0 impls, 108903 clqs
16.91/17.02	c    (16.4s) sparsify finished: 162/15141 (1.1%) nonzeros canceled - in total 4233 canceled nonzeros, 8556 changed coefficients, 0 added nonzeros
16.91/17.02	c (round 275, exhaustive) 2693 del vars, 9019 del conss, 6811 add conss, 411 chg bounds, 5372 chg sides, 27470 chg coeffs, 5261 upgd conss, 0 impls, 108911 clqs
16.91/17.02	c (round 276, medium)     2693 del vars, 9019 del conss, 6813 add conss, 411 chg bounds, 5374 chg sides, 27492 chg coeffs, 5261 upgd conss, 0 impls, 108961 clqs
16.91/17.02	c (round 277, exhaustive) 2693 del vars, 9019 del conss, 6813 add conss, 411 chg bounds, 5374 chg sides, 27493 chg coeffs, 5287 upgd conss, 0 impls, 108961 clqs
16.91/17.02	c (round 278, medium)     2693 del vars, 9019 del conss, 6834 add conss, 411 chg bounds, 5395 chg sides, 27637 chg coeffs, 5287 upgd conss, 0 impls, 109033 clqs
16.91/17.02	c (round 279, fast)       2693 del vars, 9029 del conss, 6843 add conss, 411 chg bounds, 5395 chg sides, 27637 chg coeffs, 5287 upgd conss, 0 impls, 109034 clqs
16.91/17.02	c (round 280, exhaustive) 2693 del vars, 9050 del conss, 6843 add conss, 411 chg bounds, 5395 chg sides, 27644 chg coeffs, 5287 upgd conss, 0 impls, 109034 clqs
16.91/17.02	c    (16.5s) probing: 1000/1371 (72.9%) - 1801 fixings, 2 aggregations, 793897 implications, 0 bound changes
16.91/17.02	c (round 281, exhaustive) 2718 del vars, 9050 del conss, 6843 add conss, 411 chg bounds, 5395 chg sides, 27649 chg coeffs, 5287 upgd conss, 0 impls, 107827 clqs
17.91/18.10	c (round 282, fast)       2718 del vars, 9124 del conss, 6843 add conss, 411 chg bounds, 5395 chg sides, 27649 chg coeffs, 5287 upgd conss, 0 impls, 107827 clqs
17.91/18.10	c (round 283, medium)     2718 del vars, 9125 del conss, 6847 add conss, 411 chg bounds, 5401 chg sides, 27687 chg coeffs, 5287 upgd conss, 0 impls, 107832 clqs
17.91/18.10	c (round 284, exhaustive) 2718 del vars, 9130 del conss, 6847 add conss, 411 chg bounds, 5401 chg sides, 27701 chg coeffs, 5287 upgd conss, 0 impls, 107832 clqs
17.91/18.10	c (round 285, exhaustive) 2719 del vars, 9136 del conss, 6847 add conss, 411 chg bounds, 5401 chg sides, 27712 chg coeffs, 5287 upgd conss, 0 impls, 107605 clqs
17.91/18.10	c (round 286, medium)     2719 del vars, 9138 del conss, 6849 add conss, 411 chg bounds, 5403 chg sides, 27719 chg coeffs, 5287 upgd conss, 0 impls, 107606 clqs
17.91/18.10	c (round 287, exhaustive) 2744 del vars, 9139 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27729 chg coeffs, 5287 upgd conss, 0 impls, 103980 clqs
17.91/18.10	c (round 288, fast)       2744 del vars, 9211 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27729 chg coeffs, 5287 upgd conss, 0 impls, 103980 clqs
17.91/18.10	c (round 289, exhaustive) 2769 del vars, 9211 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27742 chg coeffs, 5287 upgd conss, 0 impls, 98179 clqs
17.91/18.10	c (round 290, fast)       2769 del vars, 9272 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27742 chg coeffs, 5287 upgd conss, 0 impls, 98179 clqs
17.91/18.10	c (round 291, exhaustive) 2769 del vars, 9276 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27758 chg coeffs, 5287 upgd conss, 0 impls, 98179 clqs
17.91/18.10	c (round 292, exhaustive) 2769 del vars, 9280 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27772 chg coeffs, 5287 upgd conss, 0 impls, 98179 clqs
17.91/18.10	c    (16.8s) sparsify finished: 2/13268 (0.0%) nonzeros canceled - in total 4235 canceled nonzeros, 8559 changed coefficients, 0 added nonzeros
17.91/18.10	c    (16.8s) probing cycle finished: starting next cycle
17.91/18.10	c (round 293, exhaustive) 2805 del vars, 9280 del conss, 6850 add conss, 411 chg bounds, 5403 chg sides, 27785 chg coeffs, 5287 upgd conss, 0 impls, 89345 clqs
17.91/18.10	c (round 294, fast)       2808 del vars, 9385 del conss, 6852 add conss, 411 chg bounds, 5404 chg sides, 27812 chg coeffs, 5287 upgd conss, 0 impls, 89342 clqs
17.91/18.10	c (round 295, medium)     2808 del vars, 9391 del conss, 6862 add conss, 411 chg bounds, 5624 chg sides, 28153 chg coeffs, 5287 upgd conss, 0 impls, 89346 clqs
17.91/18.10	c (round 296, fast)       2808 del vars, 9395 del conss, 6862 add conss, 411 chg bounds, 5624 chg sides, 28153 chg coeffs, 5287 upgd conss, 0 impls, 89346 clqs
17.91/18.10	c (round 297, exhaustive) 2808 del vars, 9400 del conss, 6862 add conss, 411 chg bounds, 5624 chg sides, 28154 chg coeffs, 5287 upgd conss, 0 impls, 89346 clqs
17.91/18.10	c (round 298, exhaustive) 2808 del vars, 9402 del conss, 6862 add conss, 411 chg bounds, 5624 chg sides, 28155 chg coeffs, 5288 upgd conss, 0 impls, 89346 clqs
17.91/18.10	c (round 299, exhaustive) 2834 del vars, 9402 del conss, 6862 add conss, 411 chg bounds, 5624 chg sides, 28160 chg coeffs, 5288 upgd conss, 0 impls, 82050 clqs
17.91/18.10	c (round 300, fast)       2850 del vars, 9507 del conss, 6864 add conss, 411 chg bounds, 5624 chg sides, 28219 chg coeffs, 5288 upgd conss, 0 impls, 78640 clqs
17.91/18.10	c (round 301, fast)       2854 del vars, 9513 del conss, 6864 add conss, 411 chg bounds, 5624 chg sides, 28229 chg coeffs, 5288 upgd conss, 0 impls, 78182 clqs
17.91/18.10	c (round 302, fast)       2855 del vars, 9515 del conss, 6864 add conss, 411 chg bounds, 5624 chg sides, 28232 chg coeffs, 5288 upgd conss, 0 impls, 78183 clqs
17.91/18.10	c (round 303, exhaustive) 2855 del vars, 9517 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28232 chg coeffs, 5288 upgd conss, 0 impls, 78183 clqs
17.91/18.10	c (round 304, exhaustive) 2855 del vars, 9546 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28234 chg coeffs, 5288 upgd conss, 0 impls, 78183 clqs
17.91/18.10	c (round 305, exhaustive) 2856 del vars, 9548 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28246 chg coeffs, 5288 upgd conss, 0 impls, 78008 clqs
17.91/18.10	c (round 306, fast)       2857 del vars, 9548 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28247 chg coeffs, 5288 upgd conss, 0 impls, 78011 clqs
17.91/18.10	c (round 307, exhaustive) 2882 del vars, 9549 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28247 chg coeffs, 5288 upgd conss, 0 impls, 76862 clqs
17.91/18.10	c (round 308, fast)       2882 del vars, 9612 del conss, 6865 add conss, 411 chg bounds, 5624 chg sides, 28298 chg coeffs, 5288 upgd conss, 0 impls, 76871 clqs
17.91/18.10	c (round 309, medium)     2882 del vars, 9612 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28332 chg coeffs, 5288 upgd conss, 0 impls, 76873 clqs
17.91/18.10	c (round 310, exhaustive) 2882 del vars, 9623 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28342 chg coeffs, 5288 upgd conss, 0 impls, 76873 clqs
17.91/18.10	c (round 311, exhaustive) 2907 del vars, 9623 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28350 chg coeffs, 5288 upgd conss, 0 impls, 73716 clqs
17.91/18.10	c (round 312, fast)       2907 del vars, 9694 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28364 chg coeffs, 5288 upgd conss, 0 impls, 73717 clqs
17.91/18.10	c (round 313, exhaustive) 2907 del vars, 9705 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28377 chg coeffs, 5288 upgd conss, 0 impls, 73717 clqs
17.91/18.10	c    (17.5s) sparsify finished: 5/10694 (0.0%) nonzeros canceled - in total 4240 canceled nonzeros, 8589 changed coefficients, 0 added nonzeros
17.91/18.10	c (round 314, exhaustive) 2907 del vars, 9705 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28420 chg coeffs, 5288 upgd conss, 0 impls, 73718 clqs
17.91/18.10	c (round 315, exhaustive) 2932 del vars, 9705 del conss, 6868 add conss, 411 chg bounds, 5627 chg sides, 28421 chg coeffs, 5290 upgd conss, 0 impls, 70072 clqs
17.91/18.10	c (round 316, fast)       2932 del vars, 9773 del conss, 6870 add conss, 411 chg bounds, 5627 chg sides, 28421 chg coeffs, 5290 upgd conss, 0 impls, 70073 clqs
17.91/18.10	c (round 317, medium)     2932 del vars, 9774 del conss, 6873 add conss, 411 chg bounds, 5630 chg sides, 28451 chg coeffs, 5290 upgd conss, 0 impls, 70080 clqs
17.91/18.10	c (round 318, exhaustive) 2932 del vars, 9774 del conss, 6873 add conss, 411 chg bounds, 5630 chg sides, 28472 chg coeffs, 5290 upgd conss, 0 impls, 70080 clqs
17.91/18.10	c (round 319, exhaustive) 2961 del vars, 9775 del conss, 6874 add conss, 411 chg bounds, 5630 chg sides, 28486 chg coeffs, 5290 upgd conss, 0 impls, 64226 clqs
17.91/18.10	c (round 320, fast)       2961 del vars, 9867 del conss, 6876 add conss, 411 chg bounds, 5630 chg sides, 28486 chg coeffs, 5290 upgd conss, 0 impls, 64227 clqs
17.91/18.10	c (round 321, medium)     2961 del vars, 9867 del conss, 6877 add conss, 411 chg bounds, 5631 chg sides, 28505 chg coeffs, 5290 upgd conss, 0 impls, 64230 clqs
17.91/18.10	c (round 322, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28505 chg coeffs, 5290 upgd conss, 0 impls, 64230 clqs
17.91/18.10	c (round 323, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28529 chg coeffs, 5290 upgd conss, 0 impls, 64230 clqs
17.91/18.10	c (round 324, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28552 chg coeffs, 5290 upgd conss, 0 impls, 64235 clqs
17.91/18.10	c (round 325, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28579 chg coeffs, 5290 upgd conss, 0 impls, 64240 clqs
17.91/18.10	c (round 326, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28603 chg coeffs, 5290 upgd conss, 0 impls, 64245 clqs
17.91/18.10	c (round 327, exhaustive) 2961 del vars, 9869 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28628 chg coeffs, 5290 upgd conss, 0 impls, 64250 clqs
17.91/18.10	c (round 328, exhaustive) 2961 del vars, 9875 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28646 chg coeffs, 5290 upgd conss, 0 impls, 64254 clqs
17.91/18.10	c (round 329, exhaustive) 2986 del vars, 9876 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28662 chg coeffs, 5290 upgd conss, 0 impls, 59167 clqs
17.91/18.10	c (round 330, fast)       2986 del vars, 9949 del conss, 6878 add conss, 411 chg bounds, 5631 chg sides, 28662 chg coeffs, 5290 upgd conss, 0 impls, 59167 clqs
18.19/18.40	c (round 331, medium)     2986 del vars, 9949 del conss, 6881 add conss, 411 chg bounds, 5634 chg sides, 28699 chg coeffs, 5290 upgd conss, 0 impls, 59172 clqs
18.19/18.40	c (round 332, fast)       2986 del vars, 9950 del conss, 6882 add conss, 411 chg bounds, 5634 chg sides, 28699 chg coeffs, 5290 upgd conss, 0 impls, 59172 clqs
18.19/18.40	c    (17.7s) sparsify finished: 18/9548 (0.2%) nonzeros canceled - in total 4258 canceled nonzeros, 8607 changed coefficients, 0 added nonzeros
18.19/18.40	c (round 333, exhaustive) 2986 del vars, 9951 del conss, 6882 add conss, 411 chg bounds, 5634 chg sides, 28729 chg coeffs, 5290 upgd conss, 0 impls, 59172 clqs
18.19/18.40	c (round 334, medium)     2986 del vars, 9951 del conss, 6883 add conss, 411 chg bounds, 5635 chg sides, 28762 chg coeffs, 5290 upgd conss, 0 impls, 59173 clqs
18.19/18.40	c (round 335, exhaustive) 2986 del vars, 9951 del conss, 6883 add conss, 411 chg bounds, 5635 chg sides, 28773 chg coeffs, 5293 upgd conss, 0 impls, 59173 clqs
18.19/18.40	c (round 336, medium)     2986 del vars, 9951 del conss, 6886 add conss, 411 chg bounds, 5638 chg sides, 28838 chg coeffs, 5293 upgd conss, 0 impls, 59176 clqs
18.19/18.40	c (round 337, exhaustive) 2986 del vars, 9953 del conss, 6886 add conss, 411 chg bounds, 5638 chg sides, 28849 chg coeffs, 5293 upgd conss, 0 impls, 59176 clqs
18.19/18.40	c (round 338, medium)     2986 del vars, 9953 del conss, 6887 add conss, 411 chg bounds, 5639 chg sides, 28885 chg coeffs, 5293 upgd conss, 0 impls, 59178 clqs
18.19/18.40	c (round 339, exhaustive) 3011 del vars, 9953 del conss, 6887 add conss, 411 chg bounds, 5639 chg sides, 28898 chg coeffs, 5293 upgd conss, 0 impls, 53894 clqs
18.19/18.40	c (round 340, fast)       3011 del vars, 10026 del conss, 6887 add conss, 411 chg bounds, 5639 chg sides, 28898 chg coeffs, 5293 upgd conss, 0 impls, 53894 clqs
18.19/18.40	c (round 341, medium)     3012 del vars, 10030 del conss, 6890 add conss, 411 chg bounds, 5642 chg sides, 28945 chg coeffs, 5293 upgd conss, 0 impls, 53456 clqs
18.19/18.40	c (round 342, exhaustive) 3016 del vars, 10039 del conss, 6890 add conss, 411 chg bounds, 5642 chg sides, 28952 chg coeffs, 5293 upgd conss, 0 impls, 52819 clqs
18.19/18.40	c (round 343, fast)       3016 del vars, 10049 del conss, 6892 add conss, 411 chg bounds, 5642 chg sides, 28952 chg coeffs, 5293 upgd conss, 0 impls, 52820 clqs
18.19/18.40	c (round 344, medium)     3016 del vars, 10051 del conss, 6894 add conss, 411 chg bounds, 5644 chg sides, 28957 chg coeffs, 5293 upgd conss, 0 impls, 52821 clqs
18.19/18.40	c (round 345, exhaustive) 3016 del vars, 10054 del conss, 6895 add conss, 411 chg bounds, 5644 chg sides, 28957 chg coeffs, 5293 upgd conss, 0 impls, 52821 clqs
18.19/18.40	c    (17.8s) probing: 1000/1099 (91.0%) - 2109 fixings, 3 aggregations, 820734 implications, 0 bound changes
18.19/18.40	c (round 346, exhaustive) 3041 del vars, 10054 del conss, 6895 add conss, 411 chg bounds, 5644 chg sides, 28967 chg coeffs, 5293 upgd conss, 0 impls, 48399 clqs
18.19/18.40	c (round 347, fast)       3041 del vars, 10136 del conss, 6895 add conss, 411 chg bounds, 5644 chg sides, 28967 chg coeffs, 5293 upgd conss, 0 impls, 48399 clqs
18.19/18.40	c (round 348, medium)     3065 del vars, 10179 del conss, 6897 add conss, 411 chg bounds, 5646 chg sides, 28998 chg coeffs, 5293 upgd conss, 0 impls, 43650 clqs
18.19/18.40	c (round 349, fast)       3073 del vars, 10203 del conss, 6897 add conss, 411 chg bounds, 5646 chg sides, 28998 chg coeffs, 5293 upgd conss, 0 impls, 43650 clqs
18.19/18.40	c (round 350, medium)     3073 del vars, 10203 del conss, 6901 add conss, 411 chg bounds, 5650 chg sides, 29059 chg coeffs, 5293 upgd conss, 0 impls, 43654 clqs
18.19/18.40	c (round 351, exhaustive) 3073 del vars, 10220 del conss, 6901 add conss, 411 chg bounds, 5650 chg sides, 29066 chg coeffs, 5293 upgd conss, 0 impls, 43654 clqs
18.19/18.40	c (round 352, medium)     3073 del vars, 10220 del conss, 6903 add conss, 411 chg bounds, 5652 chg sides, 29091 chg coeffs, 5293 upgd conss, 0 impls, 43656 clqs
18.19/18.40	c    (17.9s) probing cycle finished: starting next cycle
18.19/18.40	c (round 353, exhaustive) 3109 del vars, 10221 del conss, 6903 add conss, 411 chg bounds, 5652 chg sides, 29095 chg coeffs, 5293 upgd conss, 0 impls, 36665 clqs
18.19/18.40	c (round 354, fast)       3114 del vars, 10328 del conss, 6903 add conss, 411 chg bounds, 5653 chg sides, 29118 chg coeffs, 5293 upgd conss, 0 impls, 36672 clqs
18.19/18.40	c (round 355, exhaustive) 3114 del vars, 10340 del conss, 6903 add conss, 411 chg bounds, 5653 chg sides, 29123 chg coeffs, 5293 upgd conss, 0 impls, 36672 clqs
18.19/18.40	c (round 356, exhaustive) 3144 del vars, 10340 del conss, 6903 add conss, 411 chg bounds, 5653 chg sides, 29134 chg coeffs, 5293 upgd conss, 0 impls, 32217 clqs
18.19/18.40	c (round 357, fast)       3147 del vars, 10420 del conss, 6903 add conss, 411 chg bounds, 5654 chg sides, 29184 chg coeffs, 5293 upgd conss, 0 impls, 32094 clqs
18.19/18.40	c (round 358, exhaustive) 3147 del vars, 10433 del conss, 6903 add conss, 411 chg bounds, 5654 chg sides, 29188 chg coeffs, 5293 upgd conss, 0 impls, 32095 clqs
18.19/18.40	c (round 359, exhaustive) 3184 del vars, 10433 del conss, 6903 add conss, 411 chg bounds, 5654 chg sides, 29192 chg coeffs, 5293 upgd conss, 0 impls, 27403 clqs
18.19/18.40	c (round 360, fast)       3196 del vars, 10542 del conss, 6903 add conss, 411 chg bounds, 5654 chg sides, 29243 chg coeffs, 5293 upgd conss, 0 impls, 27418 clqs
18.19/18.40	c (round 361, fast)       3197 del vars, 10546 del conss, 6903 add conss, 411 chg bounds, 5654 chg sides, 29243 chg coeffs, 5293 upgd conss, 0 impls, 27407 clqs
18.19/18.40	c (round 362, medium)     3197 del vars, 10547 del conss, 6906 add conss, 411 chg bounds, 5657 chg sides, 29269 chg coeffs, 5293 upgd conss, 0 impls, 27409 clqs
18.19/18.40	c (round 363, exhaustive) 3201 del vars, 10559 del conss, 6906 add conss, 411 chg bounds, 5657 chg sides, 29269 chg coeffs, 5293 upgd conss, 0 impls, 27022 clqs
18.19/18.40	c (round 364, fast)       3202 del vars, 10573 del conss, 6906 add conss, 411 chg bounds, 5657 chg sides, 29269 chg coeffs, 5293 upgd conss, 0 impls, 27021 clqs
18.19/18.40	c presolving (365 rounds: 365 fast, 250 medium, 179 exhaustive):
18.19/18.40	c  3523 deleted vars, 10573 deleted constraints, 6906 added constraints, 411 tightened bounds, 0 added holes, 5657 changed sides, 29269 changed coefficients
18.19/18.40	c  0 implications, 13691 cliques
18.19/18.40	c presolving detected infeasibility
18.19/18.40	c Presolving Time: 17.93
18.19/18.40	c 
18.19/18.40	c SCIP Status        : problem is solved [infeasible]
18.19/18.40	c Solving Time (sec) : 17.98
18.19/18.40	c Solving Nodes      : 0
18.19/18.40	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
18.19/18.40	c Dual Bound         : +1.00000000000000e+20
18.19/18.40	c Gap                : 0.00 %
18.19/18.40	c SCIP found the problem to be infeasible.
18.19/18.40	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (58837 MiB free)
  memory of node 1: 64465 MiB (63530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522333-1751579326/watcher-4522333-1751579326 -o /tmp/evaluation-result-4522333-1751579326/solver-4522333-1751579326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82177 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4522333-1751579326.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=83597, runsolver pid=83594

[startup+0.100068 s]*
/proc/loadavg: 4.18 4.19 4.20 6/255 83602
/proc/meminfo: memFree=125301712/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=19024 memory=14080 CPUtime=0.07 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 1859 0 0 0 6 1 0 0 20 0 1 0 73612008 19480576 3520 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 4756 3520 1984 1 0 1510 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23216 KiB
Current children cumulated memory: 17152 KiB

[startup+0.213588 s]*
/proc/loadavg: 4.18 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125295664/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1186920 memory=31644 CPUtime=0.17 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 3698 0 0 0 14 3 0 0 20 0 1 0 73612008 1215406080 7911 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 296730 7911 4875 1 0 268752 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34716 KiB

[startup+0.313754 s]*
/proc/loadavg: 4.18 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125290624/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1194208 memory=38940 CPUtime=0.27 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 4904 0 0 0 23 4 0 0 20 0 1 0 73612008 1222868992 9735 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 298552 9735 5579 1 0 269910 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1198400 KiB
Current children cumulated memory: 42012 KiB

[startup+0.700397 s]
/proc/loadavg: 4.18 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125255344/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1233912 memory=85788 CPUtime=0.65 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 14438 0 0 0 58 7 0 0 20 0 1 0 73612008 1263525888 21415 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 308478 21447 7883 1 0 279836 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1238104 KiB
Current children cumulated memory: 88860 KiB

[startup+1.50039 s]
/proc/loadavg: 4.18 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125231152/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1252088 memory=102684 CPUtime=1.45 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 18637 0 0 0 136 9 0 0 20 0 1 0 73612008 1282138112 25671 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 313022 25671 7947 1 0 284380 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1256280 KiB
Current children cumulated memory: 105756 KiB

[startup+3.11363 s]
/proc/loadavg: 4.25 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125216896/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1265120 memory=114716 CPUtime=3.05 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 21655 0 0 0 296 9 0 0 20 0 1 0 73612008 1295482880 28679 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 316280 28679 7947 1 0 287638 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1269312 KiB
Current children cumulated memory: 117788 KiB

[startup+6.30039 s]
/proc/loadavg: 4.25 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125232404/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1270648 memory=120092 CPUtime=6.23 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 23003 0 0 0 613 10 0 0 20 0 1 0 73612008 1301143552 30023 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 317662 30023 7947 1 0 289020 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1274840 KiB
Current children cumulated memory: 123164 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125257148/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1278120 memory=127388 CPUtime=12.61 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 24830 0 0 0 1251 10 0 0 20 0 1 0 73612008 1308794880 31847 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 319530 31847 7947 1 0 290888 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1282312 KiB
Current children cumulated memory: 130460 KiB

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

# cumulated CPU time of all completed processes:  user=18.2221 s, system=0.12855 s

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

[startup+12.8004 s]
/proc/loadavg: 4.23 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125257148/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1278120 memory=127388 CPUtime=12.71 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 24835 0 0 0 1261 10 0 0 20 0 1 0 73612008 1308794880 31847 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 319530 31847 7947 1 0 290888 0
Current children cumulated CPU time: 12.71 s
Current children cumulated vsize: 1282312 KiB
Current children cumulated memory: 130460 KiB

[startup+16.0003 s]*
/proc/loadavg: 4.21 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125271736/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1281132 memory=130204 CPUtime=15.91 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 25550 0 0 0 1581 10 0 0 20 0 1 0 73612008 1311879168 32551 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 320283 32551 7947 1 0 291641 0
Current children cumulated CPU time: 15.91 s
Current children cumulated vsize: 1285324 KiB
Current children cumulated memory: 133276 KiB

[startup+17.6003 s]
/proc/loadavg: 4.21 4.20 4.20 5/255 83602
/proc/meminfo: memFree=125239716/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1282840 memory=131868 CPUtime=17.5 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 25965 0 0 0 1739 11 0 0 20 0 1 0 73612008 1313628160 32967 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 320710 32967 7947 1 0 292068 0
Current children cumulated CPU time: 17.5 s
Current children cumulated vsize: 1287032 KiB
Current children cumulated memory: 134940 KiB

[startup+18.0003 s]*
/proc/loadavg: 4.19 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125243812/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1283128 memory=132252 CPUtime=17.91 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 26035 0 0 0 1780 11 0 0 20 0 1 0 73612008 1313923072 33063 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 320782 33063 7947 1 0 292140 0
Current children cumulated CPU time: 17.91 s
Current children cumulated vsize: 1287320 KiB
Current children cumulated memory: 135324 KiB

[startup+18.4003 s]
/proc/loadavg: 4.19 4.19 4.20 5/255 83602
/proc/meminfo: memFree=125243812/131382112 swapFree=33002444/33010684
[pid=83597] ppid=83594 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83597/stat : 83597 (scip-naps-1.00.) S 83594 83597 82164 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 73612005 4292608 768 18446744073709551615 94238165098496 94238165993029 140724383070432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94238166232080 94238166279824 94238190759936 140724383074721 140724383074818 140724383074818 140724383080420 0
/proc/83597/statm: 1048 768 704 219 0 110 0
[pid=83602] ppid=83597 vsize=1283684 memory=132892 CPUtime=18.29 cores=5,7
/proc/83602/stat : 83602 (python3) R 83597 83597 82164 0 -1 4194304 26170 0 0 0 1818 11 0 0 20 0 1 0 73612008 1314492416 33223 18446744073709551615 94906146299904 94906146300281 140732213785424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94906146311576 94906146312196 94906149912576 140732213791079 140732213791266 140732213791266 140732213796839 0
/proc/83602/statm: 320921 33223 7979 1 0 292279 0
Current children cumulated CPU time: 18.29 s
Current children cumulated vsize: 1287876 KiB
Current children cumulated memory: 135964 KiB

Child status: 0

Real time (s): 18.4355
CPU time (s): 18.3507
CPU user time (s): 18.2221
CPU system time (s): 0.12855
CPU usage (%): 99.54
Max. virtual memory (cumulated for all children) (KiB): 1287876
Max. memory (cumulated for all children) (KiB): 135964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2221
system time used= 0.12855
maximum resident set size= 132892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 83597
#   total CPU time (s): 18.3507
#   total CPU user time (s): 18.2221
#   total CPU system time (s): 0.12855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137665 second user time and 0.25319 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-03 23:48:46
IDJOB=4522333
IDBENCH=178741
IDSOLVER=3368
FILE ID=nodeC005/4522333-1751579326
RUNJOBID= nodeC005-1751572033-82177
SLURM_JOB_ID= 9598794
Free space on /tmp= 429396 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522333-1751579326/watcher-4522333-1751579326 -o /tmp/evaluation-result-4522333-1751579326/solver-4522333-1751579326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82177 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4522333-1751579326.opb

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

MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=1618830038

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125305492 kB
MemAvailable:   125183408 kB
Buffers:              12 kB
Cached:           665460 kB
SwapCached:          240 kB
Active:          4950288 kB
Inactive:         421744 kB
Active(anon):    4678440 kB
Inactive(anon):    40988 kB
Active(file):     271848 kB
Inactive(file):   380756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13344 kB
Writeback:             0 kB
AnonPages:       4705160 kB
Mapped:           123304 kB
Shmem:             12868 kB
KReclaimable:     129880 kB
Slab:             216896 kB
SReclaimable:     129880 kB
SUnreclaim:        87016 kB
KernelStack:        4096 kB
PageTables:        13208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8657868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    950272 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429392 MiB
End job on nodeC005 at 2025-07-03 23:49:05