Trace number 2692547

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.45 1800.4

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
MD5SUM542acc6a88f2f74cb83091764e7f930f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.06199
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints6819
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 347791
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 347790
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
Number of bits of the biggest sum of numbers7
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-2692547-1277917415.wbo>
0.09/0.18	c original problem has 20104 variables (13285 bin, 0 int, 0 impl, 6819 cont) and 26759 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.39/0.40	c presolving:
0.49/0.54	c (round 1) 738 del vars, 2147 del conss, 413 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 223949 impls, 0 clqs
0.59/0.63	c (round 2) 2157 del vars, 6647 del conss, 1074 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 233625 impls, 0 clqs
0.69/0.72	c (round 3) 4571 del vars, 10733 del conss, 1529 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 236118 impls, 0 clqs
0.69/0.79	c (round 4) 7198 del vars, 13217 del conss, 1798 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 238589 impls, 0 clqs
0.79/0.83	c (round 5) 8993 del vars, 14765 del conss, 1968 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 239332 impls, 0 clqs
0.79/0.85	c (round 6) 10028 del vars, 15551 del conss, 2029 chg bounds, 44 chg sides, 50 chg coeffs, 0 upgd conss, 239774 impls, 0 clqs
0.79/0.86	c (round 7) 10616 del vars, 15908 del conss, 2061 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239916 impls, 0 clqs
0.79/0.87	c (round 8) 10910 del vars, 16124 del conss, 2076 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239944 impls, 0 clqs
0.79/0.88	c (round 9) 11042 del vars, 16186 del conss, 2080 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.89	c (round 10) 11100 del vars, 16204 del conss, 2082 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.89	c (round 11) 11114 del vars, 16215 del conss, 2083 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.90	c (round 12) 11121 del vars, 16218 del conss, 2084 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.91	c (round 13) 11125 del vars, 16225 del conss, 2085 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.92	c (round 14) 11128 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.99	c (round 15) 11129 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 4967 upgd conss, 239946 impls, 0 clqs
0.99/1.02	c (round 16) 11129 del vars, 16226 del conss, 5049 chg bounds, 57 chg sides, 87 chg coeffs, 4973 upgd conss, 240412 impls, 1 clqs
0.99/1.04	c (round 17) 11129 del vars, 16226 del conss, 5049 chg bounds, 60 chg sides, 95 chg coeffs, 4973 upgd conss, 240414 impls, 1 clqs
1.99/2.02	c    (1.8s) probing: 1000/6011 (16.6%) - 0 fixings, 0 aggregations, 8872 implications, 0 bound changes
2.69/2.72	c    (2.4s) probing: 2000/6011 (33.3%) - 0 fixings, 0 aggregations, 10021 implications, 0 bound changes
2.69/2.72	c    (2.4s) probing: 2001/6011 (33.3%) - 0 fixings, 0 aggregations, 10022 implications, 0 bound changes
2.69/2.72	c    (2.4s) probing aborted: 2000/2000 successive useless probings
2.69/2.72	c presolving (18 rounds):
2.69/2.72	c  11129 deleted vars, 16226 deleted constraints, 5049 tightened bounds, 0 added holes, 60 changed sides, 95 changed coefficients
2.69/2.72	c  278917 implications, 1 cliques
2.69/2.72	c presolved problem has 8975 variables (6011 bin, 0 int, 0 impl, 2964 cont) and 10535 constraints
2.69/2.72	c    2964 constraints of type <indicator>
2.69/2.72	c     368 constraints of type <varbound>
2.69/2.72	c     129 constraints of type <knapsack>
2.69/2.72	c       2 constraints of type <setppc>
2.69/2.72	c    2596 constraints of type <linear>
2.69/2.72	c    4476 constraints of type <logicor>
2.69/2.72	c transformed objective value is always integral (scale: 1)
2.69/2.72	c Presolving Time: 2.38
2.69/2.72	c - non default parameters ----------------------------------------------------------------------
2.69/2.72	c # SCIP version 1.2.1.2
2.69/2.72	c 
2.69/2.72	c # frequency for displaying node information lines
2.69/2.72	c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.72	c display/freq = 10000
2.69/2.72	c 
2.69/2.72	c # maximal time in seconds to run
2.69/2.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.72	c limits/time = 1799.83
2.69/2.72	c 
2.69/2.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.72	c limits/memory = 3420
2.69/2.72	c 
2.69/2.72	c # should presolving try to simplify inequalities
2.69/2.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72	c constraints/linear/simplifyinequalities = TRUE
2.69/2.72	c 
2.69/2.72	c # should presolving try to simplify knapsacks
2.69/2.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72	c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.72	c 
2.69/2.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.72	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.72	c separating/rapidlearning/freq = 0
2.69/2.72	c 
2.69/2.72	c -----------------------------------------------------------------------------------------------
2.69/2.72	c start solving
2.69/2.72	c 
2.69/2.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.69/2.76	c   2.5s|     1 |     0 |    51 |     - |  66M|   0 |  32 |8975 |  10k|8975 |4607 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.14	c   2.8s|     1 |     0 |  1048 |     - |  66M|   0 | 130 |8975 |  10k|8975 |5111 | 504 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.49/3.59	c   3.3s|     1 |     0 |  1684 |     - |  67M|   0 | 295 |8975 |  10k|8975 |5403 | 796 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.99/4.05	c   3.7s|     1 |     0 |  2288 |     - |  67M|   0 | 386 |8975 |  10k|8975 |5662 |1055 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.59/4.63	c   4.3s|     1 |     0 |  2963 |     - |  67M|   0 | 291 |8975 |  10k|8975 |5933 |1326 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.39/5.45	c   5.1s|     1 |     0 |  4112 |     - |  68M|   0 | 259 |8975 |  10k|8975 |6067 |1460 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.19/6.25	c   5.9s|     1 |     0 |  5258 |     - |  68M|   0 | 334 |8975 |  10k|8975 |6227 |1620 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.90/9.98	c   9.6s|     1 |     2 |  5258 |     - |  68M|   0 | 334 |8975 |  10k|8975 |6227 |1620 |   0 |  24 | 0.000000e+00 |      --      |    Inf 
246.41/246.42	c   243s| 10000 | 10001 |189348 |  18.4 | 114M| 167 |  15 |8975 |  10k|8975 |5734 |4885 |  41 |3650 | 0.000000e+00 |      --      |    Inf 
353.70/353.77	c   349s| 20000 | 20001 |284303 |  14.0 | 158M| 171 |  22 |8975 |  10k|8975 |5851 |  15k|  64 |5009 | 0.000000e+00 |      --      |    Inf 
465.50/465.56	c   459s| 30000 | 30001 |384892 |  12.7 | 203M| 187 |  22 |8975 |  10k|8975 |5863 |  26k|  75 |6519 | 0.000000e+00 |      --      |    Inf 
589.21/589.23	c   581s| 40000 | 40001 |496944 |  12.3 | 247M| 217 |   2 |8975 |  10k|8975 |5886 |  41k| 108 |8250 | 0.000000e+00 |      --      |    Inf 
685.22/685.27	c   676s| 50000 | 50001 |583419 |  11.6 | 292M| 217 |  12 |8975 |  10k|8975 |5860 |  57k| 109 |9130 | 0.000000e+00 |      --      |    Inf 
803.71/803.72	c   793s| 60000 | 60001 |675585 |  11.2 | 336M| 217 |  69 |8975 |  10k|8975 |5734 |  71k| 132 |  11k| 0.000000e+00 |      --      |    Inf 
959.82/959.81	c   947s| 70000 | 69999 |848796 |  12.1 | 381M| 217 |   5 |8975 |  10k|8975 |5833 |  78k| 178 |  12k| 0.000000e+00 |      --      |    Inf 
1072.43/1072.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1072.43/1072.48	c  1058s| 80000 | 79999 |959115 |  11.9 | 426M| 217 |  13 |8975 |  10k|8975 |5734 |  88k| 209 |  13k| 0.000000e+00 |      --      |    Inf 
1197.94/1197.95	c  1181s| 90000 | 89999 |  1104k|  12.2 | 471M| 217 |  43 |8975 |  10k|8975 |5734 |  90k| 258 |  15k| 0.000000e+00 |      --      |    Inf 
1308.04/1308.00	c  1289s|100000 | 99997 |  1237k|  12.3 | 516M| 219 |   4 |8975 |  10k|8975 |5858 |  96k| 282 |  15k| 0.000000e+00 |      --      |    Inf 
1400.74/1400.72	c  1380s|110000 |109997 |  1323k|  12.0 | 561M| 219 |   0 |8975 |  10k|8975 |5879 | 109k| 311 |  15k| 0.000000e+00 |      --      |    Inf 
1495.43/1495.49	c  1474s|120000 |119997 |  1413k|  11.7 | 605M| 219 |   1 |8975 |  10k|8975 |5886 | 122k| 352 |  16k| 0.000000e+00 |      --      |    Inf 
1598.64/1598.70	c  1575s|130000 |129997 |  1503k|  11.5 | 650M| 219 |   0 |8975 |  10k|8975 |5913 | 135k| 377 |  17k| 0.000000e+00 |      --      |    Inf 
1691.85/1691.81	c  1667s|140000 |139997 |  1591k|  11.3 | 694M| 219 |  10 |8975 |  10k|8975 |5889 | 148k| 387 |  17k| 0.000000e+00 |      --      |    Inf 
1795.15/1795.12	c  1768s|150000 |149997 |  1679k|  11.2 | 738M| 219 | 156 |8975 |  10k|8975 |5734 | 161k| 429 |  18k| 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1773.05
1800.05/1800.00	c Solving Nodes      : 150500
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.00	s UNKNOWN
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time       :    1773.05
1800.05/1800.00	c Original Problem   :
1800.05/1800.00	c   Problem name     : HOME/instance-2692547-1277917415.wbo
1800.05/1800.00	c   Variables        : 20104 (13285 binary, 0 integer, 0 implicit integer, 6819 continuous)
1800.05/1800.00	c   Constraints      : 26759 initial, 26759 maximal
1800.05/1800.00	c Presolved Problem  :
1800.05/1800.00	c   Problem name     : t_HOME/instance-2692547-1277917415.wbo
1800.05/1800.00	c   Variables        : 8975 (6011 binary, 0 integer, 0 implicit integer, 2964 continuous)
1800.05/1800.00	c   Constraints      : 10535 initial, 10679 maximal
1800.05/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.00	c   trivial          :       0.02         96          0          0          0          0          0          0          0
1800.05/1800.00	c   dualfix          :       0.05       8198          0          0          0          0          0          0          0
1800.05/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.00	c   probing          :       1.63          0          0          0          0          0          0          0          0
1800.05/1800.00	c   indicator        :       0.09          0          0          0          0          0       3855          0          0
1800.05/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          9         39
1800.05/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   linear           :       0.38       1990        845          0       5049          0      12371         51         56
1800.05/1800.00	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   integral         :          0          0          0     168730          0          0          0          0          0     283536
1800.05/1800.00	c   indicator        :       2964          0     612911      26962          0          0     117530          0          0          0
1800.05/1800.00	c   varbound         :        368          6     612911      26962          0          0      12308      14777          0          0
1800.05/1800.00	c   knapsack         :        129          6     612911      12415          0          1     145556        177          0          0
1800.05/1800.00	c   setppc           :          2          6      62811          3          0          0          0          0          0          0
1800.05/1800.00	c   linear           :       2596          6     612910      12415          0          0      81729     146154          0          0
1800.05/1800.00	c   logicor          :       4476+         6     472253       8730          0          2     768211          0          0          0
1800.05/1800.00	c   countsols        :          0          0          0       8730          0          0          0          0          0          0
1800.05/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.00	c   integral         :     256.89       0.00       0.00     256.89       0.00
1800.05/1800.00	c   indicator        :      61.44       0.01      41.20      20.23       0.00
1800.05/1800.00	c   varbound         :       5.11       0.00       4.42       0.69       0.00
1800.05/1800.00	c   knapsack         :       3.77       0.00       3.68       0.09       0.00
1800.05/1800.00	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.00	c   linear           :      29.93       0.00      24.59       5.34       0.00
1800.05/1800.00	c   logicor          :       5.42       0.00       4.06       1.36       0.00
1800.05/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.00	c   vbounds          :      18.97     177813          0      24032
1800.05/1800.00	c   rootredcost      :       0.16          0          0          0
1800.05/1800.00	c   pseudoobj        :      51.16     606462          0          0
1800.05/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.00	c   propagation      :       0.00          3          3          3        6.7          0        0.0          -
1800.05/1800.00	c   infeasible LP    :       0.54        418        418        426        4.4          0        0.0          0
1800.05/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.00	c   applied globally :          -          -          -        429        4.4          -          -          -
1800.05/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.00	c   cut pool         :       0.00          5          -          -        193          -    (maximal pool size: 1181)
1800.05/1800.00	c   redcost          :      32.37     161650          0          0          0          0
1800.05/1800.00	c   impliedbounds    :       0.01          6          0          0        456          0
1800.05/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.00	c   gomory           :       0.34          6          0          0       1604          0
1800.05/1800.00	c   strongcg         :       0.29          6          0          0        606          0
1800.05/1800.00	c   cmir             :       0.30          6          0          0         21          0
1800.05/1800.00	c   flowcover        :       0.93          6          0          0        257          0
1800.05/1800.00	c   clique           :       0.06          6          0          0         25          0
1800.05/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.00	c Pricers            :       Time      Calls       Vars
1800.05/1800.00	c   problem variables:       0.00          0          0
1800.05/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   relpscost        :     256.64     141768          0          0          0          0     283536
1800.05/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   inference        :      10.40       8730          0          0          0          0      17460
1800.05/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.00	c   LP solutions     :       0.00          -          0
1800.05/1800.00	c   pseudo solutions :       0.00          -          0
1800.05/1800.00	c   oneopt           :       0.31          0          0
1800.05/1800.00	c   crossover        :       0.05          0          0
1800.05/1800.00	c   guideddiving     :       0.00          0          0
1800.05/1800.00	c   intshifting      :       0.05         44          0
1800.05/1800.00	c   feaspump         :       2.75         26          0
1800.05/1800.00	c   rootsoldiving    :      15.79        255          0
1800.05/1800.00	c   pscostdiving     :      27.73        708          0
1800.05/1800.00	c   fracdiving       :      28.80        708          0
1800.05/1800.00	c   linesearchdiving :      24.03        709          0
1800.05/1800.00	c   coefdiving       :      28.66        709          0
1800.05/1800.00	c   veclendiving     :      21.12        709          0
1800.05/1800.00	c   objpscostdiving  :       7.45        540          0
1800.05/1800.00	c   trivial          :       0.14          2          0
1800.05/1800.00	c   simplerounding   :       0.46     136461          0
1800.05/1800.00	c   zirounding       :       0.28       1000          0
1800.05/1800.00	c   rounding         :       2.51       5192          0
1800.05/1800.00	c   shifting         :       6.89       1682          0
1800.05/1800.00	c   twoopt           :       0.00          0          0
1800.05/1800.00	c   fixandinfer      :       0.00          0          0
1800.05/1800.00	c   intdiving        :       0.00          0          0
1800.05/1800.00	c   actconsdiving    :       0.00          0          0
1800.05/1800.00	c   octane           :       0.00          0          0
1800.05/1800.00	c   rens             :       0.08          1          0
1800.05/1800.00	c   rins             :       0.00          0          0
1800.05/1800.00	c   localbranching   :       0.00          0          0
1800.05/1800.00	c   mutation         :       0.00          0          0
1800.05/1800.00	c   dins             :       0.00          0          0
1800.05/1800.00	c   undercover       :       0.00          0          0
1800.05/1800.00	c   nlp              :       0.06          0          0
1800.05/1800.00	c   trysol           :      10.40       3494          0
1800.05/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.00	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.00	c   dual LP          :     838.85     155808    1536421       9.86    1831.58
1800.05/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.00	c   diving/probing LP:      88.63      20614     147334       7.15    1662.35
1800.05/1800.00	c   strong branching :     252.40      18877     356073      18.86    1410.75
1800.05/1800.00	c     (at root node) :          -         24       7727     321.96          -
1800.05/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.00	c B&B Tree           :
1800.05/1800.00	c   number of runs   :          1
1800.05/1800.00	c   nodes            :     150500
1800.05/1800.00	c   nodes (total)    :     150500
1800.05/1800.00	c   nodes left       :     150497
1800.05/1800.00	c   max depth        :        219
1800.05/1800.00	c   max depth (total):        219
1800.05/1800.00	c   backtracks       :       1522 (1.0%)
1800.05/1800.00	c   delayed cutoffs  :          0
1800.05/1800.00	c   repropagations   :          7 (6 domain reductions, 0 cutoffs)
1800.05/1800.00	c   avg switch length:       2.22
1800.05/1800.00	c   switching time   :      33.16
1800.05/1800.00	c Solution           :
1800.05/1800.00	c   Solutions found  :          0 (0 improvements)
1800.05/1800.00	c   Primal Bound     :          -
1800.05/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.00	c   Gap              :   infinite
1800.05/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.00	c   Root Iterations  :       5258
1800.35/1800.39	c Time complete: 1800.44.

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-2692547-1277917415/watcher-2692547-1277917415 -o /tmp/evaluation-result-2692547-1277917415/solver-2692547-1277917415 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692547-1277917415.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: 2.00 2.00 2.00 4/178 15924
/proc/meminfo: memFree=31091584/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=9304 CPUtime=0
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 1620 0 0 0 0 0 0 0 25 0 1 0 133036126 9527296 1540 4089446400 4194304 8223781 140737444160928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15924/statm: 2326 1540 369 984 0 1339 0

