Trace number 2705249

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.33 1790.3

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
MD5SUM3da4f5c3e5e38abb2c08bf92ba94a43a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.73858
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9272
Total number of constraints29174
Number of soft constraints9967
Number of constraints which are clauses28874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint35
Top cost 504083
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 504082
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
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-2705249-1278576544.wbo>
0.19/0.23	c original problem has 29206 variables (19239 bin, 0 int, 9967 impl, 0 cont) and 39142 constraints
0.19/0.23	c problem read
0.19/0.23	c presolving settings loaded
0.49/0.57	c presolving:
0.69/0.75	c (round 1) 830 del vars, 2621 del conss, 513 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 347022 impls, 0 clqs
0.79/0.86	c (round 2) 2370 del vars, 7223 del conss, 1154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352388 impls, 0 clqs
0.89/0.96	c (round 3) 4903 del vars, 10943 del conss, 1532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 355187 impls, 0 clqs
1.00/1.04	c (round 4) 7409 del vars, 13260 del conss, 1771 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 356847 impls, 0 clqs
1.00/1.09	c (round 5) 8928 del vars, 14749 del conss, 1906 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 357680 impls, 0 clqs
1.10/1.12	c (round 6) 9888 del vars, 15601 del conss, 2001 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358197 impls, 0 clqs
1.10/1.15	c (round 7) 10493 del vars, 16154 del conss, 2057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358261 impls, 0 clqs
1.10/1.17	c (round 8) 10832 del vars, 16391 del conss, 2074 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358281 impls, 0 clqs
1.10/1.18	c (round 9) 11016 del vars, 16469 del conss, 2077 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358281 impls, 0 clqs
1.10/1.19	c (round 10) 11081 del vars, 16495 del conss, 2077 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358281 impls, 0 clqs
1.19/1.23	c (round 11) 11106 del vars, 16498 del conss, 8154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358281 impls, 0 clqs
1.19/1.24	c (round 12) 11111 del vars, 16500 del conss, 8154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 358281 impls, 0 clqs
1.29/1.35	c (round 13) 11111 del vars, 16500 del conss, 8154 chg bounds, 0 chg sides, 0 chg coeffs, 10855 upgd conss, 370323 impls, 0 clqs
7.09/7.14	c    (6.9s) probing: 1000/12018 (8.3%) - 39 fixings, 9 aggregations, 91852 implications, 8 bound changes
9.59/9.60	c (round 14) 11161 del vars, 16500 del conss, 8162 chg bounds, 0 chg sides, 2 chg coeffs, 10855 upgd conss, 783808 impls, 249 clqs
9.59/9.64	c (round 15) 11165 del vars, 16905 del conss, 8162 chg bounds, 0 chg sides, 10 chg coeffs, 10855 upgd conss, 783892 impls, 249 clqs
9.59/9.67	c (round 16) 11317 del vars, 17066 del conss, 8162 chg bounds, 0 chg sides, 10 chg coeffs, 10855 upgd conss, 783892 impls, 250 clqs
9.69/9.70	c (round 17) 11470 del vars, 17073 del conss, 8169 chg bounds, 0 chg sides, 10 chg coeffs, 10855 upgd conss, 783892 impls, 250 clqs
9.69/9.74	c (round 18) 11477 del vars, 17073 del conss, 8169 chg bounds, 0 chg sides, 10 chg coeffs, 10867 upgd conss, 783892 impls, 250 clqs
11.18/11.26	c    (11.0s) probing: 2000/12018 (16.6%) - 39 fixings, 11 aggregations, 110389 implications, 8 bound changes
13.78/13.84	c    (13.6s) probing: 3000/12018 (25.0%) - 39 fixings, 12 aggregations, 113825 implications, 8 bound changes
15.78/15.87	c    (15.6s) probing: 4000/12018 (33.3%) - 39 fixings, 12 aggregations, 114898 implications, 8 bound changes
16.18/16.25	c    (16.0s) probing: 4200/12018 (34.9%) - 39 fixings, 12 aggregations, 115041 implications, 8 bound changes
16.18/16.25	c    (16.0s) probing aborted: 2000/2000 successive useless probings
16.18/16.26	c presolving (19 rounds):
16.18/16.26	c  11478 deleted vars, 17073 deleted constraints, 8169 tightened bounds, 0 added holes, 0 changed sides, 10 changed coefficients
16.18/16.26	c  817406 implications, 250 cliques
16.18/16.26	c presolved problem has 17728 variables (11804 bin, 0 int, 5924 impl, 0 cont) and 22069 constraints
16.18/16.26	c     371 constraints of type <varbound>
16.18/16.26	c     188 constraints of type <knapsack>
16.18/16.26	c    8365 constraints of type <setppc>
16.18/16.26	c    5551 constraints of type <linear>
16.18/16.26	c    5924 constraints of type <indicator>
16.18/16.26	c    1670 constraints of type <logicor>
16.18/16.26	c transformed objective value is always integral (scale: 1)
16.18/16.26	c Presolving Time: 15.93
16.18/16.26	c - non default parameters ----------------------------------------------------------------------
16.18/16.26	c # SCIP version 1.2.1.3
16.18/16.26	c 
16.18/16.26	c # frequency for displaying node information lines
16.18/16.26	c # [type: int, range: [-1,2147483647], default: 100]
16.18/16.26	c display/freq = 10000
16.18/16.26	c 
16.18/16.26	c # maximal time in seconds to run
16.18/16.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.26	c limits/time = 1789.77
16.18/16.26	c 
16.18/16.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.18/16.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.26	c limits/memory = 3420
16.18/16.26	c 
16.18/16.26	c # default clock type (1: CPU user seconds, 2: wall clock time)
16.18/16.26	c # [type: int, range: [1,2], default: 1]
16.18/16.26	c timing/clocktype = 2
16.18/16.26	c 
16.18/16.26	c # should presolving try to simplify inequalities
16.18/16.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.26	c constraints/linear/simplifyinequalities = TRUE
16.18/16.26	c 
16.18/16.26	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.18/16.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.26	c constraints/indicator/addCouplingCons = TRUE
16.18/16.26	c 
16.18/16.26	c # should presolving try to simplify knapsacks
16.18/16.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.26	c constraints/knapsack/simplifyinequalities = TRUE
16.18/16.26	c 
16.18/16.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.18/16.26	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.26	c separating/rapidlearning/freq = 0
16.18/16.26	c 
16.18/16.26	c -----------------------------------------------------------------------------------------------
16.18/16.26	c start solving
16.18/16.26	c 
16.29/16.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.29/16.39	c  16.2s|     1 |     0 |  1166 |     - | 116M|   0 | 947 |  17k|  22k|  17k|  10k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.39/18.46	c  18.2s|     1 |     0 |  3059 |     - | 118M|   0 |1385 |  17k|  22k|  17k|  12k|2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.89/20.99	c  20.8s|     1 |     0 |  4520 |     - | 120M|   0 |1363 |  17k|  22k|  17k|  12k|2614 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.29/24.36	c  24.1s|     1 |     0 |  6590 |     - | 123M|   0 |1859 |  17k|  22k|  17k|  13k|3023 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
34.89/34.92	c  34.7s|     1 |     0 | 10300 |     - | 124M|   0 |2051 |  17k|  22k|  17k|  13k|3419 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
50.09/50.19	c  50.0s|     1 |     0 | 14965 |     - | 124M|   0 |2086 |  17k|  22k|  17k|  14k|3820 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
68.59/68.68	c  68.4s|     1 |     0 | 21720 |     - | 125M|   0 |2412 |  17k|  22k|  17k|  14k|4244 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
95.49/95.50	c  95.3s|     1 |     2 | 21720 |     - | 125M|   0 |2412 |  17k|  22k|  17k|  14k|4244 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
1548.72/1548.73	c  1548s| 10000 | 10002 |834334 |  81.3 | 213M| 265 |  48 |  17k|  22k|  17k|  12k|  24k|  25 |4186 | 0.000000e+00 |      --      |    Inf 
1790.02/1790.01	c 
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time (sec) : 1789.78
1790.02/1790.01	c Solving Nodes      : 13515
1790.02/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.02/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.02/1790.01	c Gap                : infinite
1790.02/1790.01	s UNKNOWN
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time       :    1789.78
1790.02/1790.01	c Original Problem   :
1790.02/1790.01	c   Problem name     : HOME/instance-2705249-1278576544.wbo
1790.02/1790.01	c   Variables        : 29206 (19239 binary, 0 integer, 9967 implicit integer, 0 continuous)
1790.02/1790.01	c   Constraints      : 39142 initial, 39142 maximal
1790.02/1790.01	c Presolved Problem  :
1790.02/1790.01	c   Problem name     : t_HOME/instance-2705249-1278576544.wbo
1790.02/1790.01	c   Variables        : 17728 (11804 binary, 0 integer, 5924 implicit integer, 0 continuous)
1790.02/1790.01	c   Constraints      : 22069 initial, 22116 maximal
1790.02/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.01	c   trivial          :       0.03         99          0          0          0          0          0          0          0
1790.02/1790.01	c   dualfix          :       0.04       8565          0          0          0          0          0          0          0
1790.02/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   implics          :       0.03          0          3          0          0          0          0          0          0
1790.02/1790.01	c   probing          :      14.68         39         12          0          8          0          0          0          0
1790.02/1790.01	c   varbound         :       0.00          0          0          0          0          0          6          0          0
1790.02/1790.01	c   knapsack         :       0.05          0          0          0          0          0          0          0         10
1790.02/1790.01	c   setppc           :       0.04          0          0          0          0          0        263          0          0
1790.02/1790.01	c   linear           :       0.56       1980        780          0       8161          0      12757          0          0
1790.02/1790.01	c   indicator        :       0.17          0          0          0          0          0       4043          0          0
1790.02/1790.01	c   logicor          :       0.05          0          0          0          0          0          4          0          0
1790.02/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.02/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.01	c   integral         :          0          0          0      14324          0          0         15          0          0      25522
1790.02/1790.01	c   varbound         :        371          6      91775       1554          0          0       1437        642          0          0
1790.02/1790.01	c   knapsack         :        188          6      91775       1174          0          4      58487        676          0          0
1790.02/1790.01	c   setppc           :       8365          6      91771       1174          0         10      92943          0          0          0
1790.02/1790.01	c   linear           :       5551          6      91761       1174          0          0      15659      25027          0          0
1790.02/1790.01	c   indicator        :       5924          0      91761       1554          0          0      16380          0          0          0
1790.02/1790.01	c   logicor          :       1670+         6      47034        748          0          4      19019          0          0          0
1790.02/1790.01	c   countsols        :          0          0          0        748          0          0          0          0          0          0
1790.02/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.01	c   integral         :     534.20       0.00       0.00     534.20       0.00
1790.02/1790.01	c   varbound         :       0.97       0.00       0.92       0.05       0.00
1790.02/1790.01	c   knapsack         :       1.18       0.01       1.15       0.02       0.00
1790.02/1790.01	c   setppc           :      11.31       0.00      11.17       0.14       0.00
1790.02/1790.01	c   linear           :       7.72       0.01       6.97       0.74       0.00
1790.02/1790.01	c   indicator        :      29.38       0.00      27.11       2.27       0.00
1790.02/1790.01	c   logicor          :       0.34       0.00       0.29       0.05       0.00
1790.02/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.02/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.01	c   vbounds          :       0.15       3196          0          0
1790.02/1790.01	c   rootredcost      :       0.03          0          0          0
1790.02/1790.01	c   pseudoobj        :      11.77      75653          0          0
1790.02/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.01	c   propagation      :       0.00          9          9          9        4.7          2        3.0          -
1790.02/1790.01	c   infeasible LP    :       0.07         24         24         49       14.7          0        0.0          0
1790.02/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.01	c   applied globally :          -          -          -         54       12.2          -          -          -
1790.02/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.01	c   cut pool         :       0.00          5          -          -        234          -    (maximal pool size: 3871)
1790.02/1790.01	c   redcost          :      11.81      14326          0          0          0          0
1790.02/1790.01	c   impliedbounds    :       0.03          6          0          0       2643          0
1790.02/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.01	c   gomory           :      10.84          6          0          0       2292          0
1790.02/1790.01	c   strongcg         :      11.51          6          0          0       2605          0
1790.02/1790.01	c   cmir             :       0.69          6          0          0          0          0
1790.02/1790.01	c   flowcover        :       2.20          6          0          0        841          0
1790.02/1790.01	c   clique           :       1.16          6          0          0         38          0
1790.02/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.01	c   mcf              :       0.02          1          0          0          0          0
1790.02/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1790.02/1790.01	c Pricers            :       Time      Calls       Vars
1790.02/1790.01	c   problem variables:       0.00          0          0
1790.02/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.01	c   relpscost        :     534.18      12770          0         15          0          0      25522
1790.02/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   inference        :       2.48        748          0          0          0          0       1501
1790.02/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.01	c   LP solutions     :       0.00          -          0
1790.02/1790.01	c   pseudo solutions :       0.00          -          0
1790.02/1790.01	c   oneopt           :       0.02          0          0
1790.02/1790.01	c   crossover        :       0.01          0          0
1790.02/1790.01	c   guideddiving     :       0.00          0          0
1790.02/1790.01	c   intshifting      :       0.00          0          0
1790.02/1790.01	c   rootsoldiving    :       6.01          4          0
1790.02/1790.01	c   objpscostdiving  :      47.63          5          0
1790.02/1790.01	c   pscostdiving     :      66.03         24          0
1790.02/1790.01	c   veclendiving     :      46.82         25          0
1790.02/1790.01	c   coefdiving       :      96.81         25          0
1790.02/1790.01	c   linesearchdiving :      56.81         31          0
1790.02/1790.01	c   feaspump         :       2.21         17          0
1790.02/1790.01	c   fracdiving       :      67.62         38          0
1790.02/1790.01	c   trivial          :       0.22          2          0
1790.02/1790.01	c   simplerounding   :       0.04      12252          0
1790.02/1790.01	c   zirounding       :       0.56       1000          0
1790.02/1790.01	c   rounding         :       1.11       1521          0
1790.02/1790.01	c   shifting         :       3.48        499          0
1790.02/1790.01	c   twoopt           :       0.00          0          0
1790.02/1790.01	c   fixandinfer      :       0.00          0          0
1790.02/1790.01	c   intdiving        :       0.00          0          0
1790.02/1790.01	c   actconsdiving    :       0.00          0          0
1790.02/1790.01	c   octane           :       0.00          0          0
1790.02/1790.01	c   rens             :       0.30          1          0
1790.02/1790.01	c   rins             :       0.00          0          0
1790.02/1790.01	c   localbranching   :       0.00          0          0
1790.02/1790.01	c   mutation         :       0.00          0          0
1790.02/1790.01	c   dins             :       0.00          0          0
1790.02/1790.01	c   undercover       :       0.00          0          0
1790.02/1790.01	c   nlp              :       0.00          0          0
1790.02/1790.01	c   trysol           :       0.45         36          0
1790.02/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.01	c   primal LP        :       0.01          0          0       0.00       0.00
1790.02/1790.01	c   dual LP          :     719.31      13212     712856      53.96     991.03
1790.02/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.01	c   diving/probing LP:     321.39      13928     269525      19.35     838.62
1790.02/1790.01	c   strong branching :     533.13       5270     473246      89.80     887.67
1790.02/1790.01	c     (at root node) :          -         17      17000    1000.00          -
1790.02/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.01	c B&B Tree           :
1790.02/1790.01	c   number of runs   :          1
1790.02/1790.01	c   nodes            :      13515
1790.02/1790.01	c   nodes (total)    :      13515
1790.02/1790.01	c   nodes left       :      13509
1790.02/1790.01	c   max depth        :        265
1790.02/1790.01	c   max depth (total):        265
1790.02/1790.01	c   backtracks       :        211 (1.6%)
1790.02/1790.01	c   delayed cutoffs  :          0
1790.02/1790.01	c   repropagations   :        100 (15 domain reductions, 0 cutoffs)
1790.02/1790.01	c   avg switch length:       2.30
1790.02/1790.01	c   switching time   :       4.48
1790.02/1790.01	c Solution           :
1790.02/1790.01	c   Solutions found  :          0 (0 improvements)
1790.02/1790.01	c   Primal Bound     :          -
1790.02/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.02/1790.01	c   Gap              :   infinite
1790.02/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.02/1790.01	c   Root Iterations  :      21720
1790.22/1790.29	c Time complete: 1790.32.

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-2705249-1278576544/watcher-2705249-1278576544 -o /tmp/evaluation-result-2705249-1278576544/solver-2705249-1278576544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705249-1278576544.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/176 21224
/proc/meminfo: memFree=28761124/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=12340 CPUtime=0
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 1948 0 0 0 0 0 0 0 21 0 1 0 25868146 12636160 1866 4089446400 4194304 10345943 140734118144896 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21224/statm: 3085 1867 429 1502 0 1578 0

