Trace number 4526677

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.43 3599.82

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark370
Best CPU time to get the best result obtained on this benchmark77.4065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-4526677-1751632768.wbo>
1.18/1.21	c original problem has 288603 variables (288603 bin, 0 int, 0 impl, 0 cont) and 565945 constraints
1.18/1.21	c problem read in 1.20
4.47/4.55	c presolving:
5.87/5.91	c (round 1, exhaustive) 40 del vars, 23 del conss, 0 add conss, 282873 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 282839 impls, 745 clqs
16.03/16.11	c    (16.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.83/17.93	c    (17.9s) no symmetry present (symcode time: 0.93)
18.32/18.46	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
18.32/18.46	c  66 deleted vars, 24 deleted constraints, 0 added constraints, 282873 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.32/18.46	c  282839 implications, 11803 cliques
18.32/18.46	c presolved problem has 571393 variables (288580 bin, 0 int, 282813 impl, 0 cont) and 565921 constraints
18.32/18.46	c       1 constraints of type <knapsack>
18.32/18.46	c     243 constraints of type <setppc>
18.32/18.46	c  282838 constraints of type <linear>
18.32/18.46	c  282839 constraints of type <indicator>
18.32/18.46	c transformed objective value is always integral (scale: 1)
18.32/18.46	c Presolving Time: 16.23
18.32/18.46	c - non default parameters ----------------------------------------------------------------------
18.32/18.46	c # SCIP version 10.0.0
18.32/18.46	c 
18.32/18.46	c # maximal time in seconds to run
18.32/18.46	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
18.32/18.46	c limits/time = 3596.997015
18.32/18.46	c 
18.32/18.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.32/18.46	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
18.32/18.46	c limits/memory = 27900
18.32/18.46	c 
18.32/18.46	c # belongs reading time to solving time?
18.32/18.46	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
18.32/18.46	c timing/reading = TRUE
18.32/18.46	c 
18.32/18.46	c -----------------------------------------------------------------------------------------------
18.32/18.46	c start solving
18.62/18.75	c 
48.71/48.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
48.71/48.90	c  48.9s|     1 |     0 |  9208 |     - |  3677M |   0 | 571k| 566k| 565k|   0 |  0 | 101 |   0 | 1.635649e+00 |      --      |    Inf | unknown
107.00/107.47	c   107s|     1 |     0 | 27420 |     - |  4026M |   0 | 571k| 566k| 565k|  31 |  1 | 104 |   0 | 3.255478e+00 |      --      |    Inf | unknown
116.47/116.92	c   117s|     1 |     0 | 28987 |     - |  4081M |   0 | 571k| 566k| 565k|  71 |  2 | 109 |   0 | 3.256120e+00 |      --      |    Inf | unknown
124.15/124.67	c   125s|     1 |     0 | 29681 |     - |  4139M |   0 | 571k| 566k| 565k| 101 |  3 | 112 |   0 | 3.319375e+00 |      --      |    Inf | unknown
130.73/131.25	c   131s|     1 |     0 | 30652 |     - |  4195M |   0 | 571k| 566k| 566k| 131 |  4 | 114 |   0 | 5.180984e+00 |      --      |    Inf | unknown
138.20/138.71	c   139s|     1 |     0 | 31105 |     - |  4253M |   0 | 571k| 566k| 566k| 157 |  5 | 118 |   0 | 5.180984e+00 |      --      |    Inf | unknown
146.47/147.10	c   147s|     1 |     0 | 32264 |     - |  4311M |   0 | 571k| 566k| 566k| 183 |  6 | 120 |   0 | 5.180986e+00 |      --      |    Inf | unknown
154.84/155.47	c   155s|     1 |     0 | 33415 |     - |  4372M |   0 | 571k| 566k| 566k| 205 |  7 | 123 |   0 | 1.276689e+01 |      --      |    Inf | unknown
162.72/163.32	c   163s|     1 |     0 | 34496 |     - |  4429M |   0 | 571k| 566k| 566k| 230 |  8 | 126 |   0 | 1.319378e+01 |      --      |    Inf | unknown
170.39/171.09	c   171s|     1 |     0 | 36035 |     - |  4489M |   0 | 571k| 566k| 566k| 256 |  9 | 128 |   0 | 1.332538e+01 |      --      |    Inf | unknown
178.37/179.03	c   179s|     1 |     0 | 37451 |     - |  4549M |   0 | 571k| 566k| 566k| 281 | 10 | 129 |   0 | 1.501722e+01 |      --      |    Inf | unknown
184.83/185.52	c   186s|     1 |     0 | 39282 |     - |  4604M |   0 | 571k| 566k| 566k| 305 | 11 | 131 |   0 | 2.395308e+01 |      --      |    Inf | unknown
190.51/191.25	c   191s|     1 |     0 | 40376 |     - |  4659M |   0 | 571k| 566k| 566k| 329 | 12 | 136 |   0 | 2.504611e+01 |      --      |    Inf | unknown
196.09/196.85	c   197s|     1 |     0 | 40962 |     - |  4713M |   0 | 571k| 566k| 566k| 354 | 13 | 138 |   0 | 2.565308e+01 |      --      |    Inf | unknown
200.48/201.26	c   201s|     1 |     0 | 41306 |     - |  4770M |   0 | 571k| 566k| 566k| 372 | 14 | 141 |   0 | 2.581857e+01 |      --      |    Inf | unknown
204.97/205.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
204.97/205.78	c   206s|     1 |     0 | 41504 |     - |  4827M |   0 | 571k| 566k| 566k| 390 | 15 | 144 |   0 | 2.581857e+01 |      --      |    Inf | unknown
209.25/210.07	c   210s|     1 |     0 | 41696 |     - |  4882M |   0 | 571k| 566k| 566k| 406 | 16 | 146 |   0 | 2.581857e+01 |      --      |    Inf | unknown
214.62/215.48	c   215s|     1 |     0 | 41923 |     - |  4939M |   0 | 571k| 566k| 566k| 418 | 17 | 154 |   0 | 2.581857e+01 |      --      |    Inf | unknown
219.41/220.21	c   220s|     1 |     0 | 42836 |     - |  4994M |   0 | 571k| 566k| 566k| 431 | 18 | 156 |   0 | 2.587375e+01 |      --      |    Inf | unknown
224.39/225.23	c   225s|     1 |     0 | 43148 |     - |  5048M |   0 | 571k| 566k| 566k| 448 | 19 | 162 |   0 | 2.587375e+01 |      --      |    Inf | unknown
229.87/230.72	c   231s|     1 |     0 | 43277 |     - |  5103M |   0 | 571k| 566k| 566k| 457 | 20 | 170 |   0 | 2.587375e+01 |      --      |    Inf | unknown
233.46/234.39	c   234s|     1 |     0 | 43388 |     - |  5103M |   0 | 571k| 566k| 566k| 459 | 21 | 171 |   0 | 2.587375e+01 |      --      |    Inf | unknown
237.35/238.21	c   238s|     1 |     0 | 43596 |     - |  5103M |   0 | 571k| 566k| 566k| 462 | 22 | 173 |   0 | 2.592791e+01 |      --      |    Inf | unknown
240.93/241.86	c   242s|     1 |     0 | 43648 |     - |  5103M |   0 | 571k| 566k| 566k| 465 | 23 | 175 |   0 | 2.592807e+01 |      --      |    Inf | unknown
244.33/245.26	c   245s|     1 |     0 | 43676 |     - |  5108M |   0 | 571k| 566k| 566k| 466 | 24 | 177 |   0 | 2.592861e+01 |      --      |    Inf | unknown
247.82/248.76	c   249s|     1 |     0 | 43771 |     - |  5112M |   0 | 571k| 566k| 566k| 468 | 25 | 180 |   0 | 2.592861e+01 |      --      |    Inf | unknown
252.21/253.15	c   253s|     1 |     0 | 43800 |     - |  5117M |   0 | 571k| 566k| 566k| 470 | 26 | 188 |   0 | 2.592861e+01 |      --      |    Inf | unknown
255.39/256.37	c   256s|     1 |     0 | 43835 |     - |  5117M |   0 | 571k| 566k| 566k| 471 | 27 | 191 |   0 | 2.592861e+01 |      --      |    Inf | unknown
1000.87/1004.80	c  1005s|     1 |     2 |227424 |     - |  5190M |   0 | 571k| 566k| 566k| 471 | 28 | 192 |  27 | 2.613055e+01 |      --      |    Inf | unknown
3582.71/3597.13	c 
3582.71/3597.13	c SCIP Status        : solving was interrupted [time limit reached]
3582.71/3597.13	c Solving Time (sec) : 3597.13
3582.71/3597.13	c Solving Nodes      : 74
3582.71/3597.13	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3582.71/3597.13	c Dual Bound         : +2.67365418176302e+01
3582.71/3597.13	c Gap                : infinite
3582.71/3597.13	s UNKNOWN
3582.71/3597.13	c SCIP Status        : solving was interrupted [time limit reached]
3582.71/3597.13	c Total Time         :    3597.13
3582.71/3597.13	c   solving          :    3597.13
3582.71/3597.13	c   presolving       :      16.23 (included in solving)
3582.71/3597.13	c   reading          :       1.20 (included in solving)
3582.71/3597.13	c   copying          :       5.43 (3 #copies) (minimal 1.75, maximal 1.87, average 1.81)
3582.71/3597.13	c Original Problem   :
3582.71/3597.13	c   Problem name     : HOME/instance-4526677-1751632768.wbo
3582.71/3597.13	c   Variables        : 288603 (288603 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.71/3597.13	c   Constraints      : 565945 initial, 565945 maximal
3582.71/3597.14	c   Objective        : minimize, 282856 non-zeros (abs.min = 1, abs.max = 3080)
3582.71/3597.14	c Presolved Problem  :
3582.71/3597.14	c   Problem name     : t_HOME/instance-4526677-1751632768.wbo
3582.71/3597.14	c   Variables        : 571393 (288580 binary, 0 integer, 282813 implicit integer, 0 continuous)
3582.71/3597.14	c   Constraints      : 565921 initial, 567742 maximal
3582.71/3597.15	c   Objective        : minimize, 282839 non-zeros (abs.min = 1, abs.max = 2898)
3582.71/3597.15	c   Nonzeros         : 2546104 constraint, 1028873 clique table
3582.71/3597.15	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3582.71/3597.15	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   implics          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   trivial          :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dualfix          :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   probing          :       9.72       0.02      1          0         25          0          0          0          0          0          0          0
3582.71/3597.15	c   pseudoobj        :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   symmetry         :       1.82       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   vbounds          :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   knapsack         :       0.00       0.02      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   setppc           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   linear           :       1.45       0.05      4         17          7          0     282856          0          7          0          0          0
3582.71/3597.15	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   indicator        :       0.12       0.02      2         17          0          0         17          0         17          0          0          0
3582.71/3597.15	c   components       :       0.40       0.00      1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3582.71/3597.15	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3582.71/3597.15	c   benderslp        :          0          0          0          0         74          0          0         16          0          0          0          0          0          0          0
3582.71/3597.15	c   integral         :          0          0          0          0         74          0          0         16          0          0          0          0          0          0        148
3582.71/3597.15	c   knapsack         :          1          1          0      22913          0          0          0         12       6044         23          0          0          0          0          0
3582.71/3597.15	c   setppc           :        243        243         28      22911          0          0          0          8        518        206       1171          0          0          0          0
3582.71/3597.15	c   linear           :     282838     282838         28      22705          0          0          0          3      13959          1          4          0          0          0          0
3582.71/3597.15	c   logicor          :          0+      1821         28        963          0          0          0          0         11          2          0         58         11          0          0
3582.71/3597.15	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   indicator        :     282839     282839         60      22702          0          0          0          0      11720          1       2085          0          0          0          0
3582.71/3597.15	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3582.71/3597.15	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   integral         :     699.76       0.00       0.00       0.00     699.73       0.00       0.00       0.02       0.00       0.00
3582.71/3597.15	c   knapsack         :      29.07       0.02       0.00      16.41       0.00       0.00       0.00       0.16      12.49       0.00
3582.71/3597.15	c   setppc           :      14.09       0.00       0.00      13.79       0.00       0.00       0.00       0.00       0.00       0.30
3582.71/3597.15	c   linear           :      54.13       0.05      47.39       6.51       0.00       0.00       0.00       0.00       0.01       0.17
3582.71/3597.15	c   logicor          :       0.15       0.00       0.00       0.14       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   indicator        :     113.73       0.02       2.18     110.22       0.00       0.00       0.00       0.00       0.01       1.31
3582.71/3597.15	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3582.71/3597.15	c   dualfix          :          1          0          0          0
3582.71/3597.15	c   genvbounds       :          0          0          0          0
3582.71/3597.15	c   nlobbt           :          0          0          0          0
3582.71/3597.15	c   obbt             :          0          0          0          0
3582.71/3597.15	c   probing          :          0          0          0          0
3582.71/3597.15	c   pseudoobj        :        234          0          0          0
3582.71/3597.15	c   redcost          :        227          0          0       2081
3582.71/3597.15	c   rootredcost      :          1          0          0          0
3582.71/3597.15	c   symmetry         :          0          0          0          0
3582.71/3597.15	c   vbounds          :       5909          0          0          0
3582.71/3597.15	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3582.71/3597.15	c   dualfix          :       0.07       0.00       0.04       0.02       0.00       0.00
3582.71/3597.15	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3582.71/3597.15	c   probing          :       9.74       0.02       9.72       0.00       0.00       0.00
3582.71/3597.15	c   pseudoobj        :       0.34       0.00       0.02       0.31       0.00       0.00
3582.71/3597.15	c   redcost          :       6.99       0.00       0.00       6.99       0.00       0.00
3582.71/3597.15	c   rootredcost      :       0.14       0.00       0.00       0.14       0.00       0.00
3582.71/3597.15	c   symmetry         :       1.83       0.00       1.82       0.01       0.00       0.00
3582.71/3597.15	c   vbounds          :       2.31       0.00       0.09       2.22       0.00       0.00
3582.71/3597.15	c Symmetry           :
3582.71/3597.15	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3582.71/3597.15	c   orbital reduction:          0 reductions applied,          0 cutoffs
3582.71/3597.15	c   lexicographic red:          0 reductions applied,          0 cutoffs
3582.71/3597.15	c   shadow tree time :       0.00 s
3582.71/3597.15	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3582.71/3597.15	c   propagation      :      12.53        230        230          -       1938       43.6        373       17.2          -          -          -
3582.71/3597.15	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3582.71/3597.15	c   bound exceed. LP :      22.15         92          0          -          0        0.0          0        0.0          0        0.0        920
3582.71/3597.15	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3582.71/3597.15	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3582.71/3597.15	c   applied globally :       6.19          -          -          0       1820       36.7          -          -          0          -          -
3582.71/3597.15	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3582.71/3597.15	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3582.71/3597.15	c   cut pool         :       0.15          -        113         47          -          -       3942      14393          -          -          -          -          -    (maximal pool size:       3942)
3582.71/3597.15	c   aggregation      :      15.31       0.00         56         28          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3582.71/3597.15	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3582.71/3597.15	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3582.71/3597.15	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   clique           :       6.65       0.00         28         28          0          0          1          1          0          1          1          0          0
3582.71/3597.15	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   gomory           :      51.15       0.00         34         10          0          0       3215      11990          0        885        885          0          0
3582.71/3597.15	c   > gomorymi       :          -          -          -          -          -          -          -       4352          0        137        137          0          -
3582.71/3597.15	c   > strongcg       :          -          -          -          -          -          -          -       7638          0        748        748          0          -
3582.71/3597.15	c   impliedbounds    :       1.09       0.00         56         28          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   mcf              :       0.28       0.00          1          1          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   mixing           :       0.00       0.00         56         28          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   multilinear      :       0.00       0.00         36         28          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   rlt              :       0.00       0.00         18         10          0          0          0          0          0          0          0          0          0
3582.71/3597.15	c   zerohalf         :       9.53       0.00         44         20          0          0        726       2402          0       1186       1186          0          0
3582.71/3597.15	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3582.71/3597.15	c   hybrid           :       0.07       0.00         69         27       2083          0      12368        471          0       5277
3582.71/3597.15	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3582.71/3597.15	c   problem variables:       0.00          -          0          0
3582.71/3597.15	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3582.71/3597.15	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c   relpscost        :     699.73       0.00         74          0          0          0          0          0          0        148
3582.71/3597.15	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3582.71/3597.15	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3582.71/3597.15	c   LP solutions     :       0.00          -          -          0          0
3582.71/3597.15	c   relax solutions  :       0.00          -          -          0          0
3582.71/3597.15	c   pseudo solutions :       0.00          -          -          0          0
3582.71/3597.15	c   strong branching :       0.00          -          -          0          0
3582.71/3597.15	c   actconsdiving    :       0.00       0.00          0          0          0
3582.71/3597.15	c   adaptivediving   :      97.88       0.00          2          0          0
3582.71/3597.15	c   alns             :      21.92       0.00          2          0          0
3582.71/3597.15	c   bound            :       0.00       0.00          0          0          0
3582.71/3597.15	c   clique           :       2.78       0.00          1          0          0
3582.71/3597.15	c   coefdiving       :       0.00       0.00          0          0          0
3582.71/3597.15	c   completesol      :       0.00       0.00          0          0          0
3582.71/3597.15	c   conflictdiving   :     151.04       0.00          2          0          0
3582.71/3597.15	c   crossover        :       0.00       0.00          0          0          0
3582.71/3597.15	c   dins             :       0.00       0.00          0          0          0
3582.71/3597.15	c   distributiondivin:      24.54       0.00          1          0          0
3582.71/3597.15	c   dps              :       0.00       0.00          0          0          0
3582.71/3597.15	c   dualval          :       0.00       0.00          0          0          0
3582.71/3597.15	c   farkasdiving     :     606.62       0.00          1          0          0
3582.71/3597.15	c   feasjump         :       0.48       0.00          1          0          0
3582.71/3597.15	c   feaspump         :      43.31       0.00          1          0          0
3582.71/3597.15	c   fixandinfer      :       0.00       0.00          0          0          0
3582.71/3597.15	c   fracdiving       :      19.88       0.00          1          0          0
3582.71/3597.15	c   gins             :       0.00       0.00          0          0          0
3582.71/3597.15	c   guideddiving     :       0.00       0.00          0          0          0
3582.71/3597.15	c   indcoefdiving    :       0.00       0.00          0          0          0
3582.71/3597.15	c   indicator        :       0.00       0.00          0          0          0
3582.71/3597.15	c   indicatordiving  :       0.03       0.00          0          0          0
3582.71/3597.15	c   indoneopt        :       2.41       0.08          1          0          0
3582.71/3597.15	c   indrounding      :       0.00       0.00          0          0          0
3582.71/3597.15	c   indtwoopt        :       0.00       0.09          0          0          0
3582.71/3597.15	c   intdiving        :       0.00       0.00          0          0          0
3582.71/3597.15	c   intshifting      :       0.00       0.00          0          0          0
3582.71/3597.15	c   linesearchdiving :     514.00       0.00          1          0          0
3582.71/3597.15	c   localbranching   :       0.00       0.00          0          0          0
3582.71/3597.15	c   locks            :       1.72       0.00          1          0          0
3582.71/3597.15	c   lpface           :       0.00       0.00          0          0          0
3582.71/3597.15	c   mpec             :       0.00       0.00          0          0          0
3582.71/3597.15	c   multistart       :       0.00       0.00          0          0          0
3582.71/3597.15	c   mutation         :       0.00       0.00          0          0          0
3582.71/3597.15	c   nlpdiving        :       0.00       0.00          0          0          0
3582.71/3597.15	c   objpscostdiving  :     875.34       0.00          1          0          0
3582.71/3597.15	c   octane           :       0.00       0.00          0          0          0
3582.71/3597.15	c   ofins            :       0.00       0.00          0          0          0
3582.71/3597.15	c   oneopt           :       0.00       0.00          0          0          0
3582.71/3597.15	c   padm             :       0.00       0.00          0          0          0
3582.71/3597.15	c   proximity        :       0.00       0.00          0          0          0
3582.71/3597.15	c   pscostdiving     :      21.29       0.00          1          0          0
3582.71/3597.15	c   randrounding     :      33.22       0.00         34          0          0
3582.71/3597.15	c   rens             :       6.10       0.00          1          0          0
3582.71/3597.15	c   reoptsols        :       0.00       0.00          0          0          0
3582.71/3597.15	c   repair           :       0.00       0.00          0          0          0
3582.71/3597.15	c   rins             :       0.00       0.00          0          0          0
3582.71/3597.15	c   rootsoldiving    :      34.19       0.00          1          0          0
3582.71/3597.15	c   rounding         :       1.74       0.00        116          0          0
3582.71/3597.15	c   scheduler        :       0.00       0.00          0          0          0
3582.71/3597.15	c   shiftandpropagate:      11.30       0.00          1          0          0
3582.71/3597.15	c   shifting         :       4.46       0.00         81          0          0
3582.71/3597.15	c   simplerounding   :       0.01       0.00          0          0          0
3582.71/3597.15	c   smallcard        :       0.00       0.00          0          0          0
3582.71/3597.15	c   subnlp           :       0.00       0.00          0          0          0
3582.71/3597.15	c   trivial          :       0.52       0.00          2          0          0
3582.71/3597.15	c   trivialnegation  :       0.00       0.00          0          0          0
3582.71/3597.15	c   trustregion      :       0.00       0.00          0          0          0
3582.71/3597.15	c   trysol           :       0.00       0.00          0          0          0
3582.71/3597.15	c   twoopt           :       0.00       0.00          0          0          0
3582.71/3597.15	c   undercover       :       0.00       0.00          0          0          0
3582.71/3597.15	c   vbounds          :       0.60       0.00          0          0          0
3582.71/3597.15	c   veclendiving     :      12.48       0.00          1          0          0
3582.71/3597.15	c   zeroobj          :       0.00       0.00          0          0          0
3582.71/3597.15	c   zirounding       :       0.46       0.00         73          0          0
3582.71/3597.15	c   other solutions  :          -          -          -          0          -
3582.71/3597.15	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	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
3582.71/3597.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3582.71/3597.15	c   primal LP        :       2.99         20          0       0.00       0.00       2.99         20
3582.71/3597.15	c   dual LP          :     226.57        153     140359     981.53     619.49       1.11         10
3582.71/3597.15	c   lex dual LP      :       0.00          0          0       0.00          -
3582.71/3597.15	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3582.71/3597.15	c   resolve instable :      18.33         10      11216    1121.60     611.88
3582.71/3597.15	c   diving/probing LP:    1880.62       3274    1170870     357.63     622.60
3582.71/3597.15	c   strong branching :     612.23        452     195624     432.80     319.53          -          -        237
3582.71/3597.15	c     (at root node) :          -         27      10638     394.00          -
3582.71/3597.15	c   conflict analysis:      12.38         92        920      10.00      74.33
3582.71/3597.15	c B&B Tree           :
3582.71/3597.15	c   number of runs   :          1
3582.71/3597.15	c   nodes            :         74 (74 internal, 0 leaves)
3582.71/3597.15	c   feasible leaves  :          0
3582.71/3597.15	c   infeas. leaves   :          0
3582.71/3597.15	c   objective leaves :          0
3582.71/3597.15	c   nodes (total)    :         74 (74 internal, 0 leaves)
3582.71/3597.15	c   nodes left       :         75
3582.71/3597.15	c   max depth        :         22
3582.71/3597.15	c   max depth (total):         22
3582.71/3597.15	c   backtracks       :         11 (14.9%)
3582.71/3597.15	c   early backtracks :          0 (0.0%)
3582.71/3597.15	c   nodes exc. ref.  :          0 (0.0%)
3582.71/3597.15	c   delayed cutoffs  :          0
3582.71/3597.15	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3582.71/3597.15	c   avg switch length:       2.46
3582.71/3597.15	c   switching time   :       3.14
3582.71/3597.15	c Root Node          :
3582.71/3597.15	c   First LP value   : +1.63564914954243e+00
3582.71/3597.15	c   First LP Iters   :       9208 (904.41 Iter/sec)
3582.71/3597.15	c   First LP Time    :      10.18
3582.71/3597.15	c   Final Dual Bound : +2.61305546082254e+01
3582.71/3597.15	c   Final Root Iters :      43835
3582.71/3597.15	c   Root LP Estimate : +7.80671841872579e+01
3582.71/3597.15	c Solution           :
3582.71/3597.15	c   Solutions found  :          0 (0 improvements)
3582.71/3597.15	c   Primal Bound     :          -
3582.71/3597.15	c   Dual Bound       : +2.67365418176302e+01
3582.71/3597.15	c   Gap              :   infinite
3582.71/3597.15	c Integrals          :      Total       Avg%
3582.71/3597.15	c   primal-dual      :  359712.61     100.00
3582.71/3597.15	c   primal-ref       :          -          - (not evaluated)
3582.71/3597.15	c   dual-ref         :          -          - (not evaluated)
3585.20/3599.64	c Time complete: 3585.25.

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: 63708 MiB (60755 MiB free)
  memory of node 1: 64465 MiB (40292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526677-1751632768/watcher-4526677-1751632768 -o /tmp/evaluation-result-4526677-1751632768/solver-4526677-1751632768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89175 --watchdog 3760 pbscip -f HOME/instance-4526677-1751632768.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=91615, runsolver pid=91612

[startup+0.100063 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 91616
/proc/meminfo: memFree=103473564/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=85812 memory=58368 CPUtime=0.08 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 11661 0 0 0 7 1 0 0 20 0 1 0 78954336 87871488 14592 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 21453 14592 3232 3530 0 12904 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85812 KiB
Current children cumulated memory: 58368 KiB

[startup+0.205572 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 91616
/proc/meminfo: memFree=103473564/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=126444 memory=98816 CPUtime=0.19 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 21827 0 0 0 16 3 0 0 20 0 1 0 78954336 129478656 24704 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 31611 24704 3232 3530 0 23062 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126444 KiB
Current children cumulated memory: 98816 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 91616
/proc/meminfo: memFree=103473564/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=165160 memory=137600 CPUtime=0.29 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 31496 0 0 0 25 4 0 0 20 0 1 0 78954336 169123840 34400 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 41290 34400 3232 3530 0 32741 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165160 KiB
Current children cumulated memory: 137600 KiB

[startup+0.700182 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 91616
/proc/meminfo: memFree=103474056/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=305984 memory=277956 CPUtime=0.68 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 66074 0 0 0 58 10 0 0 20 0 1 0 78954336 313327616 69489 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 76496 69489 3232 3530 0 67947 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 305984 KiB
Current children cumulated memory: 277956 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 91616
/proc/meminfo: memFree=103457672/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=747800 memory=718416 CPUtime=1.48 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 175935 0 0 0 120 28 0 0 20 0 1 0 78954336 765747200 179604 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 186950 179604 3520 3530 0 178401 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 747800 KiB
Current children cumulated memory: 718416 KiB

[startup+3.10536 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 91616
/proc/meminfo: memFree=102602084/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=1468396 memory=1428228 CPUtime=3.08 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 344169 0 0 0 254 54 0 0 20 0 1 0 78954336 1503637504 357057 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 367099 357057 3584 3530 0 358550 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1468396 KiB
Current children cumulated memory: 1428228 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 91616
/proc/meminfo: memFree=101977684/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=2177384 memory=2104632 CPUtime=6.26 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 496423 0 0 0 551 75 0 0 20 0 1 0 78954336 2229641216 526158 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 544346 526158 3616 3530 0 535797 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2177384 KiB
Current children cumulated memory: 2104632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 91616
/proc/meminfo: memFree=101976588/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=2200428 memory=2148856 CPUtime=12.64 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 504484 0 0 0 1187 77 0 0 20 0 1 0 78954336 2253238272 537214 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 550107 537214 3616 3530 0 541558 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2200428 KiB
Current children cumulated memory: 2148856 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 91616
/proc/meminfo: memFree=100611860/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=3864008 memory=3535732 CPUtime=25.4 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 735686 0 0 0 2405 135 0 0 20 0 1 0 78954336 3956744192 883933 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 966002 883933 3744 3530 0 957453 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3864008 KiB
Current children cumulated memory: 3535732 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 91617
/proc/meminfo: memFree=100204408/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=4372480 memory=3944072 CPUtime=50.9 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 791478 0 0 0 4922 168 0 0 20 0 1 0 78954336 4477419520 986018 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1093120 986018 3840 3530 0 1084571 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 4372480 KiB
Current children cumulated memory: 3944072 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 91618
/proc/meminfo: memFree=100122196/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=4618904 memory=4048088 CPUtime=101.92 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 814534 0 0 0 9996 196 0 0 20 0 1 0 78954336 4729757696 1012022 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1154726 1012022 3840 3530 0 1146177 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 4618904 KiB
Current children cumulated memory: 4048088 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 91620
/proc/meminfo: memFree=99932544/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5198532 memory=4233960 CPUtime=161.72 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 836898 0 0 0 15956 216 0 0 20 0 1 0 78954336 5323296768 1058490 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1299633 1058490 3840 3530 0 1291084 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 5198532 KiB
Current children cumulated memory: 4233960 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 91622
/proc/meminfo: memFree=99876552/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5755892 memory=4269024 CPUtime=221.5 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 843044 0 0 0 21910 240 0 0 20 0 1 0 78954336 5894033408 1067256 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1438973 1067256 3840 3530 0 1430424 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 5755892 KiB
Current children cumulated memory: 4269024 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 91624
/proc/meminfo: memFree=99819200/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5915136 memory=4283460 CPUtime=281.3 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 844250 0 0 0 27886 244 0 0 20 0 1 0 78954336 6057099264 1070865 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1478784 1070865 3840 3530 0 1470235 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 5915136 KiB
Current children cumulated memory: 4283460 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 91626
/proc/meminfo: memFree=99869332/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5862060 memory=4269028 CPUtime=341.05 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 848033 0 0 0 33825 280 0 0 20 0 1 0 78954336 6002749440 1067257 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1465515 1067257 3840 3530 0 1456966 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 5862060 KiB
Current children cumulated memory: 4269028 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 91628
/proc/meminfo: memFree=99824088/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5888120 memory=4295088 CPUtime=400.81 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 896005 0 0 0 39720 361 0 0 20 0 1 0 78954336 6029434880 1073772 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1472030 1073772 3840 3530 0 1463481 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 5888120 KiB
Current children cumulated memory: 4295088 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 91630
/proc/meminfo: memFree=99814008/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=5915684 memory=4322724 CPUtime=460.56 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 965647 0 0 0 45611 445 0 0 20 0 1 0 78954336 6057660416 1080681 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 1478921 1080681 3840 3530 0 1470372 0
Current children cumulated CPU time: 460.56 s

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

Current children cumulated memory: 7334748 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.10 3.26 4/257 91889
/proc/meminfo: memFree=90280184/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8948656 memory=7334748 CPUtime=3149.76 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2300687 0 0 0 313853 1123 0 0 20 0 1 0 78954336 9163423744 1833687 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237164 1833687 4000 3530 0 2228615 0
Current children cumulated CPU time: 3149.76 s
Current children cumulated vsize: 8948656 KiB
Current children cumulated memory: 7334748 KiB

[startup+3222.3 s]
/proc/loadavg: 2.47 2.94 3.19 2/245 91953
/proc/meminfo: memFree=121574748/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8948656 memory=7334748 CPUtime=3209.51 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2301067 0 0 0 319826 1125 0 0 20 0 1 0 78954336 9163423744 1833687 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237164 1833687 4000 3530 0 2228615 0
Current children cumulated CPU time: 3209.51 s
Current children cumulated vsize: 8948656 KiB
Current children cumulated memory: 7334748 KiB

[startup+3282.3 s]
/proc/loadavg: 1.60 2.60 3.06 2/244 91955
/proc/meminfo: memFree=121577524/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8948656 memory=7335516 CPUtime=3269.24 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2301068 0 0 0 325799 1125 0 0 20 0 1 0 78954336 9163423744 1833879 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237164 1833879 4000 3530 0 2228615 0
Current children cumulated CPU time: 3269.24 s
Current children cumulated vsize: 8948656 KiB
Current children cumulated memory: 7335516 KiB

[startup+3342.3 s]
/proc/loadavg: 1.27 2.32 2.93 2/244 91957
/proc/meminfo: memFree=121580220/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8948656 memory=7335516 CPUtime=3328.97 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2301276 0 0 0 331772 1125 0 0 20 0 1 0 78954336 9163423744 1833879 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237164 1833879 4000 3530 0 2228615 0
Current children cumulated CPU time: 3328.97 s
Current children cumulated vsize: 8948656 KiB
Current children cumulated memory: 7335516 KiB

[startup+3402.3 s]
/proc/loadavg: 1.21 2.11 2.82 2/245 91960
/proc/meminfo: memFree=121576692/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8948656 memory=7335516 CPUtime=3388.72 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2301461 0 0 0 337746 1126 0 0 20 0 1 0 78954336 9163423744 1833879 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237164 1833879 4000 3530 0 2228615 0
Current children cumulated CPU time: 3388.72 s
Current children cumulated vsize: 8948656 KiB
Current children cumulated memory: 7335516 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.90 2.70 2/245 91962
/proc/meminfo: memFree=121561456/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7346120 CPUtime=3448.46 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2306136 0 0 0 343719 1127 0 0 20 0 1 0 78954336 9170726912 1836530 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1836530 4000 3530 0 2230398 0
Current children cumulated CPU time: 3448.46 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7346120 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.75 2.60 2/246 91966
/proc/meminfo: memFree=121584684/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7346120 CPUtime=3508.21 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2306401 0 0 0 349694 1127 0 0 20 0 1 0 78954336 9170726912 1836530 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1836530 4000 3530 0 2230398 0
Current children cumulated CPU time: 3508.21 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7346120 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.64 2.50 2/247 91971
/proc/meminfo: memFree=121580528/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7350856 CPUtime=3567.97 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2307820 0 0 0 355670 1127 0 0 20 0 1 0 78954336 9170726912 1837714 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1837714 4000 3530 0 2230398 0
Current children cumulated CPU time: 3567.97 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7350856 KiB

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

# cumulated CPU time of all completed processes:  user=3573.94 s, system=11.4862 s

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

[startup+3584 s]*
/proc/loadavg: 1.12 1.64 2.50 2/247 91971
/proc/meminfo: memFree=121580592/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7350856 CPUtime=3569.66 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2307820 0 0 0 355839 1127 0 0 20 0 1 0 78954336 9170726912 1837714 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1837714 4000 3530 0 2230398 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7350856 KiB

[startup+3590.4 s]
/proc/loadavg: 1.11 1.63 2.50 2/247 91971
/proc/meminfo: memFree=121581720/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7350984 CPUtime=3576.03 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2307826 0 0 0 356476 1127 0 0 20 0 1 0 78954336 9170726912 1837746 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1837746 4000 3530 0 2230398 0
Current children cumulated CPU time: 3576.03 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7350984 KiB

[startup+3596.8 s]
/proc/loadavg: 1.10 1.61 2.48 2/247 91971
/proc/meminfo: memFree=121581616/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7350984 CPUtime=3582.41 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2307829 0 0 0 357114 1127 0 0 20 0 1 0 78954336 9170726912 1837746 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1837746 4000 3530 0 2230398 0
Current children cumulated CPU time: 3582.41 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7350984 KiB

[startup+3598.4 s]
/proc/loadavg: 1.10 1.61 2.48 2/247 91971
/proc/meminfo: memFree=121581616/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8955788 memory=7350984 CPUtime=3584 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2308249 0 0 0 357273 1127 0 0 20 0 1 0 78954336 9170726912 1837746 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2238947 1837746 4000 3530 0 2230398 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 8955788 KiB
Current children cumulated memory: 7350984 KiB

[startup+3599.2 s]
/proc/loadavg: 1.10 1.61 2.48 2/247 91971
/proc/meminfo: memFree=121581616/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8951248 memory=7346640 CPUtime=3584.8 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2308504 0 0 0 357353 1127 0 0 20 0 1 0 78954336 9166077952 1836660 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2237812 1836660 4000 3530 0 2229263 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 8951248 KiB
Current children cumulated memory: 7346640 KiB

[startup+3599.6 s]
/proc/loadavg: 1.10 1.61 2.48 2/247 91971
/proc/meminfo: memFree=121581616/131249988 swapFree=33010160/33010684
[pid=91615] ppid=91612 vsize=8607136 memory=7002728 CPUtime=3585.2 cores=4,6
/proc/91615/stat : 91615 (pbscip) R 91612 91615 89164 0 -1 4194304 2308510 0 0 0 357391 1129 0 0 20 0 1 0 78954336 8813707264 1750682 18446744073709551615 4235264 18693293 140730830483216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36220928 140730830485895 140730830485994 140730830485994 140730830491598 0
/proc/91615/statm: 2151784 1750682 4000 3530 0 2143235 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 8607136 KiB
Current children cumulated memory: 7002728 KiB

[startup+3599.81 s]
/proc/loadavg: 1.10 1.61 2.48 2/247 91971
/proc/meminfo: memFree=124638564/131249988 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3599.82
CPU time (s): 3585.43
CPU user time (s): 3573.94
CPU system time (s): 11.4862
CPU usage (%): 99.6002
Max. virtual memory (cumulated for all children) (KiB): 8955788
Max. memory (cumulated for all children) (KiB): 7350984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.94
system time used= 11.4862
maximum resident set size= 7350984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2308537
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= 81
involuntary context switches= 19461


# summary of solver processes directly reported to runsolver:
#   pid: 91615
#   total CPU time (s): 3585.43
#   total CPU user time (s): 3573.94
#   total CPU system time (s): 11.4862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92669 second user time and 16.0498 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-04 14:39:28
IDJOB=4526677
IDBENCH=144138
IDSOLVER=3382
FILE ID=nodeC020/4526677-1751632768
RUNJOBID= nodeC020-1751624435-89175
SLURM_JOB_ID= 9598948
Free space on /tmp= 431400 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526677-1751632768/watcher-4526677-1751632768 -o /tmp/evaluation-result-4526677-1751632768/solver-4526677-1751632768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89175 --watchdog 3760  pbscip -f HOME/instance-4526677-1751632768.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=1681958622

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.969
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.889
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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.261
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3598.598
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.919
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.910
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3590.372
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3609.108
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        103473564 kB
MemAvailable:   104247036 kB
Buffers:            2128 kB
Cached:          1564636 kB
SwapCached:            8 kB
Active:         25338612 kB
Inactive:         999220 kB
Active(anon):   24764544 kB
Inactive(anon):    24568 kB
Active(file):     574068 kB
Inactive(file):   974652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27268 kB
Writeback:             4 kB
AnonPages:      24769344 kB
Mapped:           137540 kB
Shmem:             18044 kB
KReclaimable:     127980 kB
Slab:             219912 kB
SReclaimable:     127980 kB
SUnreclaim:        91932 kB
KernelStack:        4304 kB
PageTables:        52172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   26591348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7282688 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431484 MiB
End job on nodeC020 at 2025-07-04 15:39:28