Trace number 4526704

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.46 3599.78

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
MD5SUM4f9f31b2d576e76fab744cedabc86032
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.9592
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
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-4526704-1751633575.wbo>
1.80/1.90	c original problem has 288711 variables (288711 bin, 0 int, 0 impl, 0 cont) and 566053 constraints
1.80/1.90	c problem read in 1.88
5.27/5.44	c presolving:
6.55/6.79	c (round 1, exhaustive) 148 del vars, 131 del conss, 0 add conss, 282981 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 282839 impls, 745 clqs
16.75/17.07	c    (17.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
18.63/18.91	c    (18.9s) no symmetry present (symcode time: 0.93)
19.43/19.72	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
19.43/19.72	c  174 deleted vars, 132 deleted constraints, 0 added constraints, 282981 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
19.43/19.72	c  282839 implications, 5321 cliques
19.43/19.72	c presolved problem has 571393 variables (288580 bin, 0 int, 282813 impl, 0 cont) and 565921 constraints
19.43/19.72	c       1 constraints of type <knapsack>
19.43/19.72	c     243 constraints of type <setppc>
19.43/19.72	c  282838 constraints of type <linear>
19.43/19.72	c  282839 constraints of type <indicator>
19.43/19.72	c transformed objective value is always integral (scale: 1)
19.43/19.72	c Presolving Time: 16.75
19.43/19.72	c - non default parameters ----------------------------------------------------------------------
19.43/19.72	c # SCIP version 10.0.0
19.43/19.72	c 
19.43/19.72	c # maximal time in seconds to run
19.43/19.72	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
19.43/19.72	c limits/time = 3596.993164
19.43/19.72	c 
19.43/19.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.43/19.72	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
19.43/19.72	c limits/memory = 27900
19.43/19.72	c 
19.43/19.72	c # belongs reading time to solving time?
19.43/19.72	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
19.43/19.72	c timing/reading = TRUE
19.43/19.72	c 
19.43/19.72	c -----------------------------------------------------------------------------------------------
19.43/19.72	c start solving
19.74/20.08	c 
53.80/54.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
53.80/54.29	c  54.3s|     1 |     0 | 10375 |     - |  3652M |   0 | 571k| 566k| 565k|   0 |  0 | 101 |   0 | 1.635649e+00 |      --      |    Inf | unknown
103.43/104.08	c   104s|     1 |     0 | 27850 |     - |  3999M |   0 | 571k| 566k| 565k|  39 |  1 | 106 |   0 | 2.318427e+00 |      --      |    Inf | unknown
113.17/113.86	c   114s|     1 |     0 | 29266 |     - |  4055M |   0 | 571k| 566k| 565k|  74 |  2 | 109 |   0 | 2.406030e+00 |      --      |    Inf | unknown
121.55/122.26	c   122s|     1 |     0 | 30577 |     - |  4112M |   0 | 571k| 566k| 566k| 114 |  3 | 111 |   0 | 2.407107e+00 |      --      |    Inf | unknown
130.43/131.14	c   131s|     1 |     0 | 32374 |     - |  4170M |   0 | 571k| 566k| 566k| 149 |  4 | 113 |   0 | 2.450225e+00 |      --      |    Inf | unknown
137.30/138.03	c   138s|     1 |     0 | 33794 |     - |  4232M |   0 | 571k| 566k| 566k| 177 |  5 | 114 |   0 | 2.452695e+00 |      --      |    Inf | unknown
143.86/144.65	c   145s|     1 |     0 | 34385 |     - |  4290M |   0 | 571k| 566k| 566k| 204 |  6 | 117 |   0 | 2.452695e+00 |      --      |    Inf | unknown
151.83/152.66	c   153s|     1 |     0 | 35245 |     - |  4355M |   0 | 571k| 566k| 566k| 229 |  7 | 119 |   0 | 2.459448e+00 |      --      |    Inf | unknown
160.21/161.07	c   161s|     1 |     0 | 36335 |     - |  4415M |   0 | 571k| 566k| 566k| 255 |  8 | 120 |   0 | 2.464404e+00 |      --      |    Inf | unknown
167.97/168.82	c   169s|     1 |     0 | 37250 |     - |  4475M |   0 | 571k| 566k| 566k| 288 |  9 | 122 |   0 | 1.123369e+01 |      --      |    Inf | unknown
175.74/176.64	c   177s|     1 |     0 | 38807 |     - |  4539M |   0 | 571k| 566k| 566k| 314 | 10 | 125 |   0 | 1.185612e+01 |      --      |    Inf | unknown
180.51/181.41	c   181s|     1 |     0 | 39749 |     - |  4594M |   0 | 571k| 566k| 566k| 338 | 11 | 127 |   0 | 1.235612e+01 |      --      |    Inf | unknown
186.68/187.66	c   188s|     1 |     0 | 40643 |     - |  4651M |   0 | 571k| 566k| 566k| 365 | 12 | 133 |   0 | 1.285612e+01 |      --      |    Inf | unknown
193.36/194.38	c   194s|     1 |     0 | 41913 |     - |  4705M |   0 | 571k| 566k| 566k| 389 | 13 | 137 |   0 | 1.288698e+01 |      --      |    Inf | unknown
198.43/199.44	c   199s|     1 |     0 | 42095 |     - |  4760M |   0 | 571k| 566k| 566k| 403 | 14 | 141 |   0 | 1.288698e+01 |      --      |    Inf | unknown
203.71/204.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
203.71/204.74	c   205s|     1 |     0 | 43144 |     - |  4815M |   0 | 571k| 566k| 566k| 417 | 15 | 143 |   0 | 1.404920e+01 |      --      |    Inf | unknown
212.37/213.41	c   213s|     1 |     0 | 47492 |     - |  4869M |   0 | 571k| 566k| 566k| 437 | 16 | 144 |   0 | 1.411423e+01 |      --      |    Inf | unknown
217.56/218.68	c   219s|     1 |     0 | 47871 |     - |  4924M |   0 | 571k| 566k| 566k| 462 | 17 | 150 |   0 | 1.411776e+01 |      --      |    Inf | unknown
223.83/224.96	c   225s|     1 |     0 | 48117 |     - |  4980M |   0 | 571k| 566k| 566k| 479 | 18 | 156 |   0 | 1.411776e+01 |      --      |    Inf | unknown
231.01/232.17	c   232s|     1 |     0 | 49980 |     - |  5035M |   0 | 571k| 566k| 566k| 499 | 19 | 159 |   0 | 1.415776e+01 |      --      |    Inf | unknown
236.48/237.67	c   238s|     1 |     0 | 50246 |     - |  5090M |   0 | 571k| 566k| 566k| 520 | 20 | 163 |   0 | 1.415776e+01 |      --      |    Inf | unknown
241.06/242.22	c   242s|     1 |     0 | 50483 |     - |  5090M |   0 | 571k| 566k| 566k| 528 | 21 | 165 |   0 | 1.415916e+01 |      --      |    Inf | unknown
247.73/248.97	c   249s|     1 |     0 | 52721 |     - |  5090M |   0 | 571k| 566k| 566k| 532 | 22 | 168 |   0 | 1.418588e+01 |      --      |    Inf | unknown
253.00/254.29	c   254s|     1 |     0 | 52949 |     - |  5090M |   0 | 571k| 566k| 566k| 538 | 23 | 172 |   0 | 1.420351e+01 |      --      |    Inf | unknown
257.59/258.83	c   259s|     1 |     0 | 53074 |     - |  5090M |   0 | 571k| 566k| 566k| 541 | 24 | 178 |   0 | 1.420351e+01 |      --      |    Inf | unknown
261.78/263.05	c   263s|     1 |     0 | 53169 |     - |  5103M |   0 | 571k| 566k| 566k| 543 | 25 | 180 |   0 | 1.420604e+01 |      --      |    Inf | unknown
266.05/267.39	c   267s|     1 |     0 | 53412 |     - |  5103M |   0 | 571k| 566k| 566k| 545 | 26 | 182 |   0 | 1.420644e+01 |      --      |    Inf | unknown
1590.19/1596.93	c  1597s|     1 |     2 |340634 |     - |  5228M |   0 | 571k| 566k| 566k| 545 | 27 | 715 |  22 | 1.420644e+01 |      --      |    Inf | unknown
3433.90/3446.86	c  3447s|   100 |   101 |915939 |8713.2 |  6439M |  24 | 571k| 568k| 566k|1867 |  1 |2641 | 436 | 1.564066e+01 |      --      |    Inf | unknown
3583.69/3597.02	c 
3583.69/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3583.69/3597.02	c Solving Time (sec) : 3597.01
3583.69/3597.02	c Solving Nodes      : 118
3583.69/3597.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3583.69/3597.02	c Dual Bound         : +1.56406647116324e+01
3583.69/3597.02	c Gap                : infinite
3583.69/3597.02	s UNKNOWN
3583.69/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3583.69/3597.02	c Total Time         :    3597.01
3583.69/3597.02	c   solving          :    3597.01
3583.69/3597.02	c   presolving       :      16.75 (included in solving)
3583.69/3597.02	c   reading          :       1.88 (included in solving)
3583.69/3597.02	c   copying          :       7.53 (4 #copies) (minimal 1.85, maximal 1.96, average 1.88)
3583.69/3597.02	c Original Problem   :
3583.69/3597.02	c   Problem name     : HOME/instance-4526704-1751633575.wbo
3583.69/3597.02	c   Variables        : 288711 (288711 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.69/3597.02	c   Constraints      : 566053 initial, 566053 maximal
3583.69/3597.03	c   Objective        : minimize, 282856 non-zeros (abs.min = 1, abs.max = 3080)
3583.69/3597.03	c Presolved Problem  :
3583.69/3597.03	c   Problem name     : t_HOME/instance-4526704-1751633575.wbo
3583.69/3597.03	c   Variables        : 571393 (288580 binary, 0 integer, 282813 implicit integer, 0 continuous)
3583.69/3597.03	c   Constraints      : 565921 initial, 568509 maximal
3583.69/3597.04	c   Objective        : minimize, 282839 non-zeros (abs.min = 1, abs.max = 2898)
3583.69/3597.04	c   Nonzeros         : 2546104 constraint, 1015909 clique table
3583.69/3597.04	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.69/3597.04	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   implics          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   trivial          :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dualfix          :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   probing          :       9.80       0.03      1          0         25          0          0          0          0          0          0          0
3583.69/3597.04	c   pseudoobj        :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   symmetry         :       1.84       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   vbounds          :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   knapsack         :       0.00       0.02      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   setppc           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   linear           :       1.44       0.05      4        125          7          0     282964          0        115          0          0          0
3583.69/3597.04	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   indicator        :       0.12       0.02      2         17          0          0         17          0         17          0          0          0
3583.69/3597.04	c   components       :       0.65       0.00      1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3583.69/3597.04	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.69/3597.04	c   benderslp        :          0          0          0          0        117          0          0         60          0          0          0          0          0          0          0
3583.69/3597.04	c   integral         :          0          0          0          0        117          0          0         60          0          0          0          0          0          0        234
3583.69/3597.04	c   knapsack         :          1          1          0      32997          0          0          0         56      17915         62          0          0          0          0          0
3583.69/3597.04	c   setppc           :        243        243         27      32953          0          0          0         52        502        309       1931          0          0          0          0
3583.69/3597.04	c   linear           :     282838     282838         27      32644          0          0          0          3      27629          4         18          0          0          0          0
3583.69/3597.04	c   logicor          :          0+      2588         27       1797          0          0          0          0        251        122          0         39         10          0          0
3583.69/3597.04	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   indicator        :     282839     282839         79      32518          0          0          0          0      29270          0       8279          0          0          0          0
3583.69/3597.04	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.69/3597.04	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   integral         :     724.63       0.00       0.00       0.00     724.61       0.00       0.00       0.02       0.00       0.00
3583.69/3597.04	c   knapsack         :      85.77       0.02       0.00      33.87       0.00       0.00       0.00       0.86      51.02       0.00
3583.69/3597.04	c   setppc           :      32.88       0.00       0.00      32.58       0.00       0.00       0.00       0.00       0.00       0.30
3583.69/3597.04	c   linear           :      61.41       0.05      49.40      11.74       0.00       0.00       0.00       0.00       0.02       0.20
3583.69/3597.04	c   logicor          :      17.63       0.00       0.00      17.62       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   indicator        :     184.33       0.02       2.78     179.02       0.00       0.00       0.00       0.00       0.01       2.50
3583.69/3597.04	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.69/3597.04	c   dualfix          :          1          0          0          0
3583.69/3597.04	c   genvbounds       :          0          0          0          0
3583.69/3597.04	c   nlobbt           :          0          0          0          0
3583.69/3597.04	c   obbt             :          0          0          0          0
3583.69/3597.04	c   probing          :          0          0          0          0
3583.69/3597.04	c   pseudoobj        :        387          0          0          0
3583.69/3597.04	c   redcost          :        362          0          0       8260
3583.69/3597.04	c   rootredcost      :          1          0          0          0
3583.69/3597.04	c   symmetry         :          0          0          0          0
3583.69/3597.04	c   vbounds          :       9221          0          0          0
3583.69/3597.04	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.69/3597.04	c   dualfix          :       0.06       0.00       0.04       0.02       0.00       0.00
3583.69/3597.04	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3583.69/3597.04	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.69/3597.04	c   probing          :       9.83       0.03       9.80       0.00       0.00       0.00
3583.69/3597.04	c   pseudoobj        :       0.34       0.00       0.02       0.32       0.00       0.00
3583.69/3597.04	c   redcost          :      10.55       0.00       0.00      10.55       0.00       0.00
3583.69/3597.04	c   rootredcost      :       0.13       0.00       0.00       0.13       0.00       0.00
3583.69/3597.04	c   symmetry         :       1.85       0.00       1.84       0.01       0.00       0.00
3583.69/3597.04	c   vbounds          :       3.94       0.00       0.09       3.84       0.00       0.00
3583.69/3597.04	c Symmetry           :
3583.69/3597.04	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3583.69/3597.04	c   orbital reduction:          0 reductions applied,          0 cutoffs
3583.69/3597.04	c   lexicographic red:          0 reductions applied,          0 cutoffs
3583.69/3597.04	c   shadow tree time :       0.00 s
3583.69/3597.04	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.69/3597.04	c   propagation      :      51.12        486        486          -       3838       45.8         34       10.6          -          -          -
3583.69/3597.04	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.69/3597.04	c   bound exceed. LP :       7.61         33          0          -          0        0.0          0        0.0          0        0.0        330
3583.69/3597.04	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.69/3597.04	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.69/3597.04	c   applied globally :       9.55          -          -          0       2641       42.6          -          -          0          -          -
3583.69/3597.04	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3583.69/3597.04	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.69/3597.04	c   cut pool         :       0.22          -        117         46          -          -       3405      12365          -          -          -          -          -    (maximal pool size:       3405)
3583.69/3597.04	c   aggregation      :      12.47       0.00         45         27          0          0          1         13          0          1          1          0          0
3583.69/3597.04	c   > cmir           :          -          -          -          -          -          -          -         13          0          1          1          0          -
3583.69/3597.04	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.69/3597.04	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.69/3597.04	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   clique           :       6.66       0.00         27         27          0          0          1          1          0          1          1          0          0
3583.69/3597.04	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   gomory           :      38.64       0.00         25         10          0          0       2760       9964          0        887        887          0          0
3583.69/3597.04	c   > gomorymi       :          -          -          -          -          -          -          -       3624          0        164        164          0          -
3583.69/3597.04	c   > strongcg       :          -          -          -          -          -          -          -       6340          0        723        723          0          -
3583.69/3597.04	c   impliedbounds    :       0.86       0.00         45         27          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   mcf              :       0.29       0.00          1          1          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   mixing           :       0.00       0.00         45         27          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   multilinear      :       0.00       0.00         37         27          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   rlt              :       0.00       0.00         14         10          0          0          0          0          0          0          0          0          0
3583.69/3597.04	c   zerohalf         :       7.73       0.00         35         20          0          0        643       2387          0       1362       1362          0          0
3583.69/3597.04	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.69/3597.04	c   hybrid           :       0.07       0.00         82         26       2261          0      10143        545          0       4897
3583.69/3597.04	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.69/3597.04	c   problem variables:       0.00          -          0          0
3583.69/3597.04	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.69/3597.04	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c   relpscost        :     724.61       0.00        117          0          0          0          0          0          0        234
3583.69/3597.04	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.69/3597.04	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.69/3597.04	c   LP solutions     :       0.00          -          -          0          0
3583.69/3597.04	c   relax solutions  :       0.00          -          -          0          0
3583.69/3597.04	c   pseudo solutions :       0.00          -          -          0          0
3583.69/3597.04	c   strong branching :       0.00          -          -          0          0
3583.69/3597.04	c   actconsdiving    :       0.00       0.00          0          0          0
3583.69/3597.04	c   adaptivediving   :      51.08       0.00          2          0          0
3583.69/3597.04	c   alns             :      40.41       0.00          3          0          0
3583.69/3597.04	c   bound            :       0.00       0.00          0          0          0
3583.69/3597.04	c   clique           :       4.63       0.00          1          0          0
3583.69/3597.04	c   coefdiving       :       0.00       0.00          0          0          0
3583.69/3597.04	c   completesol      :       0.00       0.00          0          0          0
3583.69/3597.04	c   conflictdiving   :     216.84       0.00          3          0          0
3583.69/3597.04	c   crossover        :       0.00       0.00          0          0          0
3583.69/3597.04	c   dins             :       0.00       0.00          0          0          0
3583.69/3597.04	c   distributiondivin:      53.27       0.00          2          0          0
3583.69/3597.04	c   dps              :       0.00       0.00          0          0          0
3583.69/3597.04	c   dualval          :       0.00       0.00          0          0          0
3583.69/3597.04	c   farkasdiving     :    1238.49       0.00          1          0          0
3583.69/3597.04	c   feasjump         :       0.49       0.00          1          0          0
3583.69/3597.04	c   feaspump         :     165.87       0.00          2          0          0
3583.69/3597.04	c   fixandinfer      :       0.00       0.00          0          0          0
3583.69/3597.04	c   fracdiving       :     123.07       0.00          5          0          0
3583.69/3597.04	c   gins             :       0.00       0.00          0          0          0
3583.69/3597.04	c   guideddiving     :       0.00       0.00          0          0          0
3583.69/3597.04	c   indcoefdiving    :       0.00       0.00          0          0          0
3583.69/3597.04	c   indicator        :       0.00       0.00          0          0          0
3583.69/3597.04	c   indicatordiving  :       0.03       0.00          0          0          0
3583.69/3597.04	c   indoneopt        :       2.45       0.12          1          0          0
3583.69/3597.04	c   indrounding      :       0.00       0.00          0          0          0
3583.69/3597.04	c   indtwoopt        :       0.00       0.10          0          0          0
3583.69/3597.04	c   intdiving        :       0.00       0.00          0          0          0
3583.69/3597.04	c   intshifting      :       0.00       0.00          0          0          0
3583.69/3597.04	c   linesearchdiving :      28.24       0.00          1          0          0
3583.69/3597.04	c   localbranching   :       0.00       0.00          0          0          0
3583.69/3597.04	c   locks            :       1.75       0.00          1          0          0
3583.69/3597.04	c   lpface           :       0.00       0.00          0          0          0
3583.69/3597.04	c   mpec             :       0.00       0.00          0          0          0
3583.69/3597.04	c   multistart       :       0.00       0.00          0          0          0
3583.69/3597.04	c   mutation         :       0.00       0.00          0          0          0
3583.69/3597.04	c   nlpdiving        :       0.00       0.00          0          0          0
3583.69/3597.04	c   objpscostdiving  :     128.31       0.00          2          0          0
3583.69/3597.04	c   octane           :       0.00       0.00          0          0          0
3583.69/3597.04	c   ofins            :       0.00       0.00          0          0          0
3583.69/3597.04	c   oneopt           :       0.00       0.00          0          0          0
3583.69/3597.04	c   padm             :       0.00       0.00          0          0          0
3583.69/3597.04	c   proximity        :       0.00       0.00          0          0          0
3583.69/3597.04	c   pscostdiving     :     101.11       0.00          4          0          0
3583.69/3597.04	c   randrounding     :      39.67       0.00         77          0          0
3583.69/3597.04	c   rens             :       6.25       0.00          1          0          0
3583.69/3597.04	c   reoptsols        :       0.00       0.00          0          0          0
3583.69/3597.04	c   repair           :       0.00       0.00          0          0          0
3583.69/3597.04	c   rins             :       0.00       0.00          0          0          0
3583.69/3597.04	c   rootsoldiving    :      35.57       0.00          1          0          0
3583.69/3597.04	c   rounding         :       2.40       0.00        157          0          0
3583.69/3597.04	c   scheduler        :       0.00       0.00          0          0          0
3583.69/3597.04	c   shiftandpropagate:      11.46       0.00          1          0          0
3583.69/3597.04	c   shifting         :       6.31       0.00        100          0          0
3583.69/3597.04	c   simplerounding   :       0.01       0.00          0          0          0
3583.69/3597.04	c   smallcard        :       0.00       0.00          0          0          0
3583.69/3597.04	c   subnlp           :       0.00       0.00          0          0          0
3583.69/3597.04	c   trivial          :       0.53       0.00          2          0          0
3583.69/3597.04	c   trivialnegation  :       0.00       0.00          0          0          0
3583.69/3597.04	c   trustregion      :       0.00       0.00          0          0          0
3583.69/3597.04	c   trysol           :       0.00       0.00          0          0          0
3583.69/3597.04	c   twoopt           :       0.00       0.00          0          0          0
3583.69/3597.04	c   undercover       :       0.00       0.00          0          0          0
3583.69/3597.04	c   vbounds          :       0.54       0.00          0          0          0
3583.69/3597.04	c   veclendiving     :      93.55       0.00          5          0          0
3583.69/3597.04	c   zeroobj          :       0.00       0.00          0          0          0
3583.69/3597.04	c   zirounding       :       0.79       0.00        117          0          0
3583.69/3597.04	c   other solutions  :          -          -          -          0          -
3583.69/3597.04	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	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
3583.69/3597.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.69/3597.04	c   primal LP        :       4.79         38          2       2.00       0.42       4.59         37
3583.69/3597.04	c   dual LP          :     333.93        238     215649    1012.44     645.78       2.21         25
3583.69/3597.04	c   lex dual LP      :       0.00          0          0       0.00          -
3583.69/3597.04	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.69/3597.04	c   resolve instable :      16.47         20       1023      51.15      62.13
3583.69/3597.04	c   diving/probing LP:    1479.42       2683     759211     282.97     513.18
3583.69/3597.04	c   strong branching :     640.54        466     227553     488.31     355.25          -          -        335
3583.69/3597.04	c     (at root node) :          -         22      10636     483.45          -
3583.69/3597.04	c   conflict analysis:       4.22         33        330      10.00      78.24
3583.69/3597.04	c B&B Tree           :
3583.69/3597.04	c   number of runs   :          1
3583.69/3597.04	c   nodes            :        118 (117 internal, 1 leaves)
3583.69/3597.04	c   feasible leaves  :          0
3583.69/3597.04	c   infeas. leaves   :          0
3583.69/3597.04	c   objective leaves :          0
3583.69/3597.04	c   nodes (total)    :        118 (117 internal, 1 leaves)
3583.69/3597.04	c   nodes left       :        118
3583.69/3597.04	c   max depth        :         24
3583.69/3597.04	c   max depth (total):         24
3583.69/3597.04	c   backtracks       :         35 (29.7%)
3583.69/3597.04	c   early backtracks :          0 (0.0%)
3583.69/3597.04	c   nodes exc. ref.  :          0 (0.0%)
3583.69/3597.04	c   delayed cutoffs  :          0
3583.69/3597.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3583.69/3597.04	c   avg switch length:       4.35
3583.69/3597.04	c   switching time   :       5.48
3583.69/3597.04	c Root Node          :
3583.69/3597.04	c   First LP value   : +1.63564914954243e+00
3583.69/3597.04	c   First LP Iters   :      10294 (842.83 Iter/sec)
3583.69/3597.04	c   First LP Time    :      12.21
3583.69/3597.04	c   Final Dual Bound : +1.42064416525942e+01
3583.69/3597.04	c   Final Root Iters :      53331
3583.69/3597.04	c   Root LP Estimate : +4.87843773808394e+02
3583.69/3597.04	c Solution           :
3583.69/3597.04	c   Solutions found  :          0 (0 improvements)
3583.69/3597.04	c   Primal Bound     :          -
3583.69/3597.04	c   Dual Bound       : +1.56406647116324e+01
3583.69/3597.04	c   Gap              :   infinite
3583.69/3597.04	c Integrals          :      Total       Avg%
3583.69/3597.04	c   primal-dual      :  359700.64     100.00
3583.69/3597.04	c   primal-ref       :          -          - (not evaluated)
3583.69/3597.04	c   dual-ref         :          -          - (not evaluated)
3586.27/3599.62	c Time complete: 3586.3.

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: 63794 MiB (62100 MiB free)
  memory of node 1: 64507 MiB (58894 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526704-1751633575/watcher-4526704-1751633575 -o /tmp/evaluation-result-4526704-1751633575/solver-4526704-1751633575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88029 --watchdog 3760 pbscip -f HOME/instance-4526704-1751633575.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=91296, runsolver pid=91293

[startup+0.100069 s]*
/proc/loadavg: 4.10 4.19 4.17 5/254 91297
/proc/meminfo: memFree=123886560/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=62680 memory=34688 CPUtime=0.09 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 5734 0 0 0 7 2 0 0 20 0 1 0 79037217 64184320 8672 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 15670 8672 3232 3530 0 7121 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 34688 KiB

[startup+0.21613 s]*
/proc/loadavg: 4.10 4.19 4.17 5/254 91297
/proc/meminfo: memFree=123871440/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=78584 memory=50944 CPUtime=0.19 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 9824 0 0 0 16 3 0 0 20 0 1 0 79037217 80470016 12736 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 19646 12736 3232 3530 0 11097 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78584 KiB
Current children cumulated memory: 50944 KiB

[startup+0.31406 s]*
/proc/loadavg: 4.10 4.19 4.17 5/254 91297
/proc/meminfo: memFree=123862620/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=92592 memory=64512 CPUtime=0.27 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 13270 0 0 0 23 4 0 0 20 0 1 0 79037217 94814208 16128 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 23148 16128 3232 3530 0 14599 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 64512 KiB

[startup+0.700219 s]
/proc/loadavg: 4.10 4.19 4.17 5/254 91297
/proc/meminfo: memFree=123831372/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=158904 memory=131328 CPUtime=0.61 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 29973 0 0 0 53 8 0 0 20 0 1 0 79037217 162717696 32832 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 39726 32832 3232 3530 0 31177 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 131328 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.18 4.17 5/254 91297
/proc/meminfo: memFree=123734612/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=359656 memory=331612 CPUtime=1.4 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 79514 0 0 0 122 18 0 0 20 0 1 0 79037217 368287744 82903 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 89914 82903 3232 3530 0 81365 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 359656 KiB
Current children cumulated memory: 331612 KiB

[startup+3.1057 s]
/proc/loadavg: 4.09 4.18 4.17 5/254 91297
/proc/meminfo: memFree=122901600/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=1130816 memory=1092076 CPUtime=2.99 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 261625 0 0 0 250 49 0 0 20 0 1 0 79037217 1157955584 273019 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 282704 273019 3584 3530 0 274155 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 1130816 KiB
Current children cumulated memory: 1092076 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.18 4.17 5/254 91297
/proc/meminfo: memFree=121947144/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=2067884 memory=2026148 CPUtime=6.16 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 480297 0 0 0 533 83 0 0 20 0 1 0 79037217 2117513216 506537 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 516971 506537 3616 3530 0 508422 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 2067884 KiB
Current children cumulated memory: 2026148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.18 4.17 5/254 91297
/proc/meminfo: memFree=119791708/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=2202024 memory=2149800 CPUtime=12.49 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 503574 0 0 0 1162 87 0 0 20 0 1 0 79037217 2254872576 537450 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 550506 537450 3648 3530 0 541957 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 2202024 KiB
Current children cumulated memory: 2149800 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.17 4.17 5/254 91297
/proc/meminfo: memFree=117250372/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=4026400 memory=3665680 CPUtime=25.21 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 744123 0 0 0 2370 151 0 0 20 0 1 0 79037217 4123033600 916420 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1006600 916420 3840 3530 0 998051 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 4026400 KiB
Current children cumulated memory: 3665680 KiB

[startup+51.1142 s]
/proc/loadavg: 4.12 4.17 4.17 5/254 91298
/proc/meminfo: memFree=114806444/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=4296388 memory=3890744 CPUtime=50.71 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 788698 0 0 0 4895 176 0 0 20 0 1 0 79037217 4399501312 972686 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1074097 972686 3872 3530 0 1065548 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 4296388 KiB
Current children cumulated memory: 3890744 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/255 91354
/proc/meminfo: memFree=112804920/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=4760000 memory=4153844 CPUtime=101.72 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 826698 0 0 0 9948 224 0 0 20 0 1 0 79037217 4874240000 1038461 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1190000 1038461 3872 3530 0 1181451 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 4760000 KiB
Current children cumulated memory: 4153844 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/255 91356
/proc/meminfo: memFree=103251300/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5245160 memory=4265416 CPUtime=161.49 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 839739 0 0 0 15897 252 0 0 20 0 1 0 79037217 5371043840 1066354 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1311290 1066354 3872 3530 0 1302741 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 5245160 KiB
Current children cumulated memory: 4265416 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/251 91358
/proc/meminfo: memFree=103110448/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5815808 memory=4403792 CPUtime=221.24 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 843610 0 0 0 21864 260 0 0 20 0 1 0 79037217 5955387392 1100948 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1453952 1100948 3872 3530 0 1445403 0
Current children cumulated CPU time: 221.24 s
Current children cumulated vsize: 5815808 KiB
Current children cumulated memory: 4403792 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/251 91414
/proc/meminfo: memFree=120710348/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5988332 memory=4435036 CPUtime=280.99 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 847447 0 0 0 27819 280 0 0 20 0 1 0 79037217 6132051968 1108759 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1497083 1108759 3872 3530 0 1488534 0
Current children cumulated CPU time: 280.99 s
Current children cumulated vsize: 5988332 KiB
Current children cumulated memory: 4435036 KiB

[startup+342.3 s]
/proc/loadavg: 4.75 4.31 4.21 5/251 91416
/proc/meminfo: memFree=109565168/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5988332 memory=4441404 CPUtime=340.71 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 847498 0 0 0 33790 281 0 0 20 0 1 0 79037217 6132051968 1110351 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1497083 1110351 3872 3530 0 1488534 0
Current children cumulated CPU time: 340.71 s
Current children cumulated vsize: 5988332 KiB
Current children cumulated memory: 4441404 KiB

[startup+402.3 s]
/proc/loadavg: 4.39 4.28 4.21 5/250 91418
/proc/meminfo: memFree=103007108/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5988332 memory=4441532 CPUtime=400.42 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 847537 0 0 0 39761 281 0 0 20 0 1 0 79037217 6132051968 1110383 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1497083 1110383 3872 3530 0 1488534 0
Current children cumulated CPU time: 400.42 s
Current children cumulated vsize: 5988332 KiB
Current children cumulated memory: 4441532 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.23 4.19 5/251 91421
/proc/meminfo: memFree=98687284/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=5988332 memory=4441532 CPUtime=460.12 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 847568 0 0 0 45731 281 0 0 20 0 1 0 79037217 6132051968 1110383 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 1497083 1110383 3872 3530 0 1488534 0
Current children cumulated CPU time: 460.12 s

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

Current children cumulated memory: 7659532 KiB

[startup+3222.3 s]
/proc/loadavg: 2.09 2.09 2.27 3/238 92206
/proc/meminfo: memFree=107196260/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7661708 CPUtime=3209.99 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2843339 0 0 0 319198 1801 0 0 20 0 1 0 79037217 9412251648 1915427 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915427 4000 3530 0 2289364 0
Current children cumulated CPU time: 3209.99 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7661708 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 2.10 2.27 3/238 92207
/proc/meminfo: memFree=107170548/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3269.84 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2843858 0 0 0 325183 1801 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3269.84 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.09 2.26 3/238 92209
/proc/meminfo: memFree=107157220/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3329.68 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2844301 0 0 0 331166 1802 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3329.68 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.24 3/238 92211
/proc/meminfo: memFree=107140612/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3389.52 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2844384 0 0 0 337150 1802 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3389.52 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3462.3 s]
/proc/loadavg: 2.53 2.20 2.27 3/238 92213
/proc/meminfo: memFree=107112120/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3449.35 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2844992 0 0 0 343132 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3449.35 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3522.3 s]
/proc/loadavg: 2.49 2.26 2.29 3/238 92216
/proc/meminfo: memFree=107085560/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3509.19 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845016 0 0 0 349116 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3509.19 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3582.3 s]
/proc/loadavg: 2.30 2.25 2.28 3/238 92224
/proc/meminfo: memFree=107010420/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3569.02 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845253 0 0 0 355099 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3569.02 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

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

# cumulated CPU time of all completed processes:  user=3568.24 s, system=18.2238 s

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

[startup+3584 s]*
/proc/loadavg: 2.30 2.25 2.28 3/238 92224
/proc/meminfo: memFree=107010420/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3570.73 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845468 0 0 0 355270 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3590.4 s]
/proc/loadavg: 2.27 2.24 2.28 3/238 92225
/proc/meminfo: memFree=107026548/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3577.1 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845561 0 0 0 355907 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3577.1 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3593.6 s]
/proc/loadavg: 2.25 2.24 2.27 3/238 92225
/proc/meminfo: memFree=107032188/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3580.29 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845578 0 0 0 356226 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3580.29 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3596.8 s]
/proc/loadavg: 2.25 2.24 2.27 3/238 92225
/proc/meminfo: memFree=107021948/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3583.48 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845647 0 0 0 356545 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3583.48 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3598.4 s]
/proc/loadavg: 2.23 2.23 2.27 3/238 92225
/proc/meminfo: memFree=107021948/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9191652 memory=7662092 CPUtime=3585.08 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845709 0 0 0 356705 1803 0 0 20 0 1 0 79037217 9412251648 1915523 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2297913 1915523 4000 3530 0 2289364 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 9191652 KiB
Current children cumulated memory: 7662092 KiB

