Trace number 4459896

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT-80 3589.13 3597.18

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMe801618a66cab8fdd24ce0de869386c9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82
Best CPU time to get the best result obtained on this benchmark69962.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4459896-1721939463.opb>
0.00/0.06	c original problem has 16706 variables (1000 bin, 0 int, 15706 impl, 0 cont) and 18207 constraints
0.00/0.06	c problem read in 0.06
0.09/0.12	o 0
0.09/0.12	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.09/0.12	c presolving:
0.20/0.21	c (round 1, medium)     0 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.20/0.22	c (round 2, fast)       15706 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.20/0.24	c (round 3, exhaustive) 15706 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 0 impls, 500 clqs
0.20/0.28	c    (0.3s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.28	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.29	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.29	c    (0.3s) no symmetry present (symcode time: 0.00)
0.20/0.30	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.20/0.30	c  15706 deleted vars, 17706 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.30	c  0 implications, 500 cliques
0.20/0.30	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.20/0.30	c    1000 constraints of type <knapsack>
0.20/0.30	c     500 constraints of type <setppc>
0.20/0.30	c       1 constraints of type <linear>
0.20/0.30	c transformed objective value is always integral (scale: 1)
0.20/0.30	c Presolving Time: 0.18
0.20/0.30	c - non default parameters ----------------------------------------------------------------------
0.20/0.30	c # SCIP version 10.0.0
0.20/0.30	c 
0.20/0.30	c # maximal time in seconds to run
0.20/0.30	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.30	c limits/time = 3596.997056
0.20/0.30	c 
0.20/0.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.30	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.30	c limits/memory = 27900
0.20/0.30	c 
0.20/0.30	c # belongs reading time to solving time?
0.20/0.30	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.30	c timing/reading = TRUE
0.20/0.30	c 
0.20/0.30	c -----------------------------------------------------------------------------------------------
0.20/0.30	c start solving
0.20/0.30	c transformed 1/1 original solutions to the transformed problem space
0.20/0.30	c 
0.30/0.33	o -1
0.30/0.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.30/0.33	c p 0.3s|     1 |     0 |     0 |     - |   locks|   0 |1000 |1501 |1501 |   0 |  0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  Large | unknown
1.28/1.34	c   1.3s|     1 |     0 |  3017 |     - |    85M |   0 |1000 |1503 |1501 |   0 |  0 |   2 |   0 |-2.500000e+02 |-1.000000e+00 |  Large | unknown
4.67/4.76	c   4.7s|     1 |     0 |  6142 |     - |   123M |   0 |1000 |1503 |1669 | 168 |  1 |   2 |   0 |-2.429427e+02 |-1.000000e+00 |  Large | unknown
4.67/4.76	o -48
4.67/4.76	c r 4.8s|     1 |     0 |  6142 |     - |randroun|   0 |1000 |1503 |1669 |   0 |  1 |   2 |   0 |-2.429427e+02 |-4.800000e+01 | 406.13%| unknown
10.36/10.42	c  10.4s|     1 |     0 |  7772 |     - |   147M |   0 |1000 |1503 |1805 | 304 |  2 |   2 |   0 |-2.343743e+02 |-4.800000e+01 | 388.28%| unknown
10.36/10.42	o -54
10.36/10.42	c r10.4s|     1 |     0 |  7772 |     - |randroun|   0 |1000 |1503 |1805 |   0 |  2 |   2 |   0 |-2.343743e+02 |-5.400000e+01 | 334.03%| unknown
18.74/18.85	c  18.8s|     1 |     0 |  8841 |     - |   178M |   0 |1000 |1503 |1924 | 423 |  3 |   2 |   0 |-2.305898e+02 |-5.400000e+01 | 327.02%| unknown
27.12/27.20	c  27.2s|     1 |     0 |  9574 |     - |   200M |   0 |1000 |1503 |2000 | 499 |  4 |   2 |   0 |-2.291919e+02 |-5.400000e+01 | 324.43%| unknown
34.10/34.23	c  34.2s|     1 |     0 |  9825 |     - |   216M |   0 |1000 |1503 |2082 | 581 |  5 |   2 |   0 |-2.291058e+02 |-5.400000e+01 | 324.27%| unknown
41.19/41.30	c  41.3s|     1 |     0 | 10152 |     - |   246M |   0 |1000 |1503 |2112 | 611 |  6 |   2 |   0 |-2.290127e+02 |-5.400000e+01 | 324.10%| unknown
48.17/48.37	c  48.4s|     1 |     0 | 10506 |     - |   260M |   0 |1000 |1503 |2129 | 628 |  7 |   2 |   0 |-2.288800e+02 |-5.400000e+01 | 323.85%| unknown
55.16/55.35	c  55.3s|     1 |     0 | 10829 |     - |   271M |   0 |1000 |1503 |2147 | 646 |  8 |   2 |   0 |-2.287654e+02 |-5.400000e+01 | 323.64%| unknown
61.65/61.84	c  61.8s|     1 |     0 | 10954 |     - |   282M |   0 |1000 |1503 |2160 | 659 |  9 |   2 |   0 |-2.287526e+02 |-5.400000e+01 | 323.62%| unknown
69.03/69.23	c  69.2s|     1 |     0 | 11462 |     - |   303M |   0 |1000 |1503 |2169 | 668 | 10 |   2 |   0 |-2.286407e+02 |-5.400000e+01 | 323.41%| unknown
75.11/75.37	c  75.4s|     1 |     0 | 11799 |     - |   304M |   0 |1000 |1503 |2123 | 680 | 11 |   2 |   0 |-2.285985e+02 |-5.400000e+01 | 323.33%| unknown
80.81/81.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
80.81/81.04	c  81.0s|     1 |     0 | 11968 |     - |   304M |   0 |1000 |1503 |2136 | 693 | 12 |   2 |   0 |-2.285770e+02 |-5.400000e+01 | 323.29%| unknown
86.70/87.00	c  87.0s|     1 |     0 | 12269 |     - |   304M |   0 |1000 |1503 |2142 | 699 | 13 |   2 |   0 |-2.285557e+02 |-5.400000e+01 | 323.25%| unknown
92.59/92.87	c  92.9s|     1 |     0 | 12523 |     - |   304M |   0 |1000 |1503 |2153 | 710 | 14 |   2 |   0 |-2.285291e+02 |-5.400000e+01 | 323.20%| unknown
98.18/98.41	c  98.4s|     1 |     0 | 12714 |     - |   304M |   0 |1000 |1503 |2158 | 715 | 15 |   2 |   0 |-2.285147e+02 |-5.400000e+01 | 323.18%| unknown
103.57/103.82	c   104s|     1 |     0 | 12859 |     - |   305M |   0 |1000 |1503 |2165 | 722 | 16 |   2 |   0 |-2.285086e+02 |-5.400000e+01 | 323.16%| unknown
108.76/109.03	c   109s|     1 |     0 | 12907 |     - |   305M |   0 |1000 |1503 |2041 | 727 | 17 |   2 |   0 |-2.285078e+02 |-5.400000e+01 | 323.16%| unknown
114.05/114.31	c   114s|     1 |     0 | 13006 |     - |   305M |   0 |1000 |1503 |2047 | 733 | 18 |   2 |   0 |-2.285056e+02 |-5.400000e+01 | 323.16%| unknown
119.13/119.41	c   119s|     1 |     0 | 13049 |     - |   305M |   0 |1000 |1503 |2051 | 737 | 19 |   2 |   0 |-2.285049e+02 |-5.400000e+01 | 323.16%| unknown
124.22/124.54	c   125s|     1 |     0 | 13100 |     - |   306M |   0 |1000 |1503 |2055 | 741 | 20 |   2 |   0 |-2.285041e+02 |-5.400000e+01 | 323.16%| unknown
129.12/129.41	c   129s|     1 |     0 | 13127 |     - |   306M |   0 |1000 |1503 |2057 | 743 | 21 |   2 |   0 |-2.285040e+02 |-5.400000e+01 | 323.16%| unknown
142.98/143.37	o -62
142.98/143.37	c o 143s|     1 |     0 | 19693 |     - |feaspump|   0 |1000 |1503 |2057 | 743 | 22 |   2 |   0 |-2.285040e+02 |-6.200000e+01 | 268.55%| unknown
149.07/149.47	c   149s|     1 |     0 | 25996 |     - |   307M |   0 |1000 |1503 |2057 | 743 | 22 |   2 |   0 |-2.285040e+02 |-6.200000e+01 | 268.55%| unknown
251.11/251.77	c   252s|     1 |     2 | 25996 |     - |   307M |   0 |1000 |1503 |2057 | 743 | 23 |   2 |  35 |-2.284062e+02 |-6.200000e+01 | 268.40%| unknown
687.49/689.16	o -63
687.49/689.16	c d 689s|    15 |    16 | 36587 |1675.7 |pscostdi|  14 |1000 |1503 |2063 |   0 |  1 |   2 | 258 |-2.282961e+02 |-6.300000e+01 | 262.37%| unknown
757.25/759.00	o -75
757.25/759.00	c d 759s|    39 |    40 | 57906 |1178.4 |fracdivi|  14 |1000 |1503 |2043 |   0 |  1 |   2 | 273 |-2.282961e+02 |-7.500000e+01 | 204.39%| unknown
835.09/837.05	o -77
835.09/837.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
835.09/837.05	c d 837s|    99 |   100 |106418 | 951.9 |linesear|  19 |1000 |1503 |2060 |   0 |  1 |   2 | 299 |-2.282961e+02 |-7.700000e+01 | 196.49%| unknown
835.48/837.44	c   837s|   100 |   101 |106528 | 943.4 |   445M |  19 |1000 |1503 |1953 |2354 |  1 |   2 | 299 |-2.282961e+02 |-7.700000e+01 | 196.49%| unknown
925.01/927.15	c   927s|   200 |   201 |195739 | 917.6 |   497M |  45 |1000 |1517 |2286 |3514 |  1 |  16 | 359 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
926.90/929.04	c   929s|   300 |   221 |201593 | 630.3 |   497M |  89 |1000 |1517 |2305 |3558 |  1 |  16 | 368 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
929.00/931.13	c   931s|   400 |   227 |203827 | 477.9 |   497M |  91 |1000 |1517 |2305 |3563 |  0 |  16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
929.79/931.95	c   932s|   500 |   233 |205299 | 385.1 |   496M | 104 |1000 |1517 |2307 |3571 |  1 |  16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
930.49/932.63	c   933s|   600 |   243 |206884 | 323.5 |   495M | 110 |1000 |1517 |2310 |3583 |  2 |  16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
981.79/984.05	c   984s|   700 |   261 |219388 | 295.1 |   495M | 114 |1000 |1517 |2308 |3692 |  0 |  16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
982.69/984.93	c   985s|   800 |   267 |220761 | 259.9 |   495M | 114 |1000 |1517 |2309 |3703 |  0 |  16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
983.18/985.46	c   985s|   900 |   273 |222255 | 232.6 |   495M | 114 |1000 |1517 |2306 |3711 |  1 |  16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
983.79/986.01	c   986s|  1000 |   277 |223714 | 210.8 |   495M | 114 |1000 |1517 |2305 |3714 |  1 |  16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
984.79/987.05	c   987s|  1100 |   279 |225820 | 193.5 |   495M | 114 |1000 |1517 |2302 |3723 |  0 |  16 | 436 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
985.58/987.80	c   988s|  1200 |   291 |227429 | 178.7 |   495M | 114 |1000 |1517 |2304 |3732 |  1 |  16 | 443 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
1073.40/1075.80	c  1076s|  1300 |   319 |248345 | 181.1 |   497M | 114 |1000 |1517 |1963 |3910 |  1 |  16 | 490 |-2.280740e+02 |-7.700000e+01 | 196.20%| unknown
1120.60/1123.13	c  1123s|  1400 |   339 |266871 | 181.4 |   498M | 126 |1000 |1519 |2303 |4010 |  0 |  18 | 502 |-2.280666e+02 |-7.700000e+01 | 196.19%| unknown
1200.34/1203.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1200.34/1203.02	c  1203s|  1500 |   369 |292532 | 186.4 |   498M | 126 |1000 |1521 |2307 |4267 |  0 |  20 | 528 |-2.280135e+02 |-7.700000e+01 | 196.12%| unknown
1251.24/1254.08	c  1254s|  1600 |   393 |306292 | 183.3 |   499M | 126 |1000 |1521 |2306 |4400 |  0 |  20 | 538 |-2.276741e+02 |-7.700000e+01 | 195.68%| unknown
1276.48/1279.37	c  1279s|  1700 |   419 |317986 | 179.4 |   499M | 126 |1000 |1521 |2307 |4504 |  1 |  20 | 548 |-2.276479e+02 |-7.700000e+01 | 195.65%| unknown
1305.42/1308.34	c  1308s|  1800 |   437 |327450 | 174.7 |   499M | 126 |1000 |1521 |1999 |4593 |  1 |  20 | 557 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1312.11/1315.09	c  1315s|  1900 |   457 |334528 | 169.2 |   499M | 126 |1000 |1527 |2308 |4599 |  1 |  26 | 566 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1313.00/1315.92	c  1316s|  2000 |   463 |337090 | 162.1 |   499M | 126 |1000 |1527 |2306 |4609 |  0 |  26 | 572 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1346.21/1349.25	c  1349s|  2100 |   487 |353105 | 162.0 |   499M | 126 |1000 |1527 |2306 |4689 |  0 |  26 | 605 |-2.275982e+02 |-7.700000e+01 | 195.58%| unknown
1376.44/1379.55	o -78
1376.44/1379.55	c d1380s|  2133 |   376 |362680 | 164.0 |adaptive| 126 |1000 |1528 |1984 |   0 |  1 |  27 | 616 |-2.275959e+02 |-7.800000e+01 | 191.79%| unknown
1435.70/1438.92	c  1439s|  2200 |   397 |386727 | 169.9 |   500M | 126 |1000 |1528 |2304 |4827 |  2 |  27 | 638 |-2.274942e+02 |-7.800000e+01 | 191.66%| unknown
1515.90/1519.37	c  1519s|  2300 |   429 |417230 | 175.8 |   500M | 126 |1000 |1530 |2306 |5008 |  1 |  29 | 669 |-2.273509e+02 |-7.800000e+01 | 191.48%| unknown
1545.02/1548.58	c  1549s|  2400 |   437 |435508 | 176.1 |   501M | 126 |1000 |1530 |2303 |5071 |  0 |  29 | 718 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1546.22/1549.71	c  1550s|  2500 |   445 |438360 | 170.2 |   501M | 126 |1000 |1530 |2305 |5076 |  1 |  29 | 740 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1546.82/1550.36	c  1550s|  2600 |   461 |440360 | 164.4 |   501M | 126 |1000 |1530 |2305 |5077 |  1 |  29 | 740 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1547.91/1551.45	c  1551s|  2700 |   473 |442424 | 159.1 |   501M | 126 |1000 |1530 |2305 |5083 |  0 |  29 | 791 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1578.14/1581.75	c  1582s|  2800 |   487 |452477 | 157.0 |   501M | 126 |1000 |1530 |2307 |5148 |  1 |  29 | 834 |-2.273010e+02 |-7.800000e+01 | 191.41%| unknown
1680.60/1684.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1680.60/1684.48	c  1684s|  2900 |   515 |498165 | 167.3 |   502M | 126 |1000 |1530 |2307 |5341 |  1 |  29 | 869 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1681.20/1685.03	c  1685s|  3000 |   515 |499410 | 162.1 |   502M | 126 |1000 |1530 |2306 |5343 |  1 |  29 | 869 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1682.20/1686.09	c  1686s|  3100 |   525 |501367 | 157.5 |   502M | 126 |1000 |1530 |2306 |5344 |  8 |  29 | 922 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1683.30/1687.14	c  1687s|  3200 |   533 |503295 | 153.2 |   502M | 126 |1000 |1530 |2307 |5346 |  2 |  29 | 975 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1684.09/1687.92	c  1688s|  3300 |   539 |504559 | 149.0 |   502M | 126 |1000 |1530 |2307 |5347 |  0 |  29 |1013 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1720.60/1724.52	c  1725s|  3400 |   561 |515765 | 147.9 |   502M | 126 |1000 |1530 |2308 |5430 |  1 |  29 |1051 |-2.272802e+02 |-7.800000e+01 | 191.38%| unknown
1781.88/1785.99	c  1786s|  3500 |   583 |539217 | 150.4 |   503M | 127 |1000 |1538 |2308 |5560 |  3 |  37 |1100 |-2.272584e+02 |-7.800000e+01 | 191.36%| unknown
1843.86/1848.10	c  1848s|  3600 |   597 |559423 | 151.8 |   504M | 128 |1000 |1537 |2307 |5801 |  1 |  37 |1127 |-2.272401e+02 |-7.800000e+01 | 191.33%| unknown
1943.77/1948.14	c  1948s|  3700 |   615 |587735 | 155.3 |   505M | 128 |1000 |1537 |1932 |5932 |  1 |  37 |1159 |-2.271949e+02 |-7.800000e+01 | 191.28%| unknown
1990.26/1994.72	c  1995s|  3800 |   643 |613229 | 158.0 |   505M | 128 |1000 |1536 |2306 |6086 |  2 |  37 |1192 |-2.271727e+02 |-7.800000e+01 | 191.25%| unknown
1991.46/1995.99	c  1996s|  3900 |   651 |616010 | 154.6 |   505M | 128 |1000 |1536 |2308 |6093 |  2 |  37 |1220 |-2.271727e+02 |-7.800000e+01 | 191.25%| unknown
2034.08/2038.65	c  2039s|  4000 |   665 |631947 | 154.7 |   505M | 128 |1000 |1535 |2305 |6190 |  4 |  37 |1245 |-2.271685e+02 |-7.800000e+01 | 191.24%| unknown
2034.77/2039.38	c  2039s|  4100 |   659 |633071 | 151.2 |   505M | 128 |1000 |1535 |2307 |6192 |  4 |  37 |1261 |-2.271685e+02 |-7.800000e+01 | 191.24%| unknown
2077.09/2081.71	c  2082s|  4200 |   679 |647014 | 151.0 |   506M | 128 |1000 |1548 |2306 |6279 |  0 |  50 |1297 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2077.88/2082.54	c  2083s|  4300 |   687 |649406 | 148.0 |   506M | 128 |1000 |1548 |2306 |6279 |  0 |  50 |1315 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2078.68/2083.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2078.68/2083.31	c  2083s|  4400 |   693 |651038 | 145.0 |   506M | 128 |1000 |1548 |2307 |6280 |  1 |  50 |1329 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2079.68/2084.34	c  2084s|  4500 |   703 |652762 | 142.2 |   506M | 128 |1000 |1548 |2306 |6280 |  1 |  50 |1338 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2080.38/2085.03	c  2085s|  4600 |   711 |654194 | 139.4 |   506M | 136 |1000 |1548 |2306 |6280 |  0 |  50 |1354 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2135.66/2140.46	c  2140s|  4700 |   731 |666114 | 139.0 |   506M | 138 |1000 |1548 |2306 |6375 |  3 |  50 |1389 |-2.271386e+02 |-7.800000e+01 | 191.20%| unknown
2162.80/2167.64	c  2168s|  4800 |   739 |676145 | 138.2 |   506M | 138 |1000 |1548 |2306 |6404 |  1 |  50 |1408 |-2.271336e+02 |-7.800000e+01 | 191.20%| unknown
2163.31/2168.19	c  2168s|  4900 |   745 |677181 | 135.5 |   506M | 138 |1000 |1548 |2305 |6406 |  0 |  50 |1408 |-2.271336e+02 |-7.800000e+01 | 191.20%| unknown
2215.69/2220.69	c  2221s|  5000 |   771 |692037 | 135.8 |   506M | 138 |1000 |1548 |1959 |6530 |  1 |  50 |1440 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2219.59/2224.54	c  2225s|  5100 |   781 |696935 | 134.1 |   506M | 141 |1000 |1548 |2305 |6531 |  0 |  50 |1446 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2220.58/2225.52	c  2226s|  5200 |   779 |698068 | 131.7 |   506M | 143 |1000 |1548 |2306 |6535 |  0 |  50 |1453 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2221.09/2226.07	c  2226s|  5300 |   795 |699245 | 129.5 |   507M | 143 |1000 |1552 |2306 |6536 |  1 |  54 |1459 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2221.48/2226.48	c  2226s|  5400 |   803 |699905 | 127.2 |   507M | 150 |1000 |1570 |2306 |6536 |  0 |  72 |1461 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2258.20/2263.24	c  2263s|  5500 |   825 |710602 | 126.8 |   507M | 156 |1000 |1571 |2305 |6632 |  1 |  73 |1474 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2258.80/2263.86	c  2264s|  5600 |   845 |712336 | 124.9 |   507M | 156 |1000 |1571 |2307 |6636 |  1 |  73 |1478 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2299.62/2304.70	c  2305s|  5700 |   875 |725055 | 124.9 |   507M | 156 |1000 |1570 |2307 |6724 |  1 |  73 |1484 |-2.270946e+02 |-7.800000e+01 | 191.15%| unknown
2300.02/2305.18	c  2305s|  5800 |   879 |726191 | 123.0 |   507M | 156 |1000 |1570 |2306 |6724 |  1 |  73 |1485 |-2.270946e+02 |-7.800000e+01 | 191.15%| unknown
2317.48/2322.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2317.48/2322.62	c  2323s|  5900 |   903 |736535 | 122.6 |   508M | 156 |1000 |1570 |2305 |6783 |  0 |  73 |1490 |-2.270878e+02 |-7.800000e+01 | 191.14%| unknown
2341.63/2346.85	c  2347s|  6000 |   913 |750130 | 122.9 |   508M | 156 |1000 |1570 |2307 |6858 |  0 |  73 |1493 |-2.270859e+02 |-7.800000e+01 | 191.14%| unknown
2375.14/2380.44	c  2380s|  6100 |   951 |771224 | 124.3 |   508M | 156 |1000 |1570 |2306 |6980 |  1 |  73 |1495 |-2.270662e+02 |-7.800000e+01 | 191.11%| unknown
2412.75/2418.18	c  2418s|  6200 |   965 |784864 | 124.5 |   509M | 156 |1000 |1570 |2306 |7087 |  1 |  73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2413.25/2418.66	c  2419s|  6300 |   973 |786526 | 122.8 |   509M | 156 |1000 |1570 |2305 |7087 |  0 |  73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2413.75/2419.11	c  2419s|  6400 |   987 |787904 | 121.1 |   509M | 156 |1000 |1570 |2306 |7088 |  0 |  73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2414.14/2419.57	c  2420s|  6500 |  1003 |788901 | 119.4 |   509M | 156 |1000 |1597 |2306 |7088 |  1 | 100 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2414.65/2420.06	c  2420s|  6600 |  1009 |790315 | 117.8 |   509M | 156 |1000 |1597 |2305 |7088 |  1 | 100 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2430.90/2436.37	c  2436s|  6700 |  1027 |800520 | 117.5 |   509M | 156 |1000 |1597 |2306 |7151 |  1 | 100 |1497 |-2.270435e+02 |-7.800000e+01 | 191.08%| unknown
2446.96/2452.48	c  2452s|  6800 |  1053 |813248 | 117.7 |   509M | 156 |1000 |1605 |2306 |7206 |  1 | 108 |1497 |-2.270299e+02 |-7.800000e+01 | 191.06%| unknown
2447.46/2452.96	c  2453s|  6900 |  1057 |814264 | 116.1 |   509M | 156 |1000 |1605 |2306 |7206 |  0 | 108 |1497 |-2.270299e+02 |-7.800000e+01 | 191.06%| unknown
2469.00/2474.54	c  2475s|  7000 |  1075 |835977 | 117.6 |   509M | 156 |1000 |1605 |2306 |7300 |  0 | 108 |1497 |-2.270197e+02 |-7.800000e+01 | 191.05%| unknown
2490.24/2495.89	c  2496s|  7100 |  1097 |847593 | 117.5 |   510M | 156 |1000 |1605 |2305 |7378 |  1 | 108 |1497 |-2.270113e+02 |-7.800000e+01 | 191.04%| unknown
2507.60/2513.21	c  2513s|  7200 |  1115 |857716 | 117.3 |   510M | 156 |1000 |1605 |2307 |7423 |  0 | 108 |1498 |-2.269709e+02 |-7.800000e+01 | 190.99%| unknown
2534.53/2540.22	c  2540s|  7300 |  1137 |868613 | 117.2 |   510M | 156 |1000 |1605 |2306 |7478 |  1 | 108 |1498 |-2.269685e+02 |-7.800000e+01 | 190.99%| unknown
2534.94/2540.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2534.94/2540.62	c  2541s|  7400 |  1143 |869639 | 115.8 |   510M | 156 |1000 |1605 |2307 |7479 |  1 | 108 |1498 |-2.269685e+02 |-7.800000e+01 | 190.99%| unknown
2565.85/2571.65	c  2572s|  7500 |  1167 |894571 | 117.5 |   510M | 156 |1000 |1605 |2306 |7597 |  1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2566.25/2572.10	c  2572s|  7600 |  1179 |895798 | 116.2 |   510M | 156 |1000 |1605 |2306 |7597 |  2 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2566.75/2572.56	c  2573s|  7700 |  1187 |897134 | 114.8 |   510M | 156 |1000 |1602 |2306 |7597 |  1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2567.25/2573.03	c  2573s|  7800 |  1195 |898080 | 113.5 |   510M | 160 |1000 |1601 |2306 |7597 |  1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2567.64/2573.49	c  2573s|  7900 |  1181 |899109 | 112.2 |   510M | 160 |1000 |1599 |2306 |7597 |  1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2602.26/2608.15	c  2608s|  8000 |  1229 |927550 | 114.3 |   510M | 160 |1000 |1597 |2306 |7746 |  1 | 108 |1498 |-2.269351e+02 |-7.800000e+01 | 190.94%| unknown
2602.85/2608.70	c  2609s|  8100 |  1243 |929472 | 113.1 |   510M | 160 |1000 |1597 |2306 |7746 |  0 | 108 |1498 |-2.269351e+02 |-7.800000e+01 | 190.94%| unknown
2638.16/2644.15	c  2644s|  8200 |  1291 |962123 | 115.7 |   510M | 160 |1000 |1596 |2306 |7873 |  0 | 108 |1500 |-2.269190e+02 |-7.800000e+01 | 190.92%| unknown
2638.65/2644.63	c  2645s|  8300 |  1297 |963332 | 114.5 |   510M | 160 |1000 |1595 |2306 |7874 |  0 | 108 |1501 |-2.269190e+02 |-7.800000e+01 | 190.92%| unknown
2690.32/2696.44	o -80
2690.32/2696.44	c d2696s|  8377 |  1088 |986571 | 116.2 |fracdivi| 160 |1000 |1595 |1953 |   0 |  1 | 108 |1520 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2690.72/2696.89	c  2697s|  8400 |  1091 |988367 | 116.1 |   510M | 160 |1000 |1594 |2302 |7975 |  1 | 108 |1526 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2691.81/2697.95	c  2698s|  8500 |  1097 |991413 | 115.1 |   510M | 160 |1000 |1594 |2304 |7978 |  1 | 108 |1543 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2765.03/2771.36	c  2771s|  8600 |  1125 |  1004k| 115.3 |   510M | 160 |1000 |1585 |2305 |8045 |  5 | 108 |1582 |-2.269006e+02 |-8.000000e+01 | 183.63%| unknown
2776.40/2782.78	c  2783s|  8700 |  1149 |  1015k| 115.3 |   511M | 160 |1000 |1584 |2302 |8083 |  1 | 108 |1582 |-2.268948e+02 |-8.000000e+01 | 183.62%| unknown
2787.17/2793.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2787.17/2793.58	c  2794s|  8800 |  1177 |  1025k| 115.1 |   511M | 160 |1000 |1584 |2302 |8120 |  1 | 108 |1593 |-2.268778e+02 |-8.000000e+01 | 183.60%| unknown
2847.92/2854.44	c  2854s|  8900 |  1199 |  1043k| 115.8 |   511M | 160 |1000 |1584 |2303 |8202 |  1 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2848.42/2854.95	c  2855s|  9000 |  1203 |  1045k| 114.7 |   511M | 160 |1000 |1584 |2302 |8202 |  0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2849.02/2855.54	c  2856s|  9100 |  1219 |  1047k| 113.6 |   511M | 160 |1000 |1583 |2302 |8203 |  0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2849.52/2856.10	c  2856s|  9200 |  1221 |  1048k| 112.6 |   511M | 160 |1000 |1583 |2302 |8204 |  1 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2850.11/2856.61	c  2857s|  9300 |  1229 |  1050k| 111.5 |   511M | 160 |1000 |1583 |2302 |8205 |  0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2850.71/2857.27	c  2857s|  9400 |  1235 |  1051k| 110.5 |   511M | 160 |1000 |1583 |2304 |8209 |  1 | 108 |1636 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2851.41/2857.93	c  2858s|  9500 |  1239 |  1053k| 109.5 |   511M | 160 |1000 |1583 |2304 |8210 |  0 | 108 |1651 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2852.31/2858.83	c  2859s|  9600 |  1245 |  1055k| 108.6 |   511M | 160 |1000 |1583 |2303 |8213 |  1 | 108 |1679 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2853.01/2859.50	c  2859s|  9700 |  1253 |  1057k| 107.6 |   511M | 160 |1000 |1583 |2304 |8215 |  3 | 108 |1690 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2889.71/2896.30	c  2896s|  9800 |  1269 |  1067k| 107.6 |   511M | 160 |1000 |1581 |2303 |8248 |  2 | 108 |1717 |-2.268614e+02 |-8.000000e+01 | 183.58%| unknown
2890.31/2896.95	c  2897s|  9900 |  1277 |  1069k| 106.7 |   511M | 160 |1000 |1581 |2305 |8250 |  1 | 108 |1730 |-2.268614e+02 |-8.000000e+01 | 183.58%| unknown
2918.34/2925.08	c  2925s| 10000 |  1301 |  1080k| 106.8 |   511M | 160 |1000 |1580 |2304 |8286 |  0 | 108 |1769 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2918.83/2925.58	c  2926s| 10100 |  1301 |  1081k| 105.8 |   511M | 160 |1000 |1580 |2305 |8288 |  1 | 108 |1776 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2919.43/2926.13	c  2926s| 10200 |  1305 |  1082k| 104.9 |   511M | 160 |1000 |1579 |2305 |8290 |  2 | 108 |1786 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2920.03/2926.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2920.03/2926.79	c  2927s| 10300 |  1307 |  1084k| 104.0 |   511M | 160 |1000 |1579 |2304 |8292 |  2 | 108 |1804 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2948.76/2955.54	c  2956s| 10400 |  1329 |  1095k| 104.1 |   511M | 160 |1000 |1578 |2306 |8337 |  0 | 108 |1831 |-2.268549e+02 |-8.000000e+01 | 183.57%| unknown
2986.29/2993.12	c  2993s| 10500 |  1361 |  1129k| 106.3 |   511M | 160 |1000 |1578 |2305 |8433 |  1 | 108 |1847 |-2.268345e+02 |-8.000000e+01 | 183.54%| unknown
3014.02/3020.93	c  3021s| 10600 |  1395 |  1153k| 107.6 |   511M | 160 |1000 |1576 |2302 |8524 |  1 | 108 |1865 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3030.00/3036.93	c  3037s| 10700 |  1419 |  1164k| 107.6 |   512M | 160 |1000 |1575 |2303 |8560 |  2 | 108 |1885 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3030.70/3037.68	c  3038s| 10800 |  1423 |  1166k| 106.8 |   512M | 160 |1000 |1575 |2305 |8564 |  3 | 108 |1899 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3076.41/3083.45	c  3083s| 10900 |  1449 |  1187k| 107.8 |   512M | 160 |1000 |1577 |2304 |8700 |  0 | 116 |1908 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3077.61/3084.67	c  3085s| 11000 |  1455 |  1191k| 107.1 |   512M | 160 |1000 |1576 |2304 |8702 |  1 | 116 |1918 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3078.51/3085.51	c  3086s| 11100 |  1467 |  1193k| 106.4 |   512M | 160 |1000 |1576 |2303 |8704 |  1 | 116 |1939 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3079.11/3086.19	c  3086s| 11200 |  1477 |  1196k| 105.6 |   512M | 160 |1000 |1576 |2304 |8705 |  0 | 116 |1946 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3079.70/3086.76	c  3087s| 11300 |  1485 |  1197k| 104.8 |   512M | 160 |1000 |1576 |2304 |8705 |  1 | 116 |1952 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3091.78/3098.84	c  3099s| 11400 |  1505 |  1217k| 105.6 |   512M | 160 |1000 |1580 |2304 |8749 |  2 | 121 |1955 |-2.267855e+02 |-8.000000e+01 | 183.48%| unknown
3092.67/3099.70	c  3100s| 11500 |  1509 |  1219k| 104.9 |   512M | 160 |1000 |1580 |2303 |8750 |  0 | 121 |1963 |-2.267855e+02 |-8.000000e+01 | 183.48%| unknown
3108.84/3115.93	c  3116s| 11600 |  1531 |  1230k| 104.9 |   512M | 160 |1000 |1581 |2304 |8824 |  0 | 122 |1970 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3109.54/3116.62	c  3117s| 11700 |  1535 |  1232k| 104.2 |   512M | 160 |1000 |1581 |2303 |8824 |  0 | 122 |1976 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3110.14/3117.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3110.14/3117.22	c  3117s| 11800 |  1543 |  1233k| 103.4 |   512M | 160 |1000 |1581 |2303 |8824 |  1 | 122 |1983 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3110.74/3117.80	c  3118s| 11900 |  1547 |  1235k| 102.7 |   512M | 160 |1000 |1581 |2303 |8824 |  1 | 122 |1990 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3111.24/3118.37	c  3118s| 12000 |  1551 |  1236k| 102.0 |   512M | 160 |1000 |1581 |2303 |8824 |  0 | 122 |1995 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3136.58/3143.73	c  3144s| 12100 |  1583 |  1254k| 102.6 |   512M | 160 |1000 |1580 |2303 |8891 |  1 | 122 |1996 |-2.267783e+02 |-8.000000e+01 | 183.47%| unknown
3137.08/3144.29	c  3144s| 12200 |  1583 |  1255k| 101.8 |   512M | 160 |1000 |1580 |2304 |8892 |  1 | 122 |1999 |-2.267783e+02 |-8.000000e+01 | 183.47%| unknown
3201.35/3208.63	c  3209s| 12300 |  1641 |  1295k| 104.3 |   513M | 160 |1000 |1581 |2306 |9096 |  0 | 130 |2000 |-2.267578e+02 |-8.000000e+01 | 183.45%| unknown
3271.10/3278.54	c  3279s| 12400 |  1713 |  1346k| 107.5 |   514M | 160 |1000 |1578 |2304 |9278 |  0 | 132 |2000 |-2.267038e+02 |-8.000000e+01 | 183.38%| unknown
3282.58/3290.00	c  3290s| 12500 |  1725 |  1358k| 107.6 |   514M | 160 |1000 |1578 |2304 |9313 |  5 | 133 |2004 |-2.266994e+02 |-8.000000e+01 | 183.37%| unknown
3283.18/3290.67	c  3291s| 12600 |  1735 |  1360k| 107.0 |   514M | 160 |1000 |1578 |2304 |9313 |  1 | 133 |2008 |-2.266994e+02 |-8.000000e+01 | 183.37%| unknown
3292.56/3300.06	c  3300s| 12700 |  1751 |  1366k| 106.6 |   514M | 160 |1000 |1578 |1952 |9343 |  1 | 133 |2013 |-2.266959e+02 |-8.000000e+01 | 183.37%| unknown
3335.17/3342.73	c  3343s| 12800 |  1797 |  1411k| 109.3 |   514M | 160 |1000 |1579 |2304 |9477 |  0 | 135 |2013 |-2.266520e+02 |-8.000000e+01 | 183.31%| unknown
3362.11/3369.79	c  3370s| 12900 |  1831 |  1429k| 109.8 |   514M | 160 |1000 |1578 |2302 |9530 |  1 | 135 |2024 |-2.266388e+02 |-8.000000e+01 | 183.30%| unknown
3380.38/3388.02	c  3388s| 13000 |  1853 |  1438k| 109.6 |   515M | 160 |1000 |1576 |2303 |9555 |  1 | 135 |2038 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3380.97/3388.61	c  3389s| 13100 |  1857 |  1439k| 108.9 |   515M | 160 |1000 |1576 |2303 |9555 |  1 | 135 |2052 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3381.77/3389.40	c  3389s| 13200 |  1853 |  1440k| 108.2 |   515M | 160 |1000 |1574 |2302 |9555 |  1 | 135 |2070 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3404.33/3412.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3404.33/3412.09	c  3412s| 13300 |  1873 |  1457k| 108.6 |   515M | 160 |1000 |1574 |2302 |9589 |  0 | 135 |2087 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3405.92/3413.67	c  3414s| 13400 |  1879 |  1458k| 107.8 |   515M | 160 |1000 |1574 |2302 |9589 |  1 | 135 |2095 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3406.72/3414.47	c  3414s| 13500 |  1881 |  1459k| 107.2 |   515M | 160 |1000 |1574 |2302 |9589 |  0 | 135 |2129 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3443.64/3451.44	c  3451s| 13600 |  1903 |  1470k| 107.2 |   515M | 160 |1000 |1578 |2302 |9644 |  0 | 140 |2151 |-2.266314e+02 |-8.000000e+01 | 183.29%| unknown
3473.68/3481.56	c  3482s| 13700 |  1919 |  1481k| 107.2 |   515M | 160 |1000 |1576 |2302 |9694 |  0 | 140 |2184 |-2.266249e+02 |-8.000000e+01 | 183.28%| unknown
3474.48/3482.39	c  3482s| 13800 |  1925 |  1482k| 106.5 |   515M | 160 |1000 |1576 |2302 |9694 |  1 | 140 |2213 |-2.266249e+02 |-8.000000e+01 | 183.28%| unknown
3492.84/3500.72	c  3501s| 13900 |  1925 |  1489k| 106.2 |   515M | 160 |1000 |1576 |1943 |9711 |  1 | 140 |2256 |-2.266089e+02 |-8.000000e+01 | 183.26%| unknown
3503.91/3511.87	c  3512s| 14000 |  1933 |  1495k| 105.9 |   515M | 160 |1000 |1576 |2302 |9722 |  1 | 140 |2297 |-2.266089e+02 |-8.000000e+01 | 183.26%| unknown
3526.97/3534.99	c  3535s| 14100 |  1963 |  1514k| 106.5 |   515M | 160 |1000 |1575 |2302 |9776 |  0 | 141 |2320 |-2.266025e+02 |-8.000000e+01 | 183.25%| unknown
3543.73/3551.78	c  3552s| 14200 |  1979 |  1527k| 106.6 |   515M | 160 |1000 |1575 |2303 |9804 |  0 | 141 |2348 |-2.265890e+02 |-8.000000e+01 | 183.24%| unknown
3573.57/3581.65	c  3582s| 14300 |  2007 |  1539k| 106.7 |   515M | 160 |1000 |1574 |2303 |9852 |  0 | 141 |2364 |-2.265666e+02 |-8.000000e+01 | 183.21%| unknown
3574.17/3582.27	c  3582s| 14400 |  2015 |  1540k| 106.1 |   515M | 160 |1000 |1574 |2303 |9852 |  3 | 141 |2379 |-2.265666e+02 |-8.000000e+01 | 183.21%| unknown
3588.84/3597.00	c 
3588.84/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.84/3597.00	c Solving Time (sec) : 3597.00
3588.84/3597.00	c Solving Nodes      : 14495
3588.84/3597.00	c Primal Bound       : -8.00000000000000e+01 (335 solutions)
3588.84/3597.00	c Dual Bound         : -2.26561921079683e+02
3588.84/3597.00	c Gap                : 183.20 %
3588.94/3597.01	s SATISFIABLE
3588.94/3597.02	v -x726 -x703 -x618 -x817 -x772 -x819 -x997 -x896 -x846 -x873 x852 x986 -x690 -x929 -x982 x893 -x972 -x999 -x993 x632 -x712 -x686 
3588.94/3597.02	v -x643 -x658 -x925 -x707 -x697 -x848 x621 -x588 -x891 x661 -x675 -x752 -x706 -x973 -x814 x894 -x784 -x614 -x858 -x943 -x994 -x885 
3588.94/3597.02	v -x645 -x531 x918 x841 -x673 -x1000 -x808 x755 -x547 -x831 -x526 -x906 -x674 -x644 -x783 -x951 -x630 -x606 -x905 -x985 -x575 
3588.94/3597.02	v -x791 -x907 -x754 -x603 -x995 -x562 -x670 -x693 x691 -x584 -x583 -x942 -x780 -x880 -x582 -x845 -x668 -x913 -x678 -x524 -x623 
3588.94/3597.02	v x842 -x788 -x773 -x682 -x967 -x560 -x900 -x877 -x522 -x909 -x741 -x544 -x763 -x818 -x916 x856 -x687 -x816 -x671 x656 -x796 
3588.94/3597.02	v -x976 x749 -x930 -x834 -x737 -x750 -x600 -x952 -x927 -x825 -x767 -x549 -x700 x948 -x701 -x977 -x872 -x760 x805 -x855 -x655 
3588.94/3597.02	v -x565 -x519 x924 x748 -x962 -x955 -x969 -x708 -x597 -x642 -x933 -x860 -x770 -x689 x683 -x620 -x539 -x729 -x546 -x698 -x786 -x759 
3588.94/3597.02	v -x513 x957 -x950 x910 -x798 -x732 -x721 -x631 -x604 -x983 -x865 -x771 x537 -x826 -x939 -x932 -x580 -x803 x838 x853 -x753 
3588.94/3597.02	v -x638 -x512 x971 -x947 -x904 -x824 -x782 -x757 -x657 x593 -x802 -x965 -x713 -x599 x696 -x790 -x840 -x778 x555 -x801 -x734 -x733 
3588.94/3597.02	v -x903 x892 x797 -x641 -x557 -x864 -x984 -x960 -x949 -x839 -x854 -x958 -x589 x615 -x890 -x863 x830 -x810 x775 -x665 -x648 -x576 
3588.94/3597.02	v x836 -x953 -x883 -x881 -x540 -x895 -x917 -x607 -x970 -x609 -x914 x946 -x959 -x509 -x988 -x876 -x850 -x833 -x828 x821 -x812 
3588.94/3597.02	v -x768 -x685 -x637 -x550 -x920 -x931 -x725 -x936 -x981 -x718 -x835 -x806 -x811 x534 -x556 -x923 -x695 -x787 x966 -x964 -x945 
3588.94/3597.02	v x879 -x875 -x837 -x744 -x743 x710 x634 -x563 -x536 -x919 -x651 x912 -x677 -x756 x857 -x561 -x639 -x709 -x926 x991 -x518 -x569 
3588.94/3597.02	v -x507 x974 x898 -x781 -x738 -x694 -x684 -x612 -x652 -x886 -x822 -x899 -x751 -x516 -x820 -x764 -x578 -x716 x815 -x570 -x889 
3588.94/3597.02	v -x795 -x793 x704 -x692 x669 -x640 x613 -x601 -x558 -x530 -x529 -x514 -x765 x545 -x998 -x626 -x956 -x636 -x758 -x542 -x622 -x564 
3588.94/3597.02	v -x619 -x602 -x742 -x978 -x938 -x996 -x868 -x859 -x794 -x761 x740 -x730 -x722 -x679 -x663 x654 -x587 -x571 -x552 -x646 -x627 
3588.94/3597.02	v -x715 -x922 -x568 -x508 -x533 -x901 x897 x979 -x870 -x963 -x525 -x937 x908 -x823 -x789 x711 -x705 -x688 x667 -x662 -x629 -x605 
3588.94/3597.02	v -x559 -x541 x532 x510 x505 -x747 -x610 -x551 -x592 -x871 -x807 -x647 x844 -x579 -x719 -x659 x590 -x792 -x935 x887 x528 -x503 
3588.94/3597.02	v -x944 -x769 -x746 -x735 -x672 -x566 -x523 -x520 -x515 -x664 -x980 -x799 -x779 -x975 -x762 -x804 -x888 -x745 -x591 -x851 
3588.94/3597.02	v -x940 -x869 -x934 -x628 -x717 -x543 x990 -x928 -x724 -x586 -x554 -x989 -x774 -x502 -x992 -x902 -x843 -x827 -x813 -x785 -x776 
3588.94/3597.02	v -x720 -x660 x653 -x635 -x625 -x617 -x596 -x577 -x567 -x548 -x535 -x504 -x723 -x616 -x594 -x702 -x608 -x624 -x736 -x666 -x714 
3588.94/3597.02	v -x538 x954 -x866 -x511 x941 -x862 x800 -x809 -x585 x728 -x847 x968 -x553 x884 -x501 -x878 x867 -x739 x731 -x681 -x649 -x598 x595 
3588.94/3597.02	v -x581 -x572 -x517 -x961 -x832 -x874 -x680 -x506 x915 -x987 -x829 -x727 -x521 -x911 -x699 -x861 x849 -x527 -x882 -x574 -x650 
3588.94/3597.02	v -x921 -x633 x777 -x573 -x611 -x766 -x676 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 x488 -x487 
3588.94/3597.02	v -x486 -x485 x484 -x483 -x482 x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 
3588.94/3597.02	v -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 x451 -x450 x449 -x448 x447 -x446 -x445 -x444 -x443 
3588.94/3597.02	v x442 -x441 -x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 -x428 x427 -x426 x425 -x424 -x423 -x422 -x421 
3588.94/3597.02	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 
3588.94/3597.02	v -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 
3588.94/3597.02	v x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 
3588.94/3597.02	v -x356 -x355 x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 
3588.94/3597.02	v x335 x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 
3588.94/3597.02	v x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 x295 x294 -x293 x292 
3588.94/3597.02	v x291 -x290 -x289 x288 -x287 x286 -x285 x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 x272 -x271 -x270 
3588.94/3597.02	v x269 -x268 x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 
3588.94/3597.02	v -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 
3588.94/3597.02	v -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 
3588.94/3597.02	v -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 
3588.94/3597.02	v -x183 -x182 -x181 x180 -x179 x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 
3588.94/3597.02	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 
3588.94/3597.02	v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 
3588.94/3597.02	v -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 
3588.94/3597.02	v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 
3588.94/3597.02	v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 
3588.94/3597.02	v -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 
3588.94/3597.02	v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
3588.94/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3588.94/3597.02	c Total Time         :    3597.00
3588.94/3597.02	c   solving          :    3597.00
3588.94/3597.02	c   presolving       :       0.18 (included in solving)
3588.94/3597.02	c   reading          :       0.06 (included in solving)
3588.94/3597.02	c   copying          :       0.16 (26 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.94/3597.02	c Original Problem   :
3588.94/3597.02	c   Problem name     : HOME/instance-4459896-1721939463.opb
3588.94/3597.02	c   Variables        : 16706 (1000 binary, 0 integer, 15706 implicit integer, 0 continuous)
3588.94/3597.02	c   Constraints      : 18207 initial, 18207 maximal
3588.94/3597.02	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.94/3597.02	c Presolved Problem  :
3588.94/3597.02	c   Problem name     : t_HOME/instance-4459896-1721939463.opb
3588.94/3597.02	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.94/3597.02	c   Constraints      : 1501 initial, 1605 maximal
3588.94/3597.02	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.94/3597.02	c   Nonzeros         : 34412 constraint, 1000 clique table
3588.94/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.94/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   domcol           :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dualfix          :       0.01       0.00      4      15706          0          0          0          0          0          0          0          0
3588.94/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   knapsack         :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   setppc           :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   linear           :       0.02       0.00      6          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   pseudoboolean    :       0.05       0.00      1          0          0          0          0          0      17706       1000          0          0
3588.94/3597.02	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.94/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.94/3597.02	c   benderslp        :          0          0          0          0       9214          0          0       1305          0          0          0          0          0          0          0
3588.94/3597.02	c   integral         :          0          0          0          0       9214          0          0       1305          0          0       1496          0          0          0      16874
3588.94/3597.02	c   knapsack         :       1000       1000         23      70456          0          0          0       1299      35055         85      65963          0          0          0          0
3588.94/3597.02	c   setppc           :        500        500         23      69077          0          0          0        341       1939          0       3080          0          0          0          0
3588.94/3597.02	c   linear           :          1          1         23      70369          0          0          0        340        168        253          0          0          0          0          0
3588.94/3597.02	c   logicor          :          0+       104         23       2968          0          0          0          0          0          3          0          0          0          0          0
3588.94/3597.02	c   benders          :          0          0          0          0          0          0          0        341          0          0          0          0          0          0          0
3588.94/3597.02	c   fixedvar         :          0          0          0          0          0          0          0        341          0          0          0          0          0          0          0
3588.94/3597.02	c   countsols        :          0          0          0          0          0          0          0        341          0          0          0          0          0          0          0
3588.94/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.94/3597.02	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   integral         :    1438.77       0.00       0.00       0.00    1438.77       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   knapsack         :       1.53       0.00       0.18       0.99       0.00       0.00       0.00       0.25       0.01       0.10
3588.94/3597.02	c   setppc           :       0.08       0.00       0.00       0.04       0.00       0.00       0.00       0.03       0.00       0.01
3588.94/3597.02	c   linear           :       0.98       0.00       0.69       0.28       0.00       0.00       0.00       0.01       0.01       0.00
3588.94/3597.02	c   logicor          :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   fixedvar         :       0.30       0.00       0.00       0.00       0.00       0.00       0.00       0.30       0.00       0.00
3588.94/3597.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   components       :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.94/3597.02	c   dualfix          :          3          0          0          0
3588.94/3597.02	c   genvbounds       :          0          0          0          0
3588.94/3597.02	c   nlobbt           :          0          0          0          0
3588.94/3597.02	c   obbt             :          0          0          0          0
3588.94/3597.02	c   probing          :          0          0          0          0
3588.94/3597.02	c   pseudoobj        :      38296          0          2          0
3588.94/3597.02	c   redcost          :      10112          0          0      18349
3588.94/3597.02	c   rootredcost      :          6          0          0          0
3588.94/3597.02	c   symmetry         :          0          0          0          0
3588.94/3597.02	c   vbounds          :      24510          0          0          0
3588.94/3597.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.94/3597.02	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
3588.94/3597.02	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3588.94/3597.02	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.94/3597.02	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
3588.94/3597.02	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3588.94/3597.02	c   redcost          :       0.21       0.00       0.00       0.21       0.00       0.00
3588.94/3597.02	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3588.94/3597.02	c   symmetry         :       0.02       0.00       0.01       0.01       0.00       0.00
3588.94/3597.02	c   vbounds          :       0.03       0.00       0.01       0.02       0.00       0.00
3588.94/3597.02	c Symmetry           :
3588.94/3597.02	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.94/3597.02	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.94/3597.02	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.94/3597.02	c   shadow tree time :       0.00 s
3588.94/3597.02	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.94/3597.02	c   propagation      :       0.14         87         85          -       5429      345.5          0        0.0          -          -          -
3588.94/3597.02	c   infeasible LP    :       0.01         10         10          -        391      123.2          0        0.0          0        0.0          0
3588.94/3597.02	c   bound exceed. LP :       4.44       1970          1          -          8       48.4          0        0.0          0        0.0      19510
3588.94/3597.02	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.94/3597.02	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.94/3597.02	c   applied globally :       0.00          -          -          0        141       91.4          -          -          0          -          -
3588.94/3597.02	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.94/3597.02	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.94/3597.02	c   cut pool         :       4.80          -       2273         33          -          -      19682      50955          -          -          -          -          -    (maximal pool size:       5709)
3588.94/3597.02	c   aggregation      :     272.85       0.00        497         23          0          0       1750      13268          0       8220       8220          0          0
3588.94/3597.02	c   > cmir           :          -          -          -          -          -          -          -      13168          0       8160       8160          0          -
3588.94/3597.02	c   > flowcover      :          -          -          -          -          -          -          -        100          0         60         60          0          -
3588.94/3597.02	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.94/3597.02	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   clique           :       0.09       0.00         23         23          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   gomory           :      36.35       0.00        327         10          0          0      17867      37372          0       1459       1459          0          0
3588.94/3597.02	c   > gomorymi       :          -          -          -          -          -          -          -      36692          0       1456       1456          0          -
3588.94/3597.02	c   > strongcg       :          -          -          -          -          -          -          -        680          0          3          3          0          -
3588.94/3597.02	c   impliedbounds    :       0.02       0.00        497         23          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   multilinear      :       0.00       0.00        122         23          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   rlt              :       0.00       0.00         78         10          0          0          0          0          0          0          0          0          0
3588.94/3597.02	c   zerohalf         :      35.94       0.00        337         20          0          0         65        315          0        219        219          0          0
3588.94/3597.02	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.94/3597.02	c   hybrid           :       0.57       0.00        949         21       9898          0      41057        743          0       4741
3588.94/3597.02	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.94/3597.02	c   problem variables:       0.00          -          0          0
3588.94/3597.02	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.94/3597.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c   relpscost        :    1438.76       0.00       9214          0          0          0       1496          0          0      16874
3588.94/3597.02	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.94/3597.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.94/3597.02	c   LP solutions     :       0.00          -          -          0          0
3588.94/3597.02	c   relax solutions  :       0.00          -          -          0          0
3588.94/3597.02	c   pseudo solutions :       0.00          -          -          0          0
3588.94/3597.02	c   strong branching :       0.00          -          -          0          0
3588.94/3597.02	c   actconsdiving    :       0.00       0.00          0          0          0
3588.94/3597.02	c   adaptivediving   :      61.02       0.00         17          1          1
3588.94/3597.02	c   alns             :       1.08       0.00          7          0          0
3588.94/3597.02	c   bound            :       0.00       0.00          0          0          0
3588.94/3597.02	c   clique           :       0.02       0.00          1          0          0
3588.94/3597.02	c   coefdiving       :       0.00       0.00          0          0          0
3588.94/3597.02	c   completesol      :       0.00       0.00          0          0          0
3588.94/3597.02	c   conflictdiving   :      26.00       0.00         17          0          0
3588.94/3597.02	c   crossover        :       0.63       0.00         11          1          0
3588.94/3597.02	c   dins             :       0.00       0.00          0          0          0
3588.94/3597.02	c   distributiondivin:      28.24       0.00         17          0          0
3588.94/3597.02	c   dps              :       0.00       0.00          0          0          0
3588.94/3597.02	c   dualval          :       0.00       0.00          0          0          0
3588.94/3597.02	c   farkasdiving     :       0.00       0.00          0          0          0
3588.94/3597.02	c   feasjump         :       0.00       0.00          0          0          0
3588.94/3597.02	c   feaspump         :      10.09       0.00          1          1          1
3588.94/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3588.94/3597.02	c   fracdiving       :      11.97       0.00         17          2          2
3588.94/3597.02	c   gins             :       0.01       0.00          0          0          0
3588.94/3597.02	c   guideddiving     :      11.93       0.00         17          0          0
3588.94/3597.02	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.94/3597.02	c   indicator        :       0.01       0.00          0          0          0
3588.94/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3588.94/3597.02	c   indoneopt        :       0.00       0.00          0          0          0
3588.94/3597.02	c   indrounding      :       0.00       0.00          0          0          0
3588.94/3597.02	c   indtwoopt        :       0.00       0.00          0          0          0
3588.94/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3588.94/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3588.94/3597.02	c   linesearchdiving :      14.17       0.00         17          1          1
3588.94/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3588.94/3597.02	c   locks            :       0.01       0.00          1          1          1
3588.94/3597.02	c   lpface           :       0.00       0.00          0          0          0
3588.94/3597.02	c   mpec             :       0.00       0.00          0          0          0
3588.94/3597.02	c   multistart       :       0.00       0.00          0          0          0
3588.94/3597.02	c   mutation         :       0.00       0.00          0          0          0
3588.94/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3588.94/3597.02	c   objpscostdiving  :      78.17       0.00          9          2          0
3588.94/3597.02	c   octane           :       0.00       0.00          0          0          0
3588.94/3597.02	c   ofins            :       0.00       0.00          0          0          0
3588.94/3597.02	c   oneopt           :       0.04       0.00          9          0          0
3588.94/3597.02	c   padm             :       0.00       0.00          0          0          0
3588.94/3597.02	c   proximity        :       0.00       0.00          0          0          0
3588.94/3597.02	c   pscostdiving     :      14.44       0.00         16          1          1
3588.94/3597.02	c   randrounding     :       0.97       0.00        975          7          2
3588.94/3597.02	c   rens             :       0.00       0.00          0          0          0
3588.94/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3588.94/3597.02	c   repair           :       0.00       0.00          0          0          0
3588.94/3597.02	c   rins             :       2.23       0.00          8          8          0
3588.94/3597.02	c   rootsoldiving    :       9.44       0.00          8          0          0
3588.94/3597.02	c   rounding         :       6.10       0.00       1494          0          0
3588.94/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3588.94/3597.02	c   shiftandpropagate:       0.00       0.00          0          0          0
3588.94/3597.02	c   shifting         :      23.74       0.00       2087        309          0
3588.94/3597.02	c   simplerounding   :       0.00       0.00          0          0          0
3588.94/3597.02	c   smallcard        :       0.00       0.00          0          0          0
3588.94/3597.02	c   subnlp           :       0.01       0.00          0          0          0
3588.94/3597.02	c   trivial          :       0.01       0.00          2          1          1
3588.94/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3588.94/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3588.94/3597.02	c   trysol           :       0.00       0.00          0          0          0
3588.94/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3588.94/3597.02	c   undercover       :       0.00       0.00          0          0          0
3588.94/3597.02	c   vbounds          :       0.02       0.00          1          0          0
3588.94/3597.02	c   veclendiving     :      23.04       0.00         16          0          0
3588.94/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3588.94/3597.02	c   zirounding       :       0.29       0.00       1000          0          0
3588.94/3597.02	c   other solutions  :          -          -          -          0          -
3588.94/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	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
3588.94/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.94/3597.02	c   primal LP        :       1.25        454          1       1.00       0.80       1.24        453
3588.94/3597.02	c   dual LP          :    1463.16      20371    1023788      57.39     699.71       4.63       2533
3588.94/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3588.94/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.94/3597.02	c   resolve instable :       0.00          0          0       0.00          -
3588.94/3597.02	c   diving/probing LP:     289.80       5255     523620      99.64    1806.83
3588.94/3597.02	c   strong branching :    1380.65       2396     413361     172.52     299.40          -          -        840
3588.94/3597.02	c     (at root node) :          -         35      22128     632.23          -
3588.94/3597.02	c   conflict analysis:       3.77       1982      19510       9.84    5175.73
3588.94/3597.02	c B&B Tree           :
3588.94/3597.02	c   number of runs   :          1
3588.94/3597.02	c   nodes            :      14495 (8437 internal, 6058 leaves)
3588.94/3597.02	c   feasible leaves  :          0
3588.94/3597.02	c   infeas. leaves   :          2
3588.94/3597.02	c   objective leaves :       6055
3588.94/3597.02	c   nodes (total)    :      14495 (8437 internal, 6058 leaves)
3588.94/3597.02	c   nodes left       :       2013
3588.94/3597.02	c   max depth        :        160
3588.94/3597.02	c   max depth (total):        160
3588.94/3597.02	c   backtracks       :       1024 (7.1%)
3588.94/3597.02	c   early backtracks :          0 (0.0%)
3588.94/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3588.94/3597.02	c   delayed cutoffs  :          0
3588.94/3597.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.94/3597.02	c   avg switch length:       5.11
3588.94/3597.02	c   switching time   :       2.29
3588.94/3597.02	c Root Node          :
3588.94/3597.02	c   First LP value   : -2.50000000000000e+02
3588.94/3597.02	c   First LP Iters   :       3017 (3029.75 Iter/sec)
3588.94/3597.02	c   First LP Time    :       1.00
3588.94/3597.02	c   Final Dual Bound : -2.28406232903050e+02
3588.94/3597.02	c   Final Root Iters :      13127
3588.94/3597.02	c   Root LP Estimate : +3.35416845953166e+02
3588.94/3597.02	c Solution           :
3588.94/3597.02	c   Solutions found  :        335 (10 improvements)
3588.94/3597.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
3588.94/3597.02	c   Gap First Sol.   :   infinite
3588.94/3597.02	c   Gap Last Sol.    :     183.64 %
3588.94/3597.02	c   Primal Bound     : -8.00000000000000e+01   (in run 1, after 8377 nodes, 2696.44 seconds, depth 197, found by <fracdiving>)
3588.94/3597.02	c   Dual Bound       : -2.26561921079683e+02
3588.94/3597.02	c   Gap              :     183.20 %
3588.94/3597.02	c Integrals          :      Total       Avg%
3588.94/3597.02	c   primal-dual      :  241833.19      67.23
3588.94/3597.02	c   primal-ref       :          -          - (not evaluated)
3588.94/3597.02	c   dual-ref         :          -          - (not evaluated)
3589.04/3597.17	c Time complete: 3589.13.

Verifier Data

OK	-80

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=253792, runsolver pid=253789

[startup+0.10084 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125560480/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=109904 memory=71532 CPUtime=0.09 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 14753 0 0 0 8 1 0 0 20 0 1 0 30475538 112541696 17883 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 27476 17883 3618 3540 0 15733 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109904 KiB
Current children cumulated memory: 71532 KiB

[startup+0.206149 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125538632/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=128692 memory=87252 CPUtime=0.2 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 18693 0 0 0 18 2 0 0 20 0 1 0 30475538 131780608 21813 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 32173 21813 3634 3540 0 20430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128692 KiB
Current children cumulated memory: 87252 KiB

[startup+0.306073 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125523068/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=138428 memory=95276 CPUtime=0.3 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 20851 0 0 0 28 2 0 0 20 0 1 0 30475538 141750272 23819 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 34607 23819 3714 3540 0 22864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138428 KiB
Current children cumulated memory: 95276 KiB

[startup+0.700212 s]
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125512564/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=150116 memory=106420 CPUtime=0.69 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 24238 0 0 0 66 3 0 0 20 0 1 0 30475538 153718784 26605 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 37529 26605 3874 3540 0 25786 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 150116 KiB
Current children cumulated memory: 106420 KiB

[startup+1.50024 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125491256/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=168192 memory=123904 CPUtime=1.48 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 29416 0 0 0 145 3 0 0 20 0 1 0 30475538 172228608 30976 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 42048 30976 3890 3540 0 30305 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 123904 KiB

[startup+3.10621 s]
/proc/loadavg: 0.42 0.18 0.22 6/262 253885
/proc/meminfo: memFree=125448840/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=202492 memory=157780 CPUtime=3.09 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 38002 0 0 0 304 5 0 0 20 0 1 0 30475538 207351808 39445 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 50623 39445 3890 3540 0 38880 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 202492 KiB
Current children cumulated memory: 157780 KiB

[startup+6.30021 s]
/proc/loadavg: 0.63 0.22 0.24 4/255 253918
/proc/meminfo: memFree=125479516/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=222720 memory=176848 CPUtime=6.27 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 42348 0 0 0 621 6 0 0 20 0 1 0 30475538 228065280 44212 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 55680 44212 3890 3540 0 43937 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222720 KiB
Current children cumulated memory: 176848 KiB

[startup+12.7001 s]
/proc/loadavg: 0.90 0.29 0.26 4/255 253919
/proc/meminfo: memFree=125424348/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=267284 memory=220572 CPUtime=12.65 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 51988 0 0 0 1257 8 0 0 20 0 1 0 30475538 273698816 55143 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 66821 55143 3890 3540 0 55078 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 267284 KiB
Current children cumulated memory: 220572 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 0.36 0.29 3/248 253953
/proc/meminfo: memFree=125418892/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=325560 memory=277668 CPUtime=25.42 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 62276 0 0 0 2532 10 0 0 20 0 1 0 30475538 333373440 69417 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 81390 69417 3890 3540 0 69647 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 325560 KiB
Current children cumulated memory: 277668 KiB

[startup+51.105 s]
/proc/loadavg: 1.48 0.52 0.34 3/248 253956
/proc/meminfo: memFree=125320880/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=401500 memory=354804 CPUtime=50.97 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 78066 0 0 0 5083 14 0 0 20 0 1 0 30475538 411136000 88701 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 100375 88701 3890 3540 0 88632 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 401500 KiB
Current children cumulated memory: 354804 KiB

[startup+102.3 s]
/proc/loadavg: 1.89 0.78 0.44 3/248 253965
/proc/meminfo: memFree=125207516/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=438856 memory=392460 CPUtime=102.07 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 85147 0 0 0 10191 16 0 0 20 0 1 0 30475538 449388544 98115 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 109714 98115 3890 3540 0 97971 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 438856 KiB
Current children cumulated memory: 392460 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 1.02 0.55 3/246 253977
/proc/meminfo: memFree=125181916/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=395780 CPUtime=161.93 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 89741 0 0 0 16176 17 0 0 20 0 1 0 30475538 455528448 98945 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 98945 3906 3540 0 99470 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 395780 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 1.22 0.64 3/246 253987
/proc/meminfo: memFree=125152192/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=397828 CPUtime=221.79 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 95987 0 0 0 22160 19 0 0 20 0 1 0 30475538 455528448 99457 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99457 3906 3540 0 99470 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 397828 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 1.38 0.74 3/242 253997
/proc/meminfo: memFree=125090668/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398308 CPUtime=281.63 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98222 0 0 0 28144 19 0 0 20 0 1 0 30475538 455528448 99577 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99577 3906 3540 0 99470 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398308 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 1.51 0.82 3/241 254007
/proc/meminfo: memFree=124987632/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=341.48 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98250 0 0 0 34129 19 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398460 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 1.62 0.91 3/241 254019
/proc/meminfo: memFree=124933836/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=401.33 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98279 0 0 0 40114 19 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398460 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 1.70 0.98 3/241 254029
/proc/meminfo: memFree=124910912/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=461.18 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98318 0 0 0 46098 20 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0

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

/proc/loadavg: 2.11 2.12 2.07 3/243 255119
/proc/meminfo: memFree=123889964/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652280 memory=610664 CPUtime=3215.02 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 393240 0 0 0 321402 100 0 0 20 0 1 0 30475538 667934720 152666 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163070 152666 4033 3540 0 151327 0
Current children cumulated CPU time: 3215.02 s
Current children cumulated vsize: 652280 KiB
Current children cumulated memory: 610664 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.11 2.07 3/243 255516
/proc/meminfo: memFree=123974580/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652040 memory=610800 CPUtime=3274.89 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 397612 0 0 0 327388 101 0 0 20 0 1 0 30475538 667688960 152700 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163010 152700 4033 3540 0 151267 0
Current children cumulated CPU time: 3274.89 s
Current children cumulated vsize: 652040 KiB
Current children cumulated memory: 610800 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/243 255526
/proc/meminfo: memFree=123955380/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652352 memory=610820 CPUtime=3334.77 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 397869 0 0 0 333376 101 0 0 20 0 1 0 30475538 668008448 152705 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163088 152705 4033 3540 0 151345 0
Current children cumulated CPU time: 3334.77 s
Current children cumulated vsize: 652352 KiB
Current children cumulated memory: 610820 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/243 255538
/proc/meminfo: memFree=123942024/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652000 memory=610832 CPUtime=3394.64 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 408316 0 0 0 339360 104 0 0 20 0 1 0 30475538 667648000 152708 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163000 152708 4033 3540 0 151257 0
Current children cumulated CPU time: 3394.64 s
Current children cumulated vsize: 652000 KiB
Current children cumulated memory: 610832 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/246 255719
/proc/meminfo: memFree=123925620/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652008 memory=610896 CPUtime=3454.52 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 412495 0 0 0 345347 105 0 0 20 0 1 0 30475538 667656192 152724 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163002 152724 4033 3540 0 151259 0
Current children cumulated CPU time: 3454.52 s
Current children cumulated vsize: 652008 KiB
Current children cumulated memory: 610896 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/246 255730
/proc/meminfo: memFree=123912028/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3514.4 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 416138 0 0 0 351334 106 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123886304/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652536 memory=610892 CPUtime=3574.27 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 435699 0 0 0 357315 112 0 0 20 0 1 0 30475538 668196864 152723 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163134 152723 4033 3540 0 151391 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 652536 KiB
Current children cumulated memory: 610892 KiB

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

# cumulated CPU time of all completed processes:  user=3588 s, system=1.1301 s

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

[startup+3584 s]*
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123876324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=661996 memory=620776 CPUtime=3575.97 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437101 0 0 0 357485 112 0 0 20 0 1 0 30475538 677883904 155194 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 165499 155194 4033 3540 0 153756 0
Current children cumulated CPU time: 3575.97 s
Current children cumulated vsize: 661996 KiB
Current children cumulated memory: 620776 KiB

[startup+3590.4 s]
/proc/loadavg: 2.13 2.10 2.07 3/248 255803
/proc/meminfo: memFree=123894352/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3582.35 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437103 0 0 0 358123 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3593.6 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255803
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3585.54 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437221 0 0 0 358442 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3595.2 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3587.14 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437222 0 0 0 358602 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3596 s]*
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3587.95 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437223 0 0 0 358683 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3596.8 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3588.74 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437223 0 0 0 358762 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3597 s]*
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3588.94 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437238 0 0 0 358782 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

[startup+3597.11 s]
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3589.04 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437240 0 0 0 358792 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3589.04 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB

Child status: 0

Real time (s): 3597.18
CPU time (s): 3589.13
CPU user time (s): 3588
CPU system time (s): 1.1301
CPU usage (%): 99.7762
Max. virtual memory (cumulated for all children) (KiB): 663580
Max. memory (cumulated for all children) (KiB): 623200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588
system time used= 1.1301
maximum resident set size= 623200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437273
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= 28
involuntary context switches= 2445


# summary of solver processes directly reported to runsolver:
#   pid: 253792
#   total CPU time (s): 3589.13
#   total CPU user time (s): 3588
#   total CPU system time (s): 1.1301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21017 second user time and 16.1538 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-25 22:31:03
IDJOB=4459896
IDBENCH=148645
IDSOLVER=3059
FILE ID=nodeC023/4459896-1721939463
RUNJOBID= nodeC023-1721939462-253732
SLURM_JOB_ID= 8247244
Free space on /tmp= 890028 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.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-4459896-1721939463/watcher-4459896-1721939463 -o /tmp/evaluation-result-4459896-1721939463/solver-4459896-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721939462-253732 --watchdog 3760  pbscip -f HOME/instance-4459896-1721939463.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= e801618a66cab8fdd24ce0de869386c9
RANDOM SEED=1195961217

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125650172 kB
MemAvailable:   129612248 kB
Buffers:          330016 kB
Cached:          4424776 kB
SwapCached:          208 kB
Active:          1644992 kB
Inactive:        3554680 kB
Active(anon):       2316 kB
Inactive(anon):   494720 kB
Active(file):    1642676 kB
Inactive(file):  3059960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             75376 kB
Writeback:             8 kB
AnonPages:        444564 kB
Mapped:           125984 kB
Shmem:             52148 kB
KReclaimable:     198172 kB
Slab:             315644 kB
SReclaimable:     198172 kB
SUnreclaim:       117472 kB
KernelStack:        4080 kB
PageTables:        10824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     811476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

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