Trace number 3447970

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark0.110982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
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-3447970-1307902708.wbo>
0.00/0.01	c original problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 951 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 100 del vars, 101 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.03	c (round 2) 100 del vars, 101 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.05	c    (0.1s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.05	c presolving (3 rounds):
0.02/0.05	c  100 deleted vars, 101 deleted constraints, 0 added constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05	c  1050 implications, 0 cliques
0.02/0.05	c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.02/0.05	c     850 constraints of type <linear>
0.02/0.05	c     850 constraints of type <indicator>
0.02/0.05	c transformed objective value is always integral (scale: 1)
0.02/0.05	c Presolving Time: 0.04
0.02/0.05	c - non default parameters ----------------------------------------------------------------------
0.02/0.05	c # SCIP version 2.0.1.4
0.02/0.05	c 
0.02/0.05	c # frequency for displaying node information lines
0.02/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05	c display/freq = 10000
0.02/0.05	c 
0.02/0.05	c # maximal time in seconds to run
0.02/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05	c limits/time = 1800
0.02/0.05	c 
0.02/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05	c limits/memory = 13950
0.02/0.05	c 
0.02/0.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05	c # [type: int, range: [1,2], default: 1]
0.02/0.05	c timing/clocktype = 2
0.02/0.05	c 
0.02/0.05	c # belongs reading time to solving time?
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c timing/reading = TRUE
0.02/0.05	c 
0.02/0.05	c # should presolving try to simplify inequalities
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/linear/simplifyinequalities = TRUE
0.02/0.05	c 
0.02/0.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/indicator/addCouplingCons = TRUE
0.02/0.05	c 
0.02/0.05	c # should presolving try to simplify knapsacks
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05	c 
0.02/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05	c separating/rapidlearning/freq = 0
0.02/0.05	c 
0.02/0.05	c -----------------------------------------------------------------------------------------------
0.02/0.05	c start solving
0.02/0.06	c 
0.02/0.06	o 420925
0.02/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.02/0.06	c t 0.1s|     1 |     0 |     0 |     - |4960k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.02/0.07	c   0.1s|     1 |     0 |   179 |     - |6100k|   0 |  77 |1800 |2550 |1800 | 850 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.25	c   0.3s|     1 |     0 |   590 |     - |8754k|   0 |  85 |1800 |2550 |1800 | 890 |  40 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |   740 |     - |9413k|   0 |  87 |1800 |2550 |1800 | 918 |  68 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   826 |     - |9461k|   0 |  85 |1800 |2550 |1800 | 935 |  85 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.59/0.67	c   0.7s|     1 |     0 |   982 |     - |  10M|   0 |  82 |1800 |2550 |1800 | 942 |  92 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.79/0.80	c   0.8s|     1 |     0 |  1039 |     - |  13M|   0 |  91 |1800 |2550 |1800 | 952 | 102 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.89/0.99	c   1.0s|     1 |     0 |  1083 |     - |  15M|   0 |  88 |1800 |2550 |1800 | 956 | 106 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
1.89/1.98	c   2.0s|     1 |     2 |  1083 |     - |  15M|   0 |  88 |1800 |2550 |1800 | 956 | 106 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
10.09/10.19	o 8091
10.09/10.19	c *10.2s|   349 |   335 | 13237 |  34.9 |  17M|  73 |   - |1800 |2550 |1800 |1058 | 827 |   0 | 976 | 0.000000e+00 | 8.091000e+03 |    Inf 
60.59/60.61	c  60.6s| 10000 |  9984 |378768 |  37.8 |  29M|  73 |  21 |1800 |2555 |1800 | 972 |  25k|   5 |2207 | 0.000000e+00 | 8.091000e+03 |    Inf 
119.30/119.33	c   119s| 20000 | 19984 |809693 |  40.4 |  41M|  73 |  10 |1800 |2565 |1800 | 986 |  55k|  15 |3422 | 0.000000e+00 | 8.091000e+03 |    Inf 
179.30/179.35	c   179s| 30000 | 29984 |  1235k|  41.2 |  52M|  73 |  23 |1800 |2572 |1800 | 955 |  86k|  22 |4888 | 0.000000e+00 | 8.091000e+03 |    Inf 
240.10/240.15	c   240s| 40000 | 39982 |  1658k|  41.4 |  63M|  73 |  20 |1800 |2574 |1800 | 976 | 119k|  26 |6399 | 0.000000e+00 | 8.091000e+03 |    Inf 
274.10/274.13	o 7915
274.10/274.13	c * 274s| 45444 | 45413 |  1885k|  41.5 |  69M|  73 |   - |1800 |2578 |1800 |1011 | 139k|  33 |7255 | 0.000000e+00 | 7.915000e+03 |    Inf 
303.40/303.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
303.40/303.42	c   303s| 50000 | 49961 |  2085k|  41.7 |  74M|  73 |  23 |1800 |2579 |1800 | 953 | 156k|  36 |7855 | 0.000000e+00 | 7.915000e+03 |    Inf 
364.70/364.77	c   365s| 60000 | 59957 |  2506k|  41.8 |  85M|  73 |   2 |1800 |2578 |1800 | 949 | 191k|  37 |9027 | 0.000000e+00 | 7.915000e+03 |    Inf 
366.70/366.75	o 6748
366.70/366.75	c * 367s| 60202 | 60119 |  2517k|  41.8 |  85M|  73 |   - |1800 |2578 |1800 |1012 | 192k|  37 |9137 | 0.000000e+00 | 6.748000e+03 |    Inf 
391.40/391.47	o 6025
391.40/391.47	c * 391s| 64640 | 64427 |  2699k|  41.7 |  90M|  73 |   - |1800 |2589 |1800 |1014 | 205k|  48 |9507 | 0.000000e+00 | 6.025000e+03 |    Inf 
391.61/391.68	o 5704
391.61/391.68	c * 392s| 64662 | 64317 |  2699k|  41.7 |  90M|  73 |   - |1800 |2591 |1800 |1011 | 205k|  50 |9533 | 0.000000e+00 | 5.704000e+03 |    Inf 
391.70/391.75	o 5573
391.70/391.75	c * 392s| 64666 | 64260 |  2700k|  41.7 |  90M|  73 |   - |1800 |2591 |1800 | 992 | 205k|  50 |9537 | 0.000000e+00 | 5.573000e+03 |    Inf 
424.10/424.11	c   424s| 70000 | 69438 |  2928k|  41.8 |  96M|  73 |   2 |1800 |2655 |1800 | 958 | 222k| 115 |  10k| 0.000000e+00 | 5.573000e+03 |    Inf 
491.71/491.77	c   492s| 80000 | 79080 |  3376k|  42.2 | 107M|  73 |  10 |1800 |2755 |1800 | 983 | 263k| 229 |  11k| 0.000000e+00 | 5.573000e+03 |    Inf 
519.71/519.70	o 3722
519.71/519.70	c * 520s| 84079 | 79085 |  3563k|  42.4 | 107M|  73 |   - |1800 |2788 |1800 |1058 | 279k| 269 |  11k| 0.000000e+00 | 3.722000e+03 |    Inf 
520.31/520.32	o 3304
520.31/520.32	c * 520s| 84143 | 76553 |  3566k|  42.4 | 105M|  73 |   - |1800 |2788 |1800 |1044 | 280k| 269 |  11k| 0.000000e+00 | 3.304000e+03 |    Inf 
556.30/556.30	c   556s| 90000 | 80944 |  3805k|  42.3 | 111M|  73 |   8 |1800 |3356 |1800 | 999 | 300k| 943 |  12k| 0.000000e+00 | 3.304000e+03 |    Inf 
618.51/618.51	c   619s|100000 | 88913 |  4217k|  42.2 | 121M|  73 |  26 |1800 |3373 |1800 |1006 | 335k|1898 |  13k| 0.000000e+00 | 3.304000e+03 |    Inf 
654.21/654.28	o 3265
654.21/654.28	c * 654s|105697 | 92995 |  4448k|  42.1 | 126M|  73 |   - |1800 |3268 |1800 |1025 | 356k|2519 |  13k| 0.000000e+00 | 3.265000e+03 |    Inf 
654.21/654.30	o 3015
654.21/654.30	c * 654s|105699 | 90928 |  4448k|  42.1 | 124M|  73 |   - |1800 |3268 |1800 |1025 | 356k|2519 |  13k| 0.000000e+00 | 3.015000e+03 |    Inf 
680.11/680.18	c   680s|110000 | 93875 |  4616k|  42.0 | 128M|  73 |   9 |1800 |3114 |1800 | 958 | 370k|3157 |  14k| 0.000000e+00 | 3.015000e+03 |    Inf 
739.50/739.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
739.50/739.50	c   739s|120000 |101045 |  5010k|  41.7 | 137M|  73 |  10 |1800 |2883 |1800 | 988 | 403k|4559 |  14k| 0.000000e+00 | 3.015000e+03 |    Inf 
797.71/797.70	c   798s|130000 |107902 |  5399k|  41.5 | 146M|  73 |  24 |1800 |2771 |1800 |1004 | 434k|6125 |  15k| 0.000000e+00 | 3.015000e+03 |    Inf 
857.01/857.07	c   857s|140000 |114690 |  5798k|  41.4 | 154M|  73 |  16 |1800 |2757 |1800 | 974 | 466k|7660 |  16k| 0.000000e+00 | 3.015000e+03 |    Inf 
916.11/916.20	c   916s|150000 |121880 |  6190k|  41.3 | 164M|  73 |  30 |1800 |2821 |1800 | 970 | 499k|9037 |  16k| 0.000000e+00 | 3.015000e+03 |    Inf 
941.32/941.33	o 1984
941.32/941.33	c * 941s|154084 |103581 |  6353k|  41.2 | 143M|  73 |   - |1800 |2814 |1800 |1039 | 513k|9758 |  17k| 0.000000e+00 | 1.984000e+03 |    Inf 
976.92/976.93	c   977s|160000 |106052 |  6585k|  41.2 | 147M|  73 |   3 |1800 |2967 |1800 | 960 | 531k|  11k|  17k| 0.000000e+00 | 1.984000e+03 |    Inf 
1033.41/1033.45	c  1033s|170000 |110622 |  6970k|  41.0 | 154M|  73 |   5 |1800 |2896 |1800 | 950 | 559k|  14k|  17k| 0.000000e+00 | 1.984000e+03 |    Inf 
1089.82/1089.86	c  1090s|180000 |115012 |  7349k|  40.8 | 160M|  73 |   2 |1800 |2908 |1800 | 945 | 587k|  17k|  18k| 0.000000e+00 | 1.984000e+03 |    Inf 
1143.82/1143.80	c  1144s|190000 |119399 |  7711k|  40.6 | 166M|  73 |   - |1800 |2951 |1800 | 977 | 614k|  20k|  18k| 0.000000e+00 | 1.984000e+03 |    Inf 
1199.52/1199.52	c  1200s|200000 |123723 |  8081k|  40.4 | 173M|  73 |  27 |1800 |2899 |1800 | 966 | 642k|  23k|  19k| 0.000000e+00 | 1.984000e+03 |    Inf 
1257.23/1257.25	c  1257s|210000 |127749 |  8462k|  40.3 | 180M|  73 |   - |1800 |2871 |1800 | 979 | 671k|  26k|  19k| 0.000000e+00 | 1.984000e+03 |    Inf 
1314.22/1314.24	c  1314s|220000 |131981 |  8842k|  40.2 | 186M|  73 |   9 |1800 |2909 |1800 | 961 | 700k|  29k|  20k| 0.000000e+00 | 1.984000e+03 |    Inf 
1369.93/1369.98	c  1370s|230000 |135928 |  9203k|  40.0 | 192M|  73 |  13 |1800 |3017 |1800 | 981 | 729k|  32k|  20k| 0.000000e+00 | 1.984000e+03 |    Inf 
1420.63/1420.67	c  1421s|240000 |140324 |  9530k|  39.7 | 199M|  73 |  13 |1800 |2947 |1800 | 957 | 755k|  35k|  21k| 0.000000e+00 | 1.984000e+03 |    Inf 
1475.43/1475.46	c  1475s|250000 |143948 |  9862k|  39.4 | 204M|  73 |   - |1800 |2926 |1800 | 990 | 786k|  38k|  21k| 0.000000e+00 | 1.984000e+03 |    Inf 
1533.73/1533.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1533.73/1533.78	c  1534s|260000 |147388 | 10231k|  39.3 | 210M|  73 |  17 |1800 |2980 |1800 | 945 | 817k|  41k|  22k| 0.000000e+00 | 1.984000e+03 |    Inf 
1587.53/1587.51	c  1588s|270000 |151813 | 10615k|  39.3 | 219M|  73 |  21 |1800 |2999 |1800 | 992 | 840k|  44k|  22k| 0.000000e+00 | 1.984000e+03 |    Inf 
1646.13/1646.10	c  1646s|280000 |155497 | 10993k|  39.3 | 225M|  73 |  20 |1800 |2909 |1800 |1016 | 871k|  47k|  23k| 0.000000e+00 | 1.984000e+03 |    Inf 
1699.63/1699.67	c  1700s|290000 |159316 | 11325k|  39.0 | 231M|  73 |   4 |1800 |2909 |1800 | 964 | 901k|  50k|  23k| 0.000000e+00 | 1.984000e+03 |    Inf 
1754.54/1754.52	c  1755s|300000 |162893 | 11672k|  38.9 | 236M|  73 |   - |1800 |3042 |1800 | 990 | 931k|  53k|  23k| 0.000000e+00 | 1.984000e+03 |    Inf 
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Solving Time (sec) : 1800.00
1800.03/1800.00	c Solving Nodes      : 308675
1800.03/1800.00	c Primal Bound       : +1.98400000000000e+03 (110 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	v x200 -x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 -x182 x181 -x180 x179 -x178 
1800.03/1800.00	v x177 -x176 x175 -x174 x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 x156 -x155 
1800.03/1800.00	v x154 -x153 -x152 x151 x150 -x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 
1800.03/1800.00	v x131 -x130 x129 x128 -x127 x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 x117 x116 -x115 x114 -x113 -x112 x111 -x110 x109 
1800.03/1800.00	v x108 -x107 -x106 x105 -x104 x103 x102 -x101 -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 x89 x88 -x87 -x86 x85 x84 
1800.03/1800.00	v -x83 -x82 x81 -x80 x79 -x78 x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 x60 -x59 -x58 x57 x56 
1800.03/1800.00	v -x55 -x54 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 -x28 
1800.03/1800.00	v 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 x1 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Total Time         :    1800.00
1800.03/1800.00	c   solving          :    1800.00
1800.03/1800.00	c   presolving       :       0.04 (included in solving)
1800.03/1800.00	c   reading          :       0.01 (included in solving)
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-3447970-1307902708.wbo
1800.03/1800.00	c   Variables        : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00	c   Constraints      : 951 initial, 951 maximal
1800.03/1800.00	c Presolved Problem  :
1800.03/1800.00	c   Problem name     : t_HOME/instance-3447970-1307902708.wbo
1800.03/1800.00	c   Variables        : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1800.03/1800.00	c   Constraints      : 1700 initial, 3494 maximal
1800.03/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.03/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   probing          :       0.02          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   linear           :       0.02          0        100          0        850          0        101          0          0          0
1800.03/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.03/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   integral         :          0          0          0    1205732          0      17490          0         78        290          0          0     506122
1800.03/1800.00	c   varbound         :          0+         6     671868     952380          2          0      43330          2    2634380     952466          0          0
1800.03/1800.00	c   linear           :        850          6     672063         10          0      17487     227203      24691     812279          0          0          0
1800.03/1800.00	c   indicator        :        850          0     647376     952380          0      17484      95852          0     161695          0          0          0
1800.03/1800.00	c   logicor          :          0+         0     277626          0          0          0      40601       5095      97219          0          0          0
1800.03/1800.00	c   countsols        :          0          0          0         11          2        101          0          0          0          0          0          0
1800.03/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.03/1800.00	c   integral         :      50.66       0.00       0.00      50.65       0.00       0.01       0.00
1800.03/1800.00	c   varbound         :      26.17       0.00      11.26      14.89       0.00       0.00       0.01
1800.03/1800.00	c   linear           :      11.06       0.00      10.17       0.00       0.00       0.72       0.17
1800.03/1800.00	c   indicator        :      71.82       0.02      11.19      51.57       0.00       9.02       0.03
1800.03/1800.00	c   logicor          :       2.39       0.00       2.35       0.00       0.00       0.00       0.05
1800.03/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.03/1800.00	c   vbounds          :     224236     113340         28   15089594
1800.03/1800.00	c   rootredcost      :         11          0          0          0
1800.03/1800.00	c   pseudoobj        :     689758      54137      17889    2634391
1800.03/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.03/1800.00	c   vbounds          :      26.68      26.64       0.03
1800.03/1800.00	c   rootredcost      :       0.15       0.15       0.00
1800.03/1800.00	c   pseudoobj        :      11.94      11.47       0.47
1800.03/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.00	c   propagation      :       1.09      47705      45567      57927       15.3        689        9.1          -
1800.03/1800.00	c   infeasible LP    :       0.00          1          1          3       31.0          0        0.0          0
1800.03/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.00	c   applied globally :          -          -          -      56692       14.9          -          -          -
1800.03/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.00	c   cut pool         :       0.00          5          -          -        163          -    (maximal pool size: 1917)
1800.03/1800.00	c   redcost          :      38.26     679079          0   15074839          0          0
1800.03/1800.00	c   impliedbounds    :       0.00          6          0          0          0          0
1800.03/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.00	c   gomory           :       0.33          6          0          0        752          0
1800.03/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1800.03/1800.00	c   strongcg         :       0.28          6          0          0       1596          0
1800.03/1800.00	c   cmir             :       0.10          6          0          0          0          0
1800.03/1800.00	c   flowcover        :       0.05          6          0          0          0          0
1800.03/1800.00	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1800.03/1800.00	c   rapidlearning    :       0.06          1          0          0          0          0
1800.03/1800.00	c Pricers            :       Time      Calls       Vars
1800.03/1800.00	c   problem variables:       0.00          0          0
1800.03/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   relpscost        :      50.25     253352         78        290          0          0     506122
1800.03/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   inference        :       0.00          2          0          0          0          0          4
1800.03/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.00	c   LP solutions     :       0.04          -         11
1800.03/1800.00	c   pseudo solutions :       0.00          -          0
1800.03/1800.00	c   intshifting      :       0.00          0          0
1800.03/1800.00	c   feaspump         :       0.01          0          0
1800.03/1800.00	c   oneopt           :       0.15         12          0
1800.03/1800.00	c   crossover        :       0.94         36          0
1800.03/1800.00	c   objpscostdiving  :       9.57        857          0
1800.03/1800.00	c   rootsoldiving    :       9.25        949          0
1800.03/1800.00	c   coefdiving       :       9.59       2224          0
1800.03/1800.00	c   pscostdiving     :       9.34       2224          0
1800.03/1800.00	c   fracdiving       :       9.79       2224          0
1800.03/1800.00	c   veclendiving     :       9.08       2224          0
1800.03/1800.00	c   linesearchdiving :      10.16       2224          0
1800.03/1800.00	c   guideddiving     :       9.21       2224          0
1800.03/1800.00	c   trivial          :       0.00          2          1
1800.03/1800.00	c   shiftandpropagate:       0.00          0          0
1800.03/1800.00	c   simplerounding   :       0.73     277491          0
1800.03/1800.00	c   zirounding       :       0.11       1000          0
1800.03/1800.00	c   rounding         :       0.66       7369          0
1800.03/1800.00	c   shifting         :       1.81       2312          0
1800.03/1800.00	c   twoopt           :       0.00          0          0
1800.03/1800.00	c   fixandinfer      :       0.00          0          0
1800.03/1800.00	c   clique           :       0.00          0          0
1800.03/1800.00	c   intdiving        :       0.00          0          0
1800.03/1800.00	c   actconsdiving    :       0.00          0          0
1800.03/1800.00	c   octane           :       0.00          0          0
1800.03/1800.00	c   rens             :       0.02          1          0
1800.03/1800.00	c   rins             :       0.00          0          0
1800.03/1800.00	c   localbranching   :       0.00          0          0
1800.03/1800.00	c   mutation         :       0.00          0          0
1800.03/1800.00	c   dins             :       0.00          0          0
1800.03/1800.00	c   vbounds          :       0.00          0          0
1800.03/1800.00	c   undercover       :       0.00          0          0
1800.03/1800.00	c   subnlp           :       0.04          0          0
1800.03/1800.00	c   trysol           :       0.34      17369         98
1800.03/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.00	c   primal LP        :       5.98          0          0       0.00       0.00
1800.03/1800.00	c   dual LP          :    1202.08    1271044   11481436       9.03    9551.34
1800.03/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.00	c   diving/probing LP:      52.08      45518     505042      11.10    9698.12
1800.03/1800.00	c   strong branching :      47.42      24302     465203      19.14    9810.92
1800.03/1800.00	c     (at root node) :          -         33      11366     344.42          -
1800.03/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.00	c B&B Tree           :
1800.03/1800.00	c   number of runs   :          1
1800.03/1800.00	c   nodes            :     308675
1800.03/1800.00	c   nodes (total)    :     308675
1800.03/1800.00	c   nodes left       :     166470
1800.03/1800.00	c   max depth        :         73
1800.03/1800.00	c   max depth (total):         73
1800.03/1800.00	c   backtracks       :      36933 (12.0%)
1800.03/1800.00	c   delayed cutoffs  :        758
1800.03/1800.00	c   repropagations   :      20305 (278719 domain reductions, 710 cutoffs)
1800.03/1800.00	c   avg switch length:       4.16
1800.03/1800.00	c   switching time   :      37.29
1800.03/1800.00	c Solution           :
1800.03/1800.00	c   Solutions found  :        110 (12 improvements)
1800.03/1800.00	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.03/1800.00	c   Primal Bound     : +1.98400000000000e+03   (in run 1, after 154084 nodes, 941.30 seconds, depth 41, found by <relaxation>)
1800.03/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.00	c   Gap              :   infinite
1800.03/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.00	c   Root Iterations  :       1083

Verifier Data 

OK	1984

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-3447970-1307902708/watcher-3447970-1307902708 -o /var/tmp/evaluation-result-3447970-1307902708/solver-3447970-1307902708 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447970-1307902708.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.01 2.01 1.93 2/177 20500
/proc/meminfo: memFree=1564352/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=10336 CPUtime=0 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 1567 0 0 0 0 0 0 0 25 0 1 0 901871730 10584064 1521 33554432000 4194304 9128323 140737356698608 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20500/statm: 2584 1521 399 1205 0 1375 0

[startup+0.029869 s]
/proc/loadavg: 2.01 2.01 1.93 2/177 20500
/proc/meminfo: memFree=1564352/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=23320 CPUtime=0.02 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 4839 0 0 0 2 0 0 0 25 0 1 0 901871730 23879680 4535 33554432000 4194304 9128323 140737356698608 18446744073709551615 5266690 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 5830 4535 520 1205 0 4621 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23320

[startup+0.100854 s]
/proc/loadavg: 2.01 2.01 1.93 2/177 20500
/proc/meminfo: memFree=1564352/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=27396 CPUtime=0.09 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 6106 0 0 0 9 0 0 0 25 0 1 0 901871730 28053504 5763 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 6849 5763 655 1205 0 5640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27396

[startup+0.300821 s]
/proc/loadavg: 2.01 2.01 1.93 2/177 20500
/proc/meminfo: memFree=1564352/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=46604 CPUtime=0.29 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 11916 0 0 0 28 1 0 0 25 0 1 0 901871730 47722496 10581 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 11651 10581 714 1205 0 10442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46604

[startup+0.700752 s]
/proc/loadavg: 2.01 2.01 1.93 2/177 20500
/proc/meminfo: memFree=1564352/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=46744 CPUtime=0.69 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 11954 0 0 0 67 2 0 0 25 0 1 0 901871730 47865856 10617 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 11686 10617 712 1205 0 10477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46744

[startup+1.50061 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 20501
/proc/meminfo: memFree=1517744/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=46808 CPUtime=1.49 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 15000 0 0 0 144 5 0 0 25 0 1 0 901871730 47931392 10747 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 11702 10747 719 1205 0 10493 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46808

[startup+3.10033 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 20501
/proc/meminfo: memFree=1523196/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=46808 CPUtime=3.09 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 15008 0 0 0 296 13 0 0 25 0 1 0 901871730 47931392 10755 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 11702 10755 719 1205 0 10493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46808

[startup+6.30077 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 20501
/proc/meminfo: memFree=1522824/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=46808 CPUtime=6.29 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 15008 0 0 0 599 30 0 0 25 0 1 0 901871730 47931392 10755 33554432000 4194304 9128323 140737356698608 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 11702 10755 719 1205 0 10493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46808

[startup+12.7006 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 20501
/proc/meminfo: memFree=1521320/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=49224 CPUtime=12.69 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 20166 0 0 0 1214 55 0 0 25 0 1 0 901871730 50405376 11274 33554432000 4194304 9128323 140737356698608 18446744073709551615 6712694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 12306 11274 721 1205 0 11097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49224

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20501
/proc/meminfo: memFree=1518656/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=52940 CPUtime=25.49 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 27999 0 0 0 2443 106 0 0 25 0 1 0 901871730 54210560 12202 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 13235 12202 721 1205 0 12026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52940

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20502
/proc/meminfo: memFree=1512556/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=58736 CPUtime=51.09 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 36368 0 0 0 4901 208 0 0 25 0 1 0 901871730 60145664 13682 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 14684 13682 721 1205 0 13475 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58736

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20503
/proc/meminfo: memFree=1500172/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=68932 CPUtime=102.3 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 42388 0 0 0 9825 405 0 0 25 0 1 0 901871730 70586368 16270 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 17233 16270 727 1205 0 16024 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68932

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20505
/proc/meminfo: memFree=1488356/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=79952 CPUtime=162.29 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 48599 0 0 0 15588 641 0 0 25 0 1 0 901871730 81870848 19083 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 19988 19083 727 1205 0 18779 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79952

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20506
/proc/meminfo: memFree=1476148/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=92412 CPUtime=222.3 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 51799 0 0 0 21360 870 0 0 25 0 1 0 901871730 94629888 22179 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 23103 22179 727 1205 0 21894 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 92412

[startup+282.301 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 20508
/proc/meminfo: memFree=1465936/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=102592 CPUtime=282.3 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 61314 0 0 0 27139 1091 0 0 25 0 1 0 901871730 105054208 24824 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 25648 24824 727 1205 0 24439 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 102592

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 20510
/proc/meminfo: memFree=1454988/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=112832 CPUtime=342.3 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 72144 0 0 0 32907 1323 0 0 25 0 1 0 901871730 115539968 27368 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 28208 27368 727 1205 0 26999 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112832

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20511
/proc/meminfo: memFree=1442296/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=126576 CPUtime=402.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 103054 0 0 0 38676 1555 0 0 25 0 1 0 901871730 129613824 30398 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 31644 30398 727 1205 0 30435 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 126576

[startup+462.301 s]
/proc/loadavg: 2.06 2.02 1.94 3/178 20513
/proc/meminfo: memFree=1434816/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=134632 CPUtime=462.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 109665 0 0 0 44451 1780 0 0 25 0 1 0 901871730 137863168 32396 33554432000 4194304 9128323 140737356698608 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 33658 32396 727 1205 0 32449 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 134632

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 20514
/proc/meminfo: memFree=1424484/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=144780 CPUtime=522.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 119128 0 0 0 50231 2000 0 0 25 0 1 0 901871730 148254720 34985 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 36195 34985 727 1205 0 34986 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 144780

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 20516
/proc/meminfo: memFree=1420112/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=149104 CPUtime=582.3 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 134269 0 0 0 56016 2214 0 0 25 0 1 0 901871730 152682496 36077 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 37276 36077 727 1205 0 36067 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 149104

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.22 1.69 1.83 2/172 20547
/proc/meminfo: memFree=1509076/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=187132 CPUtime=822.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 165384 0 0 0 79026 3205 0 0 25 0 1 0 901871730 191623168 45710 33554432000 4194304 9128323 140737356698608 18446744073709551615 7191234 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 46783 45710 727 1205 0 45574 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 187132

[startup+882.301 s]
/proc/loadavg: 1.08 1.56 1.77 2/172 20549
/proc/meminfo: memFree=1499880/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=196584 CPUtime=882.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 167746 0 0 0 84747 3484 0 0 25 0 1 0 901871730 201302016 48072 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 49146 48072 727 1205 0 47937 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 196584

[startup+942.301 s]
/proc/loadavg: 1.03 1.46 1.72 2/172 20551
/proc/meminfo: memFree=1488820/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=207896 CPUtime=942.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 170577 0 0 0 90460 3771 0 0 25 0 1 0 901871730 212885504 50903 33554432000 4194304 9128323 140737356698608 18446744073709551615 7207341 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 51974 50903 727 1205 0 50765 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 207896

[startup+1002.3 s]
/proc/loadavg: 1.01 1.37 1.67 2/172 20552
/proc/meminfo: memFree=1487056/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=209300 CPUtime=1002.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 181659 0 0 0 96192 4039 0 0 25 0 1 0 901871730 214323200 51295 33554432000 4194304 9128323 140737356698608 18446744073709551615 7343074 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 52325 51295 727 1205 0 51116 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 209300

[startup+1062.3 s]
/proc/loadavg: 1.00 1.30 1.63 2/172 20554
/proc/meminfo: memFree=1485412/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=210880 CPUtime=1062.31 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 185430 0 0 0 101904 4327 0 0 25 0 1 0 901871730 215941120 51671 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 52720 51671 727 1205 0 51511 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 210880

[startup+1122.3 s]
/proc/loadavg: 1.00 1.24 1.59 2/172 20555
/proc/meminfo: memFree=1483884/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=212456 CPUtime=1122.32 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 189270 0 0 0 107629 4603 0 0 25 0 1 0 901871730 217554944 52078 33554432000 4194304 9128323 140737356698608 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 53114 52078 727 1205 0 51905 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 212456

[startup+1182.3 s]
/proc/loadavg: 1.00 1.20 1.55 2/172 20557
/proc/meminfo: memFree=1479004/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=218272 CPUtime=1182.32 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 190721 0 0 0 113354 4878 0 0 25 0 1 0 901871730 223510528 53529 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 54568 53529 727 1205 0 53359 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 218272

[startup+1242.3 s]
/proc/loadavg: 1.00 1.16 1.51 2/172 20559
/proc/meminfo: memFree=1472896/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=223988 CPUtime=1242.32 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 195538 0 0 0 119074 5158 0 0 25 0 1 0 901871730 229363712 54936 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 55997 54936 727 1205 0 54788 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 223988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.13 1.47 2/172 20560
/proc/meminfo: memFree=1465160/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=230888 CPUtime=1302.33 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 197325 0 0 0 124800 5433 0 0 25 0 1 0 901871730 236429312 56723 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 57722 56723 727 1205 0 56513 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 230888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.10 1.44 2/172 20562
/proc/meminfo: memFree=1457064/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=239084 CPUtime=1362.32 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 199380 0 0 0 130522 5710 0 0 25 0 1 0 901871730 244822016 58763 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 59771 58763 727 1205 0 58562 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 239084

[startup+1422.31 s]
/proc/loadavg: 1.04 1.09 1.42 2/172 20563
/proc/meminfo: memFree=1447612/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=248464 CPUtime=1422.33 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 201780 0 0 0 136255 5978 0 0 25 0 1 0 901871730 254427136 61138 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 62116 61138 727 1205 0 60907 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 248464

[startup+1482.3 s]
/proc/loadavg: 1.01 1.08 1.39 2/172 20565
/proc/meminfo: memFree=1441632/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=254432 CPUtime=1482.33 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 203289 0 0 0 141989 6244 0 0 25 0 1 0 901871730 260538368 62643 33554432000 4194304 9128323 140737356698608 18446744073709551615 7343116 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 63608 62643 727 1205 0 62399 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 254432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.36 2/172 20567
/proc/meminfo: memFree=1434040/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=262164 CPUtime=1542.33 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 206420 0 0 0 147714 6519 0 0 25 0 1 0 901871730 268455936 64565 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 65541 64565 727 1205 0 64332 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 262164

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/172 20568
/proc/meminfo: memFree=1424088/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=271820 CPUtime=1602.33 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 208889 0 0 0 153444 6789 0 0 25 0 1 0 901871730 278343680 67015 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 67955 67015 727 1205 0 66746 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 271820

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/172 20570
/proc/meminfo: memFree=1415736/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=280380 CPUtime=1662.34 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 210979 0 0 0 159165 7069 0 0 25 0 1 0 901871730 287109120 69105 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 70095 69105 727 1205 0 68886 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 280380

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/172 20571
/proc/meminfo: memFree=1407024/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=288944 CPUtime=1722.34 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 213152 0 0 0 164895 7339 0 0 25 0 1 0 901871730 295878656 71278 33554432000 4194304 9128323 140737356698608 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 72236 71278 727 1205 0 71027 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 288944

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/172 20573
/proc/meminfo: memFree=1400548/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=294792 CPUtime=1782.34 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 214691 0 0 0 170609 7625 0 0 25 0 1 0 901871730 301867008 72816 33554432000 4194304 9128323 140737356698608 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20500/statm: 73698 72816 727 1205 0 72489 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 294792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.02 1.26 2/172 20574
/proc/meminfo: memFree=1396444/32951124 swapFree=67052292/67111528
[pid=20500] ppid=20498 vsize=299156 CPUtime=1800.04 cores=1,3,5,7
/proc/20500/stat : 20500 (scip-2.0.1.4.li) R 20498 20500 19038 0 -1 4202496 215746 0 0 0 172298 7706 0 0 25 0 1 0 901871730 306335744 73871 33554432000 4194304 9128323 140737356698608 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20500/statm: 74789 73871 729 1205 0 73580 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 299156

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.06
CPU user time (s): 1722.99
CPU system time (s): 77.0783
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 299156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.99
system time used= 77.0783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215746
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= 20580

runsolver used 2.31165 second user time and 5.9351 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-12 20:18:28
IDJOB=3447970
IDBENCH=79426
IDSOLVER=1944
FILE ID=node108/3447970-1307902708
RUNJOBID= node108-1307898930-20092
PBS_JOBID= 13559595
Free space on /var/tmp= 2876 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.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-3447970-1307902708/watcher-3447970-1307902708 -o /var/tmp/evaluation-result-3447970-1307902708/solver-3447970-1307902708 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447970-1307902708.wbo -t 1800 -m 15500

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=963938631

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1564292 kB
Buffers:         55108 kB
Cached:       30242128 kB
SwapCached:      23196 kB
Active:       15352184 kB
Inactive:     15088376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1564292 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:           12128 kB
Writeback:           4 kB
AnonPages:      141004 kB
Mapped:          12440 kB
Slab:           881652 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   323976 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= 2876 MiB
End job on node108 at 2011-06-12 20:48:30