[startup+0.057937 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15924
/proc/meminfo: memFree=31091584/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=19868 CPUtime=0.05
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 4258 0 0 0 5 0 0 0 25 0 1 0 133036126 20344832 4178 4089446400 4194304 8223781 140737444160928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15924/statm: 4967 4178 369 984 0 3980 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19868

[startup+0.100929 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15924
/proc/meminfo: memFree=31091584/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=26896 CPUtime=0.09
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 6032 0 0 0 9 0 0 0 25 0 1 0 133036126 27541504 5952 4089446400 4194304 8223781 140737444160928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15924/statm: 6724 5952 369 984 0 5737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26896

[startup+0.300893 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15924
/proc/meminfo: memFree=31091584/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=86352 CPUtime=0.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 20555 0 0 0 28 1 0 0 25 0 1 0 133036126 88424448 20031 4089446400 4194304 8223781 140737444160928 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 21588 20031 433 984 0 20601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86352

[startup+0.700832 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15924
/proc/meminfo: memFree=31091584/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=96576 CPUtime=0.69
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 23726 0 0 0 66 3 0 0 25 0 1 0 133036126 98893824 22688 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 24144 22688 460 984 0 23157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96576

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15925
/proc/meminfo: memFree=30997956/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=101188 CPUtime=1.49
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 31889 0 0 0 141 8 0 0 25 0 1 0 133036126 103616512 23912 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 25297 23912 500 984 0 24310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101188

[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15925
/proc/meminfo: memFree=30997088/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=115584 CPUtime=3.09
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 35608 0 0 0 297 12 0 0 25 0 1 0 133036126 118358016 27318 4089446400 4194304 8223781 140737444160928 18446744073709551615 6446952 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 28896 27318 601 984 0 27909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115584

[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15925
/proc/meminfo: memFree=30981132/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=149436 CPUtime=6.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 47084 0 0 0 613 16 0 0 25 0 1 0 133036126 153022464 35503 4089446400 4194304 8223781 140737444160928 18446744073709551615 6207668 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 37359 35503 604 984 0 36372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149436

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15925
/proc/meminfo: memFree=30981064/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=121580 CPUtime=12.69
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 75647 0 0 0 1248 21 0 0 25 0 1 0 133036126 124497920 28646 4089446400 4194304 8223781 140737444160928 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 30305 28582 613 984 0 29318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121580

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15925
/proc/meminfo: memFree=30981920/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=121000 CPUtime=25.49
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 139943 0 0 0 2517 32 0 0 25 0 1 0 133036126 123904000 28510 4089446400 4194304 8223781 140737444160928 18446744073709551615 6446993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 30250 28510 613 984 0 29263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121000

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15926
/proc/meminfo: memFree=30977004/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=121992 CPUtime=51.09
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 378122 0 0 0 5043 66 0 0 25 0 1 0 133036126 124919808 28735 4089446400 4194304 8223781 140737444160928 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 30498 28735 613 984 0 29511 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121992

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15927
/proc/meminfo: memFree=30967660/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=123428 CPUtime=102.3
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 789776 0 0 0 10098 132 0 0 25 0 1 0 133036126 126390272 29033 4089446400 4194304 8223781 140737444160928 18446744073709551615 6003308 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 30857 29033 616 984 0 29870 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123428

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15929
/proc/meminfo: memFree=30952120/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=132584 CPUtime=162.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 1242849 0 0 0 16011 218 0 0 25 0 1 0 133036126 135766016 31295 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 33146 31295 616 984 0 32159 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132584

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15931
/proc/meminfo: memFree=30923328/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=155340 CPUtime=222.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 1611982 0 0 0 21928 301 0 0 25 0 1 0 133036126 159068160 37036 4089446400 4194304 8223781 140737444160928 18446744073709551615 6592531 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 38835 37036 618 984 0 37848 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 155340

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15932
/proc/meminfo: memFree=30893780/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=181320 CPUtime=282.3
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 2022990 0 0 0 27837 393 0 0 25 0 1 0 133036126 185671680 43545 4089446400 4194304 8223781 140737444160928 18446744073709551615 5511807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 45330 43545 618 984 0 44343 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 181320

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15934
/proc/meminfo: memFree=30860892/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=206344 CPUtime=342.3
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 2391296 0 0 0 33753 477 0 0 25 0 1 0 133036126 211296256 49883 4089446400 4194304 8223781 140737444160928 18446744073709551615 4830989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 51586 49883 618 984 0 50599 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 206344

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15935
/proc/meminfo: memFree=30831840/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=228820 CPUtime=402.31
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 2792595 0 0 0 39674 557 0 0 25 0 1 0 133036126 234311680 55520 4089446400 4194304 8223781 140737444160928 18446744073709551615 6002978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 57205 55520 618 984 0 56218 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 228820

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15937
/proc/meminfo: memFree=30796844/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=256128 CPUtime=462.31
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 3162642 0 0 0 45600 631 0 0 25 0 1 0 133036126 262275072 62379 4089446400 4194304 8223781 140737444160928 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 64032 62379 618 984 0 63045 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 256128

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15939
/proc/meminfo: memFree=30769024/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=276312 CPUtime=522.3
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 3627115 0 0 0 51510 720 0 0 25 0 1 0 133036126 282943488 67442 4089446400 4194304 8223781 140737444160928 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 69078 67442 618 984 0 68091 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 276312

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15940
/proc/meminfo: memFree=30741340/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=300520 CPUtime=582.31
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 3976688 0 0 0 57435 796 0 0 25 0 1 0 133036126 307732480 73506 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 75130 73506 618 984 0 74143 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 300520

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15942
/proc/meminfo: memFree=30707448/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=328448 CPUtime=642.31
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 4260638 0 0 0 63362 869 0 0 25 0 1 0 133036126 336330752 80521 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 82112 80521 618 984 0 81125 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 328448

[startup+702.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15950
/proc/meminfo: memFree=30577440/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=433008 CPUtime=942.32
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 6252763 0 0 0 92966 1266 0 0 25 0 1 0 133036126 443400192 106181 4089446400 4194304 8223781 140737444160928 18446744073709551615 6439663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 108252 106181 618 984 0 107265 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 433008

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15951
/proc/meminfo: memFree=30538468/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=461792 CPUtime=1002.32
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 6533063 0 0 0 98894 1338 0 0 25 0 1 0 133036126 472875008 113384 4089446400 4194304 8223781 140737444160928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15924/statm: 115448 113384 618 984 0 114461 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 461792

[startup+1062.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/196 16025
/proc/meminfo: memFree=30728336/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=482664 CPUtime=1062.33
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 6923601 0 0 0 104798 1435 0 0 25 0 1 0 133036126 494247936 118662 4089446400 4194304 8223781 140737444160928 18446744073709551615 6456019 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 120666 118662 618 984 0 119679 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 482664

[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 16028
/proc/meminfo: memFree=30606916/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=503488 CPUtime=1122.32
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 7223383 0 0 0 110678 1554 0 0 25 0 1 0 133036126 515571712 123870 4089446400 4194304 8223781 140737444160928 18446744073709551615 6439880 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 125872 123870 618 984 0 124885 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 503488

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 16029
/proc/meminfo: memFree=30559520/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=524072 CPUtime=1182.33
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 7654911 0 0 0 116570 1663 0 0 25 0 1 0 133036126 536649728 129026 4089446400 4194304 8223781 140737444160928 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 131018 129026 618 984 0 130031 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 524072

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16031
/proc/meminfo: memFree=30499340/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=545492 CPUtime=1242.33
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 7970017 0 0 0 122470 1763 0 0 25 0 1 0 133036126 558583808 134391 4089446400 4194304 8223781 140737444160928 18446744073709551615 6569326 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 136373 134391 618 984 0 135386 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 545492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16032
/proc/meminfo: memFree=30472644/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=571972 CPUtime=1302.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 8263080 0 0 0 128375 1859 0 0 25 0 1 0 133036126 585699328 141061 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 142993 141061 618 984 0 142006 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 571972

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16034
/proc/meminfo: memFree=30416932/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=598536 CPUtime=1362.33
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 8504985 0 0 0 134281 1952 0 0 25 0 1 0 133036126 612900864 147730 4089446400 4194304 8223781 140737444160928 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 149634 147730 618 984 0 148647 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 598536

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16036
/proc/meminfo: memFree=30360600/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=624608 CPUtime=1422.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 8794133 0 0 0 140185 2049 0 0 25 0 1 0 133036126 639598592 154263 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 156152 154263 618 984 0 155165 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 624608

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16037
/proc/meminfo: memFree=30304276/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=654284 CPUtime=1482.33
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 9095692 0 0 0 146082 2151 0 0 25 0 1 0 133036126 669986816 161719 4089446400 4194304 8223781 140737444160928 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 163571 161719 618 984 0 162584 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 654284

[startup+1542.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/197 16039
/proc/meminfo: memFree=30244708/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=683756 CPUtime=1542.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 9421201 0 0 0 151979 2255 0 0 25 0 1 0 133036126 700166144 169106 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 170939 169106 618 984 0 169952 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 683756

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 16040
/proc/meminfo: memFree=30193108/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=707172 CPUtime=1602.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 9837227 0 0 0 157873 2361 0 0 25 0 1 0 133036126 724144128 175001 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 176793 175001 618 984 0 175806 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 707172

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 16042
/proc/meminfo: memFree=30136036/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=735856 CPUtime=1662.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10118057 0 0 0 163785 2449 0 0 25 0 1 0 133036126 753516544 182183 4089446400 4194304 8223781 140737444160928 18446744073709551615 6599225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 183964 182183 618 984 0 182977 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 735856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16047
/proc/meminfo: memFree=30106956/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=763372 CPUtime=1722.34
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10393210 0 0 0 169691 2543 0 0 25 0 1 0 133036126 781692928 189092 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 190843 189092 618 984 0 189856 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 763372

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16048
/proc/meminfo: memFree=30084312/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=785808 CPUtime=1782.35
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10804635 0 0 0 175585 2650 0 0 25 0 1 0 133036126 804667392 194707 4089446400 4194304 8223781 140737444160928 18446744073709551615 6440044 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 196452 194707 618 984 0 195465 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 785808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16049
/proc/meminfo: memFree=30075500/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=794408 CPUtime=1800.05
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10917372 0 0 0 177322 2683 0 0 25 0 1 0 133036126 813473792 196910 4089446400 4194304 8223781 140737444160928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15924/statm: 198602 196910 618 984 0 197615 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 794408

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: 2.00 2.00 2.00 3/197 16049
/proc/meminfo: memFree=30075500/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=582668 CPUtime=1800.25
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10917373 0 0 0 177341 2684 0 0 25 0 1 0 133036126 596652032 143980 4089446400 4194304 8223781 140737444160928 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15924/statm: 145667 143980 619 984 0 144680 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 582668

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16049
/proc/meminfo: memFree=30075500/32951124 swapFree=67111528/67111528
[pid=15924] ppid=15922 vsize=260144 CPUtime=1800.35
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15305 0 -1 4202496 10917373 0 0 0 177350 2685 0 0 25 0 1 0 133036126 266387456 63350 4089446400 4194304 8223781 140737444160928 18446744073709551615 4668100 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15924/statm: 65036 63350 619 984 0 64049 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 260144

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.45
CPU user time (s): 1773.59
CPU system time (s): 26.8679
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 794464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.59
system time used= 26.8679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10917377
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= 1643

runsolver used 3.36749 second user time and 6.38403 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 19:03:35
IDJOB=2692547
IDBENCH=79089
IDSOLVER=1204
FILE ID=node142/2692547-1277917415
PBS_JOBID= 11197287
Free space on /tmp= 74172 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/PB10/oliveras/j60/normalized-j602_7-unsat--soft-66-100-0.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-2692547-1277917415/watcher-2692547-1277917415 -o /tmp/evaluation-result-2692547-1277917415/solver-2692547-1277917415 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692547-1277917415.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 542acc6a88f2f74cb83091764e7f930f
RANDOM SEED=175788134

node142.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.827
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.65
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.827
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	: 5226.16
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.827
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.82
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.827
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.75
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.827
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.82
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.827
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.75
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.827
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.75
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.827
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31092120 kB
Buffers:        196652 kB
Cached:        1077448 kB
SwapCached:          0 kB
Active:         868832 kB
Inactive:       842876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31092120 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5060 kB
Writeback:           0 kB
AnonPages:      437540 kB
Mapped:          16624 kB
Slab:            81004 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   593668 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= 74164 MiB
End job on node142 at 2010-06-30 19:33:37