Trace number 2701664

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.35 1800.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MD5SUM2fe66c717d74f1b0f598aebf3623bd17
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1048
Best CPU time to get the best result obtained on this benchmark1800.19
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints23306
Number of soft constraints22856
Number of constraints which are clauses22856
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 5715
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 22856
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2701664-1278541101.wbo>
0.19/0.24	c original problem has 47512 variables (24656 bin, 0 int, 0 impl, 22856 cont) and 46163 constraints
0.19/0.24	c problem read
0.19/0.24	c presolving settings loaded
0.39/0.49	c presolving:
0.49/0.59	c (round 1) 0 del vars, 0 del conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22856 impls, 450 clqs
0.59/0.67	c (round 2) 0 del vars, 0 del conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 22856 impls, 450 clqs
1.29/1.32	c    (0.9s) probing: 101/24656 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.32	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.29/1.32	c presolving (3 rounds):
1.29/1.32	c  0 deleted vars, 0 deleted constraints, 22856 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.32	c  22856 implications, 450 cliques
1.29/1.32	c presolved problem has 47512 variables (24656 bin, 0 int, 0 impl, 22856 cont) and 46163 constraints
1.29/1.32	c   22856 constraints of type <indicator>
1.29/1.32	c       1 constraints of type <knapsack>
1.29/1.32	c     450 constraints of type <setppc>
1.29/1.32	c   22856 constraints of type <linear>
1.29/1.32	c transformed objective value is always integral (scale: 1)
1.29/1.32	c Presolving Time: 0.84
1.29/1.32	c - non default parameters ----------------------------------------------------------------------
1.29/1.32	c # SCIP version 1.2.1.2
1.29/1.32	c 
1.29/1.32	c # frequency for displaying node information lines
1.29/1.32	c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.32	c display/freq = 10000
1.29/1.32	c 
1.29/1.32	c # maximal time in seconds to run
1.29/1.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32	c limits/time = 1799.76
1.29/1.32	c 
1.29/1.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32	c limits/memory = 3420
1.29/1.32	c 
1.29/1.32	c # should presolving try to simplify inequalities
1.29/1.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.32	c constraints/linear/simplifyinequalities = TRUE
1.29/1.32	c 
1.29/1.32	c # should presolving try to simplify knapsacks
1.29/1.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.32	c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.32	c 
1.29/1.32	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.32	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.32	c separating/rapidlearning/freq = 0
1.29/1.32	c 
1.29/1.32	c -----------------------------------------------------------------------------------------------
1.29/1.32	c start solving
1.29/1.34	c 
1.49/1.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.58	c   1.2s|     1 |     0 |   450 |     - | 159M|   0 |   0 |  47k|  46k|  47k| 451 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.61	c   1.2s|     1 |     0 |   649 |     - | 159M|   0 |   0 |  47k|  46k|  47k| 651 | 200 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.65	c   1.3s|     1 |     0 |   848 |     - | 160M|   0 |   0 |  47k|  46k|  47k| 851 | 400 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.69	c   1.3s|     1 |     0 |  1025 |     - | 160M|   0 |   0 |  47k|  46k|  47k|1051 | 600 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.73	c   1.3s|     1 |     0 |  1225 |     - | 160M|   0 |   0 |  47k|  46k|  47k|1251 | 800 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.76	c   1.4s|     1 |     0 |  1409 |     - | 160M|   0 |   0 |  47k|  46k|  47k|1451 |1000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.80	c   1.4s|     1 |     0 |  1600 |     - | 160M|   0 |   0 |  47k|  46k|  47k|1651 |1200 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.85	c   1.4s|     1 |     0 |  1801 |     - | 160M|   0 |   0 |  47k|  46k|  47k|1851 |1400 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.89	c   1.5s|     1 |     0 |  2001 |     - | 160M|   0 |   0 |  47k|  46k|  47k|2051 |1600 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.93	c   1.5s|     1 |     0 |  2170 |     - | 160M|   0 |   0 |  47k|  46k|  47k|2251 |1800 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.97	c   1.6s|     1 |     0 |  2370 |     - | 160M|   0 |   0 |  47k|  46k|  47k|2451 |2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.99/2.02	c   1.6s|     1 |     0 |  2539 |     - | 160M|   0 |   0 |  47k|  46k|  47k|2651 |2200 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.99/2.06	c   1.6s|     1 |     0 |  2739 |     - | 160M|   0 |   0 |  47k|  46k|  47k|2851 |2400 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.11	c   1.7s|     1 |     0 |  2961 |     - | 161M|   0 |   8 |  47k|  46k|  47k|3051 |2600 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.16	c   2.7s|     1 |     0 |  3160 |     - | 161M|   0 |   0 |  47k|  46k|  47k|3253 |2802 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.20/3.21	c   2.8s|     1 |     0 |  3359 |     - | 161M|   0 |   6 |  47k|  46k|  47k|3453 |3002 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.30/4.32	c   3.9s|     1 |     0 |  3546 |     - | 161M|   0 |   0 |  47k|  46k|  47k|3655 |3204 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.30/4.37	c   3.9s|     1 |     0 |  3742 |     - | 162M|   0 |   6 |  47k|  46k|  47k|3855 |3404 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.59/5.63	c   5.2s|     1 |     0 |  3944 |     - | 162M|   0 |   0 |  47k|  46k|  47k|4056 |3605 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.59/5.68	c   5.2s|     1 |     0 |  4140 |     - | 162M|   0 |   0 |  47k|  46k|  47k|4256 |3805 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.69/5.73	c   5.2s|     1 |     0 |  4333 |     - | 162M|   0 |   0 |  47k|  46k|  47k|4456 |4005 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.69/5.78	c   5.3s|     1 |     0 |  4529 |     - | 162M|   0 |   0 |  47k|  46k|  47k|4656 |4205 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.80/5.83	c   5.3s|     1 |     0 |  4728 |     - | 162M|   0 |   0 |  47k|  46k|  47k|4856 |4405 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.80/5.89	c   5.4s|     1 |     0 |  4928 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5056 |4605 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.89/5.94	c   5.5s|     1 |     0 |  5129 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5256 |4805 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.99/6.00	c   5.5s|     1 |     0 |  5330 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5456 |5005 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.99/6.05	c   5.6s|     1 |     0 |  5524 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5652 |5201 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.99/6.08	c   5.6s|     1 |     0 |  5546 |     - | 162M|   0 |   6 |  47k|  46k|  47k|5664 |5213 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.83	c   7.3s|     1 |     0 |  5550 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5674 |5223 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.85	c   7.3s|     1 |     2 |  5550 |     - | 162M|   0 |   0 |  47k|  46k|  47k|5674 |5223 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
357.00/357.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
357.00/357.01	c   351s| 10000 |  9999 | 13906 |   0.8 | 304M|1591 |   0 |  47k|  46k|  47k|5920 |8398 |  10 |2306 | 0.000000e+00 |      --      |    Inf 
682.71/682.74	c   672s| 20000 | 19999 | 20622 |   0.8 | 446M|1591 |   0 |  47k|  46k|  47k|5983 |  11k|  10 |3278 | 0.000000e+00 |      --      |    Inf 
1023.31/1023.35	c  1008s| 30000 | 29994 | 29639 |   0.8 | 587M|2272 |   0 |  47k|  46k|  47k|5932 |  14k|  29 |4373 | 0.000000e+00 |      --      |    Inf 
1360.92/1360.94	c  1342s| 40000 | 39994 | 38573 |   0.8 | 728M|2272 |   0 |  47k|  46k|  47k|6144 |  18k|  29 |4886 | 0.000000e+00 |      --      |    Inf 
1693.13/1693.17	c  1670s| 50000 | 49994 | 45242 |   0.8 | 867M|2272 |   0 |  47k|  46k|  47k|5819 |  21k|  29 |5203 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.02	c 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time (sec) : 1775.51
1800.04/1800.02	c Solving Nodes      : 53252
1800.04/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.02	c Gap                : infinite
1800.04/1800.02	s UNKNOWN
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1775.51
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2701664-1278541101.wbo
1800.04/1800.02	c   Variables        : 47512 (24656 binary, 0 integer, 0 implicit integer, 22856 continuous)
1800.04/1800.02	c   Constraints      : 46163 initial, 46163 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2701664-1278541101.wbo
1800.04/1800.02	c   Variables        : 47512 (24656 binary, 0 integer, 0 implicit integer, 22856 continuous)
1800.04/1800.02	c   Constraints      : 46163 initial, 46192 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       0.55          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.02	c   knapsack         :       0.07          0          0          0          0          0          0          0          0
1800.04/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.09          0          0          0      22856          0          0          0          0
1800.04/1800.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0      56992          0          0          5          0          0       1522
1800.04/1800.02	c   indicator        :      22856          0      60282      56229          0          0      52292          0          0          0
1800.04/1800.02	c   knapsack         :          1         29      60282      56229          0          0          0          0          0          0
1800.04/1800.02	c   setppc           :        450         29      60282      56229          0          1       2628          0          0          0
1800.04/1800.02	c   linear           :      22856         29      60281      56229          0          3       6773      22161          0          0
1800.04/1800.02	c   logicor          :          0+         0        212          0          0          0          5          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0      52488          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :      92.08       0.00       0.00      92.08       0.00
1800.04/1800.02	c   indicator        :     237.03       0.00      33.78     203.25       0.00
1800.04/1800.02	c   knapsack         :      25.28       0.01      25.19       0.08       0.00
1800.04/1800.02	c   setppc           :       2.49       0.00       1.06       1.43       0.00
1800.04/1800.02	c   linear           :     384.94       0.11      31.48     353.35       0.00
1800.04/1800.02	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :       0.00          2          0          0
1800.04/1800.02	c   rootredcost      :       0.01          0          0          0
1800.04/1800.02	c   pseudoobj        :      44.25      60082          0          0
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :       0.00          4          4          5        9.6         25        3.4          -
1800.04/1800.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -         29        4.5          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00         15          -          -          0          -    (maximal pool size: 18)
1800.04/1800.02	c   redcost          :     102.36      57016          0          0          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          4          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.02          4          0          0         26          0
1800.04/1800.02	c   strongcg         :       0.00          4          0          0          0          0
1800.04/1800.02	c   cmir             :       0.89          4          0          0          0          0
1800.04/1800.02	c   flowcover        :       3.85          4          0          0          0          0
1800.04/1800.02	c   clique           :       0.02          4          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :      92.03        763          0          5          0          0       1522
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :     166.61      52488          0          0          0          0     104976
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.00          -          0
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   oneopt           :       0.16          0          0
1800.04/1800.02	c   crossover        :       0.00          0          0
1800.04/1800.02	c   guideddiving     :       0.00          0          0
1800.04/1800.02	c   feaspump         :       0.00          0          0
1800.04/1800.02	c   intshifting      :       0.06          1          0
1800.04/1800.02	c   coefdiving       :       0.96         44          0
1800.04/1800.02	c   pscostdiving     :       0.99         44          0
1800.04/1800.02	c   fracdiving       :       1.03         44          0
1800.04/1800.02	c   veclendiving     :       0.99         44          0
1800.04/1800.02	c   linesearchdiving :       1.01         44          0
1800.04/1800.02	c   objpscostdiving  :       1.10         44          0
1800.04/1800.02	c   rootsoldiving    :       1.11         44          0
1800.04/1800.02	c   trivial          :       0.13          2          0
1800.04/1800.02	c   simplerounding   :       0.00          0          0
1800.04/1800.02	c   zirounding       :       0.22        761          0
1800.04/1800.02	c   rounding         :       0.28        349          0
1800.04/1800.02	c   shifting         :       1.63         88          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.00          0          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.00          0          0
1800.04/1800.02	c   trysol           :       2.25        144          0
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :     361.32       7946      46978       5.91     130.02
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:       0.02          1          5       5.00     250.00
1800.04/1800.02	c   strong branching :      91.99       5254      33573       6.39     364.96
1800.04/1800.02	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :      53252
1800.04/1800.02	c   nodes (total)    :      53252
1800.04/1800.02	c   nodes left       :      53246
1800.04/1800.02	c   max depth        :       2272
1800.04/1800.02	c   max depth (total):       2272
1800.04/1800.02	c   backtracks       :         46 (0.1%)
1800.04/1800.02	c   delayed cutoffs  :          1
1800.04/1800.02	c   repropagations   :        289 (19 domain reductions, 1 cutoffs)
1800.04/1800.02	c   avg switch length:       2.10
1800.04/1800.02	c   switching time   :      31.27
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :          0 (0 improvements)
1800.04/1800.02	c   Primal Bound     :          -
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :       5550
1800.33/1800.30	c Time complete: 1800.34.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701664-1278541101/watcher-2701664-1278541101 -o /tmp/evaluation-result-2701664-1278541101/solver-2701664-1278541101 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2701664-1278541101.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 20098
/proc/meminfo: memFree=29211904/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=9708 CPUtime=0
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 1723 0 0 0 0 0 0 0 20 0 1 0 22324284 9940992 1642 4089446400 4194304 8223781 140735615990496 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20098/statm: 2427 1644 363 984 0 1440 0

