Trace number 2705671

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 1790.11 1790.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark387.19
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
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-2705671-1278574750.wbo>
0.00/0.02	c original problem has 2091 variables (1161 bin, 0 int, 930 impl, 0 cont) and 3638 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.07	c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.07	c (round 3) 57 del vars, 169 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.00/0.08	c (round 4) 116 del vars, 245 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.08/0.09	c (round 5) 148 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 212 impls, 14 clqs
0.09/0.10	c (round 6) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs
0.09/0.11	c (round 7) 162 del vars, 282 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 212 impls, 14 clqs
0.09/0.14	c    (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (8 rounds):
0.09/0.14	c  162 deleted vars, 282 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.14	c  1902 implications, 14 cliques
0.09/0.14	c presolved problem has 1929 variables (1080 bin, 0 int, 849 impl, 0 cont) and 3356 constraints
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      53 constraints of type <setppc>
0.09/0.14	c     849 constraints of type <linear>
0.09/0.14	c     849 constraints of type <indicator>
0.09/0.14	c    1604 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.11
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.3
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1789.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14	c # [type: int, range: [1,2], default: 1]
0.09/0.14	c timing/clocktype = 2
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/indicator/addCouplingCons = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    26 |     - |8964k|   0 |  14 |1929 |3356 |1929 |1658 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    41 |     - |9018k|   0 |  19 |1929 |3358 |1929 |1674 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.29	c   0.3s|     1 |     0 |    49 |     - |9115k|   0 |  21 |1929 |3358 |1929 |1681 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |    59 |     - |9292k|   0 |  24 |1929 |3358 |1929 |1687 |  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |    74 |     - |9410k|   0 |  28 |1929 |3358 |1929 |1695 |  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |    98 |     - |9728k|   0 |  29 |1929 |3358 |1929 |1697 |  39 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   137 |     - |  10M|   0 |  36 |1929 |3358 |1929 |1701 |  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.66	c   0.6s|     1 |     2 |   137 |     - |  10M|   0 |  36 |1929 |3358 |1929 |1701 |  43 |   0 |  12 | 0.000000e+00 |      --      |    Inf 
1.89/1.91	o 872
1.89/1.91	c * 1.9s|    18 |     9 |  1022 |  52.1 |  10M|  13 |   - |1929 |3358 |1929 |1687 |  43 |   0 | 148 | 0.000000e+00 | 8.720000e+02 |    Inf 
1.99/2.04	o 850
1.99/2.04	c * 2.0s|    25 |    12 |  1225 |  45.3 |  10M|  18 |   - |1929 |3359 |1929 |1687 |  43 |   1 | 195 | 0.000000e+00 | 8.500000e+02 |    Inf 
1.99/2.04	o 686
1.99/2.04	c * 2.0s|    26 |    11 |  1226 |  43.6 |  10M|  18 |   - |1929 |3359 |1929 |1687 |  43 |   1 | 195 | 0.000000e+00 | 6.860000e+02 |    Inf 
3.49/3.51	o 447
3.49/3.51	c * 3.5s|    63 |    42 |  2022 |  30.4 |  10M|  18 |   - |1929 |3359 |1929 |1702 |  64 |   1 | 511 | 0.000000e+00 | 4.470000e+02 |    Inf 
4.30/4.33	o 415
4.30/4.33	c * 4.3s|   146 |    88 |  2856 |  18.8 |  11M|  26 |   - |1929 |3408 |1929 |1695 |  97 |  50 | 736 | 0.000000e+00 | 4.150000e+02 |    Inf 
4.30/4.40	o 381
4.30/4.40	c * 4.4s|   163 |    91 |  3068 |  18.1 |  11M|  26 |   - |1929 |3420 |1929 |1693 | 102 |  62 | 751 | 0.000000e+00 | 3.810000e+02 |    Inf 
4.49/4.59	o 380
4.49/4.59	c * 4.6s|   235 |   107 |  3454 |  14.2 |  11M|  27 |   - |1929 |3523 |1929 |1695 | 116 | 165 | 799 | 0.000000e+00 | 3.800000e+02 |    Inf 
4.59/4.60	o 366
4.59/4.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.59/4.60	c * 4.6s|   236 |   105 |  3492 |  14.3 |  11M|  27 |   - |1929 |3523 |1929 |1697 | 118 | 165 | 800 | 0.000000e+00 | 3.660000e+02 |    Inf 
5.29/5.40	o 346
5.29/5.40	c * 5.4s|   432 |   202 |  4773 |  10.8 |  12M|  37 |   - |1929 |3640 |1929 |1696 | 176 | 283 | 984 | 0.000000e+00 | 3.460000e+02 |    Inf 
5.89/5.98	o 324
5.89/5.98	c * 6.0s|   637 |   254 |  5676 |   8.7 |  12M|  37 |   - |1929 |3828 |1929 |1692 | 246 | 495 |1103 | 0.000000e+00 | 3.240000e+02 |    Inf 
6.90/6.97	o 308
6.90/6.97	c * 7.0s|  1023 |   391 |  7506 |   7.2 |  13M|  37 |   - |1929 |4039 |1929 |1703 | 342 | 841 |1264 | 0.000000e+00 | 3.080000e+02 |    Inf 
7.19/7.22	o 237
7.19/7.22	c * 7.2s|  1117 |   424 |  8121 |   7.2 |  13M|  38 |   - |1929 |4074 |1929 |1696 | 426 | 892 |1308 | 0.000000e+00 | 2.370000e+02 |    Inf 
7.19/7.24	o 189
7.19/7.24	c * 7.2s|  1132 |   369 |  8141 |   7.1 |  13M|  38 |   - |1929 |4073 |1929 |1693 | 432 | 892 |1308 | 0.000000e+00 | 1.890000e+02 |    Inf 
8.99/9.06	o 166
8.99/9.06	c * 9.0s|  1990 |   554 | 11276 |   5.6 |  14M|  46 |   - |1929 |4381 |1929 |1698 | 637 |1733 |1586 | 0.000000e+00 | 1.660000e+02 |    Inf 
12.99/13.03	o 151
12.99/13.03	c *13.0s|  4156 |   977 | 23817 |   5.7 |  17M|  58 |   - |1929 |4951 |1929 |1697 |1227 |4013 |1827 | 0.000000e+00 | 1.510000e+02 |    Inf 
14.09/14.13	o 128
14.09/14.13	c *14.1s|  4797 |  1030 | 27247 |   5.7 |  18M|  58 |   - |1929 |4941 |1929 |1704 |1403 |4702 |1859 | 0.000000e+00 | 1.280000e+02 |    Inf 
14.09/14.13	o 124
14.09/14.13	c *14.1s|  4798 |  1011 | 27247 |   5.7 |  18M|  58 |   - |1929 |4941 |1929 |1704 |1403 |4702 |1859 | 0.000000e+00 | 1.240000e+02 |    Inf 
14.39/14.42	o 116
14.39/14.42	c *14.4s|  4951 |  1024 | 28205 |   5.7 |  18M|  58 |   - |1929 |4939 |1929 |1696 |1435 |4871 |1870 | 0.000000e+00 | 1.160000e+02 |    Inf 
16.19/16.29	o 106
16.19/16.29	c *16.3s|  5987 |  1300 | 34686 |   5.8 |  20M|  58 |   - |1929 |5084 |1929 |1698 |1609 |5785 |1894 | 0.000000e+00 | 1.060000e+02 |    Inf 
20.99/21.06	o 94
20.99/21.06	c *21.0s|  8945 |  1642 | 49996 |   5.6 |  23M|  58 |   - |1929 |5666 |1929 |1700 |2167 |8476 |1933 | 0.000000e+00 | 9.400000e+01 |    Inf 
22.89/22.93	c  22.9s| 10000 |  1754 | 56215 |   5.6 |  24M|  58 |  14 |1929 |5118 |1929 |1703 |2425 |9574 |1935 | 0.000000e+00 | 9.400000e+01 |    Inf 
25.89/25.97	o 91
25.89/25.97	c *25.9s| 11895 |  2227 | 65968 |   5.5 |  27M|  58 |   - |1929 |5874 |1929 |1698 |2899 |  11k|1940 | 0.000000e+00 | 9.100000e+01 |    Inf 
26.19/26.29	o 79
26.19/26.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.19/26.29	c *26.3s| 12084 |  2126 | 67403 |   5.6 |  26M|  58 |   - |1929 |5782 |1929 |1693 |2926 |  11k|1940 | 0.000000e+00 | 7.900000e+01 |    Inf 
28.49/28.58	o 28
28.49/28.58	c *28.6s| 13284 |  1902 | 78561 |   5.9 |  24M|  58 |   - |1929 |5484 |1929 |1694 |3191 |  12k|1940 | 0.000000e+00 | 2.800000e+01 |    Inf 
30.59/30.63	o 26
30.59/30.63	c *30.6s| 14451 |  1908 | 90837 |   6.3 |  24M|  58 |   - |1929 |4909 |1929 |1693 |3391 |  14k|1940 | 0.000000e+00 | 2.600000e+01 |    Inf 
30.80/30.81	o 21
30.80/30.81	c *30.8s| 14575 |  1878 | 91558 |   6.3 |  24M|  58 |   - |1929 |4981 |1929 |1700 |3431 |  14k|1940 | 0.000000e+00 | 2.100000e+01 |    Inf 
32.19/32.27	o 20
32.19/32.27	c *32.2s| 15464 |  1865 |100079 |   6.5 |  24M|  58 |   - |1929 |5062 |1929 |1688 |3583 |  15k|1940 | 0.000000e+00 | 2.000000e+01 |    Inf 
40.29/40.34	c  40.3s| 20000 |  2024 |151095 |   7.5 |  25M|  58 |  18 |1929 |5969 |1929 |1691 |4165 |  21k|1940 | 0.000000e+00 | 2.000000e+01 |    Inf 
42.19/42.28	o 6
42.19/42.28	c *42.3s| 21038 |  1713 |163311 |   7.8 |  24M|  58 |   - |1929 |5746 |1929 |1702 |4310 |  22k|1940 | 0.000000e+00 | 6.000000e+00 |    Inf 
58.80/58.84	c  58.8s| 30000 |  1942 |275100 |   9.2 |  26M|  58 |  26 |1929 |7138 |1929 |1698 |5040 |  34k|2040 | 0.000000e+00 | 6.000000e+00 |    Inf 
78.70/78.70	c  78.7s| 40000 |  2078 |400086 |  10.0 |  29M|  58 |   - |1929 |  10k|   0 |   0 |5910 |  47k|2488 | 0.000000e+00 | 6.000000e+00 |    Inf 
97.10/97.13	c  97.1s| 50000 |  2198 |505140 |  10.1 |  32M|  58 |  22 |1929 |  13k|1929 |1701 |6781 |  61k|2769 | 0.000000e+00 | 6.000000e+00 |    Inf 
116.19/116.28	c   116s| 60000 |  2218 |614399 |  10.2 |  32M|  58 |   - |1929 |  10k|   0 |   0 |7852 |  74k|3091 | 0.000000e+00 | 6.000000e+00 |    Inf 
134.29/134.33	c   134s| 70000 |  2484 |714124 |  10.2 |  36M|  58 |   - |1929 |  15k|   0 |   0 |9567 |  87k|3345 | 0.000000e+00 | 6.000000e+00 |    Inf 
152.69/152.72	c   153s| 80000 |  2693 |817710 |  10.2 |  37M|  58 |  22 |1929 |  12k|1929 |1687 |  10k| 100k|3570 | 0.000000e+00 | 6.000000e+00 |    Inf 
172.19/172.22	c   172s| 90000 |  2896 |929596 |  10.3 |  39M|  58 |   - |1929 |  13k|   0 |   0 |  12k| 113k|3815 | 0.000000e+00 | 6.000000e+00 |    Inf 
190.39/190.48	c   190s|100000 |  3067 |  1029k|  10.3 |  40M|  58 |  19 |1929 |  13k|1929 |1693 |  13k| 126k|3988 | 0.000000e+00 | 6.000000e+00 |    Inf 
209.40/209.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
209.40/209.48	c   209s|110000 |  3302 |  1135k|  10.3 |  43M|  68 |  18 |1929 |  14k|1929 |1687 |  14k| 140k|4156 | 0.000000e+00 | 6.000000e+00 |    Inf 
228.60/228.64	c   229s|120000 |  3317 |  1242k|  10.4 |  44M|  68 |  19 |1929 |  17k|1929 |1687 |  15k| 154k|4364 | 0.000000e+00 | 6.000000e+00 |    Inf 
247.90/247.95	c   248s|130000 |  3540 |  1344k|  10.3 |  47M|  68 |  23 |1929 |  21k|1929 |1704 |  16k| 168k|4521 | 0.000000e+00 | 6.000000e+00 |    Inf 
267.10/267.19	c   267s|140000 |  3583 |  1446k|  10.3 |  48M|  75 |   - |1929 |  21k|1929 |1699 |  17k| 182k|4636 | 0.000000e+00 | 6.000000e+00 |    Inf 
286.80/286.87	c   287s|150000 |  3582 |  1548k|  10.3 |  48M|  75 |   - |1929 |  20k|1929 |1687 |  18k| 197k|4812 | 0.000000e+00 | 6.000000e+00 |    Inf 
305.80/305.89	c   306s|160000 |  3567 |  1641k|  10.3 |  48M|  75 |   - |1929 |  19k|1929 |1693 |  20k| 211k|4900 | 0.000000e+00 | 6.000000e+00 |    Inf 
324.51/324.52	c   324s|170000 |  3518 |  1734k|  10.2 |  47M|  75 |   - |1929 |  16k|1929 |1699 |  21k| 226k|5070 | 0.000000e+00 | 6.000000e+00 |    Inf 
343.40/343.42	c   343s|180000 |  3462 |  1835k|  10.2 |  46M|  75 |   - |1929 |  14k|1929 |1700 |  22k| 241k|5252 | 0.000000e+00 | 6.000000e+00 |    Inf 
360.60/360.64	c   361s|190000 |  3310 |  1923k|  10.1 |  46M|  75 |  38 |1929 |  15k|1929 |1687 |  23k| 255k|5364 | 0.000000e+00 | 6.000000e+00 |    Inf 
379.00/379.04	c   379s|200000 |  3017 |  2022k|  10.1 |  44M|  75 |   - |1929 |  13k|   0 |   0 |  24k| 269k|5516 | 0.000000e+00 | 6.000000e+00 |    Inf 
397.60/397.67	c   398s|210000 |  2510 |  2124k|  10.1 |  39M|  75 |   - |1929 |  10k|   0 |   0 |  25k| 283k|5704 | 0.000000e+00 | 6.000000e+00 |    Inf 
415.30/415.30	c   415s|220000 |  2519 |  2218k|  10.1 |  41M|  75 |  22 |1929 |  13k|1929 |1693 |  26k| 297k|5814 | 0.000000e+00 | 6.000000e+00 |    Inf 
433.70/433.79	c   434s|230000 |  2458 |  2315k|  10.1 |  40M|  75 |   8 |1929 |  13k|1929 |1687 |  27k| 310k|5932 | 0.000000e+00 | 6.000000e+00 |    Inf 
453.41/453.47	c   453s|240000 |  2341 |  2421k|  10.1 |  39M|  75 |   - |1929 |  12k|1929 |1698 |  28k| 323k|6079 | 0.000000e+00 | 6.000000e+00 |    Inf 
471.91/471.90	c   472s|250000 |  2325 |  2520k|  10.1 |  39M|  75 |  15 |1929 |  13k|1929 |1687 |  29k| 336k|6214 | 0.000000e+00 | 6.000000e+00 |    Inf 
491.71/491.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
491.71/491.75	c   492s|260000 |  2281 |  2630k|  10.1 |  40M|  75 |   - |1929 |  14k|1929 |1714 |  30k| 349k|6342 | 0.000000e+00 | 6.000000e+00 |    Inf 
510.90/510.93	c   511s|270000 |  2409 |  2727k|  10.1 |  42M|  75 |   - |1929 |  18k|   0 |   0 |  31k| 362k|6432 | 0.000000e+00 | 6.000000e+00 |    Inf 
531.41/531.44	c   531s|280000 |  2591 |  2824k|  10.1 |  44M|  75 |  14 |1929 |  21k|1929 |1701 |  31k| 376k|6521 | 0.000000e+00 | 6.000000e+00 |    Inf 
552.50/552.50	c   552s|290000 |  2763 |  2928k|  10.1 |  46M|  75 |  16 |1929 |  20k|1929 |1701 |  32k| 390k|6622 | 0.000000e+00 | 6.000000e+00 |    Inf 
572.02/572.05	c   572s|300000 |  2820 |  3021k|  10.1 |  46M|  75 |   9 |1929 |  17k|1929 |1699 |  32k| 404k|6721 | 0.000000e+00 | 6.000000e+00 |    Inf 
591.01/591.07	c   591s|310000 |  2811 |  3117k|  10.1 |  46M|  75 |   - |1929 |  14k|   0 |   0 |  33k| 417k|6811 | 0.000000e+00 | 6.000000e+00 |    Inf 
609.91/609.98	c   610s|320000 |  2753 |  3217k|  10.1 |  46M|  75 |  10 |1929 |  17k|1929 |1692 |  34k| 431k|6931 | 0.000000e+00 | 6.000000e+00 |    Inf 
628.71/628.79	c   629s|330000 |  2789 |  3309k|  10.0 |  48M|  75 |  16 |1929 |  22k|1929 |1692 |  35k| 444k|7024 | 0.000000e+00 | 6.000000e+00 |    Inf 
648.30/648.38	c   648s|340000 |  2141 |  3400k|  10.0 |  40M|  75 |   - |1929 |  11k|   0 |   0 |  36k| 459k|7135 | 0.000000e+00 | 6.000000e+00 |    Inf 
666.81/666.81	c   667s|350000 |  2286 |  3507k|  10.0 |  41M|  75 |   7 |1929 |  11k|1929 |1687 |  37k| 472k|7246 | 0.000000e+00 | 6.000000e+00 |    Inf 
685.71/685.76	c   686s|360000 |  2356 |  3615k|  10.0 |  42M|  75 |   - |1929 |  13k|   0 |   0 |  38k| 484k|7345 | 0.000000e+00 | 6.000000e+00 |    Inf 
704.02/704.01	c   704s|370000 |  2445 |  3717k|  10.0 |  43M|  75 |  23 |1929 |  15k|1929 |1687 |  40k| 498k|7444 | 0.000000e+00 | 6.000000e+00 |    Inf 
722.21/722.21	c   722s|380000 |  2585 |  3813k|  10.0 |  45M|  75 |  16 |1929 |  16k|1929 |1687 |  41k| 512k|7530 | 0.000000e+00 | 6.000000e+00 |    Inf 
740.01/740.01	c   740s|390000 |  2562 |  3904k|  10.0 |  45M|  75 |   - |1929 |  16k|1929 |1694 |  42k| 526k|7590 | 0.000000e+00 | 6.000000e+00 |    Inf 
758.92/758.96	c   759s|400000 |  2618 |  4005k|  10.0 |  46M|  75 |  27 |1929 |  17k|1929 |1687 |  43k| 540k|7686 | 0.000000e+00 | 6.000000e+00 |    Inf 
778.91/778.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
778.91/778.92	c   779s|410000 |  2628 |  4114k|  10.0 |  47M|  75 |  18 |1929 |  18k|1929 |1687 |  44k| 553k|7781 | 0.000000e+00 | 6.000000e+00 |    Inf 
799.91/799.95	c   800s|420000 |  2710 |  4222k|  10.1 |  48M|  75 |  19 |1929 |  20k|1929 |1687 |  45k| 567k|7874 | 0.000000e+00 | 6.000000e+00 |    Inf 
801.52/801.54	o 5
801.52/801.54	c * 802s|420875 |  2467 |  4230k|  10.1 |  46M|  75 |   - |1929 |  21k|1929 |1687 |  45k| 568k|7889 | 0.000000e+00 | 5.000000e+00 |    Inf 
820.71/820.73	c   821s|430000 |  2752 |  4333k|  10.1 |  49M|  75 |  26 |1929 |  25k|1929 |1687 |  46k| 580k|7956 | 0.000000e+00 | 5.000000e+00 |    Inf 
842.02/842.01	c   842s|440000 |  2924 |  4444k|  10.1 |  50M|  75 |  10 |1929 |  25k|1929 |1687 |  47k| 594k|8045 | 0.000000e+00 | 5.000000e+00 |    Inf 
863.52/863.55	c   864s|450000 |  2952 |  4558k|  10.1 |  50M|  75 |   - |1929 |  22k|   0 |   0 |  48k| 608k|8118 | 0.000000e+00 | 5.000000e+00 |    Inf 
884.72/884.74	c   885s|460000 |  2944 |  4672k|  10.2 |  50M|  75 |  23 |1929 |  22k|1929 |1687 |  49k| 622k|8209 | 0.000000e+00 | 5.000000e+00 |    Inf 
906.02/906.00	c   906s|470000 |  2857 |  4790k|  10.2 |  50M|  75 |  11 |1929 |  20k|1929 |1687 |  49k| 636k|8308 | 0.000000e+00 | 5.000000e+00 |    Inf 
926.72/926.71	c   927s|480000 |  2891 |  4901k|  10.2 |  50M|  75 |  22 |1929 |  20k|1929 |1687 |  50k| 650k|8383 | 0.000000e+00 | 5.000000e+00 |    Inf 
947.42/947.48	c   947s|490000 |  2835 |  5019k|  10.2 |  50M|  85 |   - |1929 |  19k|   0 |   0 |  51k| 664k|8469 | 0.000000e+00 | 5.000000e+00 |    Inf 
967.93/967.92	c   968s|500000 |  2785 |  5133k|  10.3 |  50M|  85 |   - |1929 |  20k|   0 |   0 |  52k| 678k|8549 | 0.000000e+00 | 5.000000e+00 |    Inf 
986.42/986.44	o 2
986.42/986.44	c * 986s|508901 |  2473 |  5240k|  10.3 |  47M|  85 |   - |1929 |  22k|1929 |1687 |  53k| 690k|8616 | 0.000000e+00 | 2.000000e+00 |    Inf 
988.92/988.91	c   989s|510000 |  2490 |  5254k|  10.3 |  47M|  85 |   - |1929 |  22k|   0 |   0 |  53k| 692k|8627 | 0.000000e+00 | 2.000000e+00 |    Inf 
1010.42/1010.47	c  1010s|520000 |  2484 |  5373k|  10.3 |  46M|  85 |  18 |1929 |  20k|1929 |1687 |  55k| 705k|8713 | 0.000000e+00 | 2.000000e+00 |    Inf 
1030.22/1030.23	c  1030s|530000 |  2367 |  5483k|  10.3 |  45M|  85 |  20 |1929 |  17k|1929 |1687 |  56k| 719k|8786 | 0.000000e+00 | 2.000000e+00 |    Inf 
1050.22/1050.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1050.22/1050.22	c  1050s|540000 |  2334 |  5597k|  10.4 |  45M|  85 |  20 |1929 |  17k|1929 |1687 |  56k| 732k|8849 | 0.000000e+00 | 2.000000e+00 |    Inf 
1071.82/1071.85	c  1072s|550000 |  2456 |  5722k|  10.4 |  47M|  85 |  29 |1929 |  22k|1929 |1687 |  58k| 746k|8927 | 0.000000e+00 | 2.000000e+00 |    Inf 
1092.92/1092.93	c  1093s|560000 |  2250 |  5834k|  10.4 |  44M|  85 |   - |1929 |  16k|   0 |   0 |  59k| 760k|8981 | 0.000000e+00 | 2.000000e+00 |    Inf 
1112.82/1112.89	c  1113s|570000 |  2244 |  5952k|  10.4 |  45M|  85 |   - |1929 |  19k|1929 |1687 |  60k| 773k|9048 | 0.000000e+00 | 2.000000e+00 |    Inf 
1133.13/1133.19	c  1133s|580000 |  2196 |  6063k|  10.5 |  44M|  85 |   - |1929 |  17k|   0 |   0 |  61k| 787k|9124 | 0.000000e+00 | 2.000000e+00 |    Inf 
1153.93/1153.91	c  1154s|590000 |  1583 |  6178k|  10.5 |  35M|  85 |  20 |1929 |8357 |1929 |1687 |  62k| 801k|9392 | 0.000000e+00 | 2.000000e+00 |    Inf 
1171.92/1171.95	c  1172s|600000 |  1310 |  6288k|  10.5 |  33M|  85 |  11 |1929 |  10k|1929 |1687 |  64k| 814k|9430 | 0.000000e+00 | 2.000000e+00 |    Inf 
1191.82/1191.84	c  1192s|610000 |  1258 |  6408k|  10.5 |  32M|  85 |   - |1929 |9530 |1929 |1687 |  65k| 827k|9471 | 0.000000e+00 | 2.000000e+00 |    Inf 
1212.13/1212.15	c  1212s|620000 |  1369 |  6541k|  10.6 |  35M|  85 |   - |1929 |  12k|   0 |   0 |  65k| 841k|9557 | 0.000000e+00 | 2.000000e+00 |    Inf 
1232.62/1232.63	c  1233s|630000 |  1327 |  6676k|  10.6 |  34M|  85 |   - |1929 |  12k|   0 |   0 |  66k| 855k|9640 | 0.000000e+00 | 2.000000e+00 |    Inf 
1252.13/1252.12	c  1252s|640000 |  1426 |  6800k|  10.6 |  35M|  85 |   - |1929 |  13k|1929 |1693 |  67k| 869k|9718 | 0.000000e+00 | 2.000000e+00 |    Inf 
1272.33/1272.35	c  1272s|650000 |  1683 |  6924k|  10.7 |  38M|  85 |  28 |1929 |  16k|1929 |1693 |  68k| 883k|9800 | 0.000000e+00 | 2.000000e+00 |    Inf 
1292.23/1292.28	c  1292s|660000 |  1721 |  7039k|  10.7 |  38M|  85 |   - |1929 |  16k|   0 |   0 |  69k| 898k|9873 | 0.000000e+00 | 2.000000e+00 |    Inf 
1312.33/1312.32	c  1312s|670000 |  1689 |  7158k|  10.7 |  38M|  85 |   - |1929 |  14k|1929 |1693 |  69k| 913k|9958 | 0.000000e+00 | 2.000000e+00 |    Inf 
1332.42/1332.41	c  1332s|680000 |  1603 |  7281k|  10.7 |  38M|  85 |  21 |1929 |  14k|1929 |1693 |  70k| 927k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1352.23/1352.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1352.23/1352.24	c  1352s|690000 |  1570 |  7405k|  10.7 |  37M|  85 |   - |1929 |  13k|1929 |1693 |  71k| 941k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1373.23/1373.23	c  1373s|700000 |  1558 |  7541k|  10.8 |  37M|  85 |   - |1929 |  14k|1929 |1701 |  72k| 955k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1393.63/1393.64	c  1394s|710000 |  1490 |  7670k|  10.8 |  37M|  85 |  22 |1929 |  14k|1929 |1693 |  73k| 970k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1413.33/1413.33	c  1413s|720000 |  1426 |  7794k|  10.8 |  36M|  85 |   - |1929 |  12k|   0 |   0 |  73k| 984k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1433.43/1433.42	c  1433s|730000 |  1390 |  7919k|  10.8 |  36M|  85 |   - |1929 |  12k|   0 |   0 |  74k| 998k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1452.53/1452.56	c  1453s|740000 |  1482 |  8031k|  10.9 |  37M|  85 |  14 |1929 |  15k|1929 |1687 |  75k|1011k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1471.93/1471.95	c  1472s|750000 |  1447 |  8137k|  10.9 |  37M|  85 |  20 |1929 |  15k|1929 |1687 |  76k|1025k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1492.03/1492.05	c  1492s|760000 |  1208 |  8257k|  10.9 |  34M|  85 |   - |1929 |  13k|   0 |   0 |  77k|1039k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1512.54/1512.56	c  1513s|770000 |  1067 |  8383k|  10.9 |  32M|  85 |  31 |1929 |  11k|1929 |1687 |  77k|1052k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1531.83/1531.83	c  1532s|780000 |   979 |  8500k|  10.9 |  32M|  85 |  26 |1929 |  12k|1929 |1693 |  78k|1066k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1551.63/1551.66	c  1552s|790000 |   996 |  8621k|  10.9 |  33M|  85 |  26 |1929 |  14k|1929 |1693 |  78k|1080k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1570.64/1570.60	c  1571s|800000 |   767 |  8732k|  10.9 |  30M|  85 |  43 |1929 |  11k|1929 |1687 |  80k|1093k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1589.44/1589.47	c  1589s|810000 |   780 |  8842k|  10.9 |  32M|  85 |  19 |1929 |  17k|1929 |1687 |  81k|1106k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1610.13/1610.14	c  1610s|820000 |   786 |  8968k|  10.9 |  32M|  85 |  22 |1929 |  15k|1929 |1708 |  83k|1120k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1630.53/1630.52	c  1630s|830000 |   811 |  9083k|  10.9 |  33M|  85 |  21 |1929 |  17k|1929 |1702 |  83k|1133k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1651.14/1651.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1651.14/1651.17	c  1651s|840000 |   848 |  9204k|  11.0 |  34M|  85 |   - |1929 |  21k|   0 |   0 |  84k|1147k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1674.43/1674.49	c  1674s|850000 |  1085 |  9339k|  11.0 |  36M|  85 |  22 |1929 |  23k|1929 |1711 |  85k|1161k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1696.93/1696.91	c  1697s|860000 |  1101 |  9457k|  11.0 |  38M|  85 |   - |1929 |  26k|1929 |1715 |  85k|1175k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1718.44/1718.47	c  1718s|870000 |  1140 |  9571k|  11.0 |  37M|  85 |  21 |1929 |  25k|1929 |1702 |  86k|1189k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1738.93/1738.92	c  1739s|880000 |  1079 |  9676k|  11.0 |  38M|  85 |   - |1929 |  27k|1929 |1702 |  87k|1203k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1761.44/1761.49	c  1761s|890000 |  1061 |  9798k|  11.0 |  38M|  85 |   - |1929 |  26k|1929 |1702 |  88k|1218k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1783.54/1783.55	c  1784s|900000 |   984 |  9917k|  11.0 |  38M|  85 |  33 |1929 |  28k|1929 |1720 |  89k|1232k|  11k| 0.000000e+00 | 2.000000e+00 |    Inf 
1790.04/1790.00	c 
1790.04/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.00	c Solving Time (sec) : 1789.98
1790.04/1790.00	c Solving Nodes      : 902618
1790.04/1790.00	c Primal Bound       : +2.00000000000000e+00 (115 solutions)
1790.04/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.00	c Gap                : infinite
1790.04/1790.01	s SATISFIABLE
1790.04/1790.01	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1790.04/1790.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.04/1790.01	v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1790.04/1790.01	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.01	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1790.04/1790.01	v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1790.04/1790.01	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 
1790.04/1790.01	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 
1790.04/1790.01	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 
1790.04/1790.01	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 
1790.04/1790.01	v x1 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.98
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705671-1278574750.wbo
1790.04/1790.01	c   Variables        : 2091 (1161 binary, 0 integer, 930 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3638 initial, 3638 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705671-1278574750.wbo
1790.04/1790.01	c   Variables        : 1929 (1080 binary, 0 integer, 849 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3356 initial, 28755 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   setppc           :       0.00          0          0          0          0          0          9          0          0
1790.04/1790.01	c   linear           :       0.06          0          0          0        954          0        192        139          0
1790.04/1790.01	c   indicator        :       0.00          0          0          0          0          0         81          0          0
1790.04/1790.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -       1686          -          -       1686          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0     501194          0        275       3141          0          0     960400
1790.04/1790.01	c   knapsack         :          1          6    4196762      18150          1      56741   10497757          0          0          0
1790.04/1790.01	c   setppc           :         53          6    4147418      18139          1      67929    2671633          0          0          0
1790.04/1790.01	c   linear           :        849+         7    4080457      18249          1      73827    4842062      89296          0          0
1790.04/1790.01	c   indicator        :        849          0    3959909      18084          1        720     847277          0          0          0
1790.04/1790.01	c   logicor          :       1604+         6    2032691       2376          1     147623    7210999          0          0          0
1790.04/1790.01	c   bounddisjunction :          0+         0     164817          0          0         19        138          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0       2376          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      35.36       0.00       0.00      35.36       0.00
1790.04/1790.01	c   knapsack         :      38.69       0.00      38.68       0.01       0.00
1790.04/1790.01	c   setppc           :      15.52       0.00      15.50       0.01       0.00
1790.04/1790.01	c   linear           :      49.39       0.00      48.93       0.47       0.00
1790.04/1790.01	c   indicator        :       6.05       0.01       5.77       0.27       0.00
1790.04/1790.01	c   logicor          :     205.00       0.00     204.97       0.03       0.00
1790.04/1790.01	c   bounddisjunction :       0.21       0.00       0.21       0.00       0.00
1790.04/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.64       7795          0        410
1790.04/1790.01	c   rootredcost      :       0.63         29          0        843
1790.04/1790.01	c   pseudoobj        :      53.09    4208535       3433     857625
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :      13.24     349572     349234    2132898       27.9      10456       25.1          -
1790.04/1790.01	c   infeasible LP    :      21.52     126217     126217     986394       44.7       1098       18.0          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00          1          1          9       26.9          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -    1235660       27.6          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          5          -          -         29          -    (maximal pool size: 481)
1790.04/1790.01	c   redcost          :      16.57     503053          0      30978          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          6          0          0          0          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.09          6          0          0       2833          0
1790.04/1790.01	c   strongcg         :       0.09          6          0          0       2833          0
1790.04/1790.01	c   cmir             :       0.01          6          0          0          0          0
1790.04/1790.01	c   flowcover        :       0.04          6          0          0          0          0
1790.04/1790.01	c   clique           :       0.00          6          0          0          0          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.07          1          0          0          0          2
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :      35.01     482922        275       3141          0          0     960400
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :       0.34       2348          0          0          0          0       4697
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       0.01          -         29
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   feaspump         :       0.02          1          0
1790.04/1790.01	c   oneopt           :       0.30         26          0
1790.04/1790.01	c   crossover        :       0.69         20          0
1790.04/1790.01	c   linesearchdiving :       0.21         86          0
1790.04/1790.01	c   guideddiving     :       0.37         87          0
1790.04/1790.01	c   coefdiving       :       0.40         87          0
1790.04/1790.01	c   pscostdiving     :       0.24         87          0
1790.04/1790.01	c   fracdiving       :       0.32         87          0
1790.04/1790.01	c   veclendiving     :       0.25         87          0
1790.04/1790.01	c   objpscostdiving  :       0.25         44          0
1790.04/1790.01	c   rootsoldiving    :       0.42         44          0
1790.04/1790.01	c   trivial          :       0.00          2          0
1790.04/1790.01	c   simplerounding   :       0.57     483115          0
1790.04/1790.01	c   zirounding       :       0.27       1000          0
1790.04/1790.01	c   rounding         :       0.86       9789          0
1790.04/1790.01	c   shifting         :       0.87       3060          0
1790.04/1790.01	c   intshifting      :       0.01          0          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.03          1          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.13          0          0
1790.04/1790.01	c   trysol           :       0.25        165         86
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     978.64     623365    9944049      15.95   10161.13
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       1.64       1246      10140       8.14    6173.94
1790.04/1790.01	c   strong branching :      30.70      11565     325491      28.14   10601.39
1790.04/1790.01	c     (at root node) :          -         12       1494     124.50          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :     902618
1790.04/1790.01	c   nodes (total)    :     902618
1790.04/1790.01	c   nodes left       :        996
1790.04/1790.01	c   max depth        :         85
1790.04/1790.01	c   max depth (total):         85
1790.04/1790.01	c   backtracks       :     112962 (12.5%)
1790.04/1790.01	c   delayed cutoffs  :      59628
1790.04/1790.01	c   repropagations   :    1693018 (4622642 domain reductions, 55759 cutoffs)
1790.04/1790.01	c   avg switch length:       5.33
1790.04/1790.01	c   switching time   :     197.70
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :        115 (29 improvements)
1790.04/1790.01	c   First Solution   : +8.72000000000000e+02   (in run 1, after 18 nodes, 1.89 seconds, depth 13, found by <relaxation>)
1790.04/1790.01	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 508901 nodes, 986.42 seconds, depth 43, found by <relaxation>)
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :        137
1790.04/1790.06	c Time complete: 1790.11.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705671-1278574750/watcher-2705671-1278574750 -o /tmp/evaluation-result-2705671-1278574750/solver-2705671-1278574750 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705671-1278574750.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: 1.92 1.97 1.67 2/173 23559
/proc/meminfo: memFree=28527348/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=12548 CPUtime=0
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 1972 0 0 0 0 0 0 0 22 0 1 0 25688141 12849152 1891 4089446400 4194304 10345943 140735070451088 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23559/statm: 3137 1891 429 1502 0 1630 0

[startup+0.089088 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 23559
/proc/meminfo: memFree=28527348/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=27508 CPUtime=0.08
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 5912 0 0 0 8 0 0 0 22 0 1 0 25688141 28168192 5477 4089446400 4194304 10345943 140735070451088 18446744073709551615 5017631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 6877 5477 542 1502 0 5370 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27508

[startup+0.101086 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 23559
/proc/meminfo: memFree=28527348/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=27508 CPUtime=0.09
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 5923 0 0 0 9 0 0 0 22 0 1 0 25688141 28168192 5488 4089446400 4194304 10345943 140735070451088 18446744073709551615 5093819 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 6877 5488 550 1502 0 5370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27508

[startup+0.301047 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 23559
/proc/meminfo: memFree=28527348/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=34556 CPUtime=0.29
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 11758 0 0 0 28 1 0 0 18 0 1 0 25688141 35385344 7078 4089446400 4194304 10345943 140735070451088 18446744073709551615 5863153 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 8639 7078 761 1502 0 7132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34556

[startup+0.700977 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 23559
/proc/meminfo: memFree=28527348/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=42496 CPUtime=0.69
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 16729 0 0 0 68 1 0 0 18 0 1 0 25688141 43515904 8580 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 10624 8580 799 1502 0 9117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42496

[startup+1.50083 s]
/proc/loadavg: 1.92 1.97 1.67 2/174 23560
/proc/meminfo: memFree=28496216/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=42700 CPUtime=1.49
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 17769 0 0 0 147 2 0 0 19 0 1 0 25688141 43724800 8612 4089446400 4194304 10345943 140735070451088 18446744073709551615 7569812 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 10675 8612 799 1502 0 9168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42700

[startup+3.10055 s]
/proc/loadavg: 1.85 1.95 1.67 2/174 23560
/proc/meminfo: memFree=28495844/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=42148 CPUtime=3.09
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 19821 0 0 0 306 3 0 0 24 0 1 0 25688141 43159552 8651 4089446400 4194304 10345943 140735070451088 18446744073709551615 4701012 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 10537 8651 799 1502 0 9030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42148

[startup+6.30095 s]
/proc/loadavg: 1.85 1.95 1.67 2/174 23560
/proc/meminfo: memFree=28493064/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=47288 CPUtime=6.29
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 31478 0 0 0 624 5 0 0 25 0 1 0 25688141 48422912 9618 4089446400 4194304 10345943 140735070451088 18446744073709551615 7569520 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 11822 9618 801 1502 0 10315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47288

[startup+12.7008 s]
/proc/loadavg: 1.80 1.94 1.67 3/179 23570
/proc/meminfo: memFree=28212216/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=56516 CPUtime=12.69
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 58911 0 0 0 1256 13 0 0 25 0 1 0 25688141 57872384 11915 4089446400 4194304 10345943 140735070451088 18446744073709551615 7079712 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 14129 11915 805 1502 0 12622 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56516

[startup+25.5005 s]
/proc/loadavg: 1.83 1.94 1.67 3/179 23570
/proc/meminfo: memFree=28178408/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=77440 CPUtime=25.49
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 94035 0 0 0 2527 22 0 0 25 0 1 0 25688141 79298560 17296 4089446400 4194304 10345943 140735070451088 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 19360 17296 805 1502 0 17853 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77440

[startup+51.1008 s]
/proc/loadavg: 1.89 1.94 1.68 3/179 23570
/proc/meminfo: memFree=28160236/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=82876 CPUtime=51.09
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 116663 0 0 0 5074 35 0 0 25 0 1 0 25688141 84865024 19258 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 20719 19258 805 1502 0 19212 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82876

[startup+102.306 s]
/proc/loadavg: 1.95 1.95 1.69 3/179 23572
/proc/meminfo: memFree=28144228/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=91812 CPUtime=102.3
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 145115 0 0 0 10168 62 0 0 25 0 1 0 25688141 94015488 21333 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 22953 21333 805 1502 0 21446 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91812

[startup+162.301 s]
/proc/loadavg: 1.98 1.95 1.71 3/179 23574
/proc/meminfo: memFree=27998312/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=98988 CPUtime=162.29
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 166087 0 0 0 16136 93 0 0 25 0 1 0 25688141 101363712 23064 4089446400 4194304 10345943 140735070451088 18446744073709551615 4967970 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 24747 23064 805 1502 0 23240 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 98988

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.73 3/179 23576
/proc/meminfo: memFree=27971728/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=105460 CPUtime=222.29
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 180370 0 0 0 22108 121 0 0 25 0 1 0 25688141 107991040 24660 4089446400 4194304 10345943 140735070451088 18446744073709551615 5083632 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 26365 24660 805 1502 0 24858 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 105460

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 23576
/proc/meminfo: memFree=27965120/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=113100 CPUtime=282.3
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 195219 0 0 0 28084 146 0 0 25 0 1 0 25688141 115814400 26218 4089446400 4194304 10345943 140735070451088 18446744073709551615 6756379 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28275 26218 805 1502 0 26768 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 113100

[startup+342.301 s]
/proc/loadavg: 2.03 1.98 1.76 3/179 23578
/proc/meminfo: memFree=27965688/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=112852 CPUtime=342.3
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 210687 0 0 0 34058 172 0 0 25 0 1 0 25688141 115560448 26515 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28213 26515 805 1502 0 26706 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112852

[startup+402.301 s]
/proc/loadavg: 2.01 1.98 1.77 3/179 23580
/proc/meminfo: memFree=27958820/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=113752 CPUtime=402.3
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 221710 0 0 0 40036 194 0 0 25 0 1 0 25688141 116482048 26857 4089446400 4194304 10345943 140735070451088 18446744073709551615 4215463 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28438 26857 805 1502 0 26931 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 113752

[startup+462.301 s]
/proc/loadavg: 2.00 1.98 1.78 3/179 23582
/proc/meminfo: memFree=27953332/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=115616 CPUtime=462.3
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 225896 0 0 0 46013 217 0 0 25 0 1 0 25688141 118390784 27037 4089446400 4194304 10345943 140735070451088 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28904 27037 805 1502 0 27397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 115616

[startup+522.301 s]
/proc/loadavg: 2.00 1.98 1.79 3/179 23584
/proc/meminfo: memFree=27949180/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=114848 CPUtime=522.31
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 228500 0 0 0 51993 238 0 0 25 0 1 0 25688141 117604352 27104 4089446400 4194304 10345943 140735070451088 18446744073709551615 4967970 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28712 27104 805 1502 0 27205 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 114848

[startup+582.301 s]
/proc/loadavg: 2.00 1.98 1.80 3/179 23584
/proc/meminfo: memFree=27960672/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=115352 CPUtime=582.31
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 236890 0 0 0 57970 261 0 0 25 0 1 0 25688141 118120448 27158 4089446400 4194304 10345943 140735070451088 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 28838 27158 805 1502 0 27331 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 115352

[startup+642.3 s]
/proc/loadavg: 2.00 1.98 1.82 3/179 23586
/proc/meminfo: memFree=27952824/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=116248 CPUtime=642.31
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 250423 0 0 0 63949 282 0 0 25 0 1 0 25688141 119037952 27361 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 29062 27361 805 1502 0 27555 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 116248

[startup+702.3 s]

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

/proc/meminfo: memFree=27945464/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121328 CPUtime=1062.32
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 319939 0 0 0 105786 446 0 0 25 0 1 0 25688141 124239872 28588 4089446400 4194304 10345943 140735070451088 18446744073709551615 5614807 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30332 28588 805 1502 0 28825 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 121328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 23600
/proc/meminfo: memFree=27944312/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=122404 CPUtime=1122.32
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 327342 0 0 0 111763 469 0 0 25 0 1 0 25688141 125341696 28719 4089446400 4194304 10345943 140735070451088 18446744073709551615 4669491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30601 28719 805 1502 0 29094 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 122404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 23600
/proc/meminfo: memFree=27919840/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121600 CPUtime=1182.32
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 337549 0 0 0 117738 494 0 0 25 0 1 0 25688141 124518400 28779 4089446400 4194304 10345943 140735070451088 18446744073709551615 6328773 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30400 28779 805 1502 0 28893 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 121600

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23602
/proc/meminfo: memFree=27905912/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=122088 CPUtime=1242.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 349074 0 0 0 123707 526 0 0 25 0 1 0 25688141 125018112 28786 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30522 28786 805 1502 0 29015 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 122088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 23604
/proc/meminfo: memFree=27887032/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121372 CPUtime=1302.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 355734 0 0 0 129683 550 0 0 25 0 1 0 25688141 124284928 28641 4089446400 4194304 10345943 140735070451088 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30343 28641 805 1502 0 28836 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 121372

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 23615
/proc/meminfo: memFree=27856796/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121920 CPUtime=1362.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 365335 0 0 0 135656 577 0 0 25 0 1 0 25688141 124846080 28640 4089446400 4194304 10345943 140735070451088 18446744073709551615 7507980 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23559/statm: 30480 28640 805 1502 0 28973 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 121920

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.90 3/179 23617
/proc/meminfo: memFree=27842004/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121588 CPUtime=1422.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 378432 0 0 0 141628 605 0 0 25 0 1 0 25688141 124506112 28701 4089446400 4194304 10345943 140735070451088 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23559/statm: 30397 28701 805 1502 0 28890 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 121588

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 23617
/proc/meminfo: memFree=27818136/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121588 CPUtime=1482.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 388007 0 0 0 147600 633 0 0 25 0 1 0 25688141 124506112 28665 4089446400 4194304 10345943 140735070451088 18446744073709551615 6120809 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23559/statm: 30397 28665 805 1502 0 28890 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 121588

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23619
/proc/meminfo: memFree=27811032/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121584 CPUtime=1542.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 397698 0 0 0 153575 658 0 0 25 0 1 0 25688141 124502016 28752 4089446400 4194304 10345943 140735070451088 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23559/statm: 30396 28752 805 1502 0 28889 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 121584

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23621
/proc/meminfo: memFree=27786936/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121600 CPUtime=1602.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 405907 0 0 0 159548 685 0 0 25 0 1 0 25688141 124518400 28681 4089446400 4194304 10345943 140735070451088 18446744073709551615 4469749 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30400 28681 805 1502 0 28893 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 121600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23623
/proc/meminfo: memFree=27773756/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=121584 CPUtime=1662.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 415457 0 0 0 165521 712 0 0 25 0 1 0 25688141 124502016 28800 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30396 28800 805 1502 0 28889 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 121584

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23625
/proc/meminfo: memFree=27742836/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=122888 CPUtime=1722.33
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 422026 0 0 0 171495 738 0 0 25 0 1 0 25688141 125837312 28870 4089446400 4194304 10345943 140735070451088 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30722 28870 805 1502 0 29215 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 122888

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23625
/proc/meminfo: memFree=27724560/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=124140 CPUtime=1782.34
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 424909 0 0 0 177472 762 0 0 25 0 1 0 25688141 127119360 28996 4089446400 4194304 10345943 140735070451088 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 31035 28996 805 1502 0 29528 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 124140

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23625
/proc/meminfo: memFree=27719600/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=124960 CPUtime=1785.53
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 424948 0 0 0 177790 763 0 0 25 0 1 0 25688141 127959040 29035 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 31240 29035 805 1502 0 29733 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 124960

[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23626
/proc/meminfo: memFree=27719720/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=124960 CPUtime=1787.13
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 424948 0 0 0 177949 764 0 0 25 0 1 0 25688141 127959040 29035 4089446400 4194304 10345943 140735070451088 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 31240 29035 805 1502 0 29733 0
Current children cumulated CPU time (s) 1787.13
Current children cumulated vsize (KiB) 124960

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23626
/proc/meminfo: memFree=27722076/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=123368 CPUtime=1788.74
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 425007 0 0 0 178109 765 0 0 25 0 1 0 25688141 126328832 28986 4089446400 4194304 10345943 140735070451088 18446744073709551615 4697161 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30842 28986 805 1502 0 29335 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 123368

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23626
/proc/meminfo: memFree=27722076/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=123380 CPUtime=1789.53
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 425052 0 0 0 178188 765 0 0 25 0 1 0 25688141 126341120 29007 4089446400 4194304 10345943 140735070451088 18446744073709551615 7546994 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30845 29007 805 1502 0 29338 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 123380

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23626
/proc/meminfo: memFree=27722076/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=123380 CPUtime=1789.93
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 425055 0 0 0 178228 765 0 0 25 0 1 0 25688141 126341120 29010 4089446400 4194304 10345943 140735070451088 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30845 29010 805 1502 0 29338 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 123380

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23626
/proc/meminfo: memFree=27722076/32951124 swapFree=67111528/67111528
[pid=23559] ppid=23557 vsize=123380 CPUtime=1790.04
/proc/23559/stat : 23559 (pbscip.linux.x8) R 23557 23559 23207 0 -1 4202496 425055 0 0 0 178238 766 0 0 25 0 1 0 25688141 126341120 29010 4089446400 4194304 10345943 140735070451088 18446744073709551615 7522903 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23559/statm: 30845 29010 805 1502 0 29338 0
Current children cumulated CPU time (s) 1790.04
Current children cumulated vsize (KiB) 123380

Child status: 0
Real time (s): 1790.07
CPU time (s): 1790.11
CPU user time (s): 1782.45
CPU system time (s): 7.66483
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 125828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.45
system time used= 7.66483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425100
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= 3
involuntary context switches= 5395

runsolver used 3.00954 second user time and 6.40702 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-08 09:39:10
IDJOB=2705671
IDBENCH=78978
IDSOLVER=1214
FILE ID=node138/2705671-1278574750
PBS_JOBID= 11240179
Free space on /tmp= 73612 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.1900552288--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705671-1278574750/watcher-2705671-1278574750 -o /tmp/evaluation-result-2705671-1278574750/solver-2705671-1278574750 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705671-1278574750.wbo -t 1800 -m 3800

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=2027628700

node138.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.845
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.69
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.845
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	: 5266.27
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.845
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.845
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.73
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.845
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.845
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.845
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.82
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.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28527876 kB
Buffers:        155968 kB
Cached:        4035036 kB
SwapCached:          0 kB
Active:        1652072 kB
Inactive:      2601520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28527876 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13004 kB
Writeback:           0 kB
AnonPages:       62712 kB
Mapped:          14428 kB
Slab:           105464 kB
PageTables:       4456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181356 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 /tmp at the end= 73584 MiB
End job on node138 at 2010-07-08 10:09:00