Trace number 4459808

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT-70 3587.49 3597.23

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
MD5SUM5f642955075bb0dd80aabe9a80ec63b9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark71244.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15754
Sum of products size (including duplicates)31508
Number of different products7877
Sum of products size15754

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4459808-1721939463.opb>
0.00/0.02	c original problem has 8377 variables (500 bin, 0 int, 7877 impl, 0 cont) and 8877 constraints
0.00/0.02	c problem read in 0.02
0.00/0.05	o 0
0.00/0.05	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.05	c presolving:
0.00/0.08	c (round 1, fast)       7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.09	c (round 2, fast)       7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 0 clqs
0.09/0.10	c (round 3, medium)     7877 del vars, 1000 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7876 clqs
0.09/0.13	c    (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14	c    (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.14	c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.09/0.14	c  7877 deleted vars, 1000 deleted constraints, 0 added constraints, 7877 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14	c  0 implications, 7876 cliques
0.09/0.14	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7877 constraints
0.09/0.14	c    7877 constraints of type <setppc>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 10.0.0
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14	c limits/time = 3596.998023
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14	c limits/memory = 27900
0.09/0.14	c 
0.09/0.14	c # belongs reading time to solving time?
0.09/0.14	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c timing/reading = TRUE
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c transformed 1/1 original solutions to the transformed problem space
0.09/0.14	c 
0.09/0.16	o -49
0.09/0.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.09/0.16	c p 0.2s|     1 |     0 |     0 |     - |  clique|   0 | 500 |7877 |7877 |   0 |  0 |   0 |   0 |-5.000000e+02 |-4.900000e+01 | 920.41%| unknown
0.09/0.16	o -65
0.09/0.16	c p 0.2s|     1 |     0 |     0 |     - |   locks|   0 | 500 |7877 |7877 |   0 |  0 |   0 |   0 |-5.000000e+02 |-6.500000e+01 | 669.23%| unknown
0.09/0.18	o -70
0.09/0.18	c i 0.2s|     1 |     0 |    67 |     - |  oneopt|   0 | 500 |7877 |7877 |   0 |  0 |   0 |   0 |-5.000000e+02 |-7.000000e+01 | 614.29%| unknown
0.09/0.19	c   0.2s|     1 |     0 |   611 |     - |    50M |   0 | 500 |7877 |7877 |   0 |  0 |   0 |   0 |-2.500000e+02 |-7.000000e+01 | 257.14%| unknown
0.19/0.29	c   0.3s|     1 |     0 |  1032 |     - |    52M |   0 | 500 |7877 |7909 |  32 |  1 |   0 |   0 |-2.335000e+02 |-7.000000e+01 | 233.57%| unknown
0.39/0.41	c   0.4s|     1 |     0 |  1429 |     - |    53M |   0 | 500 |7877 |7945 |  68 |  2 |   0 |   0 |-2.250000e+02 |-7.000000e+01 | 221.43%| unknown
0.59/0.68	c   0.7s|     1 |     0 |  1827 |     - |    55M |   0 | 500 |7877 |7976 |  99 |  3 |   0 |   0 |-2.185000e+02 |-7.000000e+01 | 212.14%| unknown
0.78/0.89	c   0.9s|     1 |     0 |  2446 |     - |    58M |   0 | 500 |7877 |8005 | 128 |  4 |   0 |   0 |-2.130000e+02 |-7.000000e+01 | 204.29%| unknown
1.09/1.18	c   1.2s|     1 |     0 |  3186 |     - |    62M |   0 | 500 |7877 |8037 | 160 |  5 |   0 |   0 |-2.070000e+02 |-7.000000e+01 | 195.71%| unknown
1.49/1.50	c   1.5s|     1 |     0 |  3896 |     - |    65M |   0 | 500 |7877 |8064 | 187 |  6 |   0 |   0 |-2.030000e+02 |-7.000000e+01 | 190.00%| unknown
1.59/1.69	c   1.7s|     1 |     0 |  4847 |     - |    69M |   0 | 500 |7877 |8096 | 219 |  7 |   0 |   0 |-1.990000e+02 |-7.000000e+01 | 184.29%| unknown
2.48/2.53	c   2.5s|     1 |     0 |  6081 |     - |    73M |   0 | 500 |7877 |8127 | 250 |  8 |   0 |   0 |-1.950000e+02 |-7.000000e+01 | 178.57%| unknown
2.88/2.92	c   2.9s|     1 |     0 |  7656 |     - |    76M |   0 | 500 |7877 |8160 | 283 |  9 |   0 |   0 |-1.900000e+02 |-7.000000e+01 | 171.43%| unknown
3.08/3.12	c   3.1s|     1 |     0 |  8693 |     - |    82M |   0 | 500 |7877 |8186 | 309 | 10 |   0 |   0 |-1.876250e+02 |-7.000000e+01 | 168.04%| unknown
3.28/3.35	c   3.3s|     1 |     0 | 10550 |     - |    83M |   0 | 500 |7877 |8213 | 336 | 11 |   0 |   0 |-1.848438e+02 |-7.000000e+01 | 164.06%| unknown
3.48/3.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.48/3.57	c   3.6s|     1 |     0 | 11835 |     - |    84M |   0 | 500 |7877 |8238 | 361 | 12 |   0 |   0 |-1.813254e+02 |-7.000000e+01 | 159.04%| unknown
3.77/3.82	c   3.8s|     1 |     0 | 13312 |     - |    85M |   0 | 500 |7877 |8263 | 386 | 13 |   0 |   0 |-1.775000e+02 |-7.000000e+01 | 153.57%| unknown
4.08/4.12	c   4.1s|     1 |     0 | 14975 |     - |    86M |   0 | 500 |7877 |8288 | 411 | 14 |   0 |   0 |-1.763101e+02 |-7.000000e+01 | 151.87%| unknown
4.27/4.32	c   4.3s|     1 |     0 | 16066 |     - |    87M |   0 | 500 |7877 |8311 | 434 | 15 |   0 |   0 |-1.746371e+02 |-7.000000e+01 | 149.48%| unknown
4.47/4.58	c   4.6s|     1 |     0 | 17782 |     - |    88M |   0 | 500 |7877 |8329 | 459 | 16 |   0 |   0 |-1.716089e+02 |-7.000000e+01 | 145.16%| unknown
4.67/4.76	c   4.8s|     1 |     0 | 18879 |     - |    88M |   0 | 500 |7877 |8344 | 474 | 17 |   0 |   0 |-1.704170e+02 |-7.000000e+01 | 143.45%| unknown
4.87/4.97	c   5.0s|     1 |     0 | 20104 |     - |    89M |   0 | 500 |7877 |8366 | 496 | 18 |   0 |   0 |-1.683567e+02 |-7.000000e+01 | 140.51%| unknown
5.08/5.15	c   5.2s|     1 |     0 | 21116 |     - |    90M |   0 | 500 |7877 |8383 | 513 | 19 |   0 |   0 |-1.667860e+02 |-7.000000e+01 | 138.27%| unknown
5.27/5.36	c   5.4s|     1 |     0 | 22407 |     - |    91M |   0 | 500 |7877 |8400 | 530 | 20 |   0 |   0 |-1.655191e+02 |-7.000000e+01 | 136.46%| unknown
5.37/5.49	c   5.5s|     1 |     0 | 23326 |     - |    91M |   0 | 500 |7877 |8412 | 542 | 21 |   0 |   0 |-1.647455e+02 |-7.000000e+01 | 135.35%| unknown
5.57/5.63	c   5.6s|     1 |     0 | 24321 |     - |    91M |   0 | 500 |7877 |8398 | 553 | 22 |   0 |   0 |-1.639313e+02 |-7.000000e+01 | 134.19%| unknown
5.67/5.72	c   5.7s|     1 |     0 | 24966 |     - |    91M |   0 | 500 |7877 |8406 | 561 | 23 |   0 |   0 |-1.636129e+02 |-7.000000e+01 | 133.73%| unknown
5.77/5.88	c   5.9s|     1 |     0 | 26053 |     - |    91M |   0 | 500 |7877 |8414 | 569 | 24 |   0 |   0 |-1.628947e+02 |-7.000000e+01 | 132.71%| unknown
5.87/5.99	c   6.0s|     1 |     0 | 26876 |     - |    91M |   0 | 500 |7877 |8427 | 582 | 25 |   0 |   0 |-1.622656e+02 |-7.000000e+01 | 131.81%| unknown
6.07/6.11	c   6.1s|     1 |     0 | 27663 |     - |    91M |   0 | 500 |7877 |8439 | 594 | 26 |   0 |   0 |-1.618990e+02 |-7.000000e+01 | 131.28%| unknown
6.17/6.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.17/6.24	c   6.2s|     1 |     0 | 28565 |     - |    91M |   0 | 500 |7877 |8447 | 602 | 27 |   0 |   0 |-1.611370e+02 |-7.000000e+01 | 130.20%| unknown
6.27/6.32	c   6.3s|     1 |     0 | 29042 |     - |    92M |   0 | 500 |7877 |8407 | 612 | 28 |   0 |   0 |-1.608889e+02 |-7.000000e+01 | 129.84%| unknown
6.37/6.45	c   6.4s|     1 |     0 | 29828 |     - |    92M |   0 | 500 |7877 |8420 | 625 | 29 |   0 |   0 |-1.601742e+02 |-7.000000e+01 | 128.82%| unknown
6.47/6.55	c   6.5s|     1 |     0 | 30423 |     - |    92M |   0 | 500 |7877 |8435 | 640 | 30 |   0 |   0 |-1.597046e+02 |-7.000000e+01 | 128.15%| unknown
6.57/6.63	c   6.6s|     1 |     0 | 30926 |     - |    92M |   0 | 500 |7877 |8446 | 651 | 31 |   0 |   0 |-1.593020e+02 |-7.000000e+01 | 127.57%| unknown
6.67/6.71	c   6.7s|     1 |     0 | 31407 |     - |    92M |   0 | 500 |7877 |8460 | 665 | 32 |   0 |   0 |-1.589588e+02 |-7.000000e+01 | 127.08%| unknown
6.77/6.81	c   6.8s|     1 |     0 | 31938 |     - |    92M |   0 | 500 |7877 |8472 | 677 | 33 |   0 |   0 |-1.586657e+02 |-7.000000e+01 | 126.67%| unknown
6.87/6.90	c   6.9s|     1 |     0 | 32468 |     - |    92M |   0 | 500 |7877 |8442 | 690 | 34 |   0 |   0 |-1.582405e+02 |-7.000000e+01 | 126.06%| unknown
6.97/7.01	c   7.0s|     1 |     0 | 33054 |     - |    92M |   0 | 500 |7877 |8452 | 700 | 35 |   0 |   0 |-1.576697e+02 |-7.000000e+01 | 125.24%| unknown
7.07/7.12	c   7.1s|     1 |     0 | 33664 |     - |    92M |   0 | 500 |7877 |8468 | 716 | 36 |   0 |   0 |-1.570861e+02 |-7.000000e+01 | 124.41%| unknown
7.16/7.23	c   7.2s|     1 |     0 | 34257 |     - |    92M |   0 | 500 |7877 |8477 | 725 | 37 |   0 |   0 |-1.565952e+02 |-7.000000e+01 | 123.71%| unknown
7.26/7.32	c   7.3s|     1 |     0 | 34768 |     - |    92M |   0 | 500 |7877 |8490 | 738 | 38 |   0 |   0 |-1.560564e+02 |-7.000000e+01 | 122.94%| unknown
7.36/7.42	c   7.4s|     1 |     0 | 35325 |     - |    92M |   0 | 500 |7877 |8497 | 745 | 39 |   0 |   0 |-1.556213e+02 |-7.000000e+01 | 122.32%| unknown
7.46/7.50	c   7.5s|     1 |     0 | 35750 |     - |    92M |   0 | 500 |7877 |8468 | 756 | 40 |   0 |   0 |-1.552428e+02 |-7.000000e+01 | 121.78%| unknown
7.46/7.58	c   7.6s|     1 |     0 | 36202 |     - |    92M |   0 | 500 |7877 |8481 | 769 | 41 |   0 |   0 |-1.550022e+02 |-7.000000e+01 | 121.43%| unknown
7.56/7.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.56/7.67	c   7.7s|     1 |     0 | 36707 |     - |    92M |   0 | 500 |7877 |8493 | 781 | 42 |   0 |   0 |-1.546878e+02 |-7.000000e+01 | 120.98%| unknown
7.66/7.74	c   7.7s|     1 |     0 | 37034 |     - |    92M |   0 | 500 |7877 |8504 | 792 | 43 |   0 |   0 |-1.543997e+02 |-7.000000e+01 | 120.57%| unknown
7.76/7.84	c   7.8s|     1 |     0 | 37563 |     - |    92M |   0 | 500 |7877 |8514 | 802 | 44 |   0 |   0 |-1.539178e+02 |-7.000000e+01 | 119.88%| unknown
7.86/7.92	c   7.9s|     1 |     0 | 37978 |     - |    93M |   0 | 500 |7877 |8529 | 817 | 45 |   0 |   0 |-1.535184e+02 |-7.000000e+01 | 119.31%| unknown
7.86/7.99	c   8.0s|     1 |     0 | 38348 |     - |    93M |   0 | 500 |7877 |8498 | 833 | 46 |   0 |   0 |-1.532645e+02 |-7.000000e+01 | 118.95%| unknown
7.97/8.05	c   8.1s|     1 |     0 | 38608 |     - |    93M |   0 | 500 |7877 |8513 | 848 | 47 |   0 |   0 |-1.531192e+02 |-7.000000e+01 | 118.74%| unknown
8.07/8.11	c   8.1s|     1 |     0 | 38840 |     - |    93M |   0 | 500 |7877 |8521 | 856 | 48 |   0 |   0 |-1.529430e+02 |-7.000000e+01 | 118.49%| unknown
8.16/8.20	c   8.2s|     1 |     0 | 39298 |     - |    93M |   0 | 500 |7877 |8531 | 866 | 49 |   0 |   0 |-1.526272e+02 |-7.000000e+01 | 118.04%| unknown
8.16/8.26	c   8.3s|     1 |     0 | 39556 |     - |    93M |   0 | 500 |7877 |8543 | 878 | 50 |   0 |   0 |-1.525354e+02 |-7.000000e+01 | 117.91%| unknown
8.26/8.31	c   8.3s|     1 |     0 | 39806 |     - |    93M |   0 | 500 |7877 |8556 | 891 | 51 |   0 |   0 |-1.524202e+02 |-7.000000e+01 | 117.74%| unknown
8.26/8.37	c   8.4s|     1 |     0 | 40075 |     - |    93M |   0 | 500 |7877 |8526 | 907 | 52 |   0 |   0 |-1.523189e+02 |-7.000000e+01 | 117.60%| unknown
8.37/8.43	c   8.4s|     1 |     0 | 40340 |     - |    93M |   0 | 500 |7877 |8540 | 921 | 53 |   0 |   0 |-1.521866e+02 |-7.000000e+01 | 117.41%| unknown
8.37/8.48	c   8.5s|     1 |     0 | 40522 |     - |    93M |   0 | 500 |7877 |8558 | 939 | 54 |   0 |   0 |-1.520932e+02 |-7.000000e+01 | 117.28%| unknown
8.47/8.53	c   8.5s|     1 |     0 | 40728 |     - |    93M |   0 | 500 |7877 |8569 | 950 | 55 |   0 |   0 |-1.519377e+02 |-7.000000e+01 | 117.05%| unknown
8.47/8.59	c   8.6s|     1 |     0 | 40965 |     - |    93M |   0 | 500 |7877 |8581 | 962 | 56 |   0 |   0 |-1.517673e+02 |-7.000000e+01 | 116.81%| unknown
8.57/8.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.57/8.67	c   8.7s|     1 |     0 | 41377 |     - |    93M |   0 | 500 |7877 |8596 | 977 | 57 |   0 |   0 |-1.515250e+02 |-7.000000e+01 | 116.46%| unknown
8.67/8.74	c   8.7s|     1 |     0 | 41733 |     - |    93M |   0 | 500 |7877 |8573 | 991 | 58 |   0 |   0 |-1.512013e+02 |-7.000000e+01 | 116.00%| unknown
8.67/8.78	c   8.8s|     1 |     0 | 41880 |     - |    94M |   0 | 500 |7877 |8585 |1003 | 59 |   0 |   0 |-1.510982e+02 |-7.000000e+01 | 115.85%| unknown
8.77/8.84	c   8.8s|     1 |     0 | 42126 |     - |    94M |   0 | 500 |7877 |8601 |1019 | 60 |   0 |   0 |-1.509497e+02 |-7.000000e+01 | 115.64%| unknown
8.87/8.90	c   8.9s|     1 |     0 | 42362 |     - |    94M |   0 | 500 |7877 |8612 |1030 | 61 |   0 |   0 |-1.508214e+02 |-7.000000e+01 | 115.46%| unknown
8.87/8.96	c   9.0s|     1 |     0 | 42612 |     - |    94M |   0 | 500 |7877 |8627 |1045 | 62 |   0 |   0 |-1.506358e+02 |-7.000000e+01 | 115.19%| unknown
8.97/9.02	c   9.0s|     1 |     0 | 42853 |     - |    94M |   0 | 500 |7877 |8640 |1058 | 63 |   0 |   0 |-1.504956e+02 |-7.000000e+01 | 114.99%| unknown
8.97/9.09	c   9.1s|     1 |     0 | 43169 |     - |    94M |   0 | 500 |7877 |8619 |1068 | 64 |   0 |   0 |-1.503340e+02 |-7.000000e+01 | 114.76%| unknown
9.07/9.15	c   9.1s|     1 |     0 | 43426 |     - |    94M |   0 | 500 |7877 |8633 |1082 | 65 |   0 |   0 |-1.501953e+02 |-7.000000e+01 | 114.56%| unknown
9.17/9.20	c   9.2s|     1 |     0 | 43673 |     - |    94M |   0 | 500 |7877 |8647 |1096 | 66 |   0 |   0 |-1.500500e+02 |-7.000000e+01 | 114.36%| unknown
9.17/9.26	c   9.3s|     1 |     0 | 44002 |     - |    94M |   0 | 500 |7877 |8660 |1109 | 67 |   0 |   0 |-1.498970e+02 |-7.000000e+01 | 114.14%| unknown
9.27/9.31	c   9.3s|     1 |     0 | 44193 |     - |    94M |   0 | 500 |7877 |8672 |1121 | 68 |   0 |   0 |-1.498503e+02 |-7.000000e+01 | 114.07%| unknown
9.27/9.38	c   9.4s|     1 |     0 | 44512 |     - |    94M |   0 | 500 |7877 |8682 |1131 | 69 |   0 |   0 |-1.496118e+02 |-7.000000e+01 | 113.73%| unknown
9.37/9.45	c   9.4s|     1 |     0 | 44777 |     - |    94M |   0 | 500 |7877 |8662 |1149 | 70 |   0 |   0 |-1.494443e+02 |-7.000000e+01 | 113.49%| unknown
9.46/9.51	c   9.5s|     1 |     0 | 45106 |     - |    94M |   0 | 500 |7877 |8675 |1162 | 71 |   0 |   0 |-1.492858e+02 |-7.000000e+01 | 113.27%| unknown
9.46/9.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.46/9.56	c   9.6s|     1 |     0 | 45296 |     - |    94M |   0 | 500 |7877 |8683 |1170 | 72 |   0 |   0 |-1.492048e+02 |-7.000000e+01 | 113.15%| unknown
9.56/9.63	c   9.6s|     1 |     0 | 45634 |     - |    95M |   0 | 500 |7877 |8699 |1186 | 73 |   0 |   0 |-1.490508e+02 |-7.000000e+01 | 112.93%| unknown
9.56/9.68	c   9.7s|     1 |     0 | 45811 |     - |    95M |   0 | 500 |7877 |8710 |1197 | 74 |   0 |   0 |-1.489778e+02 |-7.000000e+01 | 112.83%| unknown
9.66/9.74	c   9.7s|     1 |     0 | 46084 |     - |    95M |   0 | 500 |7877 |8724 |1211 | 75 |   0 |   0 |-1.488611e+02 |-7.000000e+01 | 112.66%| unknown
9.76/9.80	c   9.8s|     1 |     0 | 46330 |     - |    95M |   0 | 500 |7877 |8674 |1222 | 76 |   0 |   0 |-1.487837e+02 |-7.000000e+01 | 112.55%| unknown
9.76/9.84	c   9.8s|     1 |     0 | 46515 |     - |    95M |   0 | 500 |7877 |8685 |1233 | 77 |   0 |   0 |-1.487038e+02 |-7.000000e+01 | 112.43%| unknown
9.76/9.89	c   9.9s|     1 |     0 | 46686 |     - |    95M |   0 | 500 |7877 |8699 |1247 | 78 |   0 |   0 |-1.486309e+02 |-7.000000e+01 | 112.33%| unknown
9.86/9.95	c   9.9s|     1 |     0 | 46943 |     - |    95M |   0 | 500 |7877 |8714 |1262 | 79 |   0 |   0 |-1.485484e+02 |-7.000000e+01 | 112.21%| unknown
9.86/10.00	c  10.0s|     1 |     0 | 47184 |     - |    95M |   0 | 500 |7877 |8727 |1275 | 80 |   0 |   0 |-1.484904e+02 |-7.000000e+01 | 112.13%| unknown
9.97/10.06	c  10.1s|     1 |     0 | 47408 |     - |    95M |   0 | 500 |7877 |8735 |1283 | 81 |   0 |   0 |-1.484382e+02 |-7.000000e+01 | 112.05%| unknown
10.07/10.10	c  10.1s|     1 |     0 | 47588 |     - |    95M |   0 | 500 |7877 |8687 |1295 | 82 |   0 |   0 |-1.484119e+02 |-7.000000e+01 | 112.02%| unknown
10.07/10.15	c  10.2s|     1 |     0 | 47795 |     - |    95M |   0 | 500 |7877 |8695 |1303 | 83 |   0 |   0 |-1.483861e+02 |-7.000000e+01 | 111.98%| unknown
10.16/10.20	c  10.2s|     1 |     0 | 48011 |     - |    95M |   0 | 500 |7877 |8706 |1314 | 84 |   0 |   0 |-1.483614e+02 |-7.000000e+01 | 111.94%| unknown
10.16/10.23	c  10.2s|     1 |     0 | 48117 |     - |    95M |   0 | 500 |7877 |8720 |1328 | 85 |   0 |   0 |-1.483499e+02 |-7.000000e+01 | 111.93%| unknown
10.16/10.27	c  10.3s|     1 |     0 | 48226 |     - |    95M |   0 | 500 |7877 |8731 |1339 | 86 |   0 |   0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
10.16/10.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.16/10.29	c  10.3s|     1 |     0 | 48230 |     - |    95M |   0 | 500 |7877 |8736 |1344 | 87 |   0 |   0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
10.26/10.32	c  10.3s|     1 |     0 | 48231 |     - |    95M |   0 | 500 |7877 |8683 |1346 | 88 |   0 |   0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
13.25/13.38	c  13.4s|     1 |     2 | 48242 |     - |    95M |   0 | 500 |7877 |8683 |1346 | 89 |   0 |  24 |-1.480000e+02 |-7.000000e+01 | 111.43%| unknown
62.23/62.48	c  62.5s|   100 |   101 |208237 |1616.9 |   216M |  17 | 500 |7877 |8512 |4040 |  1 |   0 | 273 |-1.464320e+02 |-7.000000e+01 | 109.19%| unknown
98.55/98.85	c  98.9s|   200 |   201 |407018 |1803.3 |   276M |  19 | 500 |7877 |8484 |6871 |  1 |   0 | 346 |-1.452144e+02 |-7.000000e+01 | 107.45%| unknown
141.05/141.45	c   141s|   300 |   301 |615370 |1897.0 |   314M |  19 | 500 |7877 |8594 |9756 |  1 |   0 | 436 |-1.441228e+02 |-7.000000e+01 | 105.89%| unknown
176.07/176.51	c   177s|   400 |   401 |782717 |1841.0 |   331M |  32 | 500 |7877 |8739 |  11k|  1 |   0 | 514 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
207.69/208.25	c   208s|   500 |   501 |930620 |1768.4 |   345M |  43 | 500 |7877 |8665 |  12k|  1 |   0 | 587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
232.12/232.78	c   233s|   600 |   601 |  1049k|1671.3 |   346M |  43 | 500 |7877 |8574 |  13k|  1 |   0 | 657 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
255.26/255.90	c   256s|   700 |   701 |  1181k|1621.7 |   363M |  44 | 500 |7877 |8675 |  14k|  8 |   0 | 672 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
273.21/273.98	c   274s|   800 |   801 |  1304k|1572.4 |   372M |  45 | 500 |7877 |8645 |  15k|  1 |   0 | 673 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
292.16/292.97	c   293s|   900 |   901 |  1428k|1535.5 |   377M |  45 | 500 |7877 |8656 |  16k|  1 |   0 | 690 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
315.01/315.83	c   316s|  1000 |  1001 |  1547k|1500.7 |   394M |  45 | 500 |7877 |8400 |  18k|  1 |   0 | 756 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
325.78/326.69	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
325.88/326.78	c (run 1, node 1049) performing user restart
325.88/326.78	c 
325.88/326.79	c (restart) converted 575 cuts from the global cut pool into linear constraints
325.88/326.79	c 
326.08/326.92	c presolving:
326.08/326.93	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 575 upgd conss, 0 impls, 8450 clqs
326.08/326.94	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
326.08/326.94	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
326.08/326.94	c  0 implications, 8451 cliques
326.08/326.94	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 8452 constraints
326.08/326.94	c       1 constraints of type <knapsack>
326.08/326.94	c    8451 constraints of type <setppc>
326.08/326.94	c transformed objective value is always integral (scale: 1)
326.08/326.94	c Presolving Time: 0.19
326.18/327.02	c transformed 93/100 original solutions to the transformed problem space
326.18/327.02	c 
326.67/327.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
326.67/327.56	c   328s|     1 |     0 |  1610k|     - |   407M |   0 | 500 |8452 |8452 |   0 |  0 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.77/327.64	c   328s|     1 |     0 |  1610k|     - |   410M |   0 | 500 |8452 |8458 |   6 |  1 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.87/327.72	c   328s|     1 |     0 |  1610k|     - |   403M |   0 | 500 |8452 |8466 |  14 |  2 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.97/327.81	c   328s|     1 |     0 |  1610k|     - |   410M |   0 | 500 |8452 |8472 |  20 |  3 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.97/327.89	c   328s|     1 |     0 |  1611k|     - |   413M |   0 | 500 |8452 |8479 |  27 |  4 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.07/327.98	c   328s|     1 |     0 |  1611k|     - |   416M |   0 | 500 |8452 |8486 |  34 |  5 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.18/328.09	c   328s|     1 |     0 |  1611k|     - |   425M |   0 | 500 |8452 |8496 |  44 |  6 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.37/328.20	c   328s|     1 |     0 |  1611k|     - |   432M |   0 | 500 |8452 |8502 |  50 |  7 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.47/328.31	c   328s|     1 |     0 |  1611k|     - |   438M |   0 | 500 |8452 |8512 |  60 |  8 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.58/328.43	c   328s|     1 |     0 |  1611k|     - |   445M |   0 | 500 |8452 |8520 |  68 |  9 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.68/328.56	c   329s|     1 |     0 |  1611k|     - |   453M |   0 | 500 |8452 |8528 |  76 | 10 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.78/328.63	c   329s|     1 |     0 |  1612k|     - |   453M |   0 | 500 |8452 |8537 |  85 | 11 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.87/328.71	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8545 |  93 | 12 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.97/328.80	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8503 | 103 | 13 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.97/328.87	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8515 | 115 | 14 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.07/328.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
328.07/328.96	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8531 | 131 | 15 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.18/329.05	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8542 | 142 | 16 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.28/329.13	c   329s|     1 |     0 |  1612k|     - |   454M |   0 | 500 |8452 |8557 | 157 | 17 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.37/329.22	c   329s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8565 | 165 | 18 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.47/329.31	c   329s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8532 | 174 | 19 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.47/329.39	c   329s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8545 | 187 | 20 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.57/329.47	c   329s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8556 | 198 | 21 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.67/329.56	c   330s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8568 | 210 | 22 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.77/329.67	c   330s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8581 | 223 | 23 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.87/329.76	c   330s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8593 | 235 | 24 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.97/329.85	c   330s|     1 |     0 |  1613k|     - |   454M |   0 | 500 |8452 |8531 | 243 | 25 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.07/329.93	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8543 | 255 | 26 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.18/330.03	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8561 | 273 | 27 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.28/330.12	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8574 | 286 | 28 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.37/330.22	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8586 | 298 | 29 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.47/330.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.47/330.31	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8600 | 312 | 30 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.57/330.42	c   330s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8569 | 323 | 31 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.67/330.51	c   331s|     1 |     0 |  1614k|     - |   454M |   0 | 500 |8452 |8576 | 330 | 32 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.77/330.60	c   331s|     1 |     0 |  1615k|     - |   455M |   0 | 500 |8452 |8590 | 344 | 33 |   0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
334.46/335.34	c   335s|     1 |     2 |  1615k|     - |   455M |   0 | 500 |8452 |8590 | 344 | 33 |   0 | 806 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
371.57/372.58	c   373s|   100 |   101 |  1715k|1444.3 |   459M |  38 | 500 |8452 |8440 | 526 |  1 |   0 |1086 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
391.62/392.68	c   393s|   200 |   201 |  1838k|1427.3 |   460M |  38 | 500 |8452 |8474 | 697 |  1 |   0 |1146 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
408.58/409.67	c   410s|   300 |   301 |  1933k|1391.3 |   460M |  41 | 500 |8452 |8470 | 876 |  1 |   0 |1216 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
423.24/424.35	c   424s|   400 |   401 |  2020k|1355.8 |   465M |  41 | 500 |8452 |8465 |1201 |  1 |   0 |1269 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
441.29/442.46	c   442s|   500 |   501 |  2126k|1336.3 |   469M |  41 | 500 |8452 |8469 |2037 |  1 |   0 |1313 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
459.95/461.10	c   461s|   600 |   601 |  2234k|1321.0 |   475M |  44 | 500 |8452 |8521 |2838 |  1 |   0 |1350 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
476.91/478.12	c   478s|   700 |   701 |  2337k|1304.4 |   484M |  44 | 500 |8452 |8497 |3907 |  1 |   0 |1374 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
491.66/492.91	c   493s|   800 |   801 |  2445k|1292.5 |   487M |  44 | 500 |8452 |8460 |5102 |  1 |   0 |1388 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
508.12/509.48	c   509s|   900 |   901 |  2565k|1287.5 |   490M |  45 | 500 |8452 |8533 |6968 |  1 |   0 |1388 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
523.58/524.91	c   525s|  1000 |  1001 |  2679k|1280.3 |   492M |  45 | 500 |8452 |8524 |8534 |  1 |   0 |1389 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
539.33/540.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
539.33/540.79	c   541s|  1100 |  1101 |  2782k|1268.7 |   495M |  45 | 500 |8452 |8478 |  10k|  1 |   0 |1389 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
555.39/556.84	c   557s|  1200 |  1201 |  2887k|1258.7 |   502M |  45 | 500 |8452 |8710 |  11k|  7 |   0 |1448 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
572.55/574.03	c   574s|  1300 |  1301 |  2992k|1249.8 |   504M |  45 | 500 |8452 |8549 |  13k|  1 |   0 |1469 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
587.51/589.07	c   589s|  1400 |  1401 |  3099k|1242.7 |   506M |  45 | 500 |8452 |8478 |  14k|  1 |   0 |1469 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
604.46/606.02	c   606s|  1500 |  1501 |  3199k|1233.0 |   517M |  46 | 500 |8452 |8461 |  16k|  1 |   0 |1496 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
621.61/623.28	c   623s|  1600 |  1601 |  3315k|1230.5 |   519M |  46 | 500 |8452 |8486 |  18k|  1 |   0 |1515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
638.56/640.23	c   640s|  1700 |  1701 |  3429k|1227.1 |   522M |  46 | 500 |8452 |8678 |  20k|  7 |   0 |1515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
649.92/651.60	c   652s|  1800 |  1801 |  3525k|1217.6 |   522M |  46 | 500 |8452 |8687 |  22k|  7 |   0 |1518 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
665.29/667.04	c   667s|  1900 |  1901 |  3624k|1210.1 |   523M |  46 | 500 |8452 |8470 |  24k|  1 |   0 |1556 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
683.63/685.47	c   685s|  2000 |  2001 |  3730k|1204.9 |   534M |  46 | 500 |8452 |8484 |  26k|  1 |   0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
697.49/699.33	c   699s|  2100 |  2101 |  3827k|1197.5 |   535M |  46 | 500 |8452 |8519 |  28k|  1 |   0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
709.06/710.91	c   711s|  2200 |  2201 |  3917k|1188.4 |   536M |  46 | 500 |8452 |8380 |  29k|  1 |   0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
725.61/727.58	c   728s|  2300 |  2301 |  4028k|1186.1 |   541M |  46 | 500 |8452 |8681 |  31k|  7 |   0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
742.67/744.67	c   745s|  2400 |  2401 |  4129k|1181.1 |   545M |  47 | 500 |8452 |8659 |  34k|  1 |   0 |1633 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
759.82/761.84	c   762s|  2500 |  2501 |  4240k|1179.1 |   551M |  47 | 500 |8452 |8622 |  36k|  1 |   0 |1633 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
773.88/775.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
773.88/775.91	c   776s|  2600 |  2601 |  4330k|1171.3 |   557M |  47 | 500 |8452 |8455 |  38k|  1 |   0 |1647 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
790.74/792.87	c   793s|  2700 |  2701 |  4432k|1167.3 |   562M |  47 | 500 |8452 |8660 |  40k|  1 |   0 |1655 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
807.59/809.75	c   810s|  2800 |  2801 |  4534k|1163.5 |   564M |  47 | 500 |8452 |8483 |  42k|  1 |   0 |1686 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
822.35/824.56	c   825s|  2900 |  2901 |  4633k|1159.1 |   567M |  47 | 500 |8452 |8518 |  44k|  1 |   0 |1687 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
835.42/837.68	c   838s|  3000 |  3001 |  4723k|1152.7 |   574M |  47 | 500 |8452 |8513 |  46k|  1 |   0 |1688 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
851.07/853.37	c   853s|  3100 |  3101 |  4814k|1146.9 |   575M |  47 | 500 |8452 |8492 |  48k|  1 |   0 |1693 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
864.34/866.61	c   867s|  3200 |  3201 |  4901k|1140.2 |   579M |  47 | 500 |8452 |8584 |  50k|  1 |   0 |1705 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
880.29/882.65	c   883s|  3300 |  3301 |  4998k|1136.5 |   580M |  47 | 500 |8452 |8481 |  52k|  1 |   0 |1706 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
896.45/898.83	c   899s|  3400 |  3401 |  5097k|1133.0 |   592M |  48 | 500 |8452 |8508 |  54k|  1 |   0 |1710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
909.91/912.36	c   912s|  3500 |  3501 |  5181k|1126.6 |   594M |  48 | 500 |8452 |8443 |  56k|  1 |   0 |1710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
924.28/926.77	c   927s|  3600 |  3601 |  5273k|1122.2 |   596M |  48 | 500 |8452 |8492 |  57k|  1 |   0 |1712 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
940.73/943.23	c   943s|  3700 |  3701 |  5372k|1119.4 |   596M |  48 | 500 |8452 |8702 |  59k|  7 |   0 |1728 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
953.09/955.65	c   956s|  3800 |  3801 |  5459k|1114.4 |   598M |  48 | 500 |8452 |8465 |  61k|  1 |   0 |1731 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
971.04/973.64	c   974s|  3900 |  3901 |  5561k|1112.3 |   613M |  48 | 500 |8452 |8482 |  63k|  1 |   0 |1735 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
987.10/989.70	c   990s|  4000 |  4001 |  5662k|1110.3 |   614M |  48 | 500 |8452 |8499 |  66k|  1 |   0 |1756 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1006.94/1009.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1006.94/1009.62	c  1010s|  4100 |  4101 |  5779k|1111.5 |   616M |  49 | 500 |8452 |8515 |  68k|  1 |   0 |1783 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1019.80/1022.54	c  1023s|  4200 |  4201 |  5869k|1107.4 |   618M |  49 | 500 |8452 |8491 |  70k|  1 |   0 |1796 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1039.45/1042.29	c  1042s|  4300 |  4301 |  5964k|1104.5 |   620M |  49 | 500 |8452 |8471 |  72k|  1 |   0 |1855 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1055.21/1058.05	c  1058s|  4400 |  4401 |  6059k|1101.8 |   621M |  49 | 500 |8452 |8467 |  74k|  1 |   0 |1855 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1070.56/1073.41	c  1073s|  4500 |  4501 |  6150k|1098.3 |   626M |  49 | 500 |8452 |8554 |  77k|  1 |   0 |1856 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1088.51/1091.47	c  1091s|  4600 |  4601 |  6253k|1097.0 |   637M |  49 | 500 |8452 |8637 |  79k|  8 |   0 |1858 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1107.95/1110.94	c  1111s|  4700 |  4701 |  6355k|1095.8 |   638M |  49 | 500 |8452 |8530 |  82k|  1 |   0 |1899 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1121.03/1124.03	c  1124s|  4800 |  4801 |  6442k|1091.8 |   639M |  49 | 500 |8452 |8591 |  83k|  1 |   0 |1903 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1134.29/1137.30	c  1137s|  4900 |  4901 |  6517k|1086.2 |   640M |  49 | 500 |8452 |8503 |  85k|  1 |   0 |1931 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1148.85/1151.96	c  1152s|  5000 |  5001 |  6609k|1083.3 |   642M |  49 | 500 |8452 |8527 |  87k|  1 |   0 |1935 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1165.70/1168.85	c  1169s|  5100 |  5101 |  6691k|1079.0 |   643M |  49 | 500 |8452 |8591 |  88k|  1 |   0 |1988 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1180.05/1183.28	c  1183s|  5200 |  5201 |  6776k|1075.4 |   649M |  49 | 500 |8452 |8610 |  90k|  1 |   0 |1991 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1195.81/1199.09	c  1199s|  5300 |  5301 |  6872k|1073.5 |   660M |  49 | 500 |8452 |8528 |  93k|  1 |   0 |2010 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1207.88/1211.14	c  1211s|  5400 |  5401 |  6945k|1068.2 |   660M |  49 | 500 |8452 |8518 |  94k|  1 |   0 |2013 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1218.44/1221.76	c  1222s|  5500 |  5501 |  7017k|1062.9 |   660M |  49 | 500 |8452 |8398 |  95k|  1 |   0 |2024 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1230.91/1234.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1230.91/1234.21	c  1234s|  5600 |  5601 |  7099k|1059.3 |   662M |  49 | 500 |8452 |8478 |  97k|  1 |   0 |2025 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1243.68/1247.10	c  1247s|  5700 |  5701 |  7184k|1056.2 |   662M |  49 | 500 |8452 |8518 |  98k|  1 |   0 |2026 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1254.95/1258.37	c  1258s|  5800 |  5801 |  7268k|1053.0 |   662M |  49 | 500 |8452 |8502 | 100k|  1 |   0 |2026 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1268.91/1272.34	c  1272s|  5900 |  5901 |  7358k|1050.8 |   664M |  49 | 500 |8452 |8524 | 101k|  1 |   0 |2061 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1283.36/1286.87	c  1287s|  6000 |  6001 |  7448k|1048.7 |   665M |  49 | 500 |8452 |8598 | 103k|  1 |   0 |2076 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1303.11/1306.69	c  1307s|  6100 |  6101 |  7545k|1047.6 |   666M |  49 | 500 |8452 |8633 | 106k|  1 |   0 |2100 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1318.47/1322.03	c  1322s|  6200 |  6201 |  7628k|1044.6 |   673M |  49 | 500 |8452 |8589 | 107k|  1 |   0 |2106 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1328.84/1332.40	c  1332s|  6300 |  6301 |  7700k|1040.1 |   673M |  49 | 500 |8452 |8464 | 109k|  1 |   0 |2110 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1341.31/1344.96	c  1345s|  6400 |  6401 |  7780k|1036.9 |   674M |  49 | 500 |8452 |8506 | 110k|  1 |   0 |2111 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1355.48/1359.12	c  1359s|  6500 |  6501 |  7849k|1032.3 |   689M |  49 | 500 |8452 |8582 | 111k|  1 |   0 |2112 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1366.46/1370.18	c  1370s|  6600 |  6601 |  7922k|1028.3 |   690M |  49 | 500 |8452 |8476 | 113k|  1 |   0 |2114 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1379.42/1383.12	c  1383s|  6700 |  6701 |  7993k|1024.3 |   692M |  51 | 500 |8452 |8613 | 114k|  1 |   0 |2115 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1394.48/1398.24	c  1398s|  6800 |  6801 |  8061k|1019.9 |   695M |  51 | 500 |8452 |8502 | 116k|  1 |   0 |2125 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1406.35/1410.16	c  1410s|  6900 |  6901 |  8137k|1016.6 |   695M |  51 | 500 |8452 |8488 | 117k|  1 |   0 |2127 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1421.01/1424.84	c  1425s|  7000 |  7001 |  8200k|1011.8 |   703M |  51 | 500 |8452 |8552 | 119k|  1 |   0 |2156 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1432.78/1436.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1432.78/1436.66	c  1437s|  7100 |  7101 |  8261k|1006.9 |   705M |  51 | 500 |8452 |8600 | 120k|  6 |   0 |2186 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1444.46/1448.35	c  1448s|  7200 |  7201 |  8317k|1001.5 |   720M |  51 | 500 |8452 |8490 | 121k|  1 |   0 |2218 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1454.73/1458.64	c  1459s|  7300 |  7301 |  8371k| 995.9 |   720M |  51 | 500 |8452 |8589 | 122k|  7 |   0 |2220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1465.79/1469.79	c  1470s|  7400 |  7401 |  8437k| 992.0 |   721M |  51 | 500 |8452 |8489 | 123k|  1 |   0 |2222 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1481.85/1485.83	c  1486s|  7500 |  7501 |  8504k| 988.1 |   721M |  51 | 500 |8452 |8652 | 124k|  1 |   0 |2243 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1492.93/1496.96	c  1497s|  7600 |  7601 |  8573k| 984.8 |   722M |  51 | 500 |8452 |8568 | 125k|  1 |   0 |2245 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1505.80/1509.81	c  1510s|  7700 |  7701 |  8640k| 981.1 |   722M |  51 | 500 |8452 |8477 | 127k|  1 |   0 |2262 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1515.88/1519.97	c  1520s|  7800 |  7801 |  8705k| 977.4 |   722M |  51 | 500 |8452 |8652 | 128k|  7 |   0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1528.64/1532.71	c  1533s|  7900 |  7901 |  8770k| 973.7 |   731M |  51 | 500 |8452 |8619 | 129k|  1 |   0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1542.71/1546.86	c  1547s|  8000 |  8001 |  8852k| 972.0 |   733M |  51 | 500 |8452 |8488 | 131k|  1 |   0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1557.97/1562.15	c  1562s|  8100 |  8101 |  8913k| 968.1 |   734M |  51 | 500 |8452 |8683 | 132k|  1 |   0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1568.84/1573.00	c  1573s|  8200 |  8201 |  8983k| 965.2 |   754M |  51 | 500 |8452 |8602 | 133k|  1 |   0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1580.41/1584.68	c  1585s|  8300 |  8301 |  9047k| 961.7 |   754M |  51 | 500 |8452 |8476 | 134k|  1 |   0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1594.97/1599.24	c  1599s|  8400 |  8401 |  9117k| 959.0 |   754M |  51 | 500 |8452 |8677 | 136k|  9 |   0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1608.54/1612.87	c  1613s|  8500 |  8501 |  9188k| 956.4 |   754M |  51 | 500 |8452 |8598 | 138k|  1 |   0 |2290 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1616.52/1620.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1616.52/1620.89	c  1621s|  8600 |  8601 |  9251k| 953.0 |   754M |  51 | 500 |8452 |8649 | 139k|  1 |   0 |2292 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1627.59/1631.96	c  1632s|  8700 |  8701 |  9317k| 950.0 |   757M |  51 | 500 |8452 |8524 | 140k|  1 |   0 |2328 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1635.97/1640.32	c  1640s|  8800 |  8801 |  9376k| 946.3 |   759M |  51 | 500 |8452 |8515 | 141k|  1 |   0 |2359 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1651.63/1656.01	c  1656s|  8900 |  8901 |  9447k| 943.9 |   760M |  51 | 500 |8452 |8492 | 142k|  1 |   0 |2380 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1663.80/1668.24	c  1668s|  9000 |  9001 |  9506k| 940.4 |   760M |  51 | 500 |8452 |8539 | 143k|  1 |   0 |2392 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1676.77/1681.24	c  1681s|  9100 |  9101 |  9568k| 937.2 |   773M |  51 | 500 |8452 |8488 | 144k|  1 |   0 |2401 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1686.35/1690.80	c  1691s|  9200 |  9201 |  9625k| 933.7 |   775M |  52 | 500 |8452 |8527 | 145k|  1 |   0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1699.31/1703.83	c  1704s|  9300 |  9301 |  9683k| 930.2 |   800M |  52 | 500 |8452 |8505 | 146k|  1 |   0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1711.68/1716.26	c  1716s|  9400 |  9401 |  9752k| 928.0 |   800M |  52 | 500 |8452 |8586 | 148k|  1 |   0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1723.74/1728.37	c  1728s|  9500 |  9501 |  9816k| 925.2 |   801M |  52 | 500 |8452 |8474 | 149k|  1 |   0 |2418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1734.71/1739.31	c  1739s|  9600 |  9601 |  9884k| 922.9 |   802M |  52 | 500 |8452 |8571 | 150k|  1 |   0 |2438 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1744.38/1749.10	c  1749s|  9700 |  9701 |  9943k| 919.8 |   803M |  52 | 500 |8452 |8632 | 151k|  1 |   0 |2441 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1753.65/1758.35	c  1758s|  9800 |  9801 | 10003k| 916.8 |   803M |  52 | 500 |8452 |8374 | 152k|  1 |   0 |2441 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1766.01/1770.70	c  1771s|  9900 |  9901 | 10065k| 914.1 |   805M |  52 | 500 |8452 |8515 | 153k|  1 |   0 |2451 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1779.77/1784.58	c  1785s| 10000 | 10001 | 10126k| 911.4 |   805M |  52 | 500 |8452 |8575 | 154k|  1 |   0 |2466 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1792.54/1797.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1792.54/1797.35	c  1797s| 10100 | 10101 | 10183k| 908.4 |   807M |  52 | 500 |8452 |8647 | 155k|  1 |   0 |2500 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1806.51/1811.30	c  1811s| 10200 | 10201 | 10243k| 905.6 |   807M |  52 | 500 |8452 |8553 | 156k|  1 |   0 |2527 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1816.18/1821.06	c  1821s| 10300 | 10301 | 10302k| 902.8 |   819M |  52 | 500 |8452 |8582 | 158k|  1 |   0 |2533 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1827.95/1832.89	c  1833s| 10400 | 10401 | 10361k| 900.0 |   819M |  52 | 500 |8452 |8515 | 159k|  1 |   0 |2537 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1842.70/1847.63	c  1848s| 10500 | 10501 | 10427k| 898.0 |   846M |  52 | 500 |8452 |8496 | 160k|  1 |   0 |2554 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1859.65/1864.69	c  1865s| 10600 | 10601 | 10489k| 895.6 |   848M |  52 | 500 |8452 |8614 | 162k|  1 |   0 |2569 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1869.32/1874.33	c  1874s| 10700 | 10701 | 10550k| 893.2 |   848M |  52 | 500 |8452 |8547 | 163k|  1 |   0 |2571 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1884.19/1889.29	c  1889s| 10800 | 10801 | 10610k| 890.7 |   848M |  52 | 500 |8452 |8624 | 164k|  1 |   0 |2587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1897.65/1902.74	c  1903s| 10900 | 10899 | 10678k| 888.9 |   850M |  52 | 500 |8452 |8570 | 166k|  1 |   0 |2587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1909.51/1914.63	c  1915s| 11000 | 10999 | 10743k| 887.0 |   852M |  52 | 500 |8452 |8495 | 167k|  1 |   0 |2592 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1923.57/1928.70	c  1929s| 11100 | 11099 | 10813k| 885.4 |   853M |  52 | 500 |8452 |8680 | 168k|  1 |   0 |2594 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1935.14/1940.34	c  1940s| 11200 | 11199 | 10876k| 883.3 |   853M |  52 | 500 |8452 |8567 | 169k|  1 |   0 |2595 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1948.70/1953.98	c  1954s| 11300 | 11299 | 10952k| 882.4 |   853M |  52 | 500 |8452 |8553 | 171k|  1 |   0 |2595 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1962.96/1968.22	c  1968s| 11400 | 11399 | 11014k| 880.3 |   856M |  52 | 500 |8452 |8648 | 172k|  1 |   0 |2600 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1979.01/1984.36	c  1984s| 11500 | 11499 | 11081k| 878.5 |   856M |  52 | 500 |8452 |8570 | 174k|  1 |   0 |2611 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1994.46/1999.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1994.46/1999.88	c  2000s| 11600 | 11599 | 11150k| 877.1 |   871M |  52 | 500 |8452 |8657 | 175k|  1 |   0 |2634 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2006.14/2011.51	c  2012s| 11700 | 11699 | 11210k| 874.9 |   872M |  52 | 500 |8452 |8495 | 176k|  1 |   0 |2635 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2016.41/2021.86	c  2022s| 11800 | 11799 | 11273k| 873.0 |   873M |  52 | 500 |8452 |8576 | 177k|  1 |   0 |2674 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2026.68/2032.16	c  2032s| 11900 | 11899 | 11331k| 870.7 |   873M |  52 | 500 |8452 |8611 | 178k|  1 |   0 |2685 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2040.24/2045.72	c  2046s| 12000 | 11999 | 11389k| 868.5 |   905M |  52 | 500 |8452 |8679 | 180k|  1 |   0 |2710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2051.51/2057.04	c  2057s| 12100 | 12099 | 11457k| 867.1 |   905M |  52 | 500 |8452 |8474 | 181k|  1 |   0 |2735 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2064.67/2070.29	c  2070s| 12200 | 12199 | 11526k| 865.7 |   908M |  52 | 500 |8452 |8552 | 182k|  1 |   0 |2743 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2075.64/2081.25	c  2081s| 12300 | 12299 | 11596k| 864.5 |   908M |  52 | 500 |8452 |8585 | 184k|  1 |   0 |2754 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2085.91/2091.54	c  2092s| 12400 | 12399 | 11663k| 863.0 |   908M |  52 | 500 |8452 |8552 | 185k|  1 |   0 |2754 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2097.17/2102.86	c  2103s| 12500 | 12499 | 11718k| 860.7 |   909M |  52 | 500 |8452 |8551 | 186k|  1 |   0 |2758 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2112.73/2118.42	c  2118s| 12600 | 12599 | 11774k| 858.5 |   910M |  52 | 500 |8452 |8630 | 187k|  1 |   0 |2762 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2123.60/2129.30	c  2129s| 12700 | 12699 | 11833k| 856.5 |   910M |  52 | 500 |8452 |8580 | 188k|  6 |   0 |2795 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2135.16/2140.92	c  2141s| 12800 | 12799 | 11901k| 855.3 |   910M |  52 | 500 |8452 |8654 | 189k|  1 |   0 |2800 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2147.93/2153.79	c  2154s| 12900 | 12899 | 11961k| 853.5 |   912M |  52 | 500 |8452 |8534 | 191k|  1 |   0 |2830 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2160.69/2166.56	c  2167s| 13000 | 12999 | 12023k| 851.8 |   912M |  52 | 500 |8452 |8647 | 192k|  1 |   0 |2834 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2171.06/2176.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2171.06/2176.92	c  2177s| 13100 | 13099 | 12083k| 850.0 |   913M |  52 | 500 |8452 |8604 | 193k|  1 |   0 |2859 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2183.23/2189.11	c  2189s| 13200 | 13197 | 12140k| 848.0 |   915M |  52 | 500 |8452 |8508 | 194k|  1 |   0 |2860 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2196.28/2202.21	c  2202s| 13300 | 13297 | 12200k| 846.3 |   916M |  52 | 500 |8452 |8579 | 195k|  1 |   0 |2861 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2205.56/2211.51	c  2212s| 13400 | 13397 | 12256k| 844.3 |   917M |  52 | 500 |8452 |8579 | 196k|  1 |   0 |2864 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2215.53/2221.54	c  2222s| 13500 | 13497 | 12313k| 842.5 |   935M |  52 | 500 |8452 |8671 | 197k|  1 |   0 |2864 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2229.59/2235.61	c  2236s| 13600 | 13597 | 12374k| 840.8 |   935M |  52 | 500 |8452 |8573 | 198k|  1 |   0 |2897 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2242.56/2248.64	c  2249s| 13700 | 13697 | 12439k| 839.5 |   935M |  52 | 500 |8452 |8542 | 200k|  1 |   0 |2897 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2255.12/2261.24	c  2261s| 13800 | 13797 | 12505k| 838.4 |   937M |  52 | 500 |8452 |8504 | 201k|  1 |   0 |2918 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2268.38/2274.51	c  2275s| 13900 | 13897 | 12564k| 836.7 |   975M |  52 | 500 |8452 |8613 | 202k|  1 |   0 |2927 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2281.34/2287.50	c  2287s| 14000 | 13997 | 12632k| 835.7 |   979M |  52 | 500 |8452 |8551 | 203k|  1 |   0 |2930 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2293.20/2299.40	c  2299s| 14100 | 14097 | 12690k| 834.0 |   980M |  52 | 500 |8452 |8510 | 204k|  1 |   0 |2931 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2306.66/2312.96	c  2313s| 14200 | 14197 | 12747k| 832.2 |   981M |  52 | 500 |8452 |8583 | 206k|  1 |   0 |2935 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2321.02/2327.36	c  2327s| 14300 | 14297 | 12805k| 830.6 |   983M |  52 | 500 |8452 |8596 | 207k|  1 |   0 |2961 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2336.87/2343.22	c  2343s| 14400 | 14397 | 12866k| 829.1 |   984M |  52 | 500 |8452 |8608 | 208k|  1 |   0 |2974 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2345.15/2351.59	c  2352s| 14500 | 14497 | 12921k| 827.3 |   985M |  52 | 500 |8452 |8607 | 209k|  1 |   0 |2989 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2356.43/2362.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2356.43/2362.80	c  2363s| 14600 | 14597 | 12972k| 825.4 |   986M |  52 | 500 |8452 |8678 | 210k|  5 |   0 |2990 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2364.71/2371.12	c  2371s| 14700 | 14697 | 13017k| 822.9 |   986M |  53 | 500 |8452 |8648 | 211k|  1 |   0 |3005 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2374.88/2381.30	c  2381s| 14800 | 14797 | 13064k| 820.7 |   988M |  53 | 500 |8452 |8519 | 211k|  1 |   0 |3005 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2386.05/2392.58	c  2393s| 14900 | 14897 | 13114k| 818.7 |   988M |  53 | 500 |8452 |8599 | 212k|  1 |   0 |3006 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2395.92/2402.43	c  2402s| 15000 | 14997 | 13166k| 816.9 |   990M |  53 | 500 |8452 |8629 | 213k|  1 |   0 |3018 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2407.50/2414.09	c  2414s| 15100 | 15097 | 13228k| 815.7 |   990M |  53 | 500 |8452 |8530 | 214k|  1 |   0 |3029 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2417.57/2424.19	c  2424s| 15200 | 15197 | 13287k| 814.3 |   992M |  53 | 500 |8452 |8616 | 215k|  1 |   0 |3030 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2431.03/2437.60	c  2438s| 15300 | 15297 | 13351k| 813.2 |   992M |  53 | 500 |8452 |8615 | 216k|  1 |   0 |3031 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2439.71/2446.33	c  2446s| 15400 | 15397 | 13406k| 811.6 |   994M |  53 | 500 |8452 |8489 | 217k|  1 |   0 |3032 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2451.49/2458.18	c  2458s| 15500 | 15497 | 13462k| 810.1 |  1017M |  53 | 500 |8452 |8597 | 218k|  1 |   0 |3077 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2462.85/2469.58	c  2470s| 15600 | 15597 | 13521k| 808.7 |  1017M |  53 | 500 |8452 |8616 | 220k|  1 |   0 |3098 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2472.03/2478.75	c  2479s| 15700 | 15697 | 13577k| 807.3 |  1017M |  53 | 500 |8452 |8603 | 221k|  7 |   0 |3121 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2483.20/2489.91	c  2490s| 15800 | 15797 | 13635k| 805.9 |  1017M |  53 | 500 |8452 |8591 | 221k|  6 |   0 |3122 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2496.97/2503.77	c  2504s| 15900 | 15895 | 13690k| 804.4 |  1019M |  53 | 500 |8452 |8666 | 222k|  1 |   0 |3139 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2505.44/2512.26	c  2512s| 16000 | 15995 | 13740k| 802.6 |  1020M |  53 | 500 |8452 |8551 | 223k|  1 |   0 |3143 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2518.71/2525.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2518.71/2525.52	c  2526s| 16100 | 16095 | 13807k| 801.8 |  1067M |  53 | 500 |8452 |8463 | 224k|  1 |   0 |3156 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2533.18/2540.03	c  2540s| 16200 | 16193 | 13865k| 800.6 |  1068M |  53 | 500 |8452 |8665 | 226k|  1 |   0 |3157 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2541.05/2547.96	c  2548s| 16300 | 16293 | 13914k| 798.8 |  1069M |  53 | 500 |8452 |8522 | 226k|  1 |   0 |3160 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2551.43/2558.38	c  2558s| 16400 | 16393 | 13968k| 797.3 |  1069M |  53 | 500 |8452 |8624 | 227k|  1 |   0 |3162 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2563.49/2570.44	c  2570s| 16500 | 16493 | 14012k| 795.3 |  1071M |  53 | 500 |8452 |8631 | 228k|  1 |   0 |3177 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2575.96/2582.99	c  2583s| 16600 | 16593 | 14070k| 794.0 |  1071M |  53 | 500 |8452 |8628 | 229k|  1 |   0 |3192 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2586.83/2593.80	c  2594s| 16700 | 16693 | 14130k| 792.9 |  1072M |  53 | 500 |8452 |8498 | 230k|  1 |   0 |3192 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2599.40/2606.47	c  2606s| 16800 | 16793 | 14194k| 792.1 |  1072M |  53 | 500 |8452 |8529 | 231k|  1 |   0 |3210 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2609.57/2616.66	c  2617s| 16900 | 16893 | 14241k| 790.3 |  1075M |  53 | 500 |8452 |8488 | 232k|  1 |   0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2618.85/2625.91	c  2626s| 17000 | 16993 | 14299k| 789.1 |  1076M |  53 | 500 |8452 |8481 | 233k|  1 |   0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2636.20/2643.35	c  2643s| 17100 | 17093 | 14373k| 788.9 |  1076M |  53 | 500 |8452 |8598 | 235k|  1 |   0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2647.87/2655.07	c  2655s| 17200 | 17193 | 14426k| 787.4 |  1077M |  53 | 500 |8452 |8605 | 236k|  7 |   0 |3221 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2662.54/2669.74	c  2670s| 17300 | 17293 | 14484k| 786.3 |  1078M |  53 | 500 |8452 |8534 | 237k|  1 |   0 |3221 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2671.12/2678.37	c  2678s| 17400 | 17391 | 14530k| 784.5 |  1080M |  53 | 500 |8452 |8633 | 238k|  1 |   0 |3237 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2686.68/2693.90	c  2694s| 17500 | 17491 | 14584k| 783.2 |  1080M |  53 | 500 |8452 |8630 | 239k|  1 |   0 |3279 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2698.85/2706.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2698.85/2706.18	c  2706s| 17600 | 17589 | 14629k| 781.4 |  1081M |  53 | 500 |8452 |8491 | 240k|  1 |   0 |3280 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2712.61/2719.91	c  2720s| 17700 | 17689 | 14689k| 780.5 |  1108M |  53 | 500 |8452 |8519 | 242k|  1 |   0 |3282 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2723.48/2730.87	c  2731s| 17800 | 17789 | 14742k| 779.1 |  1108M |  53 | 500 |8452 |8581 | 243k|  1 |   0 |3309 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2734.45/2741.85	c  2742s| 17900 | 17889 | 14794k| 777.7 |  1108M |  53 | 500 |8452 |8573 | 244k|  1 |   0 |3337 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2743.34/2750.79	c  2751s| 18000 | 17989 | 14837k| 775.9 |  1110M |  53 | 500 |8452 |8502 | 244k|  1 |   0 |3379 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2756.71/2764.14	c  2764s| 18100 | 18089 | 14895k| 774.9 |  1110M |  53 | 500 |8452 |8596 | 245k|  1 |   0 |3381 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2763.59/2771.02	c  2771s| 18200 | 18189 | 14934k| 772.9 |  1165M |  53 | 500 |8452 |8496 | 245k|  1 |   0 |3392 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2774.05/2781.55	c  2782s| 18300 | 18289 | 14993k| 772.0 |  1167M |  53 | 500 |8452 |8491 | 246k|  1 |   0 |3403 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2785.22/2792.71	c  2793s| 18400 | 18389 | 15042k| 770.5 |  1167M |  53 | 500 |8452 |8551 | 247k|  5 |   0 |3415 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2795.00/2802.52	c  2803s| 18500 | 18489 | 15099k| 769.5 |  1167M |  53 | 500 |8452 |8592 | 248k|  1 |   0 |3415 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2800.59/2808.16	c  2808s| 18600 | 18589 | 15143k| 767.8 |  1167M |  53 | 500 |8452 |8617 | 249k|  1 |   0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2809.66/2817.29	c  2817s| 18700 | 18689 | 15198k| 766.7 |  1167M |  53 | 500 |8452 |8625 | 250k|  1 |   0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2822.54/2830.16	c  2830s| 18800 | 18789 | 15253k| 765.6 |  1167M |  53 | 500 |8452 |8555 | 251k|  7 |   0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2832.70/2840.32	c  2840s| 18900 | 18889 | 15307k| 764.5 |  1167M |  53 | 500 |8452 |8596 | 252k|  1 |   0 |3417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2846.37/2854.10	c  2854s| 19000 | 18989 | 15365k| 763.6 |  1168M |  53 | 500 |8452 |8617 | 253k|  1 |   0 |3418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2857.74/2865.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2857.74/2865.42	c  2865s| 19100 | 19089 | 15423k| 762.6 |  1169M |  53 | 500 |8452 |8575 | 254k|  1 |   0 |3418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2868.91/2876.69	c  2877s| 19200 | 19187 | 15478k| 761.6 |  1169M |  53 | 500 |8452 |8601 | 255k|  1 |   0 |3419 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2880.48/2888.22	c  2888s| 19300 | 19285 | 15531k| 760.5 |  1170M |  53 | 500 |8452 |8617 | 256k|  1 |   0 |3419 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2894.15/2901.91	c  2902s| 19400 | 19385 | 15584k| 759.3 |  1172M |  53 | 500 |8452 |8634 | 257k|  1 |   0 |3420 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2900.34/2908.13	c  2908s| 19500 | 19485 | 15625k| 757.7 |  1172M |  53 | 500 |8452 |8564 | 258k|  1 |   0 |3421 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2909.31/2917.17	c  2917s| 19600 | 19585 | 15669k| 756.1 |  1172M |  53 | 500 |8452 |8556 | 258k|  1 |   0 |3421 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2922.18/2930.06	c  2930s| 19700 | 19685 | 15726k| 755.2 |  1173M |  53 | 500 |8452 |8612 | 259k|  1 |   0 |3422 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2932.15/2940.07	c  2940s| 19800 | 19785 | 15781k| 754.2 |  1173M |  53 | 500 |8452 |8520 | 260k|  1 |   0 |3437 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2943.61/2951.54	c  2952s| 19900 | 19885 | 15840k| 753.4 |  1175M |  53 | 500 |8452 |8625 | 261k|  1 |   0 |3470 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2955.08/2963.06	c  2963s| 20000 | 19985 | 15895k| 752.5 |  1177M |  53 | 500 |8452 |8506 | 262k|  1 |   0 |3497 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2973.03/2981.08	c  2981s| 20100 | 20083 | 15946k| 751.3 |  1178M |  53 | 500 |8452 |8589 | 263k|  1 |   0 |3499 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2986.38/2994.43	c  2994s| 20200 | 20183 | 15988k| 749.8 |  1179M |  53 | 500 |8452 |8569 | 264k|  1 |   0 |3513 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2997.45/3005.50	c  3006s| 20300 | 20283 | 16040k| 748.7 |  1180M |  53 | 500 |8452 |8628 | 265k|  1 |   0 |3515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3011.71/3019.87	c  3020s| 20400 | 20383 | 16095k| 747.8 |  1212M |  53 | 500 |8452 |8712 | 266k|  8 |   0 |3526 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3023.08/3031.21	c  3031s| 20500 | 20483 | 16152k| 746.9 |  1212M |  53 | 500 |8452 |8629 | 267k|  1 |   0 |3526 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3034.05/3042.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3034.05/3042.23	c  3042s| 20600 | 20583 | 16206k| 746.0 |  1214M |  53 | 500 |8452 |8616 | 268k|  7 |   0 |3534 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3044.62/3052.81	c  3053s| 20700 | 20681 | 16251k| 744.6 |  1217M |  53 | 500 |8452 |8589 | 269k|  1 |   0 |3537 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3055.89/3064.11	c  3064s| 20800 | 20781 | 16306k| 743.7 |  1217M |  53 | 500 |8452 |8555 | 270k|  1 |   0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3065.26/3073.58	c  3074s| 20900 | 20879 | 16356k| 742.6 |  1217M |  53 | 500 |8452 |8537 | 271k|  1 |   0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3076.32/3084.60	c  3085s| 21000 | 20979 | 16411k| 741.8 |  1218M |  53 | 500 |8452 |8541 | 272k|  1 |   0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3089.39/3097.80	c  3098s| 21100 | 21077 | 16461k| 740.7 |  1285M |  53 | 500 |8452 |8560 | 273k|  1 |   0 |3548 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3101.35/3109.72	c  3110s| 21200 | 21177 | 16509k| 739.5 |  1288M |  53 | 500 |8452 |8579 | 274k|  7 |   0 |3549 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3111.32/3119.73	c  3120s| 21300 | 21277 | 16561k| 738.5 |  1288M |  53 | 500 |8452 |8632 | 275k|  1 |   0 |3549 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3123.59/3132.08	c  3132s| 21400 | 21377 | 16614k| 737.6 |  1291M |  53 | 500 |8452 |8638 | 276k|  1 |   0 |3553 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3136.76/3145.22	c  3145s| 21500 | 21477 | 16670k| 736.8 |  1292M |  53 | 500 |8452 |8576 | 277k|  1 |   0 |3553 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3151.31/3159.85	c  3160s| 21600 | 21573 | 16717k| 735.6 |  1292M |  53 | 500 |8452 |8573 | 278k|  1 |   0 |3554 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3159.98/3168.55	c  3169s| 21700 | 21673 | 16757k| 734.1 |  1294M |  53 | 500 |8452 |8548 | 279k|  1 |   0 |3555 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3171.74/3180.38	c  3180s| 21800 | 21765 | 16817k| 733.5 |  1296M |  53 | 500 |8452 |8602 | 280k|  1 |   0 |3557 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3186.10/3194.70	c  3195s| 21900 | 21865 | 16889k| 733.5 |  1299M |  53 | 500 |8452 |8666 | 281k|  2 |   0 |3563 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3201.96/3210.61	c  3211s| 22000 | 21961 | 16955k| 733.2 |  1299M |  53 | 500 |8452 |8591 | 282k|  1 |   0 |3591 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3217.62/3226.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3217.62/3226.39	c  3226s| 22100 | 22061 | 17027k| 733.1 |  1299M |  53 | 500 |8452 |8522 | 283k|  1 |   0 |3620 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3232.08/3240.82	c  3241s| 22200 | 22161 | 17103k| 733.2 |  1299M |  53 | 500 |8452 |8581 | 284k|  1 |   0 |3621 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3247.83/3256.60	c  3257s| 22300 | 22261 | 17172k| 733.1 |  1300M |  54 | 500 |8452 |8581 | 285k|  7 |   0 |3637 |-1.439364e+02 |-7.000000e+01 | 105.62%| unknown
3261.59/3270.41	c  3270s| 22400 | 22361 | 17235k| 732.6 |  1303M |  54 | 500 |8452 |8515 | 287k|  1 |   0 |3649 |-1.436477e+02 |-7.000000e+01 | 105.21%| unknown
3273.65/3282.58	c  3283s| 22500 | 22461 | 17300k| 732.3 |  1304M |  54 | 500 |8452 |8615 | 287k|  1 |   0 |3652 |-1.435858e+02 |-7.000000e+01 | 105.12%| unknown
3292.11/3301.09	c  3301s| 22600 | 22557 | 17371k| 732.2 |  1307M |  54 | 500 |8452 |8639 | 289k|  1 |   0 |3658 |-1.434932e+02 |-7.000000e+01 | 104.99%| unknown
3309.06/3318.09	c  3318s| 22700 | 22655 | 17435k| 731.8 |  1308M |  54 | 500 |8452 |8619 | 290k|  8 |   0 |3676 |-1.433977e+02 |-7.000000e+01 | 104.85%| unknown
3325.51/3334.51	c  3335s| 22800 | 22755 | 17515k| 732.1 |  1310M |  54 | 500 |8452 |8649 | 292k|  1 |   0 |3676 |-1.431412e+02 |-7.000000e+01 | 104.49%| unknown
3338.27/3347.33	c  3347s| 22900 | 22855 | 17587k| 732.0 |  1313M |  54 | 500 |8452 |8500 | 293k|  1 |   0 |3678 |-1.431035e+02 |-7.000000e+01 | 104.43%| unknown
3351.53/3360.60	c  3361s| 23000 | 22955 | 17663k| 732.1 |  1313M |  54 | 500 |8452 |8484 | 294k|  1 |   0 |3689 |-1.429827e+02 |-7.000000e+01 | 104.26%| unknown
3366.79/3375.93	c  3376s| 23100 | 23055 | 17729k| 731.8 |  1315M |  54 | 500 |8452 |8636 | 295k|  1 |   0 |3698 |-1.427285e+02 |-7.000000e+01 | 103.90%| unknown
3381.35/3390.52	c  3391s| 23200 | 23155 | 17810k| 732.1 |  1316M |  54 | 500 |8452 |8621 | 297k|  1 |   0 |3701 |-1.425843e+02 |-7.000000e+01 | 103.69%| unknown
3394.91/3404.17	c  3404s| 23300 | 23255 | 17882k| 732.1 |  1318M |  54 | 500 |8452 |8542 | 298k|  1 |   0 |3705 |-1.423904e+02 |-7.000000e+01 | 103.41%| unknown
3408.57/3417.89	c  3418s| 23400 | 23355 | 17944k| 731.6 |  1319M |  54 | 500 |8452 |8670 | 299k|  7 |   0 |3725 |-1.420535e+02 |-7.000000e+01 | 102.93%| unknown
3424.02/3433.35	c  3433s| 23500 | 23455 | 18023k| 731.9 |  1363M |  54 | 500 |8452 |8517 | 301k|  1 |   0 |3725 |-1.418216e+02 |-7.000000e+01 | 102.60%| unknown
3438.97/3448.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3438.97/3448.34	c  3448s| 23600 | 23555 | 18095k| 731.8 |  1363M |  54 | 500 |8452 |8611 | 302k|  1 |   0 |3727 |-1.417598e+02 |-7.000000e+01 | 102.51%| unknown
3453.23/3462.64	c  3463s| 23700 | 23655 | 18167k| 731.8 |  1367M |  54 | 500 |8452 |8658 | 303k|  8 |   0 |3727 |-1.416627e+02 |-7.000000e+01 | 102.38%| unknown
3469.99/3479.47	c  3479s| 23800 | 23753 | 18244k| 731.9 |  1374M |  54 | 500 |8452 |8637 | 304k|  1 |   0 |3735 |-1.413435e+02 |-7.000000e+01 | 101.92%| unknown
3482.35/3491.88	c  3492s| 23900 | 23853 | 18305k| 731.5 |  1380M |  54 | 500 |8452 |8495 | 305k|  1 |   0 |3745 |-1.411954e+02 |-7.000000e+01 | 101.71%| unknown
3495.71/3505.24	c  3505s| 24000 | 23953 | 18363k| 730.8 |  1389M |  54 | 500 |8452 |8650 | 306k|  3 |   0 |3749 |-1.410249e+02 |-7.000000e+01 | 101.46%| unknown
3506.28/3515.80	c  3516s| 24100 | 24053 | 18434k| 730.7 |  1389M |  54 | 500 |8452 |8566 | 307k|  1 |   0 |3750 |-1.409212e+02 |-7.000000e+01 | 101.32%| unknown
3519.94/3529.51	c  3530s| 24200 | 24153 | 18503k| 730.6 |  1469M |  54 | 500 |8452 |8502 | 308k|  1 |   0 |3752 |-1.406543e+02 |-7.000000e+01 | 100.93%| unknown
3535.51/3545.19	c  3545s| 24300 | 24253 | 18570k| 730.4 |  1470M |  54 | 500 |8452 |8601 | 309k|  1 |   0 |3756 |-1.405513e+02 |-7.000000e+01 | 100.79%| unknown
3551.96/3561.61	c  3562s| 24400 | 24353 | 18656k| 730.9 |  1470M |  54 | 500 |8452 |8602 | 311k|  1 |   0 |3770 |-1.404856e+02 |-7.000000e+01 | 100.69%| unknown
3563.33/3573.07	c  3573s| 24500 | 24451 | 18711k| 730.2 |  1472M |  54 | 500 |8452 |8658 | 312k|  8 |   0 |3781 |-1.403856e+02 |-7.000000e+01 | 100.55%| unknown
3574.79/3584.56	c  3585s| 24600 | 24551 | 18770k| 729.6 |  1472M |  54 | 500 |8452 |8573 | 312k|  1 |   0 |3782 |-1.403094e+02 |-7.000000e+01 | 100.44%| unknown
3587.15/3597.00	c 
3587.15/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.15/3597.00	c Solving Time (sec) : 3597.00
3587.15/3597.00	c Solving Nodes      : 24690 (total of 25739 nodes in 2 runs)
3587.15/3597.00	c Primal Bound       : -7.00000000000000e+01 (480 solutions)
3587.15/3597.00	c Dual Bound         : -1.40255601740471e+02
3587.15/3597.00	c Gap                : 100.37 %
3587.26/3597.00	s SATISFIABLE
3587.26/3597.01	v x500 x499 x498 -x497 x496 x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 x486 -x485 -x484 x483 -x482 -x481 -x480 x479 -x478 
3587.26/3597.01	v -x477 x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 x463 -x462 -x461 x460 x459 x458 x457 -x456 
3587.26/3597.01	v -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 -x434 
3587.26/3597.01	v -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
3587.26/3597.01	v -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
3587.26/3597.01	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
3587.26/3597.01	v -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 -x348 
3587.26/3597.01	v x347 -x346 x345 -x344 -x343 x342 -x341 -x340 x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 
3587.26/3597.01	v -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305 
3587.26/3597.01	v -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 
3587.26/3597.01	v -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 
3587.26/3597.01	v -x261 -x260 x259 x258 x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 
3587.26/3597.01	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 
3587.26/3597.01	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 
3587.26/3597.01	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 x181 -x180 -x179 -x178 
3587.26/3597.01	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 
3587.26/3597.01	v -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
3587.26/3597.01	v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
3587.26/3597.01	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3587.26/3597.01	v -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
3587.26/3597.01	v -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 
3587.26/3597.01	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
3587.26/3597.01	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
3587.26/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.26/3597.01	c Total Time         :    3597.00
3587.26/3597.01	c   solving          :    3597.00
3587.26/3597.01	c   presolving       :       0.19 (included in solving)
3587.26/3597.01	c   reading          :       0.02 (included in solving)
3587.26/3597.01	c   copying          :       0.21 (21 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.26/3597.01	c Original Problem   :
3587.26/3597.01	c   Problem name     : HOME/instance-4459808-1721939463.opb
3587.26/3597.01	c   Variables        : 8377 (500 binary, 0 integer, 7877 implicit integer, 0 continuous)
3587.26/3597.01	c   Constraints      : 8877 initial, 8877 maximal
3587.26/3597.01	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.26/3597.01	c Presolved Problem  :
3587.26/3597.01	c   Problem name     : t_HOME/instance-4459808-1721939463.opb
3587.26/3597.01	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.26/3597.01	c   Constraints      : 8452 initial, 8452 maximal
3587.26/3597.01	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.26/3597.01	c   Nonzeros         : 17598 constraint, 17591 clique table
3587.26/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.26/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   trivial          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dualfix          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   probing          :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   knapsack         :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   setppc           :       0.02       0.00     11          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   and              :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   linear           :       0.02       0.00      3       7877          0          0       7877          0        500          0          0          0
3587.26/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   pseudoboolean    :       0.01       0.00      1          0          0          0          0          0        500          0          0          0
3587.26/3597.01	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.26/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.26/3597.01	c   benderslp        :          0          0          0          0      25718          0          0      14765          0          0          0          0          0          0          0
3587.26/3597.01	c   integral         :          0          0          0          0      25718          0          0      14765          0          0          5          0          0          0      51426
3587.26/3597.01	c   knapsack         :          1          1         33      88561          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   setppc           :       8451       8451        122     266797          0          0          0      14758          0          0     479396         55         37          0          0
3587.26/3597.01	c   benders          :          0          0          0          0          0          0          0        742          0          0          0          0          0          0          0
3587.26/3597.01	c   fixedvar         :          0          0          0          0          0          0          0        742          0          0          0          0          0          0          0
3587.26/3597.01	c   countsols        :          0          0          0          0          0          0          0        742          0          0          0          0          0          0          0
3587.26/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.26/3597.01	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   integral         :     208.48       0.00       0.00       0.00     208.47       0.00       0.00       0.01       0.00       0.00
3587.26/3597.01	c   knapsack         :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   setppc           :       4.53       0.00       0.03       3.51       0.00       0.00       0.00       0.68       0.00       0.31
3587.26/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   fixedvar         :       0.28       0.00       0.00       0.00       0.00       0.00       0.00       0.28       0.00       0.00
3587.26/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.26/3597.01	c   dualfix          :          3          0          0          0
3587.26/3597.01	c   genvbounds       :          0          0          0          0
3587.26/3597.01	c   nlobbt           :          0          0          0          0
3587.26/3597.01	c   obbt             :          0          0          0          0
3587.26/3597.01	c   probing          :          0          0          0          0
3587.26/3597.01	c   pseudoobj        :      72944          0          0          0
3587.26/3597.01	c   redcost          :        516          0          0         18
3587.26/3597.01	c   rootredcost      :          2          0          0          0
3587.26/3597.01	c   symmetry         :          0          0          0          0
3587.26/3597.01	c   vbounds          :      77281          0          0          0
3587.26/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.26/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   genvbounds       :       0.04       0.00       0.00       0.04       0.00       0.00
3587.26/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.26/3597.01	c   probing          :       0.02       0.00       0.02       0.00       0.00       0.00
3587.26/3597.01	c   pseudoobj        :       0.17       0.00       0.00       0.17       0.00       0.00
3587.26/3597.01	c   redcost          :       0.09       0.00       0.00       0.09       0.00       0.00
3587.26/3597.01	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3587.26/3597.01	c   symmetry         :       0.06       0.00       0.00       0.05       0.00       0.00
3587.26/3597.01	c   vbounds          :       0.07       0.00       0.00       0.07       0.00       0.01
3587.26/3597.01	c Symmetry           :
3587.26/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.26/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.26/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.26/3597.01	c   shadow tree time :       0.00 s
3587.26/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [--,--])
3587.26/3597.01	c   propagation      :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.26/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.26/3597.01	c   bound exceed. LP :       4.54      12278          0          -          0        0.0          0        0.0          0        0.0      27475
3587.26/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.26/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.26/3597.01	c   applied globally :       0.00          -          -          0          0        0.0          -          -          0          -          -
3587.26/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.26/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.26/3597.01	c   cut pool         :      28.44          -      27382        241          -          -     387259    1159944          -          -          -          -          -    (maximal pool size:       4270)
3587.26/3597.01	c   aggregation      :     185.07       0.00      11678        122          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.26/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.26/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.26/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   clique           :       0.42       0.00        122        122          0          0       1103      27235          0      12570      12570          0          0
3587.26/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   gomory           :     885.22       0.00       7366         20          0          0     349974     442897        200      28206      28204          2          0
3587.26/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -     166058        110       1204       1203          1          -
3587.26/3597.01	c   > strongcg       :          -          -          -          -          -          -          -     276839         90      27002      27001          1          -
3587.26/3597.01	c   impliedbounds    :       1.80       0.00      11679        122          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   mcf              :       0.01       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   minor            :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   multilinear      :       0.00       0.00        257        122          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   rapidlearning    :       0.22       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   rlt              :       0.01       0.00       1493         20          0          0          0          0          0          0          0          0          0
3587.26/3597.01	c   zerohalf         :      26.03       0.00       7385         40          0          0      36389     689812          7     292150     292146          4          0
3587.26/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.26/3597.01	c   hybrid           :       1.69       0.00      19665        121     332963          0     827243       1690          0       9552
3587.26/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.26/3597.01	c   problem variables:       0.00          -          0          0
3587.26/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.26/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c   relpscost        :     208.45       0.00      25718          0          0          0          5          0          0      51426
3587.26/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.26/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.26/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.26/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.26/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.26/3597.01	c   strong branching :       0.22          -          -          2          0
3587.26/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.26/3597.01	c   adaptivediving   :       5.60       0.00         65          1          0
3587.26/3597.01	c   alns             :       0.12       0.00          5          0          0
3587.26/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.26/3597.01	c   clique           :       0.02       0.00          1          1          1
3587.26/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.26/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.26/3597.01	c   conflictdiving   :       0.00       0.00          0          0          0
3587.26/3597.01	c   crossover        :       0.25       0.00          6          1          0
3587.26/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.26/3597.01	c   distributiondivin:     113.89       0.00        614          0          0
3587.26/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.26/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.26/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.26/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3587.26/3597.01	c   feaspump         :       0.00       0.00          0          0          0
3587.26/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.26/3597.01	c   fracdiving       :      33.42       0.00        614          0          0
3587.26/3597.01	c   gins             :       0.02       0.00          0          0          0
3587.26/3597.01	c   guideddiving     :      30.42       0.00        614          3          0
3587.26/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.26/3597.01	c   indicator        :       0.02       0.00          0          0          0
3587.26/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.26/3597.01	c   indoneopt        :       0.01       0.00          0          0          0
3587.26/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.26/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.26/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.26/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.26/3597.01	c   linesearchdiving :      31.40       0.00        614          0          0
3587.26/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.26/3597.01	c   locks            :       0.00       0.00          1          1          1
3587.26/3597.01	c   lpface           :       0.01       0.00          0          0          0
3587.26/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.26/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.26/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.26/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.26/3597.01	c   objpscostdiving  :      71.07       0.00        308        250          0
3587.26/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.26/3597.01	c   ofins            :       0.01       0.00          0          0          0
3587.26/3597.01	c   oneopt           :       0.03       0.00          1          1          1
3587.26/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.26/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.26/3597.01	c   pscostdiving     :      32.65       0.00        614          1          0
3587.26/3597.01	c   randrounding     :       1.56       0.00      14143         92          0
3587.26/3597.01	c   rens             :       0.00       0.00          0          0          0
3587.26/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.26/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.26/3597.01	c   rins             :       5.35       0.00         10          5          0
3587.26/3597.01	c   rootsoldiving    :      22.62       0.00        308         88          0
3587.26/3597.01	c   rounding         :       3.54       0.00       2902          0          0
3587.26/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.26/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3587.26/3597.01	c   shifting         :       2.83       0.00       2012          0          0
3587.26/3597.01	c   simplerounding   :       0.85       0.00      45383          4          0
3587.26/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.26/3597.01	c   subnlp           :       0.03       0.00          0          0          0
3587.26/3597.01	c   trivial          :       0.00       0.00          4          1          1
3587.26/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.26/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.26/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.26/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.26/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.26/3597.01	c   vbounds          :       0.02       0.00          2          0          0
3587.26/3597.01	c   veclendiving     :      22.74       0.00        614          0          0
3587.26/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.26/3597.01	c   zirounding       :       0.73       0.00       1451         29          0
3587.26/3597.01	c   other solutions  :          -          -          -          0          -
3587.26/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.26/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.26/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.26/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.26/3597.01	c   primal LP        :       5.45       6724          0       0.00       0.00       5.45       6724
3587.26/3597.01	c   dual LP          :    1834.06      45418   16001533     352.41    8724.65       0.01         12
3587.26/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.26/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.26/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.26/3597.01	c   diving/probing LP:     268.09      32136    2831037      88.10   10559.93
3587.26/3597.01	c   strong branching :     196.76       3788    1599865     422.35    8130.97          -          -       1471
3587.26/3597.01	c     (at root node) :          -         55      49068     892.15          -
3587.26/3597.01	c   conflict analysis:       2.49       2779      27475       9.89   11017.55
3587.26/3597.01	c B&B Tree           :
3587.26/3597.01	c   number of runs   :          2
3587.26/3597.01	c   nodes            :      24690 (24664 internal, 26 leaves)
3587.26/3597.01	c   feasible leaves  :          0
3587.26/3597.01	c   infeas. leaves   :          0
3587.26/3597.01	c   objective leaves :         25
3587.26/3597.01	c   nodes (total)    :      25739 (25713 internal, 26 leaves)
3587.26/3597.01	c   nodes left       :      24640
3587.26/3597.01	c   max depth        :         54
3587.26/3597.01	c   max depth (total):         54
3587.26/3597.01	c   backtracks       :       4343 (17.6%)
3587.26/3597.01	c   early backtracks :          0 (0.0%)
3587.26/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.26/3597.01	c   delayed cutoffs  :          0
3587.26/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.26/3597.01	c   avg switch length:       7.11
3587.26/3597.01	c   switching time   :      11.76
3587.26/3597.01	c Root Node          :
3587.26/3597.01	c   First LP value   : -2.50000000000000e+02
3587.26/3597.01	c   First LP Iters   :        544 (41007.09 Iter/sec)
3587.26/3597.01	c   First LP Time    :       0.01
3587.26/3597.01	c   Final Dual Bound : -1.44111975219797e+02
3587.26/3597.01	c   Final Root Iters :      57483
3587.26/3597.01	c   Root LP Estimate : -3.04109505291970e+01
3587.26/3597.01	c Solution           :
3587.26/3597.01	c   Solutions found  :        480 (4 improvements)
3587.26/3597.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
3587.26/3597.01	c   Gap First Sol.   :   infinite
3587.26/3597.01	c   Gap Last Sol.    :     614.29 %
3587.26/3597.01	c   Primal Bound     : -7.00000000000000e+01   (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <oneopt>)
3587.26/3597.01	c   Dual Bound       : -1.40255601740471e+02
3587.26/3597.01	c   Gap              :     100.37 %
3587.26/3597.01	c Integrals          :      Total       Avg%
3587.26/3597.01	c   primal-dual      :  184899.30      51.40
3587.26/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.26/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.45/3597.21	c Time complete: 3587.48.

Verifier Data

OK	-70

Watcher Data

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=253767, runsolver pid=253764

[startup+0.100184 s]*
/proc/loadavg: 0.11 0.11 0.20 5/256 253783
/proc/meminfo: memFree=125653908/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=98020 memory=57672 CPUtime=0.09 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 11175 0 0 0 8 1 0 0 20 0 1 0 30475524 100372480 14418 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 24505 14418 3654 3540 0 12762 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98020 KiB
Current children cumulated memory: 57672 KiB

[startup+0.205816 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125591712/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=108716 memory=67984 CPUtime=0.19 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 14133 0 0 0 18 1 0 0 20 0 1 0 30475524 111325184 16996 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 27179 16996 3894 3540 0 15436 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108716 KiB
Current children cumulated memory: 67984 KiB

[startup+0.30605 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125539628/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=112228 memory=70600 CPUtime=0.29 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 14896 0 0 0 28 1 0 0 20 0 1 0 30475524 114921472 17650 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 28057 17650 3910 3540 0 16314 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 70600 KiB

[startup+0.70017 s]
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125515980/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=115896 memory=72712 CPUtime=0.68 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 15432 0 0 0 67 1 0 0 20 0 1 0 30475524 118677504 18178 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 28974 18178 3910 3540 0 17231 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115896 KiB
Current children cumulated memory: 72712 KiB

[startup+1.50019 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125493944/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=125092 memory=79576 CPUtime=1.49 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 17181 0 0 0 147 2 0 0 20 0 1 0 30475524 128094208 19894 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 31273 19894 3910 3540 0 19530 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 125092 KiB
Current children cumulated memory: 79576 KiB

[startup+3.10561 s]
/proc/loadavg: 0.42 0.18 0.22 5/256 253875
/proc/meminfo: memFree=125468716/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=141896 memory=92776 CPUtime=3.08 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 20442 0 0 0 306 2 0 0 20 0 1 0 30475524 145301504 23194 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 35474 23194 3910 3540 0 23731 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141896 KiB
Current children cumulated memory: 92776 KiB

[startup+6.30017 s]
/proc/loadavg: 0.63 0.22 0.24 4/255 253918
/proc/meminfo: memFree=125479532/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=151508 memory=95152 CPUtime=6.27 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 21053 0 0 0 625 2 0 0 20 0 1 0 30475524 155144192 23788 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 37877 23788 3910 3540 0 26134 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151508 KiB
Current children cumulated memory: 95152 KiB

[startup+12.7002 s]
/proc/loadavg: 0.90 0.29 0.26 4/255 253919
/proc/meminfo: memFree=125424348/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=162212 memory=106152 CPUtime=12.65 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 24689 0 0 0 1262 3 0 0 20 0 1 0 30475524 166105088 26538 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 40553 26538 3926 3540 0 28810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 106152 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 0.36 0.29 3/248 253953
/proc/meminfo: memFree=125418892/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=162212 memory=106152 CPUtime=25.42 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 24689 0 0 0 2539 3 0 0 20 0 1 0 30475524 166105088 26538 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 40553 26538 3926 3540 0 28810 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 106152 KiB

[startup+51.1055 s]
/proc/loadavg: 1.48 0.52 0.34 3/248 253956
/proc/meminfo: memFree=125320880/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=204748 memory=124288 CPUtime=50.97 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 29318 0 0 0 5093 4 0 0 20 0 1 0 30475524 209661952 31072 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 51187 31072 3926 3540 0 39444 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 124288 KiB

[startup+102.3 s]
/proc/loadavg: 1.89 0.78 0.44 3/248 253965
/proc/meminfo: memFree=125207508/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=344752 memory=198768 CPUtime=102.04 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 47967 0 0 0 10192 12 0 0 20 0 1 0 30475524 353026048 49692 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 86188 49692 3941 3540 0 74445 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 344752 KiB
Current children cumulated memory: 198768 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 1.02 0.55 3/246 253977
/proc/meminfo: memFree=125181916/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=391024 memory=220708 CPUtime=161.9 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 54308 0 0 0 16174 16 0 0 20 0 1 0 30475524 400408576 55177 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 97756 55177 4005 3540 0 86013 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 391024 KiB
Current children cumulated memory: 220708 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 1.22 0.64 3/246 253987
/proc/meminfo: memFree=125152192/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=422116 memory=247000 CPUtime=221.75 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 60719 0 0 0 22155 20 0 0 20 0 1 0 30475524 432246784 61750 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 105529 61750 4021 3540 0 93786 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 422116 KiB
Current children cumulated memory: 247000 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 1.38 0.74 3/242 253997
/proc/meminfo: memFree=125090668/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=449756 memory=307604 CPUtime=281.59 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 67315 0 0 0 28138 21 0 0 20 0 1 0 30475524 460550144 76901 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 112439 76901 4021 3540 0 100696 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 449756 KiB
Current children cumulated memory: 307604 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 1.51 0.82 3/241 254007
/proc/meminfo: memFree=124987632/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=523788 memory=409504 CPUtime=341.44 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 83001 0 0 0 34120 24 0 0 20 0 1 0 30475524 536358912 102376 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 130947 102376 4021 3540 0 119204 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 523788 KiB
Current children cumulated memory: 409504 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 1.62 0.91 3/241 254019
/proc/meminfo: memFree=124933836/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=528528 memory=462812 CPUtime=401.3 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 83399 0 0 0 40106 24 0 0 20 0 1 0 30475524 541212672 115703 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 132132 115703 4021 3540 0 120389 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 528528 KiB
Current children cumulated memory: 462812 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 1.70 0.98 3/241 254029
/proc/meminfo: memFree=124910912/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=541920 memory=484728 CPUtime=461.14 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 84381 0 0 0 46090 24 0 0 20 0 1 0 30475524 554926080 121182 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 135480 121182 4021 3540 0 123737 0

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

/proc/loadavg: 2.15 2.13 2.07 3/243 255109
/proc/meminfo: memFree=123906068/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1236156 CPUtime=3153.8 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 183310 0 0 0 315330 50 0 0 20 0 1 0 30475524 1376018432 309039 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 309039 4021 3540 0 324199 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1236156 KiB

[startup+3222.3 s]
/proc/loadavg: 2.11 2.12 2.07 3/243 255119
/proc/meminfo: memFree=123889964/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1251624 CPUtime=3213.63 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 183987 0 0 0 321312 51 0 0 20 0 1 0 30475524 1376018432 312906 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 312906 4021 3540 0 324199 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1251624 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.11 2.07 3/243 255516
/proc/meminfo: memFree=123974580/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1266020 CPUtime=3273.45 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 184395 0 0 0 327294 51 0 0 20 0 1 0 30475524 1376018432 316505 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 316505 4021 3540 0 324199 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1266020 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/243 255526
/proc/meminfo: memFree=123955380/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1348952 memory=1284416 CPUtime=3333.28 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 185800 0 0 0 333276 52 0 0 20 0 1 0 30475524 1381326848 321104 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 337238 321104 4021 3540 0 325495 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 1348952 KiB
Current children cumulated memory: 1284416 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/243 255538
/proc/meminfo: memFree=123942024/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1353828 memory=1297060 CPUtime=3393.11 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 187849 0 0 0 339258 53 0 0 20 0 1 0 30475524 1386319872 324265 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 338457 324265 4021 3540 0 326714 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1353828 KiB
Current children cumulated memory: 1297060 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/246 255719
/proc/meminfo: memFree=123925620/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1402332 memory=1312608 CPUtime=3452.93 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 190075 0 0 0 345240 53 0 0 20 0 1 0 30475524 1435987968 328152 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 350583 328152 4021 3540 0 338840 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1402332 KiB
Current children cumulated memory: 1312608 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/246 255730
/proc/meminfo: memFree=123912028/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1423808 memory=1333448 CPUtime=3512.76 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 193609 0 0 0 351222 54 0 0 20 0 1 0 30475524 1457979392 333362 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 355952 333362 4021 3540 0 344209 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 1423808 KiB
Current children cumulated memory: 1333448 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123886304/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3572.6 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195239 0 0 0 357205 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB

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

# cumulated CPU time of all completed processes:  user=3586.92 s, system=0.570127 s

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

[startup+3584 s]*
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123876324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3574.29 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195245 0 0 0 357374 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB

[startup+3590.4 s]
/proc/loadavg: 2.13 2.10 2.07 3/248 255803
/proc/meminfo: memFree=123894352/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3580.67 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195258 0 0 0 358012 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3580.67 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB

[startup+3593.6 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255803
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3583.86 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358331 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB

[startup+3595.2 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3585.46 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358491 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB

[startup+3596 s]*
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3586.26 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358571 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB

[startup+3596.8 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350264 CPUtime=3587.05 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195330 0 0 0 358650 55 0 0 20 0 1 0 30475524 1540435968 337566 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337566 4021 3540 0 364340 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350264 KiB

[startup+3597.2 s]
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1498948 memory=1344968 CPUtime=3587.45 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195360 0 0 0 358690 55 0 0 20 0 1 0 30475524 1534922752 336242 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 374737 336242 4021 3540 0 362994 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 1498948 KiB
Current children cumulated memory: 1344968 KiB

Child status: 0

Real time (s): 3597.23
CPU time (s): 3587.49
CPU user time (s): 3586.92
CPU system time (s): 0.570127
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 1504332
Max. memory (cumulated for all children) (KiB): 1350264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 0.570127
maximum resident set size= 1350264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 3510


# summary of solver processes directly reported to runsolver:
#   pid: 253767
#   total CPU time (s): 3587.49
#   total CPU user time (s): 3586.92
#   total CPU system time (s): 0.570127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19636 second user time and 15.6217 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-25 22:31:03
IDJOB=4459808
IDBENCH=148578
IDSOLVER=3059
FILE ID=nodeC023/4459808-1721939463
RUNJOBID= nodeC023-1721939462-253731
SLURM_JOB_ID= 8247244
Free space on /tmp= 890064 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459808-1721939463/watcher-4459808-1721939463 -o /tmp/evaluation-result-4459808-1721939463/solver-4459808-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721939462-253731 --watchdog 3760  pbscip -f HOME/instance-4459808-1721939463.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 5f642955075bb0dd80aabe9a80ec63b9
RANDOM SEED=1503976896

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125759672 kB
MemAvailable:   129684020 kB
Buffers:          330016 kB
Cached:          4387048 kB
SwapCached:          208 kB
Active:          1644992 kB
Inactive:        3446708 kB
Active(anon):       2316 kB
Inactive(anon):   424476 kB
Active(file):    1642676 kB
Inactive(file):  3022232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             37676 kB
Writeback:             0 kB
AnonPages:        374344 kB
Mapped:           105604 kB
Shmem:             52148 kB
KReclaimable:     198172 kB
Slab:             315648 kB
SReclaimable:     198172 kB
SUnreclaim:       117476 kB
KernelStack:        3984 kB
PageTables:         9964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     745132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC023 at 2024-07-25 23:31:00