[startup+0.0242621 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 20098
/proc/meminfo: memFree=29211904/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=15288 CPUtime=0.02
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 3142 0 0 0 2 0 0 0 21 0 1 0 22324284 15654912 3061 4089446400 4194304 8223781 140735615990496 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20098/statm: 3822 3061 369 984 0 2835 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15288

[startup+0.100251 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 20098
/proc/meminfo: memFree=29211904/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=35792 CPUtime=0.09
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 8256 0 0 0 9 0 0 0 21 0 1 0 22324284 36651008 8175 4089446400 4194304 8223781 140735615990496 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20098/statm: 8948 8175 369 984 0 7961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35792

[startup+0.300219 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 20098
/proc/meminfo: memFree=29211904/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=119804 CPUtime=0.29
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 29438 0 0 0 27 2 0 0 21 0 1 0 22324284 122679296 28946 4089446400 4194304 8223781 140735615990496 18446744073709551615 4680776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 29951 28946 387 984 0 28964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119804

[startup+0.701148 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 20098
/proc/meminfo: memFree=29211904/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=181232 CPUtime=0.69
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 45532 0 0 0 57 12 0 0 22 0 1 0 22324284 185581568 43171 4089446400 4194304 8223781 140735615990496 18446744073709551615 4674973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 45308 43171 465 984 0 44321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 181232

[startup+1.50101 s]
/proc/loadavg: 1.91 1.97 1.99 3/179 20099
/proc/meminfo: memFree=29039324/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=209628 CPUtime=1.49
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 55731 0 0 0 134 15 0 0 25 0 1 0 22324284 214659072 50027 4089446400 4194304 8223781 140735615990496 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 52407 50027 534 984 0 51420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 209628

[startup+3.10074 s]
/proc/loadavg: 1.91 1.97 1.99 3/179 20100
/proc/meminfo: memFree=29009812/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=223452 CPUtime=3.09
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 62099 0 0 0 290 19 0 0 25 0 1 0 22324284 228814848 52090 4089446400 4194304 8223781 140735615990496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 55863 52090 562 984 0 54876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223452

[startup+6.30018 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 20100
/proc/meminfo: memFree=29004676/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=227364 CPUtime=6.29
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 68735 0 0 0 603 26 0 0 25 0 1 0 22324284 232820736 52927 4089446400 4194304 8223781 140735615990496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 56841 52927 573 984 0 55854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 227364

[startup+12.7011 s]
/proc/loadavg: 1.93 1.97 1.99 4/180 20103
/proc/meminfo: memFree=28983944/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=230692 CPUtime=12.69
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 140771 0 0 0 1234 35 0 0 25 0 1 0 22324284 236228608 53690 4089446400 4194304 8223781 140735615990496 18446744073709551615 4697639 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 57673 53690 579 984 0 56686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 230692

[startup+25.5008 s]
/proc/loadavg: 1.94 1.97 1.99 3/179 20103
/proc/meminfo: memFree=28996740/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=234592 CPUtime=25.49
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 392042 0 0 0 2483 66 0 0 25 0 1 0 22324284 240222208 54703 4089446400 4194304 8223781 140735615990496 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 58648 54703 579 984 0 57661 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 234592

[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 20103
/proc/meminfo: memFree=28987604/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=243480 CPUtime=51.09
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 852854 0 0 0 4986 123 0 0 25 0 1 0 22324284 249323520 56973 4089446400 4194304 8223781 140735615990496 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 60870 56973 580 984 0 59883 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 243480

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 20105
/proc/meminfo: memFree=28964260/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=267044 CPUtime=102.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 1519844 0 0 0 10022 208 0 0 25 0 1 0 22324284 273453056 62722 4089446400 4194304 8223781 140735615990496 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 66761 62722 580 984 0 65774 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 267044

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20107
/proc/meminfo: memFree=28939316/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=290920 CPUtime=162.29
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 2290027 0 0 0 15923 306 0 0 25 0 1 0 22324284 297902080 68908 4089446400 4194304 8223781 140735615990496 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 72730 68908 580 984 0 71743 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 290920

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20108
/proc/meminfo: memFree=28912876/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=317348 CPUtime=222.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 2965668 0 0 0 21840 390 0 0 25 0 1 0 22324284 324964352 75408 4089446400 4194304 8223781 140735615990496 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 79337 75408 581 984 0 78350 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 317348

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20109
/proc/meminfo: memFree=28888540/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=341220 CPUtime=282.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 3745323 0 0 0 27738 492 0 0 25 0 1 0 22324284 349409280 81474 4089446400 4194304 8223781 140735615990496 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 85305 81474 585 984 0 84318 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 341220

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20111
/proc/meminfo: memFree=28862348/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=367252 CPUtime=342.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 4323426 0 0 0 33661 569 0 0 25 0 1 0 22324284 376066048 87947 4089446400 4194304 8223781 140735615990496 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 91813 87947 585 984 0 90826 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 367252

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20113
/proc/meminfo: memFree=28835140/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=394344 CPUtime=402.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 4949817 0 0 0 39584 646 0 0 25 0 1 0 22324284 403808256 94740 4089446400 4194304 8223781 140735615990496 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 98586 94740 585 984 0 97599 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 394344

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20115
/proc/meminfo: memFree=28806964/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=421500 CPUtime=462.3
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 5535930 0 0 0 45503 727 0 0 25 0 1 0 22324284 431616000 101608 4089446400 4194304 8223781 140735615990496 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 105375 101608 585 984 0 104388 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 421500

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20116
/proc/meminfo: memFree=28782260/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=447848 CPUtime=522.31
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 6164446 0 0 0 51417 814 0 0 25 0 1 0 22324284 458596352 108168 4089446400 4194304 8223781 140735615990496 18446744073709551615 6439919 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 111962 108168 585 984 0 110975 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 447848

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20117
/proc/meminfo: memFree=28756820/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=472168 CPUtime=582.31
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 6786903 0 0 0 57337 894 0 0 25 0 1 0 22324284 483500032 114202 4089446400 4194304 8223781 140735615990496 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 118042 114202 585 984 0 117055 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 472168

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 20119
/proc/meminfo: memFree=28730988/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=498004 CPUtime=642.31
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 7440023 0 0 0 63246 985 0 0 25 0 1 0 22324284 509956096 120611 4089446400 4194304 8223781 140735615990496 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 124501 120611 585 984 0 123514 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 498004

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20127
/proc/meminfo: memFree=28608056/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=620752 CPUtime=942.31
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 10502262 0 0 0 92829 1402 0 0 25 0 1 0 22324284 635650048 151306 4089446400 4194304 8223781 140735615990496 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 155188 151306 585 984 0 154201 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 620752

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20129
/proc/meminfo: memFree=28581736/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=646680 CPUtime=1002.31
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 11050570 0 0 0 98755 1476 0 0 25 0 1 0 22324284 662200320 157757 4089446400 4194304 8223781 140735615990496 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 161670 157757 585 984 0 160683 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 646680

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20131
/proc/meminfo: memFree=28556292/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=672104 CPUtime=1062.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 11601850 0 0 0 104685 1547 0 0 25 0 1 0 22324284 688234496 164140 4089446400 4194304 8223781 140735615990496 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 168026 164141 585 984 0 167039 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 672104

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20132
/proc/meminfo: memFree=28530688/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=697028 CPUtime=1122.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 12200438 0 0 0 110602 1630 0 0 25 0 1 0 22324284 713756672 170477 4089446400 4194304 8223781 140735615990496 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 174257 170477 585 984 0 173270 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 697028

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20133
/proc/meminfo: memFree=28505984/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=722332 CPUtime=1182.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 12711165 0 0 0 116534 1698 0 0 25 0 1 0 22324284 739667968 176729 4089446400 4194304 8223781 140735615990496 18446744073709551615 7257495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 180583 176729 585 984 0 179596 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 722332

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 20135
/proc/meminfo: memFree=28483280/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=744928 CPUtime=1242.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 13224108 0 0 0 122466 1766 0 0 25 0 1 0 22324284 762806272 182340 4089446400 4194304 8223781 140735615990496 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 186232 182340 585 984 0 185245 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 744928

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20137
/proc/meminfo: memFree=28457700/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=770180 CPUtime=1302.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 13760202 0 0 0 128396 1836 0 0 25 0 1 0 22324284 788664320 188711 4089446400 4194304 8223781 140735615990496 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 192545 188711 585 984 0 191558 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 770180

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20139
/proc/meminfo: memFree=28432884/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=795816 CPUtime=1362.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 14264556 0 0 0 134328 1905 0 0 25 0 1 0 22324284 814915584 195065 4089446400 4194304 8223781 140735615990496 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 198954 195065 585 984 0 197967 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 795816

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20140
/proc/meminfo: memFree=28408920/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=818644 CPUtime=1422.34
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 14787626 0 0 0 140263 1971 0 0 25 0 1 0 22324284 838291456 200895 4089446400 4194304 8223781 140735615990496 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 204661 200895 585 984 0 203674 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 818644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20141
/proc/meminfo: memFree=28383708/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=844148 CPUtime=1482.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 15315133 0 0 0 146189 2043 0 0 25 0 1 0 22324284 864407552 207269 4089446400 4194304 8223781 140735615990496 18446744073709551615 6328719 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 211037 207269 585 984 0 210050 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 844148

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20143
/proc/meminfo: memFree=28357140/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=870372 CPUtime=1542.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 15825208 0 0 0 152120 2113 0 0 25 0 1 0 22324284 891260928 213842 4089446400 4194304 8223781 140735615990496 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 217593 213842 586 984 0 216606 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 870372

[startup+1602.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/171 20167
/proc/meminfo: memFree=28348936/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=894636 CPUtime=1602.32
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 16334739 0 0 0 158048 2184 0 0 25 0 1 0 22324284 916107264 220031 4089446400 4194304 8223781 140735615990496 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 223659 220031 586 984 0 222672 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 894636

[startup+1662.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/171 20169
/proc/meminfo: memFree=28325340/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=918572 CPUtime=1662.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 16860458 0 0 0 163971 2262 0 0 25 0 1 0 22324284 940617728 225929 4089446400 4194304 8223781 140735615990496 18446744073709551615 5893820 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 229643 225929 586 984 0 228656 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 918572

[startup+1722.3 s]
/proc/loadavg: 1.09 1.61 1.85 2/171 20170
/proc/meminfo: memFree=28300392/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=943872 CPUtime=1722.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 17352723 0 0 0 169897 2336 0 0 25 0 1 0 22324284 966524928 232243 4089446400 4194304 8223781 140735615990496 18446744073709551615 6557699 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 235968 232243 586 984 0 234981 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 943872

[startup+1782.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/171 20171
/proc/meminfo: memFree=28275816/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=967548 CPUtime=1782.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 17853380 0 0 0 175822 2411 0 0 25 0 1 0 22324284 990769152 238221 4089446400 4194304 8223781 140735615990496 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 241887 238221 586 984 0 240900 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 967548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.02 1.46 1.78 2/171 20172
/proc/meminfo: memFree=28267740/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=975980 CPUtime=1800.04
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 17995407 0 0 0 177573 2431 0 0 25 0 1 0 22324284 999403520 240236 4089446400 4194304 8223781 140735615990496 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20098/statm: 243995 240236 586 984 0 243008 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 975980

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.2 s]
/proc/loadavg: 1.02 1.46 1.78 2/171 20172
/proc/meminfo: memFree=28267740/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=308624 CPUtime=1800.24
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 17995553 0 0 0 177590 2434 0 0 25 0 1 0 22324284 316030976 73890 4089446400 4194304 8223781 140735615990496 18446744073709551615 4699539 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20098/statm: 77156 73890 588 984 0 76169 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 308624

[startup+1800.3 s]
/proc/loadavg: 1.02 1.46 1.78 2/171 20172
/proc/meminfo: memFree=28267740/32951124 swapFree=67111528/67111528
[pid=20098] ppid=20096 vsize=61252 CPUtime=1800.33
/proc/20098/stat : 20098 (pbscip.linux.x8) R 20096 20098 18087 0 -1 4202496 17995553 0 0 0 177598 2435 0 0 25 0 1 0 22324284 62722048 14055 4089446400 4194304 8223781 140735615990496 18446744073709551615 6206520 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20098/statm: 15313 14055 588 984 0 14326 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 61252

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.35
CPU user time (s): 1775.99
CPU system time (s): 24.3563
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 975980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.99
system time used= 24.3563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17995561
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= 1
involuntary context switches= 904

runsolver used 2.79157 second user time and 6.98194 second system time

The end

Launcher Data

Begin job on node107 at 2010-07-08 00:18:21
IDJOB=2701664
IDBENCH=79617
IDSOLVER=1204
FILE ID=node107/2701664-1278541101
PBS_JOBID= 11239264
Free space on /tmp= 73652 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-le450-5a-4_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701664-1278541101/watcher-2701664-1278541101 -o /tmp/evaluation-result-2701664-1278541101/solver-2701664-1278541101 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2701664-1278541101.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2fe66c717d74f1b0f598aebf3623bd17
RANDOM SEED=855274894

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5265.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29212556 kB
Buffers:        138504 kB
Cached:        3364764 kB
SwapCached:          0 kB
Active:         897788 kB
Inactive:      2680292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29212556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5056 kB
Writeback:           0 kB
AnonPages:       75076 kB
Mapped:          15452 kB
Slab:            95552 kB
PageTables:       4408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73648 MiB
End job on node107 at 2010-07-08 00:48:23