Trace number 3447267

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
MD5SUM96d1f19cba40c7363abd0128bfda9b7c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark154.452
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 649
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3447267-1307900484.wbo>
0.01/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.01/0.02	c problem read
0.01/0.02	c presolving settings loaded
0.01/0.05	o 137972
0.01/0.05	c feasible solution found by trivial heuristic, objective value  1.379720e+05
0.01/0.05	c presolving:
0.01/0.06	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   463 |     - |  18M|   0 |   1 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.49/0.54	c   0.5s|     1 |     0 |   568 |     - |  18M|   0 |  54 |5645 |8121 |5645 |2760 |  53 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.69/0.75	c   0.8s|     1 |     0 |   618 |     - |  19M|   0 |  54 |5645 |8121 |5645 |2771 |  64 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
1.00/1.10	c   1.1s|     1 |     0 |   682 |     - |  19M|   0 |  60 |5645 |8121 |5645 |2783 |  76 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
1.39/1.46	c   1.5s|     1 |     0 |   763 |     - |  19M|   0 |  53 |5645 |8121 |5645 |2792 |  85 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
1.69/1.79	c   1.8s|     1 |     0 |   803 |     - |  19M|   0 |  61 |5645 |8121 |5645 |2801 |  94 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
2.69/2.71	c   2.7s|     1 |     2 |   803 |     - |  19M|   0 |  61 |5645 |8121 |5645 |2801 |  94 |   0 |  33 | 0.000000e+00 | 1.379720e+05 |    Inf 
18.39/18.42	o 651
18.39/18.42	c *18.4s|   160 |   159 | 14871 |  88.5 |  24M|  62 |   - |5645 |8121 |5645 |2855 | 272 |   0 | 868 | 0.000000e+00 | 6.510000e+02 |    Inf 
357.30/357.39	c   357s| 10000 |  9852 |  2034k| 203.4 |  59M|  81 |  17 |5645 |8711 |5645 |2762 |  34k| 595 |3352 | 0.000000e+00 | 6.510000e+02 |    Inf 
593.70/593.76	o 642
593.70/593.76	c * 594s| 17101 | 16826 |  3484k| 203.7 |  80M|  81 |   - |5645 |9126 |5645 |2790 |  58k|1094 |4506 | 0.000000e+00 | 6.420000e+02 |    Inf 
606.41/606.44	o 626
606.41/606.44	c * 606s| 17437 | 17149 |  3547k| 203.4 |  81M|  81 |   - |5645 |9141 |5645 |2804 |  60k|1116 |4540 | 0.000000e+00 | 6.260000e+02 |    Inf 
650.81/650.86	o 294
650.81/650.86	c * 651s| 18617 | 15432 |  3761k| 202.0 |  75M|  81 |   - |5645 |9153 |5645 |2828 |  68k|1152 |4754 | 0.000000e+00 | 2.940000e+02 |    Inf 
654.42/654.48	o 289
654.42/654.48	c * 654s| 18737 | 15389 |  3781k| 201.8 |  75M|  81 |   - |5645 |9250 |5645 |2844 |  68k|1260 |4755 | 0.000000e+00 | 2.890000e+02 |    Inf 
654.52/654.59	o 284
654.52/654.59	c * 655s| 18740 | 15282 |  3781k| 201.8 |  75M|  81 |   - |5645 |9250 |5645 |2847 |  68k|1260 |4756 | 0.000000e+00 | 2.840000e+02 |    Inf 
656.31/656.36	o 273
656.31/656.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
656.31/656.36	c * 656s| 18788 | 15026 |  3791k| 201.8 |  75M|  81 |   - |5645 |9258 |5645 |2822 |  68k|1272 |4756 | 0.000000e+00 | 2.730000e+02 |    Inf 
656.62/656.70	o 251
656.62/656.70	c p 657s| 18797 | 14514 |  3792k| 201.7 |  73M|  81 |   - |5645 |9257 |5645 |2819 |  68k|1272 |4756 | 0.000000e+00 | 2.510000e+02 |    Inf 
667.41/667.46	o 247
667.41/667.46	c c 667s| 19195 | 14676 |  3852k| 200.7 |  76M|  81 |   - |5645 |9395 |5645 |2816 |  70k|1442 |4794 | 0.000000e+00 | 2.470000e+02 |    Inf 
673.31/673.33	o 225
673.31/673.33	c * 673s| 19367 | 13930 |  3878k| 200.3 |  75M|  81 |   - |5645 |9455 |5645 |2815 |  70k|1522 |4821 | 0.000000e+00 | 2.250000e+02 |    Inf 
673.31/673.35	o 220
673.31/673.35	c * 673s| 19368 | 13702 |  3878k| 200.2 |  75M|  81 |   - |5645 |9455 |5645 |2810 |  70k|1522 |4821 | 0.000000e+00 | 2.200000e+02 |    Inf 
673.61/673.66	o 218
673.61/673.66	c * 674s| 19376 | 13636 |  3880k| 200.2 |  74M|  81 |   - |5645 |9458 |5645 |2812 |  70k|1525 |4821 | 0.000000e+00 | 2.180000e+02 |    Inf 
673.71/673.72	o 213
673.71/673.72	c * 674s| 19379 | 13371 |  3880k| 200.2 |  74M|  81 |   - |5645 |9461 |5645 |2812 |  70k|1528 |4822 | 0.000000e+00 | 2.130000e+02 |    Inf 
674.02/674.05	o 205
674.02/674.05	c r 674s| 19387 | 13052 |  3881k| 200.2 |  73M|  81 |   - |5645 |9460 |5645 |2820 |  70k|1528 |4823 | 0.000000e+00 | 2.050000e+02 |    Inf 
688.21/688.28	c   688s| 20000 | 13361 |  3959k| 197.9 |  76M|  81 |   1 |5645 |9685 |5645 |2774 |  72k|1890 |4911 | 0.000000e+00 | 2.050000e+02 |    Inf 
705.41/705.49	o 200
705.41/705.49	c * 705s| 20650 | 13388 |  4057k| 196.5 |  80M|  81 |   - |5645 |9825 |5645 |2801 |  73k|2250 |4951 | 0.000000e+00 | 2.000000e+02 |    Inf 
707.11/707.19	o 193
707.11/707.19	c * 707s| 20698 | 13058 |  4066k| 196.4 |  78M|  81 |   - |5645 |9826 |5645 |2812 |  73k|2280 |4955 | 0.000000e+00 | 1.930000e+02 |    Inf 
725.41/725.48	o 164
725.41/725.48	c * 725s| 21363 | 11821 |  4162k| 194.8 |  75M|  81 |   - |5645 |9944 |5645 |2858 |  76k|2672 |5019 | 0.000000e+00 | 1.640000e+02 |    Inf 
727.12/727.18	o 150
727.12/727.18	c * 727s| 21459 | 10544 |  4171k| 194.4 |  71M|  81 |   - |5645 |9973 |5645 |2781 |  76k|2732 |5021 | 0.000000e+00 | 1.500000e+02 |    Inf 
741.42/741.44	o 148
741.42/741.44	c * 741s| 21995 | 10613 |  4246k| 193.1 |  76M|  81 |   - |5645 |  10k|5645 |2801 |  76k|3097 |5095 | 0.000000e+00 | 1.480000e+02 |    Inf 
753.91/753.92	o 116
753.91/753.92	c * 754s| 22578 |  8047 |  4312k| 191.0 |  69M|  81 |   - |5645 |  10k|5645 |2804 |  77k|3482 |5162 | 0.000000e+00 | 1.160000e+02 |    Inf 
754.12/754.18	o 111
754.12/754.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
754.12/754.18	c * 754s| 22593 |  7582 |  4313k| 190.9 |  66M|  81 |   - |5645 |  10k|5645 |2788 |  77k|3498 |5163 | 0.000000e+00 | 1.110000e+02 |    Inf 
754.52/754.56	o 78
754.52/754.56	c * 755s| 22618 |  5334 |  4314k| 190.7 |  54M|  81 |   - |5645 |  10k|5645 |2802 |  77k|3517 |5163 | 0.000000e+00 | 7.800000e+01 |    Inf 
755.02/755.03	o 75
755.02/755.03	c * 755s| 22665 |  5218 |  4315k| 190.4 |  53M|  81 |   - |5645 |8733 |5645 |2775 |  77k|3550 |5165 | 0.000000e+00 | 7.500000e+01 |    Inf 
760.51/760.59	o 74
760.51/760.59	c * 761s| 23165 |  5309 |  4334k| 187.1 |  57M|  81 |   - |5645 |8520 |5645 |2774 |  77k|4041 |5174 | 0.000000e+00 | 7.400000e+01 |    Inf 
762.32/762.33	o 73
762.32/762.33	c * 762s| 23316 |  5313 |  4342k| 186.2 |  57M|  81 |   - |5645 |8482 |5645 |2774 |  77k|4203 |5174 | 0.000000e+00 | 7.300000e+01 |    Inf 
765.91/765.91	o 70
765.91/765.91	c * 766s| 23676 |  5197 |  4350k| 183.7 |  59M|  81 |   - |5645 |8298 |5645 |2774 |  77k|4534 |5179 | 0.000000e+00 | 7.000000e+01 |    Inf 
765.91/765.97	o 67
765.91/765.97	c * 766s| 23681 |  2566 |  4350k| 183.7 |  47M|  81 |   - |5645 |8091 |5645 |2774 |  77k|4535 |5179 | 0.000000e+00 | 6.700000e+01 |    Inf 
800.91/800.92	o 65
800.91/800.92	c * 801s| 27408 |  3146 |  4445k| 162.2 |  63M|  83 |   - |5645 |8399 |5645 |2775 |  78k|8221 |5280 | 0.000000e+00 | 6.500000e+01 |    Inf 
820.52/820.53	o 61
820.52/820.53	c * 821s| 29525 |  3451 |  4497k| 152.3 |  72M|  83 |   - |5645 |9070 |5645 |2775 |  78k|  10k|5356 | 0.000000e+00 | 6.100000e+01 |    Inf 
824.92/824.99	c   825s| 30000 |  3512 |  4510k| 150.3 |  73M|  83 |  14 |5645 |7700 |5645 |2774 |  78k|  11k|5376 | 0.000000e+00 | 6.100000e+01 |    Inf 
845.32/845.37	o 56
845.32/845.37	c * 845s| 32405 |  3690 |  4557k| 140.6 |  77M|  83 |   - |5645 |8556 |5645 |2775 |  78k|  14k|5430 | 0.000000e+00 | 5.600000e+01 |    Inf 
847.81/847.87	o 50
847.81/847.87	c * 848s| 32702 |  3675 |  4562k| 139.5 |  77M|  83 |   - |5645 |7932 |5645 |2778 |  78k|  14k|5441 | 0.000000e+00 | 5.000000e+01 |    Inf 
848.62/848.69	o 43
848.62/848.69	c * 849s| 32767 |  3548 |  4564k| 139.3 |  76M|  83 |   - |5645 |7524 |5645 |2781 |  78k|  14k|5441 | 0.000000e+00 | 4.300000e+01 |    Inf 
860.01/860.07	o 25
860.01/860.07	c * 860s| 34243 |  2948 |  4593k| 134.1 |  68M|  83 |   - |5645 |7163 |5645 |2778 |  79k|  16k|5480 | 0.000000e+00 | 2.500000e+01 |    Inf 
860.32/860.38	o 17
860.32/860.38	c * 860s| 34286 |  2715 |  4593k| 134.0 |  62M|  83 |   - |5645 |6159 |5645 |2780 |  79k|  16k|5481 | 0.000000e+00 | 1.700000e+01 |    Inf 
860.32/860.39	o 13
860.32/860.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
860.32/860.39	c * 860s| 34287 |  2276 |  4593k| 134.0 |  55M|  83 |   - |5645 |6159 |5645 |2776 |  79k|  16k|5481 | 0.000000e+00 | 1.300000e+01 |    Inf 
860.72/860.73	o 8
860.72/860.73	c * 861s| 34318 |  2151 |  4595k| 133.9 |  53M|  83 |   - |5645 |5188 |5645 |2776 |  79k|  16k|5481 | 0.000000e+00 | 8.000000e+00 |    Inf 
875.42/875.47	o 7
875.42/875.47	c * 875s| 36497 |  1037 |  4661k| 127.7 |  47M|  83 |   - |5645 |5442 |5645 |2774 |  79k|  20k|5578 | 0.000000e+00 | 7.000000e+00 |    Inf 
879.52/879.56	o 6
879.52/879.56	c * 880s| 37372 |   956 |  4678k| 125.2 |  45M|  83 |   - |5645 |5611 |5645 |2776 |  79k|  21k|5587 | 0.000000e+00 | 6.000000e+00 |    Inf 
885.82/885.82	o 4
885.82/885.82	c * 886s| 38887 |   801 |  4702k| 120.9 |  43M|  83 |   - |5645 |5433 |5645 |2780 |  79k|  23k|5597 | 0.000000e+00 | 4.000000e+00 |    Inf 
889.82/889.87	o 3
889.82/889.87	c * 890s| 39848 |   721 |  4720k| 118.4 |  42M|  83 |   - |5645 |5093 |5645 |2774 |  79k|  24k|5598 | 0.000000e+00 | 3.000000e+00 |    Inf 
890.41/890.47	c   890s| 40000 |   720 |  4722k| 118.1 |  42M|  83 |   - |5645 |5102 |5645 |2774 |  79k|  24k|5598 | 0.000000e+00 | 3.000000e+00 |    Inf 
929.12/929.15	c   929s| 50000 |   667 |  4879k|  97.6 |  44M|  83 |  33 |5645 |9785 |5645 |2774 |  79k|  37k|5733 | 0.000000e+00 | 3.000000e+00 |    Inf 
968.52/968.58	c   969s| 60000 |   663 |  5039k|  84.0 |  45M|  83 |   - |5645 |  12k|5645 |2762 |  79k|  50k|5863 | 0.000000e+00 | 3.000000e+00 |    Inf 
990.22/990.23	o 1
990.22/990.23	c * 990s| 65737 |   608 |  5122k|  77.9 |  45M|  83 |   - |5645 |  12k|5645 |2763 |  79k|  58k|5872 | 0.000000e+00 | 1.000000e+00 |    Inf 
1007.73/1007.78	c  1008s| 70000 |   517 |  5192k|  74.2 |  43M|  83 |   - |5645 |8765 |   0 |   0 |  79k|  64k|5973 | 0.000000e+00 | 1.000000e+00 |    Inf 
1045.62/1045.68	c  1046s| 80000 |   473 |  5341k|  66.8 |  44M|  83 |  24 |5645 |  13k|5645 |2774 |  79k|  77k|6040 | 0.000000e+00 | 1.000000e+00 |    Inf 
1086.32/1086.32	c  1086s| 90000 |   406 |  5499k|  61.1 |  45M|  83 |  28 |5645 |  16k|5645 |2774 |  79k|  90k|6162 | 0.000000e+00 | 1.000000e+00 |    Inf 
1123.82/1123.86	c  1124s|100000 |   427 |  5634k|  56.3 |  46M|  83 |  26 |5645 |  19k|5645 |2774 |  79k| 102k|6260 | 0.000000e+00 | 1.000000e+00 |    Inf 
1164.33/1164.31	c  1164s|110000 |   479 |  5785k|  52.6 |  49M|  83 |  29 |5645 |  23k|5645 |2774 |  79k| 115k|6373 | 0.000000e+00 | 1.000000e+00 |    Inf 
1205.43/1205.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1205.43/1205.46	c  1205s|120000 |   457 |  5936k|  49.5 |  49M|  83 |   - |5645 |  25k|5645 |2774 |  79k| 129k|6426 | 0.000000e+00 | 1.000000e+00 |    Inf 
1246.63/1246.63	c  1247s|130000 |   384 |  6085k|  46.8 |  46M|  83 |   - |5645 |  20k|   0 |   0 |  79k| 143k|6552 | 0.000000e+00 | 1.000000e+00 |    Inf 
1286.83/1286.83	c  1287s|140000 |   342 |  6237k|  44.5 |  46M|  83 |   - |5645 |  20k|5645 |2774 |  79k| 156k|6720 | 0.000000e+00 | 1.000000e+00 |    Inf 
1325.54/1325.58	c  1326s|150000 |   394 |  6379k|  42.5 |  49M|  83 |  13 |5645 |  27k|5645 |2774 |  79k| 170k|6782 | 0.000000e+00 | 1.000000e+00 |    Inf 
1366.53/1366.53	c  1367s|160000 |   390 |  6521k|  40.8 |  51M|  83 |  18 |5645 |  29k|5645 |2774 |  79k| 183k|6859 | 0.000000e+00 | 1.000000e+00 |    Inf 
1408.33/1408.38	c  1408s|170000 |   289 |  6663k|  39.2 |  48M|  83 |   - |5645 |  26k|   0 |   0 |  79k| 196k|7058 | 0.000000e+00 | 1.000000e+00 |    Inf 
1449.23/1449.20	c  1449s|180000 |   273 |  6805k|  37.8 |  49M|  83 |  19 |5645 |  27k|5645 |2774 |  79k| 210k|7084 | 0.000000e+00 | 1.000000e+00 |    Inf 
1493.03/1493.02	c  1493s|190000 |   252 |  6954k|  36.6 |  48M|  83 |  32 |5645 |  27k|5645 |2774 |  79k| 223k|7229 | 0.000000e+00 | 1.000000e+00 |    Inf 
1535.03/1535.08	c  1535s|200000 |   276 |  7105k|  35.5 |  50M|  83 |  42 |5645 |  29k|5645 |2774 |  79k| 236k|7331 | 0.000000e+00 | 1.000000e+00 |    Inf 
1577.94/1577.98	c  1578s|210000 |   305 |  7256k|  34.5 |  52M|  83 |   - |5645 |  34k|5645 |2774 |  79k| 249k|7384 | 0.000000e+00 | 1.000000e+00 |    Inf 
1624.04/1624.02	c  1624s|220000 |   369 |  7412k|  33.7 |  55M|  83 |  44 |5645 |  39k|5645 |2774 |  79k| 263k|7532 | 0.000000e+00 | 1.000000e+00 |    Inf 
1670.95/1670.94	c  1671s|230000 |   346 |  7560k|  32.9 |  56M|  83 |  28 |5645 |  42k|5645 |2774 |  79k| 276k|7623 | 0.000000e+00 | 1.000000e+00 |    Inf 
1718.64/1718.63	c  1719s|240000 |   365 |  7706k|  32.1 |  59M|  83 |   - |5645 |  48k|5645 |2774 |  79k| 289k|7660 | 0.000000e+00 | 1.000000e+00 |    Inf 
1770.95/1770.98	c  1771s|250000 |   379 |  7856k|  31.4 |  60M|  83 |   - |5645 |  50k|5645 |2774 |  79k| 303k|7777 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.05/1800.00	c Solving Time (sec) : 1800.00
1800.05/1800.00	c Solving Nodes      : 255979
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+00 (455 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.05/1800.00	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.00	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1800.05/1800.00	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.00	v -x146 x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 
1800.05/1800.00	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.05/1800.00	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.00	v -x79 x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 
1800.05/1800.00	v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.00	v -x28 -x27 -x26 -x25 x24 -x23 -x22 x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.05/1800.00	v -x1 
1800.05/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.05/1800.00	c Total Time         :    1800.00
1800.05/1800.00	c   solving          :    1800.00
1800.05/1800.00	c   presolving       :       0.09 (included in solving)
1800.05/1800.00	c   reading          :       0.02 (included in solving)
1800.05/1800.00	c Original Problem   :
1800.05/1800.00	c   Problem name     : HOME/instance-3447267-1307900484.wbo
1800.05/1800.00	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00	c   Constraints      : 2708 initial, 2708 maximal
1800.05/1800.00	c Presolved Problem  :
1800.05/1800.00	c   Problem name     : t_HOME/instance-3447267-1307900484.wbo
1800.05/1800.00	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1800.05/1800.00	c   Constraints      : 5414 initial, 52959 maximal
1800.05/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.05/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447267-1307900484/watcher-3447267-1307900484 -o /tmp/evaluation-result-3447267-1307900484/solver-3447267-1307900484 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447267-1307900484.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.01 1.95 3/178 12526
/proc/meminfo: memFree=1281776/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=10288 CPUtime=0 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 1562 0 0 0 0 0 0 0 25 0 1 0 901646612 10534912 1515 33554432000 4194304 9128323 140735090032336 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12526/statm: 2572 1515 399 1205 0 1363 0

[startup+0.0194111 s]
/proc/loadavg: 1.99 2.01 1.95 3/178 12526
/proc/meminfo: memFree=1281776/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=13424 CPUtime=0.01 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 2339 0 0 0 1 0 0 0 25 0 1 0 901646612 13746176 2292 33554432000 4194304 9128323 140735090032336 18446744073709551615 4217066 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12526/statm: 3356 2292 399 1205 0 2147 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13424

[startup+0.100402 s]
/proc/loadavg: 1.99 2.01 1.95 3/178 12526
/proc/meminfo: memFree=1281776/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=35720 CPUtime=0.09 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 7949 0 0 0 9 0 0 0 25 0 1 0 901646612 36577280 7643 33554432000 4194304 9128323 140735090032336 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 8930 7643 531 1205 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35720

[startup+0.300368 s]
/proc/loadavg: 1.99 2.01 1.95 3/178 12526
/proc/meminfo: memFree=1281776/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=71652 CPUtime=0.29 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 17248 0 0 0 27 2 0 0 18 0 1 0 901646612 73371648 16843 33554432000 4194304 9128323 140735090032336 18446744073709551615 6581488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 17913 16843 699 1205 0 16704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71652

[startup+0.700292 s]
/proc/loadavg: 1.99 2.01 1.95 3/178 12526
/proc/meminfo: memFree=1281776/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=50408 CPUtime=0.69 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 20690 0 0 0 67 2 0 0 18 0 1 0 901646612 51617792 11564 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 12602 11564 717 1205 0 11393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50408

[startup+1.50015 s]
/proc/loadavg: 1.99 2.01 1.95 3/179 12527
/proc/meminfo: memFree=1237028/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=55628 CPUtime=1.49 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 21896 0 0 0 145 4 0 0 19 0 1 0 901646612 56963072 12762 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 13907 12762 711 1205 0 12698 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55628

[startup+3.10085 s]
/proc/loadavg: 1.99 2.01 1.95 3/179 12527
/proc/meminfo: memFree=1232088/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=58560 CPUtime=3.09 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 28615 0 0 0 299 10 0 0 24 0 1 0 901646612 59965440 13365 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 14640 13365 729 1205 0 13431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58560

[startup+6.30027 s]
/proc/loadavg: 1.99 2.01 1.95 3/179 12527
/proc/meminfo: memFree=1225208/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=58708 CPUtime=6.29 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 28776 0 0 0 613 16 0 0 25 0 1 0 901646612 60116992 13526 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 14677 13526 729 1205 0 13468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58708

[startup+12.7011 s]
/proc/loadavg: 1.99 2.01 1.95 3/179 12527
/proc/meminfo: memFree=1224600/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=58708 CPUtime=12.69 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 28809 0 0 0 1234 35 0 0 25 0 1 0 901646612 60116992 13559 33554432000 4194304 9128323 140735090032336 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 14677 13559 729 1205 0 13468 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58708

[startup+25.5008 s]
/proc/loadavg: 1.99 2.01 1.95 3/179 12527
/proc/meminfo: memFree=1211124/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=70856 CPUtime=25.49 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 33749 0 0 0 2483 66 0 0 25 0 1 0 901646612 72556544 16346 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 17714 16346 741 1205 0 16505 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70856

[startup+51.1011 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 12528
/proc/meminfo: memFree=1205532/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=74088 CPUtime=51.09 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 36824 0 0 0 4975 134 0 0 25 0 1 0 901646612 75866112 17188 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 18522 17188 741 1205 0 17313 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74088

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 12529
/proc/meminfo: memFree=1172948/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=100008 CPUtime=102.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 42988 0 0 0 9974 256 0 0 25 0 1 0 901646612 102408192 23352 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 25002 23352 741 1205 0 23793 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 100008

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 12531
/proc/meminfo: memFree=1160044/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=97448 CPUtime=162.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 44770 0 0 0 15826 404 0 0 25 0 1 0 901646612 99786752 23107 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 24362 23107 741 1205 0 23153 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 97448

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 12532
/proc/meminfo: memFree=1151352/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=97448 CPUtime=222.29 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 44775 0 0 0 21674 555 0 0 25 0 1 0 901646612 99786752 23112 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 24362 23112 741 1205 0 23153 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 97448

[startup+282.301 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 12534
/proc/meminfo: memFree=1139668/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=97448 CPUtime=282.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 49184 0 0 0 27514 716 0 0 25 0 1 0 901646612 99786752 23123 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 24362 23123 741 1205 0 23153 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 97448

[startup+342.301 s]
/proc/loadavg: 2.05 2.02 1.96 3/179 12536
/proc/meminfo: memFree=1126876/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=100488 CPUtime=342.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 49921 0 0 0 33361 869 0 0 25 0 1 0 901646612 102899712 23859 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 25122 23859 741 1205 0 23913 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 100488

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 12537
/proc/meminfo: memFree=1114024/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=106524 CPUtime=402.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 51414 0 0 0 39213 1017 0 0 25 0 1 0 901646612 109080576 25344 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 26631 25344 741 1205 0 25422 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 106524

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 12539
/proc/meminfo: memFree=1087648/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=114484 CPUtime=462.31 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 59219 0 0 0 45057 1174 0 0 25 0 1 0 901646612 117231616 27287 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 28621 27287 741 1205 0 27412 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 114484

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 12540
/proc/meminfo: memFree=1068152/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=118572 CPUtime=522.3 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 60279 0 0 0 50894 1336 0 0 25 0 1 0 901646612 121417728 28347 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 29643 28347 741 1205 0 28434 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 118572

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12542
/proc/meminfo: memFree=1046452/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=123672 CPUtime=582.31 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 61558 0 0 0 56733 1498 0 0 25 0 1 0 901646612 126640128 29626 33554432000 4194304 9128323 140735090032336 18446744073709551615 6505895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 30918 29626 741 1205 0 29709 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 123672

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.97 1.98 1.96 3/179 12587
/proc/meminfo: memFree=1370668/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=229540 CPUtime=822.32 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 157684 0 0 0 80287 1945 0 0 25 0 1 0 901646612 235048960 56033 33554432000 4194304 9128323 140735090032336 18446744073709551615 5984416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 57385 56033 743 1205 0 56176 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 229540

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12589
/proc/meminfo: memFree=1314992/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=250764 CPUtime=882.31 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 203035 0 0 0 86211 2020 0 0 25 0 1 0 901646612 256782336 61297 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 62691 61297 755 1205 0 61482 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 250764

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12591
/proc/meminfo: memFree=1285808/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=251672 CPUtime=942.32 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 236214 0 0 0 92115 2117 0 0 25 0 1 0 901646612 257712128 61518 33554432000 4194304 9128323 140735090032336 18446744073709551615 6712632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 62918 61518 755 1205 0 61709 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 251672

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12592
/proc/meminfo: memFree=1248196/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=253340 CPUtime=1002.32 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 253296 0 0 0 98026 2206 0 0 25 0 1 0 901646612 259420160 61915 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 63335 61915 755 1205 0 62126 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 253340

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12594
/proc/meminfo: memFree=1219000/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=254056 CPUtime=1062.32 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 261366 0 0 0 103933 2299 0 0 25 0 1 0 901646612 260153344 62091 33554432000 4194304 9128323 140735090032336 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 63514 62091 755 1205 0 62305 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 254056

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12595
/proc/meminfo: memFree=1193896/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=255484 CPUtime=1122.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 267560 0 0 0 109847 2386 0 0 25 0 1 0 901646612 261615616 62474 33554432000 4194304 9128323 140735090032336 18446744073709551615 4219708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 63871 62474 755 1205 0 62662 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 255484

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12606
/proc/meminfo: memFree=1168532/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=258116 CPUtime=1182.32 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 268198 0 0 0 115769 2463 0 0 25 0 1 0 901646612 264310784 63111 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 64529 63111 755 1205 0 63320 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 258116

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12608
/proc/meminfo: memFree=1150260/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=258580 CPUtime=1242.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 274069 0 0 0 121683 2550 0 0 25 0 1 0 901646612 264785920 63197 33554432000 4194304 9128323 140735090032336 18446744073709551615 7183790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 64645 63197 755 1205 0 63436 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 258580

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/179 12609
/proc/meminfo: memFree=1134708/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=258864 CPUtime=1302.34 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 274188 0 0 0 127598 2636 0 0 25 0 1 0 901646612 265076736 63316 33554432000 4194304 9128323 140735090032336 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 64716 63316 755 1205 0 63507 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 258864

[startup+1362.3 s]
/proc/loadavg: 2.05 2.00 1.96 3/179 12611
/proc/meminfo: memFree=1126348/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=260088 CPUtime=1362.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 274508 0 0 0 133515 2718 0 0 25 0 1 0 901646612 266330112 63636 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 65022 63636 755 1205 0 63813 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 260088

[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.96 3/179 12615
/proc/meminfo: memFree=1118964/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=261424 CPUtime=1422.34 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 280541 0 0 0 139439 2795 0 0 25 0 1 0 901646612 267698176 63949 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 65356 63949 755 1205 0 64147 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 261424

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12617
/proc/meminfo: memFree=1118652/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=261780 CPUtime=1482.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 280600 0 0 0 145356 2877 0 0 25 0 1 0 901646612 268062720 64008 33554432000 4194304 9128323 140735090032336 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 65445 64008 755 1205 0 64236 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 261780

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12619
/proc/meminfo: memFree=1117492/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=261780 CPUtime=1542.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 280616 0 0 0 151277 2956 0 0 25 0 1 0 901646612 268062720 64024 33554432000 4194304 9128323 140735090032336 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 65445 64024 755 1205 0 64236 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 261780

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/179 12620
/proc/meminfo: memFree=1113704/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=263264 CPUtime=1602.33 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 280977 0 0 0 157195 3038 0 0 25 0 1 0 901646612 269582336 64385 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 65816 64385 755 1205 0 64607 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 263264

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 12622
/proc/meminfo: memFree=1109824/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=265696 CPUtime=1662.34 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 281606 0 0 0 163121 3113 0 0 25 0 1 0 901646612 272072704 65014 33554432000 4194304 9128323 140735090032336 18446744073709551615 4892799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 66424 65014 755 1205 0 65215 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 265696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12623
/proc/meminfo: memFree=1105568/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=269112 CPUtime=1722.35 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 282466 0 0 0 169052 3183 0 0 25 0 1 0 901646612 275570688 65869 33554432000 4194304 9128323 140735090032336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 67278 65869 755 1205 0 66069 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 269112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12625
/proc/meminfo: memFree=1104748/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=270628 CPUtime=1782.34 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 282853 0 0 0 174985 3249 0 0 25 0 1 0 901646612 277123072 66256 33554432000 4194304 9128323 140735090032336 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12526/statm: 67657 66256 755 1205 0 66448 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 270628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12626
/proc/meminfo: memFree=1104496/32951124 swapFree=67063552/67111528
[pid=12526] ppid=12524 vsize=270840 CPUtime=1800.05 cores=1,3,5,7
/proc/12526/stat : 12526 (scip-2.0.1.4.li) R 12524 12526 11440 0 -1 4202496 282891 0 0 0 176732 3273 0 0 25 0 1 0 901646612 277340160 66294 33554432000 4194304 9128323 140735090032336 18446744073709551615 5379655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12526/statm: 67710 66294 755 1205 0 66501 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 270840

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1767.33
CPU system time (s): 32.743
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 282600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.33
system time used= 32.743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282892
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= 6
involuntary context switches= 2037

runsolver used 2.87156 second user time and 6.80097 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-12 19:41:24
IDJOB=3447267
IDBENCH=79260
IDSOLVER=1944
FILE ID=node134/3447267-1307900484
RUNJOBID= node134-1307898651-11879
PBS_JOBID= 13559572
Free space on /tmp= 1412 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447267-1307900484/watcher-3447267-1307900484 -o /tmp/evaluation-result-3447267-1307900484/solver-3447267-1307900484 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447267-1307900484.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 96d1f19cba40c7363abd0128bfda9b7c
RANDOM SEED=1406922054

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1282080 kB
Buffers:         60248 kB
Cached:       30256816 kB
SwapCached:      10044 kB
Active:       15815144 kB
Inactive:     14905464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1282080 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:           12612 kB
Writeback:           0 kB
AnonPages:      401664 kB
Mapped:          13148 kB
Slab:           884392 kB
PageTables:       5164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   574368 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= 1400 MiB
End job on node134 at 2011-06-12 20:11:26