Trace number 2705643

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.22 1790.19

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
MD5SUM87777454fd73e41b31dd9b36586c9c7c
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 benchmark236.741
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 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-2705643-1278572964.wbo>
0.00/0.03	c original problem has 3957 variables (2094 bin, 0 int, 1863 impl, 0 cont) and 4571 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.04/0.05	c presolving:
0.04/0.06	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.09	c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.08/0.10	c (round 3) 51 del vars, 149 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.08/0.11	c (round 4) 128 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.08/0.11	c (round 5) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.08/0.12	c (round 6) 132 del vars, 166 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.08/0.17	c    (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.17	c presolving (7 rounds):
0.08/0.17	c  132 deleted vars, 166 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.08/0.17	c  3714 implications, 5 cliques
0.08/0.17	c presolved problem has 3825 variables (2028 bin, 0 int, 1797 impl, 0 cont) and 4405 constraints
0.08/0.17	c      55 constraints of type <setppc>
0.08/0.17	c    1797 constraints of type <linear>
0.08/0.17	c    1797 constraints of type <indicator>
0.08/0.17	c     756 constraints of type <logicor>
0.08/0.17	c transformed objective value is always integral (scale: 1)
0.08/0.17	c Presolving Time: 0.13
0.08/0.17	c - non default parameters ----------------------------------------------------------------------
0.08/0.17	c # SCIP version 1.2.1.3
0.08/0.17	c 
0.08/0.17	c # frequency for displaying node information lines
0.08/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.17	c display/freq = 10000
0.08/0.17	c 
0.08/0.17	c # maximal time in seconds to run
0.08/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.17	c limits/time = 1789.98
0.08/0.17	c 
0.08/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.17	c limits/memory = 3420
0.08/0.17	c 
0.08/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.17	c # [type: int, range: [1,2], default: 1]
0.08/0.17	c timing/clocktype = 2
0.08/0.17	c 
0.08/0.17	c # should presolving try to simplify inequalities
0.08/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.17	c constraints/linear/simplifyinequalities = TRUE
0.08/0.17	c 
0.08/0.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.17	c constraints/indicator/addCouplingCons = TRUE
0.08/0.17	c 
0.08/0.17	c # should presolving try to simplify knapsacks
0.08/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.17	c 
0.08/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.17	c separating/rapidlearning/freq = 0
0.08/0.17	c 
0.08/0.17	c -----------------------------------------------------------------------------------------------
0.08/0.17	c start solving
0.08/0.17	c 
0.08/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.08/0.18	c   0.1s|     1 |     0 |     6 |     - |  14M|   0 |   0 |3825 |4405 |3825 | 811 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    47 |     - |  14M|   0 |  36 |3825 |4405 |3825 | 829 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |    79 |     - |  14M|   0 |  45 |3825 |4405 |3825 | 865 |  54 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.38	c   0.4s|     1 |     0 |   175 |     - |  14M|   0 |  32 |3825 |4405 |3825 | 880 |  69 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   285 |     - |  15M|   0 |  50 |3825 |4405 |3825 | 903 |  92 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   441 |     - |  15M|   0 |  53 |3825 |4405 |3825 | 926 | 115 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |   559 |     - |  15M|   0 |  58 |3825 |4405 |3825 | 933 | 122 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.22	c   1.2s|     1 |     2 |   559 |     - |  15M|   0 |  58 |3825 |4405 |3825 | 933 | 122 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
5.39/5.50	o 90811
5.39/5.50	c y 5.5s|    33 |    32 |  2726 |  67.7 |  15M|  17 |   - |3825 |4405 |   0 |   0 | 177 |   0 | 455 | 0.000000e+00 | 9.081100e+04 |    Inf 
22.39/22.42	c  22.4s| 10000 | 10001 | 12911 |   1.2 |  35M|1135 |   0 |3825 |4405 |3825 | 946 |1500 |   0 |1018 | 0.000000e+00 | 9.081100e+04 |    Inf 
36.69/36.78	o 410
36.69/36.78	c *36.8s| 19994 | 11663 | 20321 |   1.0 |  39M|1465 |   - |3825 |4411 |3825 | 977 |2229 |   6 |1116 | 0.000000e+00 | 4.100000e+02 |    Inf 
36.79/36.81	c  36.8s| 20000 | 11669 | 20471 |   1.0 |  39M|1465 |   0 |3825 |4411 |3825 | 977 |2238 |   6 |1116 | 0.000000e+00 | 4.100000e+02 |    Inf 
45.69/45.78	o 384
45.69/45.78	c *45.8s| 26593 | 17579 | 23009 |   0.8 |  51M|1465 |   - |3825 |4723 |3825 | 980 |2551 | 318 |1133 | 0.000000e+00 | 3.840000e+02 |    Inf 
46.29/46.36	o 375
46.29/46.36	c *46.3s| 26889 | 17467 | 23190 |   0.8 |  51M|1465 |   - |3825 |4792 |3825 | 985 |2567 | 387 |1133 | 0.000000e+00 | 3.750000e+02 |    Inf 
46.59/46.64	o 361
46.59/46.64	c *46.6s| 27073 | 17171 | 23264 |   0.8 |  51M|1465 |   - |3825 |4793 |3825 | 980 |2569 | 388 |1133 | 0.000000e+00 | 3.610000e+02 |    Inf 
47.09/47.10	o 360
47.09/47.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.09/47.10	c *47.1s| 27251 | 17261 | 24057 |   0.9 |  52M|1465 |   - |3825 |4990 |3825 | 984 |2642 | 585 |1134 | 0.000000e+00 | 3.600000e+02 |    Inf 
48.99/49.03	o 347
48.99/49.03	c *49.0s| 28059 | 17461 | 27962 |   1.0 |  54M|1465 |   - |3825 |5325 |3825 | 978 |3162 | 959 |1164 | 0.000000e+00 | 3.470000e+02 |    Inf 
49.19/49.23	o 340
49.19/49.23	c *49.2s| 28140 | 17246 | 28059 |   1.0 |  54M|1465 |   - |3825 |5389 |3825 | 987 |3177 |1034 |1164 | 0.000000e+00 | 3.400000e+02 |    Inf 
49.29/49.33	o 328
49.29/49.33	c *49.3s| 28273 | 16820 | 28059 |   1.0 |  53M|1465 |   - |3825 |5389 |3825 | 987 |3177 |1034 |1164 | 0.000000e+00 | 3.280000e+02 |    Inf 
52.99/53.06	o 311
52.99/53.06	c *53.0s| 29596 | 17009 | 37910 |   1.3 |  55M|1465 |   - |3825 |6149 |3825 | 943 |4445 |1946 |1196 | 0.000000e+00 | 3.110000e+02 |    Inf 
53.59/53.61	o 310
53.59/53.61	c *53.6s| 29771 | 17094 | 39800 |   1.3 |  56M|1465 |   - |3825 |6228 |3825 | 954 |4685 |2051 |1203 | 0.000000e+00 | 3.100000e+02 |    Inf 
53.59/53.64	o 304
53.59/53.64	c *53.6s| 29783 | 16863 | 39811 |   1.3 |  55M|1465 |   - |3825 |6228 |3825 | 954 |4685 |2051 |1203 | 0.000000e+00 | 3.040000e+02 |    Inf 
53.69/53.70	o 299
53.69/53.70	c *53.7s| 29799 | 16720 | 40039 |   1.3 |  55M|1465 |   - |3825 |6230 |3825 | 958 |4714 |2056 |1204 | 0.000000e+00 | 2.990000e+02 |    Inf 
53.69/53.72	o 260
53.69/53.72	c *53.7s| 29801 | 15707 | 40046 |   1.3 |  52M|1465 |   - |3825 |6230 |3825 | 958 |4714 |2056 |1204 | 0.000000e+00 | 2.600000e+02 |    Inf 
53.69/53.76	o 247
53.69/53.76	c *53.7s| 29814 | 15306 | 40263 |   1.3 |  51M|1465 |   - |3825 |6228 |3825 | 946 |4731 |2063 |1204 | 0.000000e+00 | 2.470000e+02 |    Inf 
53.89/53.97	o 242
53.89/53.97	c *53.9s| 29884 | 15181 | 41007 |   1.4 |  51M|1465 |   - |3825 |6255 |3825 | 968 |4802 |2108 |1204 | 0.000000e+00 | 2.420000e+02 |    Inf 
54.19/54.27	c  54.2s| 30000 | 15244 | 41693 |   1.4 |  52M|1465 |   0 |3825 |6312 |3825 | 955 |4878 |2192 |1204 | 0.000000e+00 | 2.420000e+02 |    Inf 
54.79/54.84	o 224
54.79/54.84	c *54.8s| 30162 | 14566 | 43215 |   1.4 |  50M|1465 |   - |3825 |6382 |3825 | 945 |4995 |2301 |1226 | 0.000000e+00 | 2.240000e+02 |    Inf 
57.59/57.61	o 209
57.59/57.61	c *57.6s| 31028 | 14205 | 51108 |   1.6 |  51M|1465 |   - |3825 |6774 |3825 | 969 |5749 |2939 |1274 | 0.000000e+00 | 2.090000e+02 |    Inf 
58.09/58.11	o 161
58.09/58.11	c *58.1s| 31193 | 11740 | 52585 |   1.7 |  47M|1465 |   - |3825 |6844 |3825 | 980 |5949 |3025 |1276 | 0.000000e+00 | 1.610000e+02 |    Inf 
58.20/58.28	o 118
58.20/58.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
58.20/58.28	c *58.3s| 31277 |  8408 | 52637 |   1.7 |  40M|1465 |   - |3825 |6857 |3825 | 978 |5961 |3040 |1276 | 0.000000e+00 | 1.180000e+02 |    Inf 
58.49/58.53	o 99
58.49/58.53	c *58.5s| 31392 |  6935 | 52744 |   1.7 |  38M|1465 |   - |3825 |6954 |3825 | 978 |5965 |3139 |1276 | 0.000000e+00 | 9.900000e+01 |    Inf 
59.40/59.41	o 86
59.40/59.41	c *59.4s| 31667 |  5643 | 54492 |   1.7 |  36M|1465 |   - |3825 |6944 |3825 | 961 |6047 |3326 |1284 | 0.000000e+00 | 8.600000e+01 |    Inf 
59.40/59.47	o 79
59.40/59.47	c *59.4s| 31676 |  4961 | 54642 |   1.7 |  35M|1465 |   - |3825 |6666 |3825 | 966 |6072 |3331 |1284 | 0.000000e+00 | 7.900000e+01 |    Inf 
59.69/59.76	o 76
59.69/59.76	c *59.7s| 31751 |  4698 | 55465 |   1.7 |  35M|1465 |   - |3825 |6478 |3825 | 960 |6146 |3382 |1284 | 0.000000e+00 | 7.600000e+01 |    Inf 
59.89/59.91	o 72
59.89/59.91	c *59.9s| 31780 |  4358 | 55898 |   1.7 |  34M|1465 |   - |3825 |6352 |3825 | 934 |6177 |3410 |1284 | 0.000000e+00 | 7.200000e+01 |    Inf 
60.09/60.10	o 70
60.09/60.10	c *60.1s| 31836 |  4183 | 56378 |   1.8 |  34M|1465 |   - |3825 |6271 |3825 | 950 |6224 |3444 |1284 | 0.000000e+00 | 7.000000e+01 |    Inf 
60.29/60.33	o 68
60.29/60.33	c *60.3s| 31886 |  4022 | 57232 |   1.8 |  34M|1465 |   - |3825 |6161 |3825 | 959 |6296 |3493 |1286 | 0.000000e+00 | 6.800000e+01 |    Inf 
60.29/60.38	o 61
60.29/60.38	c *60.4s| 31903 |  3423 | 57347 |   1.8 |  33M|1465 |   - |3825 |6106 |3825 | 961 |6307 |3493 |1286 | 0.000000e+00 | 6.100000e+01 |    Inf 
60.29/60.39	o 48
60.29/60.39	c *60.4s| 31904 |  2178 | 57356 |   1.8 |  29M|1465 |   - |3825 |6106 |3825 | 961 |6307 |3493 |1286 | 0.000000e+00 | 4.800000e+01 |    Inf 
74.99/75.07	o 27
74.99/75.07	c *75.0s| 38327 |  1612 | 93724 |   2.4 |  34M|1465 |   - |3825 |7363 |3825 | 952 |8859 |  10k|1386 | 0.000000e+00 | 2.700000e+01 |    Inf 
77.29/77.36	o 14
77.29/77.36	c *77.3s| 39519 |   990 | 99969 |   2.5 |  31M|1465 |   - |3825 |6388 |3825 | 952 |9319 |  12k|1386 | 0.000000e+00 | 1.400000e+01 |    Inf 
78.19/78.26	c  78.2s| 40000 |   968 |102421 |   2.5 |  31M|1465 |  17 |3825 |5788 |3825 | 951 |9445 |  12k|1413 | 0.000000e+00 | 1.400000e+01 |    Inf 
94.99/95.00	c  95.0s| 50000 |  1108 |152544 |   3.0 |  34M|1465 |   - |3825 |7930 |   0 |   0 |  11k|  24k|1469 | 0.000000e+00 | 1.400000e+01 |    Inf 
111.89/111.91	c   112s| 60000 |  1160 |201238 |   3.3 |  36M|1465 |   - |3825 |8688 |   0 |   0 |  13k|  37k|1469 | 0.000000e+00 | 1.400000e+01 |    Inf 
128.79/128.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.79/128.86	c   129s| 70000 |  1237 |244030 |   3.5 |  38M|1465 |   - |3825 |9918 |   0 |   0 |  15k|  51k|1469 | 0.000000e+00 | 1.400000e+01 |    Inf 
146.39/146.45	c   146s| 80000 |  1241 |293276 |   3.7 |  38M|1465 |   1 |3825 |9962 |3825 | 937 |  17k|  63k|1469 | 0.000000e+00 | 1.400000e+01 |    Inf 
164.09/164.19	c   164s| 90000 |  1298 |341252 |   3.8 |  40M|1465 |   1 |3825 |  12k|3825 | 967 |  19k|  76k|1469 | 0.000000e+00 | 1.400000e+01 |    Inf 
180.40/180.41	o 9
180.40/180.41	c * 180s| 98773 |  1101 |388551 |   3.9 |  39M|1465 |   - |3825 |  10k|3825 | 971 |  22k|  88k|1536 | 0.000000e+00 | 9.000000e+00 |    Inf 
182.39/182.49	c   182s|100000 |  1115 |395254 |   3.9 |  39M|1465 |  16 |3825 |  11k|3825 | 979 |  22k|  90k|1536 | 0.000000e+00 | 9.000000e+00 |    Inf 
183.99/184.04	o 7
183.99/184.04	c * 184s|100790 |  1051 |401007 |   4.0 |  39M|1465 |   - |3825 |  11k|3825 |1001 |  22k|  91k|1561 | 0.000000e+00 | 7.000000e+00 |    Inf 
199.99/200.05	c   200s|110000 |  1049 |449957 |   4.1 |  39M|1465 |   - |3825 |  11k|   0 |   0 |  24k| 102k|1601 | 0.000000e+00 | 7.000000e+00 |    Inf 
211.20/211.23	o 6
211.20/211.23	c * 211s|116465 |   964 |483482 |   4.1 |  39M|1465 |   - |3825 |  12k|3825 | 995 |  25k| 111k|1683 | 0.000000e+00 | 6.000000e+00 |    Inf 
217.20/217.27	c   217s|120000 |   976 |503019 |   4.2 |  39M|1465 |  11 |3825 |  12k|3825 | 974 |  26k| 115k|1700 | 0.000000e+00 | 6.000000e+00 |    Inf 
234.30/234.37	c   234s|130000 |   983 |549350 |   4.2 |  41M|1465 |  16 |3825 |  14k|3825 | 986 |  28k| 128k|1793 | 0.000000e+00 | 6.000000e+00 |    Inf 
252.39/252.40	c   252s|140000 |  1062 |604542 |   4.3 |  41M|1465 |   1 |3825 |  11k|3825 | 968 |  30k| 141k|1895 | 0.000000e+00 | 6.000000e+00 |    Inf 
270.69/270.77	c   271s|150000 |  1093 |660324 |   4.4 |  42M|1465 |   - |3825 |  13k|   0 |   0 |  32k| 154k|2032 | 0.000000e+00 | 6.000000e+00 |    Inf 
290.10/290.17	c   290s|160000 |  1106 |719209 |   4.5 |  43M|1465 |  24 |3825 |  15k|3825 | 997 |  34k| 168k|2130 | 0.000000e+00 | 6.000000e+00 |    Inf 
310.00/310.02	c   310s|170000 |  1105 |776176 |   4.6 |  44M|1465 |   - |3825 |  14k|   0 |   0 |  36k| 181k|2240 | 0.000000e+00 | 6.000000e+00 |    Inf 
329.10/329.15	c   329s|180000 |  1150 |827056 |   4.6 |  44M|1465 |   - |3825 |  15k|   0 |   0 |  38k| 195k|2321 | 0.000000e+00 | 6.000000e+00 |    Inf 
348.50/348.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
348.50/348.57	c   349s|190000 |  1097 |882945 |   4.6 |  43M|1465 |   - |3825 |  11k|   0 |   0 |  40k| 209k|2466 | 0.000000e+00 | 6.000000e+00 |    Inf 
366.21/366.27	c   366s|200000 |  1248 |930672 |   4.7 |  46M|1465 |  16 |3825 |  16k|3825 | 971 |  41k| 222k|2539 | 0.000000e+00 | 6.000000e+00 |    Inf 
385.59/385.61	c   386s|210000 |  1285 |981440 |   4.7 |  47M|1465 |  16 |3825 |  16k|3825 | 965 |  43k| 235k|2599 | 0.000000e+00 | 6.000000e+00 |    Inf 
405.39/405.46	c   405s|220000 |  1342 |  1032k|   4.7 |  47M|1465 |   - |3825 |  15k|   0 |   0 |  45k| 250k|2695 | 0.000000e+00 | 6.000000e+00 |    Inf 
420.21/420.22	o 5
420.21/420.22	c * 420s|227204 |  1302 |  1076k|   4.7 |  47M|1465 |   - |3825 |  16k|3825 | 972 |  46k| 259k|2768 | 0.000000e+00 | 5.000000e+00 |    Inf 
425.70/425.73	c   426s|230000 |  1308 |  1091k|   4.7 |  47M|1465 |   - |3825 |  16k|   0 |   0 |  47k| 263k|2816 | 0.000000e+00 | 5.000000e+00 |    Inf 
444.80/444.89	c   445s|240000 |  1357 |  1144k|   4.8 |  47M|1465 |  14 |3825 |  16k|3825 | 960 |  49k| 277k|2892 | 0.000000e+00 | 5.000000e+00 |    Inf 
463.90/463.91	c   464s|250000 |  1357 |  1196k|   4.8 |  49M|1465 |   7 |3825 |  17k|3825 | 984 |  50k| 290k|2953 | 0.000000e+00 | 5.000000e+00 |    Inf 
483.20/483.25	c   483s|260000 |  1357 |  1245k|   4.8 |  49M|1465 |   2 |3825 |  17k|3825 | 974 |  52k| 304k|3011 | 0.000000e+00 | 5.000000e+00 |    Inf 
503.30/503.34	c   503s|270000 |  1306 |  1294k|   4.8 |  49M|1465 |   1 |3825 |  18k|3825 | 948 |  55k| 318k|3089 | 0.000000e+00 | 5.000000e+00 |    Inf 
523.20/523.28	c   523s|280000 |  1215 |  1346k|   4.8 |  46M|1465 |  17 |3825 |  10k|3825 | 969 |  57k| 331k|3420 | 0.000000e+00 | 5.000000e+00 |    Inf 
534.80/534.88	o 4
534.80/534.88	c * 535s|286515 |  1106 |  1385k|   4.8 |  45M|1465 |   - |3825 |  14k|3825 | 993 |  58k| 339k|3420 | 0.000000e+00 | 4.000000e+00 |    Inf 
541.60/541.66	c   542s|290000 |  1137 |  1406k|   4.8 |  45M|1465 |   8 |3825 |  12k|3825 | 972 |  59k| 344k|3457 | 0.000000e+00 | 4.000000e+00 |    Inf 
560.40/560.40	c   560s|300000 |  1141 |  1458k|   4.9 |  46M|1465 |   7 |3825 |  13k|3825 | 990 |  61k| 357k|3539 | 0.000000e+00 | 4.000000e+00 |    Inf 
579.00/579.04	c   579s|310000 |  1048 |  1513k|   4.9 |  44M|1465 |  15 |3825 |  10k|3825 | 972 |  63k| 370k|3634 | 0.000000e+00 | 4.000000e+00 |    Inf 
598.41/598.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
598.41/598.49	c   598s|320000 |  1129 |  1570k|   4.9 |  46M|1465 |   5 |3825 |  14k|3825 | 965 |  65k| 384k|3712 | 0.000000e+00 | 4.000000e+00 |    Inf 
617.11/617.17	c   617s|330000 |   931 |  1623k|   4.9 |  42M|1465 |   - |3825 |9870 |   0 |   0 |  67k| 397k|3797 | 0.000000e+00 | 4.000000e+00 |    Inf 
633.61/633.64	c   634s|340000 |   984 |  1669k|   4.9 |  44M|1465 |  16 |3825 |  12k|3825 | 998 |  69k| 411k|3858 | 0.000000e+00 | 4.000000e+00 |    Inf 
651.00/651.05	c   651s|350000 |   974 |  1719k|   4.9 |  43M|1465 |   - |3825 |9011 |   0 |   0 |  71k| 424k|3949 | 0.000000e+00 | 4.000000e+00 |    Inf 
669.30/669.32	c   669s|360000 |   979 |  1775k|   4.9 |  44M|1465 |   5 |3825 |  12k|3825 | 958 |  73k| 436k|4030 | 0.000000e+00 | 4.000000e+00 |    Inf 
687.21/687.29	c   687s|370000 |   894 |  1822k|   4.9 |  44M|1465 |   - |3825 |  13k|   0 |   0 |  75k| 449k|4114 | 0.000000e+00 | 4.000000e+00 |    Inf 
693.11/693.10	o 2
693.11/693.10	c * 693s|373123 |   745 |  1838k|   4.9 |  41M|1465 |   - |3825 |  14k|3825 |1004 |  75k| 453k|4118 | 0.000000e+00 | 2.000000e+00 |    Inf 
706.30/706.39	c   706s|380000 |   750 |  1880k|   4.9 |  42M|1465 |   - |3825 |  16k|   0 |   0 |  77k| 462k|4211 | 0.000000e+00 | 2.000000e+00 |    Inf 
725.91/725.99	c   726s|390000 |   762 |  1930k|   4.9 |  43M|1465 |   - |3825 |  20k|   0 |   0 |  80k| 475k|4274 | 0.000000e+00 | 2.000000e+00 |    Inf 
747.61/747.65	c   748s|400000 |   875 |  1981k|   5.0 |  45M|1465 |   - |3825 |  24k|   0 |   0 |  82k| 488k|4324 | 0.000000e+00 | 2.000000e+00 |    Inf 
770.31/770.38	c   770s|410000 |   723 |  2031k|   5.0 |  43M|1465 |   1 |3825 |  20k|3825 | 968 |  84k| 501k|4381 | 0.000000e+00 | 2.000000e+00 |    Inf 
792.21/792.25	c   792s|420000 |   616 |  2090k|   5.0 |  41M|1465 |   1 |3825 |  15k|3825 | 963 |  87k| 514k|4443 | 0.000000e+00 | 2.000000e+00 |    Inf 
810.51/810.51	c   810s|430000 |   570 |  2144k|   5.0 |  41M|1465 |  13 |3825 |  15k|3825 | 979 |  89k| 528k|4505 | 0.000000e+00 | 2.000000e+00 |    Inf 
829.91/829.93	c   830s|440000 |   567 |  2197k|   5.0 |  42M|1465 |  17 |3825 |  20k|3825 | 992 |  91k| 541k|4565 | 0.000000e+00 | 2.000000e+00 |    Inf 
850.81/850.83	c   851s|450000 |   604 |  2250k|   5.0 |  44M|1465 |  25 |3825 |  24k|3825 | 992 |  94k| 554k|4624 | 0.000000e+00 | 2.000000e+00 |    Inf 
873.70/873.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.70/873.73	c   874s|460000 |   616 |  2298k|   5.0 |  45M|1465 |  25 |3825 |  27k|3825 | 976 |  96k| 568k|4674 | 0.000000e+00 | 2.000000e+00 |    Inf 
898.30/898.33	c   898s|470000 |   641 |  2352k|   5.0 |  44M|1465 |   1 |3825 |  23k|3825 | 988 |  98k| 582k|4746 | 0.000000e+00 | 2.000000e+00 |    Inf 
921.60/921.66	c   922s|480000 |   787 |  2413k|   5.0 |  44M|1465 |   1 |3825 |  19k|3825 | 946 | 100k| 594k|4859 | 0.000000e+00 | 2.000000e+00 |    Inf 
942.81/942.86	c   943s|490000 |   811 |  2464k|   5.0 |  46M|1465 |   - |3825 |  20k|   0 |   0 | 102k| 608k|4895 | 0.000000e+00 | 2.000000e+00 |    Inf 
963.41/963.45	c   963s|500000 |   855 |  2509k|   5.0 |  48M|1465 |   - |3825 |  24k|   0 |   0 | 103k| 622k|4954 | 0.000000e+00 | 2.000000e+00 |    Inf 
984.41/984.43	c   984s|510000 |   845 |  2557k|   5.0 |  48M|1465 |  21 |3825 |  22k|3825 | 958 | 105k| 636k|5002 | 0.000000e+00 | 2.000000e+00 |    Inf 
1006.81/1006.85	c  1007s|520000 |   860 |  2614k|   5.0 |  48M|1465 |   - |3825 |  21k|   0 |   0 | 107k| 650k|5053 | 0.000000e+00 | 2.000000e+00 |    Inf 
1028.91/1028.99	c  1029s|530000 |   869 |  2667k|   5.0 |  49M|1465 |   7 |3825 |  24k|3825 | 973 | 109k| 664k|5106 | 0.000000e+00 | 2.000000e+00 |    Inf 
1050.41/1050.46	c  1050s|540000 |   873 |  2718k|   5.0 |  49M|1465 |  14 |3825 |  22k|3825 | 963 | 111k| 677k|5139 | 0.000000e+00 | 2.000000e+00 |    Inf 
1072.11/1072.12	c  1072s|550000 |   886 |  2770k|   5.0 |  49M|1465 |  14 |3825 |  21k|3825 | 970 | 112k| 690k|5174 | 0.000000e+00 | 2.000000e+00 |    Inf 
1094.21/1094.21	c  1094s|560000 |   857 |  2823k|   5.0 |  50M|1465 |   - |3825 |  23k|   0 |   0 | 114k| 703k|5229 | 0.000000e+00 | 2.000000e+00 |    Inf 
1116.91/1116.98	c  1117s|570000 |   861 |  2880k|   5.1 |  51M|1465 |  22 |3825 |  25k|3825 | 963 | 116k| 716k|5294 | 0.000000e+00 | 2.000000e+00 |    Inf 
1139.31/1139.32	c  1139s|580000 |   830 |  2926k|   5.0 |  51M|1465 |   - |3825 |  26k|   0 |   0 | 117k| 729k|5347 | 0.000000e+00 | 2.000000e+00 |    Inf 
1160.61/1160.62	c  1161s|590000 |   856 |  2972k|   5.0 |  50M|1465 |   - |3825 |  23k|   0 |   0 | 119k| 742k|5353 | 0.000000e+00 | 2.000000e+00 |    Inf 
1181.11/1181.20	c  1181s|600000 |   968 |  3028k|   5.0 |  53M|1465 |   - |3825 |  26k|3825 | 968 | 121k| 755k|5412 | 0.000000e+00 | 2.000000e+00 |    Inf 
1201.71/1201.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1201.71/1201.75	c  1202s|610000 |  1001 |  3079k|   5.0 |  53M|1465 |   - |3825 |  26k|   0 |   0 | 123k| 768k|5480 | 0.000000e+00 | 2.000000e+00 |    Inf 
1207.21/1207.27	o 1
1207.21/1207.27	c *1207s|612742 |   990 |  3095k|   5.1 |  53M|1465 |   - |3825 |  28k|3825 | 956 | 124k| 772k|5482 | 0.000000e+00 | 1.000000e+00 |    Inf 
1221.71/1221.74	c  1222s|620000 |  1067 |  3136k|   5.1 |  53M|1465 |   1 |3825 |  26k|3825 | 966 | 125k| 782k|5535 | 0.000000e+00 | 1.000000e+00 |    Inf 
1241.82/1241.85	c  1242s|630000 |  1115 |  3186k|   5.1 |  55M|1465 |   1 |3825 |  27k|3825 | 975 | 127k| 796k|5563 | 0.000000e+00 | 1.000000e+00 |    Inf 
1262.01/1262.02	c  1262s|640000 |  1127 |  3238k|   5.1 |  55M|1465 |  22 |3825 |  27k|3825 | 945 | 128k| 810k|5615 | 0.000000e+00 | 1.000000e+00 |    Inf 
1284.32/1284.35	c  1284s|650000 |  1129 |  3289k|   5.1 |  56M|1465 |   - |3825 |  27k|   0 |   0 | 130k| 822k|5679 | 0.000000e+00 | 1.000000e+00 |    Inf 
1304.51/1304.54	c  1305s|660000 |  1170 |  3341k|   5.1 |  57M|1465 |   - |3825 |  30k|   0 |   0 | 132k| 836k|5734 | 0.000000e+00 | 1.000000e+00 |    Inf 
1327.21/1327.25	c  1327s|670000 |  1201 |  3393k|   5.1 |  58M|1465 |  18 |3825 |  30k|3825 | 945 | 133k| 849k|5754 | 0.000000e+00 | 1.000000e+00 |    Inf 
1349.11/1349.11	c  1349s|680000 |  1238 |  3449k|   5.1 |  59M|1465 |   - |3825 |  31k|   0 |   0 | 135k| 863k|5820 | 0.000000e+00 | 1.000000e+00 |    Inf 
1370.41/1370.49	c  1370s|690000 |  1252 |  3498k|   5.1 |  60M|1465 |   - |3825 |  34k|   0 |   0 | 136k| 877k|5866 | 0.000000e+00 | 1.000000e+00 |    Inf 
1393.51/1393.50	c  1393s|700000 |  1230 |  3550k|   5.1 |  61M|1465 |   - |3825 |  35k|   0 |   0 | 138k| 891k|5911 | 0.000000e+00 | 1.000000e+00 |    Inf 
1417.11/1417.14	c  1417s|710000 |  1292 |  3603k|   5.1 |  61M|1465 |  17 |3825 |  33k|3825 | 937 | 140k| 904k|5962 | 0.000000e+00 | 1.000000e+00 |    Inf 
1439.42/1439.44	c  1439s|720000 |  1363 |  3655k|   5.1 |  63M|1465 |  11 |3825 |  37k|3825 | 970 | 142k| 918k|6008 | 0.000000e+00 | 1.000000e+00 |    Inf 
1461.82/1461.81	c  1462s|730000 |  1331 |  3705k|   5.1 |  63M|1465 |   - |3825 |  37k|   0 |   0 | 144k| 933k|6047 | 0.000000e+00 | 1.000000e+00 |    Inf 
1485.82/1485.89	c  1486s|740000 |  1311 |  3757k|   5.1 |  62M|1465 |   - |3825 |  34k|   0 |   0 | 146k| 947k|6071 | 0.000000e+00 | 1.000000e+00 |    Inf 
1510.12/1510.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1510.12/1510.14	c  1510s|750000 |  1329 |  3808k|   5.1 |  62M|1465 |   1 |3825 |  34k|3825 | 951 | 148k| 961k|6143 | 0.000000e+00 | 1.000000e+00 |    Inf 
1535.82/1535.82	c  1536s|760000 |  1357 |  3855k|   5.1 |  64M|1465 |   - |3825 |  38k|   0 |   0 | 150k| 975k|6184 | 0.000000e+00 | 1.000000e+00 |    Inf 
1562.22/1562.23	c  1562s|770000 |  1375 |  3906k|   5.1 |  64M|1465 |   - |3825 |  36k|   0 |   0 | 151k| 989k|6193 | 0.000000e+00 | 1.000000e+00 |    Inf 
1587.23/1587.24	c  1587s|780000 |  1414 |  3960k|   5.1 |  66M|1465 |   - |3825 |  38k|   0 |   0 | 153k|1004k|6247 | 0.000000e+00 | 1.000000e+00 |    Inf 
1614.12/1614.19	c  1614s|790000 |  1471 |  4007k|   5.1 |  68M|1465 |   - |3825 |  41k|   0 |   0 | 155k|1018k|6303 | 0.000000e+00 | 1.000000e+00 |    Inf 
1643.02/1643.00	c  1643s|800000 |  1568 |  4062k|   5.1 |  70M|1465 |   1 |3825 |  44k|3825 | 981 | 156k|1031k|6331 | 0.000000e+00 | 1.000000e+00 |    Inf 
1671.21/1671.25	c  1671s|810000 |  1612 |  4116k|   5.1 |  71M|1465 |   - |3825 |  45k|   0 |   0 | 158k|1046k|6351 | 0.000000e+00 | 1.000000e+00 |    Inf 
1700.72/1700.70	c  1701s|820000 |  1638 |  4170k|   5.1 |  72M|1465 |   - |3825 |  45k|   0 |   0 | 160k|1060k|6393 | 0.000000e+00 | 1.000000e+00 |    Inf 
1729.23/1729.29	c  1729s|830000 |  1590 |  4225k|   5.1 |  71M|1465 |  12 |3825 |  42k|3825 | 959 | 162k|1075k|6444 | 0.000000e+00 | 1.000000e+00 |    Inf 
1757.11/1757.11	c  1757s|840000 |  1572 |  4274k|   5.1 |  72M|1465 |  25 |3825 |  43k|3825 | 976 | 164k|1089k|6469 | 0.000000e+00 | 1.000000e+00 |    Inf 
1782.32/1782.39	c  1782s|850000 |  1561 |  4325k|   5.1 |  71M|1465 |   - |3825 |  38k|   0 |   0 | 165k|1103k|6569 | 0.000000e+00 | 1.000000e+00 |    Inf 
1790.02/1790.01	c 
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time (sec) : 1789.98
1790.02/1790.01	c Solving Nodes      : 852847
1790.02/1790.01	c Primal Bound       : +1.00000000000000e+00 (136 solutions)
1790.02/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.02/1790.01	c Gap                : infinite
1790.02/1790.05	s SATISFIABLE
1790.02/1790.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.02/1790.05	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.02/1790.05	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 
1790.02/1790.05	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.02/1790.05	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 
1790.02/1790.05	v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1790.02/1790.05	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.02/1790.05	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.02/1790.05	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.02/1790.05	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.02/1790.05	v -x1 
1790.02/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.05	c Solving Time       :    1789.98
1790.02/1790.05	c Original Problem   :
1790.02/1790.05	c   Problem name     : HOME/instance-2705643-1278572964.wbo
1790.02/1790.05	c   Variables        : 3957 (2094 binary, 0 integer, 1863 implicit integer, 0 continuous)
1790.02/1790.05	c   Constraints      : 4571 initial, 4571 maximal
1790.02/1790.05	c Presolved Problem  :
1790.02/1790.05	c   Problem name     : t_HOME/instance-2705643-1278572964.wbo
1790.02/1790.05	c   Variables        : 3825 (2028 binary, 0 integer, 1797 implicit integer, 0 continuous)
1790.02/1790.05	c   Constraints      : 4405 initial, 47684 maximal
1790.02/1790.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.05	c   trivial          :       0.00         66          0          0          0          0          0          0          0
1790.02/1790.05	c   dualfix          :       0.00         66          0          0          0          0          0          0          0
1790.02/1790.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.02/1790.05	c   setppc           :       0.00          0          0          0          0          0         13          0          0
1790.02/1790.05	c   linear           :       0.07          0          0          0       1878          0         87         72          0
1790.02/1790.05	c   indicator        :       0.00          0          0          0          0          0         66          0          0
1790.02/1790.05	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.02/1790.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.05	c   root node        :          -       3594          -          -       3594          -          -          -          -
1790.02/1790.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.05	c   integral         :          0          0          0     493179          0         29        401          0          0     884752
1790.02/1790.05	c   setppc           :         55          6    4824913      49078          8       4512     773580          0          0          0
1790.02/1790.05	c   linear           :       1797          6    4829136      50268          5     243791   19748086     166427          0          0
1790.02/1790.05	c   indicator        :       1797          0    3222415      44935          0        237     917361          0          0          0
1790.02/1790.05	c   logicor          :        756+         6    1458909      28987          5     168413    3347301          0          0          0
1790.02/1790.05	c   bounddisjunction :          0+         0     384567          0          0         53       1136          0          0          0
1790.02/1790.05	c   countsols        :          0          0          0      28987          1          0          0          0          0          0
1790.02/1790.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.05	c   integral         :      21.10       0.00       0.00      21.10       0.00
1790.02/1790.05	c   setppc           :       7.18       0.00       7.14       0.03       0.00
1790.02/1790.05	c   linear           :     164.24       0.00     161.41       2.83       0.00
1790.02/1790.05	c   indicator        :      14.91       0.01      11.18       3.72       0.00
1790.02/1790.05	c   logicor          :     328.98       0.00     328.56       0.41       0.00
1790.02/1790.05	c   bounddisjunction :       1.45       0.00       1.45       0.00       0.00
1790.02/1790.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.02/1790.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.05	c   vbounds          :       0.77       6402          0        959
1790.02/1790.05	c   rootredcost      :       0.71         38          0       1797
1790.02/1790.05	c   pseudoobj        :     131.20    4837100       3155     861247
1790.02/1790.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.05	c   propagation      :      22.06     419924     419654    2471713       27.0      12838       25.0          -
1790.02/1790.05	c   infeasible LP    :       4.76      17023      17023     131337       41.1        187       19.7          0
1790.02/1790.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.05	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.05	c   applied globally :          -          -          -    1107034       21.5          -          -          -
1790.02/1790.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.05	c   cut pool         :       0.00          4          -          -         32          -    (maximal pool size: 344)
1790.02/1790.05	c   redcost          :      34.05     494642          0      56697          0          0
1790.02/1790.05	c   impliedbounds    :       0.00          5          0          0          0          0
1790.02/1790.05	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.05	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.05	c   gomory           :       0.11          5          0          0       1161          0
1790.02/1790.05	c   strongcg         :       0.10          5          0          0       1601          0
1790.02/1790.05	c   cmir             :       0.04          5          0          0          4          0
1790.02/1790.05	c   flowcover        :       0.06          5          0          0          6          0
1790.02/1790.05	c   clique           :       0.00          5          0          0          0          0
1790.02/1790.05	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.05	c   mcf              :       0.00          1          0          0          0          0
1790.02/1790.05	c   rapidlearning    :       0.08          1          0          0          0          0
1790.02/1790.05	c Pricers            :       Time      Calls       Vars
1790.02/1790.05	c   problem variables:       0.00          0          0
1790.02/1790.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.05	c   relpscost        :      20.72     442742         29        401          0          0     884752
1790.02/1790.05	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.05	c   inference        :       7.58      28951          0          0          0          0      58053
1790.02/1790.05	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.05	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.05	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.05	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.05	c   LP solutions     :       0.06          -         37
1790.02/1790.05	c   pseudo solutions :       0.00          -          0
1790.02/1790.05	c   intshifting      :       0.00          0          0
1790.02/1790.05	c   feaspump         :       0.02          1          0
1790.02/1790.05	c   oneopt           :       0.39         37          0
1790.02/1790.05	c   veclendiving     :       0.11         78          0
1790.02/1790.05	c   linesearchdiving :       0.11         78          0
1790.02/1790.05	c   guideddiving     :       0.11         78          0
1790.02/1790.05	c   coefdiving       :       0.12         78          0
1790.02/1790.05	c   fracdiving       :       0.11         78          0
1790.02/1790.05	c   pscostdiving     :       0.12         79          0
1790.02/1790.05	c   crossover        :       1.52         39          0
1790.02/1790.05	c   objpscostdiving  :       0.12         72          0
1790.02/1790.05	c   rootsoldiving    :       0.14         72          0
1790.02/1790.05	c   trivial          :       0.01          2          0
1790.02/1790.05	c   simplerounding   :       0.67     442891          0
1790.02/1790.05	c   zirounding       :       0.36       1000          0
1790.02/1790.05	c   rounding         :       1.02       9377          0
1790.02/1790.05	c   shifting         :       0.80       2986          0
1790.02/1790.05	c   twoopt           :       0.00          0          0
1790.02/1790.05	c   fixandinfer      :       0.00          0          0
1790.02/1790.05	c   intdiving        :       0.00          0          0
1790.02/1790.05	c   actconsdiving    :       0.00          0          0
1790.02/1790.05	c   octane           :       0.00          0          0
1790.02/1790.05	c   rens             :       0.03          1          0
1790.02/1790.05	c   rins             :       0.00          0          0
1790.02/1790.05	c   localbranching   :       0.00          0          0
1790.02/1790.05	c   mutation         :       0.00          0          0
1790.02/1790.05	c   dins             :       0.00          0          0
1790.02/1790.05	c   undercover       :       0.00          0          0
1790.02/1790.05	c   nlp              :       0.16          0          0
1790.02/1790.05	c   trysol           :       0.35        254         99
1790.02/1790.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.05	c   primal LP        :       0.00          0          0       0.00          -
1790.02/1790.05	c   dual LP          :     542.11     481469    4337317       9.01    8000.75
1790.02/1790.05	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.05	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.05	c   diving/probing LP:       0.19         89       1458      16.38    7631.75
1790.02/1790.05	c   strong branching :      17.03       6571     177917      27.08   10446.85
1790.02/1790.05	c     (at root node) :          -         17       5625     330.88          -
1790.02/1790.05	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.05	c B&B Tree           :
1790.02/1790.05	c   number of runs   :          1
1790.02/1790.05	c   nodes            :     852847
1790.02/1790.05	c   nodes (total)    :     852847
1790.02/1790.05	c   nodes left       :       1580
1790.02/1790.05	c   max depth        :       1465
1790.02/1790.05	c   max depth (total):       1465
1790.02/1790.05	c   backtracks       :      65970 (7.7%)
1790.02/1790.05	c   delayed cutoffs  :      58234
1790.02/1790.05	c   repropagations   :    2706489 (3871270 domain reductions, 55599 cutoffs)
1790.02/1790.05	c   avg switch length:       7.62
1790.02/1790.05	c   switching time   :     287.39
1790.02/1790.05	c Solution           :
1790.02/1790.05	c   Solutions found  :        136 (38 improvements)
1790.02/1790.05	c   First Solution   : +9.08110000000000e+04   (in run 1, after 32 nodes, 5.46 seconds, depth 18, found by <trysol>)
1790.02/1790.05	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 612742 nodes, 1207.24 seconds, depth 53, found by <relaxation>)
1790.02/1790.05	c   Dual Bound       : +0.00000000000000e+00
1790.02/1790.05	c   Gap              :   infinite
1790.02/1790.05	c   Root Dual Bound  : +0.00000000000000e+00
1790.02/1790.05	c   Root Iterations  :        559
1790.12/1790.19	c Time complete: 1790.21.

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-2705643-1278572964/watcher-2705643-1278572964 -o /tmp/evaluation-result-2705643-1278572964/solver-2705643-1278572964 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705643-1278572964.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.36 0.08 0.02 4/178 24956
/proc/meminfo: memFree=29668064/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=12340 CPUtime=0
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 1922 0 0 0 0 0 0 0 24 0 1 0 25509358 12636160 1840 4089446400 4194304 10345943 140734570353456 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24956/statm: 3085 1840 429 1502 0 1578 0

