Trace number 2693776

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.49 1800.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-33-100-0.wbo
MD5SUM3e214ab59e31a9fef07b9bb8ae7e84f2
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.12398
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4836
Total number of constraints16649
Number of soft constraints11188
Number of constraints which are clauses16341
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 570726
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 570725
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 166
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.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-2693776-1277916510.wbo>
0.09/0.16	c original problem has 27212 variables (16024 bin, 0 int, 0 impl, 11188 cont) and 27838 constraints
0.09/0.16	c problem read
0.09/0.16	c presolving settings loaded
0.09/0.16	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.49/0.53	c presolving:
0.49/0.59	c (round 1) 191 del vars, 510 del conss, 113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45372 impls, 0 clqs
0.59/0.63	c (round 2) 535 del vars, 1571 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45392 impls, 0 clqs
0.59/0.67	c (round 3) 1369 del vars, 2355 del conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45400 impls, 0 clqs
0.59/0.69	c (round 4) 2098 del vars, 2638 del conss, 194 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45418 impls, 0 clqs
0.69/0.71	c (round 5) 2348 del vars, 2825 del conss, 204 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45442 impls, 0 clqs
0.69/0.72	c (round 6) 2506 del vars, 2928 del conss, 205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs
0.69/0.73	c (round 7) 2597 del vars, 2961 del conss, 205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs
0.69/0.77	c (round 8) 2630 del vars, 2963 del conss, 10289 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs
0.79/0.85	c (round 9) 2632 del vars, 2963 del conss, 10289 chg bounds, 0 chg sides, 0 chg coeffs, 4987 upgd conss, 45444 impls, 0 clqs
3.49/3.53	c    (3.2s) probing: 1000/14496 (6.9%) - 0 fixings, 0 aggregations, 4751 implications, 0 bound changes
5.69/5.74	c    (5.4s) probing: 2000/14496 (13.8%) - 0 fixings, 0 aggregations, 5909 implications, 0 bound changes
5.69/5.74	c    (5.4s) probing: 2001/14496 (13.8%) - 0 fixings, 0 aggregations, 5910 implications, 0 bound changes
5.69/5.74	c    (5.4s) probing aborted: 2000/2000 successive useless probings
5.69/5.74	c presolving (10 rounds):
5.69/5.74	c  2632 deleted vars, 2963 deleted constraints, 10289 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.69/5.74	c  63519 implications, 155 cliques
5.69/5.74	c presolved problem has 24580 variables (14496 bin, 0 int, 0 impl, 10084 cont) and 24875 constraints
5.69/5.74	c   10084 constraints of type <indicator>
5.69/5.74	c     280 constraints of type <varbound>
5.69/5.74	c     105 constraints of type <knapsack>
5.69/5.74	c    9804 constraints of type <linear>
5.69/5.74	c    4602 constraints of type <logicor>
5.69/5.74	c transformed objective value is always integral (scale: 1)
5.69/5.74	c Presolving Time: 5.31
5.69/5.74	c - non default parameters ----------------------------------------------------------------------
5.69/5.74	c # SCIP version 1.2.1.2
5.69/5.74	c 
5.69/5.74	c # frequency for displaying node information lines
5.69/5.74	c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.74	c display/freq = 10000
5.69/5.74	c 
5.69/5.74	c # maximal time in seconds to run
5.69/5.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.74	c limits/time = 1799.85
5.69/5.74	c 
5.69/5.74	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.74	c limits/memory = 3420
5.69/5.74	c 
5.69/5.74	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.69/5.74	c # [type: int, range: [-1,2147483647], default: 1]
5.69/5.74	c lp/solvefreq = -1
5.69/5.74	c 
5.69/5.74	c # should presolving try to simplify inequalities
5.69/5.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.74	c constraints/linear/simplifyinequalities = TRUE
5.69/5.74	c 
5.69/5.74	c # should presolving try to simplify knapsacks
5.69/5.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.74	c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.74	c 
5.69/5.74	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.69/5.74	c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.74	c separating/rapidlearning/freq = 0
5.69/5.74	c 
5.69/5.74	c -----------------------------------------------------------------------------------------------
5.69/5.74	c start solving
5.69/5.75	c 
5.80/5.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.80/5.80	c   5.4s|     1 |     2 |     0 |     - |  85M|   0 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.39/90.48	c  89.1s| 10000 | 10001 |     0 |   0.0 |  96M|  63 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
172.29/172.40	c   170s| 20000 | 20001 |     0 |   0.0 | 106M|  97 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
251.60/251.65	c   249s| 30000 | 30001 |     0 |   0.0 | 116M|  97 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
328.50/328.54	c   325s| 40000 | 40001 |     0 |   0.0 | 125M|  97 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
409.21/409.24	c   404s| 50000 | 50001 |     0 |   0.0 | 135M| 107 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
487.01/487.05	c   482s| 60000 | 60001 |     0 |   0.0 | 144M| 109 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
564.22/564.24	c   558s| 70000 | 70001 |     0 |   0.0 | 153M| 111 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
643.31/643.35	c   636s| 80000 | 80001 |     0 |   0.0 | 162M| 111 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
720.71/720.71	c   713s| 90000 | 90001 |     0 |   0.0 | 171M| 115 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
799.21/799.23	c   791s|100000 |100001 |     0 |   0.0 | 181M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
877.62/877.66	c   868s|110000 |110001 |     0 |   0.0 | 190M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
954.22/954.27	c   944s|120000 |120001 |     0 |   0.0 | 199M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1031.02/1031.05	c  1020s|130000 |130001 |     0 |   0.0 | 208M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1104.03/1104.04	c  1092s|140000 |140001 |     0 |   0.0 | 217M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1175.63/1175.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1175.63/1175.68	c  1163s|150000 |150001 |     0 |   0.0 | 225M| 117 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1250.33/1250.39	c  1237s|160000 |160001 |     0 |   0.0 | 233M| 119 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1325.73/1325.79	c  1312s|170000 |170001 |     0 |   0.0 | 242M| 119 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1402.34/1402.34	c  1388s|180000 |180001 |     0 |   0.0 | 250M| 119 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1478.64/1478.67	c  1464s|190000 |190001 |     0 |   0.0 | 259M| 121 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1556.34/1556.40	c  1541s|200000 |200001 |     0 |   0.0 | 268M| 121 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1633.24/1633.27	c  1617s|210000 |210001 |     0 |   0.0 | 276M| 121 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1710.45/1710.48	c  1693s|220000 |220001 |     0 |   0.0 | 285M| 121 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1787.15/1787.18	c  1769s|230000 |230001 |     0 |   0.0 | 294M| 121 |   - |  24k|  24k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1782.20
1800.06/1800.00	c Solving Nodes      : 231686
1800.06/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.00	s UNKNOWN
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time       :    1782.20
1800.06/1800.00	c Original Problem   :
1800.06/1800.00	c   Problem name     : HOME/instance-2693776-1277916510.wbo
1800.06/1800.00	c   Variables        : 27212 (16024 binary, 0 integer, 0 implicit integer, 11188 continuous)
1800.06/1800.00	c   Constraints      : 27838 initial, 27838 maximal
1800.06/1800.00	c Presolved Problem  :
1800.06/1800.00	c   Problem name     : t_HOME/instance-2693776-1277916510.wbo
1800.06/1800.00	c   Variables        : 24580 (14496 binary, 0 integer, 0 implicit integer, 10084 continuous)
1800.06/1800.00	c   Constraints      : 24875 initial, 24875 maximal
1800.06/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   dualfix          :       0.01       2332          0          0          0          0          0          0          0
1800.06/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.00	c   probing          :       4.78          0          0          0          0          0          0          0          0
1800.06/1800.00	c   indicator        :       0.06          0          0          0          0          0       1104          0          0
1800.06/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   linear           :       0.14        205         95          0      10289          0       1859          0          0
1800.06/1800.00	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   indicator        :      10084          0     977894          0     231686          0     184746          0          0          0
1800.06/1800.00	c   varbound         :        280          0     977894          0     231686          0      87106          0          0          0
1800.06/1800.00	c   knapsack         :        105          0     977894          0     231686          0      69046          0          0          0
1800.06/1800.00	c   linear           :       9804          0     977894          0     231686          0      77298          0          0          0
1800.06/1800.00	c   logicor          :       4602          0     760125          0     231686          0    1453824          0          0          0
1800.06/1800.00	c   countsols        :          0          0          0          0     231686          0          0          0          0          0
1800.06/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.00	c   indicator        :     476.65       0.00     174.55       0.00     302.10
1800.06/1800.00	c   varbound         :       6.82       0.00       6.57       0.00       0.25
1800.06/1800.00	c   knapsack         :       4.38       0.00       3.84       0.00       0.54
1800.06/1800.00	c   linear           :     170.37       0.00     169.62       0.00       0.75
1800.06/1800.00	c   logicor          :     237.14       0.00       9.42       0.00     227.72
1800.06/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.00	c   vbounds          :      27.47     306459          0      19074
1800.06/1800.00	c   rootredcost      :       0.04          0          0          0
1800.06/1800.00	c   pseudoobj        :     283.97     971891          0          0
1800.06/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.06/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.00	c Pricers            :       Time      Calls       Vars
1800.06/1800.00	c   problem variables:       0.00          0          0
1800.06/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   inference        :     550.47     231686          0          0          0          0     463372
1800.06/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.00	c   LP solutions     :       0.00          -          0
1800.06/1800.00	c   pseudo solutions :       0.00          -          0
1800.06/1800.00	c   oneopt           :       0.02          0          0
1800.06/1800.00	c   trivial          :       0.29          2          0
1800.06/1800.00	c   simplerounding   :       0.00          0          0
1800.06/1800.00	c   zirounding       :       0.00          0          0
1800.06/1800.00	c   rounding         :       0.00          0          0
1800.06/1800.00	c   shifting         :       0.00          0          0
1800.06/1800.00	c   intshifting      :       0.00          0          0
1800.06/1800.00	c   twoopt           :       0.00          0          0
1800.06/1800.00	c   fixandinfer      :       0.00          0          0
1800.06/1800.00	c   feaspump         :       0.00          0          0
1800.06/1800.00	c   coefdiving       :       0.00          0          0
1800.06/1800.00	c   pscostdiving     :       0.00          0          0
1800.06/1800.00	c   fracdiving       :       0.00          0          0
1800.06/1800.00	c   veclendiving     :       0.00          0          0
1800.06/1800.00	c   intdiving        :       0.00          0          0
1800.06/1800.00	c   actconsdiving    :       0.00          0          0
1800.06/1800.00	c   objpscostdiving  :       0.00          0          0
1800.06/1800.00	c   rootsoldiving    :       0.00          0          0
1800.06/1800.00	c   linesearchdiving :       0.00          0          0
1800.06/1800.00	c   guideddiving     :       0.00          0          0
1800.06/1800.00	c   octane           :       0.00          0          0
1800.06/1800.00	c   rens             :       0.00          0          0
1800.06/1800.00	c   rins             :       0.00          0          0
1800.06/1800.00	c   localbranching   :       0.00          0          0
1800.06/1800.00	c   mutation         :       0.00          0          0
1800.06/1800.00	c   crossover        :       0.00          0          0
1800.06/1800.00	c   dins             :       0.00          0          0
1800.06/1800.00	c   undercover       :       0.00          0          0
1800.06/1800.00	c   nlp              :       0.12          0          0
1800.06/1800.00	c   trysol           :       0.01          1          0
1800.06/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.00	c B&B Tree           :
1800.06/1800.00	c   number of runs   :          1
1800.06/1800.00	c   nodes            :     231686
1800.06/1800.00	c   nodes (total)    :     231686
1800.06/1800.00	c   nodes left       :     231687
1800.06/1800.00	c   max depth        :        121
1800.06/1800.00	c   max depth (total):        121
1800.06/1800.00	c   backtracks       :       3873 (1.7%)
1800.06/1800.00	c   delayed cutoffs  :          0
1800.06/1800.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.00	c   avg switch length:       2.43
1800.06/1800.00	c   switching time   :      12.11
1800.06/1800.00	c Solution           :
1800.06/1800.00	c   Solutions found  :          0 (0 improvements)
1800.06/1800.00	c   Primal Bound     :          -
1800.06/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.00	c   Gap              :   infinite
1800.06/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.00	c   Root Iterations  :          0
1800.45/1800.43	c Time complete: 1800.48.

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-2693776-1277916510/watcher-2693776-1277916510 -o /tmp/evaluation-result-2693776-1277916510/solver-2693776-1277916510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693776-1277916510.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.01 2.01 2.00 3/178 25451
/proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=8272 CPUtime=0
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 1548 0 0 0 0 0 0 0 21 0 1 0 167254473 8470528 1470 4089446400 4194304 7136930 140735000198032 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25451/statm: 2068 1470 275 719 0 1347 0

