Trace number 2705549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1789.52 1790.15

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
MD5SUM124472bd94dbe4a4a7a86c80941ffe16
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark26.429
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705549-1278572956.wbo>
0.00/0.03	c original problem has 3835 variables (2033 bin, 0 int, 1802 impl, 0 cont) and 4510 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.07/0.08	c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.07/0.09	c (round 3) 53 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.07/0.10	c (round 4) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.10	c (round 5) 122 del vars, 168 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.15	c    (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  122 deleted vars, 168 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.15	c  3616 implications, 9 cliques
0.09/0.15	c presolved problem has 3713 variables (1972 bin, 0 int, 1741 impl, 0 cont) and 4342 constraints
0.09/0.15	c      55 constraints of type <setppc>
0.09/0.15	c    1741 constraints of type <linear>
0.09/0.15	c    1741 constraints of type <indicator>
0.09/0.15	c     805 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.3
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1789.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    15 |     - |  14M|   0 |   7 |3713 |4342 |3713 | 860 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    73 |     - |  14M|   0 |  31 |3713 |4342 |3713 | 875 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |   120 |     - |  14M|   0 |  16 |3713 |4342 |3713 | 892 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   166 |     - |  14M|   0 |  21 |3713 |4342 |3713 | 903 |  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   252 |     - |  14M|   0 |  43 |3713 |4342 |3713 | 908 |  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   297 |     - |  14M|   0 |  45 |3713 |4342 |3713 | 919 |  59 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   370 |     - |  14M|   0 |  44 |3713 |4342 |3713 | 925 |  65 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   453 |     - |  14M|   0 |  50 |3713 |4342 |3713 | 931 |  71 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.70/0.79	c   0.8s|     1 |     2 |   453 |     - |  14M|   0 |  50 |3713 |4342 |3713 | 931 |  71 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
1.10/1.12	o 87754
1.10/1.12	c y 1.1s|    18 |    17 |   752 |  17.6 |  15M|  16 |   - |3713 |4342 |   0 |   0 |  83 |   0 |  86 | 0.000000e+00 | 8.775400e+04 |    Inf 
17.33/18.02	c  18.0s| 10000 |  9991 | 10366 |   1.0 |  37M| 658 |   0 |3713 |4353 |3713 | 948 |1744 |  11 |1016 | 0.000000e+00 | 8.775400e+04 |    Inf 
17.54/18.29	o 722
17.54/18.29	c *18.3s| 10290 | 10205 | 10385 |   1.0 |  37M| 948 |   - |3713 |4353 |3713 | 952 |1748 |  11 |1016 | 0.000000e+00 | 7.220000e+02 |    Inf 
29.83/30.56	c  30.5s| 20000 | 19895 | 13168 |   0.6 |  54M| 954 |   0 |3713 |4412 |3713 | 952 |2281 |  70 |1075 | 0.000000e+00 | 7.220000e+02 |    Inf 
38.43/39.17	o 708
38.43/39.17	c *39.1s| 26251 | 26121 | 14129 |   0.5 |  64M| 954 |   - |3713 |4413 |3713 | 954 |2516 |  72 |1092 | 0.000000e+00 | 7.080000e+02 |    Inf 
43.63/44.39	c  44.4s| 30000 | 29878 | 14638 |   0.5 |  70M| 954 |   0 |3713 |4410 |3713 | 955 |2672 |  74 |1096 | 0.000000e+00 | 7.080000e+02 |    Inf 
57.33/58.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
57.33/58.09	c  58.1s| 40000 | 39859 | 16146 |   0.4 |  86M| 954 |   0 |3713 |4427 |3713 | 955 |3082 |  95 |1119 | 0.000000e+00 | 7.080000e+02 |    Inf 
63.14/63.83	o 671
63.14/63.83	c *63.8s| 43817 | 43514 | 17501 |   0.4 |  93M| 954 |   - |3713 |4489 |3713 | 975 |3349 | 161 |1145 | 0.000000e+00 | 6.710000e+02 |    Inf 
63.33/64.08	o 658
63.33/64.08	c *64.1s| 43969 | 43571 | 17621 |   0.4 |  93M| 954 |   - |3713 |4501 |3713 | 953 |3385 | 175 |1145 | 0.000000e+00 | 6.580000e+02 |    Inf 
63.43/64.10	o 603
63.43/64.10	c *64.1s| 43972 | 43006 | 17628 |   0.4 |  92M| 954 |   - |3713 |4500 |3713 | 953 |3385 | 175 |1145 | 0.000000e+00 | 6.030000e+02 |    Inf 
63.73/64.49	o 555
63.73/64.49	c *64.5s| 44196 | 42553 | 17781 |   0.4 |  91M| 954 |   - |3713 |4514 |3713 | 950 |3411 | 189 |1147 | 0.000000e+00 | 5.550000e+02 |    Inf 
64.03/64.80	o 521
64.03/64.80	c *64.8s| 44358 | 42041 | 17998 |   0.4 |  91M| 954 |   - |3713 |4568 |3713 | 960 |3444 | 247 |1150 | 0.000000e+00 | 5.210000e+02 |    Inf 
64.33/65.08	o 485
64.33/65.08	c *65.1s| 44531 | 41314 | 18200 |   0.4 |  90M| 954 |   - |3713 |4609 |3713 | 960 |3462 | 288 |1151 | 0.000000e+00 | 4.850000e+02 |    Inf 
65.34/66.00	o 440
65.34/66.00	c *66.0s| 45001 | 40346 | 19327 |   0.4 |  88M| 954 |   - |3713 |4837 |3713 | 972 |3583 | 520 |1169 | 0.000000e+00 | 4.400000e+02 |    Inf 
68.03/68.77	o 392
68.03/68.77	c *68.7s| 46573 | 39749 | 20847 |   0.4 |  88M| 954 |   - |3713 |5134 |3713 | 978 |3824 | 862 |1214 | 0.000000e+00 | 3.920000e+02 |    Inf 
68.13/68.88	o 389
68.13/68.88	c *68.9s| 46635 | 39661 | 20901 |   0.4 |  88M| 954 |   - |3713 |5137 |3713 | 971 |3833 | 865 |1218 | 0.000000e+00 | 3.890000e+02 |    Inf 
68.54/69.21	o 369
68.54/69.21	c *69.2s| 46826 | 38787 | 21077 |   0.4 |  87M| 954 |   - |3713 |5177 |3713 | 950 |3868 | 915 |1218 | 0.000000e+00 | 3.690000e+02 |    Inf 
68.54/69.27	o 356
68.54/69.27	c *69.2s| 46847 | 38115 | 21134 |   0.4 |  86M| 954 |   - |3713 |5183 |3713 | 964 |3888 | 923 |1218 | 0.000000e+00 | 3.560000e+02 |    Inf 
70.33/71.02	o 355
70.33/71.02	c *71.0s| 47671 | 38649 | 23529 |   0.5 |  88M| 954 |   - |3713 |5578 |3713 | 945 |4261 |1389 |1229 | 0.000000e+00 | 3.550000e+02 |    Inf 
70.33/71.03	o 350
70.33/71.03	c *71.0s| 47672 | 38371 | 23529 |   0.5 |  87M| 954 |   - |3713 |5578 |3713 | 945 |4261 |1389 |1229 | 0.000000e+00 | 3.500000e+02 |    Inf 
73.03/73.75	o 346
73.03/73.75	c *73.7s| 48908 | 38972 | 26810 |   0.5 |  90M| 954 |   - |3713 |6252 |3713 | 953 |4920 |2226 |1270 | 0.000000e+00 | 3.460000e+02 |    Inf 
73.03/73.77	o 267
73.03/73.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.03/73.77	c *73.7s| 48909 | 32803 | 26810 |   0.5 |  79M| 954 |   - |3713 |6251 |3713 | 953 |4920 |2226 |1270 | 0.000000e+00 | 2.670000e+02 |    Inf 
73.63/74.37	o 222
73.63/74.37	c *74.3s| 49114 | 27106 | 27502 |   0.6 |  70M| 954 |   - |3713 |6395 |3713 | 960 |5063 |2426 |1278 | 0.000000e+00 | 2.220000e+02 |    Inf 
74.44/75.19	o 216
74.44/75.19	c *75.2s| 49413 | 26287 | 28673 |   0.6 |  70M| 954 |   - |3713 |6568 |3713 | 970 |5267 |2682 |1289 | 0.000000e+00 | 2.160000e+02 |    Inf 
75.53/76.23	o 203
75.53/76.23	c *76.2s| 49786 | 24429 | 31182 |   0.6 |  68M| 954 |   - |3713 |6699 |3713 | 994 |5574 |2917 |1363 | 0.000000e+00 | 2.030000e+02 |    Inf 
76.03/76.79	c  76.8s| 50000 | 24508 | 32054 |   0.6 |  68M| 954 |   - |3713 |6905 |   0 |   0 |5643 |3192 |1391 | 0.000000e+00 | 2.030000e+02 |    Inf 
76.83/77.56	o 189
76.83/77.56	c *77.5s| 50242 | 22232 | 33884 |   0.7 |  65M| 954 |   - |3713 |7072 |3713 | 973 |5873 |3458 |1456 | 0.000000e+00 | 1.890000e+02 |    Inf 
77.33/78.07	o 177
77.33/78.07	c *78.0s| 50403 | 20121 | 35303 |   0.7 |  62M| 954 |   - |3713 |7163 |3713 | 960 |6049 |3601 |1486 | 0.000000e+00 | 1.770000e+02 |    Inf 
77.64/78.34	o 174
77.64/78.34	c *78.3s| 50471 | 19625 | 36026 |   0.7 |  62M| 954 |   - |3713 |7221 |3713 |1009 |6104 |3684 |1512 | 0.000000e+00 | 1.740000e+02 |    Inf 
77.64/78.34	o 170
77.64/78.34	c *78.3s| 50472 | 18835 | 36032 |   0.7 |  61M| 954 |   - |3713 |7221 |3713 |1009 |6104 |3684 |1512 | 0.000000e+00 | 1.700000e+02 |    Inf 
79.33/80.01	o 151
79.33/80.01	c *80.0s| 51102 | 15380 | 38515 |   0.7 |  57M| 954 |   - |3713 |7772 |3713 | 972 |6368 |4366 |1535 | 0.000000e+00 | 1.510000e+02 |    Inf 
79.33/80.03	o 146
79.33/80.03	c *80.0s| 51103 | 14221 | 38515 |   0.7 |  53M| 954 |   - |3713 |7772 |3713 | 972 |6368 |4366 |1535 | 0.000000e+00 | 1.460000e+02 |    Inf 
80.43/81.18	o 141
80.43/81.18	c *81.2s| 51538 | 13547 | 40262 |   0.8 |  52M| 954 |   - |3713 |8040 |3713 | 969 |6678 |4764 |1539 | 0.000000e+00 | 1.410000e+02 |    Inf 
80.53/81.20	o 114
80.53/81.20	c *81.2s| 51542 |  9771 | 40283 |   0.8 |  45M| 954 |   - |3713 |8040 |3713 | 969 |6678 |4764 |1539 | 0.000000e+00 | 1.140000e+02 |    Inf 
80.53/81.21	o 109
80.53/81.21	c *81.2s| 51543 |  9169 | 40283 |   0.8 |  44M| 954 |   - |3713 |8040 |3713 | 969 |6678 |4764 |1539 | 0.000000e+00 | 1.090000e+02 |    Inf 
81.73/82.43	o 61
81.73/82.43	c *82.4s| 52000 |  3747 | 41595 |   0.8 |  33M| 954 |   - |3713 |8217 |3713 | 959 |6905 |5167 |1543 | 0.000000e+00 | 6.100000e+01 |    Inf 
81.93/82.63	o 60
81.93/82.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
81.93/82.63	c *82.6s| 52058 |  3708 | 42268 |   0.8 |  33M| 954 |   - |3713 |7324 |3713 | 966 |6977 |5224 |1545 | 0.000000e+00 | 6.000000e+01 |    Inf 
82.23/82.90	o 59
82.23/82.90	c *82.9s| 52138 |  3664 | 42909 |   0.8 |  33M| 954 |   - |3713 |7340 |3713 | 968 |7025 |5312 |1557 | 0.000000e+00 | 5.900000e+01 |    Inf 
82.33/83.04	o 57
82.33/83.04	c *83.0s| 52187 |  3568 | 43221 |   0.8 |  33M| 954 |   - |3713 |7341 |3713 | 984 |7067 |5361 |1565 | 0.000000e+00 | 5.700000e+01 |    Inf 
82.64/83.31	o 51
82.64/83.31	c *83.3s| 52259 |  2992 | 43966 |   0.8 |  31M| 954 |   - |3713 |7303 |3713 | 963 |7132 |5443 |1575 | 0.000000e+00 | 5.100000e+01 |    Inf 
82.74/83.47	o 50
82.74/83.47	c *83.4s| 52296 |  2403 | 44593 |   0.8 |  30M| 954 |   - |3713 |6934 |3713 | 936 |7157 |5500 |1576 | 0.000000e+00 | 5.000000e+01 |    Inf 
84.83/85.53	o 40
84.83/85.53	c *85.5s| 53219 |  2110 | 49237 |   0.9 |  30M| 954 |   - |3713 |7311 |3713 | 955 |7463 |6702 |1588 | 0.000000e+00 | 4.000000e+01 |    Inf 
87.13/87.82	o 35
87.13/87.82	c *87.8s| 54313 |  1944 | 54243 |   1.0 |  30M| 954 |   - |3713 |6920 |3713 | 954 |7753 |8141 |1604 | 0.000000e+00 | 3.500000e+01 |    Inf 
87.13/87.85	o 33
87.13/87.85	c *87.8s| 54326 |  1876 | 54297 |   1.0 |  30M| 954 |   - |3713 |6571 |3713 | 954 |7753 |8156 |1604 | 0.000000e+00 | 3.300000e+01 |    Inf 
98.04/98.77	o 28
98.04/98.77	c *98.7s| 59982 |  1812 | 79873 |   1.3 |  32M| 954 |   - |3713 |6984 |3713 | 951 |9071 |  14k|1651 | 0.000000e+00 | 2.800000e+01 |    Inf 
98.14/98.81	c  98.8s| 60000 |  1811 | 79953 |   1.3 |  31M| 954 |   - |3713 |6755 |   0 |   0 |9071 |  14k|1651 | 0.000000e+00 | 2.800000e+01 |    Inf 
107.54/108.22	o 27
107.54/108.22	c * 108s| 65140 |  1873 | 99151 |   1.5 |  33M| 954 |   - |3713 |6821 |3713 | 967 |  10k|  21k|1655 | 0.000000e+00 | 2.700000e+01 |    Inf 
116.13/116.85	c   117s| 70000 |  1977 |118551 |   1.7 |  35M| 954 |   - |3713 |7824 |   0 |   0 |  11k|  27k|1656 | 0.000000e+00 | 2.700000e+01 |    Inf 
116.53/117.23	o 25
116.53/117.23	c * 117s| 70267 |  1943 |119049 |   1.7 |  35M| 954 |   - |3713 |8043 |3713 | 935 |  11k|  27k|1656 | 0.000000e+00 | 2.500000e+01 |    Inf 
116.73/117.47	o 19
116.73/117.47	c * 117s| 70423 |  1748 |119552 |   1.7 |  34M| 954 |   - |3713 |8064 |3713 | 934 |  11k|  27k|1656 | 0.000000e+00 | 1.900000e+01 |    Inf 
116.73/117.48	o 16
116.73/117.48	c * 117s| 70424 |  1673 |119552 |   1.7 |  34M| 954 |   - |3713 |8064 |3713 | 934 |  11k|  27k|1656 | 0.000000e+00 | 1.600000e+01 |    Inf 
116.94/117.61	o 15
116.94/117.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.94/117.61	c * 118s| 70510 |  1617 |119768 |   1.7 |  34M| 954 |   - |3713 |7890 |3713 | 927 |  11k|  28k|1656 | 0.000000e+00 | 1.500000e+01 |    Inf 
131.83/132.57	o 14
131.83/132.57	c * 133s| 79013 |  1635 |167751 |   2.1 |  35M| 954 |   - |3713 |7018 |3713 | 947 |  13k|  38k|1765 | 0.000000e+00 | 1.400000e+01 |    Inf 
131.83/132.59	o 11
131.83/132.59	c * 133s| 79018 |  1575 |167774 |   2.1 |  35M| 954 |   - |3713 |6897 |3713 | 949 |  13k|  38k|1765 | 0.000000e+00 | 1.100000e+01 |    Inf 
131.93/132.60	o 6
131.93/132.60	c * 133s| 79019 |  1251 |167774 |   2.1 |  32M| 954 |   - |3713 |6897 |3713 | 949 |  13k|  38k|1765 | 0.000000e+00 | 6.000000e+00 |    Inf 
133.64/134.34	c   134s| 80000 |  1235 |173459 |   2.2 |  32M| 954 |   1 |3713 |5255 |3713 | 927 |  13k|  40k|1826 | 0.000000e+00 | 6.000000e+00 |    Inf 
147.54/148.23	o 2
147.54/148.23	c * 148s| 88664 |  1083 |218869 |   2.5 |  32M| 954 |   - |3713 |7890 |3713 | 954 |  15k|  51k|2017 | 0.000000e+00 | 2.000000e+00 |    Inf 
149.63/150.36	c   150s| 90000 |  1082 |225353 |   2.5 |  32M| 954 |   1 |3713 |8288 |3713 | 942 |  16k|  52k|2068 | 0.000000e+00 | 2.000000e+00 |    Inf 
166.33/167.07	c   167s|100000 |  1159 |284582 |   2.8 |  33M| 954 |   8 |3713 |8407 |3713 | 940 |  18k|  65k|2335 | 0.000000e+00 | 2.000000e+00 |    Inf 
182.83/183.55	c   184s|110000 |  1278 |340191 |   3.1 |  36M| 954 |   - |3713 |  11k|   0 |   0 |  20k|  78k|2547 | 0.000000e+00 | 2.000000e+00 |    Inf 
200.33/201.05	c   201s|120000 |  1262 |396400 |   3.3 |  37M| 954 |   - |3713 |  13k|   0 |   0 |  23k|  91k|2771 | 0.000000e+00 | 2.000000e+00 |    Inf 
218.24/218.91	c   219s|130000 |  1312 |447714 |   3.4 |  38M| 954 |   - |3713 |  16k|   0 |   0 |  25k| 104k|2930 | 0.000000e+00 | 2.000000e+00 |    Inf 
237.63/238.31	c   238s|140000 |  1294 |509920 |   3.6 |  39M| 954 |  11 |3713 |  16k|3713 | 952 |  28k| 117k|3130 | 0.000000e+00 | 2.000000e+00 |    Inf 
257.03/257.79	c   258s|150000 |  1414 |567195 |   3.8 |  41M| 954 |   - |3713 |  20k|   0 |   0 |  31k| 130k|3279 | 0.000000e+00 | 2.000000e+00 |    Inf 
277.23/277.98	c   278s|160000 |  1361 |623737 |   3.9 |  42M| 954 |   - |3713 |  20k|   0 |   0 |  33k| 144k|3413 | 0.000000e+00 | 2.000000e+00 |    Inf 
296.63/297.37	c   297s|170000 |  1321 |672919 |   4.0 |  41M| 954 |   1 |3713 |  19k|3713 | 927 |  36k| 158k|3591 | 0.000000e+00 | 2.000000e+00 |    Inf 
316.53/317.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
316.53/317.20	c   317s|180000 |  1393 |721745 |   4.0 |  41M| 954 |   - |3713 |  18k|   0 |   0 |  39k| 172k|3687 | 0.000000e+00 | 2.000000e+00 |    Inf 
335.44/336.10	c   336s|190000 |  1375 |771880 |   4.1 |  42M| 954 |   1 |3713 |  19k|3713 | 937 |  42k| 186k|3811 | 0.000000e+00 | 2.000000e+00 |    Inf 
354.84/355.54	c   356s|200000 |  1432 |818853 |   4.1 |  43M| 954 |   - |3713 |  20k|3713 | 936 |  43k| 200k|3881 | 0.000000e+00 | 2.000000e+00 |    Inf 
374.94/375.65	c   376s|210000 |  1483 |865145 |   4.1 |  44M| 954 |   - |3713 |  21k|   0 |   0 |  46k| 214k|3982 | 0.000000e+00 | 2.000000e+00 |    Inf 
395.13/395.85	c   396s|220000 |  1679 |914000 |   4.2 |  45M| 954 |  16 |3713 |  22k|3713 | 935 |  48k| 227k|4104 | 0.000000e+00 | 2.000000e+00 |    Inf 
415.74/416.48	c   416s|230000 |  1806 |964958 |   4.2 |  46M| 954 |   5 |3713 |  22k|3713 | 939 |  51k| 241k|4175 | 0.000000e+00 | 2.000000e+00 |    Inf 
436.84/437.57	c   438s|240000 |  1896 |  1019k|   4.2 |  47M| 954 |   1 |3713 |  23k|3713 | 927 |  54k| 255k|4291 | 0.000000e+00 | 2.000000e+00 |    Inf 
457.34/458.06	c   458s|250000 |  1942 |  1066k|   4.3 |  48M| 954 |  13 |3713 |  24k|3713 | 949 |  57k| 269k|4355 | 0.000000e+00 | 2.000000e+00 |    Inf 
478.24/478.93	c   479s|260000 |  1960 |  1119k|   4.3 |  48M| 954 |   - |3713 |  22k|   0 |   0 |  59k| 282k|4482 | 0.000000e+00 | 2.000000e+00 |    Inf 
498.94/499.64	c   500s|270000 |  1924 |  1169k|   4.3 |  48M| 954 |   - |3713 |  22k|   0 |   0 |  62k| 297k|4555 | 0.000000e+00 | 2.000000e+00 |    Inf 
520.04/520.72	c   521s|280000 |  1911 |  1220k|   4.4 |  49M| 954 |   8 |3713 |  23k|3713 | 939 |  64k| 312k|4623 | 0.000000e+00 | 2.000000e+00 |    Inf 
540.94/541.66	c   542s|290000 |  1926 |  1276k|   4.4 |  50M| 954 |  17 |3713 |  24k|3713 | 943 |  67k| 326k|4722 | 0.000000e+00 | 2.000000e+00 |    Inf 
562.34/563.08	c   563s|300000 |  1932 |  1327k|   4.4 |  50M| 954 |  27 |3713 |  26k|3713 | 936 |  70k| 341k|4788 | 0.000000e+00 | 2.000000e+00 |    Inf 
583.74/584.49	c   584s|310000 |  1896 |  1380k|   4.5 |  48M| 954 |   1 |3713 |  20k|3713 | 962 |  73k| 355k|4861 | 0.000000e+00 | 2.000000e+00 |    Inf 
603.84/604.59	c   605s|320000 |  1883 |  1436k|   4.5 |  48M| 954 |   - |3713 |  20k|   0 |   0 |  76k| 369k|4973 | 0.000000e+00 | 2.000000e+00 |    Inf 
623.74/624.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
623.74/624.46	c   624s|330000 |  1891 |  1488k|   4.5 |  49M| 954 |  17 |3713 |  21k|3713 | 949 |  77k| 383k|5067 | 0.000000e+00 | 2.000000e+00 |    Inf 
644.94/645.69	c   646s|340000 |  1862 |  1542k|   4.5 |  50M| 954 |  22 |3713 |  23k|3713 | 976 |  80k| 397k|5139 | 0.000000e+00 | 2.000000e+00 |    Inf 
666.84/667.54	c   668s|350000 |  1907 |  1599k|   4.6 |  52M| 954 |   - |3713 |  25k|   0 |   0 |  82k| 411k|5200 | 0.000000e+00 | 2.000000e+00 |    Inf 
688.74/689.41	c   689s|360000 |  1831 |  1654k|   4.6 |  50M| 954 |   - |3713 |  22k|   0 |   0 |  84k| 426k|5288 | 0.000000e+00 | 2.000000e+00 |    Inf 
710.34/711.02	c   711s|370000 |  1796 |  1710k|   4.6 |  50M| 954 |  36 |3713 |  23k|3713 | 978 |  87k| 440k|5366 | 0.000000e+00 | 2.000000e+00 |    Inf 
731.34/732.00	c   732s|380000 |  1691 |  1762k|   4.6 |  49M| 954 |   1 |3713 |  21k|3713 | 969 |  89k| 454k|5447 | 0.000000e+00 | 2.000000e+00 |    Inf 
751.94/752.62	c   753s|390000 |  1678 |  1820k|   4.7 |  50M| 954 |  15 |3713 |  24k|3713 | 951 |  91k| 469k|5489 | 0.000000e+00 | 2.000000e+00 |    Inf 
772.74/773.48	c   773s|400000 |  1594 |  1876k|   4.7 |  48M| 954 |   - |3713 |  20k|   0 |   0 |  94k| 483k|5701 | 0.000000e+00 | 2.000000e+00 |    Inf 
792.84/793.55	c   794s|410000 |  1533 |  1934k|   4.7 |  46M| 954 |   - |3713 |  18k|   0 |   0 |  97k| 497k|5762 | 0.000000e+00 | 2.000000e+00 |    Inf 
813.05/813.73	c   814s|420000 |  1513 |  1991k|   4.7 |  47M| 954 |   1 |3713 |  20k|3713 | 927 | 100k| 510k|5843 | 0.000000e+00 | 2.000000e+00 |    Inf 
832.24/832.99	c   833s|430000 |  1369 |  2044k|   4.8 |  44M| 954 |   - |3713 |  18k|   0 |   0 | 102k| 525k|5938 | 0.000000e+00 | 2.000000e+00 |    Inf 
851.85/852.52	c   852s|440000 |  1382 |  2101k|   4.8 |  45M| 954 |   - |3713 |  19k|   0 |   0 | 105k| 540k|6000 | 0.000000e+00 | 2.000000e+00 |    Inf 
871.14/871.87	c   872s|450000 |  1362 |  2158k|   4.8 |  45M| 954 |   7 |3713 |  18k|3713 | 942 | 107k| 555k|6085 | 0.000000e+00 | 2.000000e+00 |    Inf 
891.24/891.99	c   892s|460000 |  1361 |  2224k|   4.8 |  45M| 954 |  10 |3713 |  19k|3713 | 936 | 110k| 569k|6175 | 0.000000e+00 | 2.000000e+00 |    Inf 
911.84/912.50	c   912s|470000 |  1431 |  2288k|   4.9 |  46M| 954 |   - |3713 |  22k|3713 | 957 | 113k| 581k|6233 | 0.000000e+00 | 2.000000e+00 |    Inf 
934.15/934.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
934.15/934.83	c   935s|480000 |  1449 |  2352k|   4.9 |  48M| 954 |  10 |3713 |  25k|3713 | 951 | 116k| 594k|6289 | 0.000000e+00 | 2.000000e+00 |    Inf 
957.46/958.14	c   958s|490000 |  1267 |  2413k|   4.9 |  45M| 954 |   - |3713 |  22k|   0 |   0 | 119k| 607k|6458 | 0.000000e+00 | 2.000000e+00 |    Inf 
978.45/979.11	c   979s|500000 |  1252 |  2472k|   4.9 |  45M| 954 |  16 |3713 |  24k|3713 | 972 | 121k| 621k|6513 | 0.000000e+00 | 2.000000e+00 |    Inf 
1000.55/1001.26	c  1001s|510000 |  1252 |  2543k|   5.0 |  45M| 954 |   9 |3713 |  26k|3713 | 945 | 124k| 635k|6582 | 0.000000e+00 | 2.000000e+00 |    Inf 
1023.35/1024.03	c  1024s|520000 |  1276 |  2599k|   5.0 |  47M| 954 |  24 |3713 |  29k|3713 | 966 | 126k| 648k|6637 | 0.000000e+00 | 2.000000e+00 |    Inf 
1049.05/1049.80	c  1050s|530000 |  1259 |  2656k|   5.0 |  47M| 954 |   - |3713 |  30k|   0 |   0 | 128k| 662k|6684 | 0.000000e+00 | 2.000000e+00 |    Inf 
1075.06/1075.79	c  1076s|540000 |  1305 |  2709k|   5.0 |  48M| 954 |   9 |3713 |  30k|3713 | 937 | 131k| 675k|6738 | 0.000000e+00 | 2.000000e+00 |    Inf 
1102.05/1102.79	c  1103s|550000 |  1243 |  2762k|   5.0 |  48M| 954 |   - |3713 |  31k|   0 |   0 | 133k| 688k|6800 | 0.000000e+00 | 2.000000e+00 |    Inf 
1128.35/1129.07	c  1129s|560000 |  1197 |  2815k|   5.0 |  46M| 954 |  11 |3713 |  27k|3713 | 948 | 136k| 701k|6853 | 0.000000e+00 | 2.000000e+00 |    Inf 
1152.55/1153.27	c  1153s|570000 |  1148 |  2882k|   5.1 |  43M| 954 |   - |3713 |  20k|   0 |   0 | 138k| 714k|7009 | 0.000000e+00 | 2.000000e+00 |    Inf 
1174.16/1174.87	c  1175s|580000 |  1260 |  2941k|   5.1 |  45M| 954 |   1 |3713 |  24k|3713 | 944 | 141k| 727k|7046 | 0.000000e+00 | 2.000000e+00 |    Inf 
1196.55/1197.28	c  1197s|590000 |  1264 |  2999k|   5.1 |  46M| 954 |   1 |3713 |  25k|3713 | 951 | 143k| 741k|7094 | 0.000000e+00 | 2.000000e+00 |    Inf 
1220.36/1221.08	c  1221s|600000 |  1312 |  3062k|   5.1 |  48M| 954 |  13 |3713 |  27k|3713 | 936 | 146k| 755k|7138 | 0.000000e+00 | 2.000000e+00 |    Inf 
1243.05/1243.79	c  1244s|610000 |  1254 |  3124k|   5.1 |  47M| 954 |   1 |3713 |  26k|3713 | 948 | 149k| 769k|7223 | 0.000000e+00 | 2.000000e+00 |    Inf 
1267.56/1268.27	c  1268s|620000 |  1278 |  3191k|   5.1 |  49M| 954 |   - |3713 |  30k|   0 |   0 | 153k| 782k|7268 | 0.000000e+00 | 2.000000e+00 |    Inf 
1289.95/1290.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1289.95/1290.66	c  1291s|630000 |  1167 |  3249k|   5.2 |  46M| 954 |  21 |3713 |  24k|3713 | 970 | 155k| 796k|7359 | 0.000000e+00 | 2.000000e+00 |    Inf 
1312.06/1312.71	c  1313s|640000 |  1084 |  3306k|   5.2 |  42M| 954 |  30 |3713 |  17k|3713 | 945 | 157k| 808k|7421 | 0.000000e+00 | 2.000000e+00 |    Inf 
1332.56/1333.25	c  1333s|650000 |  1095 |  3364k|   5.2 |  44M| 954 |   1 |3713 |  21k|3713 | 944 | 160k| 821k|7464 | 0.000000e+00 | 2.000000e+00 |    Inf 
1352.56/1353.24	c  1353s|660000 |   899 |  3425k|   5.2 |  39M| 954 |  15 |3713 |  13k|3713 | 927 | 162k| 834k|7604 | 0.000000e+00 | 2.000000e+00 |    Inf 
1369.96/1370.63	c  1371s|670000 |   932 |  3476k|   5.2 |  41M| 954 |   - |3713 |  18k|   0 |   0 | 164k| 846k|7632 | 0.000000e+00 | 2.000000e+00 |    Inf 
1390.25/1390.90	c  1391s|680000 |  1032 |  3531k|   5.2 |  43M| 954 |  15 |3713 |  20k|3713 | 943 | 167k| 859k|7685 | 0.000000e+00 | 2.000000e+00 |    Inf 
1410.15/1410.86	c  1411s|690000 |   869 |  3589k|   5.2 |  41M| 954 |  12 |3713 |  17k|3713 | 957 | 169k| 872k|7750 | 0.000000e+00 | 2.000000e+00 |    Inf 
1429.45/1430.10	c  1430s|700000 |   828 |  3649k|   5.2 |  41M| 954 |   1 |3713 |  16k|3713 | 945 | 172k| 885k|7814 | 0.000000e+00 | 2.000000e+00 |    Inf 
1447.65/1448.30	c  1448s|710000 |   863 |  3708k|   5.2 |  42M| 954 |   9 |3713 |  19k|3713 | 936 | 174k| 898k|7867 | 0.000000e+00 | 2.000000e+00 |    Inf 
1467.96/1468.64	c  1469s|720000 |   863 |  3765k|   5.2 |  43M| 954 |   - |3713 |  21k|   0 |   0 | 177k| 911k|7918 | 0.000000e+00 | 2.000000e+00 |    Inf 
1489.96/1490.63	c  1491s|730000 |   862 |  3829k|   5.2 |  45M| 954 |   - |3713 |  24k|   0 |   0 | 180k| 925k|7979 | 0.000000e+00 | 2.000000e+00 |    Inf 
1513.66/1514.36	c  1514s|740000 |   873 |  3893k|   5.3 |  45M| 954 |  17 |3713 |  25k|3713 | 966 | 183k| 938k|8036 | 0.000000e+00 | 2.000000e+00 |    Inf 
1535.66/1536.32	c  1536s|750000 |   870 |  3953k|   5.3 |  44M| 954 |   - |3713 |  21k|   0 |   0 | 185k| 951k|8113 | 0.000000e+00 | 2.000000e+00 |    Inf 
1537.76/1538.44	o 1
1537.76/1538.44	c *1538s|751018 |   604 |  3960k|   5.3 |  40M| 954 |   - |3713 |  21k|3713 | 935 | 185k| 952k|8113 | 0.000000e+00 | 1.000000e+00 |    Inf 
1556.46/1557.11	c  1557s|760000 |   624 |  4020k|   5.3 |  41M| 954 |  11 |3713 |  24k|3713 | 927 | 187k| 964k|8166 | 0.000000e+00 | 1.000000e+00 |    Inf 
1579.06/1579.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1579.06/1579.76	c  1580s|770000 |   606 |  4092k|   5.3 |  41M| 954 |   - |3713 |  24k|   0 |   0 | 190k| 977k|8230 | 0.000000e+00 | 1.000000e+00 |    Inf 
1602.46/1603.15	c  1603s|780000 |   636 |  4165k|   5.3 |  43M| 954 |  15 |3713 |  27k|3713 | 927 | 192k| 991k|8283 | 0.000000e+00 | 1.000000e+00 |    Inf 
1627.45/1628.13	c  1628s|790000 |   717 |  4224k|   5.3 |  45M| 954 |   - |3713 |  32k|   0 |   0 | 194k|1004k|8333 | 0.000000e+00 | 1.000000e+00 |    Inf 
1654.16/1654.81	c  1655s|800000 |   758 |  4281k|   5.4 |  47M| 954 |  31 |3713 |  34k|3713 | 946 | 196k|1017k|8378 | 0.000000e+00 | 1.000000e+00 |    Inf 
1682.46/1683.18	c  1683s|810000 |   793 |  4344k|   5.4 |  49M| 954 |   - |3713 |  37k|   0 |   0 | 198k|1030k|8421 | 0.000000e+00 | 1.000000e+00 |    Inf 
1710.76/1711.40	c  1711s|820000 |   782 |  4408k|   5.4 |  49M| 954 |  14 |3713 |  38k|3713 | 961 | 200k|1044k|8469 | 0.000000e+00 | 1.000000e+00 |    Inf 
1739.66/1740.31	c  1740s|830000 |   791 |  4467k|   5.4 |  50M| 954 |  14 |3713 |  37k|3713 | 927 | 202k|1057k|8526 | 0.000000e+00 | 1.000000e+00 |    Inf 
1771.26/1771.92	c  1772s|840000 |   868 |  4526k|   5.4 |  52M| 954 |   1 |3713 |  40k|3713 | 927 | 204k|1071k|8593 | 0.000000e+00 | 1.000000e+00 |    Inf 
1789.37/1790.01	c 
1789.37/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.37/1790.01	c Solving Time (sec) : 1789.98
1789.37/1790.01	c Solving Nodes      : 845598
1789.37/1790.01	c Primal Bound       : +1.00000000000000e+00 (161 solutions)
1789.37/1790.01	c Dual Bound         : +0.00000000000000e+00
1789.37/1790.01	c Gap                : infinite
1789.37/1790.04	s SATISFIABLE
1789.37/1790.04	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 
1789.37/1790.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1789.37/1790.04	v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1789.37/1790.04	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 
1789.37/1790.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 
1789.37/1790.04	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1789.37/1790.04	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 
1789.37/1790.04	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 
1789.37/1790.04	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 
1789.37/1790.04	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 
1789.37/1790.04	v -x1 
1789.37/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.37/1790.04	c Solving Time       :    1789.98
1789.37/1790.04	c Original Problem   :
1789.37/1790.04	c   Problem name     : HOME/instance-2705549-1278572956.wbo
1789.37/1790.04	c   Variables        : 3835 (2033 binary, 0 integer, 1802 implicit integer, 0 continuous)
1789.37/1790.04	c   Constraints      : 4510 initial, 4510 maximal
1789.37/1790.04	c Presolved Problem  :
1789.37/1790.04	c   Problem name     : t_HOME/instance-2705549-1278572956.wbo
1789.37/1790.04	c   Variables        : 3713 (1972 binary, 0 integer, 1741 implicit integer, 0 continuous)
1789.37/1790.04	c   Constraints      : 4342 initial, 43623 maximal
1789.37/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.37/1790.04	c   trivial          :       0.00         61          0          0          0          0          0          0          0
1789.37/1790.04	c   dualfix          :       0.00         61          0          0          0          0          0          0          0
1789.37/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1789.37/1790.04	c   setppc           :       0.00          0          0          0          0          0         22          0          0
1789.37/1790.04	c   linear           :       0.05          0          0          0       1810          0         85         67          0
1789.37/1790.04	c   indicator        :       0.00          0          0          0          0          0         61          0          0
1789.37/1790.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1789.37/1790.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1789.37/1790.04	c   root node        :          -       3482          -          -       3482          -          -          -          -
1789.37/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.37/1790.04	c   integral         :          0          0          0     507449          0         50        667          0          0     860162
1789.37/1790.04	c   setppc           :         55          7    4319490      75417          1      15182    1149373          0          0          0
1789.37/1790.04	c   linear           :       1741          7    4308546      76535          1     191540   17220330     205847          0          0
1789.37/1790.04	c   indicator        :       1741          0    3487678      73143          0        264     888985          0          0          0
1789.37/1790.04	c   logicor          :        805+         7    1515426      48670          1     190733    3666557          0          0          0
1789.37/1790.04	c   bounddisjunction :          0+         0     369591          0          0        132       1851          0          0          0
1789.37/1790.04	c   countsols        :          0          0          0      48670          1          0          0          0          0          0
1789.37/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.37/1790.04	c   integral         :      19.21       0.00       0.00      19.21       0.00
1789.37/1790.04	c   setppc           :      10.95       0.00      10.91       0.05       0.00
1789.37/1790.04	c   linear           :     143.57       0.00     140.49       3.07       0.00
1789.37/1790.04	c   indicator        :      18.57       0.02      11.18       7.37       0.00
1789.37/1790.04	c   logicor          :     360.69       0.00     360.38       0.30       0.00
1789.37/1790.04	c   bounddisjunction :       1.60       0.00       1.60       0.00       0.00
1789.37/1790.04	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1789.37/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.37/1790.04	c   vbounds          :       0.69      10165          1       1092
1789.37/1790.04	c   rootredcost      :       0.64         50          0       1741
1789.37/1790.04	c   pseudoobj        :     111.51    4327358       3143     811740
1789.37/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.37/1790.04	c   propagation      :      21.02     400730     400617    2484083       27.7      11467       23.8          -
1789.37/1790.04	c   infeasible LP    :       7.43      25080      25080     200596       43.7        391       15.3          0
1789.37/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.37/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.37/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.37/1790.04	c   applied globally :          -          -          -    1079240       22.6          -          -          -
1789.37/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.37/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.37/1790.04	c   cut pool         :       0.00          6          -          -         32          -    (maximal pool size: 210)
1789.37/1790.04	c   redcost          :      33.47     509382          0      50160          0          0
1789.37/1790.04	c   impliedbounds    :       0.00          7          0          0          0          0
1789.37/1790.04	c   intobj           :       0.00          0          0          0          0          0
1789.37/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1789.37/1790.04	c   gomory           :       0.11          7          0          0       1131          0
1789.37/1790.04	c   strongcg         :       0.09          7          0          0       1073          0
1789.37/1790.04	c   cmir             :       0.03          7          0          0          1          0
1789.37/1790.04	c   flowcover        :       0.08          7          0          0          2          0
1789.37/1790.04	c   clique           :       0.00          7          0          0          0          0
1789.37/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1789.37/1790.04	c   mcf              :       0.00          1          0          0          0          0
1789.37/1790.04	c   rapidlearning    :       0.07          1          0          0          0          0
1789.37/1790.04	c Pricers            :       Time      Calls       Vars
1789.37/1790.04	c   problem variables:       0.00          0          0
1789.37/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.37/1790.04	c   relpscost        :      18.78     430659         50        667          0          0     860162
1789.37/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1789.37/1790.04	c   inference        :      14.06      48622          0          0          0          0      97393
1789.37/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1789.37/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1789.37/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.37/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.37/1790.04	c   random           :       0.00          0          0          0          0          0          0
1789.37/1790.04	c Primal Heuristics  :       Time      Calls      Found
1789.37/1790.04	c   LP solutions     :       0.10          -         49
1789.37/1790.04	c   pseudo solutions :       0.00          -          0
1789.37/1790.04	c   intshifting      :       0.01          0          0
1789.37/1790.04	c   feaspump         :       0.02          1          0
1789.37/1790.04	c   oneopt           :       0.42         43          0
1789.37/1790.04	c   crossover        :       1.63         48          0
1789.37/1790.04	c   fracdiving       :       0.37        307          0
1789.37/1790.04	c   veclendiving     :       0.38        307          0
1789.37/1790.04	c   linesearchdiving :       0.38        307          0
1789.37/1790.04	c   guideddiving     :       0.46        308          0
1789.37/1790.04	c   coefdiving       :       0.39        308          0
1789.37/1790.04	c   pscostdiving     :       0.39        308          0
1789.37/1790.04	c   objpscostdiving  :       0.43        296          0
1789.37/1790.04	c   rootsoldiving    :       0.48        296          0
1789.37/1790.04	c   trivial          :       0.00          2          0
1789.37/1790.04	c   simplerounding   :       0.66     430915          0
1789.37/1790.04	c   zirounding       :       0.35       1000          0
1789.37/1790.04	c   rounding         :       1.01       9254          0
1789.37/1790.04	c   shifting         :       0.71       2874          0
1789.37/1790.04	c   twoopt           :       0.00          0          0
1789.37/1790.04	c   fixandinfer      :       0.00          0          0
1789.37/1790.04	c   intdiving        :       0.00          0          0
1789.37/1790.04	c   actconsdiving    :       0.00          0          0
1789.37/1790.04	c   octane           :       0.00          0          0
1789.37/1790.04	c   rens             :       0.03          1          0
1789.37/1790.04	c   rins             :       0.00          0          0
1789.37/1790.04	c   localbranching   :       0.00          0          0
1789.37/1790.04	c   mutation         :       0.00          0          0
1789.37/1790.04	c   dins             :       0.00          0          0
1789.37/1790.04	c   undercover       :       0.00          0          0
1789.37/1790.04	c   nlp              :       0.14          0          0
1789.37/1790.04	c   trysol           :       0.34        447        112
1789.37/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.37/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1789.37/1790.04	c   dual LP          :     535.14     484553    4557692       9.41    8516.77
1789.37/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1789.37/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1789.37/1790.04	c   diving/probing LP:       0.24        112       1716      15.32    7036.94
1789.37/1790.04	c   strong branching :      14.82       8595     152237      17.71   10270.52
1789.37/1790.04	c     (at root node) :          -         16       2019     126.19          -
1789.37/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1789.37/1790.04	c B&B Tree           :
1789.37/1790.04	c   number of runs   :          1
1789.37/1790.04	c   nodes            :     845598
1789.37/1790.04	c   nodes (total)    :     845598
1789.37/1790.04	c   nodes left       :        885
1789.37/1790.04	c   max depth        :        954
1789.37/1790.04	c   max depth (total):        954
1789.37/1790.04	c   backtracks       :      73592 (8.7%)
1789.37/1790.04	c   delayed cutoffs  :      62303
1789.37/1790.04	c   repropagations   :    2212759 (3869986 domain reductions, 59028 cutoffs)
1789.37/1790.04	c   avg switch length:       6.56
1789.37/1790.04	c   switching time   :     289.86
1789.37/1790.04	c Solution           :
1789.37/1790.04	c   Solutions found  :        161 (50 improvements)
1789.37/1790.04	c   First Solution   : +8.77540000000000e+04   (in run 1, after 17 nodes, 1.09 seconds, depth 17, found by <trysol>)
1789.37/1790.04	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 751018 nodes, 1538.41 seconds, depth 37, found by <relaxation>)
1789.37/1790.04	c   Dual Bound       : +0.00000000000000e+00
1789.37/1790.04	c   Gap              :   infinite
1789.37/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1789.37/1790.04	c   Root Iterations  :        453
1789.47/1790.14	c Time complete: 1789.5.

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705549-1278572956/watcher-2705549-1278572956 -o /tmp/evaluation-result-2705549-1278572956/solver-2705549-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705549-1278572956.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.26 0.06 0.02 4/176 21036
/proc/meminfo: memFree=29603940/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=12536 CPUtime=0
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 1971 0 0 0 0 0 0 0 23 0 1 0 25509323 12836864 1890 4089446400 4194304 10345943 140736945929632 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21036/statm: 3134 1890 429 1502 0 1627 0