[startup+0.054708 s]
/proc/loadavg: 0.36 0.08 0.02 4/178 24956
/proc/meminfo: memFree=29668064/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=32252 CPUtime=0.04
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 7044 0 0 0 4 0 0 0 24 0 1 0 25509358 33026048 6608 4089446400 4194304 10345943 140734570353456 18446744073709551615 4886436 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 8063 6608 509 1502 0 6556 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 32252

[startup+0.100695 s]
/proc/loadavg: 0.36 0.08 0.02 4/178 24956
/proc/meminfo: memFree=29668064/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=34456 CPUtime=0.08
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 7634 0 0 0 8 0 0 0 24 0 1 0 25509358 35282944 7198 4089446400 4194304 10345943 140734570353456 18446744073709551615 5017692 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 8614 7198 541 1502 0 7107 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34456

[startup+0.300665 s]
/proc/loadavg: 0.36 0.08 0.02 4/178 24956
/proc/meminfo: memFree=29668064/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=40932 CPUtime=0.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 14117 0 0 0 27 2 0 0 25 0 1 0 25509358 41914368 8685 4089446400 4194304 10345943 140734570353456 18446744073709551615 5834311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 10233 8685 729 1502 0 8726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40932

[startup+0.700595 s]
/proc/loadavg: 0.36 0.08 0.02 4/178 24956
/proc/meminfo: memFree=29668064/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=50148 CPUtime=0.69
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 20165 0 0 0 66 3 0 0 25 0 1 0 25509358 51351552 10896 4089446400 4194304 10345943 140734570353456 18446744073709551615 7567952 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 12537 10896 761 1502 0 11030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50148