[startup+0.05658 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25451
/proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=23428 CPUtime=0.04
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 5332 0 0 0 4 0 0 0 21 0 1 0 167254473 23990272 5254 4089446400 4194304 7136930 140735000198032 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25451/statm: 5857 5254 275 719 0 5136 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23428

[startup+0.100579 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25451
/proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=33576 CPUtime=0.09
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 7882 0 0 0 8 1 0 0 21 0 1 0 167254473 34381824 7804 4089446400 4194304 7136930 140735000198032 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25451/statm: 8394 7804 275 719 0 7673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33576

[startup+0.300544 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25451
/proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=105200 CPUtime=0.29
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 25291 0 0 0 26 3 0 0 21 0 1 0 167254473 107724800 24823 4089446400 4194304 7136930 140735000198032 18446744073709551615 6350452 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 26300 24849 319 719 0 25579 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105200

[startup+0.700453 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25451
/proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=110176 CPUtime=0.69
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 27646 0 0 0 61 8 0 0 22 0 1 0 167254473 112820224 26150 4089446400 4194304 7136930 140735000198032 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 27544 26150 351 719 0 26823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110176

[startup+1.50032 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25452
/proc/meminfo: memFree=31045476/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=116720 CPUtime=1.49
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 32698 0 0 0 134 15 0 0 25 0 1 0 167254473 119521280 27786 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 29180 27786 389 719 0 28459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116720

[startup+3.10102 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25452
/proc/meminfo: memFree=31045272/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=117748 CPUtime=3.1
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 32967 0 0 0 292 18 0 0 25 0 1 0 167254473 120573952 28055 4089446400 4194304 7136930 140735000198032 18446744073709551615 5500400 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 29437 28055 389 719 0 28716 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 117748

[startup+6.30042 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25452
/proc/meminfo: memFree=31041924/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=120752 CPUtime=6.29
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 33759 0 0 0 607 22 0 0 25 0 1 0 167254473 123650048 28645 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 30188 28645 406 719 0 29467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120752

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25452
/proc/meminfo: memFree=31036136/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=122764 CPUtime=12.69
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 34249 0 0 0 1239 30 0 0 25 0 1 0 167254473 125710336 29135 4089446400 4194304 7136930 140735000198032 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 30691 29135 406 719 0 29970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122764

[startup+25.5009 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25452
/proc/meminfo: memFree=31044724/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=124820 CPUtime=25.49
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 34770 0 0 0 2503 46 0 0 25 0 1 0 167254473 127815680 29656 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 31205 29656 406 719 0 30484 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124820

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25453
/proc/meminfo: memFree=31038300/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=128800 CPUtime=51.1
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 35796 0 0 0 5035 75 0 0 25 0 1 0 167254473 131891200 30682 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 32200 30682 406 719 0 31479 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 128800

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25454
/proc/meminfo: memFree=31031572/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=136984 CPUtime=102.3
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 37845 0 0 0 10098 132 0 0 25 0 1 0 167254473 140271616 32731 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 34246 32731 406 719 0 33525 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 136984

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25456
/proc/meminfo: memFree=31014420/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=147592 CPUtime=162.29
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 40529 0 0 0 16035 194 0 0 25 0 1 0 167254473 151134208 35415 4089446400 4194304 7136930 140735000198032 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 36898 35415 406 719 0 36177 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147592

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25458
/proc/meminfo: memFree=31009140/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=153488 CPUtime=222.3
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 42015 0 0 0 21969 261 0 0 25 0 1 0 167254473 157171712 36901 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 38372 36901 406 719 0 37651 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 153488

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 25459
/proc/meminfo: memFree=30995856/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=165540 CPUtime=282.3
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 45056 0 0 0 27907 323 0 0 25 0 1 0 167254473 169512960 39942 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 41385 39942 406 719 0 40664 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 165540

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25461
/proc/meminfo: memFree=30977812/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=172764 CPUtime=342.3
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 46906 0 0 0 33840 390 0 0 25 0 1 0 167254473 176910336 41792 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 43191 41792 406 719 0 42470 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 172764

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25462
/proc/meminfo: memFree=30979764/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=178412 CPUtime=402.3
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 48360 0 0 0 39776 454 0 0 25 0 1 0 167254473 182693888 43246 4089446400 4194304 7136930 140735000198032 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 44603 43246 406 719 0 43882 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 178412

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25464
/proc/meminfo: memFree=30971900/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=184592 CPUtime=462.31
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 49904 0 0 0 45714 517 0 0 25 0 1 0 167254473 189022208 44790 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 46148 44790 406 719 0 45427 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 184592

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25466
/proc/meminfo: memFree=30955352/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=191604 CPUtime=522.31
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 51715 0 0 0 51652 579 0 0 25 0 1 0 167254473 196202496 46601 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 47901 46601 406 719 0 47180 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 191604

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25467
/proc/meminfo: memFree=30954952/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=204508 CPUtime=582.31
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 54434 0 0 0 57595 636 0 0 25 0 1 0 167254473 209416192 49320 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 51127 49320 406 719 0 50406 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 204508

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25469
/proc/meminfo: memFree=30941512/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=209472 CPUtime=642.32
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 55702 0 0 0 63535 697 0 0 25 0 1 0 167254473 214499328 50588 4089446400 4194304 7136930 140735000198032 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 52368 50588 406 719 0 51647 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 209472

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25486
/proc/meminfo: memFree=30901740/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=245888 CPUtime=942.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 64957 0 0 0 93221 1012 0 0 25 0 1 0 167254473 251789312 59843 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 61472 59843 406 719 0 60751 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 245888

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25487
/proc/meminfo: memFree=30894876/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=253116 CPUtime=1002.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 66798 0 0 0 99162 1071 0 0 25 0 1 0 167254473 259190784 61684 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 63279 61684 406 719 0 62558 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 253116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25489
/proc/meminfo: memFree=30886280/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=258500 CPUtime=1062.32
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 68175 0 0 0 105100 1132 0 0 25 0 1 0 167254473 264704000 63061 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 64625 63061 406 719 0 63904 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 258500

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25491
/proc/meminfo: memFree=30881868/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=265932 CPUtime=1122.32
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 70067 0 0 0 111040 1192 0 0 25 0 1 0 167254473 272314368 64953 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 66483 64953 406 719 0 65762 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 265932

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 25586
/proc/meminfo: memFree=31241148/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=274092 CPUtime=1182.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 72127 0 0 0 116981 1252 0 0 25 0 1 0 167254473 280670208 67013 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25451/statm: 68523 67013 406 719 0 67802 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 274092

[startup+1242.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 25742
/proc/meminfo: memFree=31049388/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=282228 CPUtime=1242.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 74224 0 0 0 122930 1303 0 0 25 0 1 0 167254473 289001472 69110 4089446400 4194304 7136930 140735000198032 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 70557 69110 406 719 0 69836 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 282228

[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 25743
/proc/meminfo: memFree=31036332/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=289536 CPUtime=1302.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 76081 0 0 0 128879 1354 0 0 25 0 1 0 167254473 296484864 70967 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 72384 70967 406 719 0 71663 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 289536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25745
/proc/meminfo: memFree=31019044/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=296476 CPUtime=1362.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 77847 0 0 0 134831 1402 0 0 25 0 1 0 167254473 303591424 72733 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 74119 72733 406 719 0 73398 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 296476

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25747
/proc/meminfo: memFree=31006692/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=303836 CPUtime=1422.34
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 79707 0 0 0 140781 1453 0 0 25 0 1 0 167254473 311128064 74593 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 75959 74593 406 719 0 75238 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 303836

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25748
/proc/meminfo: memFree=30993756/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=308896 CPUtime=1482.34
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 80976 0 0 0 146733 1501 0 0 25 0 1 0 167254473 316309504 75862 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 77224 75862 406 719 0 76503 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 308896

[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 25753
/proc/meminfo: memFree=30982888/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=318012 CPUtime=1542.33
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 82271 0 0 0 152684 1549 0 0 25 0 1 0 167254473 325644288 77157 4089446400 4194304 7136930 140735000198032 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 79503 77157 406 719 0 78782 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 318012

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 25754
/proc/meminfo: memFree=30973916/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=322004 CPUtime=1602.34
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 83320 0 0 0 158630 1604 0 0 25 0 1 0 167254473 329732096 78206 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 80501 78206 406 719 0 79780 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 322004

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 25756
/proc/meminfo: memFree=30952184/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=331604 CPUtime=1662.34
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 85748 0 0 0 164580 1654 0 0 25 0 1 0 167254473 339562496 80634 4089446400 4194304 7136930 140735000198032 18446744073709551615 4827474 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 82901 80634 406 719 0 82180 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 331604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25758
/proc/meminfo: memFree=30939472/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=336564 CPUtime=1722.35
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 87020 0 0 0 170528 1707 0 0 25 0 1 0 167254473 344641536 81906 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 84141 81906 406 719 0 83420 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 336564

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25759
/proc/meminfo: memFree=30920716/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=346632 CPUtime=1782.35
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89569 0 0 0 176479 1756 0 0 25 0 1 0 167254473 354951168 84455 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 86658 84455 406 719 0 85937 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 346632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25760
/proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=347656 CPUtime=1800.06
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89836 0 0 0 178234 1772 0 0 25 0 1 0 167254473 355999744 84722 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25451/statm: 86914 84722 406 719 0 86193 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 347656

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25760
/proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=342956 CPUtime=1800.25
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89843 0 0 0 178253 1772 0 0 25 0 1 0 167254473 351186944 83554 4089446400 4194304 7136930 140735000198032 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25451/statm: 85739 83554 413 719 0 85018 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 342956

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25760
/proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528
[pid=25451] ppid=25449 vsize=203780 CPUtime=1800.45
/proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89843 0 0 0 178273 1772 0 0 25 0 1 0 167254473 208670720 48787 4089446400 4194304 7136930 140735000198032 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25451/statm: 50945 48787 413 719 0 50224 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 203780

Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.49
CPU user time (s): 1782.75
CPU system time (s): 17.7333
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 347656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.75
system time used= 17.7333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89850
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= 2
involuntary context switches= 2347

runsolver used 3.39148 second user time and 6.15406 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 18:48:30
IDJOB=2693776
IDBENCH=79072
IDSOLVER=1206
FILE ID=node113/2693776-1277916510
PBS_JOBID= 11197255
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-33-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-2693776-1277916510/watcher-2693776-1277916510 -o /tmp/evaluation-result-2693776-1277916510/solver-2693776-1277916510 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693776-1277916510.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3e214ab59e31a9fef07b9bb8ae7e84f2
RANDOM SEED=734690860

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31156000 kB
Buffers:        199152 kB
Cached:        1041228 kB
SwapCached:          0 kB
Active:         958892 kB
Inactive:       691860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31156000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3552 kB
Writeback:           0 kB
AnonPages:      410468 kB
Mapped:          17464 kB
Slab:            78848 kB
PageTables:       5544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   591224 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 node113 at 2010-06-30 19:18:32