Trace number 2692564

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.38 1800.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
MD5SUM1889fba1555b8697309aed0b2b80cc12
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.140978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables11956
Total number of constraints39426
Number of soft constraints13393
Number of constraints which are clauses39038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints388
Minimum length of a constraint1
Maximum length of a constraint60
Top cost 678604
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 678603
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 416
Number of bits of the biggest sum of numbers9
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: SoPlex 1.4.2] [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-2692564-1277917565.wbo>
0.29/0.35	c original problem has 38742 variables (25349 bin, 0 int, 0 impl, 13393 cont) and 52820 constraints
0.29/0.35	c problem read
0.29/0.35	c presolving settings loaded
0.89/0.95	c presolving:
1.19/1.25	c (round 1) 1080 del vars, 3295 del conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 591545 impls, 0 clqs
1.39/1.46	c (round 2) 3068 del vars, 10213 del conss, 1576 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 608517 impls, 0 clqs
1.59/1.69	c (round 3) 6822 del vars, 16347 del conss, 2211 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 612702 impls, 0 clqs
1.79/1.85	c (round 4) 10817 del vars, 20534 del conss, 2637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 616347 impls, 0 clqs
1.89/1.96	c (round 5) 13570 del vars, 23114 del conss, 2914 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 618353 impls, 0 clqs
1.99/2.03	c (round 6) 15410 del vars, 24826 del conss, 3116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 619528 impls, 0 clqs
1.99/2.09	c (round 7) 16620 del vars, 26231 del conss, 3300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 620337 impls, 0 clqs
2.10/2.13	c (round 8) 17495 del vars, 27100 del conss, 3391 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 620669 impls, 0 clqs
2.10/2.16	c (round 9) 18133 del vars, 27639 del conss, 3463 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 620946 impls, 0 clqs
2.10/2.19	c (round 10) 18518 del vars, 27990 del conss, 3495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621037 impls, 0 clqs
2.19/2.21	c (round 11) 18775 del vars, 28159 del conss, 3508 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621047 impls, 0 clqs
2.19/2.22	c (round 12) 18916 del vars, 28253 del conss, 3516 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621075 impls, 0 clqs
2.19/2.24	c (round 13) 18991 del vars, 28306 del conss, 3519 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621117 impls, 0 clqs
2.19/2.25	c (round 14) 19034 del vars, 28335 del conss, 3521 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621129 impls, 0 clqs
2.19/2.27	c (round 15) 19056 del vars, 28346 del conss, 3522 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621129 impls, 0 clqs
2.19/2.28	c (round 16) 19064 del vars, 28349 del conss, 3522 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621129 impls, 0 clqs
2.29/2.32	c (round 17) 19066 del vars, 28350 del conss, 10141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 621129 impls, 0 clqs
2.39/2.45	c (round 18) 19067 del vars, 28350 del conss, 10141 chg bounds, 0 chg sides, 0 chg coeffs, 11755 upgd conss, 621129 impls, 0 clqs
6.99/7.05	c    (6.3s) probing: 1000/13056 (7.7%) - 0 fixings, 0 aggregations, 87622 implications, 0 bound changes
9.59/9.68	c    (8.9s) probing: 2000/13056 (15.3%) - 0 fixings, 0 aggregations, 100601 implications, 0 bound changes
9.59/9.68	c    (8.9s) probing: 2001/13056 (15.3%) - 0 fixings, 0 aggregations, 100609 implications, 0 bound changes
9.59/9.68	c    (8.9s) probing aborted: 2000/2000 successive useless probings
9.59/9.68	c presolving (19 rounds):
9.59/9.68	c  19067 deleted vars, 28350 deleted constraints, 10141 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
9.59/9.68	c  1040102 implications, 0 cliques
9.59/9.68	c presolved problem has 19675 variables (13056 bin, 0 int, 0 impl, 6619 cont) and 24470 constraints
9.59/9.68	c    6619 constraints of type <indicator>
9.59/9.68	c     523 constraints of type <varbound>
9.59/9.68	c     240 constraints of type <knapsack>
9.59/9.68	c    6096 constraints of type <linear>
9.59/9.68	c   10992 constraints of type <logicor>
9.59/9.68	c transformed objective value is always integral (scale: 1)
9.59/9.68	c Presolving Time: 8.84
9.59/9.68	c - non default parameters ----------------------------------------------------------------------
9.59/9.68	c # SCIP version 1.2.1.2
9.59/9.68	c 
9.59/9.68	c # frequency for displaying node information lines
9.59/9.68	c # [type: int, range: [-1,2147483647], default: 100]
9.59/9.68	c display/freq = 10000
9.59/9.68	c 
9.59/9.68	c # maximal time in seconds to run
9.59/9.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.59/9.68	c limits/time = 1799.65
9.59/9.68	c 
9.59/9.68	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.59/9.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.59/9.68	c limits/memory = 3420
9.59/9.68	c 
9.59/9.68	c # should presolving try to simplify inequalities
9.59/9.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.59/9.68	c constraints/linear/simplifyinequalities = TRUE
9.59/9.68	c 
9.59/9.68	c # should presolving try to simplify knapsacks
9.59/9.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.59/9.68	c constraints/knapsack/simplifyinequalities = TRUE
9.59/9.68	c 
9.59/9.68	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.59/9.68	c # [type: int, range: [-1,2147483647], default: -1]
9.59/9.68	c separating/rapidlearning/freq = 0
9.59/9.68	c 
9.59/9.68	c -----------------------------------------------------------------------------------------------
9.59/9.68	c start solving
9.59/9.69	c 
9.99/10.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.99/10.00	c   9.2s|     1 |     0 |  1463 |     - | 145M|   0 | 422 |  19k|  24k|  19k|  11k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.39/13.46	c  12.5s|     1 |     0 |  8561 |     - | 147M|   0 | 358 |  19k|  24k|  19k|  12k|1682 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.50/16.59	c  15.6s|     1 |     0 | 10946 |     - | 148M|   0 | 554 |  19k|  24k|  19k|  13k|2069 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.59/24.66	c  23.6s|     1 |     0 | 17720 |     - | 149M|   0 | 769 |  19k|  24k|  19k|  13k|2374 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
29.79/29.88	c  28.8s|     1 |     0 | 20971 |     - | 150M|   0 |1228 |  19k|  24k|  19k|  13k|2758 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
44.70/44.79	c  43.6s|     1 |     0 | 28987 |     - | 150M|   0 |1130 |  19k|  24k|  19k|  14k|3104 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
56.00/56.03	c  54.8s|     1 |     0 | 34696 |     - | 150M|   0 |1688 |  19k|  24k|  19k|  14k|3436 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
142.09/142.12	c   140s|     1 |     2 | 34696 |     - | 151M|   0 |1688 |  19k|  24k|  19k|  14k|3436 |   0 |  62 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.03	c 
1800.05/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.03	c Solving Time (sec) : 1787.16
1800.05/1800.03	c Solving Nodes      : 250
1800.05/1800.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.03	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.03	c Gap                : infinite
1800.05/1800.03	s UNKNOWN
1800.05/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.03	c Solving Time       :    1787.16
1800.05/1800.03	c Original Problem   :
1800.05/1800.03	c   Problem name     : HOME/instance-2692564-1277917565.wbo
1800.05/1800.03	c   Variables        : 38742 (25349 binary, 0 integer, 0 implicit integer, 13393 continuous)
1800.05/1800.03	c   Constraints      : 52820 initial, 52820 maximal
1800.05/1800.03	c Presolved Problem  :
1800.05/1800.03	c   Problem name     : t_HOME/instance-2692564-1277917565.wbo
1800.05/1800.03	c   Variables        : 19675 (13056 binary, 0 integer, 0 implicit integer, 6619 continuous)
1800.05/1800.03	c   Constraints      : 24470 initial, 24485 maximal
1800.05/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.03	c   trivial          :       0.02        131          0          0          0          0          0          0          0
1800.05/1800.03	c   dualfix          :       0.07      14329          0          0          0          0          0          0          0
1800.05/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   implics          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.03	c   probing          :       7.06          0          0          0          0          0          0          0          0
1800.05/1800.03	c   indicator        :       0.33          0          0          0          0          0       6774          0          0
1800.05/1800.03	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   knapsack         :       0.03          0          0          0          0          0          0          0          2
1800.05/1800.03	c   linear           :       0.78       3396       1211          0      10141          0      21576          0          0
1800.05/1800.03	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.03	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.03	c   integral         :          0          0          0        250          0          0          0          0          0        500
1800.05/1800.03	c   indicator        :       6619          0      33834          0          0          0         96          0          0          0
1800.05/1800.03	c   varbound         :        523          6      33834          0          0          0         23        301          0          0
1800.05/1800.03	c   knapsack         :        240          6      33834          0          0          0          6        959          0          0
1800.05/1800.03	c   linear           :       6096          6      33834          0          0          0         18       1200          0          0
1800.05/1800.03	c   logicor          :      10992+         6      28760          0          0          2       5799          0          0          0
1800.05/1800.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.03	c   integral         :     509.30       0.00       0.00     509.30       0.00
1800.05/1800.03	c   indicator        :       3.89       0.00       3.89       0.00       0.00
1800.05/1800.03	c   varbound         :       0.31       0.00       0.31       0.00       0.00
1800.05/1800.03	c   knapsack         :       0.62       0.01       0.61       0.00       0.00
1800.05/1800.03	c   linear           :       3.78       0.03       3.75       0.00       0.00
1800.05/1800.03	c   logicor          :       0.65       0.00       0.65       0.00       0.00
1800.05/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.03	c   vbounds          :       0.80       5215          0         55
1800.05/1800.03	c   rootredcost      :       0.01          0          0          0
1800.05/1800.03	c   pseudoobj        :       3.46      20432          0          0
1800.05/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.03	c   propagation      :       0.00          2          2          2        7.0          0        0.0          -
1800.05/1800.03	c   infeasible LP    :       0.02         12         12         13        6.6          0        0.0          0
1800.05/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.03	c   applied globally :          -          -          -         15        6.7          -          -          -
1800.05/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.03	c   cut pool         :       0.00          5          -          -        325          -    (maximal pool size: 3062)
1800.05/1800.03	c   redcost          :       0.24        255          0          0          0          0
1800.05/1800.03	c   impliedbounds    :       0.02          6          0          0       1518          0
1800.05/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.03	c   gomory           :       5.54          6          0          0       1579          0
1800.05/1800.03	c   strongcg         :       4.65          6          0          0       1151          0
1800.05/1800.03	c   cmir             :       0.86          6          0          0          0          0
1800.05/1800.03	c   flowcover        :       2.48          6          0          0        996          0
1800.05/1800.03	c   clique           :       0.53          6          0          0         36          0
1800.05/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.03	c   mcf              :       0.02          1          0          0          0          0
1800.05/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.03	c Pricers            :       Time      Calls       Vars
1800.05/1800.03	c   problem variables:       0.00          0          0
1800.05/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.03	c   relpscost        :     509.29        250          0          0          0          0        500
1800.05/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   inference        :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.03	c   LP solutions     :       0.00          -          0
1800.05/1800.03	c   pseudo solutions :       0.00          -          0
1800.05/1800.03	c   oneopt           :       0.00          0          0
1800.05/1800.03	c   crossover        :       0.00          0          0
1800.05/1800.03	c   veclendiving     :     133.17          2          0
1800.05/1800.03	c   objpscostdiving  :      82.05          1          0
1800.05/1800.03	c   coefdiving       :     108.78          5          0
1800.05/1800.03	c   feaspump         :      14.37          5          0
1800.05/1800.03	c   trivial          :       0.45          2          0
1800.05/1800.03	c   simplerounding   :       0.00        256          0
1800.05/1800.03	c   zirounding       :       0.08        250          0
1800.05/1800.03	c   rounding         :       0.20        178          0
1800.05/1800.03	c   shifting         :       0.66         26          0
1800.05/1800.03	c   intshifting      :       0.12          5          0
1800.05/1800.03	c   twoopt           :       0.00          0          0
1800.05/1800.03	c   fixandinfer      :       0.00          0          0
1800.05/1800.03	c   pscostdiving     :     117.20          3          0
1800.05/1800.03	c   fracdiving       :     125.56          5          0
1800.05/1800.03	c   intdiving        :       0.00          0          0
1800.05/1800.03	c   actconsdiving    :       0.00          0          0
1800.05/1800.03	c   rootsoldiving    :      21.50          2          0
1800.05/1800.03	c   linesearchdiving :     112.02          4          0
1800.05/1800.03	c   guideddiving     :       0.00          0          0
1800.05/1800.03	c   octane           :       0.00          0          0
1800.05/1800.03	c   rens             :       0.20          1          0
1800.05/1800.03	c   rins             :       0.00          0          0
1800.05/1800.03	c   localbranching   :       0.00          0          0
1800.05/1800.03	c   mutation         :       0.00          0          0
1800.05/1800.03	c   dins             :       0.00          0          0
1800.05/1800.03	c   undercover       :       0.00          0          0
1800.05/1800.03	c   nlp              :       0.00          0          0
1800.05/1800.03	c   trysol           :       0.12         14          0
1800.05/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.03	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.03	c   dual LP          :     535.73        256     463643    1811.11     865.44
1800.05/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.03	c   diving/probing LP:     669.81       9332     577543      61.89     862.25
1800.05/1800.03	c   strong branching :     509.21        575     401762     698.72     788.99
1800.05/1800.03	c     (at root node) :          -         62      61501     991.95          -
1800.05/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.03	c B&B Tree           :
1800.05/1800.03	c   number of runs   :          1
1800.05/1800.03	c   nodes            :        250
1800.05/1800.03	c   nodes (total)    :        250
1800.05/1800.03	c   nodes left       :        251
1800.05/1800.03	c   max depth        :         44
1800.05/1800.03	c   max depth (total):         44
1800.05/1800.03	c   backtracks       :         77 (30.8%)
1800.05/1800.03	c   delayed cutoffs  :          0
1800.05/1800.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.03	c   avg switch length:       3.29
1800.05/1800.03	c   switching time   :       0.18
1800.05/1800.03	c Solution           :
1800.05/1800.03	c   Solutions found  :          0 (0 improvements)
1800.05/1800.03	c   Primal Bound     :          -
1800.05/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.03	c   Gap              :   infinite
1800.05/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.03	c   Root Iterations  :      34696
1800.35/1800.33	c Time complete: 1800.37.

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-2692564-1277917565/watcher-2692564-1277917565 -o /tmp/evaluation-result-2692564-1277917565/solver-2692564-1277917565 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692564-1277917565.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.07 2.02 2.06 4/182 15212
/proc/meminfo: memFree=30705288/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=8992 CPUtime=0
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1572 0 0 0 0 0 0 0 19 0 1 0 133052660 9207808 1492 4089446400 4194304 8223781 140733855345088 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 2248 1492 369 984 0 1261 0

[startup+0.0681151 s]
/proc/loadavg: 2.07 2.02 2.06 4/182 15212
/proc/meminfo: memFree=30705288/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=23868 CPUtime=0.06
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5261 0 0 0 6 0 0 0 19 0 1 0 133052660 24440832 5181 4089446400 4194304 8223781 140733855345088 18446744073709551615 5648823 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 5967 5181 369 984 0 4980 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23868

[startup+0.101112 s]
/proc/loadavg: 2.07 2.02 2.06 4/182 15212
/proc/meminfo: memFree=30705288/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=28016 CPUtime=0.09
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 6321 0 0 0 9 0 0 0 20 0 1 0 133052660 28688384 6241 4089446400 4194304 8223781 140733855345088 18446744073709551615 6640031 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 7004 6241 369 984 0 6017 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28016

[startup+0.3011 s]
/proc/loadavg: 2.07 2.02 2.06 4/182 15212
/proc/meminfo: memFree=30705288/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=59136 CPUtime=0.29
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 14090 0 0 0 28 1 0 0 20 0 1 0 133052660 60555264 14010 4089446400 4194304 8223781 140733855345088 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 14784 14010 369 984 0 13797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136

[startup+0.701018 s]
/proc/loadavg: 2.07 2.02 2.06 4/182 15212
/proc/meminfo: memFree=30705288/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=154960 CPUtime=0.69
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 37031 0 0 0 66 3 0 0 21 0 1 0 133052660 158679040 36551 4089446400 4194304 8223781 140733855345088 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 38740 36551 422 984 0 37753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 154960

[startup+1.50083 s]
/proc/loadavg: 2.07 2.02 2.06 3/183 15213
/proc/meminfo: memFree=30554744/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=180404 CPUtime=1.49
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 44026 0 0 0 138 11 0 0 23 0 1 0 133052660 184733696 43032 4089446400 4194304 8223781 140733855345088 18446744073709551615 4332871 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 45101 43032 449 984 0 44114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180404

[startup+3.10055 s]
/proc/loadavg: 2.07 2.02 2.06 3/183 15213
/proc/meminfo: memFree=30533812/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=190416 CPUtime=3.09
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 52611 0 0 0 280 29 0 0 25 0 1 0 133052660 194985984 45533 4089446400 4194304 8223781 140733855345088 18446744073709551615 4661085 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 47604 45533 490 984 0 46617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190416

[startup+6.30099 s]
/proc/loadavg: 2.07 2.02 2.06 3/183 15213
/proc/meminfo: memFree=30519304/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=197992 CPUtime=6.29
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 54498 0 0 0 595 34 0 0 25 0 1 0 133052660 202743808 47420 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 49498 47420 490 984 0 48511 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 197992

[startup+12.7008 s]
/proc/loadavg: 2.06 2.02 2.05 3/183 15214
/proc/meminfo: memFree=30483532/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=237412 CPUtime=12.69
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 68529 0 0 0 1207 62 0 0 25 0 1 0 133052660 243109888 56355 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 59353 56355 602 984 0 58366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 237412

[startup+25.5005 s]
/proc/loadavg: 2.05 2.02 2.05 3/183 15214
/proc/meminfo: memFree=30464232/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=242888 CPUtime=25.49
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 86376 0 0 0 2476 73 0 0 25 0 1 0 133052660 248717312 57694 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 60722 57694 593 984 0 59735 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 242888

[startup+51.1008 s]
/proc/loadavg: 2.03 2.02 2.05 3/183 15214
/proc/meminfo: memFree=30432688/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=248004 CPUtime=51.09
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 116951 0 0 0 5023 86 0 0 25 0 1 0 133052660 253956096 58839 4089446400 4194304 8223781 140733855345088 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62001 58839 594 984 0 61014 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 248004

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 15216
/proc/meminfo: memFree=30345368/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=248188 CPUtime=102.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 276497 0 0 0 10111 119 0 0 25 0 1 0 133052660 254144512 58873 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62047 58873 608 984 0 61060 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 248188

[startup+162.301 s]
/proc/loadavg: 2.19 2.07 2.06 3/183 15218
/proc/meminfo: memFree=30262872/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=247328 CPUtime=162.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 439650 0 0 0 16076 154 0 0 25 0 1 0 133052660 253263872 58460 4089446400 4194304 8223781 140733855345088 18446744073709551615 6446828 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 61832 58460 608 984 0 60845 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 247328

[startup+222.301 s]
/proc/loadavg: 2.07 2.05 2.06 3/183 15219
/proc/meminfo: memFree=30239928/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=249340 CPUtime=222.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 600238 0 0 0 22043 187 0 0 25 0 1 0 133052660 255324160 59087 4089446400 4194304 8223781 140733855345088 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62335 59087 608 984 0 61348 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 249340

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 15221
/proc/meminfo: memFree=30161276/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=247668 CPUtime=282.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 762309 0 0 0 28009 221 0 0 25 0 1 0 133052660 253612032 58791 4089446400 4194304 8223781 140733855345088 18446744073709551615 6598986 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 61917 58791 608 984 0 60930 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 247668

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.04 3/183 15222
/proc/meminfo: memFree=30100856/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=247528 CPUtime=342.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 931622 0 0 0 33975 255 0 0 25 0 1 0 133052660 253468672 58795 4089446400 4194304 8223781 140733855345088 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 61882 58795 608 984 0 60895 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 247528

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 15224
/proc/meminfo: memFree=30023684/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=251264 CPUtime=402.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1140213 0 0 0 39939 291 0 0 25 0 1 0 133052660 257294336 59632 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62816 59632 608 984 0 61829 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 251264

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.03 3/183 15226
/proc/meminfo: memFree=30002568/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=251176 CPUtime=462.3
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1318050 0 0 0 45904 326 0 0 25 0 1 0 133052660 257204224 59635 4089446400 4194304 8223781 140733855345088 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62794 59635 608 984 0 61807 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 251176

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 15227
/proc/meminfo: memFree=29956152/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=250520 CPUtime=522.31
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1644191 0 0 0 51855 376 0 0 25 0 1 0 133052660 256532480 59532 4089446400 4194304 8223781 140733855345088 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62630 59532 610 984 0 61643 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 250520

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 15229
/proc/meminfo: memFree=29895232/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=251464 CPUtime=582.31
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1842715 0 0 0 57819 412 0 0 25 0 1 0 133052660 257499136 59722 4089446400 4194304 8223781 140733855345088 18446744073709551615 6569745 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62866 59722 610 984 0 61879 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 251464

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 15230
/proc/meminfo: memFree=29823528/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=251308 CPUtime=642.31
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 1955848 0 0 0 63790 441 0 0 25 0 1 0 133052660 257339392 59683 4089446400 4194304 8223781 140733855345088 18446744073709551615 6571424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 62827 59683 610 984 0 61840 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 251308

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15238
/proc/meminfo: memFree=29598300/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=253180 CPUtime=942.31
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 3205973 0 0 0 93561 670 0 0 25 0 1 0 133052660 259256320 60157 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63295 60157 611 984 0 62308 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 253180

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15240
/proc/meminfo: memFree=29549420/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255168 CPUtime=1002.32
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 3405296 0 0 0 99522 710 0 0 25 0 1 0 133052660 261292032 60671 4089446400 4194304 8223781 140733855345088 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63792 60671 611 984 0 62805 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 255168

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15242
/proc/meminfo: memFree=29484920/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255200 CPUtime=1062.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 3585591 0 0 0 105483 750 0 0 25 0 1 0 133052660 261324800 60645 4089446400 4194304 8223781 140733855345088 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63800 60645 611 984 0 62813 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 255200

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15243
/proc/meminfo: memFree=29455496/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255264 CPUtime=1122.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 3772162 0 0 0 111444 789 0 0 25 0 1 0 133052660 261390336 60648 4089446400 4194304 8223781 140733855345088 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63816 60648 611 984 0 62829 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 255264

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15245
/proc/meminfo: memFree=29429932/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255132 CPUtime=1182.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4012662 0 0 0 117403 830 0 0 25 0 1 0 133052660 261255168 60669 4089446400 4194304 8223781 140733855345088 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63783 60669 611 984 0 62796 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 255132

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15246
/proc/meminfo: memFree=29386988/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255300 CPUtime=1242.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4172975 0 0 0 123364 869 0 0 25 0 1 0 133052660 261427200 60712 4089446400 4194304 8223781 140733855345088 18446744073709551615 6569392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63825 60712 611 984 0 62838 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 255300

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15248
/proc/meminfo: memFree=29370728/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255292 CPUtime=1302.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4337988 0 0 0 129330 904 0 0 25 0 1 0 133052660 261419008 60744 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63823 60744 611 984 0 62836 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 255292

[startup+1362.3 s]
/proc/loadavg: 2.19 2.06 2.02 5/201 15464
/proc/meminfo: memFree=30993996/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255144 CPUtime=1362.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4462579 0 0 0 135297 936 0 0 25 0 1 0 133052660 261267456 60668 4089446400 4194304 8223781 140733855345088 18446744073709551615 6539294 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63786 60668 611 984 0 62799 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 255144

[startup+1422.31 s]
/proc/loadavg: 2.17 2.08 2.02 3/201 15465
/proc/meminfo: memFree=30960788/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=254984 CPUtime=1422.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4628511 0 0 0 141258 976 0 0 25 0 1 0 133052660 261103616 60342 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63746 60342 611 984 0 62759 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 254984

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/201 15467
/proc/meminfo: memFree=30960380/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255204 CPUtime=1482.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4778304 0 0 0 147218 1016 0 0 25 0 1 0 133052660 261328896 60686 4089446400 4194304 8223781 140733855345088 18446744073709551615 6560146 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63801 60686 611 984 0 62814 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 255204

[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/201 15471
/proc/meminfo: memFree=30957852/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=256044 CPUtime=1542.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 4985607 0 0 0 153167 1066 0 0 25 0 1 0 133052660 262189056 60932 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 64011 60932 611 984 0 63024 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 256044

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/201 15473
/proc/meminfo: memFree=30957968/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=256096 CPUtime=1602.33
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5160470 0 0 0 159121 1112 0 0 25 0 1 0 133052660 262242304 60937 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 64024 60937 611 984 0 63037 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 256096

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/201 15475
/proc/meminfo: memFree=30958428/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255924 CPUtime=1662.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5305778 0 0 0 165083 1151 0 0 25 0 1 0 133052660 262066176 60867 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63981 60867 611 984 0 62994 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 255924

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/201 15476
/proc/meminfo: memFree=30958260/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=256048 CPUtime=1722.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5469836 0 0 0 171039 1195 0 0 25 0 1 0 133052660 262193152 60876 4089446400 4194304 8223781 140733855345088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 64012 60876 611 984 0 63025 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 256048

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/201 15478
/proc/meminfo: memFree=30958476/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=255872 CPUtime=1782.34
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5636589 0 0 0 177000 1234 0 0 25 0 1 0 133052660 262012928 60823 4089446400 4194304 8223781 140733855345088 18446744073709551615 6505896 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 63968 60823 611 984 0 62981 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 255872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/201 15478
/proc/meminfo: memFree=30955368/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=258944 CPUtime=1800.05
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5801389 0 0 0 178747 1258 0 0 25 0 1 0 133052660 265158656 61552 4089446400 4194304 8223781 140733855345088 18446744073709551615 6599018 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15212/statm: 64736 61552 611 984 0 63749 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 258944

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.02 2.03 2.00 3/201 15478
/proc/meminfo: memFree=30955368/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=243420 CPUtime=1800.24
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5802106 0 0 0 178766 1258 0 0 25 0 1 0 133052660 249262080 57550 4089446400 4194304 8223781 140733855345088 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 60855 57550 612 984 0 59868 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 243420

[startup+1800.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/201 15478
/proc/meminfo: memFree=30955368/32951124 swapFree=67111528/67111528
[pid=15212] ppid=15210 vsize=96312 CPUtime=1800.35
/proc/15212/stat : 15212 (pbscip.linux.x8) R 15210 15212 14291 0 -1 4202496 5802106 0 0 0 178776 1259 0 0 25 0 1 0 133052660 98623488 23094 4089446400 4194304 8223781 140733855345088 18446744073709551615 6207252 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15212/statm: 24078 23094 612 984 0 23091 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 96312

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.38
CPU user time (s): 1787.79
CPU system time (s): 12.5961
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 308880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.79
system time used= 12.5961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5802110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3440

runsolver used 3.34149 second user time and 6.37303 second system time

The end

Launcher Data 

Begin job on node134 at 2010-06-30 19:06:05
IDJOB=2692564
IDBENCH=79092
IDSOLVER=1204
FILE ID=node134/2692564-1277917565
PBS_JOBID= 11197275
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6030_9-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692564-1277917565/watcher-2692564-1277917565 -o /tmp/evaluation-result-2692564-1277917565/solver-2692564-1277917565 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692564-1277917565.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 1889fba1555b8697309aed0b2b80cc12
RANDOM SEED=1762020706

node134.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.818
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.63
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.818
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.818
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.818
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	: 7397.66
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.818
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.67
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.818
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.84
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.818
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.74
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.818
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:     32951124 kB
MemFree:      30705692 kB
Buffers:        204380 kB
Cached:        1098720 kB
SwapCached:          0 kB
Active:        1396536 kB
Inactive:       702124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30705692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6296 kB
Writeback:           0 kB
AnonPages:      795744 kB
Mapped:          15212 kB
Slab:            80776 kB
PageTables:       6268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   940812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 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 node134 at 2010-06-30 19:36:07