[startup+0.079242 s]
/proc/loadavg: 0.26 0.06 0.02 4/176 21036
/proc/meminfo: memFree=29603940/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=32792 CPUtime=0.07
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 7234 0 0 0 7 0 0 0 23 0 1 0 25509323 33579008 6799 4089446400 4194304 10345943 140736945929632 18446744073709551615 5018830 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 8198 6799 534 1502 0 6691 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32792

[startup+0.101234 s]
/proc/loadavg: 0.26 0.06 0.02 4/176 21036
/proc/meminfo: memFree=29603940/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=33944 CPUtime=0.09
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 7516 0 0 0 9 0 0 0 23 0 1 0 25509323 34758656 7081 4089446400 4194304 10345943 140736945929632 18446744073709551615 18446744073699066098 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 8486 7081 553 1502 0 6979 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33944

[startup+0.300203 s]
/proc/loadavg: 0.26 0.06 0.02 4/176 21036
/proc/meminfo: memFree=29603940/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=42044 CPUtime=0.29
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 14462 0 0 0 28 1 0 0 23 0 1 0 25509323 43053056 9010 4089446400 4194304 10345943 140736945929632 18446744073709551615 5841437 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 10511 9010 747 1502 0 9004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42044

[startup+0.701135 s]
/proc/loadavg: 0.26 0.06 0.02 4/176 21036
/proc/meminfo: memFree=29603940/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=52348 CPUtime=0.7
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 20642 0 0 0 68 2 0 0 25 0 1 0 25509323 53604352 11176 4089446400 4194304 10345943 140736945929632 18446744073709551615 6566404 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 13087 11176 769 1502 0 11580 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 52348