[startup+3599.2 s]
/proc/loadavg: 2.23 2.23 2.27 3/238 92225
/proc/meminfo: memFree=107023996/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=9187112 memory=7657740 CPUtime=3585.88 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845741 0 0 0 356785 1803 0 0 20 0 1 0 79037217 9407602688 1914435 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2296778 1914435 4000 3530 0 2288229 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 9187112 KiB
Current children cumulated memory: 7657740 KiB

[startup+3599.6 s]
/proc/loadavg: 2.23 2.23 2.27 3/238 92225
/proc/meminfo: memFree=107023996/131382112 swapFree=33010416/33010684
[pid=91296] ppid=91293 vsize=8747444 memory=7218332 CPUtime=3586.27 cores=4,6
/proc/91296/stat : 91296 (pbscip) R 91293 91296 88018 0 -1 4194304 2845756 0 0 0 356822 1805 0 0 20 0 1 0 79037217 8957382656 1804583 18446744073709551615 4235264 18693293 140724239406960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29966336 140724239411591 140724239411690 140724239411690 140724239417294 0
/proc/91296/statm: 2186861 1804583 4000 3530 0 2178312 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 8747444 KiB
Current children cumulated memory: 7218332 KiB

[startup+3599.7 s]*
/proc/loadavg: 2.23 2.23 2.27 3/238 92225
/proc/meminfo: memFree=112081448/131382112 swapFree=33010416/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.78
CPU time (s): 3586.46
CPU user time (s): 3568.24
CPU system time (s): 18.2238
CPU usage (%): 99.6301
Max. virtual memory (cumulated for all children) (KiB): 9191652
Max. memory (cumulated for all children) (KiB): 7662092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.24
system time used= 18.2238
maximum resident set size= 7662092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2845785
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= 86
involuntary context switches= 3073


