Trace number 3447297

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.08 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
MD5SUM51cd1cd61e067c06067b10b7beeffad7
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 benchmark39.244
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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-3447297-1307900743.wbo>
0.00/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.05	o 135864
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.358640e+05
0.00/0.05	c presolving:
0.00/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.00/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.358640e+05 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   567 |     - |  18M|   0 |  32 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.69/0.72	c   0.7s|     1 |     0 |   658 |     - |  18M|   0 |  51 |5645 |8121 |5645 |2771 |  64 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
1.00/1.05	c   1.0s|     1 |     0 |   663 |     - |  19M|   0 |  55 |5645 |8121 |5645 |2776 |  69 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
1.29/1.39	c   1.4s|     1 |     0 |   699 |     - |  19M|   0 |  55 |5645 |8121 |5645 |2778 |  71 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
1.69/1.76	c   1.8s|     1 |     0 |   731 |     - |  19M|   0 |  56 |5645 |8121 |5645 |2779 |  72 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
2.09/2.12	c   2.1s|     1 |     0 |   753 |     - |  19M|   0 |  54 |5645 |8121 |5645 |2790 |  83 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
2.99/3.07	c   3.1s|     1 |     2 |   753 |     - |  20M|   0 |  54 |5645 |8121 |5645 |2790 |  83 |   0 |  33 | 0.000000e+00 | 1.358640e+05 |    Inf 
28.89/28.91	o 902
28.89/28.91	c *28.9s|   401 |   400 | 80205 | 198.6 |  30M|  57 |   - |5645 |8121 |5645 |2980 | 956 |   0 |1168 | 0.000000e+00 | 9.020000e+02 |    Inf 
244.69/244.77	c   245s| 10000 |  9997 |  1334k| 133.4 |  64M|  71 |   7 |5645 |8331 |5645 |2757 |  19k| 210 |2447 | 0.000000e+00 | 9.020000e+02 |    Inf 
289.90/289.93	o 588
289.90/289.93	c * 290s| 11761 | 11490 |  1567k| 133.2 |  70M|  71 |   - |5645 |8374 |5645 |2894 |  25k| 254 |2663 | 0.000000e+00 | 5.880000e+02 |    Inf 
330.10/330.10	o 540
330.10/330.10	c * 330s| 13849 | 13173 |  1743k| 125.9 |  79M|  81 |   - |5645 |8931 |5645 |2866 |  29k| 824 |2838 | 0.000000e+00 | 5.400000e+02 |    Inf 
348.61/348.67	o 534
348.61/348.67	c * 349s| 14523 | 13676 |  1844k| 127.0 |  81M|  81 |   - |5645 |9216 |5645 |2768 |  31k|1126 |2939 | 0.000000e+00 | 5.340000e+02 |    Inf 
488.00/488.04	c   488s| 20000 | 18345 |  2650k| 132.5 |  99M|  92 |   7 |5645 |  10k|5645 |2755 |  46k|2711 |3566 | 0.000000e+00 | 5.340000e+02 |    Inf 
582.01/582.09	o 528
582.01/582.09	c * 582s| 24125 | 21942 |  3196k| 132.5 | 112M|  92 |   - |5645 |  11k|5645 |2781 |  57k|3812 |3986 | 0.000000e+00 | 5.280000e+02 |    Inf 
598.91/598.97	o 509
598.91/598.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
598.91/598.97	c * 599s| 24779 | 22421 |  3299k| 133.1 | 113M|  97 |   - |5645 |  11k|5645 |2811 |  59k|4029 |4064 | 0.000000e+00 | 5.090000e+02 |    Inf 
625.51/625.55	o 506
625.51/625.55	c * 626s| 25917 | 23353 |  3455k| 133.3 | 117M|  97 |   - |5645 |  12k|5645 |2814 |  62k|4458 |4169 | 0.000000e+00 | 5.060000e+02 |    Inf 
659.51/659.50	o 502
659.51/659.50	c * 660s| 26870 | 24173 |  3659k| 136.2 | 120M|  97 |   - |5645 |  12k|5645 |2815 |  66k|4735 |4324 | 0.000000e+00 | 5.020000e+02 |    Inf 
758.42/758.49	c   758s| 30000 | 26676 |  4228k| 140.9 | 129M|  98 |   - |5645 |  12k|   0 |   0 |  79k|6062 |4716 | 0.000000e+00 | 5.020000e+02 |    Inf 
917.02/917.05	o 481
917.02/917.05	c * 917s| 35657 | 30943 |  5110k| 143.3 | 144M| 109 |   - |5645 |  12k|5645 |2865 | 100k|8393 |5315 | 0.000000e+00 | 4.810000e+02 |    Inf 
920.43/920.48	o 467
920.43/920.48	c * 920s| 35752 | 30854 |  5127k| 143.4 | 143M| 109 |   - |5645 |  12k|5645 |2796 | 101k|8456 |5315 | 0.000000e+00 | 4.670000e+02 |    Inf 
924.12/924.11	o 452
924.12/924.11	c * 924s| 35845 | 30683 |  5146k| 143.5 | 140M| 109 |   - |5645 |  12k|5645 |2832 | 102k|8515 |5319 | 0.000000e+00 | 4.520000e+02 |    Inf 
925.53/925.58	o 421
925.53/925.58	c * 926s| 35879 | 29875 |  5153k| 143.6 | 131M| 109 |   - |5645 |  12k|5645 |2809 | 102k|8534 |5330 | 0.000000e+00 | 4.210000e+02 |    Inf 
931.92/931.97	o 419
931.92/931.97	c * 932s| 36024 | 29900 |  5182k| 143.8 | 131M| 109 |   - |5645 |  12k|5645 |2831 | 103k|8610 |5355 | 0.000000e+00 | 4.190000e+02 |    Inf 
936.62/936.69	o 377
936.62/936.69	c * 937s| 36166 | 28116 |  5206k| 143.9 | 122M| 109 |   - |5645 |  12k|5645 |2832 | 104k|8694 |5378 | 0.000000e+00 | 3.770000e+02 |    Inf 
936.92/936.92	o 289
936.92/936.92	c * 937s| 36167 | 23214 |  5206k| 144.0 | 106M| 109 |   - |5645 |  12k|5645 |2880 | 104k|8694 |5378 | 0.000000e+00 | 2.890000e+02 |    Inf 
937.23/937.24	o 286
937.23/937.24	c * 937s| 36174 | 23021 |  5208k| 144.0 | 106M| 109 |   - |5645 |  12k|5645 |2784 | 104k|8694 |5382 | 0.000000e+00 | 2.860000e+02 |    Inf 
937.32/937.31	o 265
937.32/937.31	c * 937s| 36175 | 21710 |  5208k| 144.0 | 102M| 109 |   - |5645 |  12k|5645 |2804 | 104k|8694 |5382 | 0.000000e+00 | 2.650000e+02 |    Inf 
939.82/939.80	o 261
939.82/939.80	c * 940s| 36280 | 21432 |  5221k| 143.9 | 101M| 109 |   - |5645 |  11k|5645 |2793 | 104k|8753 |5386 | 0.000000e+00 | 2.610000e+02 |    Inf 
954.32/954.35	o 260
954.32/954.35	c r 954s| 37071 | 21772 |  5292k| 142.8 | 104M| 109 |   1 |5645 |  11k|5645 |2811 | 106k|9358 |5429 | 0.000000e+00 | 2.600000e+02 |    Inf 
984.22/984.24	o 242
984.22/984.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
984.22/984.24	c * 984s| 38467 | 21247 |  5449k| 141.6 | 105M| 109 |   - |5645 |  11k|5645 |2835 | 109k|  10k|5525 | 0.000000e+00 | 2.420000e+02 |    Inf 
997.93/997.95	o 237
997.93/997.95	c * 998s| 39138 | 21186 |  5509k| 140.8 | 107M| 109 |   - |5645 |  11k|5645 |2820 | 111k|  10k|5586 | 0.000000e+00 | 2.370000e+02 |    Inf 
999.83/999.85	o 229
999.83/999.85	c *1000s| 39206 | 20534 |  5516k| 140.7 | 104M| 109 |   - |5645 |  11k|5645 |2788 | 111k|  10k|5589 | 0.000000e+00 | 2.290000e+02 |    Inf 
1000.73/1000.76	o 194
1000.73/1000.76	c *1001s| 39243 | 17444 |  5518k| 140.6 |  93M| 109 |   - |5645 |  11k|5645 |2842 | 112k|  10k|5591 | 0.000000e+00 | 1.940000e+02 |    Inf 
1012.73/1012.74	o 183
1012.73/1012.74	c *1013s| 39951 | 16864 |  5569k| 139.4 |  94M| 109 |   - |5645 |  11k|5645 |2796 | 113k|  11k|5636 | 0.000000e+00 | 1.830000e+02 |    Inf 
1013.23/1013.22	o 165
1013.23/1013.22	c *1013s| 39969 | 14949 |  5570k| 139.4 |  86M| 109 |   - |5645 |  11k|5645 |2781 | 113k|  11k|5638 | 0.000000e+00 | 1.650000e+02 |    Inf 
1013.83/1013.81	c  1014s| 40000 | 14960 |  5572k| 139.3 |  86M| 109 |   - |5645 |  11k|   0 |   0 | 113k|  11k|5638 | 0.000000e+00 | 1.650000e+02 |    Inf 
1019.33/1019.37	o 160
1019.33/1019.37	c *1019s| 40324 | 14796 |  5591k| 138.6 |  87M| 109 |   - |5645 |  11k|5645 |2760 | 114k|  11k|5644 | 0.000000e+00 | 1.600000e+02 |    Inf 
1041.92/1041.93	o 148
1041.92/1041.93	c *1042s| 41612 | 13709 |  5667k| 136.2 |  90M| 147 |   - |5645 |  11k|5645 |2776 | 115k|  12k|5726 | 0.000000e+00 | 1.480000e+02 |    Inf 
1043.12/1043.18	o 136
1043.12/1043.18	c *1043s| 41676 | 12639 |  5671k| 136.1 |  86M| 147 |   - |5645 |  11k|5645 |2770 | 116k|  12k|5728 | 0.000000e+00 | 1.360000e+02 |    Inf 
1043.52/1043.55	o 129
1043.52/1043.55	c *1044s| 41697 | 11837 |  5672k| 136.0 |  83M| 147 |   - |5645 |  11k|5645 |2764 | 116k|  12k|5729 | 0.000000e+00 | 1.290000e+02 |    Inf 
1045.83/1045.83	o 119
1045.83/1045.83	c *1046s| 41850 | 10797 |  5676k| 135.6 |  81M| 147 |   - |5645 |  11k|5645 |2761 | 116k|  12k|5745 | 0.000000e+00 | 1.190000e+02 |    Inf 
1045.83/1045.88	o 104
1045.83/1045.88	c *1046s| 41855 |  9562 |  5676k| 135.6 |  75M| 147 |   - |5645 |  11k|5645 |2760 | 116k|  12k|5745 | 0.000000e+00 | 1.040000e+02 |    Inf 
1046.22/1046.21	o 103
1046.22/1046.21	c *1046s| 41893 |  9557 |  5677k| 135.5 |  75M| 147 |   - |5645 |  11k|5645 |2758 | 116k|  12k|5745 | 0.000000e+00 | 1.030000e+02 |    Inf 
1050.43/1050.43	o 102
1050.43/1050.43	c *1050s| 42262 |  9572 |  5684k| 134.5 |  76M| 147 |   - |5645 |  10k|5645 |2764 | 116k|  13k|5778 | 0.000000e+00 | 1.020000e+02 |    Inf 
1051.13/1051.12	o 96
1051.13/1051.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1051.13/1051.12	c *1051s| 42311 |  9318 |  5686k| 134.4 |  76M| 147 |   - |5645 |  10k|5645 |2763 | 116k|  13k|5778 | 0.000000e+00 | 9.600000e+01 |    Inf 
1054.52/1054.56	o 85
1054.52/1054.56	c *1055s| 42655 |  7838 |  5695k| 133.5 |  70M| 147 |   - |5645 |9970 |5645 |2764 | 116k|  13k|5779 | 0.000000e+00 | 8.500000e+01 |    Inf 
1055.73/1055.70	o 82
1055.73/1055.70	c *1056s| 42761 |  7679 |  5697k| 133.2 |  69M| 147 |   - |5645 |9377 |5645 |2763 | 116k|  13k|5782 | 0.000000e+00 | 8.200000e+01 |    Inf 
1063.33/1063.33	o 73
1063.33/1063.33	c *1063s| 43589 |  7205 |  5709k| 131.0 |  68M| 147 |   - |5645 |9123 |5645 |2766 | 116k|  14k|5809 | 0.000000e+00 | 7.300000e+01 |    Inf 
1064.12/1064.10	o 61
1064.12/1064.10	c *1064s| 43647 |  3218 |  5710k| 130.8 |  50M| 147 |   - |5645 |8450 |5645 |2765 | 116k|  14k|5815 | 0.000000e+00 | 6.100000e+01 |    Inf 
1104.13/1104.13	c  1104s| 50000 |  2934 |  5771k| 115.4 |  60M| 147 |   - |5645 |8605 |   0 |   0 | 116k|  21k|5952 | 0.000000e+00 | 6.100000e+01 |    Inf 
1151.83/1151.80	o 57
1151.83/1151.80	c *1152s| 58182 |  2742 |  5832k| 100.2 |  63M| 147 |   - |5645 |9297 |5645 |2759 | 117k|  31k|6000 | 0.000000e+00 | 5.700000e+01 |    Inf 
1160.43/1160.45	c  1160s| 60000 |  2725 |  5842k|  97.4 |  63M| 147 |  10 |5645 |8339 |5645 |2755 | 117k|  33k|6006 | 0.000000e+00 | 5.700000e+01 |    Inf 
1186.83/1186.85	o 49
1186.83/1186.85	c *1187s| 64865 |  2547 |  5876k|  90.6 |  65M| 147 |   - |5645 |9284 |5645 |2758 | 117k|  38k|6041 | 0.000000e+00 | 4.900000e+01 |    Inf 
1197.73/1197.77	o 48
1197.73/1197.77	c *1198s| 66993 |  2462 |  5891k|  87.9 |  64M| 147 |   - |5645 |8433 |5645 |2757 | 118k|  41k|6050 | 0.000000e+00 | 4.800000e+01 |    Inf 
1216.03/1216.09	c  1216s| 70000 |  2439 |  5920k|  84.6 |  65M| 147 |   1 |5645 |8370 |5645 |2760 | 118k|  44k|6080 | 0.000000e+00 | 4.800000e+01 |    Inf 
1222.23/1222.22	o 47
1222.23/1222.22	c *1222s| 71347 |  2423 |  5927k|  83.1 |  65M| 147 |   - |5645 |8156 |5645 |2752 | 118k|  46k|6100 | 0.000000e+00 | 4.700000e+01 |    Inf 
1223.24/1223.21	o 46
1223.24/1223.21	c *1223s| 71544 |  2418 |  5928k|  82.9 |  65M| 147 |   - |5645 |8067 |5645 |2764 | 118k|  46k|6100 | 0.000000e+00 | 4.600000e+01 |    Inf 
1227.54/1227.59	o 41
1227.54/1227.59	c *1228s| 72464 |  2389 |  5932k|  81.9 |  65M| 147 |   - |5645 |8424 |5645 |2753 | 118k|  47k|6104 | 0.000000e+00 | 4.100000e+01 |    Inf 
1227.93/1227.92	o 30
1227.93/1227.92	c *1228s| 72523 |  1535 |  5933k|  81.8 |  59M| 147 |   - |5645 |8062 |5645 |2755 | 118k|  47k|6104 | 0.000000e+00 | 3.000000e+01 |    Inf 
1235.04/1235.05	o 29
1235.04/1235.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1235.04/1235.05	c *1235s| 73777 |  1415 |  5947k|  80.6 |  58M| 147 |   - |5645 |6460 |5645 |2760 | 118k|  49k|6116 | 0.000000e+00 | 2.900000e+01 |    Inf 
1264.13/1264.11	c  1264s| 80000 |  1466 |  5998k|  75.0 |  59M| 147 |   - |5645 |9070 |   0 |   0 | 118k|  56k|6127 | 0.000000e+00 | 2.900000e+01 |    Inf 
1287.23/1287.21	o 9
1287.23/1287.21	c *1287s| 84678 |  1114 |  6041k|  71.3 |  50M| 147 |   - |5645 |9812 |5645 |2758 | 118k|  61k|6143 | 0.000000e+00 | 9.000000e+00 |    Inf 
1294.94/1294.96	o 7
1294.94/1294.96	c *1295s| 85843 |   620 |  6074k|  70.8 |  43M| 147 |   - |5645 |4808 |5645 |2759 | 118k|  63k|6174 | 0.000000e+00 | 7.000000e+00 |    Inf 
1313.74/1313.73	c  1314s| 90000 |   492 |  6154k|  68.4 |  42M| 147 |  40 |5645 |6694 |5645 |2755 | 118k|  68k|6193 | 0.000000e+00 | 7.000000e+00 |    Inf 
1325.54/1325.52	o 3
1325.54/1325.52	c *1326s| 92328 |   435 |  6207k|  67.2 |  42M| 147 |   - |5645 |7896 |5645 |2760 | 118k|  71k|6211 | 0.000000e+00 | 3.000000e+00 |    Inf 
1360.34/1360.38	c  1360s|100000 |   391 |  6356k|  63.6 |  44M| 147 |   - |5645 |  12k|5645 |2755 | 118k|  81k|6277 | 0.000000e+00 | 3.000000e+00 |    Inf 
1402.84/1402.82	c  1403s|110000 |   397 |  6523k|  59.3 |  48M| 147 |  25 |5645 |  20k|5645 |2755 | 118k|  95k|6359 | 0.000000e+00 | 3.000000e+00 |    Inf 
1449.44/1449.48	c  1449s|120000 |   387 |  6700k|  55.8 |  51M| 147 |   - |5645 |  27k|5645 |2755 | 118k| 109k|6448 | 0.000000e+00 | 3.000000e+00 |    Inf 
1494.85/1494.82	c  1495s|130000 |   402 |  6861k|  52.8 |  53M| 147 |   - |5645 |  29k|   0 |   0 | 118k| 122k|6539 | 0.000000e+00 | 3.000000e+00 |    Inf 
1544.35/1544.32	c  1544s|140000 |   391 |  7044k|  50.3 |  51M| 147 |  28 |5645 |  25k|5645 |2755 | 118k| 136k|6635 | 0.000000e+00 | 3.000000e+00 |    Inf 
1590.35/1590.33	o 2
1590.35/1590.33	c *1590s|149571 |   336 |  7225k|  48.3 |  45M| 147 |   - |5645 |  13k|5645 |2757 | 118k| 148k|6731 | 0.000000e+00 | 2.000000e+00 |    Inf 
1592.25/1592.29	c  1592s|150000 |   334 |  7233k|  48.2 |  45M| 147 |   - |5645 |  13k|5645 |2755 | 118k| 149k|6731 | 0.000000e+00 | 2.000000e+00 |    Inf 
1638.84/1638.83	c  1639s|160000 |   318 |  7431k|  46.4 |  47M| 147 |  29 |5645 |  17k|5645 |2755 | 118k| 161k|6810 | 0.000000e+00 | 2.000000e+00 |    Inf 
1640.75/1640.70	o 1
1640.75/1640.70	c *1641s|160403 |   315 |  7439k|  46.4 |  47M| 147 |   - |5645 |  17k|5645 |2755 | 118k| 162k|6810 | 0.000000e+00 | 1.000000e+00 |    Inf 
1686.55/1686.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1686.55/1686.50	c  1687s|170000 |   296 |  7633k|  44.9 |  44M| 147 |   - |5645 |  12k|   0 |   0 | 118k| 174k|6928 | 0.000000e+00 | 1.000000e+00 |    Inf 
1737.55/1737.52	c  1738s|180000 |   303 |  7856k|  43.6 |  47M| 147 |  29 |5645 |  18k|5645 |2755 | 118k| 187k|7000 | 0.000000e+00 | 1.000000e+00 |    Inf 
1788.35/1788.36	c  1788s|190000 |   278 |  8070k|  42.5 |  47M| 147 |   - |5645 |  20k|5645 |2755 | 118k| 200k|7111 | 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      : 192392
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+00 (612 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 
1800.05/1800.00	v -x125 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-3447297-1307900743.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-3447297-1307900743.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, 31574 maximal
1800.06/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.06/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   linear           :       0.02          0          0          0       2707          0          1          0          0          0
1800.06/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   root node        :          -       5414          -          -       5414          -          -          -          -          -
1800.06/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   integral         :          0          0          0     234794          0      19156          0         75        556          0          0     231406
1800.06/1800.00	c   varbound         :          0+         6     929190     118627          0          0      50265         19    5000122     118657          0          0
1800.06/1800.00	c   linear           :       2707          6    1109863         37          0      19152    2416398      20963    3706720          0          0          0
1800.06/1800.00	c   indicator        :       2707          0     911925     118627          0      19113      85863          0      85722          0          0          0
1800.06/1800.00	c   logicor          :          0+         0     291851          0          0          0     467299       3517     160463          0          0          0
1800.06/1800.00	c   bounddisjunction :          0+         0     115226          0          0          0       2218        127       3330          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 /var/tmp/evaluation-result-3447297-1307900743/watcher-3447297-1307900743 -o /var/tmp/evaluation-result-3447297-1307900743/solver-3447297-1307900743 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447297-1307900743.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: 2.00 2.00 1.83 2/177 32481
/proc/meminfo: memFree=968088/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=10292 CPUtime=0 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 1563 0 0 0 0 0 0 0 25 0 1 0 901673934 10539008 1517 33554432000 4194304 9128323 140736864475488 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32481/statm: 2573 1519 399 1205 0 1364 0

[startup+0.00817493 s]
/proc/loadavg: 2.00 2.00 1.83 2/177 32481
/proc/meminfo: memFree=968088/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=10688 CPUtime=0 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 1685 0 0 0 0 0 0 0 25 0 1 0 901673934 10944512 1638 33554432000 4194304 9128323 140736864475488 18446744073709551615 6163855 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32481/statm: 2672 1638 399 1205 0 1463 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10688

[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 1.83 2/177 32481
/proc/meminfo: memFree=968088/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=35724 CPUtime=0.09 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 7950 0 0 0 8 1 0 0 25 0 1 0 901673934 36581376 7644 33554432000 4194304 9128323 140736864475488 18446744073709551615 5976260 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 8931 7644 531 1205 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35724

[startup+0.300128 s]
/proc/loadavg: 2.00 2.00 1.83 2/177 32481
/proc/meminfo: memFree=968088/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=71656 CPUtime=0.29 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 17220 0 0 0 27 2 0 0 25 0 1 0 901673934 73375744 16815 33554432000 4194304 9128323 140736864475488 18446744073709551615 4217083 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 17914 16815 699 1205 0 16705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71656

[startup+0.701105 s]
/proc/loadavg: 2.00 2.00 1.83 2/177 32481
/proc/meminfo: memFree=968088/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=52348 CPUtime=0.69 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 21179 0 0 0 66 3 0 0 25 0 1 0 901673934 53604352 12054 33554432000 4194304 9128323 140736864475488 18446744073709551615 6521220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 13087 12054 717 1205 0 11878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52348

[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 32482
/proc/meminfo: memFree=922100/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=55796 CPUtime=1.49 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 21932 0 0 0 145 4 0 0 25 0 1 0 901673934 57135104 12801 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 13949 12801 711 1205 0 12740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55796

[startup+3.10059 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 32482
/proc/meminfo: memFree=918132/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=59908 CPUtime=3.09 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 29030 0 0 0 298 11 0 0 25 0 1 0 901673934 61345792 13723 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 14977 13723 729 1205 0 13768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59908

[startup+6.30097 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 32482
/proc/meminfo: memFree=913780/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=60472 CPUtime=6.29 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 29219 0 0 0 606 23 0 0 25 0 1 0 901673934 61923328 13912 33554432000 4194304 9128323 140736864475488 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 15118 13912 729 1205 0 13909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60472

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 32482
/proc/meminfo: memFree=910944/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=61900 CPUtime=12.69 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 29558 0 0 0 1223 46 0 0 25 0 1 0 901673934 63385600 14251 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 15475 14251 729 1205 0 14266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61900

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 32483
/proc/meminfo: memFree=903376/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=67304 CPUtime=25.49 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 36590 0 0 0 2459 90 0 0 25 0 1 0 901673934 68919296 15379 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 16826 15379 730 1205 0 15617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67304

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 32483
/proc/meminfo: memFree=900248/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=73248 CPUtime=51.09 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 40124 0 0 0 4928 181 0 0 25 0 1 0 901673934 75005952 16957 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 18312 16957 732 1205 0 17103 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73248

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 32485
/proc/meminfo: memFree=876644/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=94928 CPUtime=102.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 50054 0 0 0 9889 341 0 0 25 0 1 0 901673934 97206272 22465 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 23732 22465 741 1205 0 22523 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 94928

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32486
/proc/meminfo: memFree=853792/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=119952 CPUtime=162.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 55937 0 0 0 15663 567 0 0 25 0 1 0 901673934 122830848 28348 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 29988 28348 741 1205 0 28779 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 119952

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32488
/proc/meminfo: memFree=853356/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=119952 CPUtime=222.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 56015 0 0 0 21439 791 0 0 25 0 1 0 901673934 122830848 28426 33554432000 4194304 9128323 140736864475488 18446744073709551615 7216720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 29988 28426 741 1205 0 28779 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 119952

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32490
/proc/meminfo: memFree=852456/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=119952 CPUtime=282.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 56024 0 0 0 27236 994 0 0 25 0 1 0 901673934 122830848 28435 33554432000 4194304 9128323 140736864475488 18446744073709551615 7191228 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 29988 28435 741 1205 0 28779 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 119952

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 32491
/proc/meminfo: memFree=840996/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=129628 CPUtime=342.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 83069 0 0 0 33067 1163 0 0 25 0 1 0 901673934 132739072 31165 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 32407 31165 742 1205 0 31198 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 129628

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 1.88 3/178 32493
/proc/meminfo: memFree=831048/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=137968 CPUtime=402.31 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 105434 0 0 0 38876 1355 0 0 25 0 1 0 901673934 141279232 33243 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 34492 33243 741 1205 0 33283 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 137968

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.88 3/178 32494
/proc/meminfo: memFree=817992/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=147628 CPUtime=462.3 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 113903 0 0 0 44681 1549 0 0 25 0 1 0 901673934 151171072 35657 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32481/statm: 36907 35657 741 1205 0 35698 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 147628

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.89 3/178 32496
/proc/meminfo: memFree=807308/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=158312 CPUtime=522.31 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 122585 0 0 0 50486 1745 0 0 25 0 1 0 901673934 162111488 38318 33554432000 4194304 9128323 140736864475488 18446744073709551615 7177569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 39578 38318 741 1205 0 38369 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 158312

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.90 3/178 32498
/proc/meminfo: memFree=800192/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=165576 CPUtime=582.31 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 124409 0 0 0 56288 1943 0 0 25 0 1 0 901673934 169549824 40142 33554432000 4194304 9128323 140736864475488 18446744073709551615 7191991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 41394 40142 741 1205 0 40185 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 165576

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32504
/proc/meminfo: memFree=763816/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=199600 CPUtime=822.32 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 188780 0 0 0 79490 2742 0 0 25 0 1 0 901673934 204390400 48636 33554432000 4194304 9128323 140736864475488 18446744073709551615 7342752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 49900 48636 751 1205 0 48691 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 199600

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32506
/proc/meminfo: memFree=753232/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=209644 CPUtime=882.32 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 197363 0 0 0 85319 2913 0 0 25 0 1 0 901673934 214675456 51202 33554432000 4194304 9128323 140736864475488 18446744073709551615 4528851 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 52411 51202 751 1205 0 51202 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 209644

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32516
/proc/meminfo: memFree=746040/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=216316 CPUtime=942.32 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 199065 0 0 0 91169 3063 0 0 25 0 1 0 901673934 221507584 52889 33554432000 4194304 9128323 140736864475488 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 54079 52889 751 1205 0 52870 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 216316

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32518
/proc/meminfo: memFree=733228/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=229088 CPUtime=1002.32 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 226432 0 0 0 96991 3241 0 0 25 0 1 0 901673934 234586112 56052 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 57272 56052 751 1205 0 56063 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 229088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32519
/proc/meminfo: memFree=691256/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=270800 CPUtime=1062.33 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 266201 0 0 0 102891 3342 0 0 25 0 1 0 901673934 277299200 66407 33554432000 4194304 9128323 140736864475488 18446744073709551615 5276108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 67700 66407 751 1205 0 66491 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 270800

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32524
/proc/meminfo: memFree=662920/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=299308 CPUtime=1122.33 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 292490 0 0 0 108830 3403 0 0 25 0 1 0 901673934 306491392 73473 33554432000 4194304 9128323 140736864475488 18446744073709551615 5604729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 74827 73473 751 1205 0 73618 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 299308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32526
/proc/meminfo: memFree=647816/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=313856 CPUtime=1182.33 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 310948 0 0 0 114778 3455 0 0 25 0 1 0 901673934 321388544 77101 33554432000 4194304 9128323 140736864475488 18446744073709551615 5984017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 78464 77101 751 1205 0 77255 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 313856

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32527
/proc/meminfo: memFree=638072/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=322792 CPUtime=1242.33 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 372634 0 0 0 120712 3521 0 0 25 0 1 0 901673934 330539008 79366 33554432000 4194304 9128323 140736864475488 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 80698 79366 751 1205 0 79489 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 322792

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32529
/proc/meminfo: memFree=633552/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=325756 CPUtime=1302.34 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 412250 0 0 0 126616 3618 0 0 25 0 1 0 901673934 333574144 80114 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 81439 80114 752 1205 0 80230 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 325756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32530
/proc/meminfo: memFree=632516/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=326276 CPUtime=1362.33 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 449440 0 0 0 132465 3768 0 0 25 0 1 0 901673934 334106624 80198 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 81569 80198 752 1205 0 80360 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 326276

[startup+1422.31 s]
/proc/loadavg: 1.94 1.98 1.91 3/178 32571
/proc/meminfo: memFree=824160/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=329504 CPUtime=1422.35 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 454741 0 0 0 138345 3890 0 0 25 0 1 0 901673934 337412096 81037 33554432000 4194304 9128323 140736864475488 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 82376 81037 752 1205 0 81167 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 329504

[startup+1482.3 s]
/proc/loadavg: 1.97 1.98 1.91 3/178 32573
/proc/meminfo: memFree=794580/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=332100 CPUtime=1482.35 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 461283 0 0 0 144253 3982 0 0 25 0 1 0 901673934 340070400 81684 33554432000 4194304 9128323 140736864475488 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83025 81684 752 1205 0 81816 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 332100

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32574
/proc/meminfo: memFree=784276/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334028 CPUtime=1542.35 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 461760 0 0 0 150128 4107 0 0 25 0 1 0 901673934 342044672 82158 33554432000 4194304 9128323 140736864475488 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83507 82158 752 1205 0 82298 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 334028

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32576
/proc/meminfo: memFree=779756/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334112 CPUtime=1602.35 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 484869 0 0 0 155993 4242 0 0 25 0 1 0 901673934 342130688 82172 33554432000 4194304 9128323 140736864475488 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83528 82172 752 1205 0 82319 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 334112

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32577
/proc/meminfo: memFree=773888/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334292 CPUtime=1662.35 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 519050 0 0 0 161852 4383 0 0 25 0 1 0 901673934 342315008 82215 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83573 82215 752 1205 0 82364 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 334292

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32579
/proc/meminfo: memFree=767620/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334288 CPUtime=1722.36 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 530358 0 0 0 167709 4527 0 0 25 0 1 0 901673934 342310912 82222 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83572 82222 752 1205 0 82363 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 334288

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32581
/proc/meminfo: memFree=767456/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334472 CPUtime=1782.36 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 536192 0 0 0 173580 4656 0 0 25 0 1 0 901673934 342499328 82264 33554432000 4194304 9128323 140736864475488 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32481/statm: 83618 82264 754 1205 0 82409 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 334472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 32581
/proc/meminfo: memFree=767072/32950928 swapFree=67055948/67111528
[pid=32481] ppid=32479 vsize=334644 CPUtime=1800.06 cores=1,3,5,7
/proc/32481/stat : 32481 (scip-2.0.1.4.li) R 32479 32481 30857 0 -1 4202496 536223 0 0 0 175313 4693 0 0 25 0 1 0 901673934 342675456 82295 33554432000 4194304 9128323 140736864475488 18446744073709551615 7961504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32481/statm: 83661 82295 754 1205 0 82452 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 334644

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.08
CPU user time (s): 1753.13
CPU system time (s): 46.9519
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 358412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.13
system time used= 46.9519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536224
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= 5
involuntary context switches= 2527

runsolver used 2.35764 second user time and 6.04408 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-12 19:45:43
IDJOB=3447297
IDBENCH=79273
IDSOLVER=1944
FILE ID=node127/3447297-1307900743
RUNJOBID= node127-1307898940-32329
PBS_JOBID= 13559579
Free space on /var/tmp= 2880 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.1900567135--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 /var/tmp/evaluation-result-3447297-1307900743/watcher-3447297-1307900743 -o /var/tmp/evaluation-result-3447297-1307900743/solver-3447297-1307900743 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447297-1307900743.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 51cd1cd61e067c06067b10b7beeffad7
RANDOM SEED=1599020877

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        968648 kB
Buffers:         52904 kB
Cached:       30700868 kB
SwapCached:       9120 kB
Active:       15689924 kB
Inactive:     15334688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        968648 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:           12092 kB
Writeback:           0 kB
AnonPages:      268456 kB
Mapped:          16212 kB
Slab:           893160 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   471384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2868 MiB
End job on node127 at 2011-06-12 20:15:45