Trace number 2705224

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.59 1790.54

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
MD5SUM6b812e3bd45da6d63d6d9a24d1cd16b1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark0.138978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51849
Number of soft constraints17749
Number of constraints which are clauses51521
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 895680
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 895679
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 335
Number of bits of the biggest sum of numbers9
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705224-1278576542.wbo>
0.39/0.41	c original problem has 50604 variables (32855 bin, 0 int, 17749 impl, 0 cont) and 69599 constraints
0.39/0.41	c problem read
0.39/0.41	c presolving settings loaded
1.29/1.32	c presolving:
1.69/1.75	c (round 1) 2457 del vars, 8122 del conss, 1753 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 735146 impls, 0 clqs
2.20/2.22	c (round 2) 6716 del vars, 22104 del conss, 3405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 756212 impls, 0 clqs
2.59/2.69	c (round 3) 14564 del vars, 33541 del conss, 4705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 764600 impls, 0 clqs
2.89/2.96	c (round 4) 22177 del vars, 40165 del conss, 5414 chg bounds, 7 chg sides, 11 chg coeffs, 0 upgd conss, 772110 impls, 0 clqs
3.09/3.11	c (round 5) 26862 del vars, 44097 del conss, 5818 chg bounds, 14 chg sides, 21 chg coeffs, 0 upgd conss, 774880 impls, 0 clqs
3.09/3.20	c (round 6) 29762 del vars, 46636 del conss, 6103 chg bounds, 24 chg sides, 35 chg coeffs, 0 upgd conss, 777428 impls, 0 clqs
3.19/3.26	c (round 7) 31596 del vars, 48377 del conss, 6290 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 779076 impls, 0 clqs
3.19/3.30	c (round 8) 32832 del vars, 49500 del conss, 6408 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 779726 impls, 0 clqs
3.30/3.33	c (round 9) 33586 del vars, 50097 del conss, 6450 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780020 impls, 0 clqs
3.30/3.34	c (round 10) 34029 del vars, 50377 del conss, 6475 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780096 impls, 0 clqs
3.30/3.35	c (round 11) 34239 del vars, 50514 del conss, 6487 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780172 impls, 0 clqs
3.30/3.36	c (round 12) 34343 del vars, 50598 del conss, 6497 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780178 impls, 0 clqs
3.30/3.37	c (round 13) 34406 del vars, 50643 del conss, 6499 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780180 impls, 0 clqs
3.30/3.37	c (round 14) 34438 del vars, 50654 del conss, 6500 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780180 impls, 0 clqs
3.30/3.38	c (round 15) 34447 del vars, 50660 del conss, 6500 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780180 impls, 0 clqs
3.39/3.41	c (round 16) 34453 del vars, 50665 del conss, 11976 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780180 impls, 0 clqs
3.39/3.42	c (round 17) 34496 del vars, 50703 del conss, 11976 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 780264 impls, 0 clqs
3.49/3.53	c (round 18) 34496 del vars, 50703 del conss, 11976 chg bounds, 28 chg sides, 39 chg coeffs, 8791 upgd conss, 791236 impls, 0 clqs
3.49/3.57	c (round 19) 34496 del vars, 50703 del conss, 11976 chg bounds, 35 chg sides, 52 chg coeffs, 8791 upgd conss, 798976 impls, 0 clqs
3.59/3.60	c (round 20) 34496 del vars, 50704 del conss, 11976 chg bounds, 37 chg sides, 58 chg coeffs, 8791 upgd conss, 798976 impls, 0 clqs
6.09/6.18	c    (5.8s) probing: 1000/10632 (9.4%) - 0 fixings, 0 aggregations, 21258 implications, 0 bound changes
7.99/8.02	c    (7.6s) probing: 2000/10632 (18.8%) - 0 fixings, 0 aggregations, 24190 implications, 0 bound changes
7.99/8.02	c    (7.6s) probing: 2001/10632 (18.8%) - 0 fixings, 0 aggregations, 24191 implications, 0 bound changes
7.99/8.02	c    (7.6s) probing aborted: 2000/2000 successive useless probings
7.99/8.02	c presolving (21 rounds):
7.99/8.02	c  34496 deleted vars, 50704 deleted constraints, 11976 tightened bounds, 0 added holes, 38 changed sides, 60 changed coefficients
7.99/8.02	c  903076 implications, 0 cliques
7.99/8.02	c presolved problem has 16108 variables (10632 bin, 0 int, 5476 impl, 0 cont) and 18901 constraints
7.99/8.02	c     856 constraints of type <varbound>
7.99/8.02	c     210 constraints of type <knapsack>
7.99/8.02	c    6489 constraints of type <setppc>
7.99/8.02	c    4629 constraints of type <linear>
7.99/8.02	c    5476 constraints of type <indicator>
7.99/8.02	c    1241 constraints of type <logicor>
7.99/8.02	c transformed objective value is always integral (scale: 1)
7.99/8.02	c Presolving Time: 7.44
7.99/8.02	c - non default parameters ----------------------------------------------------------------------
7.99/8.02	c # SCIP version 1.2.1.3
7.99/8.02	c 
7.99/8.02	c # frequency for displaying node information lines
7.99/8.02	c # [type: int, range: [-1,2147483647], default: 100]
7.99/8.02	c display/freq = 10000
7.99/8.02	c 
7.99/8.02	c # maximal time in seconds to run
7.99/8.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.02	c limits/time = 1789.6
7.99/8.02	c 
7.99/8.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.02	c limits/memory = 3420
7.99/8.02	c 
7.99/8.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.99/8.02	c # [type: int, range: [1,2], default: 1]
7.99/8.02	c timing/clocktype = 2
7.99/8.02	c 
7.99/8.02	c # should presolving try to simplify inequalities
7.99/8.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.02	c constraints/linear/simplifyinequalities = TRUE
7.99/8.02	c 
7.99/8.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.99/8.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.02	c constraints/indicator/addCouplingCons = TRUE
7.99/8.02	c 
7.99/8.02	c # should presolving try to simplify knapsacks
7.99/8.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.02	c constraints/knapsack/simplifyinequalities = TRUE
7.99/8.02	c 
7.99/8.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.99/8.02	c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.02	c separating/rapidlearning/freq = 0
7.99/8.02	c 
7.99/8.02	c -----------------------------------------------------------------------------------------------
7.99/8.02	c start solving
7.99/8.03	c 
8.09/8.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.09/8.12	c   7.7s|     1 |     0 |   865 |     - | 160M|   0 | 519 |  16k|  18k|  16k|7978 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.80/8.88	c   8.5s|     1 |     0 |  1564 |     - | 162M|   0 |  19 |  16k|  18k|  16k|9978 |2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.53	c   9.1s|     1 |     0 |  1873 |     - | 163M|   0 |  46 |  16k|  18k|  16k|  10k|2227 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.19/10.23	c   9.8s|     1 |     0 |  2091 |     - | 163M|   0 |   6 |  16k|  18k|  16k|  10k|2397 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.79/10.89	c  10.5s|     1 |     0 |  2132 |     - | 163M|   0 |   1 |  16k|  18k|  16k|  10k|2432 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.55	c  11.1s|     1 |     0 |  2147 |     - | 163M|   0 |   4 |  16k|  18k|  16k|  10k|2443 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.19/12.21	c  11.8s|     1 |     0 |  2153 |     - | 163M|   0 |   0 |  16k|  18k|  16k|  10k|2448 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.19/12.22	c  11.8s|     1 |     2 |  2153 |     - | 163M|   0 |   0 |  16k|  18k|  16k|  10k|2448 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
221.20/221.21	c   221s| 10000 | 10004 | 23637 |   2.1 | 240M| 111 |   0 |  16k|  18k|  16k|9111 |7263 |   0 |4742 | 0.000000e+00 |      --      |    Inf 
379.30/379.37	c   379s| 20000 | 20004 | 28562 |   1.3 | 314M| 135 |   0 |  16k|  18k|  16k|9134 |8756 |   0 |5148 | 0.000000e+00 |      --      |    Inf 
531.71/531.74	c   531s| 30000 | 30004 | 31807 |   1.0 | 387M| 163 |   0 |  16k|  18k|  16k|9185 |9588 |   0 |5314 | 0.000000e+00 |      --      |    Inf 
681.11/681.11	c   681s| 40000 | 40004 | 35334 |   0.8 | 460M| 165 |   0 |  16k|  18k|  16k|9140 |  10k|   0 |5395 | 0.000000e+00 |      --      |    Inf 
829.32/829.35	c   829s| 50000 | 50004 | 39857 |   0.8 | 532M| 199 |   0 |  16k|  18k|  16k|9126 |  11k|   0 |5579 | 0.000000e+00 |      --      |    Inf 
973.42/973.50	c   973s| 60000 | 60004 | 41828 |   0.7 | 605M| 199 |   0 |  16k|  18k|  16k|9150 |  11k|   0 |5590 | 0.000000e+00 |      --      |    Inf 
1117.63/1117.68	c  1117s| 70000 | 70004 | 43730 |   0.6 | 677M| 199 |   0 |  16k|  18k|  16k|9147 |  12k|   0 |5592 | 0.000000e+00 |      --      |    Inf 
1263.43/1263.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1263.43/1263.42	c  1263s| 80000 | 80004 | 48254 |   0.6 | 750M| 199 |   0 |  16k|  18k|  16k|9157 |  13k|   0 |5648 | 0.000000e+00 |      --      |    Inf 
1408.44/1408.45	c  1408s| 90000 | 90004 | 50507 |   0.5 | 823M| 199 |   0 |  16k|  18k|  16k|9158 |  13k|   0 |5698 | 0.000000e+00 |      --      |    Inf 
1553.63/1553.60	c  1553s|100000 |100004 | 53435 |   0.5 | 895M| 199 |   0 |  16k|  18k|  16k|9182 |  14k|   0 |5768 | 0.000000e+00 |      --      |    Inf 
1699.45/1699.40	c  1699s|110000 |110004 | 57259 |   0.5 | 968M| 199 |   0 |  16k|  18k|  16k|9138 |  15k|   0 |5912 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.02	c 
1790.04/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.02	c Solving Time (sec) : 1789.60
1790.04/1790.02	c Solving Nodes      : 116226
1790.04/1790.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.04/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.02	c Gap                : infinite
1790.04/1790.02	s UNKNOWN
1790.04/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.02	c Solving Time       :    1789.60
1790.04/1790.02	c Original Problem   :
1790.04/1790.02	c   Problem name     : HOME/instance-2705224-1278576542.wbo
1790.04/1790.02	c   Variables        : 50604 (32855 binary, 0 integer, 17749 implicit integer, 0 continuous)
1790.04/1790.02	c   Constraints      : 69599 initial, 69599 maximal
1790.04/1790.02	c Presolved Problem  :
1790.04/1790.02	c   Problem name     : t_HOME/instance-2705224-1278576542.wbo
1790.04/1790.02	c   Variables        : 16108 (10632 binary, 0 integer, 5476 implicit integer, 0 continuous)
1790.04/1790.02	c   Constraints      : 18901 initial, 18901 maximal
1790.04/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.02	c   trivial          :       0.03        200          0          0          0          0          0          0          0
1790.04/1790.02	c   dualfix          :       0.07      25985          0          0          0          0          0          0          0
1790.04/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   implics          :       0.02          0          0          0          0          0          0          0          0
1790.04/1790.02	c   probing          :       4.39          0          0          0          0          0          0          0          0
1790.04/1790.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   knapsack         :       0.01          0          0          0          0          0          0         10         21
1790.04/1790.02	c   setppc           :       0.02          0          0          0          0          0          1          0          0
1790.04/1790.02	c   linear           :       1.40       6311       2000          0      11976          0      38430         28         39
1790.04/1790.02	c   indicator        :       0.67          0          0          0          0          0      12273          0          0
1790.04/1790.02	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.02	c   integral         :          0          0          0     118667          0          0          0          0          0       4524
1790.04/1790.02	c   varbound         :        856          7     438903     116405          0          0      28902        601          0          0
1790.04/1790.02	c   knapsack         :        210          7     438903     116219          0          0       2086         21          0          0
1790.04/1790.02	c   setppc           :       6489          7     438903     116219          0          0     941062          0          0          0
1790.04/1790.02	c   linear           :       4629          7     438903     116219          0          0      15345      13714          0          0
1790.04/1790.02	c   indicator        :       5476          0     438903     116405          0          0      44272          0          0          0
1790.04/1790.02	c   logicor          :       1241          7     161433     113964          0          0      32823          0          0          0
1790.04/1790.02	c   countsols        :          0          0          0     113964          0          0          0          0          0          0
1790.04/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.02	c   integral         :      52.91       0.00       0.00      52.91       0.00
1790.04/1790.02	c   varbound         :      20.54       0.00       7.36      13.17       0.00
1790.04/1790.02	c   knapsack         :       4.23       0.00       2.69       1.54       0.00
1790.04/1790.02	c   setppc           :      80.08       0.00      45.24      34.84       0.00
1790.04/1790.02	c   linear           :     190.46       0.01      30.75     159.70       0.00
1790.04/1790.02	c   indicator        :     231.02       0.01      95.02     135.99       0.00
1790.04/1790.02	c   logicor          :      10.24       0.00       0.41       9.83       0.00
1790.04/1790.02	c   countsols        :       0.04       0.00       0.00       0.04       0.00
1790.04/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.02	c   vbounds          :       0.13         10          0          0
1790.04/1790.02	c   rootredcost      :       0.13          0          0          0
1790.04/1790.02	c   pseudoobj        :      62.57     431670          0          0
1790.04/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.04/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.02	c   cut pool         :       0.00          6          -          -         17          -    (maximal pool size: 1656)
1790.04/1790.02	c   redcost          :      56.31     118586          0          0          0          0
1790.04/1790.02	c   impliedbounds    :       0.00          6          0          0       1487          0
1790.04/1790.02	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.02	c   gomory           :       0.09          6          0          0        809          0
1790.04/1790.02	c   strongcg         :       0.09          6          0          0        809          0
1790.04/1790.02	c   cmir             :       0.58          6          0          0         11          0
1790.04/1790.02	c   flowcover        :       2.70          6          0          0         32          0
1790.04/1790.02	c   clique           :       0.10          6          0          0         14          0
1790.04/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.02	c   mcf              :       0.03          1          0          0          0          0
1790.04/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1790.04/1790.02	c Pricers            :       Time      Calls       Vars
1790.04/1790.02	c   problem variables:       0.00          0          0
1790.04/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.02	c   relpscost        :      52.80       2262          0          0          0          0       4524
1790.04/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   inference        :     364.25     113964          0          0          0          0     227931
1790.04/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.02	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.02	c   LP solutions     :       0.00          -          0
1790.04/1790.02	c   pseudo solutions :       0.00          -          0
1790.04/1790.02	c   oneopt           :       0.17          0          0
1790.04/1790.02	c   crossover        :       0.06          0          0
1790.04/1790.02	c   guideddiving     :       0.00          0          0
1790.04/1790.02	c   intshifting      :       0.00          0          0
1790.04/1790.02	c   feaspump         :       0.71          7          0
1790.04/1790.02	c   veclendiving     :      12.54       1331          0
1790.04/1790.02	c   linesearchdiving :      12.39       1331          0
1790.04/1790.02	c   coefdiving       :      12.69       1332          0
1790.04/1790.02	c   pscostdiving     :      12.24       1332          0
1790.04/1790.02	c   fracdiving       :      12.48       1332          0
1790.04/1790.02	c   objpscostdiving  :      13.43       1330          0
1790.04/1790.02	c   rootsoldiving    :      13.92       1330          0
1790.04/1790.02	c   trivial          :       0.68          2          0
1790.04/1790.02	c   simplerounding   :       0.11       2266          0
1790.04/1790.02	c   zirounding       :       0.67       1000          0
1790.04/1790.02	c   rounding         :       0.60        633          0
1790.04/1790.02	c   shifting         :       0.39        150          0
1790.04/1790.02	c   twoopt           :       0.00          0          0
1790.04/1790.02	c   fixandinfer      :       0.00          0          0
1790.04/1790.02	c   intdiving        :       0.00          0          0
1790.04/1790.02	c   actconsdiving    :       0.00          0          0
1790.04/1790.02	c   octane           :       0.00          0          0
1790.04/1790.02	c   rens             :       0.00          0          0
1790.04/1790.02	c   rins             :       0.00          0          0
1790.04/1790.02	c   localbranching   :       0.00          0          0
1790.04/1790.02	c   mutation         :       0.00          0          0
1790.04/1790.02	c   dins             :       0.00          0          0
1790.04/1790.02	c   undercover       :       0.00          0          0
1790.04/1790.02	c   nlp              :       0.05          0          0
1790.04/1790.02	c   trysol           :      13.13       1355          0
1790.04/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.02	c   primal LP        :       0.01          0          0       0.00          -
1790.04/1790.02	c   dual LP          :     355.84       7013      57813       8.24     162.47
1790.04/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.02	c   diving/probing LP:       0.81         90       1525      16.94    1886.66
1790.04/1790.02	c   strong branching :      52.71       5948      58441       9.83    1108.71
1790.04/1790.02	c     (at root node) :          -          0          0       0.00          -
1790.04/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.02	c B&B Tree           :
1790.04/1790.02	c   number of runs   :          1
1790.04/1790.02	c   nodes            :     116226
1790.04/1790.02	c   nodes (total)    :     116226
1790.04/1790.02	c   nodes left       :     116230
1790.04/1790.02	c   max depth        :        199
1790.04/1790.02	c   max depth (total):        199
1790.04/1790.02	c   backtracks       :       1339 (1.2%)
1790.04/1790.02	c   delayed cutoffs  :          0
1790.04/1790.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.04/1790.02	c   avg switch length:       2.18
1790.04/1790.02	c   switching time   :      23.07
1790.04/1790.02	c Solution           :
1790.04/1790.02	c   Solutions found  :          0 (0 improvements)
1790.04/1790.02	c   Primal Bound     :          -
1790.04/1790.02	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.02	c   Gap              :   infinite
1790.04/1790.02	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.02	c   Root Iterations  :       2153
1790.54/1790.54	c Time complete: 1790.58.

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-2705224-1278576542/watcher-2705224-1278576542 -o /tmp/evaluation-result-2705224-1278576542/solver-2705224-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705224-1278576542.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 1.91 3/178 21643
/proc/meminfo: memFree=29138132/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=12344 CPUtime=0
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 1924 0 0 0 0 0 0 0 22 0 1 0 25866480 12640256 1843 4089446400 4194304 10345943 140736598197232 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21643/statm: 3086 1844 429 1502 0 1579 0

