Trace number 2693173

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.61 1800.63

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
MD5SUMc93ff145655ec29711075f2ee972c9ae
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.12698
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables13832
Total number of constraints45398
Number of soft constraints15436
Number of constraints which are clauses45098
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint73
Top cost 781630
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 781629
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 479
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: Clp 1.11.1] [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-2693173-1277917016.wbo>
0.29/0.39	c original problem has 44704 variables (29268 bin, 0 int, 0 impl, 15436 cont) and 60835 constraints
0.29/0.39	c problem read
0.29/0.39	c presolving settings loaded
1.10/1.16	c presolving:
1.49/1.52	c (round 1) 1548 del vars, 5010 del conss, 961 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 609566 impls, 0 clqs
1.79/1.82	c (round 2) 4535 del vars, 14734 del conss, 2285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 624257 impls, 0 clqs
2.09/2.17	c (round 3) 9890 del vars, 23974 del conss, 3282 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 637279 impls, 0 clqs
2.39/2.45	c (round 4) 15865 del vars, 30216 del conss, 4059 chg bounds, 11 chg sides, 14 chg coeffs, 0 upgd conss, 647282 impls, 0 clqs
2.59/2.62	c (round 5) 20282 del vars, 34651 del conss, 4642 chg bounds, 12 chg sides, 15 chg coeffs, 0 upgd conss, 650665 impls, 0 clqs
2.69/2.75	c (round 6) 23348 del vars, 37762 del conss, 5036 chg bounds, 21 chg sides, 27 chg coeffs, 0 upgd conss, 652625 impls, 0 clqs
2.79/2.83	c (round 7) 25456 del vars, 39763 del conss, 5245 chg bounds, 26 chg sides, 34 chg coeffs, 0 upgd conss, 653888 impls, 0 clqs
2.79/2.89	c (round 8) 26903 del vars, 41057 del conss, 5404 chg bounds, 26 chg sides, 34 chg coeffs, 0 upgd conss, 654669 impls, 0 clqs
2.89/2.93	c (round 9) 27820 del vars, 41888 del conss, 5477 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655145 impls, 0 clqs
2.89/2.95	c (round 10) 28404 del vars, 42301 del conss, 5508 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655201 impls, 0 clqs
2.89/2.97	c (round 11) 28699 del vars, 42477 del conss, 5525 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655203 impls, 0 clqs
2.89/2.98	c (round 12) 28836 del vars, 42557 del conss, 5534 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655215 impls, 0 clqs
2.89/2.99	c (round 13) 28912 del vars, 42621 del conss, 5549 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655227 impls, 0 clqs
2.99/3.01	c (round 14) 28963 del vars, 42693 del conss, 5559 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.02	c (round 15) 29013 del vars, 42746 del conss, 5563 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.03	c (round 16) 29057 del vars, 42781 del conss, 5568 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.04	c (round 17) 29082 del vars, 42800 del conss, 5571 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.05	c (round 18) 29095 del vars, 42814 del conss, 5573 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.06	c (round 19) 29106 del vars, 42825 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.07	c (round 20) 29113 del vars, 42831 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
2.99/3.08	c (round 21) 29120 del vars, 42834 del conss, 5575 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
3.08/3.11	c (round 22) 29123 del vars, 42835 del conss, 10830 chg bounds, 29 chg sides, 38 chg coeffs, 0 upgd conss, 655245 impls, 0 clqs
3.19/3.25	c (round 23) 29124 del vars, 42835 del conss, 10830 chg bounds, 29 chg sides, 38 chg coeffs, 8350 upgd conss, 655245 impls, 0 clqs
3.29/3.30	c (round 24) 29124 del vars, 42836 del conss, 10830 chg bounds, 52 chg sides, 82 chg coeffs, 8350 upgd conss, 656105 impls, 0 clqs
3.29/3.34	c (round 25) 29124 del vars, 42836 del conss, 10830 chg bounds, 61 chg sides, 96 chg coeffs, 8350 upgd conss, 656105 impls, 0 clqs
5.18/5.27	c    (4.7s) probing: 1000/10325 (9.7%) - 0 fixings, 0 aggregations, 15919 implications, 0 bound changes
6.58/6.62	c    (6.0s) probing: 2000/10325 (19.4%) - 0 fixings, 0 aggregations, 18175 implications, 0 bound changes
6.58/6.62	c    (6.0s) probing: 2001/10325 (19.4%) - 0 fixings, 0 aggregations, 18175 implications, 0 bound changes
6.58/6.62	c    (6.0s) probing aborted: 2000/2000 successive useless probings
6.58/6.62	c presolving (26 rounds):
6.58/6.62	c  29124 deleted vars, 42836 deleted constraints, 10830 tightened bounds, 0 added holes, 61 changed sides, 96 changed coefficients
6.58/6.62	c  727256 implications, 0 cliques
6.58/6.62	c presolved problem has 15580 variables (10325 bin, 0 int, 0 impl, 5255 cont) and 18008 constraints
6.58/6.62	c    5255 constraints of type <indicator>
6.58/6.62	c     860 constraints of type <varbound>
6.58/6.62	c     200 constraints of type <knapsack>
6.58/6.62	c       9 constraints of type <setppc>
6.58/6.62	c    4395 constraints of type <linear>
6.58/6.62	c    7289 constraints of type <logicor>
6.58/6.62	c transformed objective value is always integral (scale: 1)
6.58/6.62	c Presolving Time: 5.92
6.58/6.62	c - non default parameters ----------------------------------------------------------------------
6.58/6.62	c # SCIP version 1.2.1.2
6.58/6.62	c 
6.58/6.62	c # frequency for displaying node information lines
6.58/6.62	c # [type: int, range: [-1,2147483647], default: 100]
6.58/6.62	c display/freq = 10000
6.58/6.62	c 
6.58/6.62	c # maximal time in seconds to run
6.58/6.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.58/6.62	c limits/time = 1799.62
6.58/6.62	c 
6.58/6.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.58/6.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.58/6.62	c limits/memory = 3420
6.58/6.62	c 
6.58/6.62	c # should presolving try to simplify inequalities
6.58/6.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.58/6.62	c constraints/linear/simplifyinequalities = TRUE
6.58/6.62	c 
6.58/6.62	c # should presolving try to simplify knapsacks
6.58/6.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.58/6.62	c constraints/knapsack/simplifyinequalities = TRUE
6.58/6.62	c 
6.58/6.62	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.58/6.62	c # [type: int, range: [-1,2147483647], default: -1]
6.58/6.62	c separating/rapidlearning/freq = 0
6.58/6.62	c 
6.58/6.62	c -----------------------------------------------------------------------------------------------
6.58/6.62	c start solving
6.58/6.63	c 
6.58/6.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.58/6.69	c   6.1s|     1 |     0 |     0 |     - | 142M|   0 |   0 |  15k|  18k|  15k|7498 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.68/6.73	c   6.2s|     1 |     0 |   745 |     - | 142M|   0 |   2 |  15k|  18k|  15k|8185 | 687 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.28/7.38	c   6.8s|     1 |     0 |   852 |     - | 143M|   0 |   2 |  15k|  18k|  15k|8274 | 776 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.88/7.94	c   7.3s|     1 |     0 |   868 |     - | 143M|   0 |   1 |  15k|  18k|  15k|8288 | 790 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.48/8.50	c   7.9s|     1 |     0 |   877 |     - | 143M|   0 |   7 |  15k|  18k|  15k|8294 | 796 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.97/9.06	c   8.4s|     1 |     0 |   918 |     - | 143M|   0 |  14 |  15k|  18k|  15k|8307 | 809 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.57/9.64	c   9.0s|     1 |     0 |   931 |     - | 143M|   0 |   7 |  15k|  18k|  15k|8360 | 862 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.17/10.24	c   9.6s|     1 |     0 |   937 |     - | 143M|   0 |   6 |  15k|  18k|  15k|8365 | 867 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.77/10.84	c  10.2s|     1 |     0 |   945 |     - | 143M|   0 |   7 |  15k|  18k|  15k|8369 | 871 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.07/11.15	c  10.4s|     1 |     2 |   945 |     - | 145M|   0 |   7 |  15k|  18k|  15k|8369 | 871 |   0 |   7 | 0.000000e+00 |      --      |    Inf 
270.33/270.45	c   256s| 10000 | 10001 |104628 |  10.4 | 218M| 109 |   0 |  15k|  18k|  15k|8592 |  24k|  15 |6607 | 0.000000e+00 |      --      |    Inf 
457.24/457.33	c   436s| 20000 | 20001 |149320 |   7.4 | 292M| 119 |   0 |  15k|  18k|  15k|8696 |  39k|  15 |7461 | 0.000000e+00 |      --      |    Inf 
645.05/645.18	c   618s| 30000 | 30001 |199990 |   6.6 | 365M| 129 |   0 |  15k|  18k|  15k|8642 |  56k|  15 |8719 | 0.000000e+00 |      --      |    Inf 
812.14/812.24	c   780s| 40000 | 40001 |224724 |   5.6 | 436M| 163 |  10 |  15k|  18k|  15k|8569 |  65k|  15 |8916 | 0.000000e+00 |      --      |    Inf 
969.14/969.26	c   932s| 50000 | 50001 |242845 |   4.8 | 507M| 163 |   0 |  15k|  18k|  15k|8695 |  73k|  15 |9066 | 0.000000e+00 |      --      |    Inf 
1126.26/1126.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1126.26/1126.34	c  1084s| 60000 | 60001 |260412 |   4.3 | 577M| 163 |   0 |  15k|  18k|  15k|8600 |  80k|  15 |9298 | 0.000000e+00 |      --      |    Inf 
1283.05/1283.17	c  1235s| 70000 | 70001 |279591 |   4.0 | 647M| 163 |  76 |  15k|  18k|  15k|8564 |  87k|  15 |9623 | 0.000000e+00 |      --      |    Inf 
1440.36/1440.45	c  1387s| 80000 | 80001 |298813 |   3.7 | 718M| 163 |   0 |  15k|  18k|  15k|8617 |  95k|  15 |9987 | 0.000000e+00 |      --      |    Inf 
1590.47/1590.60	c  1532s| 90000 | 90001 |312061 |   3.5 | 788M| 163 |   0 |  15k|  18k|  15k|8609 | 101k|  15 |  10k| 0.000000e+00 |      --      |    Inf 
1746.86/1746.93	c  1684s|100000 |100001 |334991 |   3.3 | 859M| 163 |   0 |  15k|  18k|  15k|8666 | 109k|  15 |  10k| 0.000000e+00 |      --      |    Inf 
1800.08/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.15	c 
1800.08/1800.15	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.15	c Solving Time (sec) : 1735.12
1800.08/1800.15	c Solving Nodes      : 103521
1800.08/1800.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.15	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.15	c Gap                : infinite
1800.08/1800.15	s UNKNOWN
1800.08/1800.15	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.15	c Solving Time       :    1735.12
1800.08/1800.15	c Original Problem   :
1800.08/1800.15	c   Problem name     : HOME/instance-2693173-1277917016.wbo
1800.08/1800.15	c   Variables        : 44704 (29268 binary, 0 integer, 0 implicit integer, 15436 continuous)
1800.08/1800.15	c   Constraints      : 60835 initial, 60835 maximal
1800.08/1800.15	c Presolved Problem  :
1800.08/1800.15	c   Problem name     : t_HOME/instance-2693173-1277917016.wbo
1800.08/1800.15	c   Variables        : 15580 (10325 binary, 0 integer, 0 implicit integer, 5255 continuous)
1800.08/1800.15	c   Constraints      : 18008 initial, 18023 maximal
1800.08/1800.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.15	c   trivial          :       0.02        181          0          0          0          0          0          0          0
1800.08/1800.15	c   dualfix          :       0.07      21625          0          0          0          0          0          0          0
1800.08/1800.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.15	c   implics          :       0.05          0          0          0          0          0          0          0          0
1800.08/1800.15	c   probing          :       3.21          0          0          0          0          0          0          0          0
1800.08/1800.15	c   indicator        :       0.56          0          0          0          0          0      10181          0          0
1800.08/1800.15	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.15	c   knapsack         :       0.01          0          0          0          0          0          1         32         58
1800.08/1800.15	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.15	c   linear           :       1.27       5414       1904          0      10830          0      32654         29         38
1800.08/1800.15	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.08/1800.15	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.15	c   integral         :          0          0          0     121553          0          0          1          0          0      20812
1800.08/1800.15	c   indicator        :       5255          0     588005     111146          0          0      86215          0          0          0
1800.08/1800.15	c   varbound         :        860          8     588005     111146          0          0      38588       3964          0          0
1800.08/1800.15	c   knapsack         :        200          8     588005     107669          0          0       9901          4          0          0
1800.08/1800.15	c   setppc           :          9          8     588005     107669          0          0          9          0          0          0
1800.08/1800.15	c   linear           :       4395          8     588005     107669          0          0      20528     107229          0          0
1800.08/1800.15	c   logicor          :       7289+         8     518226      93120          0          0    1261237          0          0          0
1800.08/1800.15	c   countsols        :          0          0          0      93115          0          0          0          0          0          0
1800.08/1800.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.15	c   integral         :      89.79       0.00       0.00      89.79       0.00
1800.08/1800.15	c   indicator        :     173.67       0.00      51.10     122.57       0.00
1800.08/1800.15	c   varbound         :      17.76       0.01       7.91       9.84       0.00
1800.08/1800.15	c   knapsack         :       5.15       0.00       3.65       1.50       0.00
1800.08/1800.15	c   setppc           :       0.28       0.00       0.13       0.15       0.00
1800.08/1800.15	c   linear           :     178.70       0.03      37.52     141.15       0.00
1800.08/1800.15	c   logicor          :      40.56       0.00       4.91      35.65       0.00
1800.08/1800.15	c   countsols        :       0.06       0.00       0.00       0.06       0.00
1800.08/1800.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.15	c   vbounds          :      37.39     217407          0      26937
1800.08/1800.15	c   rootredcost      :       0.18          0          0          0
1800.08/1800.15	c   pseudoobj        :      85.62     580326          0          0
1800.08/1800.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.15	c   infeasible LP    :       0.04         13         13         15       11.5          0        0.0          0
1800.08/1800.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.15	c   applied globally :          -          -          -         15       11.5          -          -          -
1800.08/1800.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.15	c   cut pool         :       0.00          6          -          -         74          -    (maximal pool size: 131)
1800.08/1800.15	c   redcost          :      60.61     120517          0          0          0          0
1800.08/1800.15	c   impliedbounds    :       0.01          7          0          0         59          0
1800.08/1800.15	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.15	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.15	c   gomory           :       0.03          7          0          0        116          0
1800.08/1800.15	c   strongcg         :       0.01          7          0          0          0          0
1800.08/1800.15	c   cmir             :       0.56          7          0          0          9          0
1800.08/1800.15	c   flowcover        :       3.04          7          0          0         18          0
1800.08/1800.15	c   clique           :       0.12          7          0          0         16          0
1800.08/1800.15	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.15	c   mcf              :       0.03          1          0          0          0          0
1800.08/1800.15	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.15	c Pricers            :       Time      Calls       Vars
1800.08/1800.15	c   problem variables:       0.00          0          0
1800.08/1800.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.15	c   relpscost        :      89.72      10407          0          1          0          0      20812
1800.08/1800.15	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.15	c   inference        :     186.23      93115          0          0          0          0     186230
1800.08/1800.15	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.15	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.15	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.15	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.15	c   LP solutions     :       0.00          -          0
1800.08/1800.15	c   pseudo solutions :       0.00          -          0
1800.08/1800.15	c   oneopt           :       0.24          0          0
1800.08/1800.15	c   crossover        :       0.05          0          0
1800.08/1800.15	c   intshifting      :       0.01          9          0
1800.08/1800.15	c   feaspump         :       4.07         38          0
1800.08/1800.15	c   coefdiving       :      12.95       1395          0
1800.08/1800.15	c   pscostdiving     :      10.61       1395          0
1800.08/1800.15	c   trivial          :       0.60          2          0
1800.08/1800.15	c   simplerounding   :       0.09      10391          0
1800.08/1800.15	c   zirounding       :       1.82       1000          0
1800.08/1800.15	c   rounding         :       4.83       1391          0
1800.08/1800.15	c   shifting         :       2.64        415          0
1800.08/1800.15	c   twoopt           :       0.00          0          0
1800.08/1800.15	c   fixandinfer      :       0.00          0          0
1800.08/1800.15	c   fracdiving       :      11.14       1395          0
1800.08/1800.15	c   veclendiving     :      10.49       1394          0
1800.08/1800.15	c   intdiving        :       0.00          0          0
1800.08/1800.15	c   actconsdiving    :       0.00          0          0
1800.08/1800.15	c   objpscostdiving  :       1.12         17          0
1800.08/1800.15	c   rootsoldiving    :       1.65         23          0
1800.08/1800.15	c   linesearchdiving :      11.28       1394          0
1800.08/1800.15	c   guideddiving     :       0.00          0          0
1800.08/1800.15	c   octane           :       0.00          0          0
1800.08/1800.15	c   rens             :       0.12          1          0
1800.08/1800.15	c   rins             :       0.00          0          0
1800.08/1800.15	c   localbranching   :       0.00          0          0
1800.08/1800.15	c   mutation         :       0.00          0          0
1800.08/1800.15	c   dins             :       0.00          0          0
1800.08/1800.15	c   undercover       :       0.00          0          0
1800.08/1800.15	c   nlp              :       0.09          0          0
1800.08/1800.15	c   trysol           :      15.19       2636          0
1800.08/1800.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.15	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.15	c   dual LP          :     503.15      37268     320063       8.59     636.12
1800.08/1800.15	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.15	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.15	c   diving/probing LP:       9.58       1234      19760      16.01    2062.63
1800.08/1800.15	c   strong branching :      89.55      10355     129932      12.55    1450.94
1800.08/1800.15	c     (at root node) :          -          7        213      30.43          -
1800.08/1800.15	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.15	c B&B Tree           :
1800.08/1800.15	c   number of runs   :          1
1800.08/1800.15	c   nodes            :     103521
1800.08/1800.15	c   nodes (total)    :     103521
1800.08/1800.15	c   nodes left       :     103522
1800.08/1800.15	c   max depth        :        163
1800.08/1800.15	c   max depth (total):        163
1800.08/1800.15	c   backtracks       :       1441 (1.4%)
1800.08/1800.15	c   delayed cutoffs  :          0
1800.08/1800.15	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.08/1800.15	c   avg switch length:       2.20
1800.08/1800.15	c   switching time   :      19.68
1800.08/1800.15	c Solution           :
1800.08/1800.15	c   Solutions found  :          0 (0 improvements)
1800.08/1800.15	c   Primal Bound     :          -
1800.08/1800.15	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.15	c   Gap              :   infinite
1800.08/1800.15	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.15	c   Root Iterations  :        945
1800.58/1800.63	c Time complete: 1800.6.

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-2693173-1277917016/watcher-2693173-1277917016 -o /tmp/evaluation-result-2693173-1277917016/solver-2693173-1277917016 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693173-1277917016.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.10 2.05 2.01 4/200 14537
/proc/meminfo: memFree=31131868/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=11172 CPUtime=0
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 1718 0 0 0 0 0 0 0 23 0 1 0 132997250 11440128 1638 4089446400 4194304 9819077 140734147669408 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 2793 1639 392 1374 0 1414 0

[startup+0.0631929 s]
/proc/loadavg: 2.10 2.05 2.01 4/200 14537
/proc/meminfo: memFree=31131868/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=25512 CPUtime=0.05
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 5301 0 0 0 5 0 0 0 23 0 1 0 132997250 26124288 5221 4089446400 4194304 9819077 140734147669408 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 6378 5221 392 1374 0 4999 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25512

[startup+0.101188 s]
/proc/loadavg: 2.10 2.05 2.01 4/200 14537
/proc/meminfo: memFree=31131868/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=31756 CPUtime=0.09
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 6859 0 0 0 9 0 0 0 23 0 1 0 132997250 32518144 6779 4089446400 4194304 9819077 140734147669408 18446744073709551615 4907725 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 7939 6779 392 1374 0 6560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31756

[startup+0.301149 s]
/proc/loadavg: 2.10 2.05 2.01 4/200 14537
/proc/meminfo: memFree=31131868/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=61792 CPUtime=0.29
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 14391 0 0 0 28 1 0 0 23 0 1 0 132997250 63275008 14281 4089446400 4194304 9819077 140734147669408 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 15448 14312 392 1374 0 14069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61792

[startup+0.701073 s]
/proc/loadavg: 2.10 2.05 2.01 4/200 14537
/proc/meminfo: memFree=31131868/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=176460 CPUtime=0.69
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 42094 0 0 0 64 5 0 0 25 0 1 0 132997250 180695040 41565 4089446400 4194304 9819077 140734147669408 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 44115 41565 469 1374 0 42736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 176460

[startup+1.50092 s]
/proc/loadavg: 2.10 2.05 2.01 3/201 14538
/proc/meminfo: memFree=30967932/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=201276 CPUtime=1.49
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 48440 0 0 0 142 7 0 0 25 0 1 0 132997250 206106624 47911 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 50319 47911 495 1374 0 48940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201276

[startup+3.10061 s]
/proc/loadavg: 2.09 2.04 2.00 3/201 14538
/proc/meminfo: memFree=30940652/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=202584 CPUtime=3.08
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 54540 0 0 0 295 13 0 0 25 0 1 0 132997250 207446016 48261 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14537/statm: 50646 48261 499 1374 0 49267 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202584

[startup+6.30104 s]
/proc/loadavg: 2.09 2.04 2.00 3/201 14538
/proc/meminfo: memFree=30935320/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=208788 CPUtime=6.28
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 60116 0 0 0 609 19 0 0 25 0 1 0 132997250 213798912 49821 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14537/statm: 52197 49821 543 1374 0 50818 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 208788

[startup+12.7009 s]
/proc/loadavg: 2.15 2.06 2.01 3/201 14538
/proc/meminfo: memFree=30915628/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=236524 CPUtime=12.67
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 185659 0 0 0 1226 41 0 0 25 0 1 0 132997250 242200576 55199 4089446400 4194304 9819077 140734147669408 18446744073709551615 6512998 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 59131 55199 733 1374 0 57752 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 236524

[startup+25.5005 s]
/proc/loadavg: 2.13 2.06 2.01 3/201 14539
/proc/meminfo: memFree=30914588/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=237840 CPUtime=25.46
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 844688 0 0 0 2427 119 0 0 25 0 1 0 132997250 243548160 55884 4089446400 4194304 9819077 140734147669408 18446744073709551615 7263278 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 59460 55884 737 1374 0 58081 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 237840

[startup+51.1007 s]
/proc/loadavg: 2.23 2.08 2.02 3/201 14540
/proc/meminfo: memFree=30904440/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=244288 CPUtime=51.03
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 2217414 0 0 0 4820 283 0 0 25 0 1 0 132997250 250150912 57072 4089446400 4194304 9819077 140734147669408 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 61072 57072 737 1374 0 59693 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 244288

[startup+102.307 s]
/proc/loadavg: 2.09 2.07 2.01 3/201 14541
/proc/meminfo: memFree=30880800/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=257148 CPUtime=102.23
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 4963046 0 0 0 9610 613 0 0 25 0 1 0 132997250 263319552 60033 4089446400 4194304 9819077 140734147669408 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 64287 60053 752 1374 0 62908 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 257148

[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/201 14542
/proc/meminfo: memFree=30852508/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=277280 CPUtime=162.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 7586968 0 0 0 15281 943 0 0 25 0 1 0 132997250 283934720 65131 4089446400 4194304 9819077 140734147669408 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 69320 65131 752 1374 0 67941 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 277280

[startup+222.301 s]
/proc/loadavg: 2.08 2.06 2.00 3/201 14544
/proc/meminfo: memFree=30820872/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=299720 CPUtime=222.23
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 9452598 0 0 0 21038 1185 0 0 25 0 1 0 132997250 306913280 71143 4089446400 4194304 9819077 140734147669408 18446744073709551615 7224853 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 74930 71143 752 1374 0 73551 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 299720

[startup+282.301 s]
/proc/loadavg: 2.16 2.08 2.01 3/201 14555
/proc/meminfo: memFree=30787428/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=324200 CPUtime=282.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 11246656 0 0 0 26802 1422 0 0 25 0 1 0 132997250 331980800 76881 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 81050 76881 752 1374 0 79671 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 324200

[startup+342.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/201 14557
/proc/meminfo: memFree=30753800/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=345592 CPUtime=342.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 12915666 0 0 0 32577 1647 0 0 25 0 1 0 132997250 353886208 82186 4089446400 4194304 9819077 140734147669408 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 86398 82186 752 1374 0 85019 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 345592

[startup+402.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/201 14558
/proc/meminfo: memFree=30716080/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=372456 CPUtime=402.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 14594960 0 0 0 38346 1879 0 0 25 0 1 0 132997250 381394944 89014 4089446400 4194304 9819077 140734147669408 18446744073709551615 6664629 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 93114 89014 752 1374 0 91735 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 372456

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/201 14559
/proc/meminfo: memFree=30680716/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=394272 CPUtime=462.23
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 16246215 0 0 0 44119 2104 0 0 25 0 1 0 132997250 403734528 94476 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 98568 94476 752 1374 0 97189 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 394272

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/201 14561
/proc/meminfo: memFree=30640504/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=420512 CPUtime=522.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 17247000 0 0 0 49982 2242 0 0 25 0 1 0 132997250 430604288 101099 4089446400 4194304 9819077 140734147669408 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 105128 101099 752 1374 0 103749 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 420512

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/201 14563
/proc/meminfo: memFree=30604884/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=445536 CPUtime=582.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 18559607 0 0 0 55801 2423 0 0 25 0 1 0 132997250 456228864 107286 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 111384 107286 752 1374 0 110005 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 445536

[startup+642.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/201 14565
/proc/meminfo: memFree=30567772/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=466752 CPUtime=642.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 19990721 0 0 0 61599 2626 0 0 25 0 1 0 132997250 477954048 112596 4089446400 4194304 9819077 140734147669408 18446744073709551615 6364599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14537/statm: 116688 112596 752 1374 0 115309 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 466752

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.18 2.10 2.04 3/201 14572
/proc/meminfo: memFree=30405920/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=597956 CPUtime=942.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 27384690 0 0 0 90594 3630 0 0 25 0 1 0 132997250 612306944 145469 4089446400 4194304 9819077 140734147669408 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 149489 145469 752 1374 0 148110 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 597956

[startup+1002.3 s]
/proc/loadavg: 2.16 2.11 2.04 3/201 14574
/proc/meminfo: memFree=30378360/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=625576 CPUtime=1002.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 28850020 0 0 0 96405 3819 0 0 25 0 1 0 132997250 640589824 152367 4089446400 4194304 9819077 140734147669408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 156394 152367 752 1374 0 155015 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 625576

[startup+1062.3 s]
/proc/loadavg: 2.12 2.11 2.04 3/201 14575
/proc/meminfo: memFree=30349564/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=653084 CPUtime=1062.24
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 30352216 0 0 0 102206 4018 0 0 25 0 1 0 132997250 668758016 159330 4089446400 4194304 9819077 140734147669408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 163271 159330 752 1374 0 161892 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 653084

[startup+1122.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/201 14577
/proc/meminfo: memFree=30324484/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=678192 CPUtime=1122.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 31775964 0 0 0 108016 4209 0 0 25 0 1 0 132997250 694468608 165596 4089446400 4194304 9819077 140734147669408 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 169548 165596 752 1374 0 168169 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 678192

[startup+1182.3 s]
/proc/loadavg: 1.94 2.05 2.02 3/183 14609
/proc/meminfo: memFree=30615620/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=703440 CPUtime=1182.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 33257908 0 0 0 113818 4407 0 0 25 0 1 0 132997250 720322560 171917 4089446400 4194304 9819077 140734147669408 18446744073709551615 6020604 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 175860 171917 752 1374 0 174481 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 703440

[startup+1242.3 s]
/proc/loadavg: 1.98 2.04 2.02 3/183 14610
/proc/meminfo: memFree=30591704/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=731796 CPUtime=1242.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 34687681 0 0 0 119622 4603 0 0 25 0 1 0 132997250 749359104 178513 4089446400 4194304 9819077 140734147669408 18446744073709551615 6670181 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 182949 178513 752 1374 0 181570 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 731796

[startup+1302.3 s]
/proc/loadavg: 1.99 2.03 2.01 3/183 14612
/proc/meminfo: memFree=30558076/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=756480 CPUtime=1302.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 36280076 0 0 0 125414 4812 0 0 25 0 1 0 132997250 774635520 184586 4089446400 4194304 9819077 140734147669408 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 189120 184586 752 1374 0 187741 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 756480

[startup+1362.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 14613
/proc/meminfo: memFree=30513040/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=784156 CPUtime=1362.25
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 37856110 0 0 0 131200 5025 0 0 25 0 1 0 132997250 802975744 191690 4089446400 4194304 9819077 140734147669408 18446744073709551615 7815933 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 196039 191690 752 1374 0 194660 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 784156

[startup+1422.31 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 14615
/proc/meminfo: memFree=30466152/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=810296 CPUtime=1422.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 39356712 0 0 0 136999 5227 0 0 25 0 1 0 132997250 829743104 198199 4089446400 4194304 9819077 140734147669408 18446744073709551615 4697639 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 202574 198199 752 1374 0 201195 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 810296

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 14617
/proc/meminfo: memFree=30414044/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=840360 CPUtime=1482.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 40807556 0 0 0 142808 5418 0 0 25 0 1 0 132997250 860528640 205718 4089446400 4194304 9819077 140734147669408 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 210090 205623 752 1374 0 208711 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 840360

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14619
/proc/meminfo: memFree=30363300/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=865212 CPUtime=1542.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 42230174 0 0 0 148612 5614 0 0 25 0 1 0 132997250 885977088 211983 4089446400 4194304 9819077 140734147669408 18446744073709551615 8678909 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 216303 211983 752 1374 0 214924 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 865212

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14620
/proc/meminfo: memFree=30302524/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=893740 CPUtime=1602.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 43698169 0 0 0 154416 5810 0 0 25 0 1 0 132997250 915189760 219098 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 223435 219098 752 1374 0 222056 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 893740

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 14621
/proc/meminfo: memFree=30254140/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=918736 CPUtime=1662.26
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 45101395 0 0 0 160235 5991 0 0 25 0 1 0 132997250 940785664 225360 4089446400 4194304 9819077 140734147669408 18446744073709551615 6364616 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 229684 225360 752 1374 0 228305 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 918736

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14623
/proc/meminfo: memFree=30198296/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=946192 CPUtime=1722.27
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 46694408 0 0 0 166027 6200 0 0 25 0 1 0 132997250 968900608 232222 4089446400 4194304 9819077 140734147669408 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 236548 232222 752 1374 0 235169 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 946192

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14625
/proc/meminfo: memFree=30139004/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=973304 CPUtime=1782.27
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 48204825 0 0 0 171822 6405 0 0 25 0 1 0 132997250 996663296 239049 4089446400 4194304 9819077 140734147669408 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 243326 239049 752 1374 0 241947 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 973304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14625
/proc/meminfo: memFree=30120640/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=979572 CPUtime=1800.08
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 48635519 0 0 0 173543 6465 0 0 25 0 1 0 132997250 1003081728 240606 4089446400 4194304 9819077 140734147669408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14537/statm: 244893 240606 752 1374 0 243514 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 979572

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

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

[startup+1800.21 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14625
/proc/meminfo: memFree=30120640/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=973400 CPUtime=1800.18
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 48636674 0 0 0 173553 6465 0 0 25 0 1 0 132997250 996761600 239111 4089446400 4194304 9819077 140734147669408 18446744073709551615 6180597 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 243350 239111 755 1374 0 241971 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 973400

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14626
/proc/meminfo: memFree=30990616/32951124 swapFree=67111528/67111528
[pid=14537] ppid=14535 vsize=90924 CPUtime=1800.58
/proc/14537/stat : 14537 (pbscip.linux.x8) R 14535 14537 13652 0 -1 4202496 48636674 0 0 0 173589 6469 0 0 25 0 1 0 132997250 93106176 21422 4089446400 4194304 9819077 140734147669408 18446744073709551615 4671856 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14537/statm: 22731 21422 755 1374 0 21352 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (KiB) 90924

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.61
CPU user time (s): 1735.92
CPU system time (s): 64.6942
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 980200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.92
system time used= 64.6942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48636678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 9235

runsolver used 2.74558 second user time and 7.08292 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 18:56:56
IDJOB=2693173
IDBENCH=79083
IDSOLVER=1205
FILE ID=node135/2693173-1277917016
PBS_JOBID= 11197315
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9028_2-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693173-1277917016/watcher-2693173-1277917016 -o /tmp/evaluation-result-2693173-1277917016/solver-2693173-1277917016 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693173-1277917016.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c93ff145655ec29711075f2ee972c9ae
RANDOM SEED=1655125854

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.857
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.857
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:      31132520 kB
Buffers:        197388 kB
Cached:        1108052 kB
SwapCached:          0 kB
Active:         840596 kB
Inactive:       827480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31132520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7476 kB
Writeback:           0 kB
AnonPages:      361832 kB
Mapped:          20420 kB
Slab:            81984 kB
PageTables:       6640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1652796 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= 74124 MiB
End job on node135 at 2010-06-30 19:26:58