[startup+1.501 s]
/proc/loadavg: 0.26 0.06 0.02 3/177 21037
/proc/meminfo: memFree=29558184/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=52908 CPUtime=1.49
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 22399 0 0 0 147 2 0 0 25 0 1 0 25509323 54177792 11275 4089446400 4194304 10345943 140736945929632 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 13227 11275 772 1502 0 11720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52908

[startup+3.10073 s]
/proc/loadavg: 0.26 0.06 0.02 3/177 21037
/proc/meminfo: memFree=29555084/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=54600 CPUtime=3.09
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 28545 0 0 0 306 3 0 0 25 0 1 0 25509323 55910400 11852 4089446400 4194304 10345943 140736945929632 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 13650 11852 773 1502 0 12143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54600

[startup+6.30018 s]
/proc/loadavg: 0.56 0.13 0.04 3/177 21037
/proc/meminfo: memFree=29545040/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=59636 CPUtime=5.63
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 34148 0 0 0 556 7 0 0 25 0 1 0 25509323 61067264 13039 4089446400 4194304 10345943 140736945929632 18446744073709551615 6119404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 14909 13039 773 1502 0 13402 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 59636

[startup+12.7011 s]
/proc/loadavg: 0.76 0.17 0.06 3/177 21038
/proc/meminfo: memFree=29524584/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=68044 CPUtime=12.03
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 45776 0 0 0 1193 10 0 0 25 0 1 0 25509323 69677056 15297 4089446400 4194304 10345943 140736945929632 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 17011 15297 778 1502 0 15504 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 68044

