Trace number 4432560

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-07? 3588.14 3597.26

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap3.opb
MD5SUMae9069a7e4a4f60423faee038f49f7b2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2511766
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables74400
Total number of constraints1408
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 constraints1408
Minimum length of a constraint90
Maximum length of a constraint930
Number of terms in the objective function 55800
Biggest coefficient in the objective function 42949672960
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 31374736068060
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 42949672960
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 31374736068060
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432560-1721067025.opb>
0.09/0.15	c original problem has 74400 variables (74400 bin, 0 int, 0 impl, 0 cont) and 1408 constraints
0.09/0.15	c problem read in 0.15
0.29/0.31	c presolving:
0.39/0.43	c (round 1, fast)       36270 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 1889 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.39/0.50	c    (0.5s) running MILP presolver
0.49/0.55	c    (0.6s) MILP presolver (3 rounds): 0 aggregations, 93 fixings, 0 bound changes
0.49/0.57	c (round 2, medium)     36371 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 2484 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.57	c (round 3, fast)       36371 del vars, 0 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.58	c (round 4, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.59/0.65	c (round 5, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.72	c (round 6, medium)     36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.79	c (round 7, exhaustive) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.80	c (round 8, fast)       36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 431 chg sides, 4804 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.82	c (round 9, medium)     36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.86	c (round 10, exhaustive) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87	c (round 11, fast)       36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 768 chg sides, 5228 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87	c (round 12, medium)     36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 862 chg sides, 5322 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
1.18/1.28	c    (1.3s) probing: 51/37478 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.18/1.28	c    (1.3s) probing aborted: 50/50 successive totally useless probings
1.28/1.32	c    (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.38	c    (1.4s) no symmetry present (symcode time: 0.02)
1.38/1.41	c presolving (13 rounds: 13 fast, 9 medium, 5 exhaustive):
1.38/1.41	c  36922 deleted vars, 62 deleted constraints, 682 added constraints, 35340 tightened bounds, 0 added holes, 862 changed sides, 5322 changed coefficients
1.38/1.41	c  0 implications, 18600 cliques
1.38/1.41	c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 2028 constraints
1.38/1.41	c     788 constraints of type <knapsack>
1.38/1.41	c     620 constraints of type <linear>
1.38/1.41	c     620 constraints of type <logicor>
1.38/1.41	c transformed objective value is always integral (scale: 1)
1.38/1.41	c Presolving Time: 1.13
1.38/1.41	c - non default parameters ----------------------------------------------------------------------
1.38/1.41	c # SCIP version 10.0.0
1.38/1.41	c 
1.38/1.41	c # maximal time in seconds to run
1.38/1.41	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.41	c limits/time = 3596.997029
1.38/1.41	c 
1.38/1.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.41	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.41	c limits/memory = 27900
1.38/1.41	c 
1.38/1.41	c # belongs reading time to solving time?
1.38/1.41	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.41	c timing/reading = TRUE
1.38/1.41	c 
1.38/1.41	c -----------------------------------------------------------------------------------------------
1.38/1.41	c start solving
1.38/1.42	c 
2.57/2.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.57/2.65	c   2.7s|     1 |     0 |  7066 |     - |   413M |   0 |  37k|2031 |2028 |   0 |  0 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
4.57/4.68	c   4.7s|     1 |     0 | 12219 |     - |   438M |   0 |  37k|2031 |2395 | 367 |  1 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
5.27/5.36	c   5.4s|     1 |     0 | 13066 |     - |   439M |   0 |  37k|2031 |2735 | 707 |  2 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
6.97/7.07	c   7.1s|     1 |     0 | 22402 |     - |   443M |   0 |  37k|2031 |3028 |1000 |  3 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
7.46/7.55	c   7.5s|     1 |     0 | 23125 |     - |   445M |   0 |  37k|2031 |3253 |1225 |  4 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
9.16/9.25	c   9.3s|     1 |     0 | 35269 |     - |   450M |   0 |  37k|2031 |3460 |1432 |  5 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
9.66/9.77	c   9.8s|     1 |     0 | 36027 |     - |   452M |   0 |  37k|2031 |3691 |1663 |  6 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
10.16/10.26	c  10.3s|     1 |     0 | 36811 |     - |   454M |   0 |  37k|2031 |3894 |1866 |  7 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
19.83/19.91	c  19.9s|     1 |     0 | 98550 |     - |   457M |   0 |  37k|2031 |4083 |2055 |  8 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
20.53/20.69	c  20.7s|     1 |     0 | 99688 |     - |   459M |   0 |  37k|2031 |4428 |2400 |  9 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
21.43/21.59	c  21.6s|     1 |     0 |101506 |     - |   461M |   0 |  37k|2031 |4702 |2674 | 10 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
26.81/26.95	c (node 1) unresolved numerical troubles in LP 49 -- using pseudo solution instead (loop 1)
26.81/26.96	c  27.0s|     1 |     2 |136018 |     - |   462M |   0 |  37k|2031 |4104 |2921 | 11 |   3 |   0 | 1.458176e+06 |      --      |    Inf | unknown
241.89/242.55	c (node 70) numerical troubles in LP 229 -- unresolved
289.87/290.60	c   291s|   100 |   101 |  1579k|14580.7 |   467M |  21 |  37k|2031 |4342 |4554 |  1 |   3 |   0 | 1.458180e+06 |      --      |    Inf | unknown
349.73/350.66	c (node 129) numerical troubles in LP 406 -- unresolved
461.56/462.70	c   463s|   200 |   201 |  2778k|13278.5 |   470M |  39 |  37k|2031 |4484 |6162 |  1 |   3 |   0 | 1.458185e+06 |      --      |    Inf | unknown
593.73/595.27	c   595s|   300 |   301 |  3691k|11890.2 |   474M |  41 |  37k|2031 |4304 |7396 |  1 |   3 |   0 | 1.458185e+06 |      --      |    Inf | unknown
626.65/628.22	c (node 340) numerical troubles in LP 961 -- unresolved
681.21/682.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
681.21/682.92	c   683s|   400 |   401 |  4263k|10344.7 |   474M |  41 |  37k|2031 |4449 |8575 |  1 |   3 |   0 | 1.458191e+06 |      --      |    Inf | unknown
921.09/923.33	c   923s|   500 |   501 |  4927k|9603.1 |   478M |  41 |  37k|2031 |4274 |  10k|  1 |   3 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1053.19/1055.79	c  1056s|   600 |   601 |  5844k|9530.7 |   479M |  41 |  37k|2031 |4370 |  11k|  1 |   3 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1192.23/1195.12	c  1195s|   700 |   701 |  6741k|9450.1 |   481M |  43 |  37k|2032 |4433 |  13k|  1 |   4 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1247.10/1250.15	c (node 765) numerical troubles in LP 2033 -- unresolved
1295.19/1298.37	c (node 788) numerical troubles in LP 2093 -- unresolved
1302.97/1306.11	c  1306s|   800 |   801 |  7524k|9246.9 |   482M |  43 |  37k|2032 |4439 |  14k|  1 |   4 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1413.19/1416.64	c  1417s|   900 |   901 |  8190k|8959.4 |   483M |  43 |  37k|2032 |4368 |  16k|  1 |   4 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1510.66/1514.31	c (node 995) numerical troubles in LP 2566 -- unresolved
1521.73/1525.44	c  1525s|  1000 |  1001 |  8952k|8825.1 |   484M |  43 |  37k|2032 |4331 |  17k|  1 |   4 |   0 | 1.458193e+06 |      --      |    Inf | unknown
1564.13/1567.96	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1564.13/1567.96	c (run 1, node 1049) performing user restart
1564.13/1567.96	c 
1564.13/1567.97	c (restart) converted 2136 cuts from the global cut pool into linear constraints
1564.13/1567.97	c 
1564.24/1568.05	c presolving:
1564.24/1568.09	c (round 1, fast)       0 del vars, 0 del conss, 620 add conss, 0 chg bounds, 52 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.14	c (round 2, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.16	c (round 3, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.34/1568.17	c (round 4, fast)       0 del vars, 627 del conss, 620 add conss, 0 chg bounds, 70 chg sides, 5743 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.43/1568.21	c (round 5, medium)     0 del vars, 2425 del conss, 4066 add conss, 0 chg bounds, 745 chg sides, 6658 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.21	c (round 6, fast)       0 del vars, 2434 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6660 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.25	c (round 7, exhaustive) 0 del vars, 2459 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6930 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.29	c (round 8, exhaustive) 0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 750 chg sides, 7203 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.30	c (round 9, fast)       0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 757 chg sides, 7273 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.31	c (round 10, medium)     0 del vars, 2464 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7281 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.53/1568.34	c (round 11, exhaustive) 0 del vars, 2509 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7400 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.63/1568.44	c presolving (12 rounds: 12 fast, 8 medium, 6 exhaustive):
1564.63/1568.44	c  0 deleted vars, 2512 deleted constraints, 4071 added constraints, 0 tightened bounds, 0 added holes, 759 changed sides, 7457 changed coefficients
1564.63/1568.44	c  0 implications, 22684 cliques
1564.63/1568.44	c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 5727 constraints
1564.63/1568.44	c    1548 constraints of type <knapsack>
1564.63/1568.44	c    2656 constraints of type <setppc>
1564.63/1568.44	c     791 constraints of type <linear>
1564.63/1568.44	c     732 constraints of type <logicor>
1564.63/1568.44	c transformed objective value is always integral (scale: 1)
1564.63/1568.44	c Presolving Time: 1.54
1564.63/1568.45	c 
1569.82/1573.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1569.82/1573.60	c  1574s|     1 |     0 |  9252k|     - |   488M |   0 |  37k|5728 |5723 |   0 |  0 |   5 |   0 | 1.458194e+06 |      --      |    Inf | unknown
1570.92/1574.71	c  1575s|     1 |     0 |  9254k|     - |   490M |   0 |  37k|5728 |5915 | 192 |  1 |   5 |   0 | 1.458194e+06 |      --      |    Inf | unknown
1571.61/1575.49	c  1575s|     1 |     0 |  9256k|     - |   491M |   0 |  37k|5728 |6114 | 391 |  2 |   5 |   0 | 1.458194e+06 |      --      |    Inf | unknown
1574.91/1578.78	c  1579s|     1 |     0 |  9276k|     - |   492M |   0 |  37k|5728 |6302 | 579 |  3 |   5 |   0 | 1.458194e+06 |      --      |    Inf | unknown
1578.30/1582.18	c  1582s|     1 |     0 |  9292k|     - |   494M |   0 |  37k|5728 |6493 | 770 |  4 |   5 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1582.30/1586.16	c (node 1) unresolved numerical troubles in LP 2707 -- using pseudo solution instead (loop 1)
1582.30/1586.17	c  1586s|     1 |     2 |  9312k|     - |   495M |   0 |  37k|5728 |6688 | 965 |  5 |   5 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1724.76/1728.96	c  1729s|   100 |   101 | 10130k|8623.6 |   499M |  63 |  37k|5730 |7039 |1693 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1754.30/1758.58	c  1759s|   200 |   201 | 10278k|8051.4 |   499M | 152 |  37k|5730 |7211 |1888 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1788.42/1792.77	c  1793s|   300 |   301 | 10445k|7577.4 |   502M | 195 |  37k|5730 |7252 |2117 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1845.98/1850.48	c (node 395) numerical troubles in LP 3394 -- unresolved
1846.08/1850.58	c  1851s|   400 |   401 | 10692k|7225.2 |   504M | 277 |  37k|5730 |7253 |2247 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1853.27/1857.74	c  1858s|   500 |   501 | 10732k|6783.9 |   505M | 286 |  37k|5730 |7311 |2309 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1860.85/1865.30	c  1865s|   600 |   601 | 10767k|6393.5 |   506M | 386 |  37k|5730 |7333 |2332 |  0 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1875.31/1879.85	c  1880s|   700 |   701 | 10880k|6092.4 |   507M | 485 |  37k|5730 |7342 |2376 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1881.30/1885.88	c  1886s|   800 |   801 | 10919k|5783.7 |   508M | 549 |  37k|5730 |7370 |2406 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1884.59/1889.16	c  1889s|   900 |   901 | 10937k|5496.2 |   511M | 649 |  37k|5730 |7420 |2461 |  1 |   7 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1888.08/1892.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1888.08/1892.68	c  1893s|  1000 |   999 | 10952k|5235.1 |   512M | 748 |  37k|5733 |7439 |2481 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1890.58/1895.13	c  1895s|  1100 |  1099 | 10958k|4994.4 |   513M | 848 |  37k|5733 |7441 |2483 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1893.57/1898.10	c  1898s|  1200 |  1199 | 10969k|4777.1 |   515M | 948 |  37k|5733 |7444 |2486 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1896.06/1900.65	c  1901s|  1300 |  1299 | 10975k|4576.2 |   516M |1048 |  37k|5733 |7447 |2489 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1897.75/1902.39	c  1902s|  1400 |  1399 | 10976k|4389.7 |   517M |1148 |  37k|5733 |7447 |2489 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1899.94/1904.54	c  1905s|  1500 |  1499 | 10982k|4219.8 |   519M |1248 |  37k|5733 |7447 |2489 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1902.64/1907.28	c  1907s|  1600 |  1599 | 10992k|4064.0 |   520M |1261 |  37k|5733 |7444 |2489 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1904.83/1909.45	c  1909s|  1700 |  1699 | 10995k|3917.3 |   520M |1261 |  37k|5733 |7445 |2490 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1907.82/1912.44	c  1912s|  1800 |  1795 | 11006k|3783.7 |   521M |1261 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1910.42/1915.06	c  1915s|  1900 |  1895 | 11016k|3658.6 |   522M |1261 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1912.91/1917.51	c  1918s|  2000 |  1995 | 11021k|3540.3 |   524M |1271 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1914.70/1919.38	c  1919s|  2100 |  2095 | 11022k|3428.2 |   525M |1371 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1916.30/1920.91	c  1921s|  2200 |  2195 | 11022k|3322.7 |   527M |1471 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1917.50/1922.16	c  1922s|  2300 |  2295 | 11023k|3223.5 |   529M |1571 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1918.79/1923.41	c  1923s|  2400 |  2395 | 11023k|3130.1 |   530M |1671 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1920.09/1924.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1920.09/1924.73	c  1925s|  2500 |  2495 | 11023k|3041.9 |   532M |1771 |  37k|5733 |7445 |2491 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1922.39/1927.01	c  1927s|  2600 |  2593 | 11030k|2960.4 |   532M |1815 |  37k|5733 |7445 |2492 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1923.98/1928.61	c  1929s|  2700 |  2693 | 11031k|2881.9 |   533M |1815 |  37k|5733 |7445 |2492 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1925.38/1930.02	c  1930s|  2800 |  2793 | 11032k|2807.1 |   534M |1815 |  37k|5733 |7445 |2492 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1926.87/1931.59	c  1932s|  2900 |  2893 | 11034k|2736.5 |   535M |1815 |  37k|5733 |7445 |2492 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1929.47/1934.15	c  1934s|  3000 |  2989 | 11039k|2670.2 |   536M |1815 |  37k|5733 |7445 |2493 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1931.86/1936.51	c  1937s|  3100 |  3085 | 11045k|2607.2 |   538M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1934.05/1938.76	c  1939s|  3200 |  3185 | 11049k|2546.7 |   539M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1935.45/1940.18	c  1940s|  3300 |  3285 | 11049k|2488.2 |   540M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1936.94/1941.64	c  1942s|  3400 |  3385 | 11050k|2432.6 |   541M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1938.34/1943.09	c  1943s|  3500 |  3485 | 11052k|2379.4 |   542M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1939.83/1944.58	c  1945s|  3600 |  3585 | 11052k|2328.2 |   542M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1941.53/1946.21	c  1946s|  3700 |  3685 | 11052k|2279.3 |   544M |1815 |  37k|5733 |7445 |2494 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1943.33/1948.02	c  1948s|  3800 |  3783 | 11056k|2233.0 |   546M |1815 |  37k|5733 |7445 |2495 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1945.71/1950.49	c  1950s|  3900 |  3879 | 11063k|2189.4 |   547M |1815 |  37k|5733 |7445 |2496 |  1 |  10 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1948.21/1952.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1948.21/1952.90	c  1953s|  4000 |  3977 | 11073k|2148.0 |   548M |1815 |  37k|5734 |7445 |2496 |  1 |  11 |   0 | 1.458196e+06 |      --      |    Inf | unknown
1986.62/1991.47	c  1991s|  4100 |  4073 | 11265k|2143.5 |   550M |1815 |  37k|5734 |6861 |2795 |  1 |  11 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2031.62/2036.54	c  2037s|  4200 |  4173 | 11538k|2154.6 |   553M |1815 |  37k|5734 |7185 |3134 |  1 |  11 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2035.91/2040.82	c  2041s|  4300 |  4273 | 11565k|2119.5 |   555M |1815 |  37k|5734 |7325 |3277 |  1 |  11 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2037.70/2042.69	c  2043s|  4400 |  4373 | 11570k|2081.4 |   556M |1815 |  37k|5734 |7329 |3282 |  1 |  11 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2042.19/2047.14	c  2047s|  4500 |  4473 | 11586k|2046.8 |   558M |1815 |  37k|5738 |7444 |3285 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2044.88/2049.89	c  2050s|  4600 |  4569 | 11595k|2012.2 |   559M |1815 |  37k|5738 |7449 |3295 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2047.18/2052.13	c  2052s|  4700 |  4661 | 11600k|1978.0 |   561M |1815 |  37k|5738 |7446 |3298 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2050.37/2055.34	c  2055s|  4800 |  4753 | 11612k|1946.2 |   562M |1815 |  37k|5738 |7446 |3305 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2052.86/2057.89	c  2058s|  4900 |  4837 | 11618k|1914.5 |   563M |1815 |  37k|5738 |7448 |3309 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2055.95/2060.93	c  2061s|  5000 |  4929 | 11630k|1884.9 |   563M |1815 |  37k|5738 |7445 |3310 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2094.07/2099.10	c  2099s|  5100 |  5021 | 11864k|1892.3 |   565M |1815 |  37k|5738 |7099 |3771 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2109.03/2114.17	c  2114s|  5200 |  5121 | 11956k|1876.7 |   566M |1815 |  37k|5738 |7198 |3895 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2122.60/2127.78	c  2128s|  5300 |  5221 | 12080k|1866.7 |   570M |1815 |  37k|5738 |7275 |3982 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2124.49/2129.66	c  2130s|  5400 |  5321 | 12081k|1838.0 |   572M |1815 |  37k|5738 |7275 |3982 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2126.19/2131.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2126.19/2131.38	c  2131s|  5500 |  5421 | 12083k|1810.1 |   573M |1815 |  37k|5738 |7275 |3982 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2128.38/2133.54	c  2134s|  5600 |  5521 | 12086k|1783.3 |   574M |1815 |  37k|5738 |7277 |3984 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2130.18/2135.36	c  2135s|  5700 |  5621 | 12087k|1757.1 |   577M |1815 |  37k|5738 |7305 |4017 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2132.17/2137.32	c  2137s|  5800 |  5721 | 12088k|1731.6 |   577M |1815 |  37k|5738 |7318 |4031 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2133.67/2138.80	c  2139s|  5900 |  5821 | 12089k|1706.7 |   578M |1815 |  37k|5738 |7318 |4031 |  1 |  15 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2136.16/2141.34	c  2141s|  6000 |  5921 | 12101k|1684.2 |   581M |1815 |  37k|5745 |7457 |4043 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2138.65/2143.86	c  2144s|  6100 |  6001 | 12107k|1661.6 |   582M |1815 |  37k|5745 |7445 |4076 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2140.35/2145.50	c  2146s|  6200 |  6065 | 12108k|1638.7 |   582M |1815 |  37k|5745 |7451 |4136 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2233.04/2238.46	c  2238s|  6300 |  6153 | 12546k|1676.1 |   587M |1815 |  37k|5745 |7093 |4715 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2251.50/2256.90	c  2257s|  6400 |  6253 | 12665k|1669.5 |   589M |1815 |  37k|5745 |7259 |4898 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2257.88/2263.38	c  2263s|  6500 |  6353 | 12711k|1653.5 |   591M |1815 |  37k|5745 |7289 |4928 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2260.17/2265.64	c  2266s|  6600 |  6453 | 12720k|1633.1 |   592M |1815 |  37k|5745 |7298 |4938 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2261.57/2267.07	c  2267s|  6700 |  6553 | 12721k|1612.1 |   593M |1815 |  37k|5745 |7302 |4942 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2263.16/2268.68	c  2269s|  6800 |  6653 | 12723k|1591.8 |   594M |1815 |  37k|5745 |7302 |4942 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2265.06/2270.52	c  2271s|  6900 |  6753 | 12725k|1572.0 |   596M |1815 |  37k|5745 |7373 |5023 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2266.35/2271.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2266.35/2271.88	c  2272s|  7000 |  6853 | 12725k|1552.6 |   596M |1815 |  37k|5745 |7374 |5024 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2267.85/2273.39	c  2273s|  7100 |  6953 | 12726k|1533.6 |   598M |1815 |  37k|5745 |7374 |5024 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2270.34/2275.82	c  2276s|  7200 |  7037 | 12730k|1515.5 |   600M |1815 |  37k|5745 |7452 |5059 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2271.94/2277.48	c  2277s|  7300 |  7093 | 12731k|1497.4 |   601M |1815 |  37k|5745 |   0 |5094 |  0 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2307.06/2312.60	c  2313s|  7400 |  7193 | 12927k|1503.0 |   603M |1815 |  37k|5745 |7121 |5626 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2313.45/2319.01	c  2319s|  7500 |  7293 | 12969k|1490.3 |   605M |1815 |  37k|5745 |7224 |5734 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2315.24/2320.84	c  2321s|  7600 |  7393 | 12974k|1473.6 |   606M |1815 |  37k|5745 |7226 |5736 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2317.23/2322.83	c  2323s|  7700 |  7493 | 12978k|1457.2 |   608M |1815 |  37k|5745 |7234 |5744 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2319.12/2324.71	c  2325s|  7800 |  7593 | 12981k|1441.0 |   609M |1815 |  37k|5745 |7235 |5745 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2320.62/2326.27	c  2326s|  7900 |  7693 | 12982k|1425.1 |   611M |1815 |  37k|5745 |7236 |5746 |  1 |  22 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2322.22/2327.82	c  2328s|  8000 |  7791 | 12983k|1409.4 |   613M |1815 |  37k|5751 |7281 |5796 |  1 |  28 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2323.71/2329.35	c  2329s|  8100 |  7891 | 12983k|1394.0 |   614M |1815 |  37k|5751 |7281 |5796 |  1 |  28 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2325.01/2330.64	c  2331s|  8200 |  7989 | 12983k|1379.0 |   616M |1815 |  37k|5752 |7281 |5796 |  1 |  29 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2343.86/2349.52	c  2350s|  8300 |  8073 | 13073k|1373.8 |   618M |1815 |  37k|5755 |6839 |5986 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2392.25/2398.09	c  2398s|  8400 |  8173 | 13348k|1388.5 |   622M |1815 |  37k|5755 |7143 |6302 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2400.13/2405.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2400.13/2405.90	c  2406s|  8500 |  8273 | 13396k|1378.9 |   624M |1815 |  37k|5755 |7218 |6387 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2403.12/2408.99	c  2409s|  8600 |  8373 | 13417k|1366.8 |   625M |1815 |  37k|5755 |7221 |6390 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2404.71/2410.56	c  2411s|  8700 |  8473 | 13418k|1352.9 |   627M |1815 |  37k|5755 |7222 |6391 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2406.61/2412.44	c  2412s|  8800 |  8573 | 13421k|1339.5 |   628M |1815 |  37k|5755 |7226 |6395 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2408.10/2413.92	c  2414s|  8900 |  8673 | 13423k|1326.1 |   629M |1815 |  37k|5755 |7227 |6396 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2409.60/2415.45	c  2415s|  9000 |  8773 | 13424k|1313.0 |   632M |1815 |  37k|5755 |7324 |6501 |  1 |  32 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2411.60/2417.40	c  2417s|  9100 |  8857 | 13425k|1300.2 |   632M |1815 |  37k|5757 |   0 |6546 |  0 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2413.59/2419.48	c  2419s|  9200 |  8935 | 13427k|1287.7 |   633M |1815 |  37k|5757 |7461 |6614 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2415.98/2421.85	c  2422s|  9300 |  9007 | 13432k|1275.8 |   634M |1815 |  37k|5757 |7462 |6666 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2478.74/2484.71	c  2485s|  9400 |  9091 | 13789k|1297.7 |   635M |1815 |  37k|5757 |6837 |6971 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2505.08/2511.11	c  2511s|  9500 |  9191 | 13967k|1302.3 |   637M |1815 |  37k|5757 |7057 |7196 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2511.06/2517.19	c  2517s|  9600 |  9291 | 14003k|1293.5 |   640M |1815 |  37k|5757 |7150 |7312 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2513.65/2519.71	c  2520s|  9700 |  9391 | 14014k|1282.4 |   641M |1815 |  37k|5757 |7157 |7319 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2515.45/2521.50	c  2521s|  9800 |  9491 | 14019k|1271.0 |   643M |1815 |  37k|5757 |7159 |7321 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2517.24/2523.34	c  2523s|  9900 |  9591 | 14020k|1259.6 |   645M |1815 |  37k|5757 |7161 |7323 |  1 |  34 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2519.23/2525.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2519.23/2525.37	c  2525s| 10000 |  9689 | 14023k|1248.5 |   646M |1815 |  37k|5760 |7447 |7324 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2521.44/2527.59	c  2528s| 10100 |  9757 | 14025k|1237.4 |   647M |1815 |  37k|5760 |7454 |7401 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2627.30/2633.67	c  2634s| 10200 |  9849 | 14597k|1277.3 |   651M |1815 |  37k|5760 |7150 |7887 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2647.65/2654.08	c  2654s| 10300 |  9949 | 14730k|1277.8 |   652M |1815 |  37k|5760 |7290 |8044 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2654.33/2660.72	c  2661s| 10400 | 10049 | 14788k|1271.6 |   653M |1815 |  37k|5760 |7314 |8071 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2656.03/2662.44	c  2662s| 10500 | 10149 | 14789k|1260.7 |   656M |1815 |  37k|5760 |7319 |8076 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2658.63/2665.09	c  2665s| 10600 | 10249 | 14794k|1250.3 |   657M |1815 |  37k|5760 |7325 |8083 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2661.21/2667.65	c  2668s| 10700 | 10349 | 14797k|1239.9 |   657M |1815 |  37k|5760 |7327 |8085 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2663.71/2670.12	c  2670s| 10800 | 10449 | 14797k|1229.5 |   659M |1815 |  37k|5760 |7412 |8175 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2665.50/2671.91	c  2672s| 10900 | 10549 | 14799k|1219.4 |   662M |1815 |  37k|5760 |7413 |8176 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2673.08/2679.58	c  2680s| 11000 | 10649 | 14867k|1214.8 |   663M |1815 |  37k|5760 |7413 |8176 |  0 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2677.77/2684.21	c  2684s| 11100 | 10717 | 14898k|1207.4 |   663M |1815 |  37k|5760 |7460 |8253 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2729.34/2735.90	c  2736s| 11200 | 10805 | 15191k|1221.4 |   665M |1815 |  37k|5760 |6950 |8644 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2736.91/2743.51	c  2744s| 11300 | 10905 | 15254k|1216.7 |   667M |1815 |  37k|5760 |7168 |8869 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2741.40/2748.03	c  2748s| 11400 | 11005 | 15282k|1209.1 |   669M |1815 |  37k|5760 |7200 |8906 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2743.09/2749.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2743.09/2749.77	c  2750s| 11500 | 11105 | 15283k|1199.6 |   670M |1815 |  37k|5760 |7202 |8908 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2745.88/2752.51	c  2753s| 11600 | 11205 | 15301k|1191.5 |   671M |1815 |  37k|5760 |7214 |8920 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2747.38/2754.08	c  2754s| 11700 | 11305 | 15302k|1182.3 |   671M |1815 |  37k|5760 |7214 |8920 |  1 |  37 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2749.17/2755.88	c  2756s| 11800 | 11403 | 15303k|1173.2 |   674M |1815 |  37k|5761 |7254 |8965 |  1 |  38 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2750.57/2757.29	c  2757s| 11900 | 11499 | 15305k|1164.2 |   676M |1815 |  37k|5763 |7254 |8965 |  1 |  40 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2752.37/2759.08	c  2759s| 12000 | 11599 | 15307k|1155.5 |   678M |1815 |  37k|5763 |7254 |8965 |  1 |  40 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2755.75/2762.47	c  2762s| 12100 | 11691 | 15311k|1147.0 |   679M |1815 |  37k|5767 |7458 |9005 |  1 |  44 |   0 | 1.458196e+06 |      --      |    Inf | unknown
2824.45/2831.37	c  2831s| 12200 | 11775 | 15632k|1162.6 |   680M |1815 |  37k|5767 |7023 |9449 |  0 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2884.18/2891.23	c  2891s| 12300 | 11875 | 15937k|1176.7 |   682M |1815 |  37k|5767 |7189 |9634 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2891.45/2898.57	c  2899s| 12400 | 11975 | 15975k|1170.8 |   684M |1815 |  37k|5767 |7272 |9726 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2893.64/2900.72	c  2901s| 12500 | 12075 | 15978k|1162.4 |   685M |1815 |  37k|5767 |7274 |9728 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2895.24/2902.36	c  2902s| 12600 | 12175 | 15980k|1154.0 |   686M |1815 |  37k|5767 |7276 |9730 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2897.13/2904.24	c  2904s| 12700 | 12275 | 15983k|1145.8 |   687M |1815 |  37k|5767 |7276 |9730 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2898.83/2905.90	c  2906s| 12800 | 12375 | 15984k|1137.6 |   688M |1815 |  37k|5767 |7277 |9731 |  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
2989.77/2997.14	c  2997s| 12900 | 12459 | 16418k|1160.6 |   692M |1815 |  37k|5767 |7003 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3066.84/3074.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3066.84/3074.47	c  3074s| 13000 | 12559 | 16862k|1183.9 |   694M |1815 |  37k|5767 |7223 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3071.43/3079.07	c  3079s| 13100 | 12659 | 16886k|1177.3 |   696M |1815 |  37k|5767 |7295 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3073.52/3081.14	c  3081s| 13200 | 12759 | 16888k|1169.1 |   697M |1815 |  37k|5767 |7295 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3076.11/3083.72	c  3084s| 13300 | 12859 | 16894k|1161.4 |   699M |1815 |  37k|5767 |7302 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3078.30/3085.94	c  3086s| 13400 | 12959 | 16898k|1153.6 |   700M |1815 |  37k|5767 |7308 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3080.09/3087.70	c  3088s| 13500 | 13059 | 16901k|1145.9 |   705M |1815 |  37k|5767 |7349 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3082.99/3090.64	c  3091s| 13600 | 13159 | 16908k|1138.5 |   706M |1815 |  37k|5767 |7363 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3084.49/3092.15	c  3092s| 13700 | 13259 | 16908k|1130.9 |   706M |1815 |  37k|5767 |7363 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3087.48/3095.12	c  3095s| 13800 | 13359 | 16918k|1123.9 |   708M |1815 |  37k|5767 |7457 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3090.56/3098.29	c  3098s| 13900 | 13435 | 16934k|1117.4 |   709M |1815 |  37k|5767 |7460 |  10k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3163.45/3171.35	c  3171s| 14000 | 13531 | 17280k|1133.1 |   713M |1815 |  37k|5767 |7198 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3201.94/3209.96	c  3210s| 14100 | 13631 | 17451k|1136.8 |   715M |1815 |  37k|5767 |7294 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3204.14/3212.17	c  3212s| 14200 | 13731 | 17457k|1129.8 |   716M |1815 |  37k|5767 |7308 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3206.62/3214.68	c  3215s| 14300 | 13831 | 17461k|1122.6 |   717M |1815 |  37k|5767 |7312 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3208.82/3216.82	c  3217s| 14400 | 13931 | 17464k|1115.6 |   717M |1815 |  37k|5767 |7313 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3210.51/3218.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3210.51/3218.53	c  3219s| 14500 | 14031 | 17469k|1108.7 |   718M |1815 |  37k|5767 |7317 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3212.50/3220.54	c  3221s| 14600 | 14131 | 17474k|1102.0 |   721M |1815 |  37k|5767 |7383 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3214.00/3222.06	c  3222s| 14700 | 14231 | 17475k|1095.0 |   722M |1815 |  37k|5767 |7383 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3215.49/3223.51	c  3224s| 14800 | 14331 | 17475k|1088.1 |   723M |1815 |  37k|5767 |7384 |  11k|  1 |  44 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3220.48/3228.50	c  3228s| 14900 | 14421 | 17492k|1082.4 |   725M |1815 |  37k|5785 |7465 |  11k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3223.57/3231.65	c  3232s| 15000 | 14501 | 17500k|1076.1 |   726M |1815 |  37k|5785 |7462 |  11k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3283.29/3291.55	c  3292s| 15100 | 14589 | 17871k|1092.5 |   728M |1815 |  37k|5785 |6990 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3291.07/3299.32	c  3299s| 15200 | 14689 | 17931k|1089.4 |   730M |1815 |  37k|5785 |7149 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3297.85/3306.12	c  3306s| 15300 | 14789 | 17989k|1086.3 |   731M |1815 |  37k|5785 |7310 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3299.94/3308.27	c  3308s| 15400 | 14889 | 17993k|1079.9 |   733M |1815 |  37k|5785 |7315 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3301.84/3310.16	c  3310s| 15500 | 14989 | 17994k|1073.5 |   734M |1815 |  37k|5785 |7315 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3303.23/3311.59	c  3312s| 15600 | 15089 | 17995k|1067.1 |   736M |1815 |  37k|5785 |7316 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3304.83/3313.15	c  3313s| 15700 | 15189 | 17996k|1060.8 |   739M |1815 |  37k|5785 |7383 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3306.22/3314.50	c  3314s| 15800 | 15289 | 17997k|1054.5 |   740M |1815 |  37k|5785 |7383 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3307.82/3316.18	c  3316s| 15900 | 15389 | 17997k|1048.3 |   741M |1815 |  37k|5785 |7383 |  12k|  1 |  62 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3313.20/3321.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3313.20/3321.59	c  3322s| 16000 | 15485 | 18012k|1043.0 |   743M |1815 |  37k|5796 |7464 |  12k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3357.57/3366.01	c  3366s| 16100 | 15569 | 18235k|1050.0 |   746M |1815 |  37k|5796 |7022 |  13k|  0 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3433.55/3442.28	c  3442s| 16200 | 15669 | 18665k|1068.8 |   748M |1815 |  37k|5796 |7244 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3440.33/3449.02	c  3449s| 16300 | 15769 | 18707k|1065.1 |   751M |1815 |  37k|5796 |7349 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3442.21/3450.94	c  3451s| 16400 | 15869 | 18712k|1059.2 |   752M |1815 |  37k|5796 |7353 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3444.00/3452.70	c  3453s| 16500 | 15969 | 18715k|1053.4 |   752M |1815 |  37k|5796 |7357 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3445.51/3454.26	c  3454s| 16600 | 16069 | 18716k|1047.5 |   755M |1815 |  37k|5796 |7357 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3446.90/3455.61	c  3456s| 16700 | 16169 | 18717k|1041.6 |   756M |1815 |  37k|5796 |7357 |  13k|  1 |  73 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3449.99/3458.78	c  3459s| 16800 | 16247 | 18726k|1036.3 |   758M |1815 |  37k|5797 |7448 |  13k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3531.06/3540.08	c  3540s| 16900 | 16335 | 19151k|1054.2 |   761M |1815 |  37k|5797 |7123 |  14k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3542.71/3551.77	c  3552s| 17000 | 16435 | 19243k|1053.4 |   762M |1815 |  37k|5797 |7239 |  14k|  0 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3546.70/3555.72	c  3556s| 17100 | 16535 | 19273k|1049.3 |   762M |1815 |  37k|5797 |7328 |  14k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3548.60/3557.68	c  3558s| 17200 | 16635 | 19276k|1043.7 |   764M |1815 |  37k|5797 |7335 |  14k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3550.59/3559.64	c  3560s| 17300 | 16735 | 19280k|1038.3 |   765M |1815 |  37k|5797 |7335 |  14k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3552.19/3561.25	c  3561s| 17400 | 16835 | 19282k|1032.7 |   766M |1815 |  37k|5797 |7336 |  14k|  1 |  74 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3554.68/3563.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3554.68/3563.71	c  3564s| 17500 | 16935 | 19290k|1027.6 |   769M |1815 |  37k|5805 |7465 |  14k|  1 |  82 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3557.77/3566.87	c  3567s| 17600 | 17011 | 19299k|1022.6 |   770M |1815 |  37k|5805 |7451 |  14k|  1 |  82 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3559.76/3568.82	c  3569s| 17700 | 17079 | 19301k|1017.2 |   771M |1815 |  37k|5805 |7463 |  14k|  1 |  82 |   0 | 1.458199e+06 |      --      |    Inf | unknown
3587.78/3597.00	c 
3587.78/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.78/3597.00	c Solving Time (sec) : 3597.00
3587.78/3597.00	c Solving Nodes      : 17785 (total of 18834 nodes in 2 runs)
3587.78/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.78/3597.00	c Dual Bound         : +1.45819875257449e+06
3587.78/3597.00	c Gap                : infinite
3587.78/3597.00	s UNKNOWN
3587.78/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.78/3597.00	c Total Time         :    3597.00
3587.78/3597.00	c   solving          :    3597.00
3587.78/3597.00	c   presolving       :       1.54 (included in solving)
3587.78/3597.00	c   reading          :       0.15 (included in solving)
3587.78/3597.00	c   copying          :       0.30 (5 #copies) (minimal 0.05, maximal 0.07, average 0.06)
3587.78/3597.00	c Original Problem   :
3587.78/3597.00	c   Problem name     : HOME/instance-4432560-1721067025.opb
3587.78/3597.00	c   Variables        : 74400 (74400 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.78/3597.00	c   Constraints      : 1408 initial, 1408 maximal
3587.88/3597.00	c   Objective        : minimize, 55800 non-zeros (abs.min = 1, abs.max = 4.29497e+10)
3587.88/3597.00	c Presolved Problem  :
3587.88/3597.00	c   Problem name     : t_HOME/instance-4432560-1721067025.opb
3587.88/3597.00	c   Variables        : 37478 (37478 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.88/3597.00	c   Constraints      : 5727 initial, 5805 maximal
3587.88/3597.00	c   Objective        : minimize, 30658 non-zeros (abs.min = 1, abs.max = 5.36871e+08)
3587.88/3597.00	c   Nonzeros         : 198587 constraint, 80681 clique table
3587.88/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.88/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   domcol           :       0.15       0.00      4        551          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dualsparsify     :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   gateextraction   :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   implics          :       0.01       0.00     17          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   milp             :       0.10       0.00      1         93          0          0          0          0          0          0          0          0
3587.88/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   sparsify         :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   trivial          :       0.03       0.00     25          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dualfix          :       0.03       0.00     25        938          0          0          0          0          0          0          0          0
3587.88/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   probing          :       0.28       0.00      1          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   pseudoobj        :       0.00       0.01      1          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   symmetry         :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   vbounds          :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   knapsack         :       0.27       0.02     43          0          0          0          0          0        614       3451       1562       5439
3587.88/3597.00	c   setppc           :       0.04       0.00     19          0          0          0          0          0       1269          0          0          0
3587.88/3597.00	c   linear           :       0.27       0.03     34      35340          0          0      35340          0         69       1302         59       7302
3587.88/3597.00	c   logicor          :       0.01       0.00     39          0          0          0          0          0        622          0          0         38
3587.88/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   components       :       0.06       0.00      2          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.88/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.88/3597.00	c   benderslp        :          0          0          0          0      18200          0        308       1547          0          0          0          0          0          0          0
3587.88/3597.00	c   integral         :          0          0          0          0      18200          0          0       1547          0          0          0          0          0          0      36400
3587.88/3597.00	c   knapsack         :       1548+      1552         16     117015          0          0        308       1542        427         25      26947       3214        940          0          0
3587.88/3597.00	c   setppc           :       2656+      2657          5      58754          0          0          0          0          3          0       4393          0          0          0          0
3587.88/3597.00	c   linear           :        791+       798         16     116989          0          0         13          3        337        321     159083        324         22          0          0
3587.88/3597.00	c   logicor          :        732+       798         16       2423          0          0        308          0          2          1         39          0          0          0          0
3587.88/3597.00	c   benders          :          0          0          0          0          0          0        308          0          0          0          0          0          0          0          0
3587.88/3597.00	c   fixedvar         :          0          0          0          0          0          0        308          0          0          0          0          0          0          0          0
3587.88/3597.00	c   countsols        :          0          0          0          0          0          0        308          0          0          0          0          0          0          0          0
3587.88/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.88/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   integral         :      14.31       0.00       0.00       0.00      14.30       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   knapsack         :       3.79       0.02       2.29       1.28       0.00       0.02       0.00       0.17       0.00       0.00
3587.88/3597.00	c   setppc           :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   linear           :       0.75       0.03       0.03       0.68       0.00       0.00       0.00       0.01       0.00       0.00
3587.88/3597.00	c   logicor          :       0.04       0.00       0.00       0.01       0.00       0.03       0.00       0.00       0.00       0.00
3587.88/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.88/3597.00	c   dualfix          :          2          0          0          0
3587.88/3597.00	c   genvbounds       :          0          0          0          0
3587.88/3597.00	c   nlobbt           :          0          0          0          0
3587.88/3597.00	c   obbt             :          0          0          0          0
3587.88/3597.00	c   probing          :          0          0          0          0
3587.88/3597.00	c   pseudoobj        :      51611          0          0          0
3587.88/3597.00	c   redcost          :         16          0          0          0
3587.88/3597.00	c   rootredcost      :          0          0          0          0
3587.88/3597.00	c   symmetry         :          0          0          0          0
3587.88/3597.00	c   vbounds          :      42043          0          0          0
3587.88/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.88/3597.00	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
3587.88/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3587.88/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.88/3597.00	c   probing          :       0.28       0.00       0.28       0.00       0.00       0.00
3587.88/3597.00	c   pseudoobj        :       0.32       0.01       0.00       0.30       0.00       0.00
3587.88/3597.00	c   redcost          :       0.08       0.00       0.00       0.08       0.00       0.00
3587.88/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.88/3597.00	c   symmetry         :       0.09       0.00       0.06       0.03       0.00       0.00
3587.88/3597.00	c   vbounds          :       0.22       0.00       0.02       0.19       0.00       0.00
3587.88/3597.00	c Symmetry           :
3587.88/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.88/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.88/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.88/3597.00	c   shadow tree time :       0.00 s
3587.88/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.88/3597.00	c   propagation      :       0.00         26         25          -         59       27.5          1        5.0          -          -          -
3587.88/3597.00	c   infeasible LP    :       0.04         11         11          -         45       50.2          0        0.0         11      175.5          0
3587.88/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.88/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.88/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.88/3597.00	c   applied globally :       0.00          -          -          0         71       26.4          -          -         11          -          -
3587.88/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.88/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.88/3597.00	c   cut pool         :       0.79          -       2704         30          -          -      20371     118898          -          -          -          -          -    (maximal pool size:       8273)
3587.88/3597.00	c   aggregation      :       3.92       0.00        121         16          0          0       9757      74058          0      18699      18699          0          0
3587.88/3597.00	c   > cmir           :          -          -          -          -          -          -          -      50694          0      10994      10994          0          -
3587.88/3597.00	c   > flowcover      :          -          -          -          -          -          -          -      17938          0       6006       6006          0          -
3587.88/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -       5426          0       1699       1699          0          -
3587.88/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   clique           :       0.98       0.00         16         16          0          0         91        484          0        227        227          0          0
3587.88/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   gomory           :       4.60       0.00        120         15          0          0       8298      32378          0       8370       8370          0          0
3587.88/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -      19566          0       5140       5140          0          -
3587.88/3597.00	c   > strongcg       :          -          -          -          -          -          -          -      12812          0       3230       3230          0          -
3587.88/3597.00	c   impliedbounds    :       0.18       0.00        121         16          0          0       1843       9300          0       4407       4407          0          0
3587.88/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   mcf              :       0.01       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   multilinear      :       0.00       0.00        111         16          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   rlt              :       0.00       0.00         74         15          0          0          0          0          0          0          0          0          0
3587.88/3597.00	c   zerohalf         :       1.15       0.00        121         16          0          0        381       2678          1        762        761          1          0
3587.88/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.88/3597.00	c   hybrid           :       0.38       0.00       1264         16      33427          0      89010       3886          0      17747
3587.88/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.88/3597.00	c   problem variables:       0.00          -          0          0
3587.88/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.88/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   inference        :       1.91       0.00          0          0        308          0          0          0          0        616
3587.88/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c   relpscost        :      14.28       0.00      18200          0          0          0          0          0          0      36400
3587.88/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.88/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.88/3597.00	c   LP solutions     :       0.00          -          -          0          0
3587.88/3597.00	c   relax solutions  :       0.00          -          -          0          0
3587.88/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3587.88/3597.00	c   strong branching :       0.00          -          -          0          0
3587.88/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3587.88/3597.00	c   adaptivediving   :      31.54       0.00         12          0          0
3587.88/3597.00	c   alns             :       3.79       0.00          5          0          0
3587.88/3597.00	c   bound            :       0.00       0.00          0          0          0
3587.88/3597.00	c   clique           :       0.29       0.00          1          0          0
3587.88/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3587.88/3597.00	c   completesol      :       0.00       0.00          0          0          0
3587.88/3597.00	c   conflictdiving   :      57.63       0.00          8          0          0
3587.88/3597.00	c   crossover        :       0.00       0.00          0          0          0
3587.88/3597.00	c   dins             :       0.00       0.00          0          0          0
3587.88/3597.00	c   distributiondivin:     188.21       0.00          7          0          0
3587.88/3597.00	c   dps              :       0.00       0.00          0          0          0
3587.88/3597.00	c   dualval          :       0.00       0.00          0          0          0
3587.88/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3587.88/3597.00	c   feasjump         :       0.13       0.00          2          0          0
3587.88/3597.00	c   feaspump         :       5.86       0.00          4          0          0
3587.88/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3587.88/3597.00	c   fracdiving       :     152.82       0.00          8          0          0
3587.88/3597.00	c   gins             :       0.00       0.00          0          0          0
3587.88/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3587.88/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.88/3597.00	c   indicator        :       0.01       0.00          0          0          0
3587.88/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3587.88/3597.00	c   indoneopt        :       0.01       0.00          0          0          0
3587.88/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3587.88/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3587.88/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3587.88/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3587.88/3597.00	c   linesearchdiving :      57.76       0.00          7          0          0
3587.88/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3587.88/3597.00	c   locks            :       0.48       0.00          1          0          0
3587.88/3597.00	c   lpface           :       0.01       0.00          0          0          0
3587.88/3597.00	c   mpec             :       0.00       0.00          0          0          0
3587.88/3597.00	c   multistart       :       0.00       0.00          0          0          0
3587.88/3597.00	c   mutation         :       0.00       0.00          0          0          0
3587.88/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3587.88/3597.00	c   objpscostdiving  :      32.76       0.00          4          0          0
3587.88/3597.00	c   octane           :       0.00       0.00          0          0          0
3587.88/3597.00	c   ofins            :       0.00       0.00          0          0          0
3587.88/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3587.88/3597.00	c   padm             :       0.00       0.00          0          0          0
3587.88/3597.00	c   proximity        :       0.00       0.00          0          0          0
3587.88/3597.00	c   pscostdiving     :      53.11       0.00          8          0          0
3587.88/3597.00	c   randrounding     :       3.43       0.00       1529          0          0
3587.88/3597.00	c   rens             :       0.00       0.00          0          0          0
3587.88/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3587.88/3597.00	c   repair           :       0.00       0.00          0          0          0
3587.88/3597.00	c   rins             :       0.00       0.00          0          0          0
3587.88/3597.00	c   rootsoldiving    :      75.23       0.00          4          0          0
3587.88/3597.00	c   rounding         :       0.54       0.00       1824          0          0
3587.88/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3587.88/3597.00	c   shiftandpropagate:       0.26       0.00          2          0          0
3587.88/3597.00	c   shifting         :      49.30       0.00        637          0          0
3587.88/3597.00	c   simplerounding   :       0.04       0.00      17981          0          0
3587.88/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3587.88/3597.00	c   subnlp           :       0.02       0.00          0          0          0
3587.88/3597.00	c   trivial          :       0.08       0.00          4          0          0
3587.88/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3587.88/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3587.88/3597.00	c   trysol           :       0.01       0.00          0          0          0
3587.88/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3587.88/3597.00	c   undercover       :       0.00       0.00          0          0          0
3587.88/3597.00	c   vbounds          :       0.01       0.00          0          0          0
3587.88/3597.00	c   veclendiving     :      75.30       0.00          7          0          0
3587.88/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3587.88/3597.00	c   zirounding       :       0.21       0.00       1000          0          0
3587.88/3597.00	c   other solutions  :          -          -          -          0          -
3587.88/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	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.88/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.88/3597.00	c   primal LP        :      87.26        400     604422    3801.40    6926.60       1.34        241
3587.88/3597.00	c   dual LP          :    2569.60      23307   15589046     716.28    6066.72      10.76       1543
3587.88/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3587.88/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.88/3597.00	c   resolve instable :     840.97       1063    4709840    4430.71    5600.46
3587.88/3597.00	c   diving/probing LP:     701.96        905    3251488    3592.80    4632.04
3587.88/3597.00	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3587.88/3597.00	c     (at root node) :          -          0          0       0.00          -
3587.88/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3587.88/3597.00	c B&B Tree           :
3587.88/3597.00	c   number of runs   :          2
3587.88/3597.00	c   nodes            :      17785 (17459 internal, 326 leaves)
3587.88/3597.00	c   feasible leaves  :          0
3587.88/3597.00	c   infeas. leaves   :        325
3587.88/3597.00	c   objective leaves :          0
3587.88/3597.00	c   nodes (total)    :      18834 (18508 internal, 326 leaves)
3587.88/3597.00	c   nodes left       :      17135
3587.88/3597.00	c   max depth        :       1815
3587.88/3597.00	c   max depth (total):       1815
3587.88/3597.00	c   backtracks       :        182 (1.0%)
3587.88/3597.00	c   early backtracks :          0 (0.0%)
3587.88/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3587.88/3597.00	c   delayed cutoffs  :          0
3587.88/3597.00	c   repropagations   :        614 (67 domain reductions, 0 cutoffs)
3587.88/3597.00	c   avg switch length:       3.76
3587.88/3597.00	c   switching time   :      70.51
3587.88/3597.00	c Root Node          :
3587.88/3597.00	c   First LP value   : +1.45817600000000e+06
3587.88/3597.00	c   First LP Iters   :       7066 (41889.97 Iter/sec)
3587.88/3597.00	c   First LP Time    :       0.17
3587.88/3597.00	c   Final Dual Bound : +1.45819648590781e+06
3587.88/3597.00	c   Final Root Iters :     230791
3587.88/3597.00	c   Root LP Estimate :                     -
3587.88/3597.00	c Solution           :
3587.88/3597.00	c   Solutions found  :          0 (0 improvements)
3587.88/3597.00	c   Primal Bound     :          -
3587.88/3597.00	c   Dual Bound       : +1.45819875257449e+06
3587.88/3597.00	c   Gap              :   infinite
3587.88/3597.00	c Integrals          :      Total       Avg%
3587.88/3597.00	c   primal-dual      :  359699.78     100.00
3587.88/3597.00	c   primal-ref       :          -          - (not evaluated)
3587.88/3597.00	c   dual-ref         :          -          - (not evaluated)
3588.08/3597.24	c Time complete: 3588.13.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61682 MiB free)
  memory of node 1: 64473 MiB (62650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432560-1721067025/watcher-4432560-1721067025 -o /tmp/evaluation-result-4432560-1721067025/solver-4432560-1721067025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760 pbscip -f HOME/instance-4432560-1721067025.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=817318, runsolver pid=817315

[startup+0.100323 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127237604/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=135728 memory=91768 CPUtime=0.09 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 19988 0 0 0 7 2 0 0 20 0 1 0 158868670 138985472 22942 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 33932 22942 3262 3540 0 22189 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 135728 KiB
Current children cumulated memory: 91768 KiB

[startup+0.205593 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127183760/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=192444 memory=152372 CPUtime=0.2 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 37553 0 0 0 15 5 0 0 20 0 1 0 158868670 197062656 38093 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 48111 38093 3566 3540 0 36368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 192444 KiB
Current children cumulated memory: 152372 KiB

[startup+0.305651 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127115076/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=262548 memory=214796 CPUtime=0.29 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 53147 0 0 0 22 7 0 0 20 0 1 0 158868670 268849152 53699 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 65637 53699 3598 3540 0 53894 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 262548 KiB
Current children cumulated memory: 214796 KiB

[startup+0.700229 s]
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127083956/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=320956 memory=273116 CPUtime=0.68 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 73734 0 0 0 58 10 0 0 20 0 1 0 158868670 328658944 68279 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 80239 68279 3805 3540 0 68496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 320956 KiB
Current children cumulated memory: 273116 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127030104/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=427148 memory=321708 CPUtime=1.48 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 84185 0 0 0 136 12 0 0 20 0 1 0 158868670 437399552 80427 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 106787 80427 3837 3540 0 95044 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 427148 KiB
Current children cumulated memory: 321708 KiB

[startup+3.10573 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 817319
/proc/meminfo: memFree=126944240/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=495128 memory=388436 CPUtime=3.09 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 101687 0 0 0 294 15 0 0 20 0 1 0 158868670 507011072 97109 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 123782 97109 3981 3540 0 112039 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 495128 KiB
Current children cumulated memory: 388436 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.16 4.13 5/258 817320
/proc/meminfo: memFree=126848412/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=590296 memory=482672 CPUtime=6.27 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 111926 0 0 0 610 17 0 0 20 0 1 0 158868670 604463104 120668 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 147574 120668 4111 3540 0 135831 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 590296 KiB
Current children cumulated memory: 482672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 817322
/proc/meminfo: memFree=126824796/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614324 memory=506664 CPUtime=12.65 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115308 0 0 0 1247 18 0 0 20 0 1 0 158868670 629067776 126666 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153581 126666 4175 3540 0 141838 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 614324 KiB
Current children cumulated memory: 506664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.16 4.13 5/258 817324
/proc/meminfo: memFree=126824092/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614804 memory=507096 CPUtime=25.42 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115484 0 0 0 2524 18 0 0 20 0 1 0 158868670 629559296 126774 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153701 126774 4191 3540 0 141958 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 614804 KiB
Current children cumulated memory: 507096 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.16 4.13 5/258 817329
/proc/meminfo: memFree=126814204/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614804 memory=507568 CPUtime=50.96 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115579 0 0 0 5078 18 0 0 20 0 1 0 158868670 629559296 126892 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153701 126892 4191 3540 0 141958 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 614804 KiB
Current children cumulated memory: 507568 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.20 4.14 5/258 817337
/proc/meminfo: memFree=126793060/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=102.03 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 116992 0 0 0 10185 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB

[startup+162.3 s]
/proc/loadavg: 4.35 4.23 4.16 5/258 817349
/proc/meminfo: memFree=126760832/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=161.88 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117013 0 0 0 16170 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB

[startup+222.3 s]
/proc/loadavg: 4.56 4.33 4.20 5/258 817360
/proc/meminfo: memFree=126748688/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=221.74 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117022 0 0 0 22156 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.29 4.19 5/255 817371
/proc/meminfo: memFree=126722084/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=281.59 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117033 0 0 0 28141 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/254 817382
/proc/meminfo: memFree=126680764/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=622864 memory=514796 CPUtime=341.45 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117261 0 0 0 34127 18 0 0 20 0 1 0 158868670 637812736 128699 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155716 128699 4191 3540 0 143973 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 622864 KiB
Current children cumulated memory: 514796 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/254 817392
/proc/meminfo: memFree=126640344/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=647208 memory=539448 CPUtime=401.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 140869 0 0 0 40108 22 0 0 20 0 1 0 158868670 662740992 134862 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 161802 134862 4207 3540 0 150059 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 647208 KiB
Current children cumulated memory: 539448 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/254 817404
/proc/meminfo: memFree=126622468/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=647208 memory=539448 CPUtime=461.16 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 140885 0 0 0 46094 22 0 0 20 0 1 0 158868670 662740992 134862 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 161802 134862 4207 3540 0 150059 0

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

/proc/loadavg: 4.10 4.33 4.67 5/255 819673
/proc/meminfo: memFree=126868012/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=810772 CPUtime=3154.47 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 217815 0 0 0 315411 36 0 0 20 0 1 0 158868670 926994432 202693 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202693 4244 3540 0 214574 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 810772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.28 4.63 5/254 819684
/proc/meminfo: memFree=126835408/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=810772 CPUtime=3214.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 218101 0 0 0 321394 36 0 0 20 0 1 0 158868670 926994432 202693 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202693 4244 3540 0 214574 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 810772 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.24 4.59 5/254 819695
/proc/meminfo: memFree=126831664/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=811968 CPUtime=3274.12 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 218738 0 0 0 327376 36 0 0 20 0 1 0 158868670 926994432 202992 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202992 4244 3540 0 214574 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 811968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.21 4.56 5/254 819705
/proc/meminfo: memFree=126828160/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905700 memory=814332 CPUtime=3333.94 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 219608 0 0 0 333357 37 0 0 20 0 1 0 158868670 927436800 203583 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226425 203583 4244 3540 0 214682 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 905700 KiB
Current children cumulated memory: 814332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.53 5/254 819715
/proc/meminfo: memFree=126826004/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=908000 memory=815720 CPUtime=3393.77 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 220278 0 0 0 339340 37 0 0 20 0 1 0 158868670 929792000 203930 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 227000 203930 4244 3540 0 215257 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 908000 KiB
Current children cumulated memory: 815720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.51 5/254 819726
/proc/meminfo: memFree=126803400/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=918692 memory=823608 CPUtime=3453.58 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 222671 0 0 0 345320 38 0 0 20 0 1 0 158868670 940740608 205902 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 229673 205902 4244 3540 0 217930 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 918692 KiB
Current children cumulated memory: 823608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.15 4.47 5/254 819736
/proc/meminfo: memFree=126800196/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=921644 memory=825924 CPUtime=3513.4 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 223505 0 0 0 351302 38 0 0 20 0 1 0 158868670 943763456 206481 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 230411 206481 4244 3540 0 218668 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 921644 KiB
Current children cumulated memory: 825924 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.45 5/257 819751
/proc/meminfo: memFree=126702812/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=914900 CPUtime=3573.22 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 251984 0 0 0 357279 43 0 0 20 0 1 0 158868670 1037357056 228725 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228725 4244 3540 0 241518 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 914900 KiB

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

# cumulated CPU time of all completed processes:  user=3587.69 s, system=0.448676 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.45 5/257 819751
/proc/meminfo: memFree=126702812/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3574.92 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252019 0 0 0 357449 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3574.92 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702856/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3581.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358087 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702832/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3584.49 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358406 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3586.08 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358565 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3586.88 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252063 0 0 0 358645 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3587.68 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252063 0 0 0 358725 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB

[startup+3597.2 s]
/proc/loadavg: 4.10 4.15 4.44 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=955180 memory=857136 CPUtime=3588.08 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252182 0 0 0 358765 43 0 0 20 0 1 0 158868670 978104320 214284 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 238795 214284 4244 3540 0 227052 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 955180 KiB
Current children cumulated memory: 857136 KiB

Child status: 0

Real time (s): 3597.26
CPU time (s): 3588.14
CPU user time (s): 3587.69
CPU system time (s): 0.448676
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 1046428
Max. memory (cumulated for all children) (KiB): 938684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.69
system time used= 0.448676
maximum resident set size= 938684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252205
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= 44
involuntary context switches= 1394


# summary of solver processes directly reported to runsolver:
#   pid: 817318
#   total CPU time (s): 3588.14
#   total CPU user time (s): 3587.69
#   total CPU system time (s): 0.448676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74255 second user time and 15.5827 second system time

The end

Launcher Data

Begin job on nodeC026 at 2024-07-15 20:10:38
IDJOB=4432560
IDBENCH=146841
IDSOLVER=3059
FILE ID=nodeC026/4432560-1721067025
RUNJOBID= nodeC026-1721061647-814087
SLURM_JOB_ID= 7505513
Free space on /tmp= 890020 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.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-4432560-1721067025/watcher-4432560-1721067025 -o /tmp/evaluation-result-4432560-1721067025/solver-4432560-1721067025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760  pbscip -f HOME/instance-4432560-1721067025.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= ae9069a7e4a4f60423faee038f49f7b2
RANDOM SEED=991615341

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127316600 kB
MemAvailable:   128172388 kB
Buffers:          370548 kB
Cached:          1320212 kB
SwapCached:            0 kB
Active:           644596 kB
Inactive:        2965832 kB
Active(anon):       1580 kB
Inactive(anon):  1955528 kB
Active(file):     643016 kB
Inactive(file):  1010304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22804 kB
Writeback:            20 kB
AnonPages:       1915932 kB
Mapped:           139656 kB
Shmem:             37720 kB
KReclaimable:      84584 kB
Slab:             189340 kB
SReclaimable:      84584 kB
SUnreclaim:       104756 kB
KernelStack:        4160 kB
PageTables:        13164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2360656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC026 at 2024-07-15 21:10:35