Trace number 4425160

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 NameAnswerCPU timeWall clock time
SCIP 2024-07-07MSAT 3586.29 3597.83

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
academics/normalized-slangford-3-11_wcsp.wbo
MD5SUMd1e83745c12c7ec680c949b5ab02beb5
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark434.506
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints53185
Number of soft constraints53152
Number of constraints which are clauses53152
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 976
Min constraint cost 1
Max constraint cost 976
Sum of constraints costs 37740146
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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-4425160-1720885365.wbo>
0.31/0.37	c original problem has 54241 variables (54241 bin, 0 int, 0 impl, 0 cont) and 106338 constraints
0.31/0.37	c problem read in 0.36
0.99/1.07	c presolving:
1.28/1.37	c (round 1, fast)       59532 del vars, 29766 del conss, 0 add conss, 59532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 132 clqs
1.38/1.42	c (round 2, fast)       59532 del vars, 29766 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 1698 clqs
1.38/1.48	c (round 3, exhaustive) 59532 del vars, 30492 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23386 impls, 1698 clqs
1.48/1.57	c (round 4, exhaustive) 59532 del vars, 30492 del conss, 0 add conss, 82918 chg bounds, 0 chg sides, 0 chg coeffs, 29074 upgd conss, 23386 impls, 1698 clqs
3.47/3.55	c    (3.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.68/3.72	c    (3.7s) no symmetry present (symcode time: 0.06)
3.68/3.78	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
3.68/3.78	c  59557 deleted vars, 30492 deleted constraints, 0 added constraints, 82918 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.68/3.78	c  23386 implications, 1698 cliques
3.68/3.78	c presolved problem has 47836 variables (24475 bin, 0 int, 23361 impl, 0 cont) and 75846 constraints
3.68/3.78	c       1 constraints of type <knapsack>
3.68/3.78	c   29073 constraints of type <setppc>
3.68/3.78	c   23386 constraints of type <linear>
3.68/3.78	c   23386 constraints of type <indicator>
3.68/3.78	c transformed objective value is always integral (scale: 1)
3.68/3.78	c Presolving Time: 3.19
3.68/3.78	c - non default parameters ----------------------------------------------------------------------
3.68/3.78	c # SCIP version 10.0.0
3.68/3.78	c 
3.68/3.78	c # maximal time in seconds to run
3.68/3.78	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.68/3.78	c limits/time = 3596.993083
3.68/3.78	c 
3.68/3.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.68/3.78	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.68/3.78	c limits/memory = 27900
3.68/3.78	c 
3.68/3.78	c # belongs reading time to solving time?
3.68/3.78	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.68/3.78	c timing/reading = TRUE
3.68/3.78	c 
3.68/3.78	c -----------------------------------------------------------------------------------------------
3.68/3.78	c start solving
3.77/3.80	c 
5.47/5.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.47/5.54	c   5.5s|     1 |     0 |    66 |     - |   596M |   0 |  47k|  75k|  75k|   0 |  0 | 127 |   0 | 0.000000e+00 |      --      |    Inf | unknown
15.06/15.11	c  15.1s|     1 |     0 |  1064 |     - |   625M |   0 |  47k|  75k|  75k|   4 |  1 | 127 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.55/16.62	c  16.6s|     1 |     0 |  1079 |     - |   633M |   0 |  47k|  75k|  75k|   9 |  2 | 129 |   0 | 0.000000e+00 |      --      |    Inf | unknown
18.44/18.53	c  18.5s|     1 |     0 |  1120 |     - |   642M |   0 |  47k|  75k|  75k|  14 |  3 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.63/20.76	c  20.7s|     1 |     0 |  1158 |     - |   652M |   0 |  47k|  75k|  75k|  26 |  4 | 133 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.33/22.41	c  22.4s|     1 |     0 |  1224 |     - |   663M |   0 |  47k|  75k|  75k|  36 |  5 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
24.22/24.39	c  24.4s|     1 |     0 |  1267 |     - |   673M |   0 |  47k|  75k|  75k|  42 |  6 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
25.93/26.06	c  26.0s|     1 |     0 |  1359 |     - |   686M |   0 |  47k|  75k|  75k|  51 |  7 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
27.62/27.75	c  27.7s|     1 |     0 |  1415 |     - |   698M |   0 |  47k|  75k|  75k|  61 |  8 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.32/28.40	c  28.4s|     1 |     0 |  1449 |     - |   709M |   0 |  47k|  75k|  75k|  65 |  9 | 138 |   0 | 0.000000e+00 |      --      |    Inf | unknown
29.61/29.72	c  29.7s|     1 |     0 |  1507 |     - |   720M |   0 |  47k|  75k|  75k|  73 | 10 | 139 |   0 | 0.000000e+00 |      --      |    Inf | unknown
29.71/29.85	c  29.8s|     1 |     0 |  1538 |     - |   728M |   0 |  47k|  75k|  75k|  80 | 11 | 140 |   0 | 0.000000e+00 |      --      |    Inf | unknown
35.99/36.19	c  36.2s|     1 |     0 |  3220 |     - |   735M |   0 |  47k|  76k|  75k|  80 | 11 | 183 |  24 | 0.000000e+00 |      --      |    Inf | unknown
36.18/36.38	c  36.4s|     1 |     0 |  3272 |     - |   743M |   0 |  47k|  76k|  75k|  86 | 12 | 188 |  24 | 0.000000e+00 |      --      |    Inf | unknown
36.28/36.45	c  36.4s|     1 |     0 |  3280 |     - |   744M |   0 |  47k|  76k|  75k|  87 | 13 | 190 |  24 | 0.000000e+00 |      --      |    Inf | unknown
36.78/37.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
36.78/37.01	c  37.0s|     1 |     0 |  3337 |     - |   745M |   0 |  47k|  75k|  75k|  87 | 13 | 196 |  34 | 0.000000e+00 |      --      |    Inf | unknown
36.99/37.18	c  37.2s|     1 |     0 |  3386 |     - |   753M |   0 |  47k|  75k|  75k|  93 | 14 | 196 |  34 | 0.000000e+00 |      --      |    Inf | unknown
37.08/37.25	c  37.2s|     1 |     0 |  3388 |     - |   753M |   0 |  47k|  75k|  75k|  96 | 15 | 198 |  34 | 0.000000e+00 |      --      |    Inf | unknown
38.07/38.23	c  38.2s|     1 |     0 |  3421 |     - |   754M |   0 |  47k|  75k|  75k|  96 | 15 | 205 |  47 | 0.000000e+00 |      --      |    Inf | unknown
38.17/38.37	c  38.4s|     1 |     0 |  3482 |     - |   761M |   0 |  47k|  75k|  75k| 103 | 16 | 206 |  47 | 0.000000e+00 |      --      |    Inf | unknown
38.27/38.48	c  38.5s|     1 |     0 |  3489 |     - |   763M |   0 |  47k|  75k|  75k| 104 | 17 | 208 |  47 | 0.000000e+00 |      --      |    Inf | unknown
40.07/40.25	c  40.2s|     1 |     0 |  3511 |     - |   764M |   0 |  47k|  74k|  75k| 104 | 17 | 213 |  67 | 0.000000e+00 |      --      |    Inf | unknown
40.17/40.38	c  40.4s|     1 |     0 |  3533 |     - |   771M |   0 |  47k|  74k|  75k| 111 | 18 | 215 |  67 | 0.000000e+00 |      --      |    Inf | unknown
40.27/40.46	c  40.5s|     1 |     0 |  3539 |     - |   772M |   0 |  47k|  74k|  75k| 113 | 19 | 216 |  67 | 0.000000e+00 |      --      |    Inf | unknown
42.06/42.26	c  42.3s|     1 |     0 |  3557 |     - |   773M |   0 |  47k|  74k|  75k| 113 | 19 | 221 |  88 | 0.000000e+00 |      --      |    Inf | unknown
42.16/42.37	c  42.4s|     1 |     0 |  3599 |     - |   780M |   0 |  47k|  74k|  75k| 120 | 20 | 223 |  88 | 0.000000e+00 |      --      |    Inf | unknown
42.26/42.45	c  42.4s|     1 |     0 |  3607 |     - |   781M |   0 |  47k|  74k|  75k| 122 | 21 | 225 |  88 | 0.000000e+00 |      --      |    Inf | unknown
43.56/43.76	c  43.8s|     1 |     0 |  3628 |     - |   783M |   0 |  47k|  74k|  75k| 122 | 21 | 228 | 103 | 0.000000e+00 |      --      |    Inf | unknown
43.75/43.90	c  43.9s|     1 |     0 |  3650 |     - |   790M |   0 |  47k|  74k|  75k| 129 | 22 | 230 | 103 | 0.000000e+00 |      --      |    Inf | unknown
43.75/44.01	c  44.0s|     1 |     0 |  3665 |     - |   791M |   0 |  47k|  74k|  75k| 131 | 23 | 233 | 103 | 0.000000e+00 |      --      |    Inf | unknown
45.15/45.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
45.15/45.38	c  45.4s|     1 |     0 |  3722 |     - |   792M |   0 |  47k|  73k|  75k| 131 | 23 | 239 | 121 | 0.000000e+00 |      --      |    Inf | unknown
45.35/45.54	c  45.5s|     1 |     0 |  3785 |     - |   799M |   0 |  47k|  73k|  75k| 140 | 24 | 241 | 121 | 0.000000e+00 |      --      |    Inf | unknown
45.45/45.60	c  45.6s|     1 |     0 |  3803 |     - |   800M |   0 |  47k|  73k|  75k| 141 | 25 | 242 | 121 | 0.000000e+00 |      --      |    Inf | unknown
46.55/46.74	c  46.7s|     1 |     0 |  3845 |     - |   801M |   0 |  47k|  73k|  75k| 141 | 25 | 247 | 136 | 0.000000e+00 |      --      |    Inf | unknown
46.65/46.88	c  46.9s|     1 |     0 |  3865 |     - |   809M |   0 |  47k|  73k|  75k| 151 | 26 | 248 | 136 | 0.000000e+00 |      --      |    Inf | unknown
46.75/46.98	c  47.0s|     1 |     0 |  3887 |     - |   810M |   0 |  47k|  73k|  75k| 154 | 27 | 250 | 136 | 0.000000e+00 |      --      |    Inf | unknown
47.74/47.95	c  47.9s|     1 |     2 |  3905 |     - |   811M |   0 |  47k|  73k|  75k| 154 | 27 | 253 | 146 | 0.000000e+00 |      --      |    Inf | unknown
282.51/283.41	c   283s|   100 |    41 | 15624 | 138.1 |   987M |  21 |  47k|  75k|   0 | 348 |  0 |6075 |3135 | 0.000000e+00 |      --      |    Inf |  38.21%
415.67/416.98	c   417s|   200 |    87 | 30025 | 141.1 |  1014M |  32 |  47k|  76k|  75k| 394 |  2 |7727 |3851 | 0.000000e+00 |      --      |    Inf |  38.28%
449.57/450.94	c   451s|   300 |   131 | 38987 | 123.9 |  1048M |  38 |  47k|  76k|  75k| 401 |  1 |8470 |4060 | 0.000000e+00 |      --      |    Inf |  38.28%
517.20/518.73	c   519s|   400 |   165 | 46020 | 110.4 |  1079M |  44 |  47k|  76k|  75k| 430 |  1 |8918 |4206 | 0.000000e+00 |      --      |    Inf |  38.28%
589.02/590.73	c   591s|   500 |   199 | 56895 | 110.1 |  1161M |  47 |  47k|  77k|  75k| 527 |  3 |9702 |4436 | 0.000000e+00 |      --      |    Inf |  38.28%
630.01/631.86	o 858
630.01/631.86	c * 632s|   542 |   174 | 59823 | 107.0 |strongbr|  52 |  47k|  77k|  75k| 560 |  1 |  10k|4519 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.79%
656.74/658.65	c   659s|   600 |   196 | 65180 | 105.6 |  1207M |  55 |  47k|  74k|   0 | 608 |  0 |  10k|4674 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
691.55/693.51	c   694s|   700 |   226 | 73048 | 101.7 |  1236M |  59 |  47k|  74k|  75k| 620 |  5 |  11k|4827 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
716.39/718.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
716.39/718.48	c   718s|   800 |   255 | 80770 |  98.6 |  1265M |  66 |  47k|  74k|   0 | 642 |  0 |  12k|4967 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
734.23/736.39	c   736s|   900 |   297 | 88008 |  95.7 |  1293M |  66 |  47k|  73k|   0 | 690 |  0 |  12k|5071 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
772.83/775.01	c   775s|  1000 |   349 |102430 | 100.6 |  1327M |  66 |  47k|  73k|  75k| 754 |  1 |  13k|5249 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
790.38/792.64	c   793s|  1100 |   415 |114273 | 102.2 |  1354M |  71 |  47k|  73k|  75k| 822 |  1 |  13k|5377 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
808.02/810.33	c   810s|  1200 |   467 |125737 | 103.2 |  1402M |  72 |  47k|  73k|  75k| 855 |  1 |  13k|5449 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
836.44/838.90	c   839s|  1300 |   529 |135870 | 103.1 |  1441M |  73 |  47k|  73k|   0 | 884 |  0 |  14k|5540 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
867.57/870.10	c   870s|  1400 |   593 |152730 | 107.8 |  1469M |  73 |  47k|  73k|  75k| 943 |  2 |  14k|5679 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
925.42/928.04	c   928s|  1500 |   641 |168160 | 110.9 |  1557M |  73 |  47k|  73k|  75k|1128 |  1 |  15k|5877 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
972.57/975.32	c   975s|  1600 |   683 |182413 | 112.9 |  1614M |  73 |  47k|  73k|  75k|1316 |  1 |  15k|5987 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
1000.48/1003.34	c  1003s|  1700 |   729 |201241 | 117.3 |  1670M |  73 |  47k|  73k|  75k|1499 |  1 |  15k|6060 | 0.000000e+00 | 8.580000e+02 |    Inf |  31.83%
1034.29/1037.20	o 782
1034.29/1037.20	c d1037s|  1789 |   696 |216935 | 120.2 |linesear|  73 |  47k|  73k|  75k|   0 |  1 |  16k|6254 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1035.79/1038.72	c  1039s|  1800 |   703 |218311 | 120.3 |  1684M |  73 |  47k|  72k|  75k|1550 |  2 |  16k|6262 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1051.74/1054.76	c  1055s|  1900 |   761 |232068 | 121.2 |  1710M |  73 |  47k|  71k|  75k|1580 |  3 |  16k|6327 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1069.29/1072.36	c  1072s|  2000 |   835 |244031 | 121.1 |  1734M |  73 |  47k|  71k|  75k|1641 |  1 |  16k|6397 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1086.24/1089.39	c  1089s|  2100 |   903 |252371 | 119.3 |  1749M |  73 |  47k|  71k|  75k|1687 |  2 |  16k|6484 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1113.87/1117.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1113.87/1117.07	c  1117s|  2200 |   961 |262570 | 118.5 |  1783M |  74 |  47k|  71k|  75k|1770 |  1 |  17k|6569 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1141.79/1145.10	c  1145s|  2300 |  1031 |269977 | 116.6 |  1808M |  74 |  47k|  71k|  75k|2015 |  1 |  17k|6624 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1178.48/1181.82	c  1182s|  2400 |  1086 |281243 | 116.4 |  1837M |  74 |  47k|  71k|   0 |2194 |  0 |  17k|6710 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1204.11/1207.51	c  1208s|  2500 |  1144 |294103 | 116.9 |  1866M |  74 |  47k|  71k|  75k|2287 |  1 |  17k|6779 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1218.46/1221.91	c  1222s|  2600 |  1192 |305918 | 117.0 |  1894M |  74 |  47k|  71k|  75k|2324 |  1 |  17k|6836 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1238.61/1242.11	c  1242s|  2700 |  1246 |314107 | 115.7 |  1913M |  74 |  47k|  71k|  75k|2446 |  1 |  17k|6891 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1273.21/1276.89	c  1277s|  2800 |  1296 |324374 | 115.2 |  1935M |  74 |  47k|  71k|  75k|2644 |  1 |  18k|6956 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1296.94/1300.64	c  1301s|  2900 |  1362 |333872 | 114.5 |  1951M |  75 |  47k|  71k|  75k|2711 |  1 |  18k|7028 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1315.40/1319.17	c  1319s|  3000 |  1410 |346637 | 114.9 |  1987M |  75 |  47k|  71k|  75k|2752 |  4 |  18k|7100 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1347.22/1351.03	c  1351s|  3100 |  1456 |356226 | 114.3 |  2012M |  75 |  47k|  71k|  75k|2798 |  2 |  19k|7174 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1366.45/1370.30	c  1370s|  3200 |  1502 |366416 | 113.9 |  2036M |  75 |  47k|  71k|   0 |2850 |  0 |  19k|7243 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1382.11/1386.02	c  1386s|  3300 |  1548 |376363 | 113.5 |  2060M |  75 |  47k|  71k|  75k|2855 |  2 |  20k|7336 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1397.46/1401.46	c  1401s|  3400 |  1594 |387073 | 113.3 |  2088M |  75 |  47k|  71k|  75k|2896 |  1 |  20k|7367 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1412.61/1416.61	c  1417s|  3500 |  1654 |398346 | 113.3 |  2103M |  75 |  47k|  71k|   0 |2919 |  0 |  20k|7458 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1432.85/1436.90	c  1437s|  3600 |  1720 |411317 | 113.7 |  2122M |  75 |  47k|  71k|   0 |2964 |  0 |  20k|7550 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1453.78/1457.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1453.78/1457.91	c  1458s|  3700 |  1770 |421169 | 113.3 |  2148M |  75 |  47k|  71k|  75k|3052 |  1 |  20k|7611 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1469.65/1473.84	c  1474s|  3800 |  1826 |432635 | 113.4 |  2167M |  75 |  47k|  71k|  75k|3104 |  1 |  21k|7689 | 0.000000e+00 | 7.820000e+02 |    Inf |  36.13%
1477.52/1481.73	o 701
1477.52/1481.73	c *1482s|  3822 |  1635 |436887 | 113.8 |strongbr|  75 |  47k|  71k|  75k|3116 |  7 |  21k|7732 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1499.16/1503.44	c  1503s|  3900 |  1659 |443141 | 113.2 |  2199M |  75 |  47k|  69k|  75k|3213 |  1 |  21k|7785 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1517.60/1521.92	c  1522s|  4000 |  1712 |453989 | 113.0 |  2221M |  75 |  47k|  69k|  75k|3295 |  1 |  21k|7869 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1554.10/1558.53	c  1559s|  4100 |  1753 |466968 | 113.4 |  2248M |  75 |  47k|  69k|  75k|3406 |  1 |  21k|7972 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1578.64/1583.16	c  1583s|  4200 |  1797 |476429 | 113.0 |  2293M |  75 |  47k|  69k|  75k|3516 |  1 |  22k|8058 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1613.32/1617.98	c  1618s|  4300 |  1849 |494289 | 114.5 |  2321M |  75 |  47k|  69k|  75k|3674 |  1 |  22k|8177 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1632.97/1637.68	c  1638s|  4400 |  1897 |503689 | 114.1 |  2347M |  75 |  47k|  69k|  75k|3719 |  1 |  23k|8280 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1645.53/1650.20	c  1650s|  4500 |  1933 |511624 | 113.3 |  2365M |  75 |  47k|  69k|  75k|3742 |  2 |  23k|8367 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1664.28/1669.05	c  1669s|  4600 |  1991 |520888 | 112.8 |  2377M |  75 |  47k|  69k|  75k|3809 |  1 |  23k|8423 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1691.00/1695.80	c  1696s|  4700 |  2055 |528749 | 112.1 |  2402M |  75 |  47k|  69k|  75k|3920 |  1 |  23k|8469 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1710.34/1715.23	c  1715s|  4800 |  2109 |537853 | 111.7 |  2424M |  75 |  47k|  69k|  75k|3975 |  2 |  24k|8572 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1734.97/1740.00	c  1740s|  4900 |  2155 |547979 | 111.5 |  2453M |  75 |  47k|  69k|   0 |4072 |  0 |  24k|8643 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1753.03/1758.05	c  1758s|  5000 |  2213 |562999 | 112.2 |  2470M |  75 |  47k|  69k|  75k|4143 |  1 |  25k|8730 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1771.97/1777.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1771.97/1777.06	c  1777s|  5100 |  2259 |574744 | 112.3 |  2509M |  75 |  47k|  69k|   0 |4242 |  0 |  25k|8824 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1797.19/1802.38	c  1802s|  5200 |  2301 |582481 | 111.7 |  2534M |  75 |  47k|  69k|   0 |4336 |  0 |  25k|8907 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1835.38/1840.67	c  1841s|  5300 |  2347 |591128 | 111.2 |  2567M |  75 |  47k|  69k|  75k|4616 |  4 |  26k|8979 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1856.83/1862.14	c  1862s|  5400 |  2388 |604496 | 111.6 |  2591M |  75 |  47k|  69k|  75k|4702 |  2 |  26k|9078 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1880.14/1885.58	c  1886s|  5500 |  2432 |615132 | 111.5 |  2622M |  75 |  47k|  69k|  75k|4793 |  1 |  26k|9195 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1914.94/1920.45	c  1920s|  5600 |  2469 |624624 | 111.2 |  2663M |  75 |  47k|  69k|  75k|4915 |  2 |  27k|9314 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1938.77/1944.33	c  1944s|  5700 |  2509 |634278 | 111.0 |  2698M |  75 |  47k|  69k|  75k|5070 |  1 |  27k|9368 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1954.02/1959.65	c  1960s|  5800 |  2548 |642375 | 110.4 |  2729M |  75 |  47k|  69k|  75k|5112 |  1 |  27k|9412 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
1981.65/1987.37	c  1987s|  5900 |  2585 |652161 | 110.2 |  2762M |  75 |  47k|  69k|   0 |5202 |  0 |  27k|9534 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2005.08/2010.88	c  2011s|  6000 |  2634 |662320 | 110.1 |  2799M |  75 |  47k|  69k|  75k|5297 |  1 |  28k|9590 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2020.03/2025.84	c  2026s|  6100 |  2674 |671143 | 109.7 |  2819M |  75 |  47k|  69k|  75k|5317 |  2 |  28k|9695 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2036.38/2042.22	c  2042s|  6200 |  2708 |681356 | 109.6 |  2843M |  75 |  47k|  69k|  75k|5342 |  2 |  28k|9778 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2048.74/2054.64	c  2055s|  6300 |  2760 |690869 | 109.4 |  2863M |  78 |  47k|  69k|  75k|5394 |  1 |  28k|9832 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2067.37/2073.38	c  2073s|  6400 |  2818 |703680 | 109.7 |  2886M |  87 |  47k|  69k|  75k|5433 |  3 |  29k|9928 | 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2083.70/2089.77	c  2090s|  6500 |  2864 |713457 | 109.5 |  2917M |  87 |  47k|  69k|  75k|5455 |  1 |  29k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2095.46/2101.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2095.46/2101.53	c  2102s|  6600 |  2888 |719270 | 108.7 |  2951M |  87 |  47k|  69k|  75k|5467 |  2 |  29k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2118.97/2125.11	c  2125s|  6700 |  2917 |728978 | 108.5 |  2973M |  88 |  47k|  69k|  75k|5547 |  1 |  30k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2133.31/2139.53	c  2140s|  6800 |  2953 |737240 | 108.1 |  3002M |  88 |  47k|  69k|  75k|5608 |  1 |  30k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2143.27/2149.51	c  2150s|  6900 |  2995 |742920 | 107.4 |  3032M |  88 |  47k|  69k|  75k|5635 |  3 |  30k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2155.12/2161.45	c  2161s|  7000 |  3023 |748858 | 106.7 |  3065M |  88 |  47k|  69k|  75k|5642 |  2 |  31k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2169.78/2176.16	c  2176s|  7100 |  3057 |755276 | 106.1 |  3093M |  88 |  47k|  69k|  75k|5685 |  1 |  31k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2177.83/2184.24	c  2184s|  7200 |  3088 |761269 | 105.5 |  3113M |  88 |  47k|  69k|   0 |5687 |  0 |  31k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2188.39/2194.88	c  2195s|  7300 |  3127 |767757 | 104.9 |  3139M |  88 |  47k|  69k|  75k|5694 |  1 |  32k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2198.45/2204.93	c  2205s|  7400 |  3179 |776719 | 104.7 |  3162M |  88 |  47k|  69k|  75k|5713 |  1 |  32k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2228.34/2235.01	c  2235s|  7500 |  3225 |787117 | 104.7 |  3191M |  88 |  47k|  69k|  75k|5845 |  1 |  32k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2248.47/2255.13	c  2255s|  7600 |  3266 |795656 | 104.4 |  3211M |  88 |  47k|  69k|  75k|6114 |  2 |  32k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2274.67/2281.48	c  2281s|  7700 |  3326 |805892 | 104.4 |  3233M |  88 |  47k|  69k|  75k|6201 |  2 |  32k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2307.16/2314.07	c  2314s|  7800 |  3370 |815227 | 104.3 |  3270M |  88 |  47k|  69k|   0 |6435 |  0 |  33k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2321.69/2328.66	c  2329s|  7900 |  3430 |823321 | 104.0 |  3284M |  88 |  47k|  69k|  75k|6498 |  1 |  33k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2340.42/2347.49	c  2347s|  8000 |  3498 |829762 | 103.5 |  3300M |  88 |  47k|  69k|  75k|6552 |  2 |  33k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2351.56/2358.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2351.56/2358.66	c  2359s|  8100 |  3531 |837359 | 103.1 |  3327M |  88 |  47k|  69k|  75k|6587 |  1 |  33k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2365.02/2372.15	c  2372s|  8200 |  3588 |847158 | 103.1 |  3349M |  88 |  47k|  69k|  75k|6615 |  1 |  34k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2378.55/2385.76	c  2386s|  8300 |  3626 |854854 | 102.8 |  3375M |  88 |  47k|  69k|  75k|6622 |  1 |  34k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2392.81/2400.07	c  2400s|  8400 |  3662 |862631 | 102.5 |  3399M |  88 |  47k|  69k|  75k|6638 |  2 |  34k|  10k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2406.35/2413.64	c  2414s|  8500 |  3686 |871402 | 102.3 |  3422M |  91 |  47k|  69k|  75k|6649 |  2 |  34k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2417.60/2425.00	c  2425s|  8600 |  3707 |879287 | 102.0 |  3446M |  97 |  47k|  69k|   0 |6653 |  0 |  35k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2426.67/2434.06	c  2434s|  8700 |  3743 |886560 | 101.7 |  3464M |  97 |  47k|  69k|  75k|6662 |  1 |  35k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2437.51/2444.93	c  2445s|  8800 |  3775 |894132 | 101.4 |  3490M |  97 |  47k|  69k|  75k|6676 |  1 |  35k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2445.39/2452.83	c  2453s|  8900 |  3807 |899409 | 100.8 |  3508M |  97 |  47k|  69k|  75k|6696 |  1 |  36k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2461.22/2468.76	c  2469s|  9000 |  3833 |906322 | 100.5 |  3524M | 105 |  47k|  69k|  75k|6733 |  0 |  36k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2469.39/2476.94	c  2477s|  9100 |  3861 |911310 |  99.9 |  3546M | 105 |  47k|  69k|  75k|6754 |  1 |  36k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2479.65/2487.25	c  2487s|  9200 |  3893 |917186 |  99.5 |  3575M | 105 |  47k|  69k|  75k|6780 |  3 |  36k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2490.91/2498.50	c  2498s|  9300 |  3941 |924372 |  99.2 |  3601M | 105 |  47k|  69k|  75k|6803 |  1 |  37k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2499.87/2507.56	c  2508s|  9400 |  3977 |929011 |  98.6 |  3612M | 105 |  47k|  69k|  75k|6808 |  1 |  37k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2512.71/2520.46	c  2520s|  9500 |  4021 |936314 |  98.4 |  3637M | 105 |  47k|  69k|  75k|6829 |  1 |  37k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2523.39/2531.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2523.39/2531.19	c  2531s|  9600 |  4065 |944768 |  98.2 |  3656M | 105 |  47k|  69k|  75k|6854 |  1 |  37k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2533.34/2541.12	c  2541s|  9700 |  4107 |950285 |  97.8 |  3676M | 105 |  47k|  69k|  75k|6860 |  1 |  37k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2542.20/2550.04	c  2550s|  9800 |  4153 |957232 |  97.5 |  3698M | 105 |  47k|  69k|  75k|6868 |  1 |  38k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2551.95/2559.88	c  2560s|  9900 |  4192 |963159 |  97.1 |  3718M | 105 |  47k|  69k|   0 |6886 |  0 |  38k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2560.52/2568.44	c  2568s| 10000 |  4234 |969254 |  96.7 |  3737M | 105 |  47k|  69k|  75k|6894 |  2 |  38k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2570.37/2578.35	c  2578s| 10100 |  4272 |975318 |  96.4 |  3754M | 105 |  47k|  69k|  75k|6923 |  3 |  38k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2579.53/2587.52	c  2588s| 10200 |  4304 |982079 |  96.1 |  3775M | 109 |  47k|  69k|   0 |6927 |  0 |  38k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2588.11/2596.12	c  2596s| 10300 |  4332 |986329 |  95.6 |  3792M | 116 |  47k|  69k|  75k|6930 |  2 |  39k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2598.07/2606.12	c  2606s| 10400 |  4376 |993928 |  95.4 |  3805M | 117 |  47k|  69k|   0 |6937 |  0 |  39k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2605.83/2613.94	c  2614s| 10500 |  4413 |998664 |  94.9 |  3825M | 121 |  47k|  69k|  75k|6942 |  1 |  39k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2612.50/2620.62	c  2621s| 10600 |  4443 |  1002k|  94.4 |  3844M | 121 |  47k|  69k|  75k|6946 |  1 |  39k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2619.98/2628.12	c  2628s| 10700 |  4480 |  1007k|  94.0 |  3857M | 122 |  47k|  69k|  75k|6952 |  1 |  39k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2630.93/2639.15	c  2639s| 10800 |  4519 |  1013k|  93.6 |  3869M | 148 |  47k|  69k|  75k|6955 |  1 |  40k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2638.09/2646.39	c  2646s| 10900 |  4542 |  1017k|  93.2 |  3882M | 148 |  47k|  69k|  75k|6961 |  3 |  40k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2646.87/2655.13	c  2655s| 11000 |  4561 |  1022k|  92.8 |  3894M | 148 |  47k|  69k|   0 |6961 |  0 |  40k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2655.84/2664.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2655.84/2664.15	c  2664s| 11100 |  4600 |  1027k|  92.4 |  3907M | 148 |  47k|  69k|  75k|6966 |  2 |  40k|  11k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2662.89/2671.23	c  2671s| 11200 |  4645 |  1031k|  92.0 |  3921M | 148 |  47k|  69k|  75k|6968 |  1 |  41k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2669.17/2677.58	c  2678s| 11300 |  4674 |  1035k|  91.5 |  3938M | 148 |  47k|  69k|  75k|6970 |  1 |  41k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2677.64/2686.06	c  2686s| 11400 |  4704 |  1040k|  91.1 |  3952M | 148 |  47k|  69k|  75k|6973 |  1 |  41k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2684.41/2692.85	c  2693s| 11500 |  4732 |  1044k|  90.7 |  3963M | 148 |  47k|  69k|  75k|6978 |  2 |  41k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2694.47/2702.91	c  2703s| 11600 |  4767 |  1050k|  90.4 |  3980M | 148 |  47k|  69k|  75k|6979 |  1 |  41k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2704.12/2712.67	c  2713s| 11700 |  4801 |  1055k|  90.1 |  4003M | 148 |  47k|  69k|  75k|6982 |  1 |  42k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2713.09/2721.66	c  2722s| 11800 |  4829 |  1061k|  89.8 |  4012M | 148 |  47k|  69k|   0 |6983 |  0 |  42k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2725.03/2733.64	c  2734s| 11900 |  4851 |  1067k|  89.5 |  4036M | 148 |  47k|  69k|   0 |6984 |  0 |  42k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2733.90/2742.59	c  2743s| 12000 |  4867 |  1072k|  89.2 |  4063M | 148 |  47k|  70k|   0 |6985 |  0 |  42k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2744.06/2752.76	c  2753s| 12100 |  4887 |  1078k|  89.0 |  4082M | 148 |  47k|  69k|   0 |6986 |  0 |  43k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2755.61/2764.39	c  2764s| 12200 |  4918 |  1086k|  88.9 |  4095M | 148 |  47k|  69k|  75k|6986 |  1 |  43k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2766.57/2775.33	c  2775s| 12300 |  4945 |  1091k|  88.6 |  4108M | 148 |  47k|  69k|  75k|6987 |  1 |  43k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2773.14/2781.93	c  2782s| 12400 |  4967 |  1095k|  88.2 |  4154M | 148 |  47k|  69k|  75k|6989 |  1 |  44k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2781.71/2790.52	c  2791s| 12500 |  4989 |  1101k|  87.9 |  4173M | 148 |  47k|  69k|   0 |6991 |  0 |  44k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2788.38/2797.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2788.38/2797.28	c  2797s| 12600 |  5010 |  1105k|  87.6 |  4194M | 148 |  47k|  69k|   0 |6992 |  0 |  44k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2793.76/2802.65	c  2803s| 12700 |  5031 |  1109k|  87.2 |  4210M | 148 |  47k|  69k|  75k|6992 |  1 |  44k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2802.02/2811.00	c  2811s| 12800 |  5060 |  1115k|  87.0 |  4226M | 148 |  47k|  69k|  75k|6995 |  1 |  44k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2810.79/2819.70	c  2820s| 12900 |  5093 |  1121k|  86.8 |  4241M | 148 |  47k|  69k|  75k|7000 |  2 |  45k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2820.55/2829.50	c  2829s| 13000 |  5128 |  1127k|  86.6 |  4264M | 148 |  47k|  69k|  75k|7002 |  2 |  45k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2826.82/2835.86	c  2836s| 13100 |  5153 |  1131k|  86.2 |  4272M | 148 |  47k|  69k|  75k|7002 |  1 |  45k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2834.19/2843.23	c  2843s| 13200 |  5185 |  1136k|  85.9 |  4289M | 148 |  47k|  69k|  75k|7003 |  1 |  45k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2841.97/2851.04	c  2851s| 13300 |  5209 |  1140k|  85.6 |  4312M | 148 |  47k|  69k|   0 |7007 |  0 |  45k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2849.63/2858.74	c  2859s| 13400 |  5234 |  1145k|  85.3 |  4333M | 148 |  47k|  69k|  75k|7007 |  1 |  46k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2856.70/2865.87	c  2866s| 13500 |  5252 |  1150k|  85.1 |  4336M | 148 |  47k|  69k|  75k|7007 |  1 |  46k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2864.27/2873.41	c  2873s| 13600 |  5276 |  1155k|  84.8 |  4342M | 148 |  47k|  69k|  75k|7008 |  1 |  46k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2873.53/2882.73	c  2883s| 13700 |  5294 |  1161k|  84.6 |  4356M | 148 |  47k|  69k|  75k|7010 |  1 |  46k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2886.19/2895.44	c  2895s| 13800 |  5316 |  1167k|  84.5 |  4368M | 148 |  47k|  69k|  75k|7010 |  1 |  46k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2898.63/2907.90	c  2908s| 13900 |  5356 |  1173k|  84.3 |  4387M | 148 |  47k|  69k|  75k|7011 |  2 |  47k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2908.39/2917.72	c  2918s| 14000 |  5395 |  1177k|  84.0 |  4405M | 148 |  47k|  69k|   0 |7025 |  0 |  47k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2917.55/2926.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2917.55/2926.91	c  2927s| 14100 |  5435 |  1183k|  83.8 |  4417M | 148 |  47k|  69k|  75k|7026 |  1 |  47k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2924.82/2934.22	c  2934s| 14200 |  5474 |  1188k|  83.5 |  4429M | 148 |  47k|  69k|  75k|7029 |  1 |  47k|  12k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2936.18/2945.65	c  2946s| 14300 |  5520 |  1195k|  83.5 |  4445M | 148 |  47k|  69k|  75k|7029 |  2 |  48k|  13k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2952.22/2961.75	c  2962s| 14400 |  5555 |  1200k|  83.3 |  4457M | 148 |  47k|  69k|  75k|7030 |  1 |  48k|  13k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2960.97/2970.52	c  2971s| 14500 |  5580 |  1204k|  83.0 |  4473M | 148 |  47k|  69k|   0 |7030 |  0 |  48k|  13k| 0.000000e+00 | 7.010000e+02 |    Inf |  36.13%
2964.76/2974.38	o 380
2964.76/2974.38	c *2974s| 14546 |  2637 |  1206k|  82.8 |strongbr| 148 |  47k|  69k|  75k|7031 |  1 |  48k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.69%
2968.45/2978.10	c  2978s| 14600 |  2649 |  1207k|  82.6 |  4486M | 148 |  47k|  54k|  75k|7031 |  2 |  48k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.69%
2975.43/2985.09	c  2985s| 14700 |  2672 |  1211k|  82.3 |  4492M | 148 |  47k|  54k|  75k|7032 |  1 |  49k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.77%
2987.16/2996.88	c  2997s| 14800 |  2702 |  1215k|  82.0 |  4495M | 148 |  47k|  53k|  75k|7059 |  2 |  49k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.78%
2992.46/3002.18	c  3002s| 14900 |  2728 |  1219k|  81.7 |  4502M | 148 |  47k|  53k|  75k|7061 |  1 |  49k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.82%
2999.91/3009.66	c  3010s| 15000 |  2748 |  1221k|  81.3 |  4507M | 148 |  47k|  54k|  75k|7089 |  1 |  50k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.82%
3005.31/3015.09	c  3015s| 15100 |  2777 |  1225k|  81.0 |  4515M | 148 |  47k|  53k|   0 |7092 |  0 |  50k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.82%
3014.95/3024.76	c  3025s| 15200 |  2799 |  1229k|  80.7 |  4522M | 148 |  47k|  54k|  75k|7106 |  1 |  50k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.89%
3021.52/3031.33	c  3031s| 15300 |  2823 |  1231k|  80.4 |  4527M | 148 |  47k|  54k|  75k|7122 |  1 |  50k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.89%
3028.99/3038.80	c  3039s| 15400 |  2850 |  1235k|  80.1 |  4536M | 148 |  47k|  54k|  75k|7136 |  1 |  51k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.93%
3041.94/3051.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3041.94/3051.89	c  3052s| 15500 |  2878 |  1238k|  79.8 |  4541M | 148 |  47k|  53k|  75k|7176 |  1 |  51k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.97%
3047.91/3057.88	c  3058s| 15600 |  2902 |  1241k|  79.5 |  4549M | 148 |  47k|  53k|   0 |7181 |  0 |  51k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.97%
3055.10/3065.09	c  3065s| 15700 |  2933 |  1244k|  79.2 |  4554M | 148 |  47k|  54k|  75k|7183 |  1 |  51k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  36.97%
3066.16/3076.18	c  3076s| 15800 |  2958 |  1249k|  79.0 |  4559M | 148 |  47k|  53k|  75k|7205 |  2 |  52k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.01%
3079.12/3089.12	c  3089s| 15900 |  2983 |  1253k|  78.7 |  4570M | 148 |  47k|  53k|   0 |7255 |  0 |  52k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.01%
3086.18/3096.24	c  3096s| 16000 |  3008 |  1255k|  78.4 |  4578M | 148 |  47k|  53k|   0 |7263 |  0 |  52k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.01%
3097.44/3107.60	c  3108s| 16100 |  3037 |  1259k|  78.1 |  4584M | 148 |  47k|  54k|  75k|7303 |  3 |  53k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3121.77/3131.96	c  3132s| 16200 |  3063 |  1263k|  77.9 |  4605M | 148 |  47k|  54k|  75k|7400 |  2 |  53k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3131.85/3142.03	c  3142s| 16300 |  3082 |  1267k|  77.6 |  4613M | 148 |  47k|  54k|  75k|7431 |  2 |  53k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3137.93/3148.15	c  3148s| 16400 |  3109 |  1270k|  77.3 |  4620M | 148 |  47k|  54k|  75k|7434 |  2 |  54k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3147.89/3158.17	c  3158s| 16500 |  3131 |  1274k|  77.1 |  4628M | 149 |  47k|  54k|  75k|7455 |  0 |  54k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3170.31/3180.69	c  3181s| 16600 |  3165 |  1279k|  77.0 |  4637M | 149 |  47k|  54k|  75k|7526 |  1 |  54k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3183.16/3193.58	c  3194s| 16700 |  3197 |  1282k|  76.7 |  4642M | 149 |  47k|  54k|  75k|7585 |  1 |  55k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3189.45/3199.88	c  3200s| 16800 |  3225 |  1285k|  76.4 |  4657M | 149 |  47k|  54k|   0 |7605 |  0 |  55k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3197.02/3207.44	c  3207s| 16900 |  3249 |  1288k|  76.1 |  4666M | 149 |  47k|  54k|  75k|7611 |  1 |  55k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3206.40/3216.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3206.40/3216.83	c  3217s| 17000 |  3272 |  1291k|  75.9 |  4675M | 149 |  47k|  54k|  75k|7638 |  1 |  56k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3216.67/3227.18	c  3227s| 17100 |  3305 |  1296k|  75.7 |  4684M | 149 |  47k|  54k|  75k|7676 |  2 |  56k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.02%
3229.53/3240.01	c  3240s| 17200 |  3318 |  1300k|  75.5 |  4750M | 164 |  47k|  54k|  75k|7727 |  0 |  56k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.03%
3236.61/3247.19	c  3247s| 17300 |  3340 |  1302k|  75.2 |  4755M | 164 |  47k|  55k|  75k|7743 |  0 |  57k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.03%
3241.38/3251.90	c  3252s| 17400 |  3357 |  1305k|  74.9 |  4762M | 164 |  47k|  55k|  75k|7748 |  1 |  57k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.04%
3252.75/3263.37	c  3263s| 17500 |  3384 |  1309k|  74.7 |  4768M | 164 |  47k|  55k|  75k|7773 |  2 |  58k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3264.71/3275.32	c  3275s| 17600 |  3408 |  1313k|  74.5 |  4776M | 164 |  47k|  55k|   0 |7801 |  0 |  58k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3282.06/3292.78	c  3293s| 17700 |  3437 |  1316k|  74.3 |  4784M | 164 |  47k|  55k|  75k|7859 |  1 |  58k|  13k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3306.19/3316.98	c  3317s| 17800 |  3465 |  1319k|  74.0 |  4793M | 164 |  47k|  55k|  75k|7964 |  2 |  59k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3323.44/3334.28	c  3334s| 17900 |  3489 |  1324k|  73.9 |  4803M | 164 |  47k|  54k|   0 |8016 |  0 |  59k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3336.10/3346.99	c  3347s| 18000 |  3507 |  1326k|  73.6 |  4809M | 164 |  47k|  54k|   0 |8058 |  0 |  59k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3343.38/3354.21	c  3354s| 18100 |  3531 |  1328k|  73.3 |  4815M | 164 |  47k|  55k|   0 |8074 |  0 |  59k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3361.92/3372.86	c  3373s| 18200 |  3561 |  1334k|  73.2 |  4822M | 164 |  47k|  55k|  75k|8121 |  1 |  60k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3378.19/3389.16	c  3389s| 18300 |  3584 |  1338k|  73.0 |  4830M | 164 |  47k|  55k|   0 |8193 |  0 |  60k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.05%
3387.16/3398.15	c  3398s| 18400 |  3606 |  1342k|  72.9 |  4837M | 164 |  47k|  55k|  75k|8199 |  3 |  61k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.11%
3396.32/3407.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3396.32/3407.30	c  3407s| 18500 |  3629 |  1346k|  72.7 |  4847M | 164 |  47k|  55k|  75k|8214 |  1 |  61k|  14k| 0.000000e+00 | 3.800000e+02 |    Inf |  37.15%
3397.81/3408.80	o 374
3397.81/3408.80	c *3409s| 18534 |  3521 |  1347k|  72.6 |    LP  | 164 |  47k|  55k|  75k|8216 |  2 |  61k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.15%
3406.68/3417.77	c  3418s| 18600 |  3542 |  1351k|  72.5 |  4853M | 164 |  47k|  55k|  75k|8216 |  0 |  62k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.16%
3421.44/3432.54	c  3433s| 18700 |  3566 |  1354k|  72.4 |  4860M | 164 |  47k|  55k|  75k|8277 |  1 |  62k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.16%
3436.10/3447.26	c  3447s| 18800 |  3601 |  1360k|  72.3 |  4869M | 164 |  47k|  55k|  75k|8333 |  1 |  62k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.16%
3449.66/3460.85	c  3461s| 18900 |  3626 |  1363k|  72.1 |  4872M | 164 |  47k|  55k|  75k|8391 |  1 |  62k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.16%
3462.13/3473.36	c  3473s| 19000 |  3646 |  1369k|  72.0 |  4875M | 164 |  47k|  55k|   0 |8452 |  0 |  63k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.16%
3470.81/3482.03	c  3482s| 19100 |  3671 |  1371k|  71.7 |  4878M | 164 |  47k|  55k|  75k|8481 |  2 |  63k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.18%
3479.36/3490.68	c  3491s| 19200 |  3691 |  1375k|  71.6 |  4885M | 164 |  47k|  55k|   0 |8495 |  0 |  63k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.18%
3487.44/3498.71	c  3499s| 19300 |  3718 |  1380k|  71.4 |  4887M | 164 |  47k|  55k|  75k|8495 |  1 |  64k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.18%
3494.21/3505.55	c  3506s| 19400 |  3740 |  1383k|  71.2 |  4897M | 164 |  47k|  55k|  75k|8496 |  1 |  64k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.19%
3503.18/3514.58	c  3515s| 19500 |  3760 |  1388k|  71.1 |  4903M | 164 |  47k|  56k|   0 |8533 |  0 |  64k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.19%
3509.46/3520.89	c  3521s| 19600 |  3776 |  1392k|  71.0 |  4910M | 164 |  47k|  56k|   0 |8534 |  0 |  65k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.19%
3518.83/3530.26	c  3530s| 19700 |  3797 |  1396k|  70.8 |  4917M | 164 |  47k|  56k|  75k|8537 |  1 |  65k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.20%
3526.51/3537.99	c  3538s| 19800 |  3815 |  1399k|  70.6 |  4923M | 164 |  47k|  56k|  75k|8539 |  0 |  65k|  14k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.20%
3540.69/3552.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3540.69/3552.18	c  3552s| 19900 |  3851 |  1404k|  70.5 |  4929M | 164 |  47k|  55k|   0 |8569 |  0 |  65k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.20%
3550.85/3562.38	c  3562s| 20000 |  3878 |  1407k|  70.3 |  4935M | 164 |  47k|  55k|   0 |8572 |  0 |  66k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.20%
3558.23/3569.75	c  3570s| 20100 |  3904 |  1411k|  70.1 |  4939M | 164 |  47k|  55k|  75k|8575 |  3 |  66k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.30%
3568.09/3579.61	c  3580s| 20200 |  3927 |  1414k|  69.9 |  4943M | 164 |  47k|  56k|  75k|8576 |  1 |  66k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.30%
3576.08/3587.61	c  3588s| 20300 |  3952 |  1418k|  69.8 |  4949M | 164 |  47k|  56k|  75k|8577 |  2 |  67k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.33%
3583.57/3595.17	c  3595s| 20400 |  3978 |  1420k|  69.6 |  4954M | 164 |  47k|  56k|  75k|8577 |  0 |  67k|  15k| 0.000000e+00 | 3.740000e+02 |    Inf |  37.33%
3585.46/3597.02	c 
3585.46/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3585.46/3597.02	c Solving Time (sec) : 3597.01
3585.46/3597.02	c Solving Nodes      : 20422
3585.46/3597.02	c Primal Bound       : +3.74000000000000e+02 (8 solutions)
3585.46/3597.02	c Dual Bound         : +0.00000000000000e+00
3585.46/3597.02	c Gap                : infinite
3585.46/3597.09	s SATISFIABLE
3585.46/3597.09	v -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
3585.46/3597.09	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 x1053 
3585.46/3597.09	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
3585.46/3597.09	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
3585.46/3597.09	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
3585.46/3597.09	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979 
3585.46/3597.09	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
3585.46/3597.09	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
3585.46/3597.09	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
3585.46/3597.09	v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
3585.46/3597.09	v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
3585.46/3597.09	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 
3585.46/3597.09	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
3585.46/3597.09	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 
3585.46/3597.09	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 
3585.46/3597.09	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 
3585.46/3597.09	v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 
3585.46/3597.09	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
3585.46/3597.09	v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 
3585.46/3597.09	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
3585.46/3597.09	v -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 
3585.46/3597.09	v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 
3585.46/3597.09	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
3585.46/3597.09	v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
3585.46/3597.09	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
3585.46/3597.09	v -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 
3585.46/3597.09	v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 
3585.46/3597.09	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 
3585.46/3597.09	v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 
3585.46/3597.09	v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 
3585.46/3597.09	v -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 
3585.46/3597.09	v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
3585.46/3597.09	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
3585.46/3597.09	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
3585.46/3597.09	v -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 
3585.46/3597.09	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 
3585.46/3597.09	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 
3585.46/3597.09	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 
3585.46/3597.09	v -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 
3585.46/3597.09	v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 
3585.46/3597.09	v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 
3585.46/3597.09	v -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 
3585.46/3597.09	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 
3585.46/3597.09	v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 
3585.46/3597.09	v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 
3585.46/3597.09	v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 
3585.46/3597.09	v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 
3585.46/3597.09	v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 
3585.46/3597.09	v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 
3585.46/3597.09	v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 
3585.46/3597.09	v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 
3585.46/3597.09	v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
3585.46/3597.09	c SCIP Status        : solving was interrupted [time limit reached]
3585.46/3597.09	c Total Time         :    3597.01
3585.46/3597.09	c   solving          :    3597.01
3585.46/3597.09	c   presolving       :       3.19 (included in solving)
3585.46/3597.09	c   reading          :       0.36 (included in solving)
3585.46/3597.09	c   copying          :       4.66 (25 #copies) (minimal 0.14, maximal 0.31, average 0.19)
3585.46/3597.09	c Original Problem   :
3585.46/3597.09	c   Problem name     : HOME/instance-4425160-1720885365.wbo
3585.46/3597.09	c   Variables        : 54241 (54241 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.46/3597.09	c   Constraints      : 106338 initial, 106338 maximal
3585.46/3597.09	c   Objective        : minimize, 53152 non-zeros (abs.min = 1, abs.max = 976)
3585.46/3597.09	c Presolved Problem  :
3585.46/3597.09	c   Problem name     : t_HOME/instance-4425160-1720885365.wbo
3585.46/3597.09	c   Variables        : 47836 (24475 binary, 0 integer, 23361 implicit integer, 0 continuous)
3585.46/3597.09	c   Constraints      : 75846 initial, 77602 maximal
3585.46/3597.10	c   Objective        : minimize, 23386 non-zeros (abs.min = 1, abs.max = 878)
3585.46/3597.10	c   Nonzeros         : 269643 constraint, 3495 clique table
3585.46/3597.10	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.46/3597.10	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   trivial          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dualfix          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   probing          :       1.91       0.00      1          0         25          0          0          0          0          0          0          0
3585.46/3597.10	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   symmetry         :       0.18       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   knapsack         :       0.03       0.00      3          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   setppc           :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   linear           :       0.38       0.01      8      29766          0          0      53152          0        726          0          0          0
3585.46/3597.10	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   indicator        :       0.06       0.00      2      29766          0          0      29766          0      29766          0          0          0
3585.46/3597.10	c   components       :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   root node        :          -          -      -      23813          -          -      23813          -          -          -          -          -
3585.46/3597.10	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.46/3597.10	c   benderslp        :          0          0          0          0      16973          0          0       2350          0          0          0          0          0          0          0
3585.46/3597.10	c   integral         :          0          0          0          0      16973          0          0       2350          0          2       9012          0          0      20909      28084
3585.46/3597.10	c   knapsack         :          1+         2          0     162973          1          0          0       2344      26570          8          0          0          0          0          0
3585.46/3597.10	c   setppc           :      29073+     29077         19     163092          1          0          0       2244     816943       5919     636872          4          0          0          0
3585.46/3597.10	c   linear           :      23386      23386         19     157171          0          0          0         26     298768        180     145939          0          0          0          0
3585.46/3597.10	c   logicor          :          0+      4285         19      90850          0          0          0          0     376482       4686     165450          5          5          0          0
3585.46/3597.10	c   benders          :          0          0          0          0          1          0          0         25          0          0          0          0          0          0          0
3585.46/3597.10	c   indicator        :      23386      23386       3292     152201          1          0          0         23     744421         19   23054019          0          0          0          0
3585.46/3597.10	c   fixedvar         :          0          0          0          0          1          0          0         24          0          0          0          0          0          0          0
3585.46/3597.10	c   countsols        :          0          0          0          0          1          0          0         24          0          0          0          0          0          0          0
3585.46/3597.10	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.46/3597.10	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3585.46/3597.10	c   integral         :    1183.80       0.00       0.00       0.00    1183.71       0.00       0.00       0.09       0.00       0.00
3585.46/3597.10	c   knapsack         :      10.37       0.00       0.00       1.83       0.00       0.00       0.00       1.90       1.79       4.85
3585.46/3597.10	c   setppc           :     109.87       0.00       0.03      33.61       0.00       0.00       0.00       0.07       0.38      75.77
3585.46/3597.10	c   linear           :      12.44       0.01       0.06       7.87       0.00       0.00       0.00       0.13       0.17       4.20
3585.46/3597.10	c   logicor          :      28.86       0.00       0.00      13.83       0.00       0.00       0.00       0.00       0.94      14.10
3585.46/3597.10	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.46/3597.10	c   indicator        :      74.27       0.00       5.52      49.80       0.00       0.00       0.00       0.17       0.33      18.45
3585.46/3597.10	c   fixedvar         :       0.04       0.00       0.00       0.00       0.00       0.00       0.00       0.04       0.00       0.00
3585.46/3597.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.46/3597.10	c   components       :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.01
3585.46/3597.10	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.46/3597.10	c   dualfix          :         18          0          0        496
3585.46/3597.10	c   genvbounds       :          0          0          0          0
3585.46/3597.10	c   nlobbt           :          0          0          0          0
3585.46/3597.10	c   obbt             :          0          0          0          0
3585.46/3597.10	c   probing          :          0          0          0          0
3585.46/3597.10	c   pseudoobj        :     115141     332512          8    1676457
3585.46/3597.10	c   redcost          :      48025          0          0   22895537
3585.46/3597.10	c   rootredcost      :          6          0          0      11330
3585.46/3597.10	c   symmetry         :          0          0          0          0
3585.46/3597.10	c   vbounds          :      86036          0          0          0
3585.46/3597.10	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.46/3597.10	c   dualfix          :       0.04       0.00       0.01       0.03       0.00       0.00
3585.46/3597.10	c   genvbounds       :       0.06       0.00       0.00       0.05       0.00       0.02
3585.46/3597.10	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.46/3597.10	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.46/3597.10	c   probing          :       1.91       0.00       1.91       0.00       0.00       0.00
3585.46/3597.10	c   pseudoobj        :     110.50       0.00       0.00       3.23     107.27       0.01
3585.46/3597.10	c   redcost          :     120.32       0.00       0.00     120.31       0.00       0.01
3585.46/3597.10	c   rootredcost      :       0.08       0.00       0.00       0.07       0.00       0.01
3585.46/3597.10	c   symmetry         :       0.25       0.00       0.18       0.04       0.00       0.03
3585.46/3597.10	c   vbounds          :      52.24       0.00       0.01      51.82       0.00       0.41
3585.46/3597.10	c Symmetry           :
3585.46/3597.10	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.46/3597.10	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.46/3597.10	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.46/3597.10	c   shadow tree time :       0.00 s
3585.46/3597.10	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.46/3597.10	c   propagation      :     111.69      10809      10696          -      94682      203.2       2457       30.4          -          -          -
3585.46/3597.10	c   infeasible LP    :       0.11         14         14          -        240      250.0          1       26.0          8      645.5          0
3585.46/3597.10	c   bound exceed. LP :      30.14       1341        329          -       4748      281.2         25       41.2          0        0.0      11002
3585.46/3597.10	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.46/3597.10	c   pseudo solution  :       0.01          1          1          -         23      181.3          0        0.0          -          -          -
3585.46/3597.10	c   applied globally :     436.18          -          -          0      67300      157.1          -          -          8          -          -
3585.46/3597.10	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.46/3597.10	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.46/3597.10	c   cut pool         :       3.18          -       4303         45          -          -      46075      65775          -          -          -          -          -    (maximal pool size:       3838)
3585.46/3597.10	c   aggregation      :      25.88       0.00       1109         19          0          0         21         22          0         20         20          0          0
3585.46/3597.10	c   > cmir           :          -          -          -          -          -          -          -         16          0         15         15          0          -
3585.46/3597.10	c   > flowcover      :          -          -          -          -          -          -          -          1          0          1          1          0          -
3585.46/3597.10	c   > knapsackcover  :          -          -          -          -          -          -          -          5          0          4          4          0          -
3585.46/3597.10	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   clique           :       7.59       0.00         19         19          0          0         42        140          0         20         20          0          0
3585.46/3597.10	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   gomory           :     725.38       0.00        990         10          0          0      42464      56555        121       3945       3943          2          0
3585.46/3597.10	c   > gomorymi       :          -          -          -          -          -          -          -      22019         60        592        591          1          -
3585.46/3597.10	c   > strongcg       :          -          -          -          -          -          -          -      34536         61       3353       3352          1          -
3585.46/3597.10	c   impliedbounds    :       1.76       0.00       1109         19          0          2         15         35          0         30         30          0          0
3585.46/3597.10	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   mcf              :       0.03       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   mixing           :       0.00       0.00       1109         19          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   multilinear      :       0.00       0.00        335         19          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   rapidlearning    :       0.43       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   rlt              :       0.00       0.00        348         10          0          0          0          0          0          0          0          0          0
3585.46/3597.10	c   zerohalf         :      18.93       0.00        999         19          0          0       3726       9023         72       4557       4541         16          0
3585.46/3597.10	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.46/3597.10	c   hybrid           :       0.15       0.00       1902         27       8577          0      57400        154          0       1572
3585.46/3597.10	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.46/3597.10	c   problem variables:       0.00          -          0          0
3585.46/3597.10	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.46/3597.10	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c   relpscost        :    1183.68       0.00      16972          0          0          2       9012          0      23777      28084
3585.46/3597.10	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.46/3597.10	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.46/3597.10	c   LP solutions     :       0.02          -          -          1          1
3585.46/3597.10	c   relax solutions  :       0.00          -          -          0          0
3585.46/3597.10	c   pseudo solutions :       0.00          -          -          0          0
3585.46/3597.10	c   strong branching :       0.74          -          -          3          3
3585.46/3597.10	c   actconsdiving    :       0.00       0.00          0          0          0
3585.46/3597.10	c   adaptivediving   :       8.12       0.00         59          0          0
3585.46/3597.10	c   alns             :       6.51       0.00          6          0          0
3585.46/3597.10	c   bound            :       0.00       0.00          0          0          0
3585.46/3597.10	c   clique           :       0.20       0.00          1          0          0
3585.46/3597.10	c   coefdiving       :       0.00       0.00          0          0          0
3585.46/3597.10	c   completesol      :       0.00       0.00          0          0          0
3585.46/3597.10	c   conflictdiving   :       6.42       0.00         31          0          0
3585.46/3597.10	c   crossover        :       4.17       0.00          8          1          0
3585.46/3597.10	c   dins             :       0.00       0.00          0          0          0
3585.46/3597.10	c   distributiondivin:       9.27       0.00         30          0          0
3585.46/3597.10	c   dps              :       0.00       0.00          0          0          0
3585.46/3597.10	c   dualval          :       0.00       0.00          0          0          0
3585.46/3597.10	c   farkasdiving     :       1.98       0.00          1          0          0
3585.46/3597.10	c   feasjump         :       0.05       0.00          1          0          0
3585.46/3597.10	c   feaspump         :       9.60       0.00         16          0          0
3585.46/3597.10	c   fixandinfer      :       0.00       0.00          0          0          0
3585.46/3597.10	c   fracdiving       :       4.77       0.00         31          0          0
3585.46/3597.10	c   gins             :       0.22       0.00          0          0          0
3585.46/3597.10	c   guideddiving     :       3.34       0.00         31          0          0
3585.46/3597.10	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.46/3597.10	c   indicator        :       0.02       0.00          0          0          0
3585.46/3597.10	c   indicatordiving  :       0.00       0.00          0          0          0
3585.46/3597.10	c   indoneopt        :       0.44       0.01          6          0          0
3585.46/3597.10	c   indrounding      :       0.00       0.00          0          0          0
3585.46/3597.10	c   indtwoopt        :       0.00       0.01          0          0          0
3585.46/3597.10	c   intdiving        :       0.00       0.00          0          0          0
3585.46/3597.10	c   intshifting      :       0.00       0.00          0          0          0
3585.46/3597.10	c   linesearchdiving :       4.14       0.00         31          1          1
3585.46/3597.10	c   localbranching   :       0.00       0.00          0          0          0
3585.46/3597.10	c   locks            :       0.09       0.00          1          0          0
3585.46/3597.10	c   lpface           :      29.38       0.00          6          0          0
3585.46/3597.10	c   mpec             :       0.00       0.00          0          0          0
3585.46/3597.10	c   multistart       :       0.00       0.00          0          0          0
3585.46/3597.10	c   mutation         :       0.00       0.00          0          0          0
3585.46/3597.10	c   nlpdiving        :       0.00       0.00          0          0          0
3585.46/3597.10	c   objpscostdiving  :       3.54       0.00         16          0          0
3585.46/3597.10	c   octane           :       0.00       0.00          0          0          0
3585.46/3597.10	c   ofins            :       0.01       0.00          0          0          0
3585.46/3597.10	c   oneopt           :       0.08       0.00          5          0          0
3585.46/3597.10	c   padm             :       0.00       0.00          0          0          0
3585.46/3597.10	c   proximity        :       0.00       0.00          0          0          0
3585.46/3597.10	c   pscostdiving     :       5.38       0.00         31          0          0
3585.46/3597.10	c   randrounding     :       6.20       0.00       2291          0          0
3585.46/3597.10	c   rens             :       0.63       0.00          1          0          0
3585.46/3597.10	c   reoptsols        :       0.00       0.00          0          0          0
3585.46/3597.10	c   repair           :       0.00       0.00          0          0          0
3585.46/3597.10	c   rins             :       5.82       0.00         10          2          0
3585.46/3597.10	c   rootsoldiving    :      13.45       0.00         16          0          0
3585.46/3597.10	c   rounding         :       4.64       0.00       2030          0          0
3585.46/3597.10	c   scheduler        :       0.00       0.00          0          0          0
3585.46/3597.10	c   shiftandpropagate:       1.07       0.00          1          0          0
3585.46/3597.10	c   shifting         :       3.30       0.00        841          0          0
3585.46/3597.10	c   simplerounding   :       0.02       0.00          0          0          0
3585.46/3597.10	c   smallcard        :       0.00       0.00          0          0          0
3585.46/3597.10	c   subnlp           :       0.03       0.00          0          0          0
3585.46/3597.10	c   trivial          :       0.06       0.00          2          0          0
3585.46/3597.10	c   trivialnegation  :       0.00       0.00          0          0          0
3585.46/3597.10	c   trustregion      :       0.00       0.00          0          0          0
3585.46/3597.10	c   trysol           :       0.04       0.00          3          0          0
3585.46/3597.10	c   twoopt           :       0.00       0.00          0          0          0
3585.46/3597.10	c   undercover       :       0.00       0.00          0          0          0
3585.46/3597.10	c   vbounds          :       0.10       0.00          0          0          0
3585.46/3597.10	c   veclendiving     :      10.49       0.00         31          0          0
3585.46/3597.10	c   zeroobj          :       0.00       0.00          0          0          0
3585.46/3597.10	c   zirounding       :       0.33       0.00       1000          0          0
3585.46/3597.10	c   other solutions  :          -          -          -          0          -
3585.46/3597.10	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.46/3597.10	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.46/3597.10	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
3585.46/3597.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.46/3597.10	c   primal LP        :       7.22        692          0       0.00       0.00       7.22        692
3585.46/3597.10	c   dual LP          :     622.24      29163    1056309      46.39    1697.59      69.39       6394
3585.46/3597.10	c   lex dual LP      :       0.00          0          0       0.00          -
3585.46/3597.10	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.46/3597.10	c   resolve instable :       0.00          0          0       0.00          -
3585.46/3597.10	c   diving/probing LP:     120.18       5891     365494      62.04    3041.25
3585.46/3597.10	c   strong branching :     381.38      15254     429890      28.18    1127.19          -          -       2255
3585.46/3597.10	c     (at root node) :          -        146      16203     110.98          -
3585.46/3597.10	c   conflict analysis:      11.30       1206      11002       9.12     973.48
3585.46/3597.10	c B&B Tree           :
3585.46/3597.10	c   number of runs   :          1
3585.46/3597.10	c   nodes            :      20422 (14042 internal, 6380 leaves)
3585.46/3597.10	c   feasible leaves  :          1
3585.46/3597.10	c   infeas. leaves   :       5263
3585.46/3597.10	c   objective leaves :       1116
3585.46/3597.10	c   nodes (total)    :      20422 (14042 internal, 6380 leaves)
3585.46/3597.10	c   nodes left       :       3987
3585.46/3597.10	c   max depth        :        164
3585.46/3597.10	c   max depth (total):        164
3585.46/3597.10	c   backtracks       :       1473 (7.2%)
3585.46/3597.10	c   early backtracks :          0 (0.0%)
3585.46/3597.10	c   nodes exc. ref.  :          0 (0.0%)
3585.46/3597.10	c   delayed cutoffs  :        268
3585.46/3597.10	c   repropagations   :      20031 (109058 domain reductions, 263 cutoffs)
3585.46/3597.10	c   avg switch length:       4.80
3585.46/3597.10	c   switching time   :      82.19
3585.46/3597.10	c Root Node          :
3585.46/3597.10	c   First LP value   : +0.00000000000000e+00
3585.46/3597.10	c   First LP Iters   :         66 (1174.15 Iter/sec)
3585.46/3597.10	c   First LP Time    :       0.06
3585.46/3597.10	c   Final Dual Bound : +0.00000000000000e+00
3585.46/3597.10	c   Final Root Iters :       1955
3585.46/3597.10	c   Root LP Estimate : +6.43293594808644e+01
3585.46/3597.10	c Solution           :
3585.46/3597.10	c   Solutions found  :          8 (5 improvements)
3585.46/3597.10	c   First Solution   : +8.58000000000000e+02   (in run 1, after 542 nodes, 631.82 seconds, depth 53, found by <relaxation>)
3585.46/3597.10	c   Gap First Sol.   :   infinite
3585.46/3597.10	c   Gap Last Sol.    :   infinite
3585.46/3597.10	c   Primal Bound     : +3.74000000000000e+02   (in run 1, after 18534 nodes, 3408.77 seconds, depth 68, found by <relaxation>)
3585.46/3597.10	c   Dual Bound       : +0.00000000000000e+00
3585.46/3597.10	c   Gap              :   infinite
3585.46/3597.10	c Integrals          :      Total       Avg%
3585.46/3597.10	c   primal-dual      :  359701.03     100.00
3585.46/3597.10	c   primal-ref       :          -          - (not evaluated)
3585.46/3597.10	c   dual-ref         :          -          - (not evaluated)
3586.14/3597.71	c Time complete: 3586.17.

Verifier Data 

OK	374

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 (57340 MiB free)
  memory of node 1: 64473 MiB (61138 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425160-1720885365/watcher-4425160-1720885365 -o /tmp/evaluation-result-4425160-1720885365/solver-4425160-1720885365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760 pbscip -f HOME/instance-4425160-1720885365.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=704475, runsolver pid=704472

[startup+0.100504 s]*
/proc/loadavg: 4.02 2.24 2.34 5/252 704476
/proc/meminfo: memFree=121292696/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=75976 memory=35760 CPUtime=0.1 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 5942 0 0 0 9 1 0 0 20 0 1 0 140693697 77799424 8940 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 18994 8940 3277 3540 0 7251 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 35760 KiB

[startup+0.213646 s]*
/proc/loadavg: 4.02 2.24 2.34 5/252 704476
/proc/meminfo: memFree=121255184/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=104484 memory=63756 CPUtime=0.21 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 12991 0 0 0 19 2 0 0 20 0 1 0 140693697 106991616 15939 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 26121 15939 3277 3540 0 14378 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104484 KiB
Current children cumulated memory: 63756 KiB

[startup+0.313315 s]*
/proc/loadavg: 4.02 2.24 2.34 6/252 704476
/proc/meminfo: memFree=121222116/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=127764 memory=87528 CPUtime=0.31 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 18936 0 0 0 28 3 0 0 20 0 1 0 140693697 130830336 21882 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 31941 21882 3277 3540 0 20198 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 127764 KiB
Current children cumulated memory: 87528 KiB

[startup+0.700319 s]
/proc/loadavg: 4.02 2.24 2.34 5/252 704476
/proc/meminfo: memFree=121109060/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=291180 memory=249564 CPUtime=0.68 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 59530 0 0 0 58 10 0 0 20 0 1 0 140693697 298168320 62391 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 72795 62391 3628 3540 0 61052 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 291180 KiB
Current children cumulated memory: 249564 KiB

[startup+1.50034 s]
/proc/loadavg: 4.02 2.24 2.34 6/252 704476
/proc/meminfo: memFree=120877480/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=455732 memory=409028 CPUtime=1.48 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 104240 0 0 0 130 18 0 0 20 0 1 0 140693697 466669568 102257 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 113933 102257 3660 3540 0 102190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 455732 KiB
Current children cumulated memory: 409028 KiB

[startup+3.11336 s]
/proc/loadavg: 4.02 2.24 2.34 6/252 704476
/proc/meminfo: memFree=120633420/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=483480 memory=435364 CPUtime=3.08 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 112784 0 0 0 289 19 0 0 20 0 1 0 140693697 495083520 108841 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 120870 108841 3692 3540 0 109127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 483480 KiB
Current children cumulated memory: 435364 KiB

[startup+6.30026 s]
/proc/loadavg: 4.01 2.27 2.35 6/252 704476
/proc/meminfo: memFree=120212084/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=729988 memory=593148 CPUtime=6.27 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 155296 0 0 0 599 28 0 0 20 0 1 0 140693697 747507712 148287 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 182497 148287 3900 3540 0 170754 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 729988 KiB
Current children cumulated memory: 593148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 2.31 2.36 6/252 704478
/proc/meminfo: memFree=119656680/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=741468 memory=608064 CPUtime=12.66 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 156476 0 0 0 1237 29 0 0 20 0 1 0 140693697 759263232 152016 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 185367 152016 3900 3540 0 173624 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 741468 KiB
Current children cumulated memory: 608064 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 2.40 2.39 6/252 704479
/proc/meminfo: memFree=118443604/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=813516 memory=631472 CPUtime=25.42 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 161405 0 0 0 2512 30 0 0 20 0 1 0 140693697 833040384 157868 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 203379 157868 3900 3540 0 191636 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 813516 KiB
Current children cumulated memory: 631472 KiB

[startup+51.1138 s]
/proc/loadavg: 4.05 2.53 2.43 7/253 704486
/proc/meminfo: memFree=115111004/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1096116 memory=891340 CPUtime=50.95 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 225889 0 0 0 5056 39 0 0 20 0 1 0 140693697 1122422784 222835 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 274029 222835 4011 3540 0 262286 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1096116 KiB
Current children cumulated memory: 891340 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 2.80 2.53 6/254 704915
/proc/meminfo: memFree=123117680/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1096116 memory=891484 CPUtime=101.98 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 225939 0 0 0 10158 40 0 0 20 0 1 0 140693697 1122422784 222871 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 274029 222871 4011 3540 0 262286 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1096116 KiB
Current children cumulated memory: 891484 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.02 2.63 7/254 704927
/proc/meminfo: memFree=122891464/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1270112 memory=1040220 CPUtime=161.79 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 267573 0 0 0 16133 46 0 0 20 0 1 0 140693697 1300594688 260055 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 317528 260055 4027 3540 0 305785 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1270112 KiB
Current children cumulated memory: 1040220 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.22 2.72 7/250 704938
/proc/meminfo: memFree=122840208/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1270112 memory=1041728 CPUtime=221.6 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 267950 0 0 0 22114 46 0 0 20 0 1 0 140693697 1300594688 260432 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 317528 260432 4027 3540 0 305785 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1270112 KiB
Current children cumulated memory: 1041728 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.39 2.81 7/248 704948
/proc/meminfo: memFree=122691428/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1371752 memory=1142220 CPUtime=281.42 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 293788 0 0 0 28092 50 0 0 20 0 1 0 140693697 1404674048 285555 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 342938 285555 4027 3540 0 331195 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1371752 KiB
Current children cumulated memory: 1142220 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.52 2.90 6/244 704958
/proc/meminfo: memFree=122549828/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1467632 memory=1240448 CPUtime=341.25 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 317491 0 0 0 34071 54 0 0 20 0 1 0 140693697 1502855168 310112 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 366908 310112 4027 3540 0 355165 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 1240448 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.64 2.98 7/242 704969
/proc/meminfo: memFree=122500660/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1467632 memory=1240712 CPUtime=401.1 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 317511 0 0 0 40056 54 0 0 20 0 1 0 140693697 1502855168 310178 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 366908 310178 4027 3540 0 355165 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 1240712 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.73 3.05 6/242 704979
/proc/meminfo: memFree=122437344/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=1467632 memory=1241904 CPUtime=460.94 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 317863 0 0 0 46039 55 0 0 20 0 1 0 140693697 1502855168 310476 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 366908 310476 4027 3540 0 355165 0

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

Current children cumulated memory: 4464816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.11 7/243 706649
/proc/meminfo: memFree=117937548/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4780124 memory=4472736 CPUtime=3152.07 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1188551 0 0 0 314949 258 0 0 20 0 1 0 140693697 4894846976 1118184 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1195031 1118184 4027 3540 0 1183288 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 4780124 KiB
Current children cumulated memory: 4472736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.74 4.33 4.17 6/243 706659
/proc/meminfo: memFree=117799528/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4898756 memory=4593228 CPUtime=3211.88 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1221475 0 0 0 320922 266 0 0 20 0 1 0 140693697 5016326144 1148307 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1224689 1148307 4027 3540 0 1212946 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 4898756 KiB
Current children cumulated memory: 4593228 KiB

[startup+3282.3 s]
/proc/loadavg: 5.24 4.56 4.26 6/242 706669
/proc/meminfo: memFree=117733304/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4898756 memory=4643824 CPUtime=3271.69 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1222120 0 0 0 326900 269 0 0 20 0 1 0 140693697 5016326144 1160956 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1224689 1160956 4027 3540 0 1212946 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 4898756 KiB
Current children cumulated memory: 4643824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.58 4.49 4.25 6/242 706679
/proc/meminfo: memFree=117683324/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4898756 memory=4669420 CPUtime=3331.51 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1222742 0 0 0 332879 272 0 0 20 0 1 0 140693697 5016326144 1167355 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1224689 1167355 4027 3540 0 1212946 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 4898756 KiB
Current children cumulated memory: 4669420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.41 4.24 6/242 706690
/proc/meminfo: memFree=117648556/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4922780 memory=4689252 CPUtime=3391.34 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1228310 0 0 0 338857 277 0 0 20 0 1 0 140693697 5040926720 1172313 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1230695 1172313 4027 3540 0 1218952 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 4922780 KiB
Current children cumulated memory: 4689252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.35 4.23 7/242 706700
/proc/meminfo: memFree=117593012/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4956216 memory=4720688 CPUtime=3451.16 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1236629 0 0 0 344834 282 0 0 20 0 1 0 140693697 5075165184 1180172 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1239054 1180172 4027 3540 0 1227311 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 4956216 KiB
Current children cumulated memory: 4720688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.33 4.23 5/244 706851
/proc/meminfo: memFree=119666348/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=4995788 memory=4759908 CPUtime=3510.96 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1246563 0 0 0 350808 288 0 0 20 0 1 0 140693697 5115686912 1189977 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1248947 1189977 4027 3540 0 1237204 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 4995788 KiB
Current children cumulated memory: 4759908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.32 4.23 5/244 707091
/proc/meminfo: memFree=121661184/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4935944 CPUtime=3570.78 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294831 0 0 0 356781 297 0 0 20 0 1 0 140693697 5276123136 1233986 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1233986 4027 3540 0 1276373 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4935944 KiB

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

# cumulated CPU time of all completed processes:  user=3583.17 s, system=3.11629 s

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

[startup+3584 s]*
/proc/loadavg: 4.28 4.32 4.23 5/244 707091
/proc/meminfo: memFree=121659584/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4935944 CPUtime=3572.49 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294836 0 0 0 356952 297 0 0 20 0 1 0 140693697 5276123136 1233986 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1233986 4027 3540 0 1276373 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4935944 KiB

[startup+3590.4 s]
/proc/loadavg: 4.42 4.35 4.24 5/244 707093
/proc/meminfo: memFree=121651352/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4936152 CPUtime=3578.87 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294934 0 0 0 357589 298 0 0 20 0 1 0 140693697 5276123136 1234038 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1234038 4027 3540 0 1276373 0
Current children cumulated CPU time: 3578.87 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4936152 KiB

[startup+3593.6 s]
/proc/loadavg: 4.47 4.36 4.24 5/244 707093
/proc/meminfo: memFree=121647640/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4936152 CPUtime=3582.06 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294955 0 0 0 357908 298 0 0 20 0 1 0 140693697 5276123136 1234038 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1234038 4027 3540 0 1276373 0
Current children cumulated CPU time: 3582.06 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4936152 KiB

[startup+3595.2 s]
/proc/loadavg: 4.47 4.36 4.24 5/244 707093
/proc/meminfo: memFree=121645692/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4936152 CPUtime=3583.65 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294957 0 0 0 358067 298 0 0 20 0 1 0 140693697 5276123136 1234038 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1234038 4027 3540 0 1276373 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4936152 KiB

[startup+3596.8 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707093
/proc/meminfo: memFree=121644760/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5152464 memory=4936152 CPUtime=3585.25 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1294960 0 0 0 358227 298 0 0 20 0 1 0 140693697 5276123136 1234038 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1288116 1234038 4027 3540 0 1276373 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 5152464 KiB
Current children cumulated memory: 4936152 KiB

[startup+3597.6 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707093
/proc/meminfo: memFree=121643456/131655788 swapFree=131071996/131071996
[pid=704475] ppid=704472 vsize=5120664 memory=4904408 CPUtime=3586.04 cores=1,3
/proc/704475/stat : 704475 (pbscip) R 704472 704475 703890 0 -1 4194304 1295721 0 0 0 358306 298 0 0 20 0 1 0 140693697 5243559936 1226102 134679101440 4194304 18693293 140734176481120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46718976 140734176486392 140734176486491 140734176486491 140734176493518 0
/proc/704475/statm: 1280166 1226102 4027 3540 0 1268423 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 5120664 KiB
Current children cumulated memory: 4904408 KiB

[startup+3597.8 s]*
/proc/loadavg: 4.51 4.37 4.25 5/244 707093
/proc/meminfo: memFree=125574528/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3597.83
CPU time (s): 3586.29
CPU user time (s): 3583.17
CPU system time (s): 3.11629
CPU usage (%): 99.6791
Max. virtual memory (cumulated for all children) (KiB): 5187688
Max. memory (cumulated for all children) (KiB): 4954336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.17
system time used= 3.11629
maximum resident set size= 4954336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1296197
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= 48
involuntary context switches= 3124


# summary of solver processes directly reported to runsolver:
#   pid: 704475
#   total CPU time (s): 3586.29
#   total CPU user time (s): 3583.17
#   total CPU system time (s): 3.11629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7867 second user time and 33.0296 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-13 17:42:58
IDJOB=4425160
IDBENCH=143901
IDSOLVER=3038
FILE ID=nodeC011/4425160-1720885365
RUNJOBID= nodeC011-1720885247-703902
SLURM_JOB_ID= 7485791
Free space on /tmp= 723712 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425160-1720885365/watcher-4425160-1720885365 -o /tmp/evaluation-result-4425160-1720885365/solver-4425160-1720885365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760  pbscip -f HOME/instance-4425160-1720885365.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d1e83745c12c7ec680c949b5ab02beb5
RANDOM SEED=1977701206

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		: 3675.596
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		: 3491.632
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.347
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.121
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		: 3675.576
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		: 3665.765
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.314
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.221
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:        121324328 kB
MemAvailable:   122198292 kB
Buffers:          325772 kB
Cached:          1384856 kB
SwapCached:            0 kB
Active:           517172 kB
Inactive:        9273440 kB
Active(anon):       1428 kB
Inactive(anon):  8116268 kB
Active(file):     515744 kB
Inactive(file):  1157172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             46040 kB
Writeback:             4 kB
AnonPages:       8080008 kB
Mapped:           132808 kB
Shmem:             37704 kB
KReclaimable:      82492 kB
Slab:             175816 kB
SReclaimable:      82492 kB
SUnreclaim:        93324 kB
KernelStack:        4032 kB
PageTables:        25132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9071460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45888 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1957888 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:      170824 kB
DirectMap2M:    14413824 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC011 at 2024-07-13 18:42:56