Trace number 4432878

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3587.28 3598.47

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
MD5SUM5c43d7dab24b2d6eb632f3b262990bf9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2838011
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 126506008
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 32130212021
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 126506008
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 32130212021
Number of bits of the biggest sum of numbers35
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-4432878-1721139311.opb>
1.09/1.12	c original problem has 126385 variables (126385 bin, 0 int, 0 impl, 0 cont) and 286973 constraints
1.09/1.12	c problem read in 1.11
1.77/1.88	c presolving:
2.28/2.37	c (round 1, fast)       5530 del vars, 3574 del conss, 0 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 0 upgd conss, 0 impls, 119631 clqs
2.78/2.88	c    (2.9s) running MILP presolver
3.27/3.30	c    (3.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
3.98/4.09	c (round 2, exhaustive) 5530 del vars, 4169 del conss, 0 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 0 upgd conss, 0 impls, 119631 clqs
5.16/5.29	c (round 3, exhaustive) 5530 del vars, 4169 del conss, 0 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 282801 upgd conss, 0 impls, 119631 clqs
6.66/6.75	c (round 4, medium)     5530 del vars, 85089 del conss, 235620 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 282801 upgd conss, 0 impls, 355251 clqs
7.96/8.02	c (round 5, exhaustive) 5530 del vars, 401629 del conss, 316540 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 282801 upgd conss, 0 impls, 355251 clqs
8.76/8.86	c (round 6, exhaustive) 25165 del vars, 421264 del conss, 316540 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 282801 upgd conss, 0 impls, 296346 clqs
9.26/9.33	c (round 7, exhaustive) 25165 del vars, 421859 del conss, 316540 add conss, 140 chg bounds, 595 chg sides, 2975 chg coeffs, 282801 upgd conss, 0 impls, 296346 clqs
50.80/51.07	c    (51.1s) probing: 1000/101220 (1.0%) - 0 fixings, 0 aggregations, 263736 implications, 0 bound changes
50.90/51.11	c    (51.1s) probing: 1001/101220 (1.0%) - 0 fixings, 0 aggregations, 264000 implications, 0 bound changes
50.90/51.11	c    (51.1s) probing aborted: 1000/1000 successive useless probings
50.90/51.11	c    (51.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
51.19/51.43	c    (51.4s) no symmetry present (symcode time: 0.12)
51.29/51.56	c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
51.29/51.56	c  25165 deleted vars, 421859 deleted constraints, 316540 added constraints, 140 tightened bounds, 0 added holes, 595 changed sides, 2975 changed coefficients
51.29/51.56	c  0 implications, 560346 cliques
51.29/51.56	c presolved problem has 101220 variables (101220 bin, 0 int, 0 impl, 0 cont) and 181654 constraints
51.29/51.56	c     700 constraints of type <knapsack>
51.29/51.56	c  119631 constraints of type <setppc>
51.29/51.56	c   60690 constraints of type <and>
51.29/51.56	c       3 constraints of type <linear>
51.29/51.56	c     630 constraints of type <logicor>
51.29/51.56	c transformed objective value is always integral (scale: 1)
51.29/51.56	c Presolving Time: 49.72
51.29/51.56	c - non default parameters ----------------------------------------------------------------------
51.29/51.56	c # SCIP version 10.0.0
51.29/51.56	c 
51.29/51.56	c # maximal time in seconds to run
51.29/51.56	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
51.29/51.56	c limits/time = 3596.993162
51.29/51.56	c 
51.29/51.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
51.29/51.56	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
51.29/51.56	c limits/memory = 27900
51.29/51.56	c 
51.29/51.56	c # belongs reading time to solving time?
51.29/51.56	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
51.29/51.56	c timing/reading = TRUE
51.29/51.56	c 
51.29/51.56	c -----------------------------------------------------------------------------------------------
51.29/51.56	c start solving
51.29/51.59	c 
101.87/102.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
101.87/102.39	c   102s|     1 |     0 |  7268 |     - |  1441M |   0 | 101k| 181k| 242k|   0 |  0 | 135 |   0 | 7.883327e+05 |      --      |    Inf | unknown
151.50/152.19	c   152s|     1 |     0 | 22312 |     - |  1528M |   0 | 101k| 181k| 242k|  32 |  1 | 214 |   0 | 9.076176e+05 |      --      |    Inf | unknown
164.05/164.71	c   165s|     1 |     0 | 23458 |     - |  1572M |   0 | 101k| 181k| 242k|  67 |  2 | 218 |   0 | 9.576593e+05 |      --      |    Inf | unknown
185.08/185.87	c   186s|     1 |     0 | 23795 |     - |  1616M |   0 | 101k| 181k| 242k| 102 |  3 | 219 |   0 | 9.649037e+05 |      --      |    Inf | unknown
203.93/204.77	c   205s|     1 |     0 | 24115 |     - |  1667M |   0 | 101k| 181k| 242k| 112 |  4 | 221 |   0 | 9.716740e+05 |      --      |    Inf | unknown
225.06/225.90	c   226s|     1 |     0 | 24692 |     - |  1720M |   0 | 101k| 181k| 242k| 126 |  5 | 221 |   0 | 9.840596e+05 |      --      |    Inf | unknown
238.42/239.31	c   239s|     1 |     0 | 24955 |     - |  1775M |   0 | 101k| 181k| 242k| 139 |  6 | 224 |   0 | 9.893822e+05 |      --      |    Inf | unknown
262.05/263.08	c   263s|     1 |     0 | 25292 |     - |  1823M |   0 | 101k| 181k| 242k| 152 |  7 | 225 |   0 | 9.971812e+05 |      --      |    Inf | unknown
283.67/284.75	c   285s|     1 |     0 | 26076 |     - |  1873M |   0 | 101k| 181k| 242k| 195 |  8 | 226 |   0 | 1.009334e+06 |      --      |    Inf | unknown
296.14/297.24	c   297s|     1 |     0 | 26272 |     - |  1913M |   0 | 101k| 181k| 242k| 209 |  9 | 226 |   0 | 1.011709e+06 |      --      |    Inf | unknown
313.89/315.06	c   315s|     1 |     0 | 26637 |     - |  1949M |   0 | 101k| 181k| 242k| 219 | 10 | 227 |   0 | 1.019021e+06 |      --      |    Inf | unknown
316.07/317.22	c   317s|     1 |     0 | 26953 |     - |  1975M |   0 | 101k| 181k| 242k| 227 | 11 | 230 |   0 | 1.028222e+06 |      --      |    Inf | unknown
317.77/318.99	c   319s|     1 |     0 | 27172 |     - |  2001M |   0 | 101k| 181k| 242k| 234 | 12 | 231 |   0 | 1.029423e+06 |      --      |    Inf | unknown
320.17/321.36	c   321s|     1 |     0 | 27546 |     - |  2027M |   0 | 101k| 181k| 242k| 240 | 13 | 231 |   0 | 1.032589e+06 |      --      |    Inf | unknown
322.36/323.55	c   324s|     1 |     0 | 27869 |     - |  2053M |   0 | 101k| 181k| 242k| 248 | 14 | 234 |   0 | 1.034190e+06 |      --      |    Inf | unknown
324.86/326.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
324.86/326.06	c   326s|     1 |     0 | 28214 |     - |  2080M |   0 | 101k| 181k| 242k| 255 | 15 | 236 |   0 | 1.040476e+06 |      --      |    Inf | unknown
326.75/327.94	c   328s|     1 |     0 | 28247 |     - |  2110M |   0 | 101k| 181k| 242k| 260 | 16 | 245 |   0 | 1.040608e+06 |      --      |    Inf | unknown
328.95/330.16	c   330s|     1 |     0 | 28556 |     - |  2133M |   0 | 101k| 181k| 242k| 264 | 17 | 247 |   0 | 1.044598e+06 |      --      |    Inf | unknown
330.73/332.00	c   332s|     1 |     0 | 28640 |     - |  2160M |   0 | 101k| 181k| 242k| 275 | 18 | 247 |   0 | 1.045019e+06 |      --      |    Inf | unknown
333.42/334.62	c   335s|     1 |     0 | 29090 |     - |  2186M |   0 | 101k| 181k| 242k| 286 | 19 | 251 |   0 | 1.049426e+06 |      --      |    Inf | unknown
335.41/336.67	c   337s|     1 |     0 | 29303 |     - |  2212M |   0 | 101k| 181k| 242k| 294 | 20 | 253 |   0 | 1.051545e+06 |      --      |    Inf | unknown
337.21/338.45	c   338s|     1 |     0 | 29456 |     - |  2215M |   0 | 101k| 181k| 242k| 296 | 21 | 253 |   0 | 1.051783e+06 |      --      |    Inf | unknown
339.10/340.36	c   340s|     1 |     0 | 29578 |     - |  2218M |   0 | 101k| 181k| 242k| 301 | 22 | 255 |   0 | 1.052208e+06 |      --      |    Inf | unknown
341.10/342.36	c   342s|     1 |     0 | 29839 |     - |  2218M |   0 | 101k| 181k| 242k| 309 | 23 | 257 |   0 | 1.053223e+06 |      --      |    Inf | unknown
342.80/344.02	c   344s|     1 |     0 | 29874 |     - |  2220M |   0 | 101k| 181k| 242k| 312 | 24 | 259 |   0 | 1.053301e+06 |      --      |    Inf | unknown
344.68/346.00	c   346s|     1 |     0 | 30017 |     - |  2223M |   0 | 101k| 181k| 242k| 317 | 25 | 259 |   0 | 1.054799e+06 |      --      |    Inf | unknown
346.48/347.72	c   348s|     1 |     0 | 30065 |     - |  2226M |   0 | 101k| 181k| 242k| 320 | 26 | 261 |   0 | 1.054886e+06 |      --      |    Inf | unknown
348.07/349.39	c   349s|     1 |     0 | 30098 |     - |  2229M |   0 | 101k| 181k| 242k| 323 | 27 | 261 |   0 | 1.055014e+06 |      --      |    Inf | unknown
349.78/351.02	c   351s|     1 |     0 | 30150 |     - |  2231M |   0 | 101k| 181k| 242k| 327 | 28 | 262 |   0 | 1.055055e+06 |      --      |    Inf | unknown
351.36/352.67	c   353s|     1 |     0 | 30194 |     - |  2231M |   0 | 101k| 181k| 242k| 328 | 29 | 263 |   0 | 1.055113e+06 |      --      |    Inf | unknown
352.95/354.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
352.95/354.28	c   354s|     1 |     0 | 30209 |     - |  2234M |   0 | 101k| 181k| 242k| 330 | 30 | 266 |   0 | 1.055126e+06 |      --      |    Inf | unknown
438.28/439.86	c   440s|     1 |     2 | 51670 |     - |  2254M |   0 | 101k| 181k| 242k| 330 | 31 | 278 |  38 | 1.078827e+06 |      --      |    Inf | unknown
1577.21/1582.26	c  1582s|   100 |    85 |317149 |2927.7 |  3561M |  25 | 101k| 182k| 242k|1733 |  0 | 798 | 339 | 1.078827e+06 |      --      |    Inf | unknown
2775.88/2784.61	c  2785s|   200 |   170 |841953 |4093.7 |  4114M |  31 | 101k| 182k| 242k|2550 |  2 |1132 | 549 | 1.078827e+06 |      --      |    Inf | unknown
3585.81/3597.03	c 
3585.81/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3585.81/3597.03	c Solving Time (sec) : 3597.02
3585.81/3597.03	c Solving Nodes      : 257
3585.81/3597.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.81/3597.03	c Dual Bound         : +1.07882729568755e+06
3585.81/3597.03	c Gap                : infinite
3585.81/3597.03	s UNKNOWN
3585.81/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3585.81/3597.03	c Total Time         :    3597.02
3585.81/3597.03	c   solving          :    3597.02
3585.81/3597.03	c   presolving       :      49.72 (included in solving)
3585.81/3597.03	c   reading          :       1.11 (included in solving)
3585.81/3597.03	c   copying          :       1.46 (4 #copies) (minimal 0.35, maximal 0.38, average 0.37)
3585.81/3597.03	c Original Problem   :
3585.81/3597.03	c   Problem name     : HOME/instance-4432878-1721139311.opb
3585.81/3597.03	c   Variables        : 126385 (126385 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.81/3597.03	c   Constraints      : 286973 initial, 286973 maximal
3585.81/3597.03	c   Objective        : minimize, 46445 non-zeros (abs.min = 1, abs.max = 1.26506e+08)
3585.81/3597.03	c Presolved Problem  :
3585.81/3597.03	c   Problem name     : t_HOME/instance-4432878-1721139311.opb
3585.81/3597.03	c   Variables        : 101220 (101220 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.81/3597.03	c   Constraints      : 181654 initial, 182377 maximal
3585.81/3597.03	c   Objective        : minimize, 42245 non-zeros (abs.min = 12, abs.max = 2.53012e+08)
3585.81/3597.03	c   Nonzeros         : 529270 constraint, 1120725 clique table
3585.81/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.81/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   gateextraction   :       1.29       0.00      4          0          0          0          0          0     316540      80920          0          0
3585.81/3597.03	c   implics          :       0.02       0.00      7          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   milp             :       0.89       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   trivial          :       0.03       0.00      8          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dualfix          :       0.04       0.00      8       3605          0          0          0          0          0          0          0          0
3585.81/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   probing          :      41.31       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   symmetry         :       0.32       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   vbounds          :       0.14       0.00      2          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   knapsack         :       0.88       0.00     13          0          0          0          0          0      80920     235620          0          0
3585.81/3597.03	c   setppc           :       1.02       0.01     13          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   and              :       0.79       0.00      6          0      19635          0          0          0      20230          0          0          0
3585.81/3597.03	c   linear           :       2.23       0.14     11        140       1785          0        140          0       4169          0        595       2975
3585.81/3597.03	c   logicor          :       0.23       0.00     11          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   components       :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.81/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.81/3597.03	c   benderslp        :          0          0          0          0        300          0          0         45          0          0          0          0          0          0          0
3585.81/3597.03	c   integral         :          0          0          0          0        300          0          0         45          0          0      14842          0          0         12        484
3585.81/3597.03	c   knapsack         :        700+       701         31     116540          0          0          0         41      10032         16       2287        235         29          0          0
3585.81/3597.03	c   setppc           :     119631+    119688         31     115486          0          0          0          8      27509         95     156155         21         16          0          0
3585.81/3597.03	c   and              :      60690      60690        691     116429          0          0          0          0       6841         25     228232       3600       1793          0          0
3585.81/3597.03	c   linear           :          3+        41         31     116404          0          0          0          3       6957         42        333          0          0          0          0
3585.81/3597.03	c   logicor          :        630+      1263         31       4083          0          0          0          0      13759        134       1651          1          1          0          0
3585.81/3597.03	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.81/3597.03	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   integral         :    1083.21       0.00       0.00       0.00    1083.21       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   knapsack         :       1.07       0.00       0.13       0.76       0.00       0.00       0.00       0.08       0.01       0.08
3585.81/3597.03	c   setppc           :       9.82       0.01       0.16       7.71       0.00       0.00       0.00       0.01       0.01       1.93
3585.81/3597.03	c   and              :      73.97       0.00      20.54      46.13       0.00       0.00       0.00       0.00       0.03       7.27
3585.81/3597.03	c   linear           :       1.73       0.14       0.58       0.79       0.00       0.00       0.00       0.00       0.09       0.12
3585.81/3597.03	c   logicor          :       0.56       0.00       0.00       0.35       0.00       0.00       0.00       0.00       0.01       0.20
3585.81/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.81/3597.03	c   dualfix          :          1          0          0          0
3585.81/3597.03	c   genvbounds       :          0          0          0          0
3585.81/3597.03	c   nlobbt           :          0          0          0          0
3585.81/3597.03	c   obbt             :          0          0          0          0
3585.81/3597.03	c   probing          :          0          0          0          0
3585.81/3597.03	c   pseudoobj        :       1117          0          0          0
3585.81/3597.03	c   redcost          :         32          0          0          0
3585.81/3597.03	c   rootredcost      :          1          0          0          0
3585.81/3597.03	c   symmetry         :          0          0          0          0
3585.81/3597.03	c   vbounds          :      17938          0          0          0
3585.81/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.81/3597.03	c   dualfix          :       0.04       0.00       0.04       0.00       0.00       0.00
3585.81/3597.03	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3585.81/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.81/3597.03	c   probing          :      41.32       0.00      41.31       0.00       0.00       0.00
3585.81/3597.03	c   pseudoobj        :       1.58       0.00       0.00       1.58       0.00       0.00
3585.81/3597.03	c   redcost          :       0.25       0.00       0.00       0.25       0.00       0.00
3585.81/3597.03	c   rootredcost      :       0.05       0.00       0.00       0.05       0.00       0.00
3585.81/3597.03	c   symmetry         :       0.34       0.00       0.32       0.02       0.00       0.00
3585.81/3597.03	c   vbounds          :       0.43       0.00       0.14       0.28       0.00       0.01
3585.81/3597.03	c Symmetry           :
3585.81/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.81/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.81/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.81/3597.03	c   shadow tree time :       0.00 s
3585.81/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.81/3597.03	c   propagation      :       0.20        262        258          -       2039      265.2         23        2.2          -          -          -
3585.81/3597.03	c   infeasible LP    :       0.95         48         48          -        839      277.6          3       12.3         48     2512.2          0
3585.81/3597.03	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.81/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.81/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.81/3597.03	c   applied globally :       0.34          -          -          0       1107      163.3          -          -         48          -          -
3585.81/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.81/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.81/3597.03	c   cut pool         :       2.33          -        314         54          -          -       6272      18409          -          -          -          -          -    (maximal pool size:       4073)
3585.81/3597.03	c   aggregation      :      21.50       0.00        153         31          0          0         10         29          0         15         15          0          0
3585.81/3597.03	c   > cmir           :          -          -          -          -          -          -          -         11          0          5          5          0          -
3585.81/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          9          0          4          4          0          -
3585.81/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          9          0          6          6          0          -
3585.81/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   clique           :      25.66       0.00         31         31          0          0         17         29          0         15         15          0          0
3585.81/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   gomory           :      86.45       0.00         65         10          0          0       4763      13856          0        190        190          0          0
3585.81/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -      10891          0        170        170          0          -
3585.81/3597.03	c   > strongcg       :          -          -          -          -          -          -          -       2965          0         20         20          0          -
3585.81/3597.03	c   impliedbounds    :       8.18       0.00        153         31          0          0        707       1171          0        480        480          0          0
3585.81/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   mcf              :       0.15       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   multilinear      :       0.05       0.00         71         31          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.81/3597.03	c   rlt              :     218.93       0.00         21         10          0          0        627       2054          0       1461       1461          0          0
3585.81/3597.03	c   zerohalf         :       5.24       0.00         75         20          0          0        148       1270          0        201        201          0          0
3585.81/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.81/3597.03	c   hybrid           :       0.19       0.00        518         30       4201          0      18065        330          0       6210
3585.81/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.81/3597.03	c   problem variables:       0.00          -          0          0
3585.81/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.81/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c   relpscost        :    1083.21       0.00        300          0          0          0      14842          0         19        484
3585.81/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.81/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.81/3597.03	c   LP solutions     :       0.00          -          -          0          0
3585.81/3597.03	c   relax solutions  :       0.00          -          -          0          0
3585.81/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3585.81/3597.03	c   strong branching :       0.00          -          -          0          0
3585.81/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3585.81/3597.03	c   adaptivediving   :      19.07       0.00          4          0          0
3585.81/3597.03	c   alns             :      47.68       0.00          3          0          0
3585.81/3597.03	c   bound            :       0.00       0.00          0          0          0
3585.81/3597.03	c   clique           :      11.12       0.00          1          0          0
3585.81/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3585.81/3597.03	c   completesol      :       0.00       0.00          0          0          0
3585.81/3597.03	c   conflictdiving   :     172.78       0.00          2          0          0
3585.81/3597.03	c   crossover        :       0.00       0.00          0          0          0
3585.81/3597.03	c   dins             :       0.00       0.00          0          0          0
3585.81/3597.03	c   distributiondivin:      71.62       0.00          2          0          0
3585.81/3597.03	c   dps              :       0.00       0.00          0          0          0
3585.81/3597.03	c   dualval          :       0.00       0.00          0          0          0
3585.81/3597.03	c   farkasdiving     :      25.60       0.00          1          0          0
3585.81/3597.03	c   feasjump         :       0.20       0.00          1          0          0
3585.81/3597.03	c   feaspump         :      34.57       0.00          1          0          0
3585.81/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3585.81/3597.03	c   fracdiving       :      43.38       0.00          2          0          0
3585.81/3597.03	c   gins             :       0.00       0.00          0          0          0
3585.81/3597.03	c   guideddiving     :       0.00       0.00          0          0          0
3585.81/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.81/3597.03	c   indicator        :       0.00       0.00          0          0          0
3585.81/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3585.81/3597.03	c   indoneopt        :       0.00       0.00          0          0          0
3585.81/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3585.81/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3585.81/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3585.81/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3585.81/3597.03	c   linesearchdiving :      59.15       0.00          2          0          0
3585.81/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3585.81/3597.03	c   locks            :       0.64       0.00          1          0          0
3585.81/3597.03	c   lpface           :       0.00       0.00          0          0          0
3585.81/3597.03	c   mpec             :       0.00       0.00          0          0          0
3585.81/3597.03	c   multistart       :       0.00       0.00          0          0          0
3585.81/3597.03	c   mutation         :       0.00       0.00          0          0          0
3585.81/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3585.81/3597.03	c   objpscostdiving  :       9.61       0.00          1          0          0
3585.81/3597.03	c   octane           :       0.00       0.00          0          0          0
3585.81/3597.03	c   ofins            :       0.00       0.00          0          0          0
3585.81/3597.03	c   oneopt           :       0.00       0.00          0          0          0
3585.81/3597.03	c   padm             :       0.00       0.00          0          0          0
3585.81/3597.03	c   proximity        :       0.00       0.00          0          0          0
3585.81/3597.03	c   pscostdiving     :     153.47       0.00          2          0          0
3585.81/3597.03	c   randrounding     :       5.59       0.00         65          0          0
3585.81/3597.03	c   rens             :       1.26       0.00          1          0          0
3585.81/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3585.81/3597.03	c   repair           :       0.00       0.00          0          0          0
3585.81/3597.03	c   rins             :       0.00       0.00          0          0          0
3585.81/3597.03	c   rootsoldiving    :      27.02       0.00          1          0          0
3585.81/3597.03	c   rounding         :       3.37       0.00        357          0          0
3585.81/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3585.81/3597.03	c   shiftandpropagate:       1.10       0.00          1          0          0
3585.81/3597.03	c   shifting         :       5.23       0.00        152          0          0
3585.81/3597.03	c   simplerounding   :       0.00       0.00          0          0          0
3585.81/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3585.81/3597.03	c   subnlp           :       0.00       0.00          0          0          0
3585.81/3597.03	c   trivial          :       0.06       0.00          2          0          0
3585.81/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3585.81/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3585.81/3597.03	c   trysol           :       0.00       0.00          0          0          0
3585.81/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3585.81/3597.03	c   undercover       :       5.96       0.00          1          0          0
3585.81/3597.03	c   vbounds          :      30.94       0.00          1          0          0
3585.81/3597.03	c   veclendiving     :      11.35       0.00          2          0          0
3585.81/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3585.81/3597.03	c   zirounding       :       1.83       0.00        241          0          0
3585.81/3597.03	c   other solutions  :          -          -          -          0          -
3585.81/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.81/3597.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/3597.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.81/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
3585.81/3597.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.81/3597.04	c   primal LP        :       1.03         38          0       0.00       0.00       1.03         38
3585.81/3597.04	c   dual LP          :    1287.91        827     692780     858.46     537.91       0.67         20
3585.81/3597.04	c   lex dual LP      :       0.00          0          0       0.00          -
3585.81/3597.04	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.81/3597.04	c   resolve instable :       0.00          0          0       0.00          -
3585.81/3597.04	c   diving/probing LP:     603.37        346     444276    1284.03     736.33
3585.81/3597.04	c   strong branching :    1030.38        735     482878     656.98     468.64          -          -        763
3585.81/3597.04	c     (at root node) :          -         38      26290     691.84          -
3585.81/3597.04	c   conflict analysis:       0.00          0          0       0.00          -
3585.81/3597.04	c B&B Tree           :
3585.81/3597.04	c   number of runs   :          1
3585.81/3597.04	c   nodes            :        257 (242 internal, 15 leaves)
3585.81/3597.04	c   feasible leaves  :          0
3585.81/3597.04	c   infeas. leaves   :         15
3585.81/3597.04	c   objective leaves :          0
3585.81/3597.04	c   nodes (total)    :        257 (242 internal, 15 leaves)
3585.81/3597.04	c   nodes left       :        227
3585.81/3597.04	c   max depth        :         31
3585.81/3597.04	c   max depth (total):         31
3585.81/3597.04	c   backtracks       :         17 (6.6%)
3585.81/3597.04	c   early backtracks :          0 (0.0%)
3585.81/3597.04	c   nodes exc. ref.  :          0 (0.0%)
3585.81/3597.04	c   delayed cutoffs  :          1
3585.81/3597.04	c   repropagations   :         67 (14585 domain reductions, 0 cutoffs)
3585.81/3597.04	c   avg switch length:       2.54
3585.81/3597.04	c   switching time   :       2.24
3585.81/3597.04	c Root Node          :
3585.81/3597.04	c   First LP value   : +7.88332697686286e+05
3585.81/3597.04	c   First LP Iters   :       4363 (863.10 Iter/sec)
3585.81/3597.04	c   First LP Time    :       5.06
3585.81/3597.04	c   Final Dual Bound : +1.07882729568755e+06
3585.81/3597.04	c   Final Root Iters :      27304
3585.81/3597.04	c   Root LP Estimate : +1.76261261984785e+07
3585.81/3597.04	c Solution           :
3585.81/3597.04	c   Solutions found  :          0 (0 improvements)
3585.81/3597.04	c   Primal Bound     :          -
3585.81/3597.04	c   Dual Bound       : +1.07882729568755e+06
3585.81/3597.04	c   Gap              :   infinite
3585.81/3597.04	c Integrals          :      Total       Avg%
3585.81/3597.04	c   primal-dual      :  359701.76     100.00
3585.81/3597.04	c   primal-ref       :          -          - (not evaluated)
3585.81/3597.04	c   dual-ref         :          -          - (not evaluated)
3587.20/3598.40	c Time complete: 3587.21.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (55248 MiB free)
  memory of node 1: 64510 MiB (60130 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432878-1721139311/watcher-4432878-1721139311 -o /tmp/evaluation-result-4432878-1721139311/solver-4432878-1721139311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760 pbscip -f HOME/instance-4432878-1721139311.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=849708, runsolver pid=849705

[startup+0.100311 s]*
/proc/loadavg: 4.22 4.18 4.18 5/244 849709
/proc/meminfo: memFree=118103096/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=104736 memory=62396 CPUtime=0.09 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 12637 0 0 0 6 3 0 0 20 0 1 0 166087561 107249664 15599 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 26184 15599 3261 3540 0 14441 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 104736 KiB
Current children cumulated memory: 62396 KiB

[startup+0.213016 s]*
/proc/loadavg: 4.22 4.18 4.18 5/244 849709
/proc/meminfo: memFree=118064624/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=143400 memory=99636 CPUtime=0.2 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 21972 0 0 0 15 5 0 0 20 0 1 0 166087561 146841600 24909 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 35850 24909 3277 3540 0 24107 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 99636 KiB

[startup+0.312884 s]*
/proc/loadavg: 4.22 4.18 4.18 5/244 849709
/proc/meminfo: memFree=118029232/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=176640 memory=133012 CPUtime=0.31 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 30287 0 0 0 24 7 0 0 20 0 1 0 166087561 180879360 33253 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 44160 33253 3277 3540 0 32417 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 176640 KiB
Current children cumulated memory: 133012 KiB

[startup+0.700345 s]
/proc/loadavg: 4.22 4.18 4.18 5/244 849709
/proc/meminfo: memFree=117992804/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=233932 memory=190564 CPUtime=0.68 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 44688 0 0 0 58 10 0 0 20 0 1 0 166087561 239546368 47641 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 58483 47641 3277 3540 0 46740 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 233932 KiB
Current children cumulated memory: 190564 KiB

[startup+1.50034 s]
/proc/loadavg: 4.22 4.18 4.18 5/244 849711
/proc/meminfo: memFree=117883968/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=543604 memory=502952 CPUtime=1.48 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 125427 0 0 0 125 23 0 0 20 0 1 0 166087561 556650496 125672 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 135901 125672 3580 3540 0 124158 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 543604 KiB
Current children cumulated memory: 502952 KiB

[startup+3.11311 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 849711
/proc/meminfo: memFree=117201092/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=999372 memory=945664 CPUtime=3.08 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 206406 0 0 0 269 39 0 0 20 0 1 0 166087561 1023356928 236416 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 249843 236416 3723 3540 0 238100 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 999372 KiB
Current children cumulated memory: 945664 KiB

[startup+6.30032 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 849711
/proc/meminfo: memFree=117151440/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=1079548 memory=1023776 CPUtime=6.26 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 257092 0 0 0 579 47 0 0 20 0 1 0 166087561 1105457152 255944 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 269887 255944 3835 3540 0 258144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1079548 KiB
Current children cumulated memory: 1023776 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.17 4.18 5/244 849712
/proc/meminfo: memFree=117058724/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=1123904 memory=1066392 CPUtime=12.64 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 262176 0 0 0 1215 49 0 0 20 0 1 0 166087561 1150877696 266598 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 280976 266598 3835 3540 0 269233 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1123904 KiB
Current children cumulated memory: 1066392 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.16 4.18 5/244 849716
/proc/meminfo: memFree=117043624/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=1130048 memory=1072848 CPUtime=25.39 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 263821 0 0 0 2489 50 0 0 20 0 1 0 166087561 1157169152 268212 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 282512 268212 3835 3540 0 270769 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1130048 KiB
Current children cumulated memory: 1072848 KiB

[startup+51.1132 s]
/proc/loadavg: 4.23 4.18 4.18 5/241 849720
/proc/meminfo: memFree=117006180/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=1147588 memory=1090344 CPUtime=50.9 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 265781 0 0 0 5038 52 0 0 20 0 1 0 166087561 1175130112 272586 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 286897 272586 3835 3540 0 275154 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1147588 KiB
Current children cumulated memory: 1090344 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/241 849729
/proc/meminfo: memFree=115909476/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=1735124 memory=1624408 CPUtime=101.87 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 384745 0 0 0 10115 72 0 0 20 0 1 0 166087561 1776766976 406102 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 433781 406102 3995 3540 0 422038 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1735124 KiB
Current children cumulated memory: 1624408 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 849739
/proc/meminfo: memFree=115307572/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=2260728 memory=2148708 CPUtime=161.66 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 506291 0 0 0 16075 91 0 0 20 0 1 0 166087561 2314985472 537177 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 565182 537177 4027 3540 0 553439 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 2260728 KiB
Current children cumulated memory: 2148708 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/241 849750
/proc/meminfo: memFree=115147656/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=2260728 memory=2151880 CPUtime=221.47 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 507155 0 0 0 22055 92 0 0 20 0 1 0 166087561 2314985472 537970 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 565182 537970 4027 3540 0 553439 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 2260728 KiB
Current children cumulated memory: 2151880 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 849765
/proc/meminfo: memFree=115007548/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=2260728 memory=2152064 CPUtime=281.28 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 507282 0 0 0 28036 92 0 0 20 0 1 0 166087561 2314985472 538016 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 565182 538016 4027 3540 0 553439 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 2260728 KiB
Current children cumulated memory: 2152064 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 4.18 4.18 5/244 849777
/proc/meminfo: memFree=114948148/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=2519344 memory=2209140 CPUtime=341.1 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 512522 0 0 0 34015 95 0 0 20 0 1 0 166087561 2579808256 552285 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 629836 552285 4027 3540 0 618093 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 2519344 KiB
Current children cumulated memory: 2209140 KiB

[startup+402.3 s]
/proc/loadavg: 3.81 4.08 4.15 4/237 849818
/proc/meminfo: memFree=118355644/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=3061296 memory=2757104 CPUtime=400.89 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 644973 0 0 0 39976 113 0 0 20 0 1 0 166087561 3134767104 689276 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 765324 689276 4043 3540 0 753581 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 3061296 KiB
Current children cumulated memory: 2757104 KiB

[startup+462.3 s]
/proc/loadavg: 3.34 3.89 4.08 4/237 849829
/proc/meminfo: memFree=118354748/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=3061296 memory=2757188 CPUtime=460.71 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 645062 0 0 0 45957 114 0 0 20 0 1 0 166087561 3134767104 689297 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 765324 689297 4043 3540 0 753581 0

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

/proc/loadavg: 2.10 2.19 2.59 3/227 851519
/proc/meminfo: memFree=121202596/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4720584 memory=3945616 CPUtime=3152.37 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 802916 0 0 0 315046 191 0 0 20 0 1 0 166087561 4833878016 986404 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1180146 986404 4043 3540 0 1168403 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 4720584 KiB
Current children cumulated memory: 3945616 KiB

[startup+3222.3 s]
/proc/loadavg: 1.86 2.12 2.54 2/220 851562
/proc/meminfo: memFree=125747272/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4834516 memory=3945896 CPUtime=3212.18 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 803055 0 0 0 321026 192 0 0 20 0 1 0 166087561 4950544384 986474 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1208629 986474 4043 3540 0 1196886 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 4834516 KiB
Current children cumulated memory: 3945896 KiB

[startup+3282.3 s]
/proc/loadavg: 1.48 1.96 2.46 2/220 851572
/proc/meminfo: memFree=125746876/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4834516 memory=3946148 CPUtime=3272.01 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 803235 0 0 0 327008 193 0 0 20 0 1 0 166087561 4950544384 986537 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1208629 986537 4043 3540 0 1196886 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 4834516 KiB
Current children cumulated memory: 3946148 KiB

[startup+3342.3 s]
/proc/loadavg: 1.22 1.80 2.37 2/223 851587
/proc/meminfo: memFree=125746452/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3946224 CPUtime=3331.85 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 803413 0 0 0 332991 194 0 0 20 0 1 0 166087561 5043863552 986556 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 986556 4043 3540 0 1219669 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3946224 KiB

[startup+3402.3 s]
/proc/loadavg: 1.20 1.68 2.29 2/223 851597
/proc/meminfo: memFree=125746092/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3946228 CPUtime=3391.68 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 803723 0 0 0 338973 195 0 0 20 0 1 0 166087561 5043863552 986557 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 986557 4043 3540 0 1219669 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3946228 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.57 2.21 2/223 851608
/proc/meminfo: memFree=125742768/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949244 CPUtime=3451.5 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 804138 0 0 0 344954 196 0 0 20 0 1 0 166087561 5043863552 987311 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987311 4043 3540 0 1219669 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949244 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.48 2.14 2/223 851618
/proc/meminfo: memFree=125742532/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949308 CPUtime=3511.31 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 804524 0 0 0 350935 196 0 0 20 0 1 0 166087561 5043863552 987327 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987327 4043 3540 0 1219669 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949308 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.42 2.08 2/223 851629
/proc/meminfo: memFree=125741988/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949580 CPUtime=3571.14 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805290 0 0 0 356917 197 0 0 20 0 1 0 166087561 5043863552 987395 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987395 4043 3540 0 1219669 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949580 KiB

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

# cumulated CPU time of all completed processes:  user=3585.21 s, system=2.06811 s

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

[startup+3584 s]*
/proc/loadavg: 1.12 1.41 2.07 2/223 851629
/proc/meminfo: memFree=125741988/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949580 CPUtime=3572.85 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805305 0 0 0 357088 197 0 0 20 0 1 0 166087561 5043863552 987395 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987395 4043 3540 0 1219669 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949580 KiB

[startup+3590.4 s]
/proc/loadavg: 1.11 1.41 2.06 2/223 851629
/proc/meminfo: memFree=125741732/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949856 CPUtime=3579.22 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805306 0 0 0 357725 197 0 0 20 0 1 0 166087561 5043863552 987464 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987464 4043 3540 0 1219669 0
Current children cumulated CPU time: 3579.22 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949856 KiB

[startup+3593.6 s]
/proc/loadavg: 1.10 1.40 2.06 2/223 851630
/proc/meminfo: memFree=125741676/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949856 CPUtime=3582.41 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805330 0 0 0 358044 197 0 0 20 0 1 0 166087561 5043863552 987464 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987464 4043 3540 0 1219669 0
Current children cumulated CPU time: 3582.41 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949856 KiB

[startup+3596.8 s]
/proc/loadavg: 1.10 1.40 2.06 2/223 851630
/proc/meminfo: memFree=125741676/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949856 CPUtime=3585.6 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805337 0 0 0 358363 197 0 0 20 0 1 0 166087561 5043863552 987464 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987464 4043 3540 0 1219669 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949856 KiB

[startup+3597.6 s]
/proc/loadavg: 1.10 1.40 2.06 2/223 851630
/proc/meminfo: memFree=125741572/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949856 CPUtime=3586.41 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805355 0 0 0 358443 198 0 0 20 0 1 0 166087561 5043863552 987464 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987464 4043 3540 0 1219669 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949856 KiB

[startup+3598 s]*
/proc/loadavg: 1.09 1.39 2.05 2/223 851630
/proc/meminfo: memFree=125741644/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4925648 memory=3949856 CPUtime=3586.82 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 805401 0 0 0 358484 198 0 0 20 0 1 0 166087561 5043863552 987464 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1231412 987464 4043 3540 0 1219669 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 4925648 KiB
Current children cumulated memory: 3949856 KiB

[startup+3598.4 s]
/proc/loadavg: 1.09 1.39 2.05 2/223 851630
/proc/meminfo: memFree=125741644/131655788 swapFree=131071996/131071996
[pid=849708] ppid=849705 vsize=4398752 memory=3394292 CPUtime=3587.2 cores=1,3
/proc/849708/stat : 849708 (pbscip) R 849705 849708 844272 0 -1 4194304 807569 0 0 0 358521 199 0 0 20 0 1 0 166087561 4504322048 849597 134679101440 4194304 18693293 140732112257648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57409536 140732112266244 140732112266343 140732112266343 140732112273358 0
/proc/849708/statm: 1099688 849085 4043 3540 0 1087945 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 4398752 KiB
Current children cumulated memory: 3394292 KiB

Child status: 0

Real time (s): 3598.47
CPU time (s): 3587.28
CPU user time (s): 3585.21
CPU system time (s): 2.06811
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 4925648
Max. memory (cumulated for all children) (KiB): 3949856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.21
system time used= 2.06811
maximum resident set size= 3949856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 807584
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= 16
involuntary context switches= 1671


# summary of solver processes directly reported to runsolver:
#   pid: 849708
#   total CPU time (s): 3587.28
#   total CPU user time (s): 3585.21
#   total CPU system time (s): 2.06811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2498 second user time and 35.8074 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 16:15:23
IDJOB=4432878
IDBENCH=155703
IDSOLVER=3059
FILE ID=nodeC008/4432878-1721139311
RUNJOBID= nodeC008-1721129802-844284
SLURM_JOB_ID= 7505695
Free space on /tmp= 723664 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_1_mh_ic.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432878-1721139311/watcher-4432878-1721139311 -o /tmp/evaluation-result-4432878-1721139311/solver-4432878-1721139311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760  pbscip -f HOME/instance-4432878-1721139311.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 5c43d7dab24b2d6eb632f3b262990bf9
RANDOM SEED=1724284155

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118149036 kB
MemAvailable:   118531136 kB
Buffers:          437248 kB
Cached:           787316 kB
SwapCached:            0 kB
Active:           710652 kB
Inactive:       12244460 kB
Active(anon):       1492 kB
Inactive(anon): 11766768 kB
Active(file):     709160 kB
Inactive(file):   477692 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30992 kB
Writeback:            60 kB
AnonPages:      11730144 kB
Mapped:           139476 kB
Shmem:             37704 kB
KReclaimable:      70556 kB
Slab:             164916 kB
SReclaimable:      70556 kB
SUnreclaim:        94360 kB
KernelStack:        4016 kB
PageTables:        37076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16175844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52768 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2013184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC008 at 2024-07-16 17:15:22