[startup+25.5009 s]
/proc/loadavg: 1.03 0.26 0.09 3/177 21038
/proc/meminfo: memFree=29485728/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=88416 CPUtime=24.83
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 70032 0 0 0 2468 15 0 0 25 0 1 0 25509323 90537984 19958 4089446400 4194304 10345943 140736945929632 18446744073709551615 8160003 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21036/statm: 22104 19958 779 1502 0 20597 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 88416

[startup+51.1006 s]
/proc/loadavg: 1.36 0.40 0.14 3/177 21038
/proc/meminfo: memFree=29434768/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=119624 CPUtime=50.44
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 103331 0 0 0 5022 22 0 0 25 0 1 0 25509323 122494976 28047 4089446400 4194304 10345943 140736945929632 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 29906 28047 779 1502 0 28399 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 119624

[startup+102.307 s]
/proc/loadavg: 1.72 0.65 0.23 3/177 21040
/proc/meminfo: memFree=29365352/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=170504 CPUtime=101.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 207059 0 0 0 10121 43 0 0 25 0 1 0 25509323 174596096 41104 4089446400 4194304 10345943 140736945929632 18446744073709551615 6064887 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 42626 41104 788 1502 0 41119 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 170504

[startup+162.301 s]
/proc/loadavg: 1.95 0.91 0.34 3/177 21042
/proc/meminfo: memFree=29349304/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=180908 CPUtime=161.63
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 273998 0 0 0 16096 67 0 0 25 0 1 0 25509323 185249792 43597 4089446400 4194304 10345943 140736945929632 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 45227 43597 800 1502 0 43720 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 180908

