Trace number 4425273

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? 3586.2 3597.96

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
MD5SUM85c9e899b779dcafda2f7e25c2fdc65d
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 variables1758
Total number of constraints105203
Number of soft constraints105121
Number of constraints which are clauses105121
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 36645766
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4425273-1720882967.wbo>
0.50/0.54	c original problem has 106879 variables (106879 bin, 0 int, 0 impl, 0 cont) and 210325 constraints
0.50/0.54	c problem read in 0.53
1.68/1.78	c presolving:
2.48/2.56	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 105121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 27084 clqs
70.11/70.31	c    (70.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
70.70/70.95	c    (70.9s) no symmetry present (symcode time: 0.30)
70.91/71.14	c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
70.91/71.14	c  25 deleted vars, 0 deleted constraints, 0 added constraints, 105121 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
70.91/71.14	c  0 implications, 27080 cliques
70.91/71.14	c presolved problem has 211975 variables (106879 bin, 0 int, 105096 impl, 0 cont) and 210325 constraints
70.91/71.14	c       1 constraints of type <knapsack>
70.91/71.14	c      82 constraints of type <setppc>
70.91/71.14	c  105121 constraints of type <linear>
70.91/71.14	c  105121 constraints of type <indicator>
70.91/71.14	c transformed objective value is always integral (scale: 1)
70.91/71.14	c Presolving Time: 70.20
70.91/71.14	c - non default parameters ----------------------------------------------------------------------
70.91/71.14	c # SCIP version 10.0.0
70.91/71.14	c 
70.91/71.14	c # maximal time in seconds to run
70.91/71.14	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
70.91/71.14	c limits/time = 3596.993169
70.91/71.14	c 
70.91/71.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
70.91/71.14	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
70.91/71.14	c limits/memory = 27900
70.91/71.14	c 
70.91/71.14	c # belongs reading time to solving time?
70.91/71.14	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
70.91/71.14	c timing/reading = TRUE
70.91/71.14	c 
70.91/71.14	c -----------------------------------------------------------------------------------------------
70.91/71.14	c start solving
71.00/71.25	c 
77.80/78.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
77.80/78.05	c  78.0s|     1 |     0 |   348 |     - |  1355M |   0 | 211k| 210k| 210k|   0 |  0 |  49 |   0 | 0.000000e+00 |      --      |    Inf | unknown
87.95/88.26	c  88.3s|     1 |     0 |  5401 |     - |  1462M |   0 | 211k| 210k| 210k|  43 |  1 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
93.93/94.23	c  94.2s|     1 |     0 |  5649 |     - |  1484M |   0 | 211k| 210k| 210k|  86 |  2 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
100.83/101.14	c   101s|     1 |     0 |  5784 |     - |  1534M |   0 | 211k| 210k| 210k| 109 |  3 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
106.71/107.02	c   107s|     1 |     0 |  5900 |     - |  1553M |   0 | 211k| 210k| 210k| 136 |  4 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
112.99/113.31	c   113s|     1 |     0 |  6119 |     - |  1578M |   0 | 211k| 210k| 210k| 164 |  5 |  62 |   0 | 0.000000e+00 |      --      |    Inf | unknown
118.98/119.33	c   119s|     1 |     0 |  6292 |     - |  1599M |   0 | 211k| 210k| 210k| 190 |  6 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
124.26/124.61	c   125s|     1 |     0 |  6468 |     - |  1621M |   0 | 211k| 210k| 210k| 222 |  7 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
129.55/129.99	c   130s|     1 |     0 |  6610 |     - |  1642M |   0 | 211k| 210k| 210k| 252 |  8 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
134.65/135.08	c   135s|     1 |     0 |  6842 |     - |  1663M |   0 | 211k| 210k| 210k| 287 |  9 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
139.33/139.72	c   140s|     1 |     0 |  7034 |     - |  1687M |   0 | 211k| 210k| 210k| 317 | 10 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
143.73/144.13	c   144s|     1 |     0 |  7183 |     - |  1712M |   0 | 211k| 210k| 210k| 338 | 11 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
194.32/194.97	c   195s|     1 |     2 | 16333 |     - |  1742M |   0 | 211k| 210k| 210k| 338 | 11 | 208 |  27 | 0.000000e+00 |      --      |    Inf | unknown
639.67/642.07	c   642s|   100 |    71 | 55407 | 487.1 |  2427M |  22 | 211k| 211k| 210k|1846 |  2 | 841 | 770 | 0.000000e+00 |      --      |    Inf |   1.23%
761.92/764.76	c   765s|   200 |   145 | 94595 | 439.3 |  2605M |  26 | 211k| 211k| 210k|2677 |  2 | 964 | 838 | 0.000000e+00 |      --      |    Inf |   1.25%
834.44/837.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
834.44/837.50	c   837s|   300 |   219 |117169 | 367.8 |  2650M |  33 | 211k| 211k|   0 |3117 |  0 |1174 | 883 | 0.000000e+00 |      --      |    Inf |   1.25%
1055.52/1059.35	c  1059s|   400 |   305 |180630 | 434.7 |  3060M |  34 | 211k| 212k| 210k|4778 |  2 |2569 | 978 | 0.000000e+00 |      --      |    Inf |   1.35%
1208.37/1212.65	c  1213s|   500 |   373 |240433 | 467.4 |  3156M |  34 | 211k| 213k| 210k|5264 |  2 |3687 |1073 | 0.000000e+00 |      --      |    Inf |   2.24%
1409.48/1414.39	c  1414s|   600 |   443 |298576 | 486.5 |  3400M |  34 | 211k| 212k| 210k|7075 |  1 |5170 |1167 | 0.000000e+00 |      --      |    Inf |   2.26%
1654.59/1660.27	c  1660s|   700 |   531 |363549 | 509.8 |  3495M |  34 | 211k| 213k| 210k|8588 |  4 |8033 |1279 | 0.000000e+00 |      --      |    Inf |   2.29%
1846.32/1852.64	c  1853s|   800 |   619 |429530 | 528.6 |  3610M |  41 | 211k| 212k| 210k|9459 |  1 |  10k|1401 | 0.000000e+00 |      --      |    Inf |   2.48%
2036.05/2042.90	c  2043s|   900 |   703 |479189 | 525.0 |  3777M |  44 | 211k| 214k| 210k|  10k|  2 |  13k|1486 | 0.000000e+00 |      --      |    Inf |   2.48%
2233.24/2240.73	c  2241s|  1000 |   775 |529667 | 523.0 |  3903M |  44 | 211k| 213k| 210k|  11k|  2 |  16k|1596 | 0.000000e+00 |      --      |    Inf |   2.49%
2438.56/2446.73	c  2447s|  1100 |   851 |609575 | 548.1 |  4033M |  44 | 211k| 212k| 210k|  11k|  2 |  18k|1741 | 0.000000e+00 |      --      |    Inf |   2.54%
2503.65/2512.07	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2503.65/2512.07	c (run 1, node 1140) performing user restart
2503.65/2512.07	c 
2503.65/2512.10	c (restart) converted 130 cuts from the global cut pool into linear constraints
2503.65/2512.10	c 
2504.23/2512.62	c presolving:
2518.40/2526.88	c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
2518.40/2526.88	c  0 deleted vars, 23 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 198 changed coefficients
2518.40/2526.88	c  0 implications, 27080 cliques
2518.40/2526.88	c presolved problem has 211975 variables (106879 bin, 0 int, 105096 impl, 0 cont) and 212803 constraints
2518.40/2526.88	c     123 constraints of type <knapsack>
2518.40/2526.88	c      82 constraints of type <setppc>
2518.40/2526.88	c  105121 constraints of type <linear>
2518.40/2526.88	c    2356 constraints of type <logicor>
2518.40/2526.88	c  105121 constraints of type <indicator>
2518.40/2526.88	c transformed objective value is always integral (scale: 1)
2518.40/2526.88	c Presolving Time: 84.56
2518.50/2526.98	c 
2523.49/2531.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2523.49/2531.97	c  2532s|     1 |     0 |639386 |     - |  4059M |   0 | 211k| 212k| 210k|   0 |  0 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2529.78/2538.24	c  2538s|     1 |     0 |639723 |     - |  4085M |   0 | 211k| 212k| 210k|  40 |  1 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2534.47/2542.93	c  2543s|     1 |     0 |639899 |     - |  4105M |   0 | 211k| 212k| 210k|  68 |  2 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2540.15/2548.66	c  2549s|     1 |     0 |640051 |     - |  4127M |   0 | 211k| 212k| 210k|  91 |  3 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2545.25/2553.79	c  2554s|     1 |     0 |640208 |     - |  4148M |   0 | 211k| 212k| 210k| 110 |  4 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2551.44/2559.94	c  2560s|     1 |     0 |640409 |     - |  4170M |   0 | 211k| 212k| 210k| 132 |  5 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2556.83/2565.31	c  2565s|     1 |     0 |640596 |     - |  4170M |   0 | 211k| 212k| 210k| 153 |  6 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2562.21/2570.77	c  2571s|     1 |     0 |640766 |     - |  4191M |   0 | 211k| 212k| 210k| 175 |  7 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2568.00/2576.56	c  2577s|     1 |     0 |640896 |     - |  4211M |   0 | 211k| 212k| 210k| 205 |  8 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2574.29/2582.81	c  2583s|     1 |     0 |641137 |     - |  4214M |   0 | 211k| 212k| 210k| 230 |  9 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2578.78/2587.38	c  2587s|     1 |     0 |641355 |     - |  4237M |   0 | 211k| 212k| 210k| 254 | 10 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2582.77/2591.38	c  2591s|     1 |     0 |641472 |     - |  4258M |   0 | 211k| 212k| 210k| 270 | 11 |  18k|1791 | 0.000000e+00 |      --      |    Inf | unknown
2617.15/2625.80	c  2626s|     1 |     2 |649854 |     - |  4265M |   0 | 211k| 212k| 210k| 270 | 11 |  18k|1808 | 0.000000e+00 |      --      |    Inf | unknown
2769.19/2778.31	c  2778s|   100 |   101 |727056 | 578.8 |  4397M |  36 | 211k| 212k| 210k| 552 |  1 |  20k|1854 | 0.000000e+00 |      --      |    Inf | unknown
2981.86/2991.66	c  2992s|   200 |   201 |788019 | 581.1 |  4706M |  44 | 211k| 213k| 210k|1760 |  1 |  22k|1940 | 0.000000e+00 |      --      |    Inf | unknown
3106.75/3117.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3106.75/3117.00	c  3117s|   300 |   284 |823808 | 565.6 |  4787M |  63 | 211k| 212k| 210k|2189 |  3 |  23k|2010 | 0.000000e+00 |      --      |    Inf | unknown
3210.38/3220.94	c  3221s|   400 |   350 |870685 | 559.3 |  4843M |  66 | 211k| 212k| 210k|2547 |  1 |  23k|2101 | 0.000000e+00 |      --      |    Inf | unknown
3382.85/3393.92	c  3394s|   500 |   418 |918215 | 554.2 |  4871M |  67 | 211k| 212k| 210k|3107 |  1 |  24k|2248 | 0.000000e+00 |      --      |    Inf | unknown
3529.24/3540.80	c  3541s|   600 |   496 |972959 | 553.8 |  4954M |  67 | 211k| 212k| 210k|3880 |  1 |  24k|2412 | 0.000000e+00 |      --      |    Inf | unknown
3585.25/3597.02	c 
3585.25/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3585.25/3597.02	c Solving Time (sec) : 3597.02
3585.25/3597.02	c Solving Nodes      : 638 (total of 1778 nodes in 2 runs)
3585.25/3597.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.25/3597.02	c Dual Bound         : +0.00000000000000e+00
3585.25/3597.02	c Gap                : infinite
3585.25/3597.02	s UNKNOWN
3585.25/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3585.25/3597.02	c Total Time         :    3597.02
3585.25/3597.02	c   solving          :    3597.02
3585.25/3597.02	c   presolving       :      84.56 (included in solving)
3585.25/3597.02	c   reading          :       0.53 (included in solving)
3585.25/3597.02	c   copying          :       3.59 (5 #copies) (minimal 0.69, maximal 0.77, average 0.72)
3585.25/3597.02	c Original Problem   :
3585.25/3597.02	c   Problem name     : HOME/instance-4425273-1720882967.wbo
3585.25/3597.02	c   Variables        : 106879 (106879 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.25/3597.02	c   Constraints      : 210325 initial, 210325 maximal
3585.25/3597.03	c   Objective        : minimize, 105121 non-zeros (abs.min = 1, abs.max = 2436)
3585.25/3597.03	c Presolved Problem  :
3585.25/3597.03	c   Problem name     : t_HOME/instance-4425273-1720882967.wbo
3585.25/3597.03	c   Variables        : 211975 (106879 binary, 0 integer, 105096 implicit integer, 0 continuous)
3585.25/3597.03	c   Constraints      : 212803 initial, 213279 maximal
3585.25/3597.03	c   Objective        : minimize, 105121 non-zeros (abs.min = 1, abs.max = 2436)
3585.25/3597.03	c   Nonzeros         : 1015380 constraint, 1052602 clique table
3585.25/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.25/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   gateextraction   :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   implics          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   trivial          :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dualfix          :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   probing          :      67.50       0.01      1          0         25          0          0          0          0          0          0          0
3585.25/3597.03	c   pseudoobj        :       0.02       0.03      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   symmetry         :       0.64       0.00      1          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   vbounds          :       0.11       0.00      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   knapsack         :       0.14       0.01      3          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   setppc           :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   linear           :       0.78       0.03      5          0          0          0     105121          0          0          0          0          0
3585.25/3597.03	c   logicor          :      13.75       0.01      3          0          0          0          0          0         23          0          0        198
3585.25/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   indicator        :       0.24       0.01      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   components       :       0.30       0.00      2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.25/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.25/3597.03	c   benderslp        :          0          0          0          0       1635          0          0        296          0          0          0          0          0          0          0
3585.25/3597.03	c   integral         :          0          0          0          0       1635          0          0        296          0          0        114          0          0        188       3178
3585.25/3597.03	c   knapsack         :        123        123         11      57332          0          0          0        291      60575        567         79          6          0          0          0
3585.25/3597.03	c   setppc           :         82         82         22      56772          0          0          0        256       1072       1348      22994          0          0          0          0
3585.25/3597.03	c   linear           :     105121     105121         22      55424          0          0          0          3     124477        160      42877          0          0          0          0
3585.25/3597.03	c   logicor          :       2356+      2832         22      19264          0          0          0          0       2052       2543       2397         43         20          0          0
3585.25/3597.03	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   indicator        :     105121     105121        479      52721          0          0          0          0     142832         14    4494469          0          0          0          0
3585.25/3597.03	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.25/3597.03	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   integral         :    1014.83       0.00       0.00       0.00    1014.81       0.00       0.00       0.02       0.00       0.00
3585.25/3597.03	c   knapsack         :     123.28       0.01       0.01      68.93       0.00       0.00       0.00       1.84      52.30       0.18
3585.25/3597.03	c   setppc           :      20.57       0.00       0.00      19.46       0.00       0.00       0.00       0.00       0.00       1.10
3585.25/3597.03	c   linear           :      25.91       0.03       0.30      24.26       0.00       0.00       0.00       0.00       0.09       1.23
3585.25/3597.03	c   logicor          :      36.56       0.01       0.01      36.24       0.00       0.00       0.00       0.00       0.01       0.28
3585.25/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   indicator        :     308.16       0.01       7.45     264.05       0.00       0.00       0.00       0.00       0.06      36.59
3585.25/3597.03	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.25/3597.03	c   dualfix          :          2          0          0          0
3585.25/3597.03	c   genvbounds       :          0          0          0          0
3585.25/3597.03	c   nlobbt           :          0          0          0          0
3585.25/3597.03	c   obbt             :          0          0          0          0
3585.25/3597.03	c   probing          :          0          0          0          0
3585.25/3597.03	c   pseudoobj        :       6997        173          0        811
3585.25/3597.03	c   redcost          :       5507          0          0    5190644
3585.25/3597.03	c   rootredcost      :          2          0          0          0
3585.25/3597.03	c   symmetry         :          0          0          0          0
3585.25/3597.03	c   vbounds          :      19454          0          0          0
3585.25/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.25/3597.03	c   dualfix          :       0.04       0.00       0.02       0.01       0.00       0.00
3585.25/3597.03	c   genvbounds       :       0.02       0.00       0.00       0.01       0.00       0.00
3585.25/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.25/3597.03	c   probing          :      67.51       0.01      67.50       0.00       0.00       0.00
3585.25/3597.03	c   pseudoobj        :       1.35       0.03       0.02       0.18       1.12       0.00
3585.25/3597.03	c   redcost          :      59.31       0.00       0.00      59.31       0.00       0.00
3585.25/3597.03	c   rootredcost      :       0.13       0.00       0.00       0.12       0.00       0.00
3585.25/3597.03	c   symmetry         :       0.66       0.00       0.64       0.02       0.00       0.01
3585.25/3597.03	c   vbounds          :       1.81       0.00       0.11       1.69       0.00       0.01
3585.25/3597.03	c Symmetry           :
3585.25/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.25/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.25/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.25/3597.03	c   shadow tree time :       0.00 s
3585.25/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.25/3597.03	c   propagation      :      53.52       4629       4577          -      35249       35.3        214       21.5          -          -          -
3585.25/3597.03	c   infeasible LP    :       0.03          1          1          -          4       31.8          0        0.0          1       52.0          0
3585.25/3597.03	c   bound exceed. LP :      19.63        245          8          -         50       66.5          0        0.0          0        0.0       2390
3585.25/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.25/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.25/3597.03	c   applied globally :     325.97          -          -          0      24736       34.8          -          -          1          -          -
3585.25/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.25/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.25/3597.03	c   cut pool         :       0.99          -        834         42          -          -      14002     154428          -          -          -          -          -    (maximal pool size:       4280)
3585.25/3597.03	c   aggregation      :      23.21       0.00        230         22          0          0          6        608          0          4          4          0          0
3585.25/3597.03	c   > cmir           :          -          -          -          -          -          -          -        608          0          4          4          0          -
3585.25/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.25/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.25/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   clique           :      70.50       0.00         22         22          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   gomory           :     121.19       0.00        170         20          0          0      11292     121373          0       7328       7328          0          0
3585.25/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -      33598          0        397        397          0          -
3585.25/3597.03	c   > strongcg       :          -          -          -          -          -          -          -      87775          0       6931       6931          0          -
3585.25/3597.03	c   impliedbounds    :       2.15       0.00        230         22          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   mcf              :       0.35       0.00          2          2          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   mixing           :       0.00       0.00        230         22          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   multilinear      :       0.00       0.00         98         22          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   rlt              :       0.00       0.00         65         20          0          0          0          0          0          0          0          0          0
3585.25/3597.03	c   zerohalf         :      13.16       0.00        172         22          0          0       2708      32447          4       9413       9413          0          0
3585.25/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.25/3597.03	c   hybrid           :       0.25       0.00        644         22      16765          0     137716        608          0       4972
3585.25/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.25/3597.03	c   problem variables:       0.00          -          0          0
3585.25/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.25/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c   relpscost        :    1014.81       0.00       1635          0          0          0        114          0        195       3178
3585.25/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.25/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.25/3597.03	c   LP solutions     :       0.00          -          -          0          0
3585.25/3597.03	c   relax solutions  :       0.00          -          -          0          0
3585.25/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3585.25/3597.03	c   strong branching :       0.02          -          -          0          0
3585.25/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3585.25/3597.03	c   adaptivediving   :      25.68       0.00          8          0          0
3585.25/3597.03	c   alns             :      13.62       0.00          3          0          0
3585.25/3597.03	c   bound            :       0.00       0.00          0          0          0
3585.25/3597.03	c   clique           :       1.00       0.00          1          0          0
3585.25/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3585.25/3597.03	c   completesol      :       0.00       0.00          0          0          0
3585.25/3597.03	c   conflictdiving   :     386.56       0.00         63          0          0
3585.25/3597.03	c   crossover        :       0.00       0.00          0          0          0
3585.25/3597.03	c   dins             :       0.00       0.00          0          0          0
3585.25/3597.03	c   distributiondivin:      41.40       0.00         30          0          0
3585.25/3597.03	c   dps              :       0.00       0.00          0          0          0
3585.25/3597.03	c   dualval          :       0.00       0.00          0          0          0
3585.25/3597.03	c   farkasdiving     :      53.45       0.00          2          0          0
3585.25/3597.03	c   feasjump         :       0.32       0.00          2          0          0
3585.25/3597.03	c   feaspump         :      22.87       0.00          6          0          0
3585.25/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3585.25/3597.03	c   fracdiving       :     113.56       0.00         38          0          0
3585.25/3597.03	c   gins             :       0.00       0.00          0          0          0
3585.25/3597.03	c   guideddiving     :       0.00       0.00          0          0          0
3585.25/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.25/3597.03	c   indicator        :       0.00       0.00          0          0          0
3585.25/3597.03	c   indicatordiving  :       0.02       0.00          0          0          0
3585.25/3597.03	c   indoneopt        :       1.15       0.06          2          0          0
3585.25/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3585.25/3597.03	c   indtwoopt        :       0.00       0.07          0          0          0
3585.25/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3585.25/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3585.25/3597.03	c   linesearchdiving :     205.47       0.00         35          0          0
3585.25/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3585.25/3597.03	c   locks            :       0.23       0.00          1          0          0
3585.25/3597.03	c   lpface           :       5.08       0.00          2          0          0
3585.25/3597.03	c   mpec             :       0.00       0.00          0          0          0
3585.25/3597.03	c   multistart       :       0.00       0.00          0          0          0
3585.25/3597.03	c   mutation         :       0.00       0.00          0          0          0
3585.25/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3585.25/3597.03	c   objpscostdiving  :      67.21       0.00          3          0          0
3585.25/3597.03	c   octane           :       0.00       0.00          0          0          0
3585.25/3597.03	c   ofins            :       0.00       0.00          0          0          0
3585.25/3597.03	c   oneopt           :       0.00       0.00          0          0          0
3585.25/3597.03	c   padm             :       0.00       0.00          0          0          0
3585.25/3597.03	c   proximity        :       0.00       0.00          0          0          0
3585.25/3597.03	c   pscostdiving     :      42.43       0.00         27          0          0
3585.25/3597.03	c   randrounding     :      11.16       0.00        299          0          0
3585.25/3597.03	c   rens             :       4.60       0.00          2          0          0
3585.25/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3585.25/3597.03	c   repair           :       0.00       0.00          0          0          0
3585.25/3597.03	c   rins             :       0.00       0.00          0          0          0
3585.25/3597.03	c   rootsoldiving    :      24.03       0.00          6          0          0
3585.25/3597.03	c   rounding         :       4.97       0.00        656          0          0
3585.25/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3585.25/3597.03	c   shiftandpropagate:       2.47       0.00          2          0          0
3585.25/3597.03	c   shifting         :       4.54       0.00        348          0          0
3585.25/3597.03	c   simplerounding   :       0.00       0.00          0          0          0
3585.25/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3585.25/3597.03	c   subnlp           :       0.00       0.00          0          0          0
3585.25/3597.03	c   trivial          :       0.31       0.00          4          0          0
3585.25/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3585.25/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3585.25/3597.03	c   trysol           :       0.00       0.00          0          0          0
3585.25/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3585.25/3597.03	c   undercover       :       0.00       0.00          0          0          0
3585.25/3597.03	c   vbounds          :       5.19       0.00          0          0          0
3585.25/3597.03	c   veclendiving     :     219.71       0.00         37          0          0
3585.25/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3585.25/3597.03	c   zirounding       :       1.86       0.00       1000          0          0
3585.25/3597.03	c   other solutions  :          -          -          -          0          -
3585.25/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.25/3597.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.25/3597.03	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.25/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.25/3597.03	c   primal LP        :      14.30        272          0       0.00       0.00      14.30        272
3585.25/3597.03	c   dual LP          :     722.74       3703     529058     207.96     732.01      49.46       1159
3585.25/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3585.25/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.25/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3585.25/3597.03	c   diving/probing LP:     284.15       1539     464999     302.14    1636.46
3585.25/3597.03	c   strong branching :     761.21       2448     379418     154.99     498.44          -          -        418
3585.25/3597.03	c     (at root node) :          -         44      12265     278.75          -
3585.25/3597.03	c   conflict analysis:       8.03        239       2390      10.00     297.55
3585.25/3597.03	c B&B Tree           :
3585.25/3597.03	c   number of runs   :          2
3585.25/3597.03	c   nodes            :        638 (579 internal, 59 leaves)
3585.25/3597.03	c   feasible leaves  :          0
3585.25/3597.03	c   infeas. leaves   :         35
3585.25/3597.03	c   objective leaves :         24
3585.25/3597.03	c   nodes (total)    :       1778 (1589 internal, 189 leaves)
3585.25/3597.03	c   nodes left       :        520
3585.25/3597.03	c   max depth        :         67
3585.25/3597.03	c   max depth (total):         67
3585.25/3597.03	c   backtracks       :        100 (15.7%)
3585.25/3597.03	c   early backtracks :          0 (0.0%)
3585.25/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3585.25/3597.03	c   delayed cutoffs  :          1
3585.25/3597.03	c   repropagations   :         12 (88 domain reductions, 1 cutoffs)
3585.25/3597.03	c   avg switch length:       4.01
3585.25/3597.03	c   switching time   :      29.70
3585.25/3597.03	c Root Node          :
3585.25/3597.03	c   First LP value   : +0.00000000000000e+00
3585.25/3597.03	c   First LP Iters   :        348 (700.30 Iter/sec)
3585.25/3597.03	c   First LP Time    :       0.50
3585.25/3597.03	c   Final Dual Bound : +0.00000000000000e+00
3585.25/3597.03	c   Final Root Iters :       9935
3585.25/3597.03	c   Root LP Estimate : +1.07117514130168e+03
3585.25/3597.03	c Solution           :
3585.25/3597.03	c   Solutions found  :          0 (0 improvements)
3585.25/3597.03	c   Primal Bound     :          -
3585.25/3597.03	c   Dual Bound       : +0.00000000000000e+00
3585.25/3597.03	c   Gap              :   infinite
3585.25/3597.03	c Integrals          :      Total       Avg%
3585.25/3597.03	c   primal-dual      :  359701.74     100.00
3585.25/3597.03	c   primal-ref       :          -          - (not evaluated)
3585.25/3597.03	c   dual-ref         :          -          - (not evaluated)
3586.13/3597.94	c Time complete: 3586.19.

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: 64059 MiB (62429 MiB free)
  memory of node 1: 64510 MiB (62951 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425273-1720882967/watcher-4425273-1720882967 -o /tmp/evaluation-result-4425273-1720882967/solver-4425273-1720882967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720879382-700522 --watchdog 3760 pbscip -f HOME/instance-4425273-1720882967.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=704195, runsolver pid=704192

[startup+0.100178 s]*
/proc/loadavg: 4.17 4.17 4.10 5/243 704196
/proc/meminfo: memFree=128369996/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=77892 memory=37264 CPUtime=0.09 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 6363 0 0 0 8 1 0 0 20 0 1 0 140453198 79761408 9316 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 19473 9316 3263 3540 0 7730 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77892 KiB
Current children cumulated memory: 37264 KiB

[startup+0.212908 s]*
/proc/loadavg: 4.17 4.17 4.10 5/243 704196
/proc/meminfo: memFree=128323376/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=123896 memory=83644 CPUtime=0.2 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 17940 0 0 0 18 2 0 0 20 0 1 0 140453198 126869504 20911 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 30974 20911 3263 3540 0 19231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 83644 KiB

[startup+0.312927 s]*
/proc/loadavg: 4.17 4.17 4.10 5/243 704196
/proc/meminfo: memFree=128292324/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=154312 memory=114020 CPUtime=0.31 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 25537 0 0 0 27 4 0 0 20 0 1 0 140453198 158015488 28505 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 38578 28505 3263 3540 0 26835 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 154312 KiB
Current children cumulated memory: 114020 KiB

[startup+0.700344 s]
/proc/loadavg: 4.17 4.17 4.10 6/243 704196
/proc/meminfo: memFree=128232712/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=339804 memory=300404 CPUtime=0.69 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 72746 0 0 0 57 12 0 0 20 0 1 0 140453198 347959296 75101 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 84951 75101 3583 3540 0 73208 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 339804 KiB
Current children cumulated memory: 300404 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.17 4.10 5/243 704196
/proc/meminfo: memFree=127988172/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=682376 memory=638120 CPUtime=1.49 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 157136 0 0 0 125 24 0 0 20 0 1 0 140453198 698753024 159530 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 170594 159530 3615 3540 0 158851 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 682376 KiB
Current children cumulated memory: 638120 KiB

[startup+3.11268 s]
/proc/loadavg: 4.17 4.17 4.10 5/243 704196
/proc/meminfo: memFree=127572780/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=879240 memory=829808 CPUtime=3.09 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 205342 0 0 0 279 30 0 0 20 0 1 0 140453198 900341760 207452 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 219810 207452 3663 3540 0 208067 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 879240 KiB
Current children cumulated memory: 829808 KiB

[startup+6.30032 s]
/proc/loadavg: 4.15 4.16 4.10 5/243 704197
/proc/meminfo: memFree=127572276/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=879240 memory=829808 CPUtime=6.27 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 205342 0 0 0 595 32 0 0 20 0 1 0 140453198 900341760 207452 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 219810 207452 3663 3540 0 208067 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 879240 KiB
Current children cumulated memory: 829808 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.16 4.10 5/243 704197
/proc/meminfo: memFree=127571512/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=879240 memory=829808 CPUtime=12.65 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 205342 0 0 0 1231 34 0 0 20 0 1 0 140453198 900341760 207452 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 219810 207452 3663 3540 0 208067 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 879240 KiB
Current children cumulated memory: 829808 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.15 4.10 5/243 704200
/proc/meminfo: memFree=127571264/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=879240 memory=829988 CPUtime=25.42 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 205741 0 0 0 2504 38 0 0 20 0 1 0 140453198 900341760 207497 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 219810 207497 3663 3540 0 208067 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 879240 KiB
Current children cumulated memory: 829988 KiB

[startup+51.1125 s]
/proc/loadavg: 4.13 4.16 4.10 5/243 704203
/proc/meminfo: memFree=127571016/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=879240 memory=829988 CPUtime=50.97 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 205741 0 0 0 5054 43 0 0 20 0 1 0 140453198 900341760 207497 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 219810 207497 3663 3540 0 208067 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 879240 KiB
Current children cumulated memory: 829988 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/242 704212
/proc/meminfo: memFree=126807800/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=1862164 memory=1591740 CPUtime=102.02 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 338558 0 0 0 10128 74 0 0 20 0 1 0 140453198 1906855936 397935 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 465541 397935 3887 3540 0 453798 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1862164 KiB
Current children cumulated memory: 1591740 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/242 704224
/proc/meminfo: memFree=126642384/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2053164 memory=1700672 CPUtime=161.84 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 342610 0 0 0 16107 77 0 0 20 0 1 0 140453198 2102439936 425168 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 513291 425168 3887 3540 0 501548 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2053164 KiB
Current children cumulated memory: 1700672 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/241 704234
/proc/meminfo: memFree=125870252/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2798708 memory=2466300 CPUtime=221.62 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 576802 0 0 0 22050 112 0 0 20 0 1 0 140453198 2865876992 616575 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 699677 616575 3982 3540 0 687934 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2798708 KiB
Current children cumulated memory: 2466300 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/241 704289
/proc/meminfo: memFree=125972812/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2798708 memory=2467068 CPUtime=281.38 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 577139 0 0 0 28025 113 0 0 20 0 1 0 140453198 2865876992 616767 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 699677 616767 3998 3540 0 687934 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 2798708 KiB
Current children cumulated memory: 2467068 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/241 704299
/proc/meminfo: memFree=125911880/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2798708 memory=2467152 CPUtime=341.13 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 577373 0 0 0 33999 114 0 0 20 0 1 0 140453198 2865876992 616788 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 699677 616788 3998 3540 0 687934 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 2798708 KiB
Current children cumulated memory: 2467152 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/241 704311
/proc/meminfo: memFree=125709676/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2798708 memory=2467360 CPUtime=400.9 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 577932 0 0 0 39975 115 0 0 20 0 1 0 140453198 2865876992 616840 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 699677 616840 3998 3540 0 687934 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 2798708 KiB
Current children cumulated memory: 2467360 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/241 704321
/proc/meminfo: memFree=125704508/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=2798708 memory=2471736 CPUtime=460.67 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 579075 0 0 0 45951 116 0 0 20 0 1 0 140453198 2865876992 617934 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 699677 617934 4009 3540 0 687934 0
Current children cumulated CPU time: 460.67 s

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

/proc/loadavg: 2.13 2.13 2.45 3/229 705884
/proc/meminfo: memFree=123283584/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4757948 CPUtime=3211.78 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1047833 0 0 0 320962 216 0 0 20 0 1 0 140453198 5403582464 1189487 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1189487 4009 3540 0 1307491 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4757948 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.14 2.43 3/229 705894
/proc/meminfo: memFree=123257140/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4757948 CPUtime=3271.59 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1048759 0 0 0 326942 217 0 0 20 0 1 0 140453198 5403582464 1189487 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1189487 4009 3540 0 1307491 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4757948 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 2.13 2.41 3/230 705905
/proc/meminfo: memFree=123235600/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4757948 CPUtime=3331.38 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1049695 0 0 0 332920 218 0 0 20 0 1 0 140453198 5403582464 1189487 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1189487 4009 3540 0 1307491 0
Current children cumulated CPU time: 3331.38 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4757948 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.12 2.39 3/232 706086
/proc/meminfo: memFree=123215648/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4762640 CPUtime=3391.22 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1050638 0 0 0 338903 219 0 0 20 0 1 0 140453198 5403582464 1190660 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1190660 4009 3540 0 1307491 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4762640 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.11 2.36 3/234 706100
/proc/meminfo: memFree=123190992/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4765024 CPUtime=3451.01 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1051593 0 0 0 344882 219 0 0 20 0 1 0 140453198 5403582464 1191256 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1191256 4009 3540 0 1307491 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4765024 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.12 2.35 3/232 706121
/proc/meminfo: memFree=123162588/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5276936 memory=4771276 CPUtime=3510.8 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1052686 0 0 0 350860 220 0 0 20 0 1 0 140453198 5403582464 1192819 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1319234 1192819 4009 3540 0 1307491 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 5276936 KiB
Current children cumulated memory: 4771276 KiB

[startup+3582.3 s]
/proc/loadavg: 2.11 2.11 2.33 3/232 706132
/proc/meminfo: memFree=123104716/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798364 CPUtime=3570.6 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1054860 0 0 0 356838 222 0 0 20 0 1 0 140453198 5447610368 1199591 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199591 4009 3540 0 1318240 0
Current children cumulated CPU time: 3570.6 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798364 KiB

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

# cumulated CPU time of all completed processes:  user=3583.96 s, system=2.24664 s

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

[startup+3584 s]*
/proc/loadavg: 2.11 2.11 2.33 3/232 706132
/proc/meminfo: memFree=123104436/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798604 CPUtime=3572.3 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1054926 0 0 0 357008 222 0 0 20 0 1 0 140453198 5447610368 1199651 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199651 4009 3540 0 1318240 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798604 KiB

[startup+3590.4 s]
/proc/loadavg: 2.09 2.11 2.33 3/232 706134
/proc/meminfo: memFree=123103820/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798796 CPUtime=3578.66 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055006 0 0 0 357644 222 0 0 20 0 1 0 140453198 5447610368 1199699 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199699 4009 3540 0 1318240 0
Current children cumulated CPU time: 3578.66 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798796 KiB

[startup+3593.6 s]
/proc/loadavg: 2.09 2.11 2.33 3/232 706135
/proc/meminfo: memFree=123100160/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798796 CPUtime=3581.85 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055038 0 0 0 357963 222 0 0 20 0 1 0 140453198 5447610368 1199699 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199699 4009 3540 0 1318240 0
Current children cumulated CPU time: 3581.85 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798796 KiB

[startup+3595.2 s]
/proc/loadavg: 2.08 2.11 2.33 3/232 706136
/proc/meminfo: memFree=123099740/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798816 CPUtime=3583.44 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055073 0 0 0 358122 222 0 0 20 0 1 0 140453198 5447610368 1199704 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199704 4009 3540 0 1318240 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798816 KiB

[startup+3596.8 s]
/proc/loadavg: 2.08 2.11 2.33 3/232 706136
/proc/meminfo: memFree=123099672/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798816 CPUtime=3585.04 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055095 0 0 0 358282 222 0 0 20 0 1 0 140453198 5447610368 1199704 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199704 4009 3540 0 1318240 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798816 KiB

[startup+3597.6 s]
/proc/loadavg: 2.08 2.11 2.33 3/232 706136
/proc/meminfo: memFree=123099448/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5319932 memory=4798892 CPUtime=3585.83 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055225 0 0 0 358361 222 0 0 20 0 1 0 140453198 5447610368 1199723 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329983 1199723 4009 3540 0 1318240 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 5319932 KiB
Current children cumulated memory: 4798892 KiB

[startup+3597.8 s]
/proc/loadavg: 2.08 2.11 2.33 3/232 706136
/proc/meminfo: memFree=123099448/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5318104 memory=4797216 CPUtime=3586.03 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055229 0 0 0 358381 222 0 0 20 0 1 0 140453198 5445738496 1199304 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1329526 1199304 4009 3540 0 1317783 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 5318104 KiB
Current children cumulated memory: 4797216 KiB

[startup+3597.9 s]
/proc/loadavg: 2.08 2.11 2.33 3/232 706136
/proc/meminfo: memFree=123099448/131655788 swapFree=131071996/131071996
[pid=704195] ppid=704192 vsize=5286812 memory=4766260 CPUtime=3586.13 cores=5,7
/proc/704195/stat : 704195 (pbscip) R 704192 704195 697210 0 -1 4194304 1055546 0 0 0 358391 222 0 0 20 0 1 0 140453198 5413695488 1191565 134679101440 4194304 18693293 140725395551536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38772736 140725395559402 140725395559501 140725395559501 140725395566542 0
/proc/704195/statm: 1321703 1191565 4009 3540 0 1309960 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 5286812 KiB
Current children cumulated memory: 4766260 KiB

Child status: 0

Real time (s): 3597.96
CPU time (s): 3586.2
CPU user time (s): 3583.96
CPU system time (s): 2.24664
CPU usage (%): 99.6733
Max. virtual memory (cumulated for all children) (KiB): 5389388
Max. memory (cumulated for all children) (KiB): 4798892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.96
system time used= 2.24664
maximum resident set size= 4798892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1056186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 2098


# summary of solver processes directly reported to runsolver:
#   pid: 704195
#   total CPU time (s): 3586.2
#   total CPU user time (s): 3583.96
#   total CPU system time (s): 2.24664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2384 second user time and 33.6172 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-13 17:03:00
IDJOB=4425273
IDBENCH=143871
IDSOLVER=3038
FILE ID=nodeC008/4425273-1720882967
RUNJOBID= nodeC008-1720879382-700522
SLURM_JOB_ID= 7483756
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=487237260

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128390964 kB
MemAvailable:   128401380 kB
Buffers:          326820 kB
Cached:           532016 kB
SwapCached:            0 kB
Active:           500496 kB
Inactive:        2263624 kB
Active(anon):       1476 kB
Inactive(anon):  1941524 kB
Active(file):     499020 kB
Inactive(file):   322100 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21916 kB
Writeback:             4 kB
AnonPages:       1901808 kB
Mapped:           137296 kB
Shmem:             37704 kB
KReclaimable:      58652 kB
Slab:             147396 kB
SReclaimable:      58652 kB
SUnreclaim:        88744 kB
KernelStack:        3904 kB
PageTables:        13152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2373928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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:      146248 kB
DirectMap2M:     9195520 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC008 at 2024-07-13 18:02:58