[startup+0.0161881 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21224
/proc/meminfo: memFree=28761124/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=15756 CPUtime=0.01
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 2772 0 0 0 1 0 0 0 21 0 1 0 25868146 16134144 2690 4089446400 4194304 10345943 140734118144896 18446744073709551615 6328674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21224/statm: 3939 2691 429 1502 0 2432 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15756

[startup+0.101173 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21224
/proc/meminfo: memFree=28761124/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=31948 CPUtime=0.09
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 6853 0 0 0 8 1 0 0 24 0 1 0 25868146 32714752 6771 4089446400 4194304 10345943 140734118144896 18446744073709551615 4423932 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21224/statm: 7987 6771 430 1502 0 6480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31948

[startup+0.301132 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21224
/proc/meminfo: memFree=28761124/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=99784 CPUtime=0.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 24094 0 0 0 26 3 0 0 25 0 1 0 25868146 102178816 23622 4089446400 4194304 10345943 140734118144896 18446744073709551615 6070280 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21224/statm: 24946 23622 478 1502 0 23439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99784

[startup+0.701073 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21224
/proc/meminfo: memFree=28761124/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=132432 CPUtime=0.69
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 31556 0 0 0 65 4 0 0 25 0 1 0 25868146 135610368 31084 4089446400 4194304 10345943 140734118144896 18446744073709551615 6080379 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21224/statm: 33108 31084 542 1502 0 31601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132432

[startup+1.50094 s]
/proc/loadavg: 2.00 2.00 1.91 2/175 21226
/proc/meminfo: memFree=29508408/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=145156 CPUtime=1.49
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 34919 0 0 0 145 4 0 0 25 0 1 0 25868146 148639744 34402 4089446400 4194304 10345943 140734118144896 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21224/statm: 36289 34402 586 1502 0 34782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145156

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 21243
/proc/meminfo: memFree=29512152/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=149852 CPUtime=3.09
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 36007 0 0 0 305 4 0 0 25 0 1 0 25868146 153448448 35489 4089446400 4194304 10345943 140734118144896 18446744073709551615 4881978 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21224/statm: 37463 35489 585 1502 0 35956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149852

[startup+6.30112 s]
/proc/loadavg: 2.16 2.03 1.92 2/172 21245
/proc/meminfo: memFree=29505664/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=155752 CPUtime=6.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 37438 0 0 0 625 4 0 0 25 0 1 0 25868146 159490048 36920 4089446400 4194304 10345943 140734118144896 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21224/statm: 38938 36920 585 1502 0 37431 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155752

[startup+12.701 s]
/proc/loadavg: 2.31 2.07 1.93 3/177 21253
/proc/meminfo: memFree=29045716/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=160944 CPUtime=12.69
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 38800 0 0 0 1265 4 0 0 25 0 1 0 25868146 164806656 38282 4089446400 4194304 10345943 140734118144896 18446744073709551615 5609573 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21224/statm: 40236 38282 590 1502 0 38729 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160944

[startup+25.5009 s]
/proc/loadavg: 2.24 2.06 1.93 3/177 21254
/proc/meminfo: memFree=29001224/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=211552 CPUtime=25.49
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 50548 0 0 0 2543 6 0 0 25 0 1 0 25868146 216629248 50007 4089446400 4194304 10345943 140734118144896 18446744073709551615 6202710 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21224/statm: 52888 50007 758 1502 0 51381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 211552

[startup+51.1005 s]
/proc/loadavg: 2.16 2.06 1.93 3/177 21254
/proc/meminfo: memFree=28998600/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=218244 CPUtime=51.09
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 59412 0 0 0 5100 9 0 0 25 0 1 0 25868146 223481856 50637 4089446400 4194304 10345943 140734118144896 18446744073709551615 6197823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 54561 50637 758 1502 0 53054 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 218244

[startup+102.307 s]
/proc/loadavg: 2.11 2.06 1.94 3/177 21256
/proc/meminfo: memFree=28640444/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=230432 CPUtime=102.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 97165 0 0 0 10210 20 0 0 25 0 1 0 25868146 235962368 52015 4089446400 4194304 10345943 140734118144896 18446744073709551615 6566415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 57608 52015 785 1502 0 56101 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 230432

[startup+162.301 s]
/proc/loadavg: 2.04 2.05 1.94 3/177 21257
/proc/meminfo: memFree=28635148/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=228556 CPUtime=162.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 114308 0 0 0 16203 26 0 0 25 0 1 0 25868146 234041344 53335 4089446400 4194304 10345943 140734118144896 18446744073709551615 6345888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 57139 53335 786 1502 0 55632 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 228556

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 1.94 3/177 21258
/proc/meminfo: memFree=28641688/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=227188 CPUtime=222.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 118547 0 0 0 22197 32 0 0 25 0 1 0 25868146 232640512 51788 4089446400 4194304 10345943 140734118144896 18446744073709551615 6566340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 56797 51788 786 1502 0 55290 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 227188

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/177 21260
/proc/meminfo: memFree=28642408/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=215036 CPUtime=282.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 130377 0 0 0 28192 37 0 0 25 0 1 0 25868146 220196864 51402 4089446400 4194304 10345943 140734118144896 18446744073709551615 6882409 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 53759 51402 786 1502 0 52252 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 215036

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 21262
/proc/meminfo: memFree=28636436/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=223492 CPUtime=342.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 132066 0 0 0 34188 42 0 0 25 0 1 0 25868146 228855808 52831 4089446400 4194304 10345943 140734118144896 18446744073709551615 7598588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 55873 52831 787 1502 0 54366 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 223492

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 21264
/proc/meminfo: memFree=28635784/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=222248 CPUtime=402.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 134014 0 0 0 40183 46 0 0 25 0 1 0 25868146 227581952 52980 4089446400 4194304 10345943 140734118144896 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 55562 52980 790 1502 0 54055 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 222248

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 21265
/proc/meminfo: memFree=28635016/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=225696 CPUtime=462.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 137941 0 0 0 46178 52 0 0 25 0 1 0 25868146 231112704 53349 4089446400 4194304 10345943 140734118144896 18446744073709551615 6345989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 56424 53349 790 1502 0 54917 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225696

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21266
/proc/meminfo: memFree=28633372/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=224440 CPUtime=522.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 142864 0 0 0 52172 58 0 0 25 0 1 0 25868146 229826560 53587 4089446400 4194304 10345943 140734118144896 18446744073709551615 5210289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 56110 53587 790 1502 0 54603 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 224440

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21268
/proc/meminfo: memFree=28630364/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=228972 CPUtime=582.29
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 146591 0 0 0 58167 62 0 0 25 0 1 0 25868146 234467328 54437 4089446400 4194304 10345943 140734118144896 18446744073709551615 7590504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 57243 54437 790 1502 0 55736 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 228972

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21270
/proc/meminfo: memFree=28631952/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=229008 CPUtime=642.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 154116 0 0 0 64162 68 0 0 25 0 1 0 25868146 234504192 54076 4089446400 4194304 10345943 140734118144896 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 57252 54076 790 1502 0 55745 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 229008

[startup+702.3 s]

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

/proc/meminfo: memFree=28615288/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=241952 CPUtime=1062.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 281216 0 0 0 106113 118 0 0 25 0 1 0 25868146 247758848 57537 4089446400 4194304 10345943 140734118144896 18446744073709551615 4696483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 60488 57537 793 1502 0 58981 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 241952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21285
/proc/meminfo: memFree=28606580/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=254320 CPUtime=1122.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 340030 0 0 0 112100 131 0 0 25 0 1 0 25868146 260423680 59871 4089446400 4194304 10345943 140734118144896 18446744073709551615 9138274 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 63580 59871 793 1502 0 62073 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 254320

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21287
/proc/meminfo: memFree=28596756/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=260736 CPUtime=1182.3
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 359113 0 0 0 118092 138 0 0 25 0 1 0 25868146 266993664 62229 4089446400 4194304 10345943 140734118144896 18446744073709551615 8160361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 65184 62229 793 1502 0 63677 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 260736

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 21289
/proc/meminfo: memFree=28585436/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=273968 CPUtime=1242.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 380893 0 0 0 124084 147 0 0 25 0 1 0 25868146 280543232 64927 4089446400 4194304 10345943 140734118144896 18446744073709551615 6346028 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 68492 64927 793 1502 0 66985 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 273968

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 21291
/proc/meminfo: memFree=28567052/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=282652 CPUtime=1302.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 392860 0 0 0 130078 153 0 0 25 0 1 0 25868146 289435648 65135 4089446400 4194304 10345943 140734118144896 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 70663 65135 793 1502 0 69156 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 282652

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 21292
/proc/meminfo: memFree=28547312/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=287324 CPUtime=1362.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 416484 0 0 0 136070 161 0 0 25 0 1 0 25868146 294219776 66986 4089446400 4194304 10345943 140734118144896 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 71831 66986 793 1502 0 70324 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 287324

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 21293
/proc/meminfo: memFree=28530304/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=295128 CPUtime=1422.32
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 444926 0 0 0 142062 170 0 0 25 0 1 0 25868146 302211072 68203 4089446400 4194304 10345943 140734118144896 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 73782 68203 793 1502 0 72275 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 295128

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 21295
/proc/meminfo: memFree=28507844/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=285804 CPUtime=1482.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 492663 0 0 0 148048 183 0 0 25 0 1 0 25868146 292663296 68333 4089446400 4194304 10345943 140734118144896 18446744073709551615 7569508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 71451 68333 793 1502 0 69944 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 285804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21297
/proc/meminfo: memFree=28476456/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=302204 CPUtime=1542.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 590878 0 0 0 154029 202 0 0 25 0 1 0 25868146 309456896 72558 4089446400 4194304 10345943 140734118144896 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 75551 72558 793 1502 0 74044 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 302204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21299
/proc/meminfo: memFree=28451376/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=317208 CPUtime=1602.31
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 644122 0 0 0 160016 215 0 0 25 0 1 0 25868146 324820992 76049 4089446400 4194304 10345943 140734118144896 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 79302 76049 793 1502 0 77795 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 317208

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21300
/proc/meminfo: memFree=28435228/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=331780 CPUtime=1662.32
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 673781 0 0 0 166007 225 0 0 25 0 1 0 25868146 339742720 76929 4089446400 4194304 10345943 140734118144896 18446744073709551615 6878062 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 82945 76929 793 1502 0 81438 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 331780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21301
/proc/meminfo: memFree=28414492/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=328232 CPUtime=1722.32
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 716345 0 0 0 171993 239 0 0 25 0 1 0 25868146 336109568 78221 4089446400 4194304 10345943 140734118144896 18446744073709551615 6880281 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 82058 78221 793 1502 0 80551 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 328232

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28395368/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=333784 CPUtime=1782.32
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 770982 0 0 0 177978 254 0 0 25 0 1 0 25868146 341794816 80426 4089446400 4194304 10345943 140734118144896 18446744073709551615 6518592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 83446 80426 793 1502 0 81939 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 333784

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28393136/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=337116 CPUtime=1785.52
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 777685 0 0 0 178297 255 0 0 25 0 1 0 25868146 345206784 81088 4089446400 4194304 10345943 140734118144896 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 84279 81088 793 1502 0 82772 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 337116

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28389664/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=338308 CPUtime=1788.72
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 782210 0 0 0 178616 256 0 0 25 0 1 0 25868146 346427392 81338 4089446400 4194304 10345943 140734118144896 18446744073709551615 4701012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 84577 81338 793 1502 0 83070 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 338308

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28389664/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=343752 CPUtime=1789.52
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 782821 0 0 0 178696 256 0 0 25 0 1 0 25868146 352002048 81302 4089446400 4194304 10345943 140734118144896 18446744073709551615 6702904 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 85938 81302 793 1502 0 84431 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 343752

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28385076/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=346268 CPUtime=1789.92
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 783585 0 0 0 178736 256 0 0 25 0 1 0 25868146 354578432 81940 4089446400 4194304 10345943 140734118144896 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21224/statm: 86567 81940 793 1502 0 85060 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 346268

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28385076/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=342024 CPUtime=1790.12
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 784231 0 0 0 178756 256 0 0 25 0 1 0 25868146 350232576 81183 4089446400 4194304 10345943 140734118144896 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21224/statm: 85506 81183 794 1502 0 83999 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 342024

[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21303
/proc/meminfo: memFree=28385076/32951132 swapFree=67111528/67111528
[pid=21224] ppid=21222 vsize=342024 CPUtime=1790.22
/proc/21224/stat : 21224 (pbscip.linux.x8) R 21222 21224 20846 0 -1 4202496 784231 0 0 0 178766 256 0 0 25 0 1 0 25868146 350232576 81183 4089446400 4194304 10345943 140734118144896 18446744073709551615 6325550 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21224/statm: 85506 81183 794 1502 0 83999 0
Current children cumulated CPU time (s) 1790.22
Current children cumulated vsize (KiB) 342024

Child status: 0
Real time (s): 1790.3
CPU time (s): 1790.33
CPU user time (s): 1787.75
CPU system time (s): 2.58061
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 346700

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

runsolver used 3.2515 second user time and 6.40902 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-08 10:09:04
IDJOB=2705249
IDBENCH=79087
IDSOLVER=1214
FILE ID=node129/2705249-1278576544
PBS_JOBID= 11240195
Free space on /tmp= 73776 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/j60/normalized-j605_1-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-2705249-1278576544/watcher-2705249-1278576544 -o /tmp/evaluation-result-2705249-1278576544/solver-2705249-1278576544 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705249-1278576544.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3da4f5c3e5e38abb2c08bf92ba94a43a
RANDOM SEED=1752006390

node129.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.836
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.67
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.836
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.83
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.836
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.836
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.836
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	: 5311.72
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.836
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.82
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.836
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.836
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28761652 kB
Buffers:        154208 kB
Cached:        2942400 kB
SwapCached:          0 kB
Active:        2138948 kB
Inactive:      1896400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28761652 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13636 kB
Writeback:           0 kB
AnonPages:      938128 kB
Mapped:          18008 kB
Slab:            90268 kB
PageTables:       6384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1085832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node129 at 2010-07-08 10:38:55