Trace number 2693743

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.47 1800.42

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-66-100-0.wbo
MD5SUM6c409712facbecbde89c69516345322a
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 benchmark0.082986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6059
Total number of constraints16684
Number of soft constraints5671
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 286742
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 286741
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693743-1277915692.wbo>
0.09/0.15	c original problem has 17401 variables (11730 bin, 0 int, 0 impl, 5671 cont) and 22356 constraints
0.09/0.15	c problem read
0.09/0.15	c presolving settings loaded
0.09/0.15	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.24	c presolving:
0.29/0.31	c (round 1) 196 del vars, 209 del conss, 55 chg bounds, 372 chg sides, 766 chg coeffs, 0 upgd conss, 103716 impls, 0 clqs
0.29/0.33	c (round 2) 251 del vars, 538 del conss, 55 chg bounds, 372 chg sides, 766 chg coeffs, 0 upgd conss, 103716 impls, 0 clqs
0.29/0.36	c (round 3) 308 del vars, 556 del conss, 5669 chg bounds, 372 chg sides, 766 chg coeffs, 0 upgd conss, 103716 impls, 0 clqs
0.39/0.43	c (round 4) 310 del vars, 556 del conss, 5669 chg bounds, 372 chg sides, 766 chg coeffs, 10592 upgd conss, 103716 impls, 0 clqs
2.20/2.20	c    (2.0s) probing: 1000/11477 (8.7%) - 0 fixings, 9 aggregations, 17357 implications, 0 bound changes
3.48/3.51	c    (3.3s) probing: 2000/11477 (17.4%) - 0 fixings, 12 aggregations, 20880 implications, 0 bound changes
4.59/4.69	c    (4.5s) probing: 3000/11477 (26.1%) - 0 fixings, 13 aggregations, 21120 implications, 0 bound changes
5.59/5.60	c    (5.4s) probing: 3798/11477 (33.1%) - 0 fixings, 13 aggregations, 21216 implications, 0 bound changes
5.59/5.60	c    (5.4s) probing aborted: 100/100 successive totally useless probings
5.59/5.60	c (round 5) 323 del vars, 556 del conss, 5669 chg bounds, 372 chg sides, 766 chg coeffs, 10592 upgd conss, 185739 impls, 0 clqs
5.89/5.90	c    (5.7s) probing: 4000/11477 (34.9%) - 0 fixings, 14 aggregations, 21272 implications, 0 bound changes
5.99/6.00	c    (5.8s) probing: 4090/11477 (35.6%) - 0 fixings, 14 aggregations, 21272 implications, 0 bound changes
5.99/6.00	c    (5.8s) probing aborted: 100/100 successive totally useless probings
5.99/6.00	c presolving (6 rounds):
5.99/6.00	c  324 deleted vars, 556 deleted constraints, 5669 tightened bounds, 0 added holes, 372 changed sides, 766 changed coefficients
5.99/6.00	c  185841 implications, 0 cliques
5.99/6.00	c presolved problem has 17077 variables (11463 bin, 0 int, 0 impl, 5614 cont) and 21800 constraints
5.99/6.00	c    5614 constraints of type <indicator>
5.99/6.00	c      20 constraints of type <varbound>
5.99/6.00	c     470 constraints of type <knapsack>
5.99/6.00	c    5594 constraints of type <linear>
5.99/6.00	c   10102 constraints of type <logicor>
5.99/6.00	c transformed objective value is always integral (scale: 1)
5.99/6.00	c Presolving Time: 5.71
5.99/6.00	c - non default parameters ----------------------------------------------------------------------
5.99/6.00	c # SCIP version 1.2.1.2
5.99/6.00	c 
5.99/6.00	c # frequency for displaying node information lines
5.99/6.00	c # [type: int, range: [-1,2147483647], default: 100]
5.99/6.00	c display/freq = 10000
5.99/6.00	c 
5.99/6.00	c # maximal time in seconds to run
5.99/6.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.00	c limits/time = 1799.86
5.99/6.00	c 
5.99/6.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.99/6.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.00	c limits/memory = 3420
5.99/6.00	c 
5.99/6.00	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.99/6.00	c # [type: int, range: [-1,2147483647], default: 1]
5.99/6.00	c lp/solvefreq = -1
5.99/6.00	c 
5.99/6.00	c # should presolving try to simplify inequalities
5.99/6.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.00	c constraints/linear/simplifyinequalities = TRUE
5.99/6.00	c 
5.99/6.00	c # should presolving try to simplify knapsacks
5.99/6.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.00	c constraints/knapsack/simplifyinequalities = TRUE
5.99/6.00	c 
5.99/6.00	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.99/6.00	c # [type: int, range: [-1,2147483647], default: -1]
5.99/6.00	c separating/rapidlearning/freq = 0
5.99/6.00	c 
5.99/6.00	c -----------------------------------------------------------------------------------------------
5.99/6.00	c start solving
5.99/6.01	c 
5.99/6.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.04	c   5.8s|     1 |     2 |     0 |     - |  63M|   0 |   - |  17k|  21k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
72.20/72.26	c  71.8s| 10000 | 10001 |     0 |   0.0 |  75M|  69 |   - |  17k|  21k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
136.99/137.09	c   136s| 20000 | 20001 |     0 |   0.0 |  85M|  95 |   - |  17k|  21k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
201.50/201.54	c   201s| 30000 | 29999 |     0 |   0.0 |  94M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
265.60/265.64	c   264s| 40000 | 39999 |     0 |   0.0 | 103M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
329.50/329.57	c   328s| 50000 | 49997 |     0 |   0.0 | 112M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
393.40/393.49	c   392s| 60000 | 59997 |     0 |   0.0 | 121M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
457.00/457.05	c   455s| 70000 | 69997 |     0 |   0.0 | 130M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
520.10/520.11	c   518s| 80000 | 79995 |     0 |   0.0 | 139M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
583.30/583.30	c   581s| 90000 | 89995 |     0 |   0.0 | 147M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
645.72/645.78	c   643s|100000 | 99995 |     0 |   0.0 | 156M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
710.31/710.31	c   708s|110000 |109995 |     0 |   0.0 | 165M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
775.31/775.36	c   772s|120000 |119995 |     0 |   0.0 | 175M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
840.01/840.03	c   837s|130000 |129995 |     0 |   0.0 | 184M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
905.32/905.35	c   902s|140000 |139995 |     0 |   0.0 | 194M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
987.72/987.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
987.72/987.70	c   984s|150000 |149995 |     0 |   0.0 | 203M|  99 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1070.82/1070.80	c  1066s|160000 |159995 |     0 |   0.0 | 211M| 125 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1152.92/1152.91	c  1147s|170000 |169995 |     0 |   0.0 | 220M| 133 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1234.82/1234.88	c  1229s|180000 |179995 |     0 |   0.0 | 228M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1316.83/1316.81	c  1310s|190000 |189995 |     0 |   0.0 | 236M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1398.42/1398.45	c  1391s|200000 |199995 |     0 |   0.0 | 244M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1480.43/1480.43	c  1472s|210000 |209995 |     0 |   0.0 | 252M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1562.23/1562.25	c  1553s|220000 |219995 |     0 |   0.0 | 260M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1643.93/1643.91	c  1634s|230000 |229995 |     0 |   0.0 | 268M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1725.43/1725.49	c  1715s|240000 |239993 |     0 |   0.0 | 276M| 145 |   - |  17k|  21k|   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1788.90
1800.04/1800.01	c Solving Nodes      : 249140
1800.04/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.01	s UNKNOWN
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1788.90
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693743-1277915692.wbo
1800.04/1800.01	c   Variables        : 17401 (11730 binary, 0 integer, 0 implicit integer, 5671 continuous)
1800.04/1800.01	c   Constraints      : 22356 initial, 22356 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693743-1277915692.wbo
1800.04/1800.01	c   Variables        : 17077 (11463 binary, 0 integer, 0 implicit integer, 5614 continuous)
1800.04/1800.01	c   Constraints      : 21800 initial, 21804 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00        114          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0        129          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       5.46          0         14          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.01          0          0          0          0          0         57          0          0
1800.04/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.15         55         12          0       5669          0        499        372        766
1800.04/1800.01	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       5614          0    1047271          0     249136          0      28114          0          0          0
1800.04/1800.01	c   varbound         :         20          0    1047271          0     249136          0          0          0          0          0
1800.04/1800.01	c   knapsack         :        470          0    1047271          0     249136          0         15          0          0          0
1800.04/1800.01	c   linear           :       5594          0    1047271          0     249136          0      27876          0          0          0
1800.04/1800.01	c   logicor          :      10102+         0     979421          0     249136          4    2479877          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0          0     249136          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c   indicator        :     282.78       0.00      89.45       0.00     193.33
1800.04/1800.01	c   varbound         :       0.82       0.00       0.61       0.00       0.21
1800.04/1800.01	c   knapsack         :      10.94       0.00      10.19       0.00       0.75
1800.04/1800.01	c   linear           :      99.47       0.00      99.04       0.00       0.43
1800.04/1800.01	c   logicor          :     588.89       0.00      10.57       0.00     578.32
1800.04/1800.01	c   countsols        :       0.06       0.00       0.00       0.00       0.06
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       2.47      71795          0        185
1800.04/1800.01	c   rootredcost      :       0.14          0          0          0
1800.04/1800.01	c   pseudoobj        :     162.29    1036966          0          0
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       0.00          4          4          4        2.2          0        0.0          -
1800.04/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -          4        2.2          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :     611.13     249136          0          0          0          0     498272
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -          0
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.09          0          0
1800.04/1800.01	c   trivial          :       0.04          2          0
1800.04/1800.01	c   simplerounding   :       0.00          0          0
1800.04/1800.01	c   zirounding       :       0.00          0          0
1800.04/1800.01	c   rounding         :       0.00          0          0
1800.04/1800.01	c   shifting         :       0.00          0          0
1800.04/1800.01	c   intshifting      :       0.00          0          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   feaspump         :       0.00          0          0
1800.04/1800.01	c   coefdiving       :       0.00          0          0
1800.04/1800.01	c   pscostdiving     :       0.00          0          0
1800.04/1800.01	c   fracdiving       :       0.00          0          0
1800.04/1800.01	c   veclendiving     :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   objpscostdiving  :       0.00          0          0
1800.04/1800.01	c   rootsoldiving    :       0.00          0          0
1800.04/1800.01	c   linesearchdiving :       0.00          0          0
1800.04/1800.01	c   guideddiving     :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.00          0          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   crossover        :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.13          0          0
1800.04/1800.01	c   trysol           :       0.05          1          0
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     249140
1800.04/1800.01	c   nodes (total)    :     249140
1800.04/1800.01	c   nodes left       :     249133
1800.04/1800.01	c   max depth        :        145
1800.04/1800.01	c   max depth (total):        145
1800.04/1800.01	c   backtracks       :       3851 (1.5%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :        122 (109 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.48
1800.04/1800.01	c   switching time   :      14.90
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :          0 (0 improvements)
1800.04/1800.01	c   Primal Bound     :          -
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :          0
1800.44/1800.42	c Time complete: 1800.46.

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-2693743-1277915692/watcher-2693743-1277915692 -o /tmp/evaluation-result-2693743-1277915692/solver-2693743-1277915692 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693743-1277915692.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.99 4/178 13950
/proc/meminfo: memFree=31130532/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=8304 CPUtime=0
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 1565 0 0 0 0 0 0 0 25 0 1 0 132866128 8503296 1488 4089446400 4194304 7136930 140736581499824 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13950/statm: 2076 1488 275 719 0 1355 0

[startup+0.052833 s]
/proc/loadavg: 1.99 1.97 1.99 4/178 13950
/proc/meminfo: memFree=31130532/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=18640 CPUtime=0.04
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 4134 0 0 0 4 0 0 0 25 0 1 0 132866128 19087360 4057 4089446400 4194304 7136930 140736581499824 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13950/statm: 4660 4057 275 719 0 3939 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18640

[startup+0.100824 s]
/proc/loadavg: 1.99 1.97 1.99 4/178 13950
/proc/meminfo: memFree=31130532/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=26776 CPUtime=0.09
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 6199 0 0 0 9 0 0 0 25 0 1 0 132866128 27418624 6122 4089446400 4194304 7136930 140736581499824 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13950/statm: 6694 6122 275 719 0 5973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26776

[startup+0.300789 s]
/proc/loadavg: 1.99 1.97 1.99 4/178 13950
/proc/meminfo: memFree=31130532/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=80280 CPUtime=0.29
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 19458 0 0 0 27 2 0 0 25 0 1 0 132866128 82206720 18970 4089446400 4194304 7136930 140736581499824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 20070 18970 360 719 0 19349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80280

[startup+0.700716 s]
/proc/loadavg: 1.99 1.97 1.99 4/178 13950
/proc/meminfo: memFree=31130532/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=93548 CPUtime=0.69
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 25801 0 0 0 64 5 0 0 25 0 1 0 132866128 95793152 22297 4089446400 4194304 7136930 140736581499824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 23387 22297 401 719 0 22666 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93548

[startup+1.50057 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13951
/proc/meminfo: memFree=31041368/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=95640 CPUtime=1.49
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 26339 0 0 0 144 5 0 0 25 0 1 0 132866128 97935360 22835 4089446400 4194304 7136930 140736581499824 18446744073709551615 5500585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 23910 22835 401 719 0 23189 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95640

[startup+3.10029 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13951
/proc/meminfo: memFree=31038392/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=98060 CPUtime=3.09
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 26926 0 0 0 302 7 0 0 25 0 1 0 132866128 100413440 23422 4089446400 4194304 7136930 140736581499824 18446744073709551615 5500775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 24515 23422 406 719 0 23794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98060

[startup+6.30071 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13951
/proc/meminfo: memFree=31036164/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=101808 CPUtime=6.29
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 29275 0 0 0 619 10 0 0 18 0 1 0 132866128 104251392 24285 4089446400 4194304 7136930 140736581499824 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 25452 24285 418 719 0 24731 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101808

[startup+12.7006 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13951
/proc/meminfo: memFree=31032760/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=103060 CPUtime=12.69
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 29578 0 0 0 1257 12 0 0 25 0 1 0 132866128 105533440 24588 4089446400 4194304 7136930 140736581499824 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 25765 24588 418 719 0 25044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103060

[startup+25.5003 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13951
/proc/meminfo: memFree=31029356/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=105472 CPUtime=25.49
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 30181 0 0 0 2532 17 0 0 25 0 1 0 132866128 108003328 25191 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 26368 25191 418 719 0 25647 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105472

[startup+51.1007 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13952
/proc/meminfo: memFree=31019420/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=110008 CPUtime=51.1
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 31333 0 0 0 5084 26 0 0 25 0 1 0 132866128 112648192 26343 4089446400 4194304 7136930 140736581499824 18446744073709551615 4697011 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 27502 26343 418 719 0 26781 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 110008

[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13953
/proc/meminfo: memFree=30998188/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=119180 CPUtime=102.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 33625 0 0 0 10185 45 0 0 25 0 1 0 132866128 122040320 28635 4089446400 4194304 7136930 140736581499824 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 29795 28635 418 719 0 29074 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119180

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13955
/proc/meminfo: memFree=30972856/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=130952 CPUtime=162.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 36592 0 0 0 16163 67 0 0 25 0 1 0 132866128 134094848 31602 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 32738 31602 418 719 0 32017 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 130952

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13957
/proc/meminfo: memFree=30954460/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=141260 CPUtime=222.29
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 39215 0 0 0 22143 86 0 0 25 0 1 0 132866128 144650240 34225 4089446400 4194304 7136930 140736581499824 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 35315 34225 422 719 0 34594 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 141260

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13958
/proc/meminfo: memFree=30936812/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=150888 CPUtime=282.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 41655 0 0 0 28124 106 0 0 25 0 1 0 132866128 154509312 36665 4089446400 4194304 7136930 140736581499824 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 37722 36665 422 719 0 37001 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 150888

[startup+342.301 s]
/proc/loadavg: 2.04 1.99 1.99 3/179 13960
/proc/meminfo: memFree=30918544/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=159748 CPUtime=342.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 43917 0 0 0 34104 126 0 0 25 0 1 0 132866128 163581952 38927 4089446400 4194304 7136930 140736581499824 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 39937 38927 422 719 0 39216 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159748

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 13961
/proc/meminfo: memFree=30900780/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=169596 CPUtime=402.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 46390 0 0 0 40084 146 0 0 25 0 1 0 132866128 173666304 41400 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 42399 41400 422 719 0 41678 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 169596

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13963
/proc/meminfo: memFree=30881292/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=181512 CPUtime=462.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 48911 0 0 0 46062 168 0 0 25 0 1 0 132866128 185868288 43921 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 45378 43921 422 719 0 44657 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 181512

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13965
/proc/meminfo: memFree=30865872/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=187972 CPUtime=522.3
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 50552 0 0 0 52042 188 0 0 25 0 1 0 132866128 192483328 45562 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 46993 45562 422 719 0 46272 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 187972

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13966
/proc/meminfo: memFree=30843156/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=199320 CPUtime=582.31
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 53440 0 0 0 58022 209 0 0 25 0 1 0 132866128 204103680 48450 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 49830 48450 422 719 0 49109 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 199320

[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13968
/proc/meminfo: memFree=30826248/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=206036 CPUtime=642.31
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 55149 0 0 0 64001 230 0 0 25 0 1 0 132866128 210980864 50159 4089446400 4194304 7136930 140736581499824 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13950/statm: 51509 50159 422 719 0 50788 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 206036

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.94 1.97 1.99 3/179 14226
/proc/meminfo: memFree=31068864/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=249308 CPUtime=942.31
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 66120 0 0 0 93878 353 0 0 25 0 1 0 132866128 255291392 61130 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 62327 61130 422 719 0 61606 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 249308

[startup+1002.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 14227
/proc/meminfo: memFree=31046988/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=255584 CPUtime=1002.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 67704 0 0 0 99828 404 0 0 25 0 1 0 132866128 261718016 62714 4089446400 4194304 7136930 140736581499824 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 63896 62714 422 719 0 63175 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 255584

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14229
/proc/meminfo: memFree=31016964/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=260080 CPUtime=1062.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 68868 0 0 0 105777 455 0 0 25 0 1 0 132866128 266321920 63878 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 65020 63878 422 719 0 64299 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 260080

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14231
/proc/meminfo: memFree=30979592/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=271984 CPUtime=1122.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 71864 0 0 0 111726 506 0 0 25 0 1 0 132866128 278511616 66874 4089446400 4194304 7136930 140736581499824 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 67996 66874 422 719 0 67275 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 271984

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14232
/proc/meminfo: memFree=30950400/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=279756 CPUtime=1182.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 73833 0 0 0 117676 556 0 0 25 0 1 0 132866128 286470144 68843 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 69939 68843 422 719 0 69218 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 279756

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14234
/proc/meminfo: memFree=30919728/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=284564 CPUtime=1242.33
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 75081 0 0 0 123622 611 0 0 25 0 1 0 132866128 291393536 70091 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 71141 70091 422 719 0 70420 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 284564

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14235
/proc/meminfo: memFree=30889916/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=287432 CPUtime=1302.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 75833 0 0 0 129570 662 0 0 25 0 1 0 132866128 294330368 70843 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 71858 70843 422 719 0 71137 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 287432

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14237
/proc/meminfo: memFree=30857492/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=292028 CPUtime=1362.32
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 76970 0 0 0 135516 716 0 0 25 0 1 0 132866128 299036672 71980 4089446400 4194304 7136930 140736581499824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 73007 71980 422 719 0 72286 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 292028

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14239
/proc/meminfo: memFree=30827664/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=305104 CPUtime=1422.34
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 79232 0 0 0 141465 769 0 0 25 0 1 0 132866128 312426496 74242 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 76276 74242 422 719 0 75555 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 305104

[startup+1482.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 14240
/proc/meminfo: memFree=30789656/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=310908 CPUtime=1482.33
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 80707 0 0 0 147414 819 0 0 25 0 1 0 132866128 318369792 75717 4089446400 4194304 7136930 140736581499824 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 77727 75717 422 719 0 77006 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 310908

[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 14242
/proc/meminfo: memFree=30752916/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=316288 CPUtime=1542.33
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 82064 0 0 0 153358 875 0 0 25 0 1 0 132866128 323878912 77074 4089446400 4194304 7136930 140736581499824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 79072 77074 422 719 0 78351 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 316288

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14252
/proc/meminfo: memFree=30709392/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=323312 CPUtime=1602.34
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 83877 0 0 0 159311 923 0 0 25 0 1 0 132866128 331071488 78887 4089446400 4194304 7136930 140736581499824 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 80828 78887 422 719 0 80107 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 323312

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14254
/proc/meminfo: memFree=30673008/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=329516 CPUtime=1662.33
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 85450 0 0 0 165257 976 0 0 25 0 1 0 132866128 337424384 80460 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 82379 80460 422 719 0 81658 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 329516

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14256
/proc/meminfo: memFree=30639600/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=332652 CPUtime=1722.33
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 86233 0 0 0 171200 1033 0 0 25 0 1 0 132866128 340635648 81243 4089446400 4194304 7136930 140736581499824 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 83163 81243 422 719 0 82442 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 332652

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14257
/proc/meminfo: memFree=30596516/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=340996 CPUtime=1782.34
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 88369 0 0 0 177148 1086 0 0 25 0 1 0 132866128 349179904 83379 4089446400 4194304 7136930 140736581499824 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 85249 83379 422 719 0 84528 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14258
/proc/meminfo: memFree=30587052/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=342668 CPUtime=1800.04
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 88795 0 0 0 178903 1101 0 0 25 0 1 0 132866128 350892032 83805 4089446400 4194304 7136930 140736581499824 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13950/statm: 85667 83805 422 719 0 84946 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 342668

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14258
/proc/meminfo: memFree=30587052/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=335156 CPUtime=1800.23
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 88801 0 0 0 178922 1101 0 0 18 0 1 0 132866128 343199744 81933 4089446400 4194304 7136930 140736581499824 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13950/statm: 83789 81933 428 719 0 83068 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 335156

[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 14258
/proc/meminfo: memFree=30587052/32950928 swapFree=67111528/67111528
[pid=13950] ppid=13948 vsize=47948 CPUtime=1800.44
/proc/13950/stat : 13950 (pbscip.linux.x8) R 13948 13950 13797 0 -1 4202496 88801 0 0 0 178941 1103 0 0 18 0 1 0 132866128 49098752 11382 4089446400 4194304 7136930 140736581499824 18446744073709551615 4684967 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13950/statm: 11987 11382 428 719 0 11266 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 47948

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.47
CPU user time (s): 1789.43
CPU system time (s): 11.0323
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 342668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.43
system time used= 11.0323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88808
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= 4
involuntary context switches= 13059

runsolver used 2.44063 second user time and 5.87911 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 18:34:52
IDJOB=2693743
IDBENCH=79059
IDSOLVER=1206
FILE ID=node122/2693743-1277915692
PBS_JOBID= 11197325
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693743-1277915692/watcher-2693743-1277915692 -o /tmp/evaluation-result-2693743-1277915692/solver-2693743-1277915692 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693743-1277915692.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6c409712facbecbde89c69516345322a
RANDOM SEED=317224339

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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	: 5332.85
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31131060 kB
Buffers:        197360 kB
Cached:        1153312 kB
SwapCached:          0 kB
Active:         846644 kB
Inactive:       830664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31131060 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3572 kB
Writeback:           0 kB
AnonPages:      326580 kB
Mapped:          16384 kB
Slab:            78900 kB
PageTables:       5404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   478668 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= 74204 MiB
End job on node122 at 2010-06-30 19:04:54