Trace number 2693604

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.4 1800.35

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
MD5SUM912ca607d723e7995f4e9e6209c25e32
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.282956
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9051
Total number of constraints25833
Number of soft constraints8852
Number of constraints which are clauses24941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints892
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 443736
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 443735
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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-2693604-1277912960.wbo>
0.19/0.25	c original problem has 26755 variables (17903 bin, 0 int, 0 impl, 8852 cont) and 34686 constraints
0.19/0.25	c problem read
0.19/0.25	c presolving settings loaded
0.19/0.25	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.39/0.41	c presolving:
0.49/0.53	c (round 1) 174 del vars, 81 del conss, 22 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 190708 impls, 0 clqs
0.49/0.56	c (round 2) 195 del vars, 409 del conss, 22 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 190708 impls, 0 clqs
0.59/0.60	c (round 3) 217 del vars, 412 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 190708 impls, 0 clqs
0.69/0.73	c (round 4) 218 del vars, 412 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16626 upgd conss, 190708 impls, 0 clqs
4.59/4.66	c    (4.3s) probing: 1000/17707 (5.6%) - 3 fixings, 3 aggregations, 17906 implications, 0 bound changes
7.39/7.46	c    (7.1s) probing: 2000/17707 (11.3%) - 3 fixings, 6 aggregations, 22052 implications, 0 bound changes
9.89/9.93	c    (9.6s) probing: 3000/17707 (16.9%) - 3 fixings, 8 aggregations, 22491 implications, 0 bound changes
12.29/12.35	c    (12.0s) probing: 4000/17707 (22.6%) - 3 fixings, 8 aggregations, 22763 implications, 0 bound changes
12.79/12.85	c    (12.5s) probing: 4208/17707 (23.8%) - 3 fixings, 8 aggregations, 22847 implications, 0 bound changes
12.79/12.85	c    (12.5s) probing aborted: 2000/2000 successive useless probings
12.79/12.85	c (round 5) 229 del vars, 412 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16626 upgd conss, 319806 impls, 0 clqs
12.79/12.88	c (round 6) 229 del vars, 422 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16626 upgd conss, 319806 impls, 0 clqs
12.89/12.93	c (round 7) 232 del vars, 425 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16626 upgd conss, 319806 impls, 0 clqs
12.89/12.97	c (round 8) 235 del vars, 425 del conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16626 upgd conss, 319806 impls, 0 clqs
14.59/14.69	c    (14.3s) probing: 4845/17707 (27.4%) - 3 fixings, 9 aggregations, 23159 implications, 0 bound changes
14.59/14.69	c    (14.3s) probing aborted: 100/100 successive totally useless probings
14.59/14.69	c presolving (9 rounds):
14.59/14.69	c  236 deleted vars, 425 deleted constraints, 8852 tightened bounds, 0 added holes, 446 changed sides, 908 changed coefficients
14.59/14.69	c  320469 implications, 0 cliques
14.59/14.69	c presolved problem has 26519 variables (17692 bin, 0 int, 0 impl, 8827 cont) and 34261 constraints
14.59/14.69	c    8827 constraints of type <indicator>
14.59/14.69	c      12 constraints of type <varbound>
14.59/14.69	c     588 constraints of type <knapsack>
14.59/14.69	c    8815 constraints of type <linear>
14.59/14.69	c   16019 constraints of type <logicor>
14.59/14.69	c transformed objective value is always integral (scale: 1)
14.59/14.69	c Presolving Time: 14.22
14.59/14.69	c - non default parameters ----------------------------------------------------------------------
14.59/14.69	c # SCIP version 1.2.1.2
14.59/14.69	c 
14.59/14.69	c # frequency for displaying node information lines
14.59/14.69	c # [type: int, range: [-1,2147483647], default: 100]
14.59/14.69	c display/freq = 10000
14.59/14.69	c 
14.59/14.69	c # maximal time in seconds to run
14.59/14.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.59/14.69	c limits/time = 1799.76
14.59/14.69	c 
14.59/14.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.59/14.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.59/14.69	c limits/memory = 3420
14.59/14.69	c 
14.59/14.69	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
14.59/14.69	c # [type: int, range: [-1,2147483647], default: 1]
14.59/14.69	c lp/solvefreq = -1
14.59/14.69	c 
14.59/14.69	c # should presolving try to simplify inequalities
14.59/14.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.59/14.69	c constraints/linear/simplifyinequalities = TRUE
14.59/14.69	c 
14.59/14.69	c # should presolving try to simplify knapsacks
14.59/14.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.59/14.69	c constraints/knapsack/simplifyinequalities = TRUE
14.59/14.69	c 
14.59/14.69	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.59/14.69	c # [type: int, range: [-1,2147483647], default: -1]
14.59/14.69	c separating/rapidlearning/freq = 0
14.59/14.69	c 
14.59/14.69	c -----------------------------------------------------------------------------------------------
14.59/14.69	c start solving
14.69/14.70	c 
14.69/14.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.69/14.76	c  14.4s|     1 |     2 |     0 |     - |  98M|   0 |   - |  26k|  34k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
152.19/152.25	c   151s| 10000 | 10001 |     0 |   0.0 | 118M|  79 |   - |  26k|  34k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
297.90/297.96	c   296s| 20000 | 20001 |     0 |   0.0 | 134M|  79 |   - |  26k|  34k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
444.40/444.49	c   442s| 30000 | 29999 |     0 |   0.0 | 149M|  79 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
591.11/591.10	c   588s| 40000 | 39999 |     0 |   0.0 | 163M|  81 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
737.61/737.60	c   734s| 50000 | 49999 |     0 |   0.0 | 177M|  89 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
883.61/883.60	c   880s| 60000 | 59999 |     0 |   0.0 | 190M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1028.92/1028.92	c  1024s| 70000 | 69999 |     0 |   0.0 | 202M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1172.42/1172.42	c  1167s| 80000 | 79999 |     0 |   0.0 | 214M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1316.63/1316.69	c  1311s| 90000 | 89999 |     0 |   0.0 | 226M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1461.43/1461.49	c  1455s|100000 | 99999 |     0 |   0.0 | 239M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1606.33/1606.33	c  1599s|110000 |109997 |     0 |   0.0 | 251M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
1751.14/1751.14	c  1744s|120000 |119997 |     0 |   0.0 | 264M|  97 |   - |  26k|  34k|   0 |   0 |   0 |   2 |   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) : 1792.19
1800.04/1800.01	c Solving Nodes      : 123378
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       :    1792.19
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693604-1277912960.wbo
1800.04/1800.01	c   Variables        : 26755 (17903 binary, 0 integer, 0 implicit integer, 8852 continuous)
1800.04/1800.01	c   Constraints      : 34686 initial, 34686 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693604-1277912960.wbo
1800.04/1800.01	c   Variables        : 26519 (17692 binary, 0 integer, 0 implicit integer, 8827 continuous)
1800.04/1800.01	c   Constraints      : 34261 initial, 34263 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.01         50          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.03          0        149          0          0          0          0          0          0
1800.04/1800.01	c   probing          :      13.69          3          9          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.01          0          0          0          0          0         25          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.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.30         22          3          0       8852          0        393        446        908
1800.04/1800.01	c   logicor          :       0.08          0          0          0          0          0          7          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        :       8827          0     566974          0     123376          0      17123          0          0          0
1800.04/1800.01	c   varbound         :         12          0     566974          0     123376          0          0          0          0          0
1800.04/1800.01	c   knapsack         :        588          0     566974          0     123376          0          0          0          0          0
1800.04/1800.01	c   linear           :       8815          0     566974          0     123376          0      17095          0          0          0
1800.04/1800.01	c   logicor          :      16019+         0     540689          0     123376          2    2261998          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0          0     123376          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        :     302.41       0.00     106.15       0.00     196.26
1800.04/1800.01	c   varbound         :       1.06       0.00       0.32       0.00       0.74
1800.04/1800.01	c   knapsack         :       9.67       0.00       9.08       0.00       0.59
1800.04/1800.01	c   linear           :     120.75       0.00     120.08       0.00       0.67
1800.04/1800.01	c   logicor          :     591.26       0.00      11.59       0.00     579.67
1800.04/1800.01	c   countsols        :       0.04       0.00       0.00       0.00       0.04
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.36      10604          0         29
1800.04/1800.01	c   rootredcost      :       0.08          0          0          0
1800.04/1800.01	c   pseudoobj        :     178.69     554403          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          2          2          2        2.5          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 :          -          -          -          2        2.5          -          -          -
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        :     559.62     123376          0          0          0          0     246752
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.03          0          0
1800.04/1800.01	c   trivial          :       0.06          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.11          0          0
1800.04/1800.01	c   trysol           :       0.01          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            :     123378
1800.04/1800.01	c   nodes (total)    :     123378
1800.04/1800.01	c   nodes left       :     123375
1800.04/1800.01	c   max depth        :         97
1800.04/1800.01	c   max depth (total):         97
1800.04/1800.01	c   backtracks       :       2498 (2.0%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :          2 (113 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.39
1800.04/1800.01	c   switching time   :      12.60
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.34/1800.34	c Time complete: 1800.38.

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-2693604-1277912960/watcher-2693604-1277912960 -o /tmp/evaluation-result-2693604-1277912960/solver-2693604-1277912960 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693604-1277912960.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.92 1.98 1.99 4/178 14739
/proc/meminfo: memFree=31201204/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=8300 CPUtime=0
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 1552 0 0 0 0 0 0 0 22 0 1 0 132591251 8499200 1475 4089446400 4194304 7136930 140733827554928 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14739/statm: 2075 1475 275 719 0 1354 0

[startup+0.046627 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14739
/proc/meminfo: memFree=31201204/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=15448 CPUtime=0.04
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 3336 0 0 0 4 0 0 0 22 0 1 0 132591251 15818752 3259 4089446400 4194304 7136930 140733827554928 18446744073709551615 6163778 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14739/statm: 3862 3259 275 719 0 3141 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15448

[startup+0.100627 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14739
/proc/meminfo: memFree=31201204/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=25508 CPUtime=0.09
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 5882 0 0 0 9 0 0 0 22 0 1 0 132591251 26120192 5805 4089446400 4194304 7136930 140733827554928 18446744073709551615 4373922 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14739/statm: 6377 5805 275 719 0 5656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25508

[startup+0.300578 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14739
/proc/meminfo: memFree=31201204/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=79980 CPUtime=0.29
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 19812 0 0 0 27 2 0 0 22 0 1 0 132591251 81899520 19345 4089446400 4194304 7136930 140733827554928 18446744073709551615 6498213 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 19995 19346 289 719 0 19274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79980

[startup+0.700508 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 14739
/proc/meminfo: memFree=31201204/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=128844 CPUtime=0.69
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 33597 0 0 0 62 7 0 0 24 0 1 0 132591251 131936256 30851 4089446400 4194304 7136930 140733827554928 18446744073709551615 6166242 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 32211 30851 364 719 0 31490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128844

[startup+1.50036 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14740
/proc/meminfo: memFree=31077000/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=134976 CPUtime=1.49
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 36640 0 0 0 141 8 0 0 25 0 1 0 132591251 138215424 32297 4089446400 4194304 7136930 140733827554928 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 33744 32297 393 719 0 33023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134976

[startup+3.10109 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14740
/proc/meminfo: memFree=31071544/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=138808 CPUtime=3.09
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 37618 0 0 0 300 9 0 0 25 0 1 0 132591251 142139392 33275 4089446400 4194304 7136930 140733827554928 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 34702 33275 393 719 0 33981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138808

[startup+6.3005 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14740
/proc/meminfo: memFree=31068804/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=139784 CPUtime=6.29
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 37837 0 0 0 619 10 0 0 25 0 1 0 132591251 143138816 33494 4089446400 4194304 7136930 140733827554928 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 34946 33494 398 719 0 34225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139784

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14741
/proc/meminfo: memFree=31067704/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=140812 CPUtime=12.69
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 38094 0 0 0 1256 13 0 0 25 0 1 0 132591251 144191488 33751 4089446400 4194304 7136930 140733827554928 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 35203 33751 399 719 0 34482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140812

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14741
/proc/meminfo: memFree=31063468/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=147056 CPUtime=25.49
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 43898 0 0 0 2531 18 0 0 25 0 1 0 132591251 150585344 35106 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 36764 35106 410 719 0 36043 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147056

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14741
/proc/meminfo: memFree=31054704/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=154204 CPUtime=51.09
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 45690 0 0 0 5084 25 0 0 25 0 1 0 132591251 157904896 36898 4089446400 4194304 7136930 140733827554928 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14739/statm: 38551 36898 410 719 0 37830 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 154204

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14817
/proc/meminfo: memFree=31074824/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=162324 CPUtime=102.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 47697 0 0 0 10184 46 0 0 25 0 1 0 132591251 166219776 38905 4089446400 4194304 7136930 140733827554928 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 40581 38905 410 719 0 39860 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 162324

[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14819
/proc/meminfo: memFree=31060296/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=172484 CPUtime=162.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 50232 0 0 0 16159 71 0 0 25 0 1 0 132591251 176623616 41440 4089446400 4194304 7136930 140733827554928 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 43121 41440 410 719 0 42400 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 172484

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14820
/proc/meminfo: memFree=31051836/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=177732 CPUtime=222.29
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 51562 0 0 0 22131 98 0 0 25 0 1 0 132591251 181997568 42770 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 44433 42770 410 719 0 43712 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 177732

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14821
/proc/meminfo: memFree=31027128/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=187524 CPUtime=282.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 54020 0 0 0 28106 124 0 0 25 0 1 0 132591251 192024576 45228 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 46881 45228 410 719 0 46160 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 187524

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14823
/proc/meminfo: memFree=30993856/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=197296 CPUtime=342.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 56474 0 0 0 34078 152 0 0 25 0 1 0 132591251 202031104 47682 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 49324 47682 410 719 0 48603 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 197296

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14825
/proc/meminfo: memFree=30958248/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=201548 CPUtime=402.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 57532 0 0 0 40053 177 0 0 25 0 1 0 132591251 206385152 48740 4089446400 4194304 7136930 140733827554928 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 50387 48740 414 719 0 49666 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 201548

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14827
/proc/meminfo: memFree=30906384/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=209120 CPUtime=462.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 59439 0 0 0 46028 202 0 0 25 0 1 0 132591251 214138880 50647 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 52280 50647 414 719 0 51559 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 209120

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14828
/proc/meminfo: memFree=30856876/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=217840 CPUtime=522.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 61634 0 0 0 52003 227 0 0 25 0 1 0 132591251 223068160 52842 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 54460 52842 414 719 0 53739 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 217840

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14829
/proc/meminfo: memFree=30800544/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=225900 CPUtime=582.3
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 63661 0 0 0 57977 253 0 0 25 0 1 0 132591251 231321600 54869 4089446400 4194304 7136930 140733827554928 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 56475 54869 414 719 0 55754 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 225900

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14831
/proc/meminfo: memFree=30752384/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=232244 CPUtime=642.31
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 65292 0 0 0 63952 279 0 0 25 0 1 0 132591251 237817856 56500 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 58061 56500 414 719 0 57340 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 232244

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14848
/proc/meminfo: memFree=30486284/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=263536 CPUtime=942.31
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 73134 0 0 0 93829 402 0 0 25 0 1 0 132591251 269860864 64342 4089446400 4194304 7136930 140733827554928 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 65884 64342 414 719 0 65163 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 263536

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14850
/proc/meminfo: memFree=30434312/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=270988 CPUtime=1002.32
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 74506 0 0 0 99805 427 0 0 25 0 1 0 132591251 277491712 65714 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 67747 65714 414 719 0 67026 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 270988

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14852
/proc/meminfo: memFree=30390640/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=274228 CPUtime=1062.32
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 75335 0 0 0 105778 454 0 0 25 0 1 0 132591251 280809472 66543 4089446400 4194304 7136930 140733827554928 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 68557 66543 414 719 0 67836 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 274228

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14853
/proc/meminfo: memFree=30342872/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=282608 CPUtime=1122.32
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 77450 0 0 0 111753 479 0 0 25 0 1 0 132591251 289390592 68658 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 70652 68658 414 719 0 69931 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 282608

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14854
/proc/meminfo: memFree=30282928/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=290156 CPUtime=1182.32
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 79333 0 0 0 117727 505 0 0 25 0 1 0 132591251 297119744 70541 4089446400 4194304 7136930 140733827554928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 72539 70541 414 719 0 71818 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 290156

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14856
/proc/meminfo: memFree=30227464/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=295568 CPUtime=1242.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 80723 0 0 0 123705 528 0 0 25 0 1 0 132591251 302661632 71931 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 73892 71931 414 719 0 73171 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 295568

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14858
/proc/meminfo: memFree=30172872/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=298584 CPUtime=1302.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 81503 0 0 0 129678 555 0 0 25 0 1 0 132591251 305750016 72711 4089446400 4194304 7136930 140733827554928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 74646 72711 414 719 0 73925 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 298584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14860
/proc/meminfo: memFree=30117772/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=303624 CPUtime=1362.32
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 82760 0 0 0 135657 575 0 0 25 0 1 0 132591251 310910976 73968 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 75906 73968 414 719 0 75185 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 303624

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14861
/proc/meminfo: memFree=30063676/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=310340 CPUtime=1422.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 84447 0 0 0 141634 599 0 0 25 0 1 0 132591251 317788160 75655 4089446400 4194304 7136930 140733827554928 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 77585 75655 414 719 0 76864 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 310340

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14862
/proc/meminfo: memFree=30009944/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=313552 CPUtime=1482.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 85300 0 0 0 147607 626 0 0 25 0 1 0 132591251 321077248 76508 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 78388 76508 414 719 0 77667 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 313552

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14864
/proc/meminfo: memFree=29956968/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=317952 CPUtime=1542.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 86384 0 0 0 153580 653 0 0 25 0 1 0 132591251 325582848 77592 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 79488 77592 414 719 0 78767 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 317952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=29907224/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=323528 CPUtime=1602.34
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 87812 0 0 0 159556 678 0 0 25 0 1 0 132591251 331292672 79020 4089446400 4194304 7136930 140733827554928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 80882 79020 414 719 0 80161 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 323528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14868
/proc/meminfo: memFree=29852008/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=326980 CPUtime=1662.34
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 88676 0 0 0 165531 703 0 0 25 0 1 0 132591251 334827520 79884 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 81745 79884 414 719 0 81024 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 326980

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14869
/proc/meminfo: memFree=29790360/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=337784 CPUtime=1722.33
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 91414 0 0 0 171505 728 0 0 25 0 1 0 132591251 345890816 82622 4089446400 4194304 7136930 140733827554928 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 84446 82622 414 719 0 83725 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 337784

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14870
/proc/meminfo: memFree=29734640/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=342152 CPUtime=1782.34
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 92527 0 0 0 177479 755 0 0 25 0 1 0 132591251 350363648 83735 4089446400 4194304 7136930 140733827554928 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 85538 83735 414 719 0 84817 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 342152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14871
/proc/meminfo: memFree=29718756/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=345052 CPUtime=1800.04
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 93257 0 0 0 179242 762 0 0 25 0 1 0 132591251 353333248 84465 4089446400 4194304 7136930 140733827554928 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14739/statm: 86263 84465 414 719 0 85542 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 345052

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.01 2.00 2.00 3/179 14871
/proc/meminfo: memFree=29718756/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=310328 CPUtime=1800.24
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 93263 0 0 0 179262 762 0 0 18 0 1 0 132591251 317775872 75841 4089446400 4194304 7136930 140733827554928 18446744073709551615 4212198 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14739/statm: 77582 75841 420 719 0 76861 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 310328

[startup+1800.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14871
/proc/meminfo: memFree=29718756/32951124 swapFree=67111528/67111528
[pid=14739] ppid=14737 vsize=275468 CPUtime=1800.34
/proc/14739/stat : 14739 (pbscip.linux.x8) R 14737 14739 14714 0 -1 4202496 93263 0 0 0 179272 762 0 0 18 0 1 0 132591251 282079232 67139 4089446400 4194304 7136930 140733827554928 18446744073709551615 6166200 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14739/statm: 68867 67139 420 719 0 68146 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 275468

Child status: 0
Real time (s): 1800.35
CPU time (s): 1800.4
CPU user time (s): 1792.75
CPU system time (s): 7.64084
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 345052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.75
system time used= 7.64084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 20150

runsolver used 2.96355 second user time and 6.86895 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 17:49:21
IDJOB=2693604
IDBENCH=79004
IDSOLVER=1206
FILE ID=node145/2693604-1277912960
PBS_JOBID= 11197304
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-dlx1c.rwmem.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-2693604-1277912960/watcher-2693604-1277912960 -o /tmp/evaluation-result-2693604-1277912960/solver-2693604-1277912960 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693604-1277912960.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 912ca607d723e7995f4e9e6209c25e32
RANDOM SEED=2114088583

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31201732 kB
Buffers:        197716 kB
Cached:        1268176 kB
SwapCached:          0 kB
Active:         625664 kB
Inactive:       979880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31201732 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:      139844 kB
Mapped:          16924 kB
Slab:            80080 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   289676 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 node145 at 2010-06-30 18:19:23