[startup+1.50045 s]
/proc/loadavg: 0.36 0.08 0.02 3/179 24957
/proc/meminfo: memFree=29625784/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=50148 CPUtime=1.49
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 20287 0 0 0 146 3 0 0 25 0 1 0 25509358 51351552 11018 4089446400 4194304 10345943 140734570353456 18446744073709551615 7569469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 12537 11018 766 1502 0 11030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50148

[startup+3.10017 s]
/proc/loadavg: 0.49 0.11 0.04 3/179 24957
/proc/meminfo: memFree=29623180/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=50148 CPUtime=3.09
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 20466 0 0 0 305 4 0 0 25 0 1 0 25509358 51351552 11195 4089446400 4194304 10345943 140734570353456 18446744073709551615 7569616 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 12537 11195 767 1502 0 11030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50148

[startup+6.30061 s]
/proc/loadavg: 0.49 0.11 0.04 3/179 24957
/proc/meminfo: memFree=29619460/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=50384 CPUtime=6.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 21439 0 0 0 622 7 0 0 25 0 1 0 25509358 51593216 10729 4089446400 4194304 10345943 140734570353456 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 12596 10729 768 1502 0 11089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50384

[startup+12.7005 s]
/proc/loadavg: 0.73 0.17 0.06 3/179 24957
/proc/meminfo: memFree=29600180/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=57376 CPUtime=12.69
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 41428 0 0 0 1257 12 0 0 25 0 1 0 25509358 58753024 12990 4089446400 4194304 10345943 140734570353456 18446744073709551615 6777546 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 14344 12990 769 1502 0 12837 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57376

