Trace number 2705210

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.43 1790.38

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
MD5SUM0541e9779bfbef683d2818db74c4cdd4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.023995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2728
Total number of constraints8382
Number of soft constraints5630
Number of constraints which are clauses8210
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints172
Minimum length of a constraint1
Maximum length of a constraint17
Top cost 280780
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 280779
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 143
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-2705210-1278576540.wbo>
0.03/0.08	c original problem has 13988 variables (8358 bin, 0 int, 5630 impl, 0 cont) and 14013 constraints
0.03/0.08	c problem read
0.03/0.08	c presolving settings loaded
0.19/0.20	c presolving:
0.19/0.23	c (round 1) 150 del vars, 399 del conss, 84 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12104 impls, 0 clqs
0.19/0.24	c (round 2) 440 del vars, 1197 del conss, 134 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12196 impls, 0 clqs
0.19/0.25	c (round 3) 1049 del vars, 1730 del conss, 153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12208 impls, 0 clqs
0.19/0.26	c (round 4) 1562 del vars, 2020 del conss, 163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12210 impls, 0 clqs
0.19/0.27	c (round 5) 1781 del vars, 2215 del conss, 163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12210 impls, 0 clqs
0.19/0.28	c (round 6) 1959 del vars, 2268 del conss, 4955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12210 impls, 0 clqs
0.29/0.31	c (round 7) 2012 del vars, 2268 del conss, 4955 chg bounds, 0 chg sides, 0 chg coeffs, 2356 upgd conss, 12210 impls, 0 clqs
0.99/1.10	c    (1.0s) probing: 921/7184 (12.8%) - 0 fixings, 0 aggregations, 671 implications, 0 bound changes
0.99/1.10	c    (1.0s) probing aborted: 100/100 successive totally useless probings
0.99/1.10	c presolving (8 rounds):
0.99/1.10	c  2012 deleted vars, 2268 deleted constraints, 4955 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.10	c  25765 implications, 0 cliques
0.99/1.10	c presolved problem has 11976 variables (7184 bin, 0 int, 4792 impl, 0 cont) and 11745 constraints
0.99/1.10	c     195 constraints of type <varbound>
0.99/1.10	c      51 constraints of type <knapsack>
0.99/1.10	c    1781 constraints of type <setppc>
0.99/1.10	c    4597 constraints of type <linear>
0.99/1.10	c    4792 constraints of type <indicator>
0.99/1.10	c     329 constraints of type <logicor>
0.99/1.10	c transformed objective value is always integral (scale: 1)
0.99/1.10	c Presolving Time: 0.98
0.99/1.10	c - non default parameters ----------------------------------------------------------------------
0.99/1.10	c # SCIP version 1.2.1.3
0.99/1.10	c 
0.99/1.10	c # frequency for displaying node information lines
0.99/1.10	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.10	c display/freq = 10000
0.99/1.10	c 
0.99/1.10	c # maximal time in seconds to run
0.99/1.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.10	c limits/time = 1789.93
0.99/1.10	c 
0.99/1.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.10	c limits/memory = 3420
0.99/1.10	c 
0.99/1.10	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.10	c # [type: int, range: [1,2], default: 1]
0.99/1.10	c timing/clocktype = 2
0.99/1.10	c 
0.99/1.10	c # should presolving try to simplify inequalities
0.99/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.10	c constraints/linear/simplifyinequalities = TRUE
0.99/1.10	c 
0.99/1.10	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.99/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.10	c constraints/indicator/addCouplingCons = TRUE
0.99/1.10	c 
0.99/1.10	c # should presolving try to simplify knapsacks
0.99/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.10	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.10	c 
0.99/1.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.10	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.10	c separating/rapidlearning/freq = 0
0.99/1.10	c 
0.99/1.10	c -----------------------------------------------------------------------------------------------
0.99/1.10	c start solving
0.99/1.10	c 
1.10/1.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.10/1.12	c   1.0s|     1 |     0 |     0 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2161 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.13	c   1.1s|     1 |     0 |   326 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2337 | 176 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.14	c   1.1s|     1 |     0 |   590 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2540 | 379 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.16	c   1.1s|     1 |     0 |   782 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2741 | 580 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.18	c   1.1s|     1 |     0 |  1028 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2947 | 786 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.19	c   1.1s|     1 |     0 |  1155 |     - |  47M|   0 |  42 |  11k|  11k|  11k|3064 | 903 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.39/1.40	c   1.3s|     1 |     0 |  1301 |     - |  48M|   0 | 140 |  11k|  11k|  11k|3154 | 993 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.60	c   1.5s|     1 |     0 |  1389 |     - |  48M|   0 |  44 |  11k|  11k|  11k|3219 |1058 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.83	c   1.8s|     1 |     0 |  1491 |     - |  48M|   0 | 115 |  11k|  11k|  11k|3247 |1086 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.13	c   2.1s|     1 |     0 |  1595 |     - |  48M|   0 | 367 |  11k|  11k|  11k|3278 |1117 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.39/2.43	c   2.4s|     1 |     2 |  1595 |     - |  48M|   0 | 367 |  11k|  11k|  11k|3278 |1117 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
113.59/113.62	c   114s| 10000 | 10001 | 20229 |   1.9 |  94M|  89 |   0 |  11k|  11k|  11k|3322 |8785 |   0 |3433 | 0.000000e+00 |      --      |    Inf 
210.50/210.57	c   210s| 20000 | 20002 | 30498 |   1.4 | 139M|  99 |   0 |  11k|  11k|  11k|3297 |  13k|   0 |4176 | 0.000000e+00 |      --      |    Inf 
302.00/302.01	c   302s| 30000 | 30002 | 37396 |   1.2 | 184M| 121 |   0 |  11k|  11k|  11k|3323 |  15k|   0 |4689 | 0.000000e+00 |      --      |    Inf 
391.00/391.09	c   391s| 40000 | 40002 | 42400 |   1.0 | 228M| 121 |   0 |  11k|  11k|  11k|3317 |  17k|   0 |4734 | 0.000000e+00 |      --      |    Inf 
478.31/478.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
478.31/478.34	c   478s| 50000 | 50002 | 45557 |   0.9 | 273M| 139 |   0 |  11k|  11k|  11k|3348 |  18k|   0 |4916 | 0.000000e+00 |      --      |    Inf 
566.41/566.45	c   566s| 60000 | 60002 | 52948 |   0.9 | 317M| 141 |   0 |  11k|  11k|  11k|3370 |  21k|   0 |4992 | 0.000000e+00 |      --      |    Inf 
655.71/655.78	c   656s| 70000 | 70002 | 59694 |   0.8 | 362M| 145 |   0 |  11k|  11k|  11k|3359 |  24k|   0 |5129 | 0.000000e+00 |      --      |    Inf 
743.62/743.62	c   744s| 80000 | 80002 | 66284 |   0.8 | 407M| 145 |   0 |  11k|  11k|  11k|3340 |  27k|   0 |5257 | 0.000000e+00 |      --      |    Inf 
831.52/831.55	c   831s| 90000 | 90002 | 73011 |   0.8 | 451M| 145 |   0 |  11k|  11k|  11k|3365 |  29k|   0 |5524 | 0.000000e+00 |      --      |    Inf 
917.92/917.95	c   918s|100000 |100002 | 77659 |   0.8 | 496M| 173 |   0 |  11k|  11k|  11k|3388 |  30k|   0 |5601 | 0.000000e+00 |      --      |    Inf 
1003.72/1003.73	c  1004s|110000 |110002 | 80798 |   0.7 | 540M| 177 |   0 |  11k|  11k|  11k|3323 |  32k|   0 |5749 | 0.000000e+00 |      --      |    Inf 
1088.52/1088.59	c  1089s|120000 |120002 | 83219 |   0.7 | 585M| 177 |   0 |  11k|  11k|  11k|3374 |  32k|   0 |5785 | 0.000000e+00 |      --      |    Inf 
1173.43/1173.46	c  1173s|130000 |130002 | 86179 |   0.7 | 629M| 177 |   0 |  11k|  11k|  11k|3380 |  33k|   0 |5814 | 0.000000e+00 |      --      |    Inf 
1258.13/1258.19	c  1258s|140000 |140002 | 89144 |   0.6 | 674M| 177 |   0 |  11k|  11k|  11k|3314 |  34k|   0 |5827 | 0.000000e+00 |      --      |    Inf 
1344.43/1344.44	c  1344s|150000 |150002 | 93154 |   0.6 | 718M| 177 |   0 |  11k|  11k|  11k|3312 |  36k|   0 |5881 | 0.000000e+00 |      --      |    Inf 
1431.43/1431.41	c  1431s|160000 |160002 |100779 |   0.6 | 763M| 177 |   0 |  11k|  11k|  11k|3411 |  39k|   0 |5911 | 0.000000e+00 |      --      |    Inf 
1516.63/1516.64	c  1517s|170000 |170002 |103240 |   0.6 | 807M| 177 |   0 |  11k|  11k|  11k|3342 |  39k|   0 |5941 | 0.000000e+00 |      --      |    Inf 
1601.54/1601.51	c  1601s|180000 |180002 |105693 |   0.6 | 851M| 177 |   0 |  11k|  11k|  11k|3336 |  40k|   0 |5945 | 0.000000e+00 |      --      |    Inf 
1687.73/1687.79	c  1688s|190000 |190002 |110489 |   0.6 | 896M| 177 |   0 |  11k|  11k|  11k|3338 |  42k|   0 |6101 | 0.000000e+00 |      --      |    Inf 
1774.54/1774.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1774.54/1774.52	c  1774s|200000 |200002 |114839 |   0.6 | 940M| 177 |   0 |  11k|  11k|  11k|3316 |  44k|   0 |6220 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.01	c 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time (sec) : 1789.93
1790.04/1790.01	c Solving Nodes      : 201819
1790.04/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.01	s UNKNOWN
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.93
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705210-1278576540.wbo
1790.04/1790.01	c   Variables        : 13988 (8358 binary, 0 integer, 5630 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 14013 initial, 14013 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705210-1278576540.wbo
1790.04/1790.01	c   Variables        : 11976 (7184 binary, 0 integer, 4792 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 11745 initial, 11745 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.01       1763          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       0.77          0          0          0          0          0          0          0          0
1790.04/1790.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   linear           :       0.08        163         86          0       4955          0       1430          0          0
1790.04/1790.01	c   indicator        :       0.02          0          0          0          0          0        838          0          0
1790.04/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0     207967          0          0          0          0          0      14410
1790.04/1790.01	c   varbound         :        195          9     532226     200762          1          0      10319        193          0          0
1790.04/1790.01	c   knapsack         :         51          9     532226     200716          1          0       6293         14          0          0
1790.04/1790.01	c   setppc           :       1781          9     532226     200716          1          0     571131          0          0          0
1790.04/1790.01	c   linear           :       4597          9     532226     200716          1          0      19261      43967          0          0
1790.04/1790.01	c   indicator        :       4792          0     532226     200762          1          0      29829          0          0          0
1790.04/1790.01	c   logicor          :        329          9      49623     194613          1          0       7511          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0     194613          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      29.62       0.00       0.00      29.62       0.00
1790.04/1790.01	c   varbound         :       5.52       0.00       2.60       2.92       0.00
1790.04/1790.01	c   knapsack         :       1.81       0.00       1.07       0.75       0.00
1790.04/1790.01	c   setppc           :      32.75       0.00      17.77      14.98       0.00
1790.04/1790.01	c   linear           :     249.95       0.01      29.87     220.07       0.00
1790.04/1790.01	c   indicator        :     236.42       0.01      80.26     156.14       0.00
1790.04/1790.01	c   logicor          :       4.79       0.00       0.14       4.65       0.00
1790.04/1790.01	c   countsols        :       0.06       0.00       0.00       0.06       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.23       1038          0          0
1790.04/1790.01	c   rootredcost      :       0.19          0          0          0
1790.04/1790.01	c   pseudoobj        :      59.37     530121          0          0
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          3          -          -         12          -    (maximal pool size: 162)
1790.04/1790.01	c   redcost          :      69.96     207730          0          0          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          4          0          0         14          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.06          4          0          0        718          0
1790.04/1790.01	c   strongcg         :       0.06          4          0          0        754          0
1790.04/1790.01	c   cmir             :       0.14          4          0          0         15          0
1790.04/1790.01	c   flowcover        :       0.58          4          0          0         34          0
1790.04/1790.01	c   clique           :       0.01          4          0          0          0          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :      29.40       7205          0          0          0          0      14410
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :     403.62     194614          0          0          0          0     389229
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       0.00          -          0
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   oneopt           :       0.26          0          0
1790.04/1790.01	c   crossover        :       0.11          0          0
1790.04/1790.01	c   intshifting      :       0.00          0          0
1790.04/1790.01	c   guideddiving     :       0.00          0          0
1790.04/1790.01	c   feaspump         :       0.34          5          0
1790.04/1790.01	c   veclendiving     :      15.01       2498          0
1790.04/1790.01	c   linesearchdiving :      14.49       2498          0
1790.04/1790.01	c   coefdiving       :      14.27       2499          0
1790.04/1790.01	c   pscostdiving     :      14.21       2499          0
1790.04/1790.01	c   fracdiving       :      14.01       2499          0
1790.04/1790.01	c   objpscostdiving  :      15.14       2497          0
1790.04/1790.01	c   rootsoldiving    :      16.02       2497          0
1790.04/1790.01	c   trivial          :       0.08          2          0
1790.04/1790.01	c   simplerounding   :       0.19       7121          0
1790.04/1790.01	c   zirounding       :       0.38       1000          0
1790.04/1790.01	c   rounding         :       0.44       1146          0
1790.04/1790.01	c   shifting         :       0.49        351          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.08          1          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.09          0          0
1790.04/1790.01	c   trysol           :      13.40       2542          0
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     333.40      15473     115128       7.44     345.31
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       0.30         64        173       2.70     583.98
1790.04/1790.01	c   strong branching :      29.25       6220      40373       6.49    1380.51
1790.04/1790.01	c     (at root node) :          -         18        769      42.72          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :     201819
1790.04/1790.01	c   nodes (total)    :     201819
1790.04/1790.01	c   nodes left       :     201821
1790.04/1790.01	c   max depth        :        177
1790.04/1790.01	c   max depth (total):        177
1790.04/1790.01	c   backtracks       :       2505 (1.2%)
1790.04/1790.01	c   delayed cutoffs  :          0
1790.04/1790.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.04/1790.01	c   avg switch length:       2.21
1790.04/1790.01	c   switching time   :      23.27
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :          0 (0 improvements)
1790.04/1790.01	c   Primal Bound     :          -
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :       1595
1790.34/1790.37	c Time complete: 1790.41.

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-2705210-1278576540/watcher-2705210-1278576540 -o /tmp/evaluation-result-2705210-1278576540/solver-2705210-1278576540 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705210-1278576540.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 23465
/proc/meminfo: memFree=29572872/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=12512 CPUtime=0
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 1973 0 0 0 0 0 0 0 21 0 1 0 25867519 12812288 1891 4089446400 4194304 10345943 140733464919744 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23465/statm: 3128 1891 429 1502 0 1621 0

[startup+0.0412911 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23465
/proc/meminfo: memFree=29572872/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=23132 CPUtime=0.03
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 4636 0 0 0 3 0 0 0 21 0 1 0 25867519 23687168 4554 4089446400 4194304 10345943 140733464919744 18446744073709551615 9134653 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23465/statm: 5783 4554 430 1502 0 4276 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23132

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23465
/proc/meminfo: memFree=29572872/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=47168 CPUtime=0.09
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 11092 0 0 0 9 0 0 0 21 0 1 0 25867519 48300032 10629 4089446400 4194304 10345943 140733464919744 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 11792 10629 487 1502 0 10285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47168

[startup+0.300241 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23465
/proc/meminfo: memFree=29572872/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=65776 CPUtime=0.29
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 15357 0 0 0 28 1 0 0 21 0 1 0 25867519 67354624 14894 4089446400 4194304 10345943 140733464919744 18446744073709551615 5003461 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 16444 14894 557 1502 0 14937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65776

[startup+0.702172 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23465
/proc/meminfo: memFree=29572872/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=69268 CPUtime=0.69
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 16348 0 0 0 68 1 0 0 22 0 1 0 25867519 70930432 15846 4089446400 4194304 10345943 140733464919744 18446744073709551615 5609403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 17317 15846 605 1502 0 15810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69268

[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23466
/proc/meminfo: memFree=29511112/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=87832 CPUtime=1.49
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 20405 0 0 0 148 1 0 0 25 0 1 0 25867519 89939968 19882 4089446400 4194304 10345943 140733464919744 18446744073709551615 5852502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 21958 19882 763 1502 0 20451 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87832

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23466
/proc/meminfo: memFree=29495536/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=93300 CPUtime=3.09
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 31832 0 0 0 305 4 0 0 25 0 1 0 25867519 95539200 20872 4089446400 4194304 10345943 140733464919744 18446744073709551615 6551436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 23325 20872 792 1502 0 21818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93300

[startup+6.30017 s]
/proc/loadavg: 1.92 1.98 1.91 2/174 23483
/proc/meminfo: memFree=29604536/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=93680 CPUtime=6.29
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 43689 0 0 0 623 6 0 0 25 0 1 0 25867519 95928320 20868 4089446400 4194304 10345943 140733464919744 18446744073709551615 6520306 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 23420 20868 793 1502 0 21913 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93680

[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29401204/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=93836 CPUtime=12.69
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 77417 0 0 0 1256 13 0 0 25 0 1 0 25867519 96088064 21461 4089446400 4194304 10345943 140733464919744 18446744073709551615 4900873 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 23459 21461 794 1502 0 21952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93836

[startup+25.5008 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29356664/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=97220 CPUtime=25.49
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 135804 0 0 0 2527 22 0 0 25 0 1 0 25867519 99553280 22454 4089446400 4194304 10345943 140733464919744 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 24305 22454 794 1502 0 22798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97220

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29332152/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=109832 CPUtime=51.1
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 179545 0 0 0 5080 30 0 0 25 0 1 0 25867519 112467968 25705 4089446400 4194304 10345943 140733464919744 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 27458 25705 794 1502 0 25951 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 109832

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 23495
/proc/meminfo: memFree=29305484/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=132036 CPUtime=102.3
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 194032 0 0 0 10195 35 0 0 25 0 1 0 25867519 135204864 31153 4089446400 4194304 10345943 140733464919744 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 33009 31153 794 1502 0 31502 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 132036

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23497
/proc/meminfo: memFree=29268620/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=162140 CPUtime=162.3
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 206658 0 0 0 16191 39 0 0 25 0 1 0 25867519 166031360 38583 4089446400 4194304 10345943 140733464919744 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 40535 38583 794 1502 0 39028 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 162140

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23498
/proc/meminfo: memFree=29232596/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=193612 CPUtime=222.3
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 214548 0 0 0 22187 43 0 0 25 0 1 0 25867519 198258688 46089 4089446400 4194304 10345943 140733464919744 18446744073709551615 6551104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 48403 46089 794 1502 0 46896 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193612

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23500
/proc/meminfo: memFree=29190880/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=222456 CPUtime=282.29
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 223030 0 0 0 28182 47 0 0 25 0 1 0 25867519 227794944 53309 4089446400 4194304 10345943 140733464919744 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 55614 53309 794 1502 0 54107 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 222456

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23501
/proc/meminfo: memFree=29143216/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=250208 CPUtime=342.3
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 230152 0 0 0 34178 52 0 0 25 0 1 0 25867519 256212992 60387 4089446400 4194304 10345943 140733464919744 18446744073709551615 4454112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 62552 60387 794 1502 0 61045 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 250208

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23503
/proc/meminfo: memFree=29094072/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=280012 CPUtime=402.3
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 237876 0 0 0 40176 54 0 0 25 0 1 0 25867519 286732288 68040 4089446400 4194304 10345943 140733464919744 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 70003 68040 794 1502 0 68496 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 280012

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23505
/proc/meminfo: memFree=29042456/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=313288 CPUtime=462.31
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 246431 0 0 0 46171 60 0 0 25 0 1 0 25867519 320806912 76112 4089446400 4194304 10345943 140733464919744 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 78322 76112 794 1502 0 76815 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 313288

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23506
/proc/meminfo: memFree=28985496/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=342412 CPUtime=522.31
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 254043 0 0 0 52168 63 0 0 25 0 1 0 25867519 350629888 83724 4089446400 4194304 10345943 140733464919744 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 85603 83724 794 1502 0 84096 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 342412

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23511
/proc/meminfo: memFree=28936704/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=371292 CPUtime=582.31
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 261350 0 0 0 58164 67 0 0 25 0 1 0 25867519 380203008 90958 4089446400 4194304 10345943 140733464919744 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 92823 90958 794 1502 0 91316 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 371292

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23512
/proc/meminfo: memFree=28887876/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=406888 CPUtime=642.31
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 269978 0 0 0 64159 72 0 0 25 0 1 0 25867519 416653312 98259 4089446400 4194304 10345943 140733464919744 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 101722 98259 794 1502 0 100215 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 406888

[startup+702.301 s]

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

/proc/meminfo: memFree=28578616/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=584052 CPUtime=1002.32
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 324186 0 0 0 100133 99 0 0 25 0 1 0 25867519 598069248 143674 4089446400 4194304 10345943 140733464919744 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 146013 143674 794 1502 0 144506 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 584052

[startup+1062.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/179 23524
/proc/meminfo: memFree=28521404/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=616300 CPUtime=1062.31
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 332917 0 0 0 106128 103 0 0 25 0 1 0 25867519 631091200 151997 4089446400 4194304 10345943 140733464919744 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 154075 151997 794 1502 0 152568 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 616300

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 23525
/proc/meminfo: memFree=28467292/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=647620 CPUtime=1122.32
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 341462 0 0 0 112123 109 0 0 25 0 1 0 25867519 663162880 159833 4089446400 4194304 10345943 140733464919744 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 161905 159833 794 1502 0 160398 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 647620

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23527
/proc/meminfo: memFree=28410580/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=678216 CPUtime=1182.32
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 351252 0 0 0 118119 113 0 0 25 0 1 0 25867519 694493184 167687 4089446400 4194304 10345943 140733464919744 18446744073709551615 4601642 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 169554 167687 794 1502 0 168047 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 678216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23528
/proc/meminfo: memFree=28359080/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=708236 CPUtime=1242.32
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 359512 0 0 0 124116 116 0 0 25 0 1 0 25867519 725233664 175329 4089446400 4194304 10345943 140733464919744 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 177059 175329 794 1502 0 175552 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 708236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23530
/proc/meminfo: memFree=28309052/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=739860 CPUtime=1302.34
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 368057 0 0 0 130114 120 0 0 25 0 1 0 25867519 757616640 183057 4089446400 4194304 10345943 140733464919744 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 184965 183057 794 1502 0 183458 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 739860

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23532
/proc/meminfo: memFree=28253600/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=773812 CPUtime=1362.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 375811 0 0 0 136109 124 0 0 25 0 1 0 25867519 792383488 190725 4089446400 4194304 10345943 140733464919744 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 193453 190725 794 1502 0 191946 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 773812

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23534
/proc/meminfo: memFree=28193660/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=803140 CPUtime=1422.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 383616 0 0 0 142106 127 0 0 25 0 1 0 25867519 822415360 198512 4089446400 4194304 10345943 140733464919744 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 200785 198512 794 1502 0 199278 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 803140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23535
/proc/meminfo: memFree=28137204/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=832520 CPUtime=1482.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 391689 0 0 0 148103 130 0 0 25 0 1 0 25867519 852500480 205872 4089446400 4194304 10345943 140733464919744 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 208130 205872 794 1502 0 206623 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 832520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23536
/proc/meminfo: memFree=28082368/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=863744 CPUtime=1542.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 399868 0 0 0 154099 134 0 0 25 0 1 0 25867519 884473856 214051 4089446400 4194304 10345943 140733464919744 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 215936 214051 794 1502 0 214429 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 863744

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23538
/proc/meminfo: memFree=28030628/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=893224 CPUtime=1602.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 406983 0 0 0 160094 139 0 0 25 0 1 0 25867519 914661376 221073 4089446400 4194304 10345943 140733464919744 18446744073709551615 5614752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 223306 221073 794 1502 0 221799 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 893224

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 23540
/proc/meminfo: memFree=27977288/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=924316 CPUtime=1662.34
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 415653 0 0 0 166090 144 0 0 25 0 1 0 25867519 946499584 228968 4089446400 4194304 10345943 140733464919744 18446744073709551615 4966184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 231079 228968 794 1502 0 229572 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 924316

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 23541
/proc/meminfo: memFree=27928020/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=954092 CPUtime=1722.34
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 423462 0 0 0 172086 148 0 0 25 0 1 0 25867519 976990208 236296 4089446400 4194304 10345943 140733464919744 18446744073709551615 4966190 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 238523 236296 794 1502 0 237016 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 954092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27868452/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=990684 CPUtime=1782.33
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 431630 0 0 0 178081 152 0 0 25 0 1 0 25867519 1014460416 244464 4089446400 4194304 10345943 140733464919744 18446744073709551615 4999613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 247671 244464 794 1502 0 246164 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 990684

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27865476/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=993304 CPUtime=1785.54
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 431947 0 0 0 178401 153 0 0 25 0 1 0 25867519 1017143296 244781 4089446400 4194304 10345943 140733464919744 18446744073709551615 8933813 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 248326 244781 794 1502 0 246819 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 993304

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27862376/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=994324 CPUtime=1788.74
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 432446 0 0 0 178721 153 0 0 25 0 1 0 25867519 1018187776 245280 4089446400 4194304 10345943 140733464919744 18446744073709551615 6865876 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 248581 245280 794 1502 0 247074 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 994324

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27862376/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=994324 CPUtime=1789.54
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 432449 0 0 0 178801 153 0 0 25 0 1 0 25867519 1018187776 245283 4089446400 4194304 10345943 140733464919744 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 248581 245283 794 1502 0 247074 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 994324

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27861868/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=994324 CPUtime=1789.94
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 432449 0 0 0 178841 153 0 0 25 0 1 0 25867519 1018187776 245283 4089446400 4194304 10345943 140733464919744 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23465/statm: 248581 245283 794 1502 0 247074 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 994324

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27861868/32950928 swapFree=67111528/67111528
[pid=23465] ppid=23463 vsize=994324 CPUtime=1790.34
/proc/23465/stat : 23465 (pbscip.linux.x8) R 23463 23465 23086 0 -1 4202496 432453 0 0 0 178881 153 0 0 25 0 1 0 25867519 1018187776 245287 4089446400 4194304 10345943 140733464919744 18446744073709551615 4287408 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23465/statm: 248581 245287 798 1502 0 247074 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 994324

Child status: 0
Real time (s): 1790.38
CPU time (s): 1790.43
CPU user time (s): 1788.86
CPU system time (s): 1.56876
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 994324

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

runsolver used 2.88656 second user time and 6.87795 second system time

The end

Launcher Data 

Begin job on node122 at 2010-07-08 10:09:00
IDJOB=2705210
IDBENCH=79075
IDSOLVER=1214
FILE ID=node122/2705210-1278576540
PBS_JOBID= 11240209
Free space on /tmp= 73396 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/j30/normalized-j308_1-unsat--soft-33-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-2705210-1278576540/watcher-2705210-1278576540 -o /tmp/evaluation-result-2705210-1278576540/solver-2705210-1278576540 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705210-1278576540.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0541e9779bfbef683d2818db74c4cdd4
RANDOM SEED=1608957129

node122.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.839
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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
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.839
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.81
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.839
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.76
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.839
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.67
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.839
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.82
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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29573400 kB
Buffers:        162204 kB
Cached:        2885892 kB
SwapCached:          0 kB
Active:        1227480 kB
Inactive:      1982640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29573400 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12868 kB
Writeback:           0 kB
AnonPages:      161764 kB
Mapped:          18000 kB
Slab:           102944 kB
PageTables:       5376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   311236 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= 73384 MiB
End job on node122 at 2010-07-08 10:38:50