Trace number 4432784

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3587.75 3597.09

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1518.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432784-1721103750.opb>
0.10/0.12	c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.10/0.12	c problem read in 0.12
0.10/0.19	c presolving:
0.21/0.27	c (round 1, fast)       9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.21/0.29	c (round 2, fast)       9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.31/0.35	c    (0.3s) running MILP presolver
0.31/0.41	c    (0.4s) MILP presolver found nothing
0.41/0.46	c (round 3, exhaustive) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 2293 clqs
0.68/0.78	c    (0.8s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.78	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.82	c    (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.28/4.39	c    (4.4s) symmetry computation finished: 651 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 3.55)
4.38/4.44	c dynamic symmetry handling statistics:
4.38/4.44	c    orbitopal reduction:       no components
4.38/4.44	c    orbital reduction:         no components
4.38/4.44	c    lexicographic reduction:   no permutations
4.38/4.44	c handled 1 out of 1 symmetry components
4.38/4.45	c (round 4, exhaustive) 594 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1886 clqs
4.38/4.46	c (round 5, medium)     831 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1864 clqs
4.38/4.47	c (round 6, medium)     900 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1842 clqs
4.38/4.48	c (round 7, medium)     991 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
4.38/4.49	c (round 8, medium)     1078 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1789 clqs
4.38/4.49	c (round 9, medium)     1117 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
4.38/4.49	c (round 10, medium)     1133 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
4.48/4.50	c (round 11, medium)     1139 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
5.47/5.50	c    (5.5s) probing: 1000/8415 (11.9%) - 0 fixings, 0 aggregations, 40992 implications, 0 bound changes
5.67/5.75	c    (5.7s) probing: 1247/8415 (14.8%) - 0 fixings, 0 aggregations, 50374 implications, 0 bound changes
5.67/5.75	c    (5.7s) probing aborted: 1000/1000 successive useless probings
5.67/5.77	c presolving (12 rounds: 12 fast, 10 medium, 3 exhaustive):
5.67/5.77	c  1139 deleted vars, 8416 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.67/5.77	c  0 implications, 52158 cliques
5.67/5.77	c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
5.67/5.77	c     576 constraints of type <knapsack>
5.67/5.77	c      97 constraints of type <setppc>
5.67/5.77	c     575 constraints of type <orbitope>
5.67/5.77	c transformed objective value is always integral (scale: 1)
5.67/5.77	c Presolving Time: 5.58
5.67/5.77	c - non default parameters ----------------------------------------------------------------------
5.67/5.77	c # SCIP version 10.0.0
5.67/5.77	c 
5.67/5.77	c # maximal time in seconds to run
5.67/5.77	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.67/5.77	c limits/time = 3596.994156
5.67/5.77	c 
5.67/5.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.67/5.77	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.67/5.77	c limits/memory = 27900
5.67/5.77	c 
5.67/5.77	c # belongs reading time to solving time?
5.67/5.77	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.67/5.77	c timing/reading = TRUE
5.67/5.77	c 
5.67/5.77	c -----------------------------------------------------------------------------------------------
5.67/5.77	c start solving
5.67/5.77	c 
6.47/6.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.47/6.57	c   6.6s|     1 |     0 |  1350 |     - |   184M |   0 |7285 |1304 | 673 |   0 |  0 |  55 |   0 | 9.000000e+00 |      --      |    Inf | unknown
6.98/7.09	c   7.1s|     1 |     0 |  2774 |     - |   190M |   0 |7285 |1305 | 697 |  24 |  1 |  56 |   0 | 9.000000e+00 |      --      |    Inf | unknown
7.08/7.19	c   7.2s|     1 |     0 |  3073 |     - |   193M |   0 |7285 |1306 | 724 |  51 |  2 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
7.27/7.38	c   7.4s|     1 |     0 |  3693 |     - |   197M |   0 |7285 |1306 | 755 |  82 |  3 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
7.47/7.55	c   7.5s|     1 |     0 |  4137 |     - |   202M |   0 |7285 |1306 | 784 | 111 |  4 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
7.77/7.88	c   7.9s|     1 |     0 |  5787 |     - |   204M |   0 |7285 |1306 | 816 | 143 |  5 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
7.98/8.05	c   8.0s|     1 |     0 |  6215 |     - |   206M |   0 |7285 |1307 | 843 | 170 |  6 |  58 |   0 | 9.000000e+00 |      --      |    Inf | unknown
8.27/8.39	c   8.4s|     1 |     0 |  8080 |     - |   209M |   0 |7285 |1309 | 875 | 202 |  7 |  60 |   0 | 9.000000e+00 |      --      |    Inf | unknown
8.67/8.74	c   8.7s|     1 |     0 |  9394 |     - |   214M |   0 |7285 |1319 | 905 | 232 |  8 |  70 |   0 | 9.000000e+00 |      --      |    Inf | unknown
8.98/9.02	c   9.0s|     1 |     0 | 10428 |     - |   219M |   0 |7285 |1321 | 932 | 259 |  9 |  72 |   0 | 9.000000e+00 |      --      |    Inf | unknown
9.36/9.41	c   9.4s|     1 |     0 | 12314 |     - |   220M |   0 |7285 |1322 | 965 | 292 | 10 |  73 |   0 | 9.000000e+00 |      --      |    Inf | unknown
9.86/9.96	c   9.9s|     1 |     0 | 15406 |     - |   223M |   0 |7285 |1322 | 981 | 327 | 11 |  73 |   0 | 9.000000e+00 |      --      |    Inf | unknown
10.76/10.86	c  10.8s|     1 |     2 | 18439 |     - |   223M |   0 |7285 |1340 | 981 | 327 | 11 |  91 |  11 | 9.000000e+00 |      --      |    Inf | unknown
31.37/31.58	c  31.6s|   100 |    91 |129393 |1151.4 |   244M |  26 |7285 |1865 | 757 | 519 |  1 | 626 |  11 | 9.000000e+00 |      --      |    Inf | unknown
41.34/41.58	c  41.6s|   200 |   163 |201196 | 933.6 |   256M |  44 |7285 |2161 | 786 | 786 |  1 | 929 |  11 | 9.000000e+00 |      --      |    Inf | unknown
49.43/49.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
49.43/49.60	c  49.6s|   300 |   203 |261425 | 822.8 |   261M |  50 |7285 |2358 | 781 | 994 |  0 |1149 |  11 | 9.000000e+00 |      --      |    Inf | unknown
57.71/57.91	c  57.9s|   400 |   225 |317060 | 756.0 |   267M |  60 |7285 |2573 | 783 |1121 |  1 |1411 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.57/66.88	c  66.9s|   500 |   223 |377422 | 725.5 |   272M |  60 |7285 |2754 | 786 |1190 |  0 |1707 |  11 | 9.000000e+00 |      --      |    Inf | unknown
79.04/79.30	c  79.3s|   600 |   243 |461556 | 744.8 |   276M |  60 |7285 |2787 | 793 |1492 |  1 |1959 |  11 | 9.000000e+00 |      --      |    Inf | unknown
88.71/89.07	c  89.1s|   700 |   257 |527288 | 732.3 |   279M |  60 |7285 |2778 | 790 |1724 |  0 |2207 |  11 | 9.000000e+00 |      --      |    Inf | unknown
99.96/100.34	c   100s|   800 |   246 |602017 | 734.2 |   282M |  60 |7285 |2900 | 790 |1862 |  1 |2561 |  11 | 9.000000e+00 |      --      |    Inf | unknown
108.93/109.39	c   109s|   900 |   245 |663397 | 720.8 |   284M |  60 |7285 |2996 | 785 |1949 |  0 |2835 |  11 | 9.000000e+00 |      --      |    Inf | unknown
116.12/116.53	c   117s|  1000 |   236 |711277 | 696.6 |   285M |  60 |7285 |2860 | 760 |2057 |  1 |3143 |  11 | 9.000000e+00 |      --      |    Inf | unknown
122.71/123.19	c   123s|  1100 |   259 |758171 | 675.9 |   287M |  60 |7285 |2878 | 773 |2209 |  1 |3439 |  11 | 9.000000e+00 |      --      |    Inf | unknown
132.37/132.89	c   133s|  1200 |   266 |834511 | 683.2 |   288M |  60 |7285 |2775 | 784 |2452 |  1 |3695 |  11 | 9.000000e+00 |      --      |    Inf | unknown
139.95/140.44	c   140s|  1300 |   269 |883739 | 668.5 |   289M |  60 |7285 |2852 | 787 |2630 |  0 |3918 |  11 | 9.000000e+00 |      --      |    Inf | unknown
150.81/151.34	c   151s|  1400 |   288 |957611 | 673.5 |   289M |  60 |7285 |2726 | 794 |2822 |  2 |4163 |  11 | 9.000000e+00 |      --      |    Inf | unknown
160.68/161.24	c   161s|  1500 |   288 |  1024k| 673.3 |   290M |  60 |7285 |2808 | 789 |2971 |  1 |4443 |  11 | 9.000000e+00 |      --      |    Inf | unknown
168.47/169.07	c   169s|  1600 |   303 |  1077k| 664.5 |   292M |  60 |7285 |2673 | 757 |3157 |  1 |4627 |  11 | 9.000000e+00 |      --      |    Inf | unknown
179.73/180.31	c   180s|  1700 |   328 |  1154k| 670.5 |   293M |  60 |7285 |2614 | 785 |3298 |  1 |4842 |  11 | 9.000000e+00 |      --      |    Inf | unknown
188.60/189.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
188.60/189.26	c   189s|  1800 |   355 |  1214k| 666.5 |   294M |  60 |7285 |2664 | 780 |3466 |  1 |5008 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.48/199.18	c   199s|  1900 |   375 |  1282k| 667.2 |   295M |  60 |7285 |2707 | 787 |3554 |  1 |5213 |  11 | 9.000000e+00 |      --      |    Inf | unknown
207.24/207.93	c   208s|  2000 |   403 |  1341k| 663.6 |   296M |  60 |7285 |2793 | 786 |3721 |  1 |5440 |  11 | 9.000000e+00 |      --      |    Inf | unknown
219.20/220.00	c   220s|  2100 |   441 |  1423k| 670.8 |   297M |  60 |7285 |2670 | 790 |3973 |  2 |5729 |  11 | 9.000000e+00 |      --      |    Inf | unknown
228.48/229.26	c   229s|  2200 |   464 |  1487k| 669.2 |   298M |  60 |7285 |2828 | 789 |4151 |  2 |5973 |  11 | 9.000000e+00 |      --      |    Inf | unknown
238.76/239.57	c   240s|  2300 |   489 |  1560k| 672.0 |   300M |  60 |7285 |2899 | 770 |4325 |  1 |6225 |  11 | 9.000000e+00 |      --      |    Inf | unknown
250.53/251.36	c   251s|  2400 |   523 |  1643k| 678.7 |   302M |  60 |7285 |2938 | 790 |4483 |  0 |6453 |  11 | 9.000000e+00 |      --      |    Inf | unknown
263.89/264.76	c   265s|  2500 |   568 |  1738k| 689.4 |   303M |  60 |7285 |2850 | 785 |4749 |  1 |6738 |  11 | 9.000000e+00 |      --      |    Inf | unknown
273.07/274.00	c   274s|  2600 |   605 |  1809k| 690.2 |   303M |  60 |7285 |2859 | 758 |4908 |  1 |6911 |  11 | 9.000000e+00 |      --      |    Inf | unknown
288.33/289.23	c   289s|  2700 |   628 |  1919k| 705.6 |   304M |  60 |7285 |2747 | 759 |5291 |  2 |7283 |  11 | 9.000000e+00 |      --      |    Inf | unknown
302.69/303.60	c   304s|  2800 |   654 |  2019k| 716.2 |   305M |  60 |7285 |2602 | 768 |5596 |  1 |7472 |  11 | 9.000000e+00 |      --      |    Inf | unknown
316.45/317.44	c   317s|  2900 |   687 |  2116k| 724.8 |   306M |  60 |7285 |2640 | 741 |5848 |  1 |7831 |  11 | 9.000000e+00 |      --      |    Inf | unknown
328.62/329.61	c   330s|  3000 |   727 |  2202k| 729.3 |   307M |  60 |7285 |2571 | 781 |6119 |  1 |8087 |  11 | 9.000000e+00 |      --      |    Inf | unknown
341.59/342.68	c   343s|  3100 |   773 |  2296k| 736.1 |   308M |  60 |7285 |2631 | 797 |6377 |  2 |8348 |  11 | 9.000000e+00 |      --      |    Inf | unknown
356.35/357.46	c   357s|  3200 |   806 |  2399k| 745.2 |   309M |  60 |7285 |2647 | 785 |6553 |  2 |8659 |  11 | 9.000000e+00 |      --      |    Inf | unknown
367.93/369.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
367.93/369.07	c   369s|  3300 |   846 |  2480k| 747.2 |   310M |  60 |7285 |2819 | 778 |6775 |  1 |8956 |  11 | 9.000000e+00 |      --      |    Inf | unknown
381.28/382.46	c   382s|  3400 |   877 |  2575k| 753.2 |   312M |  60 |7285 |2851 | 785 |7017 |  2 |9174 |  11 | 9.000000e+00 |      --      |    Inf | unknown
396.85/398.03	c   398s|  3500 |   916 |  2682k| 762.3 |   313M |  60 |7285 |2948 | 786 |7267 |  1 |9564 |  11 | 9.000000e+00 |      --      |    Inf | unknown
409.40/410.68	c   411s|  3600 |   938 |  2758k| 762.2 |   313M |  60 |7285 |2879 | 794 |7428 |  0 |9840 |  11 | 9.000000e+00 |      --      |    Inf | unknown
419.67/420.90	c   421s|  3700 |   977 |  2820k| 758.2 |   315M |  60 |7285 |3041 | 757 |7622 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
429.34/430.65	c   431s|  3800 |  1015 |  2881k| 754.5 |   315M |  60 |7285 |3027 | 772 |7795 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
442.10/443.48	c   443s|  3900 |  1057 |  2968k| 757.4 |   316M |  60 |7285 |2824 | 779 |8049 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
452.96/454.34	c   454s|  4000 |  1099 |  3032k| 754.4 |   318M |  60 |7285 |2792 | 765 |8230 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
464.23/465.65	c   466s|  4100 |  1155 |  3103k| 753.3 |   318M |  60 |7285 |2721 | 762 |8483 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
475.49/476.91	c   477s|  4200 |  1186 |  3170k| 751.5 |   319M |  60 |7285 |2774 | 755 |8763 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
487.67/489.19	c   489s|  4300 |  1222 |  3246k| 751.6 |   319M |  60 |7285 |2701 | 785 |8914 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
497.43/499.00	c   499s|  4400 |  1243 |  3303k| 747.4 |   319M |  60 |7285 |2717 | 779 |9193 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
507.20/508.71	c   509s|  4500 |  1282 |  3368k| 745.3 |   320M |  60 |7285 |2543 |   0 |9387 |  0 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
518.47/520.04	c   520s|  4600 |  1330 |  3438k| 744.3 |   321M |  60 |7285 |2486 | 808 |9582 |  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
530.92/532.59	c   533s|  4700 |  1364 |  3515k| 745.0 |   322M |  60 |7285 |2516 | 744 |9877 |  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
544.50/546.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
544.50/546.12	c   546s|  4800 |  1399 |  3591k| 745.3 |   322M |  60 |7285 |2427 | 768 |  10k|  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
556.15/557.82	c   558s|  4900 |  1443 |  3663k| 744.7 |   323M |  60 |7285 |2477 | 747 |  10k|  0 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
567.02/568.75	c   569s|  5000 |  1485 |  3727k| 742.6 |   323M |  60 |7285 |2503 | 752 |  10k|  1 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
578.78/580.52	c   581s|  5100 |  1509 |  3797k| 741.8 |   324M |  60 |7285 |2583 | 758 |  10k|  0 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
592.43/594.20	c   594s|  5200 |  1535 |  3877k| 742.8 |   324M |  60 |7285 |2545 | 762 |  10k|  1 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
603.31/605.19	c   605s|  5300 |  1595 |  3944k| 741.6 |   325M |  60 |7285 |2524 | 785 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
615.46/617.38	c   617s|  5400 |  1633 |  4018k| 741.5 |   326M |  60 |7285 |2645 | 775 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
631.61/633.55	c   634s|  5500 |  1673 |  4114k| 745.4 |   327M |  60 |7285 |2613 | 784 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
642.59/644.55	c   645s|  5600 |  1716 |  4175k| 743.1 |   329M |  60 |7285 |2591 | 777 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
655.95/658.00	c   658s|  5700 |  1762 |  4271k| 746.8 |   329M |  60 |7285 |2586 | 764 |  12k|  1 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
672.40/674.47	c   674s|  5800 |  1816 |  4376k| 752.1 |   329M |  60 |7285 |2588 |   0 |  12k|  0 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
688.85/690.93	c   691s|  5900 |  1883 |  4477k| 756.4 |   330M |  60 |7285 |2506 | 737 |  12k|  1 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
700.02/702.16	c   702s|  6000 |  1915 |  4541k| 754.5 |   330M |  60 |7285 |2618 | 760 |  12k|  1 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
709.78/711.93	c   712s|  6100 |  1948 |  4599k| 751.6 |   331M |  60 |7285 |2776 | 762 |  12k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
721.05/723.22	c   723s|  6200 |  1985 |  4670k| 751.0 |   331M |  60 |7285 |2769 | 771 |  13k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
734.92/737.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
734.92/737.15	c   737s|  6300 |  2015 |  4766k| 754.2 |   332M |  60 |7285 |2840 | 768 |  13k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
745.78/748.02	c   748s|  6400 |  2052 |  4840k| 754.0 |   332M |  60 |7285 |2967 | 745 |  13k|  0 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
756.24/758.56	c   759s|  6500 |  2103 |  4910k| 753.3 |   333M |  60 |7285 |2918 | 786 |  13k|  1 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
768.20/770.57	c   771s|  6600 |  2129 |  4987k| 753.4 |   333M |  60 |7285 |2833 | 777 |  14k|  2 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
777.27/779.62	c   780s|  6700 |  2170 |  5038k| 749.9 |   334M |  60 |7285 |2867 | 788 |  14k|  1 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
789.54/791.96	c   792s|  6800 |  2217 |  5110k| 749.5 |   335M |  60 |7285 |2809 | 790 |  14k|  1 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
803.79/806.29	c   806s|  6900 |  2268 |  5206k| 752.4 |   335M |  60 |7285 |2792 | 762 |  14k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
816.45/818.99	c   819s|  7000 |  2302 |  5291k| 753.8 |   337M |  60 |7285 |2694 | 793 |  14k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
830.11/832.60	c   833s|  7100 |  2333 |  5387k| 756.8 |   337M |  60 |7285 |2731 | 767 |  15k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
846.16/848.76	c   849s|  7200 |  2377 |  5502k| 762.2 |   338M |  60 |7285 |2820 | 773 |  15k|  0 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
860.72/863.35	c   863s|  7300 |  2410 |  5601k| 765.3 |   338M |  60 |7285 |2718 | 755 |  15k|  1 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
870.40/873.04	c   873s|  7400 |  2467 |  5670k| 764.4 |   339M |  60 |7285 |2778 | 754 |  16k|  1 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
885.25/887.94	c   888s|  7500 |  2529 |  5776k| 768.3 |   339M |  60 |7285 |2858 | 758 |  16k|  1 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
892.12/894.85	c   895s|  7600 |  2600 |  5816k| 763.4 |   340M |  60 |7285 |3006 | 758 |  16k|  1 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
905.68/908.45	c   908s|  7700 |  2647 |  5896k| 763.8 |   340M |  60 |7285 |3070 | 773 |  16k|  1 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
915.45/918.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
915.45/918.23	c   918s|  7800 |  2702 |  5952k| 761.2 |   341M |  60 |7285 |3064 | 758 |  16k|  0 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
928.91/931.70	c   932s|  7900 |  2757 |  6036k| 762.2 |   341M |  60 |7285 |3051 | 749 |  17k|  1 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
935.99/938.87	c   939s|  8000 |  2811 |  6074k| 757.5 |   341M |  60 |7285 |2998 | 761 |  17k|  0 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
948.05/950.90	c   951s|  8100 |  2844 |  6147k| 757.2 |   342M |  60 |7285 |2959 | 757 |  17k|  2 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
958.62/961.52	c   962s|  8200 |  2893 |  6207k| 755.2 |   342M |  60 |7285 |2764 | 771 |  17k|  0 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
973.38/976.36	c   976s|  8300 |  2938 |  6292k| 756.4 |   344M |  60 |7285 |2757 | 757 |  18k|  1 |  21k|  11 | 9.000000e+00 |      --      |    Inf |   0.79%
987.63/990.62	c   991s|  8400 |  2972 |  6378k| 757.6 |   344M |  60 |7285 |2595 | 755 |  18k|  1 |  21k|  11 | 9.000000e+00 |      --      |    Inf |   0.79%
1000.01/1003.07	c  1003s|  8500 |  3041 |  6451k| 757.3 |   344M |  60 |7285 |2564 | 737 |  18k|  1 |  21k|  11 | 9.000000e+00 |      --      |    Inf |   0.79%
1012.97/1016.03	c  1016s|  8600 |  3091 |  6525k| 757.1 |   345M |  60 |7285 |2601 | 761 |  19k|  1 |  21k|  11 | 9.000000e+00 |      --      |    Inf |   0.79%
1020.95/1024.11	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1020.95/1024.11	c (run 1, node 8664) performing user restart
1020.95/1024.11	c 
1021.05/1024.11	c (restart) converted 57 cuts from the global cut pool into linear constraints
1021.05/1024.11	c 
1021.05/1024.15	c presolving:
1021.05/1024.16	c (round 1, fast)       0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 52178 clqs
1021.14/1024.20	c (round 2, exhaustive) 0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 57 upgd conss, 0 impls, 52178 clqs
1021.34/1024.43	c (round 3, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 387 chg coeffs, 57 upgd conss, 0 impls, 52178 clqs
1021.64/1024.71	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1021.64/1024.71	c  0 deleted vars, 143 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 397 changed coefficients
1021.64/1024.71	c  0 implications, 52178 cliques
1021.64/1024.71	c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
1021.64/1024.71	c     627 constraints of type <knapsack>
1021.64/1024.71	c     120 constraints of type <setppc>
1021.64/1024.71	c      10 constraints of type <linear>
1021.64/1024.71	c     575 constraints of type <orbitope>
1021.64/1024.71	c    1163 constraints of type <logicor>
1021.64/1024.71	c transformed objective value is always integral (scale: 1)
1021.64/1024.71	c Presolving Time: 6.16
1021.64/1024.71	c 
1021.95/1025.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1021.95/1025.09	c  1025s|     1 |     0 |  6577k|     - |   353M |   0 |7285 |2501 | 730 |   0 |  0 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1022.54/1025.62	c  1026s|     1 |     0 |  6577k|     - |   353M |   0 |7285 |2450 | 756 |  26 |  1 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1022.64/1025.77	c  1026s|     1 |     0 |  6577k|     - |   354M |   0 |7285 |2396 | 783 |  53 |  2 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1024.73/1027.83	c  1028s|     1 |     0 |  6588k|     - |   355M |   0 |7285 |2378 | 815 |  85 |  3 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1026.32/1029.47	c  1029s|     1 |     0 |  6597k|     - |   355M |   0 |7285 |2359 | 848 | 118 |  4 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1026.52/1029.65	c  1030s|     1 |     0 |  6597k|     - |   356M |   0 |7285 |2348 | 878 | 148 |  5 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1029.03/1032.16	c  1032s|     1 |     0 |  6609k|     - |   356M |   0 |7285 |2329 | 909 | 179 |  6 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1031.41/1034.55	c  1035s|     1 |     0 |  6620k|     - |   358M |   0 |7285 |2323 | 936 | 206 |  7 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1031.81/1034.93	c  1035s|     1 |     0 |  6621k|     - |   360M |   0 |7285 |2320 | 971 | 241 |  8 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1034.60/1037.74	c  1038s|     1 |     0 |  6633k|     - |   361M |   0 |7285 |2309 |1006 | 276 |  9 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1037.30/1040.43	c  1040s|     1 |     0 |  6644k|     - |   362M |   0 |7285 |2302 |1041 | 311 | 10 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1040.00/1043.19	c  1043s|     1 |     0 |  6656k|     - |   363M |   0 |7285 |2301 |1028 | 342 | 11 |  21k|  11 | 9.000000e+00 |      --      |    Inf | unknown
1044.89/1048.05	c  1048s|     1 |     2 |  6667k|     - |   363M |   0 |7285 |2283 |1028 | 342 | 11 |  21k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1077.29/1080.50	c  1080s|   100 |    75 |  6848k| 770.6 |   363M |  30 |7285 |2352 | 854 | 599 |  0 |  22k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1101.74/1105.05	c  1105s|   200 |   109 |  6983k| 777.1 |   363M |  32 |7285 |2387 | 841 | 848 |  1 |  22k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1127.07/1130.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1127.07/1130.43	c  1130s|   300 |    84 |  7120k| 783.7 |   363M |  32 |7285 |2363 | 845 |1055 |  1 |  22k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1153.50/1156.97	c  1157s|   400 |   107 |  7278k| 792.5 |   364M |  35 |7285 |2449 | 863 |1310 |  1 |  22k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1170.36/1173.89	c  1174s|   500 |   114 |  7384k| 795.4 |   364M |  40 |7285 |2561 | 872 |1570 |  2 |  23k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1186.32/1189.85	c  1190s|   600 |   131 |  7481k| 797.3 |   364M |  40 |7285 |2756 | 882 |1791 |  1 |  23k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1202.50/1206.05	c  1206s|   700 |   137 |  7580k| 799.3 |   364M |  40 |7285 |2736 | 855 |2100 |  1 |  23k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1224.93/1228.57	c  1229s|   800 |   138 |  7712k| 804.9 |   364M |  40 |7285 |2734 | 848 |2433 |  1 |  24k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1244.49/1248.17	c  1248s|   900 |   145 |  7842k| 810.0 |   364M |  40 |7285 |2756 | 877 |2759 |  0 |  24k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1259.15/1262.82	c  1263s|  1000 |   158 |  7942k| 812.0 |   364M |  40 |7285 |2822 | 867 |2991 |  1 |  24k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1279.00/1282.78	c  1283s|  1100 |   170 |  8081k| 817.9 |   364M |  40 |7285 |2878 | 903 |3384 |  2 |  24k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1302.35/1306.18	c  1306s|  1200 |   149 |  8244k| 826.1 |   364M |  40 |7285 |2862 | 877 |3816 |  1 |  25k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1320.60/1324.45	c  1324s|  1300 |   150 |  8371k| 830.6 |   364M |  40 |7285 |2870 | 906 |4031 |  0 |  25k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1339.65/1343.51	c  1344s|  1400 |   154 |  8499k| 835.1 |   364M |  40 |7285 |2910 | 880 |4203 |  1 |  25k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1362.49/1366.40	c  1366s|  1500 |   153 |  8649k| 841.6 |   364M |  40 |7285 |2782 | 851 |4441 |  1 |  25k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1383.94/1387.99	c  1388s|  1600 |   154 |  8799k| 848.0 |   364M |  40 |7285 |2774 | 903 |4762 |  0 |  25k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1407.38/1411.49	c  1411s|  1700 |   141 |  8960k| 855.4 |   365M |  40 |7285 |2767 | 887 |5095 |  0 |  26k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1437.61/1441.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1437.61/1441.78	c  1442s|  1800 |   145 |  9150k| 865.3 |   365M |  40 |7285 |2854 | 949 |5346 |  0 |  26k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1458.97/1463.17	c  1463s|  1900 |   173 |  9280k| 869.5 |   365M |  40 |7285 |2880 | 948 |5545 |  1 |  26k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1485.49/1489.76	c  1490s|  2000 |   185 |  9427k| 875.1 |   365M |  40 |7285 |2924 | 960 |5614 |  1 |  27k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1508.85/1513.15	c  1513s|  2100 |   184 |  9555k| 878.9 |   365M |  40 |7285 |2864 | 947 |5838 |  1 |  27k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1533.18/1537.57	c  1538s|  2200 |   202 |  9681k| 882.4 |   365M |  40 |7285 |2825 | 932 |6067 |  1 |  27k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1564.30/1568.79	c  1569s|  2300 |   190 |  9850k| 889.7 |   365M |  40 |7285 |2724 | 923 |6280 |  0 |  27k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1595.94/1600.47	c  1600s|  2400 |   191 | 10020k| 897.1 |   365M |  40 |7285 |2608 | 844 |6549 |  1 |  28k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1617.88/1622.44	c  1622s|  2500 |   226 | 10152k| 900.9 |   365M |  40 |7285 |2758 | 879 |6785 |  1 |  28k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1650.90/1655.52	c  1656s|  2600 |   266 | 10359k| 911.3 |   365M |  40 |7285 |2813 | 889 |7111 |  2 |  28k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1681.44/1686.15	c  1686s|  2700 |   281 | 10544k| 919.5 |   366M |  43 |7285 |2740 |   0 |7479 |  0 |  29k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1699.68/1704.46	c  1704s|  2800 |   231 | 10675k| 922.9 |   366M |  43 |7285 |2692 | 895 |7684 |  1 |  29k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1714.95/1719.78	c  1720s|  2900 |   263 | 10784k| 924.3 |   366M |  43 |7285 |2749 | 877 |8094 |  1 |  29k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1735.31/1740.19	c  1740s|  3000 |   206 | 10928k| 928.8 |   366M |  43 |7285 |2711 | 848 |8289 |  1 |  29k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1753.55/1758.45	c  1758s|  3100 |   223 | 11062k| 932.3 |   366M |  50 |7285 |2766 | 892 |8719 |  1 |  30k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1767.62/1772.50	c  1772s|  3200 |   214 | 11161k| 932.8 |   366M |  50 |7285 |2707 | 928 |8904 |  0 |  30k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1790.86/1795.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1790.86/1795.83	c  1796s|  3300 |   254 | 11316k| 937.9 |   366M |  50 |7285 |2588 | 861 |9189 |  1 |  30k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1808.42/1813.40	c  1813s|  3400 |   297 | 11435k| 940.0 |   366M |  50 |7285 |2616 |   0 |9496 |  0 |  30k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1829.27/1834.33	c  1834s|  3500 |   314 | 11579k| 944.2 |   366M |  50 |7285 |2682 | 896 |9894 |  1 |  31k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1855.02/1860.17	c  1860s|  3600 |   323 | 11757k| 950.9 |   366M |  50 |7285 |2607 |   0 |  10k|  0 |  31k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1877.75/1882.90	c  1883s|  3700 |   358 | 11913k| 955.9 |   366M |  50 |7285 |2796 | 878 |  10k|  0 |  31k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1909.68/1914.98	c  1915s|  3800 |   196 | 12128k| 965.4 |   366M |  50 |7285 |2592 |1065 |  10k|  0 |  32k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1955.57/1960.96	c  1961s|  3900 |   252 | 12385k| 978.2 |   367M |  50 |7285 |2655 |1014 |  11k|  1 |  32k|  34 | 9.000000e+00 |      --      |    Inf | unknown
1997.76/2003.20	c  2003s|  4000 |   280 | 12628k| 989.7 |   367M |  50 |7285 |2586 | 882 |  11k|  1 |  32k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2023.80/2029.39	c  2029s|  4100 |   317 | 12815k| 996.6 |   367M |  50 |7285 |2779 | 889 |  11k|  1 |  32k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2047.25/2052.87	c  2053s|  4200 |   365 | 12956k| 999.8 |   367M |  50 |7285 |2835 | 872 |  11k|  1 |  33k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2086.25/2092.00	c  2092s|  4300 |   314 | 13199k|1010.9 |   367M |  50 |7285 |2669 | 994 |  12k|  0 |  33k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2109.89/2115.61	c  2116s|  4400 |   346 | 13350k|1014.7 |   367M |  50 |7285 |2678 | 857 |  12k|  1 |  33k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2128.05/2133.89	c  2134s|  4500 |   365 | 13473k|1016.3 |   367M |  50 |7285 |2654 | 842 |  12k|  1 |  33k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2151.79/2157.66	c  2158s|  4600 |   405 | 13624k|1020.0 |   367M |  50 |7285 |2716 | 858 |  13k|  1 |  34k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2184.91/2190.85	c  2191s|  4700 |   448 | 13835k|1028.2 |   367M |  50 |7285 |2795 | 881 |  13k|  1 |  34k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2216.74/2222.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2216.74/2222.74	c  2223s|  4800 |   468 | 14036k|1035.5 |   367M |  50 |7285 |2730 | 912 |  14k|  1 |  34k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2245.77/2251.85	c  2252s|  4900 |   478 | 14231k|1042.2 |   368M |  50 |7285 |2839 | 860 |  14k|  0 |  35k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2266.22/2272.39	c  2272s|  5000 |   522 | 14365k|1044.4 |   368M |  50 |7285 |2757 | 844 |  14k|  1 |  35k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2288.76/2294.91	c  2295s|  5100 |   562 | 14497k|1046.4 |   368M |  50 |7285 |2842 | 854 |  14k|  1 |  35k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2317.90/2324.17	c  2324s|  5200 |   590 | 14662k|1050.7 |   368M |  50 |7285 |2759 | 858 |  15k|  1 |  35k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2336.25/2342.57	c  2343s|  5300 |   605 | 14785k|1052.0 |   368M |  50 |7285 |2773 | 864 |  15k|  1 |  36k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2357.99/2364.38	c  2364s|  5400 |   651 | 14917k|1053.9 |   368M |  50 |7285 |2841 | 880 |  15k|  1 |  36k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2380.75/2387.14	c  2387s|  5500 |   688 | 15052k|1056.0 |   368M |  50 |7285 |2846 | 896 |  16k|  1 |  36k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2406.59/2413.04	c  2413s|  5600 |   719 | 15210k|1059.7 |   368M |  50 |7285 |2803 | 888 |  16k|  1 |  36k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2437.40/2443.91	c  2444s|  5700 |   700 | 15383k|1064.4 |   368M |  50 |7285 |2802 | 921 |  16k|  0 |  37k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2456.36/2462.95	c  2463s|  5800 |   720 | 15500k|1065.1 |   368M |  50 |7285 |2818 | 875 |  16k|  1 |  37k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2484.50/2491.14	c  2491s|  5900 |   706 | 15666k|1069.2 |   368M |  50 |7285 |2817 | 850 |  17k|  1 |  37k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2519.51/2526.28	c  2526s|  6000 |   729 | 15854k|1074.7 |   368M |  50 |7285 |2851 | 850 |  17k|  1 |  37k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2544.14/2550.92	c  2551s|  6100 |   736 | 15990k|1076.7 |   368M |  50 |7285 |2749 | 904 |  17k|  0 |  38k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2572.18/2579.06	c  2579s|  6200 |   758 | 16142k|1079.6 |   368M |  50 |7285 |2735 | 896 |  18k|  1 |  38k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2600.30/2607.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2600.30/2607.20	c  2607s|  6300 |   762 | 16304k|1083.2 |   368M |  50 |7285 |2706 | 875 |  18k|  1 |  38k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2622.16/2629.12	c  2629s|  6400 |   766 | 16438k|1085.0 |   368M |  50 |7285 |2724 | 878 |  18k|  1 |  38k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2659.45/2666.52	c  2667s|  6500 |   737 | 16656k|1092.1 |   369M |  50 |7285 |2665 |1032 |  19k|  0 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2690.17/2697.33	c  2697s|  6600 |   744 | 16831k|1096.4 |   369M |  50 |7285 |2742 | 859 |  19k|  1 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2720.81/2728.01	c  2728s|  6700 |   767 | 17005k|1100.7 |   369M |  50 |7285 |2863 | 848 |  19k|  1 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2748.63/2756.01	c  2756s|  6800 |   790 | 17159k|1103.5 |   369M |  50 |7285 |2856 | 879 |  20k|  1 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2774.57/2781.93	c  2782s|  6900 |   822 | 17292k|1105.0 |   369M |  50 |7285 |2769 | 867 |  20k|  0 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2804.49/2812.00	c  2812s|  7000 |   818 | 17467k|1109.1 |   369M |  50 |7285 |2814 |   0 |  20k|  0 |  39k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2833.72/2841.29	c  2841s|  7100 |   858 | 17651k|1113.7 |   369M |  50 |7285 |2966 | 865 |  20k|  1 |  40k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2855.07/2862.61	c  2863s|  7200 |   894 | 17793k|1115.6 |   369M |  50 |7285 |2991 | 870 |  20k|  1 |  40k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2879.61/2887.24	c  2887s|  7300 |   904 | 17951k|1118.5 |   369M |  50 |7285 |3055 | 868 |  21k|  1 |  40k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2911.73/2919.44	c  2919s|  7400 |   929 | 18142k|1123.5 |   369M |  50 |7285 |2949 | 884 |  21k|  1 |  41k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2939.96/2947.77	c  2948s|  7500 |   957 | 18312k|1127.0 |   369M |  50 |7285 |2951 | 878 |  21k|  1 |  41k|  34 | 9.000000e+00 |      --      |    Inf | unknown
2971.48/2979.38	c  2979s|  7600 |   983 | 18490k|1131.1 |   370M |  50 |7285 |2953 | 899 |  22k|  0 |  41k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3011.38/3019.39	c  3019s|  7700 |   926 | 18723k|1138.4 |   370M |  50 |7285 |2900 | 899 |  22k|  1 |  41k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3051.38/3059.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3051.38/3059.47	c  3059s|  7800 |   923 | 18942k|1144.7 |   370M |  50 |7285 |2846 | 893 |  22k|  1 |  42k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3090.78/3098.93	c  3099s|  7900 |   890 | 19150k|1150.4 |   370M |  50 |7285 |2804 | 981 |  23k|  1 |  42k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3125.49/3133.72	c  3134s|  8000 |   886 | 19334k|1154.5 |   370M |  50 |7285 |2599 | 915 |  23k|  1 |  42k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3152.63/3160.90	c  3161s|  8100 |   880 | 19486k|1156.7 |   370M |  50 |7285 |2351 | 792 |  23k|  1 |  42k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3171.48/3179.88	c  3180s|  8200 |   943 | 19612k|1157.3 |   370M |  50 |7285 |2436 | 819 |  24k|  1 |  43k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3191.74/3200.15	c  3200s|  8300 |  1027 | 19745k|1158.4 |   371M |  50 |7285 |2538 | 865 |  24k|  2 |  43k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3214.08/3222.59	c  3223s|  8400 |  1087 | 19901k|1160.7 |   371M |  50 |7285 |2641 | 836 |  24k|  1 |  43k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3236.13/3244.67	c  3245s|  8500 |  1135 | 20058k|1163.1 |   372M |  50 |7285 |2719 | 853 |  25k|  0 |  44k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3261.58/3270.11	c  3270s|  8600 |  1219 | 20216k|1165.5 |   372M |  50 |7285 |2724 | 836 |  25k|  1 |  44k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3285.90/3294.59	c  3295s|  8700 |  1279 | 20367k|1167.5 |   372M |  50 |7285 |2637 | 837 |  25k|  1 |  45k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3310.74/3319.40	c  3319s|  8800 |  1345 | 20521k|1169.6 |   372M |  50 |7285 |2595 | 864 |  26k|  1 |  45k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3330.79/3339.56	c  3340s|  8900 |  1429 | 20662k|1171.0 |   372M |  50 |7285 |2587 | 823 |  26k|  1 |  45k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3352.63/3361.44	c  3361s|  9000 |  1485 | 20811k|1172.8 |   373M |  50 |7285 |2593 | 850 |  27k|  1 |  46k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3373.19/3382.07	c  3382s|  9100 |  1540 | 20957k|1174.4 |   373M |  50 |7285 |2688 |   0 |  27k|  0 |  46k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3401.71/3410.60	c  3411s|  9200 |  1425 | 21130k|1177.5 |   373M |  50 |7285 |2470 | 839 |  27k|  1 |  46k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3426.94/3435.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3426.94/3435.93	c  3436s|  9300 |  1404 | 21286k|1179.7 |   373M |  50 |7285 |2585 | 845 |  28k|  1 |  47k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3453.09/3462.15	c  3462s|  9400 |  1399 | 21439k|1181.6 |   373M |  50 |7285 |2641 | 860 |  28k|  2 |  47k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3481.02/3490.15	c  3490s|  9500 |  1401 | 21603k|1184.1 |   374M |  50 |7285 |2651 | 847 |  29k|  1 |  48k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3517.32/3526.51	c  3527s|  9600 |  1389 | 21826k|1189.9 |   374M |  50 |7285 |2623 | 850 |  29k|  1 |  48k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3544.35/3553.69	c  3554s|  9700 |  1423 | 21981k|1191.8 |   374M |  50 |7285 |2611 | 824 |  30k|  1 |  48k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3569.29/3578.66	c  3579s|  9800 |  1462 | 22120k|1192.9 |   374M |  50 |7285 |2404 | 870 |  30k|  1 |  48k|  34 | 9.000000e+00 |      --      |    Inf | unknown
3587.55/3597.00	c 
3587.55/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.55/3597.00	c Solving Time (sec) : 3596.99
3587.55/3597.00	c Solving Nodes      : 9861 (total of 18525 nodes in 2 runs)
3587.55/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.55/3597.00	c Dual Bound         : +9.00000000000000e+00
3587.55/3597.00	c Gap                : infinite
3587.55/3597.00	s UNKNOWN
3587.55/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.55/3597.00	c Total Time         :    3596.99
3587.55/3597.00	c   solving          :    3596.99
3587.55/3597.00	c   presolving       :       6.16 (included in solving)
3587.55/3597.00	c   reading          :       0.12 (included in solving)
3587.55/3597.00	c   copying          :       1.57 (65 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3587.55/3597.00	c Original Problem   :
3587.55/3597.00	c   Problem name     : HOME/instance-4432784-1721103750.opb
3587.55/3597.00	c   Variables        : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00	c   Constraints      : 9089 initial, 9089 maximal
3587.55/3597.00	c   Objective        : minimize, 9 non-zeros (abs.min = 1, abs.max = 1)
3587.55/3597.00	c Presolved Problem  :
3587.55/3597.00	c   Problem name     : t_HOME/instance-4432784-1721103750.opb
3587.55/3597.00	c   Variables        : 7285 (7285 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00	c   Constraints      : 2495 initial, 3081 maximal
3587.55/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.55/3597.00	c   Nonzeros         : 287215 constraint, 120135 clique table
3587.55/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.55/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   domcol           :       0.07       0.00      3          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualsparsify     :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   gateextraction   :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   implics          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   milp             :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   sparsify         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   trivial          :       0.00       0.00     16          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualfix          :       0.00       0.00     16          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   probing          :       1.29       0.00      2          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   symmetry         :       3.63       0.00      1        585          0          0          0          0          0        575          0          0
3587.55/3597.00	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   knapsack         :       0.22       0.00     30          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   setppc           :       0.01       0.00     30          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   linear           :       0.13       0.02     11          9          0          0          9          0       8416          0          0          0
3587.55/3597.00	c   orbitope         :       0.01       0.00     11        545          0          0          0          0          0          0          0          0
3587.55/3597.00	c   logicor          :       0.46       0.03      9          0          0          0          0          0        143          0          0        397
3587.55/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   components       :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.55/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.55/3597.00	c   benderslp        :          0          0          0          0      12929          0          0       1869          0          0          0          0          0          0          0
3587.55/3597.00	c   integral         :          0          0          0          0      12929          0          0       1869          0          0          0          0          0          0      25858
3587.55/3597.00	c   knapsack         :        627+       629         22     110880          0          0          0       1864    4661156        107    1360829       4416         53          0          0
3587.55/3597.00	c   setppc           :        120+       143         22     110773          0          0          0          3    1095613        122     235521          4          0          0          0
3587.55/3597.00	c   linear           :         10         10          0      97198          0          0          0          3      30094        210      36651          0          0          0          0
3587.55/3597.00	c   orbitope         :        575        575          0     110341          0          0          0          0     593713       1103     389372          0          0          0          0
3587.55/3597.00	c   logicor          :       1163+      1744         22      31821          0          0          0          0      19748       1136       6282          2          0          0          0
3587.55/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.55/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   integral         :       4.80       0.00       0.00       0.00       4.80       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   knapsack         :       6.14       0.00       0.06       4.22       0.00       0.00       0.00       0.08       1.78       0.00
3587.55/3597.00	c   setppc           :       1.76       0.00       0.00       1.53       0.00       0.00       0.00       0.00       0.22       0.00
3587.55/3597.00	c   linear           :       0.68       0.02       0.00       0.36       0.00       0.00       0.00       0.00       0.30       0.00
3587.55/3597.00	c   orbitope         :      38.98       0.00       0.00      38.89       0.00       0.00       0.00       0.00       0.04       0.05
3587.55/3597.00	c   logicor          :       1.35       0.03       0.01       1.24       0.00       0.00       0.00       0.00       0.08       0.00
3587.55/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.55/3597.00	c   dualfix          :          2          0          0          0
3587.55/3597.00	c   genvbounds       :          0          0          0          0
3587.55/3597.00	c   nlobbt           :          0          0          0          0
3587.55/3597.00	c   obbt             :          0          0          0          0
3587.55/3597.00	c   probing          :          0          0          0          0
3587.55/3597.00	c   pseudoobj        :          0          0          0          0
3587.55/3597.00	c   redcost          :          0          0          0          0
3587.55/3597.00	c   rootredcost      :          0          0          0          0
3587.55/3597.00	c   symmetry         :          0          0          0          0
3587.55/3597.00	c   vbounds          :      57011          0          0          0
3587.55/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.55/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3587.55/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.00	c   probing          :       1.29       0.00       1.29       0.00       0.00       0.00
3587.55/3597.00	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3587.55/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3587.55/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.55/3597.00	c   symmetry         :       3.66       0.00       3.63       0.03       0.00       0.00
3587.55/3597.00	c   vbounds          :       0.95       0.00       0.01       0.94       0.00       0.00
3587.55/3597.00	c Symmetry           :
3587.55/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.55/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.55/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.55/3597.00	c   shadow tree time :       0.00 s
3587.55/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.55/3597.00	c   propagation      :       0.46       2467       1919          -      12099      254.6          3       35.0          -          -          -
3587.55/3597.00	c   infeasible LP    :      25.26       6722       6546          -     142162      542.5          8      135.4        221      454.2          0
3587.55/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.55/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.55/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.55/3597.00	c   applied globally :       2.04          -          -          0      48758      441.5          -          -        221          -          -
3587.55/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.55/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.55/3597.00	c   cut pool         :       3.38          -       3755         42          -          -      17247    1294382          -          -          -          -          -    (maximal pool size:       6691)
3587.55/3597.00	c   aggregation      :       0.93       0.00         57         22          0          0      14071    1090479         96      34812      34802         10          0
3587.55/3597.00	c   > cmir           :          -          -          -          -          -          -          -    1081447          0      33936      33936          0          -
3587.55/3597.00	c   > flowcover      :          -          -          -          -          -          -          -       3361          0        385        385          0          -
3587.55/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -       5671         96        491        481         10          -
3587.55/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   clique           :       0.24       0.00         22         22          0          0         54        150          0         89         89          0          0
3587.55/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   gomory           :       1.07       0.00         55         20          0          0       3028     200813          0      13661      13661          0          0
3587.55/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -      85129          0       6463       6463          0          -
3587.55/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     115684          0       7198       7198          0          -
3587.55/3597.00	c   impliedbounds    :       0.07       0.00         57         22          0          0        122        570          0        514        514          0          0
3587.55/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   multilinear      :       0.00       0.00        142         22          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   rapidlearning    :      16.28       0.00         59          2          0          1          0          0          0          0          0          0          0
3587.66/3597.01	c   rlt              :       0.00       0.00         54         20          0          0          0          0          0          0          0          0          0
3587.66/3597.01	c   zerohalf         :       0.22       0.00         55         22          0          0        156       2370         88        632        587         45          0
3587.66/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.66/3597.01	c   hybrid           :       2.50       0.00       3705         22      49761          0    1249227        669          0      30527
3587.66/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.66/3597.01	c   problem variables:       0.00          -          0          0
3587.66/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.66/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c   relpscost        :       4.79       0.00      12929          0          0          0          0          0          0      25858
3587.66/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.66/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.66/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.66/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.66/3597.01	c   strong branching :       0.00          -          -          0          0
3587.66/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.66/3597.01	c   adaptivediving   :      11.77       0.00         26          0          0
3587.66/3597.01	c   alns             :       4.64       0.00          4          0          0
3587.66/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.66/3597.01	c   clique           :       0.05       0.00          1          0          0
3587.66/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.66/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.66/3597.01	c   conflictdiving   :      79.67       0.00        119          0          0
3587.66/3597.01	c   crossover        :       0.01       0.00          0          0          0
3587.66/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.66/3597.01	c   distributiondivin:      74.49       0.00        118          0          0
3587.66/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.66/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.66/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.66/3597.01	c   feasjump         :       0.35       0.00          2          0          0
3587.66/3597.01	c   feaspump         :      17.78       0.00         59          0          0
3587.66/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.66/3597.01	c   fracdiving       :      84.16       0.00        119          0          0
3587.66/3597.01	c   gins             :       0.00       0.00          0          0          0
3587.66/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.66/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.66/3597.01	c   indicator        :       0.01       0.00          0          0          0
3587.66/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.66/3597.01	c   indoneopt        :       0.01       0.00          0          0          0
3587.66/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.66/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.66/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.66/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.66/3597.01	c   linesearchdiving :      88.64       0.00        118          0          0
3587.66/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.66/3597.01	c   locks            :       0.05       0.00          1          0          0
3587.66/3597.01	c   lpface           :       0.17       0.00          0          0          0
3587.66/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.66/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.66/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.66/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.66/3597.01	c   objpscostdiving  :      21.55       0.00         23          0          0
3587.66/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.66/3597.01	c   ofins            :       0.01       0.00          0          0          0
3587.66/3597.01	c   oneopt           :       0.01       0.00          0          0          0
3587.66/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.66/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.66/3597.01	c   pscostdiving     :      59.67       0.00        119          0          0
3587.66/3597.01	c   randrounding     :       1.16       0.00       1879          0          0
3587.66/3597.01	c   rens             :       0.07       0.00          2          0          0
3587.66/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.66/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.66/3597.01	c   rins             :       0.01       0.00          0          0          0
3587.66/3597.01	c   rootsoldiving    :      32.90       0.00         25          0          0
3587.66/3597.01	c   rounding         :       0.17       0.00       1780          0          0
3587.66/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.66/3597.01	c   shiftandpropagate:       0.17       0.00          2          0          0
3587.66/3597.01	c   shifting         :       2.22       0.00        982          0          0
3587.66/3597.01	c   simplerounding   :       0.01       0.00          0          0          0
3587.66/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.66/3597.01	c   subnlp           :       0.01       0.00          0          0          0
3587.66/3597.01	c   trivial          :       0.01       0.00          4          0          0
3587.66/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.66/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.66/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.66/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.66/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.66/3597.01	c   vbounds          :       0.35       0.00          2          0          0
3587.66/3597.01	c   veclendiving     :      72.38       0.00        118          0          0
3587.66/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.66/3597.01	c   zirounding       :       0.05       0.00       1000          0          0
3587.66/3597.01	c   other solutions  :          -          -          -          0          -
3587.66/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.66/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.66/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.66/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.66/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.66/3597.01	c   primal LP        :       3.10       1940          0       0.00       0.00       3.10       1940
3587.66/3597.01	c   dual LP          :    2934.43      21479   18268600     851.96    6225.60       0.05         36
3587.66/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.66/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.66/3597.01	c   resolve instable :       4.90         29      40834    1408.07    8325.39
3587.66/3597.01	c   diving/probing LP:     497.18       8291    3965604     478.30    7976.22
3587.66/3597.01	c   strong branching :       3.17         34      14559     428.21    4591.41          -          -         15
3587.66/3597.01	c     (at root node) :          -         34      14559     428.21          -
3587.66/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.66/3597.01	c B&B Tree           :
3587.66/3597.01	c   number of runs   :          2
3587.66/3597.01	c   nodes            :       9861 (6731 internal, 3130 leaves)
3587.66/3597.01	c   feasible leaves  :          0
3587.66/3597.01	c   infeas. leaves   :       3129
3587.66/3597.01	c   objective leaves :          0
3587.66/3597.01	c   nodes (total)    :      18525 (12929 internal, 5596 leaves)
3587.66/3597.01	c   nodes left       :       1476
3587.66/3597.01	c   max depth        :         50
3587.66/3597.01	c   max depth (total):         60
3587.66/3597.01	c   backtracks       :       2186 (22.2%)
3587.66/3597.01	c   early backtracks :          0 (0.0%)
3587.66/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.66/3597.01	c   delayed cutoffs  :       2127
3587.66/3597.01	c   repropagations   :       4976 (18581 domain reductions, 425 cutoffs)
3587.66/3597.01	c   avg switch length:       4.06
3587.66/3597.01	c   switching time   :       8.87
3587.66/3597.01	c Root Node          :
3587.66/3597.01	c   First LP value   : +9.00000000000000e+00
3587.66/3597.01	c   First LP Iters   :       1350 (16840.48 Iter/sec)
3587.66/3597.01	c   First LP Time    :       0.08
3587.66/3597.01	c   Final Dual Bound : +9.00000000000000e+00
3587.66/3597.01	c   Final Root Iters :      96155
3587.66/3597.01	c   Root LP Estimate : +9.02859457086897e+00
3587.66/3597.01	c Solution           :
3587.66/3597.01	c   Solutions found  :          0 (0 improvements)
3587.66/3597.01	c   Primal Bound     :          -
3587.66/3597.01	c   Dual Bound       : +9.00000000000000e+00
3587.66/3597.01	c   Gap              :   infinite
3587.66/3597.01	c Integrals          :      Total       Avg%
3587.66/3597.01	c   primal-dual      :  359699.45     100.00
3587.66/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.66/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.66/3597.08	c Time complete: 3587.74.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59999 MiB free)
  memory of node 1: 64473 MiB (55676 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=831234, runsolver pid=831231

[startup+0.100217 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118345520/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=69432 memory=28912 CPUtime=0.1 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 4316 0 0 0 9 1 0 0 20 0 1 0 162532160 71098368 7228 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 17358 7228 3245 3540 0 5615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 28912 KiB

[startup+0.212814 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118218148/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=97788 memory=57872 CPUtime=0.21 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 11203 0 0 0 18 3 0 0 20 0 1 0 162532160 100134912 14468 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 24447 14468 3597 3540 0 12704 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97788 KiB
Current children cumulated memory: 57872 KiB

[startup+0.312907 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118124936/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=102764 memory=61884 CPUtime=0.31 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 12170 0 0 0 28 3 0 0 20 0 1 0 162532160 105230336 15471 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 25691 15471 3629 3540 0 13948 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102764 KiB
Current children cumulated memory: 61884 KiB

[startup+0.700325 s]
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=117904632/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=123428 memory=82120 CPUtime=0.68 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 18937 0 0 0 63 5 0 0 20 0 1 0 162532160 126390272 20530 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 30857 20530 3788 3540 0 19114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123428 KiB
Current children cumulated memory: 82120 KiB

[startup+1.50034 s]
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=117564736/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=156376 memory=101972 CPUtime=1.48 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 23899 0 0 0 142 6 0 0 20 0 1 0 162532160 160129024 25493 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 39094 25493 3804 3540 0 27351 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156376 KiB
Current children cumulated memory: 101972 KiB

[startup+3.11161 s]
/proc/loadavg: 4.04 4.11 4.12 6/240 831239
/proc/meminfo: memFree=117312852/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=164532 memory=110684 CPUtime=3.09 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 26104 0 0 0 302 7 0 0 20 0 1 0 162532160 168480768 27671 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 41133 27671 3804 3540 0 29390 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 164532 KiB
Current children cumulated memory: 110684 KiB

[startup+6.30028 s]
/proc/loadavg: 4.04 4.10 4.11 5/243 831283
/proc/meminfo: memFree=117073184/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=241432 memory=186416 CPUtime=6.27 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 44970 0 0 0 617 10 0 0 20 0 1 0 162532160 247226368 46604 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 60391 46604 3868 3540 0 48648 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 241432 KiB
Current children cumulated memory: 186416 KiB

[startup+12.7003 s]
/proc/loadavg: 4.03 4.10 4.11 5/243 831283
/proc/meminfo: memFree=114746992/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=328660 memory=272956 CPUtime=12.65 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 76241 0 0 0 1250 15 0 0 20 0 1 0 162532160 336547840 68239 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 82165 68239 4000 3540 0 70422 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 328660 KiB
Current children cumulated memory: 272956 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.13 4.12 5/243 831332
/proc/meminfo: memFree=110550752/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=340688 memory=284924 CPUtime=25.4 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 92896 0 0 0 2519 21 0 0 20 0 1 0 162532160 348864512 71231 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 85172 71231 4000 3540 0 73429 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 284924 KiB

[startup+51.1124 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 831381
/proc/meminfo: memFree=103034284/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=340688 memory=284924 CPUtime=50.93 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 92915 0 0 0 5071 22 0 0 20 0 1 0 162532160 348864512 71231 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 85172 71231 4000 3540 0 73429 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 284924 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 4.18 4.14 5/246 831491
/proc/meminfo: memFree=124366476/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=350388 memory=296072 CPUtime=101.96 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 95420 0 0 0 10171 25 0 0 20 0 1 0 162532160 358797312 74018 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 87597 74018 4000 3540 0 75854 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 350388 KiB
Current children cumulated memory: 296072 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.18 4.14 5/246 831502
/proc/meminfo: memFree=124292128/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=358488 memory=307480 CPUtime=161.78 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 97516 0 0 0 16152 26 0 0 20 0 1 0 162532160 367091712 76870 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 89622 76870 4000 3540 0 77879 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 358488 KiB
Current children cumulated memory: 307480 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.14 5/245 831896
/proc/meminfo: memFree=124274508/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=365044 memory=314980 CPUtime=221.6 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 99296 0 0 0 22134 26 0 0 20 0 1 0 162532160 373805056 78745 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 91261 78745 4000 3540 0 79518 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 365044 KiB
Current children cumulated memory: 314980 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/245 831906
/proc/meminfo: memFree=124205184/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=371688 memory=326388 CPUtime=281.45 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 101025 0 0 0 28118 27 0 0 20 0 1 0 162532160 380608512 81597 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 92922 81597 4000 3540 0 81179 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 371688 KiB
Current children cumulated memory: 326388 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/245 831916
/proc/meminfo: memFree=124138904/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=371064 CPUtime=341.29 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 113937 0 0 0 34100 29 0 0 20 0 1 0 162532160 428601344 92766 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 92766 4000 3540 0 92896 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 418556 KiB
Current children cumulated memory: 371064 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/244 832141
/proc/meminfo: memFree=124443520/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=372036 CPUtime=401.13 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 114177 0 0 0 40084 29 0 0 20 0 1 0 162532160 428601344 93009 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 93009 4179 3540 0 92896 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 418556 KiB
Current children cumulated memory: 372036 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/244 832196
/proc/meminfo: memFree=124349292/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=373868 CPUtime=460.94 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 114990 0 0 0 46065 29 0 0 20 0 1 0 162532160 428601344 93467 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 93467 4179 3540 0 92896 0
Current children cumulated CPU time: 460.94 s

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

/proc/loadavg: 4.36 4.27 4.20 5/244 833399
/proc/meminfo: memFree=123976632/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=500456 memory=455880 CPUtime=3154.02 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 195402 0 0 0 315357 45 0 0 20 0 1 0 162532160 512466944 113970 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 125114 113970 4195 3540 0 113371 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 500456 KiB
Current children cumulated memory: 455880 KiB

[startup+3222.3 s]
/proc/loadavg: 4.87 4.44 4.26 5/242 833410
/proc/meminfo: memFree=123977960/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494324 memory=449484 CPUtime=3213.88 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197276 0 0 0 321342 46 0 0 20 0 1 0 162532160 506187776 112371 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123581 112371 4195 3540 0 111838 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 494324 KiB
Current children cumulated memory: 449484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.40 4.26 5/242 833420
/proc/meminfo: memFree=123977060/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494324 memory=449908 CPUtime=3273.73 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197543 0 0 0 327327 46 0 0 20 0 1 0 162532160 506187776 112477 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123581 112477 4195 3540 0 111838 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 494324 KiB
Current children cumulated memory: 449908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.37 4.26 5/242 833430
/proc/meminfo: memFree=123976080/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494460 memory=450100 CPUtime=3333.58 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197758 0 0 0 333312 46 0 0 20 0 1 0 162532160 506327040 112525 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123615 112525 4195 3540 0 111872 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 494460 KiB
Current children cumulated memory: 450100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.30 4.24 5/242 833441
/proc/meminfo: memFree=123973064/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=496548 memory=452128 CPUtime=3393.43 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 198431 0 0 0 339297 46 0 0 20 0 1 0 162532160 508465152 113032 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124137 113032 4195 3540 0 112394 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 496548 KiB
Current children cumulated memory: 452128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.27 4.24 5/242 833451
/proc/meminfo: memFree=123963500/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=496992 memory=452364 CPUtime=3453.28 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 198714 0 0 0 345282 46 0 0 20 0 1 0 162532160 508919808 113091 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124248 113091 4195 3540 0 112505 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 496992 KiB
Current children cumulated memory: 452364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.25 4.23 5/245 833467
/proc/meminfo: memFree=123955340/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3513.13 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199077 0 0 0 351267 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.24 4.22 6/245 833479
/proc/meminfo: memFree=123953960/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3572.98 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 357252 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

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

# cumulated CPU time of all completed processes:  user=3587.28 s, system=0.472782 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.24 4.22 5/245 833479
/proc/meminfo: memFree=123953260/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3574.69 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 357423 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.23 4.22 5/245 833480
/proc/meminfo: memFree=123952508/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3581.06 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358060 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3581.06 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.23 4.22 5/245 833480
/proc/meminfo: memFree=123951824/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3584.26 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358380 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950940/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3585.85 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358539 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950688/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3586.66 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358620 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950688/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3587.45 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358699 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

[startup+3597 s]*
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950716/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3587.66 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358720 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB

Child status: 0

Real time (s): 3597.09
CPU time (s): 3587.75
CPU user time (s): 3587.28
CPU system time (s): 0.472782
CPU usage (%): 99.7404
Max. virtual memory (cumulated for all children) (KiB): 502608
Max. memory (cumulated for all children) (KiB): 455956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.28
system time used= 0.472782
maximum resident set size= 456200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199286
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= 51
involuntary context switches= 2598


# summary of solver processes directly reported to runsolver:
#   pid: 831234
#   total CPU time (s): 3587.75
#   total CPU user time (s): 3587.28
#   total CPU system time (s): 0.472782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9993 second user time and 33.7069 second system time

The end

Launcher Data

Begin job on nodeC011 at 2024-07-16 06:22:42
IDJOB=4432784
IDBENCH=148768
IDSOLVER=3059
FILE ID=nodeC011/4432784-1721103750
RUNJOBID= nodeC011-1721096551-826781
SLURM_JOB_ID= 7505610
Free space on /tmp= 723460 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4432784-1721103750/watcher-4432784-1721103750 -o /tmp/evaluation-result-4432784-1721103750/solver-4432784-1721103750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721096551-826781 --watchdog 3760  pbscip -f HOME/instance-4432784-1721103750.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=693946648

nodeC011.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	: 0xb00001f
cpu MHz		: 3667.659
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3655.753
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.303
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.253
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.123
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3631.804
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.131
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.310
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118492668 kB
MemAvailable:   124055948 kB
Buffers:          423636 kB
Cached:          5912332 kB
SwapCached:            0 kB
Active:           845532 kB
Inactive:       11626836 kB
Active(anon):       1428 kB
Inactive(anon):  6172692 kB
Active(file):     844104 kB
Inactive(file):  5454144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            327180 kB
Writeback:             0 kB
AnonPages:       6136176 kB
Mapped:           135840 kB
Shmem:             37704 kB
KReclaimable:     210460 kB
Slab:             321372 kB
SReclaimable:     210460 kB
SUnreclaim:       110912 kB
KernelStack:        3872 kB
PageTables:        21380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6561128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1820672 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC011 at 2024-07-16 07:22:40