[startup+25.5002 s]
/proc/loadavg: 0.92 0.23 0.08 3/179 24958
/proc/meminfo: memFree=29568344/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=75428 CPUtime=25.49
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 49881 0 0 0 2534 15 0 0 25 0 1 0 25509358 77238272 17112 4089446400 4194304 10345943 140734570353456 18446744073709551615 4796486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 18857 17112 769 1502 0 17350 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75428

[startup+51.1008 s]
/proc/loadavg: 1.29 0.38 0.13 3/179 24959
/proc/meminfo: memFree=29532520/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=98400 CPUtime=51.09
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 98119 0 0 0 5083 26 0 0 25 0 1 0 25509358 100761600 23011 4089446400 4194304 10345943 140734570353456 18446744073709551615 6872132 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 24600 23011 775 1502 0 23093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98400

[startup+102.307 s]
/proc/loadavg: 1.71 0.65 0.23 3/179 24961
/proc/meminfo: memFree=29484520/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=140832 CPUtime=102.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 156879 0 0 0 10183 46 0 0 25 0 1 0 25509358 144211968 33609 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 35208 33609 787 1502 0 33701 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 140832

[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.34 3/179 24961
/proc/meminfo: memFree=29473660/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=147648 CPUtime=162.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 160289 0 0 0 16171 58 0 0 25 0 1 0 25509358 151191552 35315 4089446400 4194304 10345943 140734570353456 18446744073709551615 5926401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 36912 35315 787 1502 0 35405 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147648

[startup+222.301 s]
/proc/loadavg: 1.96 1.09 0.44 3/179 24963
/proc/meminfo: memFree=29468148/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=152744 CPUtime=222.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 197205 0 0 0 22155 74 0 0 25 0 1 0 25509358 156409856 36122 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085437 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 38186 36122 799 1502 0 36679 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 152744

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.53 3/179 24965
/proc/meminfo: memFree=29462632/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=156264 CPUtime=282.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 207744 0 0 0 28141 89 0 0 25 0 1 0 25509358 160014336 36900 4089446400 4194304 10345943 140734570353456 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 39066 36900 799 1502 0 37559 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 156264

[startup+342.301 s]
/proc/loadavg: 1.99 1.39 0.62 3/179 24967
/proc/meminfo: memFree=29459100/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=156388 CPUtime=342.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 215067 0 0 0 34126 104 0 0 25 0 1 0 25509358 160141312 37367 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 39097 37367 799 1502 0 37590 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 156388

[startup+402.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/179 24969
/proc/meminfo: memFree=29450004/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=161916 CPUtime=402.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 217999 0 0 0 40114 116 0 0 25 0 1 0 25509358 165801984 38652 4089446400 4194304 10345943 140734570353456 18446744073709551615 6336328 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 40479 38652 799 1502 0 38972 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 161916

[startup+462.301 s]
/proc/loadavg: 1.99 1.58 0.78 3/179 24969
/proc/meminfo: memFree=29446736/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=163832 CPUtime=462.29
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 236380 0 0 0 46099 130 0 0 25 0 1 0 25509358 167763968 39063 4089446400 4194304 10345943 140734570353456 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 40958 39063 799 1502 0 39451 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 163832

[startup+522.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/179 24971
/proc/meminfo: memFree=29428960/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=180624 CPUtime=522.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 248108 0 0 0 52088 142 0 0 25 0 1 0 25509358 184958976 43229 4089446400 4194304 10345943 140734570353456 18446744073709551615 5025116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 45156 43229 799 1502 0 43649 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 180624

[startup+582.301 s]
/proc/loadavg: 2.05 1.73 0.93 3/179 24976
/proc/meminfo: memFree=29428248/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=582.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 249114 0 0 0 58075 155 0 0 25 0 1 0 25509358 183414784 43103 4089446400 4194304 10345943 140734570353456 18446744073709551615 5089487 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 44779 43103 802 1502 0 43272 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 179116

[startup+642.301 s]
/proc/loadavg: 2.02 1.78 1.00 3/179 24978
/proc/meminfo: memFree=29424908/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=180600 CPUtime=642.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 249506 0 0 0 64065 166 0 0 25 0 1 0 25509358 184934400 43495 4089446400 4194304 10345943 140734570353456 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 45150 43495 802 1502 0 43643 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 180600

[startup+702.3 s]

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

/proc/meminfo: memFree=29420028/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=1002.3
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 250427 0 0 0 99996 234 0 0 25 0 1 0 25509358 183414784 43353 4089446400 4194304 10345943 140734570353456 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 44779 43353 802 1502 0 43272 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 179116

[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/179 24988
/proc/meminfo: memFree=29417736/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=1062.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 250431 0 0 0 105986 245 0 0 25 0 1 0 25509358 183414784 43357 4089446400 4194304 10345943 140734570353456 18446744073709551615 5006516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 44779 43357 802 1502 0 43272 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 179116

[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/179 24990
/proc/meminfo: memFree=29417556/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=1122.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 250431 0 0 0 111977 254 0 0 25 0 1 0 25509358 183414784 43357 4089446400 4194304 10345943 140734570353456 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24956/statm: 44779 43357 802 1502 0 43272 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 179116

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/179 24992
/proc/meminfo: memFree=29416388/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=1182.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 250434 0 0 0 117968 263 0 0 25 0 1 0 25509358 183414784 43360 4089446400 4194304 10345943 140734570353456 18446744073709551615 6119418 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24956/statm: 44779 43360 802 1502 0 43272 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 179116

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 24994
/proc/meminfo: memFree=29415708/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=179116 CPUtime=1242.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 254746 0 0 0 123957 274 0 0 25 0 1 0 25509358 183414784 43366 4089446400 4194304 10345943 140734570353456 18446744073709551615 4689634 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 44779 43366 802 1502 0 43272 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 179116

[startup+1302.3 s]
/proc/loadavg: 2.06 1.98 1.49 3/179 24996
/proc/meminfo: memFree=29414908/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=180124 CPUtime=1302.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 254975 0 0 0 129946 286 0 0 25 0 1 0 25509358 184446976 43595 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 45031 43595 802 1502 0 43524 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 180124

[startup+1362.3 s]
/proc/loadavg: 2.02 1.98 1.52 3/179 24996
/proc/meminfo: memFree=29415228/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=180888 CPUtime=1362.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 255525 0 0 0 135934 297 0 0 25 0 1 0 25509358 185229312 43406 4089446400 4194304 10345943 140734570353456 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 45222 43406 802 1502 0 43715 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 180888

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.55 3/179 24998
/proc/meminfo: memFree=29414188/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=182168 CPUtime=1422.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 255894 0 0 0 141923 309 0 0 25 0 1 0 25509358 186540032 43775 4089446400 4194304 10345943 140734570353456 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 45542 43775 802 1502 0 44035 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 182168

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/179 25000
/proc/meminfo: memFree=29414504/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=181812 CPUtime=1482.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 259909 0 0 0 147912 320 0 0 25 0 1 0 25509358 186175488 43686 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 45453 43686 802 1502 0 43946 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 181812

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.59 3/179 25002
/proc/meminfo: memFree=29413088/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=184364 CPUtime=1542.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 260974 0 0 0 153902 330 0 0 25 0 1 0 25509358 188788736 44090 4089446400 4194304 10345943 140734570353456 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 46091 44090 802 1502 0 44584 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 184364

[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/179 25004
/proc/meminfo: memFree=29409804/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=186800 CPUtime=1602.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 261485 0 0 0 159893 339 0 0 25 0 1 0 25509358 191283200 44601 4089446400 4194304 10345943 140734570353456 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 46700 44601 802 1502 0 45193 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 186800

[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/179 25004
/proc/meminfo: memFree=29405180/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=190612 CPUtime=1662.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 262829 0 0 0 165881 351 0 0 25 0 1 0 25509358 195186688 45724 4089446400 4194304 10345943 140734570353456 18446744073709551615 7546931 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 47653 45724 802 1502 0 46146 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 190612

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/179 25006
/proc/meminfo: memFree=29401400/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194044 CPUtime=1722.31
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265361 0 0 0 171870 361 0 0 25 0 1 0 25509358 198701056 46488 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 48511 46488 802 1502 0 47004 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 194044

[startup+1782.3 s]
/proc/loadavg: 2.04 1.99 1.68 3/179 25008
/proc/meminfo: memFree=29399856/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1782.32
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265900 0 0 0 177862 370 0 0 25 0 1 0 25509358 199168000 46620 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 48625 46620 802 1502 0 47118 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 194500

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

[startup+1785.5 s]
/proc/loadavg: 2.04 1.99 1.68 3/179 25008
/proc/meminfo: memFree=29399852/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1785.52
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265938 0 0 0 178181 371 0 0 25 0 1 0 25509358 199168000 46658 4089446400 4194304 10345943 140734570353456 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24956/statm: 48625 46658 802 1502 0 47118 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 194500

[startup+1788.7 s]
/proc/loadavg: 2.04 1.99 1.68 2/174 25025
/proc/meminfo: memFree=29534984/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1788.72
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265938 0 0 0 178500 372 0 0 25 0 1 0 25509358 199168000 46658 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24956/statm: 48625 46658 802 1502 0 47118 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 194500

[startup+1789.5 s]
/proc/loadavg: 2.04 1.99 1.68 2/174 25025
/proc/meminfo: memFree=29534984/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1789.52
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265938 0 0 0 178580 372 0 0 25 0 1 0 25509358 199168000 46658 4089446400 4194304 10345943 140734570353456 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24956/statm: 48625 46658 802 1502 0 47118 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 194500

[startup+1789.9 s]
/proc/loadavg: 2.04 1.99 1.68 2/174 25025
/proc/meminfo: memFree=29534984/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1789.92
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265939 0 0 0 178620 372 0 0 25 0 1 0 25509358 199168000 46659 4089446400 4194304 10345943 140734570353456 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24956/statm: 48625 46659 802 1502 0 47118 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 194500

[startup+1790.1 s]
/proc/loadavg: 2.04 1.99 1.68 2/174 25025
/proc/meminfo: memFree=29534984/32951124 swapFree=67111528/67111528
[pid=24956] ppid=24954 vsize=194500 CPUtime=1790.12
/proc/24956/stat : 24956 (pbscip.linux.x8) R 24954 24956 24685 0 -1 4202496 265948 0 0 0 178640 372 0 0 18 0 1 0 25509358 199168000 46668 4089446400 4194304 10345943 140734570353456 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24956/statm: 48625 46668 803 1502 0 47118 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 194500

Child status: 0
Real time (s): 1790.19
CPU time (s): 1790.22
CPU user time (s): 1786.49
CPU system time (s): 3.73143
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 194576

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

runsolver used 2.52162 second user time and 5.67114 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-08 09:09:24
IDJOB=2705643
IDBENCH=78964
IDSOLVER=1214
FILE ID=node144/2705643-1278572964
PBS_JOBID= 11240166
Free space on /tmp= 73728 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.1900571132--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-2705643-1278572964/watcher-2705643-1278572964 -o /tmp/evaluation-result-2705643-1278572964/solver-2705643-1278572964 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705643-1278572964.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 87777454fd73e41b31dd9b36586c9c7c
RANDOM SEED=1105313403

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29668716 kB
Buffers:        164528 kB
Cached:        2853984 kB
SwapCached:          0 kB
Active:         904920 kB
Inactive:      2214340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29668716 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25912 kB
Writeback:           0 kB
AnonPages:      100616 kB
Mapped:          17600 kB
Slab:            98636 kB
PageTables:       5320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   244072 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= 73728 MiB
End job on node144 at 2010-07-08 09:39:15