Trace number 4425277

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-07? 3585.37 3597.74

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-24reduc_wcsp.wbo
MD5SUMb6dc5c4972e391c215675692adb96c84
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1275
Total number of constraints56482
Number of soft constraints56401
Number of constraints which are clauses56401
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Top cost 3389
Min constraint cost 1
Max constraint cost 2434
Sum of constraints costs 18368517
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4425277-1720881378.wbo>
0.20/0.23	c original problem has 57676 variables (57676 bin, 0 int, 0 impl, 0 cont) and 112884 constraints
0.20/0.23	c problem read in 0.23
0.88/0.93	c presolving:
1.09/1.18	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 56401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 63676 clqs
38.18/38.38	c    (38.4s) probing: 1000/114077 (0.9%) - 0 fixings, 0 aggregations, 1303597 implications, 0 bound changes
38.28/38.41	c    (38.4s) probing: 1001/114077 (0.9%) - 0 fixings, 0 aggregations, 1303615 implications, 0 bound changes
38.28/38.41	c    (38.4s) probing aborted: 1000/1000 successive useless probings
38.28/38.41	c    (38.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
38.68/38.85	c    (38.8s) symmetry computation finished: 1 generators found (max: 561, log10 of symmetry group size: 0.0) (symcode time: 0.25)
38.68/38.86	c dynamic symmetry handling statistics:
38.68/38.86	c    orbitopal reduction:       no components
38.68/38.86	c    orbital reduction:         no components
38.68/38.86	c    lexicographic reduction:    1 permutations with support sizes 5400
38.68/38.86	c handled 1 out of 1 symmetry components
38.78/38.96	c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
38.78/38.96	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 56401 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
38.78/38.96	c  0 implications, 122801 cliques
38.78/38.96	c presolved problem has 114077 variables (57676 bin, 0 int, 56401 impl, 0 cont) and 112884 constraints
38.78/38.96	c       1 constraints of type <knapsack>
38.78/38.96	c      81 constraints of type <setppc>
38.78/38.96	c   56401 constraints of type <linear>
38.78/38.96	c   56401 constraints of type <indicator>
38.78/38.96	c transformed objective value is always integral (scale: 1)
38.78/38.96	c Presolving Time: 38.55
38.78/38.96	c - non default parameters ----------------------------------------------------------------------
38.78/38.96	c # SCIP version 10.0.0
38.78/38.96	c 
38.78/38.96	c # maximal time in seconds to run
38.78/38.96	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
38.78/38.96	c limits/time = 3596.998048
38.78/38.96	c 
38.78/38.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
38.78/38.96	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
38.78/38.96	c limits/memory = 27900
38.78/38.96	c 
38.78/38.96	c # belongs reading time to solving time?
38.78/38.96	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
38.78/38.96	c timing/reading = TRUE
38.78/38.96	c 
38.78/38.96	c -----------------------------------------------------------------------------------------------
38.78/38.96	c start solving
38.88/39.02	c 
412.19/413.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
412.19/413.89	c   414s|     1 |     0 |   495 |     - |   794M |   0 | 114k| 112k| 112k|   0 |  0 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
431.56/433.26	c   433s|     1 |     0 |  5774 |     - |   853M |   0 | 114k| 112k| 112k|  38 |  1 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
448.63/450.30	c   450s|     1 |     0 |  6037 |     - |   864M |   0 | 114k| 112k| 112k|  72 |  2 |  91 |   0 | 0.000000e+00 |      --      |    Inf | unknown
465.59/467.31	c   467s|     1 |     0 |  6227 |     - |   875M |   0 | 114k| 112k| 112k| 101 |  3 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
482.76/484.53	c   485s|     1 |     0 |  6426 |     - |   887M |   0 | 114k| 112k| 113k| 130 |  4 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.72/501.53	c   502s|     1 |     0 |  6750 |     - |   899M |   0 | 114k| 112k| 113k| 157 |  5 |  96 |   0 | 0.000000e+00 |      --      |    Inf | unknown
516.49/518.33	c   518s|     1 |     0 |  6916 |     - |   911M |   0 | 114k| 112k| 113k| 181 |  6 |  98 |   0 | 0.000000e+00 |      --      |    Inf | unknown
533.35/535.24	c   535s|     1 |     0 |  7138 |     - |   923M |   0 | 114k| 112k| 113k| 210 |  7 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
549.93/551.81	c   552s|     1 |     0 |  7316 |     - |   937M |   0 | 114k| 112k| 113k| 230 |  8 | 103 |   0 | 0.000000e+00 |      --      |    Inf | unknown
566.69/568.66	c   569s|     1 |     0 |  7473 |     - |   953M |   0 | 114k| 112k| 113k| 254 |  9 | 108 |   0 | 0.000000e+00 |      --      |    Inf | unknown
583.46/585.43	c   585s|     1 |     0 |  7657 |     - |   967M |   0 | 114k| 112k| 113k| 272 | 10 | 114 |   0 | 0.000000e+00 |      --      |    Inf | unknown
599.62/601.64	c   602s|     1 |     0 |  7801 |     - |   977M |   0 | 114k| 113k| 113k| 285 | 11 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
624.84/626.97	c   627s|     1 |     2 | 13964 |     - |  1005M |   0 | 114k| 113k| 113k| 285 | 11 | 494 |  22 | 0.000000e+00 |      --      |    Inf | unknown
838.52/841.40	c   841s|   100 |    52 | 45672 | 384.4 |  1358M |  24 | 114k| 113k| 113k|1701 |  1 | 770 | 775 | 0.000000e+00 |      --      |    Inf |   0.56%
894.12/897.28	c   897s|   200 |   137 | 69954 | 313.2 |  1480M |  25 | 114k| 114k| 113k|2609 |  1 |1266 | 827 | 0.000000e+00 |      --      |    Inf |   0.71%
958.28/961.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
958.28/961.60	c   962s|   300 |   211 | 92184 | 282.8 |  1637M |  47 | 114k| 114k| 113k|3383 |  1 |1735 | 907 | 0.000000e+00 |      --      |    Inf |   0.71%
1038.30/1041.93	c  1042s|   400 |   288 |124109 | 292.0 |  1687M |  47 | 114k| 115k| 112k|3748 |  1 |3113 | 994 | 0.000000e+00 |      --      |    Inf |   0.71%
1151.50/1155.55	c  1156s|   500 |   382 |187092 | 359.7 |  1921M |  47 | 114k| 115k| 113k|5842 |  1 |4545 |1072 | 0.000000e+00 |      --      |    Inf |   0.81%
1258.23/1262.61	c  1263s|   600 |   482 |254604 | 412.3 |  2048M |  47 | 114k| 115k| 113k|7142 |  1 |6157 |1176 | 0.000000e+00 |      --      |    Inf |   0.81%
1403.32/1408.26	c  1408s|   700 |   564 |313089 | 437.0 |  2448M |  47 | 114k| 115k| 113k|8737 |  2 |8346 |1363 | 0.000000e+00 |      --      |    Inf |   0.91%
1555.25/1560.72	c  1561s|   800 |   648 |380204 | 466.3 |  2792M |  47 | 114k| 116k| 113k|  10k|  9 |  10k|1559 | 0.000000e+00 |      --      |    Inf |   0.91%
1688.07/1694.02	c  1694s|   900 |   734 |450413 | 492.5 |  3018M |  47 | 114k| 116k| 113k|  12k|  2 |  12k|1784 | 0.000000e+00 |      --      |    Inf |   1.01%
1780.32/1786.61	c  1787s|  1000 |   802 |500871 | 493.7 |  3076M |  62 | 114k| 116k| 113k|  13k|  1 |  13k|1968 | 0.000000e+00 |      --      |    Inf |   1.01%
1835.90/1842.42	c  1842s|  1100 |   858 |534437 | 479.4 |  3113M |  75 | 114k| 116k| 113k|  13k|  1 |  13k|2075 | 0.000000e+00 |      --      |    Inf |   1.01%
1882.12/1888.81	c  1889s|  1200 |   904 |560519 | 461.1 |  3157M |  81 | 114k| 116k| 113k|  13k|  0 |  13k|2151 | 0.000000e+00 |      --      |    Inf |   1.02%
1884.11/1890.88	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1895.78/1902.57	c (run 1, node 1211) performing user restart
1895.78/1902.57	c 
1895.78/1902.58	c (restart) converted 141 cuts from the global cut pool into linear constraints
1895.78/1902.58	c 
1896.18/1902.92	c presolving:
1896.38/1903.19	c (round 1, exhaustive) 0 del vars, 38 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 141 upgd conss, 0 impls, 122808 clqs
1908.05/1914.89	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1908.05/1914.89	c  0 deleted vars, 120 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 98 changed coefficients
1908.05/1914.89	c  0 implications, 122808 cliques
1908.05/1914.89	c presolved problem has 114077 variables (57676 bin, 0 int, 56401 impl, 0 cont) and 116586 constraints
1908.05/1914.89	c     112 constraints of type <knapsack>
1908.05/1914.89	c      88 constraints of type <setppc>
1908.05/1914.89	c   56401 constraints of type <linear>
1908.05/1914.89	c    3584 constraints of type <logicor>
1908.05/1914.89	c   56401 constraints of type <indicator>
1908.05/1914.89	c transformed objective value is always integral (scale: 1)
1908.05/1914.89	c Presolving Time: 50.57
1908.15/1914.94	c 
1910.05/1916.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1910.05/1916.86	c  1917s|     1 |     0 |563044 |     - |  3142M |   0 | 114k| 116k| 113k|   0 |  0 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
1927.31/1934.18	c  1934s|     1 |     0 |563381 |     - |  3145M |   0 | 114k| 116k| 113k|  42 |  1 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
1944.67/1951.53	c  1952s|     1 |     0 |563571 |     - |  3156M |   0 | 114k| 116k| 113k|  74 |  2 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
1962.24/1969.11	c  1969s|     1 |     0 |563762 |     - |  3156M |   0 | 114k| 116k| 113k| 102 |  3 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
1979.21/1986.19	c  1986s|     1 |     0 |563999 |     - |  3156M |   0 | 114k| 116k| 113k| 132 |  4 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
1995.78/2002.73	c  2003s|     1 |     0 |564236 |     - |  3167M |   0 | 114k| 116k| 113k| 152 |  5 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2012.15/2019.19	c  2019s|     1 |     0 |564478 |     - |  3178M |   0 | 114k| 116k| 113k| 175 |  6 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2028.81/2035.85	c  2036s|     1 |     0 |564741 |     - |  3190M |   0 | 114k| 116k| 113k| 198 |  7 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2045.79/2052.80	c  2053s|     1 |     0 |564972 |     - |  3190M |   0 | 114k| 116k| 113k| 224 |  8 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2062.35/2069.46	c  2069s|     1 |     0 |565164 |     - |  3190M |   0 | 114k| 116k| 113k| 241 |  9 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2079.12/2086.26	c  2086s|     1 |     0 |565337 |     - |  3201M |   0 | 114k| 116k| 113k| 258 | 10 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2095.49/2102.61	c  2103s|     1 |     0 |565461 |     - |  3201M |   0 | 114k| 116k| 113k| 273 | 11 |  14k|2151 | 0.000000e+00 |      --      |    Inf | unknown
2119.01/2126.20	c  2126s|     1 |     2 |573235 |     - |  3203M |   0 | 114k| 116k| 113k| 273 | 11 |  14k|2169 | 0.000000e+00 |      --      |    Inf | unknown
2261.15/2268.89	c  2269s|   100 |    97 |619520 | 464.8 |  3453M |  42 | 114k| 117k| 113k|1252 |  1 |  18k|2258 | 0.000000e+00 |      --      |    Inf | unknown
2360.60/2368.68	c  2369s|   200 |   187 |662991 | 462.7 |  3533M |  44 | 114k| 116k| 113k|1887 |  1 |  19k|2442 | 0.000000e+00 |      --      |    Inf |   3.13%
2485.24/2493.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2485.24/2493.79	c  2494s|   300 |   271 |727370 | 474.7 |  3661M |  45 | 114k| 115k| 113k|3185 |  2 |  20k|2607 | 0.000000e+00 |      --      |    Inf |   4.41%
2589.37/2598.28	c  2598s|   400 |   353 |773561 | 473.9 |  3706M |  47 | 114k| 114k| 113k|3909 |  1 |  21k|2793 | 0.000000e+00 |      --      |    Inf |   4.41%
2684.15/2693.38	c  2693s|   500 |   447 |817125 | 471.7 |  3729M |  47 | 114k| 116k| 113k|4605 |  1 |  24k|2891 | 0.000000e+00 |      --      |    Inf |   5.19%
2801.46/2811.07	c  2811s|   600 |   529 |868046 | 473.7 |  3846M |  47 | 114k| 116k| 113k|5562 |  2 |  26k|3047 | 0.000000e+00 |      --      |    Inf |   5.19%
2933.31/2943.31	c  2943s|   700 |   615 |922091 | 477.2 |  4036M |  53 | 114k| 116k| 113k|7483 |  1 |  28k|3220 | 0.000000e+00 |      --      |    Inf |   5.59%
2989.99/3000.20	c  3000s|   800 |   682 |954891 | 469.8 |  4073M |  70 | 114k| 116k| 113k|7647 |  2 |  28k|3353 | 0.000000e+00 |      --      |    Inf |   5.59%
3039.61/3050.04	c  3050s|   900 |   742 |977648 | 458.3 |  4096M |  82 | 114k| 116k| 113k|7773 |  1 |  28k|3445 | 0.000000e+00 |      --      |    Inf |   5.61%
3091.72/3102.34	c  3102s|  1000 |   803 |995489 | 445.7 |  4134M |  96 | 114k| 116k| 113k|7821 |  1 |  28k|3570 | 0.000000e+00 |      --      |    Inf |   5.61%
3139.15/3149.91	c  3150s|  1100 |   856 |  1017k| 435.8 |  4195M | 115 | 114k| 116k| 113k|7990 |  1 |  28k|3655 | 0.000000e+00 |      --      |    Inf |   7.03%
3187.98/3198.97	c  3199s|  1200 |   916 |  1037k| 426.3 |  4212M | 119 | 114k| 116k| 113k|8008 |  1 |  29k|3776 | 0.000000e+00 |      --      |    Inf |   7.03%
3226.34/3237.45	c  3237s|  1300 |   944 |  1053k| 415.5 |  4240M | 126 | 114k| 115k| 113k|8034 |  1 |  29k|3852 | 0.000000e+00 |      --      |    Inf |   7.03%
3275.05/3286.35	c  3286s|  1400 |   984 |  1075k| 408.1 |  4286M | 126 | 114k| 115k|   0 |8103 |  0 |  29k|3976 | 0.000000e+00 |      --      |    Inf |   7.03%
3320.49/3331.91	c  3332s|  1500 |  1029 |  1094k| 400.1 |  4322M | 126 | 114k| 115k|   0 |8153 |  0 |  29k|4103 | 0.000000e+00 |      --      |    Inf |   7.03%
3370.20/3381.85	c  3382s|  1600 |  1070 |  1116k| 393.6 |  4364M | 126 | 114k| 114k| 113k|8226 |  1 |  29k|4229 | 0.000000e+00 |      --      |    Inf |   7.62%
3429.29/3441.18	c  3441s|  1700 |  1117 |  1140k| 388.3 |  4406M | 126 | 114k| 114k| 113k|8752 |  3 |  29k|4358 | 0.000000e+00 |      --      |    Inf |  10.84%
3466.34/3478.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3466.34/3478.35	c  3478s|  1800 |  1184 |  1158k| 381.4 |  4422M | 126 | 114k| 114k| 113k|8838 |  2 |  29k|4437 | 0.000000e+00 |      --      |    Inf |  11.68%
3509.98/3522.16	c  3522s|  1900 |  1223 |  1178k| 375.4 |  4449M | 126 | 114k| 114k| 113k|8997 |  1 |  29k|4521 | 0.000000e+00 |      --      |    Inf |  12.26%
3574.36/3586.79	c  3587s|  2000 |  1263 |  1198k| 370.1 |  4468M | 126 | 114k| 115k| 113k|9018 |  1 |  30k|4621 | 0.000000e+00 |      --      |    Inf |  12.26%
3584.52/3597.00	c 
3584.52/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.52/3597.00	c Solving Time (sec) : 3597.00
3584.52/3597.00	c Solving Nodes      : 2023 (total of 3234 nodes in 2 runs)
3584.52/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.52/3597.00	c Dual Bound         : +0.00000000000000e+00
3584.52/3597.00	c Gap                : infinite
3584.52/3597.00	s UNKNOWN
3584.52/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.52/3597.00	c Total Time         :    3597.00
3584.52/3597.00	c   solving          :    3597.00
3584.52/3597.00	c   presolving       :      50.57 (included in solving)
3584.52/3597.00	c   reading          :       0.23 (included in solving)
3584.52/3597.00	c   copying          :       2.10 (6 #copies) (minimal 0.34, maximal 0.37, average 0.35)
3584.52/3597.00	c Original Problem   :
3584.52/3597.00	c   Problem name     : HOME/instance-4425277-1720881378.wbo
3584.52/3597.00	c   Variables        : 57676 (57676 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.52/3597.00	c   Constraints      : 112884 initial, 112884 maximal
3584.62/3597.00	c   Objective        : minimize, 56401 non-zeros (abs.min = 1, abs.max = 2434)
3584.62/3597.00	c Presolved Problem  :
3584.62/3597.00	c   Problem name     : t_HOME/instance-4425277-1720881378.wbo
3584.62/3597.00	c   Variables        : 114077 (57676 binary, 0 integer, 56401 implicit integer, 0 continuous)
3584.62/3597.00	c   Constraints      : 116586 initial, 117399 maximal
3584.62/3597.00	c   Objective        : minimize, 56401 non-zeros (abs.min = 1, abs.max = 2434)
3584.62/3597.00	c   Nonzeros         : 631697 constraint, 565061 clique table
3584.62/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.62/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   gateextraction   :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   trivial          :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dualfix          :       0.02       0.00      4          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   probing          :      37.07       0.00      1          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   pseudoobj        :       0.01       0.02      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   symmetry         :       0.45       0.00      1          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   vbounds          :       0.12       0.01      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   knapsack         :       0.11       0.01      6          0          0          0          0          0          0          0          1         34
3584.62/3597.00	c   setppc           :       0.01       0.00      6          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   linear           :       0.33       0.02      7          0          0          0      56401          0          0          0          0          0
3584.62/3597.00	c   logicor          :      11.57       0.03      5          0          0          0          0          0        120          0          0         64
3584.62/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   indicator        :       0.06       0.01      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   components       :       0.17       0.00      2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.62/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.62/3597.00	c   benderslp        :          0          0          0          0       2854          0          0        832          0          0          0          0          0          0          0
3584.62/3597.00	c   integral         :          0          0          0          0       2854          0          0        832          0          0        343          0          0        375       5438
3584.62/3597.00	c   knapsack         :        112+       113         11     204202          0          0          0        827      58564        575        429          6          1          0          0
3584.62/3597.00	c   setppc           :         88         88         22     203640          0          0          0        740       4695       1654      26754          0          0          0          0
3584.62/3597.00	c   linear           :      56401+     56402         22     201986          0          0          0          3     147411        274      91740          0          0          0          0
3584.62/3597.00	c   logicor          :       3584+      4396         22      29622          0          0          0          0       4652       3139       7543         45         28          0          0
3584.62/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   indicator        :      56401      56401       1073     198573          0          0          0          0     174593         32    5825873          0          0          0          0
3584.62/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.62/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   integral         :     953.67       0.00       0.00       0.00     953.66       0.00       0.00       0.01       0.00       0.00
3584.62/3597.00	c   knapsack         :      73.11       0.01       0.01      43.35       0.00       0.00       0.00       3.04      26.58       0.12
3584.62/3597.00	c   setppc           :       9.46       0.00       0.00       8.84       0.00       0.00       0.00       0.00       0.01       0.61
3584.62/3597.00	c   linear           :      19.09       0.02       0.17      17.90       0.00       0.00       0.00       0.00       0.12       0.89
3584.62/3597.00	c   logicor          :      19.90       0.03       0.02      19.77       0.00       0.00       0.00       0.00       0.03       0.05
3584.62/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   indicator        :     642.36       0.01       9.78     577.33       0.00       0.00       0.00       0.00       0.10      55.15
3584.62/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   components       :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.62/3597.00	c   dualfix          :          2          0          0          0
3584.62/3597.00	c   genvbounds       :          0          0          0          0
3584.62/3597.00	c   nlobbt           :          0          0          0          0
3584.62/3597.00	c   obbt             :          0          0          0          0
3584.62/3597.00	c   probing          :          0          0          0          0
3584.62/3597.00	c   pseudoobj        :      14084        321          1       8710
3584.62/3597.00	c   redcost          :      10594          0          0    6411736
3584.62/3597.00	c   rootredcost      :          2          0          0          0
3584.62/3597.00	c   symmetry         :       9131          0          0          4
3584.62/3597.00	c   vbounds          :     100299          0          0          0
3584.62/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.62/3597.00	c   dualfix          :       0.02       0.00       0.02       0.01       0.00       0.00
3584.62/3597.00	c   genvbounds       :       0.06       0.00       0.00       0.05       0.00       0.01
3584.62/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.62/3597.00	c   probing          :      37.08       0.00      37.07       0.00       0.00       0.00
3584.62/3597.00	c   pseudoobj        :       0.49       0.02       0.01       0.16       0.30       0.00
3584.62/3597.00	c   redcost          :      64.52       0.00       0.00      64.51       0.00       0.00
3584.62/3597.00	c   rootredcost      :       0.15       0.00       0.00       0.14       0.00       0.01
3584.62/3597.00	c   symmetry         :       1.08       0.00       0.45       0.54       0.00       0.09
3584.62/3597.00	c   vbounds          :       7.28       0.01       0.12       7.14       0.00       0.01
3584.62/3597.00	c Symmetry           :
3584.62/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.62/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.62/3597.00	c   lexicographic red:          4 reductions applied,          0 cutoffs
3584.62/3597.00	c   shadow tree time :       0.06 s
3584.62/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.62/3597.00	c   propagation      :      27.42       5671       5633          -      40095       42.2        327       17.3          -          -          -
3584.62/3597.00	c   infeasible LP    :       0.13          2          2          -          7       65.1          0        0.0          2       70.0          0
3584.62/3597.00	c   bound exceed. LP :      15.08        394         26          -        146      151.6          0        0.0          0        0.0       3704
3584.62/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.62/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.62/3597.00	c   applied globally :      90.15          -          -          0      30539       40.4          -          -          2          -          -
3584.62/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.62/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.62/3597.00	c   cut pool         :       2.30          -       1703         42          -          -      25265     225875          -          -          -          -          -    (maximal pool size:       4630)
3584.62/3597.00	c   aggregation      :      33.66       0.00        597         22          0          0          5        126          0          3          3          0          0
3584.62/3597.00	c   > cmir           :          -          -          -          -          -          -          -        125          0          2          2          0          -
3584.62/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          1          0          1          1          0          -
3584.62/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.62/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   clique           :     346.31       0.00         22         22          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   gomory           :     117.03       0.00        358         20          0          0      20880     184611         16       9298       9298          0          0
3584.62/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -      59673          8        877        877          0          -
3584.62/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     124938          8       8421       8421          0          -
3584.62/3597.00	c   impliedbounds    :       6.92       0.00        597         22          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   mcf              :       0.18       0.00          2          2          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   mixing           :       0.00       0.00        597         22          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   multilinear      :       0.00       0.00        130         22          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   rlt              :       0.00       0.00         96         20          0          0          0          0          0          0          0          0          0
3584.62/3597.00	c   zerohalf         :      14.98       0.00        360         22          0          0       4402      41138          6      13499      13493          6          0
3584.62/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.62/3597.00	c   hybrid           :       0.40       0.00       1208         22      22829          0     203119        558          0       4954
3584.62/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.62/3597.00	c   problem variables:       0.00          -          0          0
3584.62/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.62/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c   relpscost        :     953.66       0.00       2854          0          0          0        343          0        427       5438
3584.62/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.62/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.62/3597.00	c   LP solutions     :       0.00          -          -          0          0
3584.62/3597.00	c   relax solutions  :       0.00          -          -          0          0
3584.62/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3584.62/3597.00	c   strong branching :       0.03          -          -          0          0
3584.62/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3584.62/3597.00	c   adaptivediving   :      11.96       0.00         11          0          0
3584.62/3597.00	c   alns             :       5.01       0.00          3          0          0
3584.62/3597.00	c   bound            :       0.00       0.00          0          0          0
3584.62/3597.00	c   clique           :       0.53       0.00          1          0          0
3584.62/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3584.62/3597.00	c   completesol      :       0.00       0.00          0          0          0
3584.62/3597.00	c   conflictdiving   :     121.37       0.00         65          0          0
3584.62/3597.00	c   crossover        :       0.00       0.00          0          0          0
3584.62/3597.00	c   dins             :       0.00       0.00          0          0          0
3584.62/3597.00	c   distributiondivin:      36.91       0.00         64          0          0
3584.62/3597.00	c   dps              :       0.00       0.00          0          0          0
3584.62/3597.00	c   dualval          :       0.00       0.00          0          0          0
3584.62/3597.00	c   farkasdiving     :      23.53       0.00          2          0          0
3584.62/3597.00	c   feasjump         :       0.17       0.00          2          0          0
3584.62/3597.00	c   feaspump         :      17.40       0.00          7          0          0
3584.62/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3584.62/3597.00	c   fracdiving       :      86.86       0.00         65          0          0
3584.62/3597.00	c   gins             :       0.00       0.00          0          0          0
3584.62/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3584.62/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.62/3597.00	c   indicator        :       0.00       0.00          0          0          0
3584.62/3597.00	c   indicatordiving  :       0.01       0.00          0          0          0
3584.62/3597.00	c   indoneopt        :       0.53       0.03          2          0          0
3584.62/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3584.62/3597.00	c   indtwoopt        :       0.00       0.04          0          0          0
3584.62/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3584.62/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3584.62/3597.00	c   linesearchdiving :     157.61       0.00         65          0          0
3584.62/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3584.62/3597.00	c   locks            :       0.11       0.00          1          0          0
3584.62/3597.00	c   lpface           :       2.02       0.00          2          0          0
3584.62/3597.00	c   mpec             :       0.00       0.00          0          0          0
3584.62/3597.00	c   multistart       :       0.00       0.00          0          0          0
3584.62/3597.00	c   mutation         :       0.00       0.00          0          0          0
3584.62/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3584.62/3597.00	c   objpscostdiving  :      29.72       0.00          5          0          0
3584.62/3597.00	c   octane           :       0.00       0.00          0          0          0
3584.62/3597.00	c   ofins            :       0.00       0.00          0          0          0
3584.62/3597.00	c   oneopt           :       0.00       0.00          0          0          0
3584.62/3597.00	c   padm             :       0.00       0.00          0          0          0
3584.62/3597.00	c   proximity        :       0.00       0.00          0          0          0
3584.62/3597.00	c   pscostdiving     :      30.71       0.00         43          0          0
3584.62/3597.00	c   randrounding     :      10.07       0.00        832          0          0
3584.62/3597.00	c   rens             :       2.32       0.00          2          0          0
3584.62/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3584.62/3597.00	c   repair           :       0.00       0.00          0          0          0
3584.62/3597.00	c   rins             :       0.00       0.00          0          0          0
3584.62/3597.00	c   rootsoldiving    :      18.49       0.00          7          0          0
3584.62/3597.00	c   rounding         :       3.64       0.00        856          0          0
3584.62/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3584.62/3597.00	c   shiftandpropagate:       1.40       0.00          2          0          0
3584.62/3597.00	c   shifting         :       4.42       0.00        525          0          0
3584.62/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3584.62/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3584.62/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3584.62/3597.00	c   trivial          :       0.17       0.00          4          0          0
3584.62/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3584.62/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3584.62/3597.00	c   trysol           :       0.00       0.00          0          0          0
3584.62/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3584.62/3597.00	c   undercover       :       0.00       0.00          0          0          0
3584.62/3597.00	c   vbounds          :     373.27       0.00          2          0          0
3584.62/3597.00	c   veclendiving     :     101.07       0.00         64          0          0
3584.62/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3584.62/3597.00	c   zirounding       :       0.95       0.00       1000          0          0
3584.62/3597.00	c   other solutions  :          -          -          -          0          -
3584.62/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.62/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.62/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3584.62/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.62/3597.00	c   primal LP        :      12.34        411          0       0.00       0.00      12.34        411
3584.62/3597.00	c   dual LP          :     708.68       7513     774238     162.62    1092.50      65.46       2752
3584.62/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3584.62/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.62/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3584.62/3597.00	c   diving/probing LP:     155.04       1762     429127     243.55    2767.85
3584.62/3597.00	c   strong branching :     665.63       4642     500500     107.82     751.91          -          -        609
3584.62/3597.00	c     (at root node) :          -         40      10905     272.62          -
3584.62/3597.00	c   conflict analysis:       5.89        371       3704       9.98     629.17
3584.62/3597.00	c B&B Tree           :
3584.62/3597.00	c   number of runs   :          2
3584.62/3597.00	c   nodes            :       2023 (1656 internal, 367 leaves)
3584.62/3597.00	c   feasible leaves  :          0
3584.62/3597.00	c   infeas. leaves   :        169
3584.62/3597.00	c   objective leaves :        197
3584.62/3597.00	c   nodes (total)    :       3234 (2719 internal, 515 leaves)
3584.62/3597.00	c   nodes left       :       1277
3584.62/3597.00	c   max depth        :        126
3584.62/3597.00	c   max depth (total):        126
3584.62/3597.00	c   backtracks       :        236 (11.7%)
3584.62/3597.00	c   early backtracks :          0 (0.0%)
3584.62/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3584.62/3597.00	c   delayed cutoffs  :         14
3584.62/3597.00	c   repropagations   :        159 (643 domain reductions, 14 cutoffs)
3584.62/3597.00	c   avg switch length:       3.72
3584.62/3597.00	c   switching time   :      30.59
3584.62/3597.00	c Root Node          :
3584.62/3597.00	c   First LP value   : +0.00000000000000e+00
3584.62/3597.00	c   First LP Iters   :        312 (1535.03 Iter/sec)
3584.62/3597.00	c   First LP Time    :       0.20
3584.62/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3584.62/3597.00	c   Final Root Iters :      10573
3584.62/3597.00	c   Root LP Estimate : +1.09052235425571e+03
3584.62/3597.00	c Solution           :
3584.62/3597.00	c   Solutions found  :          0 (0 improvements)
3584.62/3597.00	c   Primal Bound     :          -
3584.62/3597.00	c   Dual Bound       : +0.00000000000000e+00
3584.62/3597.00	c   Gap              :   infinite
3584.62/3597.00	c Integrals          :      Total       Avg%
3584.62/3597.00	c   primal-dual      :  359699.83     100.00
3584.62/3597.00	c   primal-ref       :          -          - (not evaluated)
3584.62/3597.00	c   dual-ref         :          -          - (not evaluated)
3585.31/3597.70	c Time complete: 3585.33.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425277-1720881378/watcher-4425277-1720881378 -o /tmp/evaluation-result-4425277-1720881378/solver-4425277-1720881378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720877779-706261 --watchdog 3760 pbscip -f HOME/instance-4425277-1720881378.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100096 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=127002964/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=98436 memory=58216 CPUtime=0.1 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 11600 0 0 0 8 2 0 0 20 0 1 0 140302779 100798464 14554 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 24609 14554 3257 3540 0 12866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 58216 KiB

[startup+0.205567 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126857980/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=136920 memory=96628 CPUtime=0.2 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 21237 0 0 0 17 3 0 0 20 0 1 0 140302779 140206080 24157 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 34230 24157 3257 3540 0 22487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136920 KiB
Current children cumulated memory: 96628 KiB

[startup+0.305465 s]*
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126728788/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=217408 memory=176684 CPUtime=0.3 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 41435 0 0 0 24 6 0 0 20 0 1 0 140302779 222625792 44171 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 54352 44171 3576 3540 0 42609 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 217408 KiB
Current children cumulated memory: 176684 KiB

[startup+0.700235 s]
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126561676/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=374556 memory=332352 CPUtime=0.69 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 80327 0 0 0 58 11 0 0 20 0 1 0 140302779 383545344 83088 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 93639 83088 3608 3540 0 81896 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 374556 KiB
Current children cumulated memory: 332352 KiB

[startup+1.50024 s]
/proc/loadavg: 4.03 4.12 4.13 5/255 708898
/proc/meminfo: memFree=126144704/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=512040 memory=459712 CPUtime=1.48 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 114766 0 0 0 134 14 0 0 20 0 1 0 140302779 524328960 114928 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 128010 114928 3656 3540 0 116267 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 512040 KiB
Current children cumulated memory: 459712 KiB

[startup+3.10575 s]
/proc/loadavg: 4.11 4.13 4.14 5/255 708898
/proc/meminfo: memFree=125845964/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=3.09 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117699 0 0 0 294 15 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB

[startup+6.30023 s]
/proc/loadavg: 4.11 4.13 4.14 5/255 708900
/proc/meminfo: memFree=125822332/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=6.27 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117707 0 0 0 611 16 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.14 5/255 708900
/proc/meminfo: memFree=124868996/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=523828 memory=471492 CPUtime=12.66 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 117707 0 0 0 1249 17 0 0 20 0 1 0 140302779 536399872 117873 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 130957 117873 3656 3540 0 119214 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 471492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.14 5/255 708903
/proc/meminfo: memFree=123985428/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=531812 memory=479204 CPUtime=25.41 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 119725 0 0 0 2522 19 0 0 20 0 1 0 140302779 544575488 119801 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 132953 119801 3656 3540 0 121210 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 531812 KiB
Current children cumulated memory: 479204 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.13 5/255 708954
/proc/meminfo: memFree=121950784/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=842372 memory=736908 CPUtime=50.94 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 192040 0 0 0 5057 37 0 0 20 0 1 0 140302779 862588928 184227 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 210593 184227 3752 3540 0 198850 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 842372 KiB
Current children cumulated memory: 736908 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/255 708962
/proc/meminfo: memFree=120343296/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=859396 memory=751736 CPUtime=101.95 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 195331 0 0 0 10156 39 0 0 20 0 1 0 140302779 880021504 187934 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 214849 187934 3752 3540 0 203106 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 859396 KiB
Current children cumulated memory: 751736 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/255 708972
/proc/meminfo: memFree=120318984/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=862916 memory=755412 CPUtime=161.73 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 196216 0 0 0 16133 40 0 0 20 0 1 0 140302779 883625984 188853 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 215729 188853 3752 3540 0 203986 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 862916 KiB
Current children cumulated memory: 755412 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 708987
/proc/meminfo: memFree=120307728/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=867268 memory=759628 CPUtime=221.49 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 197293 0 0 0 22109 40 0 0 20 0 1 0 140302779 888082432 189907 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 216817 189907 3752 3540 0 205074 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 867268 KiB
Current children cumulated memory: 759628 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/257 708998
/proc/meminfo: memFree=120298764/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=872896 memory=764888 CPUtime=281.26 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 198633 0 0 0 28085 41 0 0 20 0 1 0 140302779 893845504 191222 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 218224 191222 3752 3540 0 206481 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 872896 KiB
Current children cumulated memory: 764888 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/257 709009
/proc/meminfo: memFree=120226072/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=877440 memory=769612 CPUtime=341 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 199803 0 0 0 34059 41 0 0 20 0 1 0 140302779 898498560 192403 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 219360 192403 3752 3540 0 207617 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 877440 KiB
Current children cumulated memory: 769612 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/257 709020
/proc/meminfo: memFree=120185028/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=882560 memory=774876 CPUtime=400.74 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 201117 0 0 0 40032 42 0 0 20 0 1 0 140302779 903741440 193719 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 220640 193719 3752 3540 0 208897 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 882560 KiB
Current children cumulated memory: 774876 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 709076
/proc/meminfo: memFree=117507236/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=1418156 memory=1297368 CPUtime=460.6 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 329294 0 0 0 46001 59 0 0 20 0 1 0 140302779 1452191744 324342 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 354539 324342 4007 3540 0 342796 0
Current children cumulated CPU time: 460.6 s

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

/proc/loadavg: 4.13 4.17 4.13 5/256 710697
/proc/meminfo: memFree=106437488/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4387560 memory=3537456 CPUtime=3211.29 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 865282 0 1 0 320952 177 0 0 20 0 1 0 140302779 4492861440 884364 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1096890 884364 4165 3540 0 1085147 0
Current children cumulated CPU time: 3211.29 s
Current children cumulated vsize: 4387560 KiB
Current children cumulated memory: 3537456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/259 710767
/proc/meminfo: memFree=106372916/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4436816 memory=3586968 CPUtime=3271.07 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 876772 0 1 0 326928 179 0 0 20 0 1 0 140302779 4543299584 896742 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1109204 896742 4165 3540 0 1097461 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 4436816 KiB
Current children cumulated memory: 3586968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.49 4.25 4.16 5/260 710778
/proc/meminfo: memFree=106302200/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4484336 memory=3656748 CPUtime=3330.84 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 887708 0 1 0 332903 181 0 0 20 0 1 0 140302779 4591960064 914187 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1121084 914187 4165 3540 0 1109341 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 4484336 KiB
Current children cumulated memory: 3656748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/260 710789
/proc/meminfo: memFree=106202520/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4534936 memory=3756072 CPUtime=3390.63 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 897406 0 1 0 338879 184 0 0 20 0 1 0 140302779 4643774464 939018 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1133734 939018 4165 3540 0 1121991 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 4534936 KiB
Current children cumulated memory: 3756072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.15 5/259 710800
/proc/meminfo: memFree=106120096/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4563296 memory=3821424 CPUtime=3450.4 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 903165 0 1 0 344855 185 0 0 20 0 1 0 140302779 4672815104 955356 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1140824 955356 4165 3540 0 1129081 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 4563296 KiB
Current children cumulated memory: 3821424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.15 5/259 710810
/proc/meminfo: memFree=106041384/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4605184 memory=3899168 CPUtime=3510.17 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 912165 0 1 0 350830 187 0 0 20 0 1 0 140302779 4715708416 974792 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1151296 974792 4165 3540 0 1139553 0
Current children cumulated CPU time: 3510.17 s
Current children cumulated vsize: 4605184 KiB
Current children cumulated memory: 3899168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.15 4.14 5/255 710820
/proc/meminfo: memFree=105979908/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4621592 memory=3960420 CPUtime=3569.97 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916396 0 1 0 356809 188 0 0 20 0 1 0 140302779 4732510208 990105 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155398 990105 4165 3540 0 1143655 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 4621592 KiB
Current children cumulated memory: 3960420 KiB

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

# cumulated CPU time of all completed processes:  user=3583.43 s, system=1.93758 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.14 5/255 710820
/proc/meminfo: memFree=105979936/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4621592 memory=3960420 CPUtime=3571.67 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916397 0 1 0 356979 188 0 0 20 0 1 0 140302779 4732510208 990105 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155398 990105 4165 3540 0 1143655 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 4621592 KiB
Current children cumulated memory: 3960420 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.14 5/255 710822
/proc/meminfo: memFree=105978648/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3961548 CPUtime=3578.04 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916747 0 1 0 357616 188 0 0 20 0 1 0 140302779 4733612032 990387 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 990387 4165 3540 0 1143924 0
Current children cumulated CPU time: 3578.04 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3961548 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.16 4.14 5/255 710822
/proc/meminfo: memFree=105971156/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969076 CPUtime=3581.23 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916816 0 1 0 357935 188 0 0 20 0 1 0 140302779 4733612032 992269 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992269 4165 3540 0 1143924 0
Current children cumulated CPU time: 3581.23 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969076 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105971044/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969308 CPUtime=3582.82 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916833 0 1 0 358094 188 0 0 20 0 1 0 140302779 4733612032 992327 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992327 4165 3540 0 1143924 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969308 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105971036/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969308 CPUtime=3584.42 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916860 0 1 0 358254 188 0 0 20 0 1 0 140302779 4733612032 992327 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992327 4165 3540 0 1143924 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969308 KiB

[startup+3597.2 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4622668 memory=3969496 CPUtime=3584.81 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 916932 0 1 0 358293 188 0 0 20 0 1 0 140302779 4733612032 992374 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1155667 992374 4165 3540 0 1143924 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 4622668 KiB
Current children cumulated memory: 3969496 KiB

[startup+3597.6 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4493684 memory=3839628 CPUtime=3585.22 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 917410 0 1 0 358333 189 0 0 20 0 1 0 140302779 4601532416 960164 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1123421 960164 4165 3540 0 1111678 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 4493684 KiB
Current children cumulated memory: 3839628 KiB

[startup+3597.7 s]
/proc/loadavg: 4.10 4.16 4.14 5/255 710823
/proc/meminfo: memFree=105970932/131524600 swapFree=131071996/131071996
[pid=708897] ppid=708894 vsize=4209604 memory=3587588 CPUtime=3585.31 cores=4,6
/proc/708897/stat : 708897 (pbscip) R 708894 708897 703803 0 -1 4194304 917945 0 1 0 358342 189 0 0 20 0 1 0 140302779 4310634496 897278 134679101440 4194304 18693293 140730299269344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46149632 140730299278314 140730299278413 140730299278413 140730299285454 0
/proc/708897/statm: 1052401 897278 4165 3540 0 1040658 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 4209604 KiB
Current children cumulated memory: 3587588 KiB

Child status: 0

Real time (s): 3597.74
CPU time (s): 3585.37
CPU user time (s): 3583.43
CPU system time (s): 1.93758
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 4622668
Max. memory (cumulated for all children) (KiB): 3969496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.43
system time used= 1.93758
maximum resident set size= 3969496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917975
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 3802


# summary of solver processes directly reported to runsolver:
#   pid: 708897
#   total CPU time (s): 3585.37
#   total CPU user time (s): 3583.43
#   total CPU system time (s): 1.93758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21647 second user time and 16.4131 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-13 16:36:31
IDJOB=4425277
IDBENCH=143861
IDSOLVER=3038
FILE ID=nodeC023/4425277-1720881378
RUNJOBID= nodeC023-1720877779-706261
SLURM_JOB_ID= 7483764
Free space on /tmp= 890020 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-24reduc_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425277-1720881378/watcher-4425277-1720881378 -o /tmp/evaluation-result-4425277-1720881378/solver-4425277-1720881378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720877779-706261 --watchdog 3760  pbscip -f HOME/instance-4425277-1720881378.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= b6dc5c4972e391c215675692adb96c84
RANDOM SEED=1029639598

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127107496 kB
MemAvailable:   127367424 kB
Buffers:          325416 kB
Cached:           778600 kB
SwapCached:            0 kB
Active:           507392 kB
Inactive:        3341880 kB
Active(anon):       1572 kB
Inactive(anon):  2781400 kB
Active(file):     505820 kB
Inactive(file):   560480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             63952 kB
Writeback:             0 kB
AnonPages:       2745288 kB
Mapped:           132892 kB
Shmem:             37720 kB
KReclaimable:      66900 kB
Slab:             164764 kB
SReclaimable:      66900 kB
SUnreclaim:        97864 kB
KernelStack:        4096 kB
PageTables:        14992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3226496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    411648 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:      164564 kB
DirectMap2M:     5900288 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC023 at 2024-07-13 17:36:29