[startup+0.096153 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21643
/proc/meminfo: memFree=29138132/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=33072 CPUtime=0.09
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 7128 0 0 0 8 1 0 0 22 0 1 0 25866480 33865728 7047 4089446400 4194304 10345943 140736598197232 18446744073709551615 9134608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21643/statm: 8268 7047 430 1502 0 6761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33072

[startup+0.101147 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21643
/proc/meminfo: memFree=29138132/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=33264 CPUtime=0.09
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 7145 0 0 0 8 1 0 0 22 0 1 0 25866480 34062336 7064 4089446400 4194304 10345943 140736598197232 18446744073709551615 9122336 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21643/statm: 8316 7064 430 1502 0 6809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33264

[startup+0.301096 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21643
/proc/meminfo: memFree=29138132/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=67716 CPUtime=0.29
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 15729 0 0 0 27 2 0 0 22 0 1 0 25866480 69341184 15648 4089446400 4194304 10345943 140736598197232 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21643/statm: 16929 15678 430 1502 0 15422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67716

[startup+0.70098 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21643
/proc/meminfo: memFree=29138132/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=199128 CPUtime=0.69
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 47612 0 0 0 64 5 0 0 24 0 1 0 25866480 203907072 47141 4089446400 4194304 10345943 140736598197232 18446744073709551615 9138281 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 49782 47141 510 1502 0 48275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 199128

[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21644
/proc/meminfo: memFree=28950264/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=212064 CPUtime=1.49
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 50968 0 0 0 143 6 0 0 25 0 1 0 25866480 217153536 50497 4089446400 4194304 10345943 140736598197232 18446744073709551615 6325622 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 53016 50497 536 1502 0 51509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 212064

[startup+3.10058 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21644
/proc/meminfo: memFree=28920396/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=227436 CPUtime=3.09
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 54763 0 0 0 303 6 0 0 25 0 1 0 25866480 232894464 54292 4089446400 4194304 10345943 140736598197232 18446744073709551615 4880380 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 56859 54292 543 1502 0 55352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227436

[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21644
/proc/meminfo: memFree=28912460/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=233020 CPUtime=6.29
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 56303 0 0 0 623 6 0 0 25 0 1 0 25866480 238612480 55783 4089446400 4194304 10345943 140736598197232 18446744073709551615 6068920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 58255 55783 588 1502 0 56748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 233020

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21645
/proc/meminfo: memFree=28883664/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=263292 CPUtime=12.69
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 64232 0 0 0 1262 7 0 0 25 0 1 0 25866480 269611008 62836 4089446400 4194304 10345943 140736598197232 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 65823 62836 773 1502 0 64316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 263292

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21645
/proc/meminfo: memFree=28872588/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=264808 CPUtime=25.49
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 143661 0 0 0 2530 19 0 0 25 0 1 0 25866480 271163392 63042 4089446400 4194304 10345943 140736598197232 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 66202 63042 773 1502 0 64695 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 264808

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21673
/proc/meminfo: memFree=30341088/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=282076 CPUtime=51.09
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 218252 0 0 0 5080 29 0 0 25 0 1 0 25866480 288845824 66311 4089446400 4194304 10345943 140736598197232 18446744073709551615 6865031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 70519 66311 785 1502 0 69012 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 282076

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21674
/proc/meminfo: memFree=30231928/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=297300 CPUtime=102.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 300064 0 0 0 10185 45 0 0 25 0 1 0 25866480 304435200 70038 4089446400 4194304 10345943 140736598197232 18446744073709551615 6707498 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 74325 70038 785 1502 0 72818 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 297300

[startup+162.3 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 21811
/proc/meminfo: memFree=30302920/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=320228 CPUtime=162.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 322064 0 0 0 16179 51 0 0 25 0 1 0 25866480 327913472 76036 4089446400 4194304 10345943 140736598197232 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 80057 76036 785 1502 0 78550 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 320228

[startup+222.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 21839
/proc/meminfo: memFree=30283148/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=345872 CPUtime=222.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 341523 0 0 0 22174 56 0 0 25 0 1 0 25866480 354172928 82458 4089446400 4194304 10345943 140736598197232 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 86468 82458 785 1502 0 84961 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 345872

[startup+282.301 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 21949
/proc/meminfo: memFree=30214020/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=373448 CPUtime=282.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 354789 0 0 0 28170 60 0 0 25 0 1 0 25866480 382410752 89251 4089446400 4194304 10345943 140736598197232 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 93362 89251 785 1502 0 91855 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 373448

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21951
/proc/meminfo: memFree=30094468/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=405992 CPUtime=342.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 365189 0 0 0 34166 64 0 0 25 0 1 0 25866480 415735808 96437 4089446400 4194304 10345943 140736598197232 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 101498 96437 785 1502 0 99991 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 405992

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21952
/proc/meminfo: memFree=29947360/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=434376 CPUtime=402.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 374112 0 0 0 40163 67 0 0 25 0 1 0 25866480 444801024 103023 4089446400 4194304 10345943 140736598197232 18446744073709551615 4871593 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 108594 103023 785 1502 0 107087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 434376

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21954
/proc/meminfo: memFree=29870180/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=464060 CPUtime=462.3
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 383688 0 0 0 46160 70 0 0 25 0 1 0 25866480 475197440 110264 4089446400 4194304 10345943 140736598197232 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 116015 110264 785 1502 0 114508 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 464060

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21955
/proc/meminfo: memFree=29836164/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=496824 CPUtime=522.31
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 392538 0 0 0 52158 73 0 0 25 0 1 0 25866480 508747776 117661 4089446400 4194304 10345943 140736598197232 18446744073709551615 6002418 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 124206 117661 785 1502 0 122699 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 496824

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 21957
/proc/meminfo: memFree=29799928/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=526776 CPUtime=582.31
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 403214 0 0 0 58155 76 0 0 25 0 1 0 25866480 539418624 125523 4089446400 4194304 10345943 140736598197232 18446744073709551615 6803467 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 131694 125523 785 1502 0 130187 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 526776

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21962
/proc/meminfo: memFree=29769112/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=554396 CPUtime=642.31
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 410607 0 0 0 64152 79 0 0 25 0 1 0 25866480 567701504 132844 4089446400 4194304 10345943 140736598197232 18446744073709551615 6307222 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 138599 132844 785 1502 0 137092 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 554396

[startup+702.301 s]

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

/proc/meminfo: memFree=29585104/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=715556 CPUtime=1002.31
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 456654 0 0 0 100136 95 0 0 25 0 1 0 25866480 732729344 175088 4089446400 4194304 10345943 140736598197232 18446744073709551615 6865039 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 178889 175088 785 1502 0 177382 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 715556

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21973
/proc/meminfo: memFree=29555676/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=745768 CPUtime=1062.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 464146 0 0 0 106135 98 0 0 25 0 1 0 25866480 763666432 182563 4089446400 4194304 10345943 140736598197232 18446744073709551615 6929822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 186442 182563 785 1502 0 184935 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 745768

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21974
/proc/meminfo: memFree=29520052/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=778012 CPUtime=1122.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 472119 0 0 0 112133 100 0 0 25 0 1 0 25866480 796684288 190492 4089446400 4194304 10345943 140736598197232 18446744073709551615 6551078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 194503 190492 785 1502 0 192996 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 778012

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21976
/proc/meminfo: memFree=29485684/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=804628 CPUtime=1182.32
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 478963 0 0 0 118130 102 0 0 25 0 1 0 25866480 823939072 197336 4089446400 4194304 10345943 140736598197232 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 201157 197336 785 1502 0 199650 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 804628

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21978
/proc/meminfo: memFree=29456144/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=840728 CPUtime=1242.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 487483 0 0 0 124128 105 0 0 25 0 1 0 25866480 860905472 204510 4089446400 4194304 10345943 140736598197232 18446744073709551615 5614593 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 210182 204510 785 1502 0 208675 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 840728

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21979
/proc/meminfo: memFree=29422740/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=872248 CPUtime=1302.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 495538 0 0 0 130125 108 0 0 25 0 1 0 25866480 893181952 212371 4089446400 4194304 10345943 140736598197232 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 218062 212371 785 1502 0 216555 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 872248

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21981
/proc/meminfo: memFree=29392688/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=907004 CPUtime=1362.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 503640 0 0 0 136122 111 0 0 25 0 1 0 25866480 928772096 219876 4089446400 4194304 10345943 140736598197232 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21643/statm: 226751 219876 785 1502 0 225244 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 907004

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21982
/proc/meminfo: memFree=29359920/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=938980 CPUtime=1422.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 511970 0 0 0 142120 113 0 0 25 0 1 0 25866480 961515520 227914 4089446400 4194304 10345943 140736598197232 18446744073709551615 6866056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 234745 227914 785 1502 0 233238 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 938980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21984
/proc/meminfo: memFree=29328628/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=969184 CPUtime=1482.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 519842 0 0 0 148118 116 0 0 25 0 1 0 25866480 992444416 235740 4089446400 4194304 10345943 140736598197232 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 242296 235740 785 1502 0 240789 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 969184

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 21986
/proc/meminfo: memFree=29299060/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=995796 CPUtime=1542.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 527156 0 0 0 154116 118 0 0 25 0 1 0 25866480 1019695104 243054 4089446400 4194304 10345943 140736598197232 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 248949 243054 785 1502 0 247442 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 995796

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 21987
/proc/meminfo: memFree=29270260/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1022612 CPUtime=1602.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 534573 0 0 0 160113 121 0 0 25 0 1 0 25866480 1047154688 250269 4089446400 4194304 10345943 140736598197232 18446744073709551615 9138281 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 255653 250269 785 1502 0 254146 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1022612

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 21989
/proc/meminfo: memFree=29242932/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1049472 CPUtime=1662.33
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 541314 0 0 0 166109 124 0 0 25 0 1 0 25866480 1074659328 257010 4089446400 4194304 10345943 140736598197232 18446744073709551615 4966249 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 262368 257010 785 1502 0 260861 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1049472

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21990
/proc/meminfo: memFree=29215368/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1077628 CPUtime=1722.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 548681 0 0 0 172107 127 0 0 25 0 1 0 25866480 1103491072 264377 4089446400 4194304 10345943 140736598197232 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 269407 264377 785 1502 0 267900 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1077628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29185576/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1105308 CPUtime=1782.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 556789 0 0 0 178105 129 0 0 25 0 1 0 25866480 1131835392 271388 4089446400 4194304 10345943 140736598197232 18446744073709551615 4871626 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 276327 271388 785 1502 0 274820 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1105308

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29184336/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1106332 CPUtime=1785.54
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 557046 0 0 0 178425 129 0 0 25 0 1 0 25866480 1132883968 271645 4089446400 4194304 10345943 140736598197232 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 276583 271645 785 1502 0 275076 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1106332

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29182348/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1108380 CPUtime=1788.74
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 557558 0 0 0 178745 129 0 0 25 0 1 0 25866480 1134981120 272157 4089446400 4194304 10345943 140736598197232 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 277095 272157 785 1502 0 275588 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1108380

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29182348/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1108380 CPUtime=1789.54
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 557558 0 0 0 178825 129 0 0 25 0 1 0 25866480 1134981120 272157 4089446400 4194304 10345943 140736598197232 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21643/statm: 277095 272157 785 1502 0 275588 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 1108380

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29182348/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=1109912 CPUtime=1790.34
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 557631 0 0 0 178905 129 0 0 18 0 1 0 25866480 1136549888 272230 4089446400 4194304 10345943 140736598197232 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21643/statm: 277478 272230 794 1502 0 275971 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1109912

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21992
/proc/meminfo: memFree=29182348/32951124 swapFree=67111528/67111528
[pid=21643] ppid=21641 vsize=257724 CPUtime=1790.54
/proc/21643/stat : 21643 (pbscip.linux.x8) R 21641 21643 21280 0 -1 4202496 557631 0 0 0 178922 132 0 0 18 0 1 0 25866480 263909376 62536 4089446400 4194304 10345943 140736598197232 18446744073709551615 4287344 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21643/statm: 64431 62536 794 1502 0 62924 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (KiB) 257724

Child status: 0
Real time (s): 1790.54
CPU time (s): 1790.59
CPU user time (s): 1789.26
CPU system time (s): 1.3368
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1109912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.26
system time used= 1.3368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557637
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= 3
involuntary context switches= 16454

runsolver used 2.6286 second user time and 5.54716 second system time

The end

Launcher Data 

Begin job on node147 at 2010-07-08 10:09:02
IDJOB=2705224
IDBENCH=79080
IDSOLVER=1214
FILE ID=node147/2705224-1278576542
PBS_JOBID= 11240161
Free space on /tmp= 73812 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9039_3-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705224-1278576542/watcher-2705224-1278576542 -o /tmp/evaluation-result-2705224-1278576542/solver-2705224-1278576542 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705224-1278576542.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6b812e3bd45da6d63d6d9a24d1cd16b1
RANDOM SEED=1071258226

node147.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.821
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.64
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.821
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	: 5332.76
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.821
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.821
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.821
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.75
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.821
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.821
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.76
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.821
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29138660 kB
Buffers:        154772 kB
Cached:        1946684 kB
SwapCached:          0 kB
Active:        2398944 kB
Inactive:      1257920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29138660 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14408 kB
Writeback:           0 kB
AnonPages:     1555436 kB
Mapped:          17676 kB
Slab:            88576 kB
PageTables:       7616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1710740 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= 73800 MiB
End job on node147 at 2010-07-08 10:38:53