# summary of solver processes directly reported to runsolver:
#   pid: 91296
#   total CPU time (s): 3586.46
#   total CPU user time (s): 3568.24
#   total CPU system time (s): 18.2238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0993 second user time and 36.27 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 14:52:55
IDJOB=4526704
IDBENCH=144141
IDSOLVER=3382
FILE ID=nodeC012/4526704-1751633575
RUNJOBID= nodeC012-1751626031-88029
SLURM_JOB_ID= 9598953
Free space on /tmp= 431620 MiB

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

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

MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=341276207

nodeC012 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	: 0xb00001f
cpu MHz		: 3662.367
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 pti 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	: 6983.39
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		: 3691.225
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 pti 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	: 6983.39
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.452
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 pti 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	: 6983.39
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		: 3700.000
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 pti 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	: 6983.39
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		: 3700.000
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 pti 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	: 6983.39
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.827
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 pti 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	: 6983.39
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.151
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 pti 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	: 6983.39
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		: 3700.000
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 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123900076 kB
MemAvailable:   124466836 kB
Buffers:            2136 kB
Cached:          1365896 kB
SwapCached:           16 kB
Active:          5986040 kB
Inactive:         745668 kB
Active(anon):    5376672 kB
Inactive(anon):     4948 kB
Active(file):     609368 kB
Inactive(file):   740720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61776 kB
Writeback:             0 kB
AnonPages:       5366796 kB
Mapped:           137900 kB
Shmem:             17944 kB
KReclaimable:     112212 kB
Slab:             197776 kB
SReclaimable:     112212 kB
SUnreclaim:        85564 kB
KernelStack:        4096 kB
PageTables:        13852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5893924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431500 MiB
End job on nodeC012 at 2025-07-04 15:52:55