[startup+222.301 s]
/proc/loadavg: 1.98 1.10 0.44 3/177 21043
/proc/meminfo: memFree=29343064/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=187428 CPUtime=221.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 286277 0 0 0 22078 86 0 0 25 0 1 0 25509323 191926272 45098 4089446400 4194304 10345943 140736945929632 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 46857 45098 800 1502 0 45350 0
Current children cumulated CPU time (s) 221.64
Current children cumulated vsize (KiB) 187428

[startup+282.3 s]
/proc/loadavg: 1.99 1.26 0.54 3/177 21044
/proc/meminfo: memFree=29337072/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=191188 CPUtime=281.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 296586 0 0 0 28063 101 0 0 25 0 1 0 25509323 195776512 45818 4089446400 4194304 10345943 140736945929632 18446744073709551615 5614603 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 47797 45818 800 1502 0 46290 0
Current children cumulated CPU time (s) 281.64
Current children cumulated vsize (KiB) 191188

[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.63 3/177 21046
/proc/meminfo: memFree=29331580/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=191920 CPUtime=341.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 300443 0 0 0 34051 113 0 0 25 0 1 0 25509323 196526080 45967 4089446400 4194304 10345943 140736945929632 18446744073709551615 4220208 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 47980 45967 800 1502 0 46473 0
Current children cumulated CPU time (s) 341.64
Current children cumulated vsize (KiB) 191920

[startup+402.301 s]
/proc/loadavg: 1.99 1.50 0.71 3/177 21048
/proc/meminfo: memFree=29327204/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=194524 CPUtime=401.63
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 302655 0 0 0 40038 125 0 0 25 0 1 0 25509323 199192576 46823 4089446400 4194304 10345943 140736945929632 18446744073709551615 6847584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 48631 46823 800 1502 0 47124 0
Current children cumulated CPU time (s) 401.63
Current children cumulated vsize (KiB) 194524

[startup+462.301 s]
/proc/loadavg: 1.99 1.59 0.79 3/177 21050
/proc/meminfo: memFree=29323452/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=194840 CPUtime=461.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 306702 0 0 0 46027 137 0 0 25 0 1 0 25509323 199516160 47229 4089446400 4194304 10345943 140736945929632 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 48710 47229 800 1502 0 47203 0
Current children cumulated CPU time (s) 461.64
Current children cumulated vsize (KiB) 194840

[startup+522.301 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 21051
/proc/meminfo: memFree=29320948/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=198540 CPUtime=521.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 307357 0 0 0 52016 148 0 0 25 0 1 0 25509323 203304960 47884 4089446400 4194304 10345943 140736945929632 18446744073709551615 7507966 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 49635 47884 800 1502 0 48128 0
Current children cumulated CPU time (s) 521.64
Current children cumulated vsize (KiB) 198540

[startup+582.301 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 21052
/proc/meminfo: memFree=29317816/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=199840 CPUtime=581.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 309483 0 0 0 58004 160 0 0 25 0 1 0 25509323 204636160 47997 4089446400 4194304 10345943 140736945929632 18446744073709551615 4217160 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 49960 47997 800 1502 0 48453 0
Current children cumulated CPU time (s) 581.64
Current children cumulated vsize (KiB) 199840

[startup+642.3 s]
/proc/loadavg: 1.99 1.77 0.99 3/177 21057
/proc/meminfo: memFree=29315792/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=199508 CPUtime=641.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 312047 0 0 0 63992 173 0 0 25 0 1 0 25509323 204296192 48077 4089446400 4194304 10345943 140736945929632 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21036/statm: 49877 48077 800 1502 0 48370 0
Current children cumulated CPU time (s) 641.65
Current children cumulated vsize (KiB) 199508

[startup+702.3 s]

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

/proc/meminfo: memFree=29311224/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=203740 CPUtime=1001.64
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 326148 0 0 0 99891 273 0 0 25 0 1 0 25509323 208629760 49049 4089446400 4194304 10345943 140736945929632 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 50935 49049 800 1502 0 49428 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 203740

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.35 3/177 21069
/proc/meminfo: memFree=29309700/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=204276 CPUtime=1061.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 327699 0 0 0 105878 287 0 0 25 0 1 0 25509323 209178624 49253 4089446400 4194304 10345943 140736945929632 18446744073709551615 8139013 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51069 49253 800 1502 0 49562 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 204276

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/177 21070
/proc/meminfo: memFree=29304472/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=205556 CPUtime=1121.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 329450 0 0 0 111868 297 0 0 25 0 1 0 25509323 210489344 49439 4089446400 4194304 10345943 140736945929632 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51389 49439 800 1502 0 49882 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 205556

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 21071
/proc/meminfo: memFree=29302828/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=205572 CPUtime=1181.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 333008 0 0 0 117852 313 0 0 25 0 1 0 25509323 210505728 49501 4089446400 4194304 10345943 140736945929632 18446744073709551615 6066413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51393 49501 800 1502 0 49886 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 205572

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/177 21073
/proc/meminfo: memFree=29302548/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=204388 CPUtime=1241.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 336178 0 0 0 123836 329 0 0 25 0 1 0 25509323 209293312 49492 4089446400 4194304 10345943 140736945929632 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51097 49492 800 1502 0 49590 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 204388

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/177 21075
/proc/meminfo: memFree=29301024/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=206316 CPUtime=1301.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 338901 0 0 0 129822 344 0 0 25 0 1 0 25509323 211267584 49718 4089446400 4194304 10345943 140736945929632 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51579 49718 800 1502 0 50072 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 206316

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 21077
/proc/meminfo: memFree=29298624/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=206172 CPUtime=1361.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 342922 0 0 0 135804 361 0 0 25 0 1 0 25509323 211120128 49719 4089446400 4194304 10345943 140736945929632 18446744073709551615 6028107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51543 49719 800 1502 0 50036 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 206172

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/177 21078
/proc/meminfo: memFree=29298712/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=204792 CPUtime=1421.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 346222 0 0 0 141786 380 0 0 25 0 1 0 25509323 209707008 49584 4089446400 4194304 10345943 140736945929632 18446744073709551615 4214205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51198 49584 800 1502 0 49691 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 204792

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/177 21079
/proc/meminfo: memFree=29298192/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=205016 CPUtime=1481.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 349131 0 0 0 147766 399 0 0 25 0 1 0 25509323 209936384 49616 4089446400 4194304 10345943 140736945929632 18446744073709551615 5085412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51254 49616 800 1502 0 49747 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 205016

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 21081
/proc/meminfo: memFree=29296924/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=205232 CPUtime=1541.65
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 362735 0 0 0 153751 414 0 0 25 0 1 0 25509323 210157568 49742 4089446400 4194304 10345943 140736945929632 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51308 49742 800 1502 0 49801 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 205232

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/177 21083
/proc/meminfo: memFree=29297264/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=205760 CPUtime=1601.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 376865 0 0 0 159734 432 0 0 25 0 1 0 25509323 210698240 49821 4089446400 4194304 10345943 140736945929632 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51440 49821 800 1502 0 49933 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 205760

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/177 21085
/proc/meminfo: memFree=29293380/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=207588 CPUtime=1661.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 379121 0 0 0 165719 447 0 0 25 0 1 0 25509323 212570112 50166 4089446400 4194304 10345943 140736945929632 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 51897 50166 800 1502 0 50390 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 207588

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/177 21086
/proc/meminfo: memFree=29291120/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=211076 CPUtime=1721.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 380182 0 0 0 171705 461 0 0 25 0 1 0 25509323 216141824 50735 4089446400 4194304 10345943 140736945929632 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 52769 50735 800 1502 0 51262 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 211076

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/177 21087
/proc/meminfo: memFree=29287860/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1781.66
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381267 0 0 0 177693 473 0 0 25 0 1 0 25509323 219492352 51420 4089446400 4194304 10345943 140736945929632 18446744073709551615 6361533 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51420 800 1502 0 52080 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 214348

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

[startup+1785.5 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21087
/proc/meminfo: memFree=29287848/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1784.86
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381268 0 0 0 178013 473 0 0 25 0 1 0 25509323 219492352 51421 4089446400 4194304 10345943 140736945929632 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51421 800 1502 0 52080 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 214348

[startup+1788.7 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21087
/proc/meminfo: memFree=29287600/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1788.06
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381272 0 0 0 178332 474 0 0 25 0 1 0 25509323 219492352 51425 4089446400 4194304 10345943 140736945929632 18446744073709551615 4217965 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51425 800 1502 0 52080 0
Current children cumulated CPU time (s) 1788.06
Current children cumulated vsize (KiB) 214348

[startup+1789.5 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21087
/proc/meminfo: memFree=29287600/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1788.86
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381272 0 0 0 178412 474 0 0 25 0 1 0 25509323 219492352 51425 4089446400 4194304 10345943 140736945929632 18446744073709551615 5085412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51425 800 1502 0 52080 0
Current children cumulated CPU time (s) 1788.86
Current children cumulated vsize (KiB) 214348

[startup+1789.9 s]
/proc/loadavg: 2.00 1.97 1.68 2/172 21105
/proc/meminfo: memFree=29451064/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1789.26
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381273 0 0 0 178452 474 0 0 25 0 1 0 25509323 219492352 51426 4089446400 4194304 10345943 140736945929632 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51426 800 1502 0 52080 0
Current children cumulated CPU time (s) 1789.26
Current children cumulated vsize (KiB) 214348

[startup+1790.1 s]
/proc/loadavg: 2.00 1.97 1.68 2/172 21105
/proc/meminfo: memFree=29451064/32951132 swapFree=67111528/67111528
[pid=21036] ppid=21034 vsize=214348 CPUtime=1789.47
/proc/21036/stat : 21036 (pbscip.linux.x8) R 21034 21036 20861 0 -1 4202496 381336 0 0 0 178472 475 0 0 25 0 1 0 25509323 219492352 51489 4089446400 4194304 10345943 140736945929632 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21036/statm: 53587 51489 801 1502 0 52080 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (KiB) 214348

Child status: 0
Real time (s): 1790.15
CPU time (s): 1789.52
CPU user time (s): 1784.76
CPU system time (s): 4.76028
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 217908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.76
system time used= 4.76028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381339
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= 2
involuntary context switches= 14744

runsolver used 3.02254 second user time and 5.87611 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-08 09:09:16
IDJOB=2705549
IDBENCH=78917
IDSOLVER=1214
FILE ID=node129/2705549-1278572956
PBS_JOBID= 11240196
Free space on /tmp= 73780 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705549-1278572956/watcher-2705549-1278572956 -o /tmp/evaluation-result-2705549-1278572956/solver-2705549-1278572956 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705549-1278572956.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 124472bd94dbe4a4a7a86c80941ffe16
RANDOM SEED=1298073220

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29604468 kB
Buffers:        151212 kB
Cached:        2941200 kB
SwapCached:          0 kB
Active:        1299560 kB
Inactive:      1893820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29604468 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25784 kB
Writeback:           0 kB
AnonPages:      100404 kB
Mapped:          17868 kB
Slab:            90544 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   242888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73780 MiB
End job on node129 at 2010-07-08 09:39:06