Trace number 2693241

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.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.7 1800.65

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
MD5SUM8cd432ce35ac43809c1c027beb7ff72a
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.046992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2221
Total number of constraints3050
Number of soft constraints3050
Number of constraints which are clauses2330
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints720
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 154947
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 154946
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693241-1277931877.wbo>
0.00/0.05	c original problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6101 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.09/0.18	o 154946
0.09/0.18	c feasible solution found by trivial heuristic, objective value  1.549460e+05
0.09/0.18	c presolving:
0.19/0.20	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.21	c (round 2) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.22	c (round 3) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 1 upgd conss, 3050 impls, 0 clqs
0.19/0.28	c    (0.2s) probing: 101/5271 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28	c presolving (4 rounds):
0.19/0.28	c  0 deleted vars, 1 deleted constraints, 3050 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.19/0.28	c  3051 implications, 0 cliques
0.19/0.28	c presolved problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6100 constraints
0.19/0.28	c    3050 constraints of type <indicator>
0.19/0.28	c       1 constraints of type <varbound>
0.19/0.28	c    3049 constraints of type <linear>
0.19/0.28	c transformed objective value is always integral (scale: 1)
0.19/0.28	c Presolving Time: 0.19
0.19/0.28	c - non default parameters ----------------------------------------------------------------------
0.19/0.28	c # SCIP version 1.2.1.2
0.19/0.28	c 
0.19/0.28	c # frequency for displaying node information lines
0.19/0.28	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28	c display/freq = 10000
0.19/0.28	c 
0.19/0.28	c # maximal time in seconds to run
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/time = 1799.96
0.19/0.28	c 
0.19/0.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/memory = 3420
0.19/0.28	c 
0.19/0.28	c # should presolving try to simplify inequalities
0.19/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28	c constraints/linear/simplifyinequalities = TRUE
0.19/0.28	c 
0.19/0.28	c # should presolving try to simplify knapsacks
0.19/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28	c 
0.19/0.28	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28	c separating/rapidlearning/freq = 0
0.19/0.28	c 
0.19/0.28	c -----------------------------------------------------------------------------------------------
0.19/0.28	c start solving
0.19/0.28	c 
0.29/0.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.30	c t 0.2s|     1 |     0 |     0 |     - |  25M|   0 |   0 |8321 |6100 |8321 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.549460e+05 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   201 |     - |  25M|   0 | 159 |8321 |6100 |8321 | 201 | 201 |   0 |   0 | 0.000000e+00 | 1.549460e+05 |    Inf 
0.29/0.31	o 154902
0.29/0.31	c y 0.2s|     1 |     0 |   201 |     - |  26M|   0 | 159 |8321 |6100 |8321 | 201 | 201 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.39/0.43	c   0.3s|     1 |     0 |   570 |     - |  26M|   0 | 201 |8321 |6100 |8321 | 622 | 622 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.59/0.67	c   0.6s|     1 |     0 |  1140 |     - |  27M|   0 | 450 |8321 |6100 |8321 | 927 | 927 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.89/1.00	c   0.9s|     1 |     0 |  1496 |     - |  27M|   0 | 623 |8321 |6100 |8321 |1149 |1149 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
1.39/1.49	c   1.4s|     1 |     0 |  1869 |     - |  28M|   0 | 693 |8321 |6100 |8321 |1314 |1314 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
1.99/2.06	c   2.0s|     1 |     0 |  2292 |     - |  28M|   0 | 772 |8321 |6100 |8321 |1475 |1475 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
3.09/3.14	c   3.0s|     1 |     2 |  2925 |     - |  28M|   0 | 772 |8321 |6100 |8321 |1475 |1475 |   0 |  33 | 0.000000e+00 | 1.549020e+05 |    Inf 
151.29/151.31	c   146s| 10000 | 10001 |279903 |  27.8 |  67M| 241 | 360 |8321 |6100 |8321 |1261 |1475 |   0 |3964 | 0.000000e+00 | 1.549020e+05 |    Inf 
220.39/220.40	c   213s| 20000 | 20001 |405063 |  20.1 |  94M| 313 | 214 |8321 |6100 |8321 |1261 |1475 |   0 |5132 | 0.000000e+00 | 1.549020e+05 |    Inf 
268.70/268.76	c   260s| 30000 | 30001 |475289 |  15.8 | 122M| 387 | 223 |8321 |6100 |8321 |1261 |1475 |   0 |6105 | 0.000000e+00 | 1.549020e+05 |    Inf 
322.80/322.85	c   312s| 40000 | 40001 |555402 |  13.8 | 150M| 403 | 196 |8321 |6100 |8321 |1261 |1475 |   0 |6942 | 0.000000e+00 | 1.549020e+05 |    Inf 
369.20/369.24	c   357s| 50000 | 50001 |614148 |  12.2 | 178M| 493 | 159 |8321 |6100 |8321 |1261 |1475 |   0 |7459 | 0.000000e+00 | 1.549020e+05 |    Inf 
408.90/408.91	c   395s| 60000 | 60001 |659111 |  10.9 | 206M| 547 | 460 |8321 |6100 |8321 |1261 |1475 |   0 |8149 | 0.000000e+00 | 1.549020e+05 |    Inf 
443.50/443.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
443.50/443.54	c   429s| 70000 | 70001 |694952 |   9.9 | 234M| 681 |   4 |8321 |6100 |8321 |1261 |1630 |   0 |8488 | 0.000000e+00 | 1.549020e+05 |    Inf 
477.10/477.14	c   461s| 80000 | 80001 |722759 |   9.0 | 262M| 801 |   0 |8321 |6100 |8321 |1292 |2456 |   0 |8615 | 0.000000e+00 | 1.549020e+05 |    Inf 
511.60/511.60	c   495s| 90000 | 90001 |739236 |   8.2 | 290M| 891 |   0 |8321 |6100 |8321 |1294 |3199 |   0 |8874 | 0.000000e+00 | 1.549020e+05 |    Inf 
549.91/549.99	c   532s|100000 | 99999 |755812 |   7.5 | 320M| 995 | 305 |8321 |6101 |8321 |1261 |4046 |   1 |9414 | 0.000000e+00 | 1.549020e+05 |    Inf 
589.41/589.41	c   570s|110000 |109999 |762226 |   6.9 | 349M|1033 |   0 |8321 |6101 |8321 |1316 |5146 |   1 |9496 | 0.000000e+00 | 1.549020e+05 |    Inf 
628.41/628.42	c   608s|120000 |119999 |771820 |   6.4 | 378M|1033 |   0 |8321 |6101 |8321 |1302 |6178 |   1 |9627 | 0.000000e+00 | 1.549020e+05 |    Inf 
667.01/667.08	c   646s|130000 |129999 |777457 |   6.0 | 407M|1035 |   0 |8321 |6101 |8321 |1309 |7251 |   1 |9628 | 0.000000e+00 | 1.549020e+05 |    Inf 
705.81/705.82	c   684s|140000 |139999 |790201 |   5.6 | 435M|1039 |   0 |8321 |6101 |8321 |1315 |8174 |   1 |9686 | 0.000000e+00 | 1.549020e+05 |    Inf 
744.31/744.32	c   721s|150000 |149999 |802052 |   5.3 | 464M|1039 |   0 |8321 |6101 |8321 |1312 |9088 |   1 |9725 | 0.000000e+00 | 1.549020e+05 |    Inf 
783.11/783.20	c   759s|160000 |159999 |813366 |   5.1 | 493M|1039 |   0 |8321 |6101 |8321 |1291 |  10k|   1 |9752 | 0.000000e+00 | 1.549020e+05 |    Inf 
822.01/822.09	c   797s|170000 |169999 |824847 |   4.8 | 522M|1039 |   0 |8321 |6101 |8321 |1300 |  11k|   1 |9756 | 0.000000e+00 | 1.549020e+05 |    Inf 
861.12/861.15	c   835s|180000 |179999 |831167 |   4.6 | 551M|1039 |   0 |8321 |6101 |8321 |1311 |  12k|   1 |9769 | 0.000000e+00 | 1.549020e+05 |    Inf 
899.71/899.77	c   873s|190000 |189999 |842725 |   4.4 | 579M|1039 |   0 |8321 |6101 |8321 |1311 |  13k|   1 |9786 | 0.000000e+00 | 1.549020e+05 |    Inf 
938.51/938.55	c   910s|200000 |199999 |850887 |   4.2 | 608M|1039 |   0 |8321 |6101 |8321 |1315 |  14k|   1 |9786 | 0.000000e+00 | 1.549020e+05 |    Inf 
977.62/977.65	c   948s|210000 |209999 |859049 |   4.1 | 637M|1039 |  12 |8321 |6101 |8321 |1283 |  15k|   1 |9786 | 0.000000e+00 | 1.549020e+05 |    Inf 
1016.91/1016.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1016.91/1016.97	c   986s|220000 |219999 |869886 |   3.9 | 666M|1039 |   0 |8321 |6101 |8321 |1307 |  16k|   1 |9790 | 0.000000e+00 | 1.549020e+05 |    Inf 
1056.32/1056.36	c  1024s|230000 |229999 |880622 |   3.8 | 695M|1039 |   0 |8321 |6101 |8321 |1311 |  17k|   1 |9797 | 0.000000e+00 | 1.549020e+05 |    Inf 
1095.71/1095.79	c  1063s|240000 |239999 |892098 |   3.7 | 723M|1039 |   0 |8321 |6101 |8321 |1313 |  18k|   1 |9809 | 0.000000e+00 | 1.549020e+05 |    Inf 
1135.42/1135.43	c  1101s|250000 |249999 |903613 |   3.6 | 752M|1039 |   0 |8321 |6101 |8321 |1314 |  19k|   1 |9822 | 0.000000e+00 | 1.549020e+05 |    Inf 
1174.51/1174.59	c  1139s|260000 |259999 |914919 |   3.5 | 781M|1039 |   0 |8321 |6101 |8321 |1318 |  20k|   1 |9826 | 0.000000e+00 | 1.549020e+05 |    Inf 
1214.12/1214.14	c  1177s|270000 |269999 |923151 |   3.4 | 810M|1039 |   3 |8321 |6101 |8321 |1306 |  21k|   1 |9829 | 0.000000e+00 | 1.549020e+05 |    Inf 
1253.43/1253.46	c  1216s|280000 |279999 |928252 |   3.3 | 839M|1041 |   0 |8321 |6101 |8321 |1305 |  22k|   1 |9829 | 0.000000e+00 | 1.549020e+05 |    Inf 
1292.73/1292.72	c  1254s|290000 |289999 |933352 |   3.2 | 868M|1041 |   0 |8321 |6101 |8321 |1310 |  23k|   1 |9829 | 0.000000e+00 | 1.549020e+05 |    Inf 
1331.62/1331.63	c  1291s|300000 |299999 |949352 |   3.2 | 896M|1041 |   0 |8321 |6101 |8321 |1311 |  24k|   1 |9852 | 0.000000e+00 | 1.549020e+05 |    Inf 
1370.72/1370.78	c  1329s|310000 |309999 |960359 |   3.1 | 925M|1041 |   0 |8321 |6101 |8321 |1323 |  25k|   1 |9856 | 0.000000e+00 | 1.549020e+05 |    Inf 
1410.23/1410.29	c  1367s|320000 |319999 |965566 |   3.0 | 954M|1041 |   0 |8321 |6101 |8321 |1320 |  26k|   1 |9856 | 0.000000e+00 | 1.549020e+05 |    Inf 
1450.23/1450.21	c  1406s|330000 |329999 |970818 |   2.9 | 983M|1041 |   1 |8321 |6101 |8321 |1292 |  27k|   1 |9856 | 0.000000e+00 | 1.549020e+05 |    Inf 
1489.83/1489.82	c  1444s|340000 |339999 |978924 |   2.9 |1012M|1041 |   0 |8321 |6101 |8321 |1308 |  28k|   1 |9872 | 0.000000e+00 | 1.549020e+05 |    Inf 
1528.82/1528.84	c  1482s|350000 |349999 |994964 |   2.8 |1041M|1041 | 338 |8321 |6101 |8321 |1261 |  29k|   1 |9891 | 0.000000e+00 | 1.549020e+05 |    Inf 
1568.23/1568.29	c  1520s|360000 |359999 |  1006k|   2.8 |1070M|1041 |   0 |8321 |6101 |8321 |1318 |  30k|   1 |9904 | 0.000000e+00 | 1.549020e+05 |    Inf 
1607.93/1607.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1607.93/1607.97	c  1559s|370000 |369999 |  1011k|   2.7 |1098M|1041 |   0 |8321 |6101 |8321 |1312 |  31k|   1 |9904 | 0.000000e+00 | 1.549020e+05 |    Inf 
1647.23/1647.20	c  1597s|380000 |379999 |  1024k|   2.7 |1127M|1041 |   0 |8321 |6101 |8321 |1323 |  32k|   1 |9910 | 0.000000e+00 | 1.549020e+05 |    Inf 
1686.24/1686.28	c  1634s|390000 |389999 |  1040k|   2.7 |1156M|1041 |  14 |8321 |6101 |8321 |1284 |  32k|   1 |9951 | 0.000000e+00 | 1.549020e+05 |    Inf 
1726.23/1726.27	c  1673s|400000 |399999 |  1050k|   2.6 |1185M|1041 |   0 |8321 |6101 |8321 |1299 |  33k|   1 |  10k| 0.000000e+00 | 1.549020e+05 |    Inf 
1766.54/1766.59	c  1712s|410000 |409999 |  1058k|   2.6 |1214M|1041 |   0 |8321 |6101 |8321 |1313 |  34k|   1 |  10k| 0.000000e+00 | 1.549020e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1744.58
1800.04/1800.00	c Solving Nodes      : 418330
1800.04/1800.00	c Primal Bound       : +1.54902000000000e+05 (102 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.14/1800.15	s SATISFIABLE
1800.14/1800.15	v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
1800.14/1800.15	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 
1800.14/1800.15	v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 
1800.14/1800.15	v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 
1800.14/1800.15	v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 
1800.14/1800.15	v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 
1800.14/1800.15	v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 
1800.14/1800.15	v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
1800.14/1800.15	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1800.14/1800.15	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
1800.14/1800.15	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
1800.14/1800.15	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 
1800.14/1800.15	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1800.14/1800.15	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
1800.14/1800.15	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
1800.14/1800.15	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 
1800.14/1800.15	v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 
1800.14/1800.15	v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 
1800.14/1800.15	v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 
1800.14/1800.15	v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
1800.14/1800.15	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
1800.14/1800.15	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 
1800.14/1800.15	v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
1800.14/1800.15	v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
1800.14/1800.15	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
1800.14/1800.15	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 
1800.14/1800.15	v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 
1800.14/1800.15	v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 
1800.14/1800.15	v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 
1800.14/1800.15	v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
1800.14/1800.15	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
1800.14/1800.15	v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
1800.14/1800.15	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 
1800.14/1800.15	v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 
1800.14/1800.15	v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 
1800.14/1800.15	v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 
1800.14/1800.15	v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 
1800.14/1800.15	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 
1800.14/1800.15	v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 
1800.14/1800.15	v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 
1800.14/1800.15	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 
1800.14/1800.15	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 
1800.14/1800.15	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
1800.14/1800.15	v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
1800.14/1800.15	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 
1800.14/1800.15	v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 
1800.14/1800.15	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 
1800.14/1800.15	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 
1800.14/1800.15	v -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 
1800.14/1800.15	v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 
1800.14/1800.15	v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
1800.14/1800.15	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
1800.14/1800.15	v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
1800.14/1800.15	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
1800.14/1800.15	v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
1800.14/1800.15	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
1800.14/1800.15	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
1800.14/1800.15	v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
1800.14/1800.15	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 
1800.14/1800.15	v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 
1800.14/1800.15	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
1800.14/1800.15	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
1800.14/1800.15	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
1800.14/1800.15	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
1800.14/1800.15	v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 
1800.14/1800.15	v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 
1800.14/1800.15	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 
1800.14/1800.15	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
1800.14/1800.15	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 
1800.14/1800.15	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 
1800.14/1800.15	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
1800.14/1800.15	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 
1800.14/1800.15	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 
1800.14/1800.15	v -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 
1800.14/1800.15	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 
1800.14/1800.15	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 
1800.14/1800.15	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
1800.14/1800.15	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 
1800.14/1800.15	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 
1800.14/1800.15	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 
1800.14/1800.15	v -x756 x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 
1800.14/1800.15	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 
1800.14/1800.15	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
1800.14/1800.15	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 
1800.14/1800.15	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 
1800.14/1800.15	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 
1800.14/1800.15	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 
1800.14/1800.15	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 
1800.14/1800.15	v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 
1800.14/1800.15	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 
1800.14/1800.15	v -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 
1800.14/1800.15	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 
1800.14/1800.15	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 
1800.14/1800.15	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 
1800.14/1800.15	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 
1800.14/1800.15	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 
1800.14/1800.15	v -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
1800.14/1800.15	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 
1800.14/1800.15	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 
1800.14/1800.15	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 
1800.14/1800.15	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 
1800.14/1800.15	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 
1800.14/1800.15	v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 
1800.14/1800.15	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 
1800.14/1800.15	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
1800.14/1800.15	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 
1800.14/1800.15	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 
1800.14/1800.15	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 
1800.14/1800.15	v -x168 -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 
1800.14/1800.15	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1800.14/1800.15	v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 
1800.14/1800.15	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 
1800.14/1800.15	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 
1800.14/1800.15	v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 
1800.14/1800.15	v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 
1800.14/1800.15	v -x5 x4 -x3 -x2 -x1 
1800.14/1800.15	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.15	c Solving Time       :    1744.58
1800.14/1800.15	c Original Problem   :
1800.14/1800.15	c   Problem name     : HOME/instance-2693241-1277931877.wbo
1800.14/1800.15	c   Variables        : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.14/1800.15	c   Constraints      : 6101 initial, 6101 maximal
1800.14/1800.15	c Presolved Problem  :
1800.14/1800.15	c   Problem name     : t_HOME/instance-2693241-1277931877.wbo
1800.14/1800.15	c   Variables        : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.14/1800.15	c   Constraints      : 6100 initial, 6101 maximal
1800.14/1800.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.14/1800.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.14/1800.15	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   linear           :       0.03          0          0          0       3050          0          1        360        720
1800.14/1800.15	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.15	c   root node        :          -          0          -          -          0          -          -          -          -
1800.14/1800.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.15	c   integral         :          0          0          0     431859          0          0          0          0          0     291474
1800.14/1800.15	c   indicator        :       3050          0     800106     286122          0          0     320031          0          0          0
1800.14/1800.15	c   varbound         :          1          6     800106     286122          0          0          0          1          0          0
1800.14/1800.15	c   linear           :       3049          6     800106     286122          0          1     328152      34946          0          0
1800.14/1800.15	c   logicor          :          0+         0        137          0          0          0          1          0          0          0
1800.14/1800.15	c   countsols        :          0          0          0     272592          0          0          0          0          0          0
1800.14/1800.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.14/1800.15	c   integral         :      55.40       0.00       0.00      55.40       0.00
1800.14/1800.15	c   indicator        :     136.59       0.00      36.44     100.15       0.00
1800.14/1800.15	c   varbound         :       0.02       0.00       0.02       0.00       0.00
1800.14/1800.15	c   linear           :     168.71       0.03      28.51     140.17       0.00
1800.14/1800.15	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1800.14/1800.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.14/1800.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.14/1800.15	c   vbounds          :       0.00          2          0          0
1800.14/1800.15	c   rootredcost      :       0.00          1          0          0
1800.14/1800.15	c   pseudoobj        :      53.10     799906          0          0
1800.14/1800.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.15	c   propagation      :       0.00          1          1          1       19.0          0        0.0          -
1800.14/1800.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.15	c   applied globally :          -          -          -          1       19.0          -          -          -
1800.14/1800.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.14/1800.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.14/1800.15	c   cut pool         :       0.00          4          -          -        290          -    (maximal pool size: 1853)
1800.14/1800.15	c   redcost          :      72.58     431827          0          0          0          0
1800.14/1800.15	c   impliedbounds    :       0.00          5          0          0          0          0
1800.14/1800.15	c   intobj           :       0.00          0          0          0          0          0
1800.14/1800.15	c   cgmip            :       0.00          0          0          0          0          0
1800.14/1800.15	c   gomory           :       0.03          5          0          0          8          0
1800.14/1800.15	c   strongcg         :       0.02          5          0          0          0          0
1800.14/1800.15	c   cmir             :       0.61          5          0          0       1147          0
1800.14/1800.15	c   flowcover        :       0.82          5          0          0        948          0
1800.14/1800.15	c   clique           :       0.00          1          0          0          0          0
1800.14/1800.15	c   zerohalf         :       0.00          0          0          0          0          0
1800.14/1800.15	c   mcf              :       0.00          1          0          0          0          0
1800.14/1800.15	c   rapidlearning    :       0.00          0          0          0          0          0
1800.14/1800.15	c Pricers            :       Time      Calls       Vars
1800.14/1800.15	c   problem variables:       0.00          0          0
1800.14/1800.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.15	c   relpscost        :      55.34     145737          0          0          0          0     291474
1800.14/1800.15	c   pscost           :       0.00          0          0          0          0          0          0
1800.14/1800.15	c   inference        :     178.07     272592          0          0          0          0     545184
1800.14/1800.15	c   mostinf          :       0.00          0          0          0          0          0          0
1800.14/1800.15	c   leastinf         :       0.00          0          0          0          0          0          0
1800.14/1800.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.14/1800.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.14/1800.15	c   random           :       0.00          0          0          0          0          0          0
1800.14/1800.15	c Primal Heuristics  :       Time      Calls      Found
1800.14/1800.15	c   LP solutions     :       0.00          -          0
1800.14/1800.15	c   pseudo solutions :       0.00          -          0
1800.14/1800.15	c   feaspump         :       0.00          0          0
1800.14/1800.15	c   oneopt           :       0.32          1          0
1800.14/1800.15	c   objpscostdiving  :       2.89          4          0
1800.14/1800.15	c   intshifting      :       0.72         23          0
1800.14/1800.15	c   rootsoldiving    :       1.34         16          0
1800.14/1800.15	c   crossover        :       0.55         11          0
1800.14/1800.15	c   coefdiving       :      40.81        379          0
1800.14/1800.15	c   guideddiving     :      28.10        516          0
1800.14/1800.15	c   veclendiving     :      18.64        536          0
1800.14/1800.15	c   linesearchdiving :      25.11        559          0
1800.14/1800.15	c   pscostdiving     :      32.90        573          0
1800.14/1800.15	c   fracdiving       :      29.79        573          0
1800.14/1800.15	c   trivial          :       0.12          2          2
1800.14/1800.15	c   simplerounding   :       0.14     142295          0
1800.14/1800.15	c   zirounding       :       0.04       1000          0
1800.14/1800.15	c   rounding         :       0.42       5286          0
1800.14/1800.15	c   shifting         :       7.55       1693          0
1800.14/1800.15	c   twoopt           :       0.00          0          0
1800.14/1800.15	c   fixandinfer      :       0.00          0          0
1800.14/1800.15	c   intdiving        :       0.00          0          0
1800.14/1800.15	c   actconsdiving    :       0.00          0          0
1800.14/1800.15	c   octane           :       0.00          0          0
1800.14/1800.15	c   rens             :       0.06          1          0
1800.14/1800.15	c   rins             :       0.00          0          0
1800.14/1800.15	c   localbranching   :       0.00          0          0
1800.14/1800.15	c   mutation         :       0.00          0          0
1800.14/1800.15	c   dins             :       0.00          0          0
1800.14/1800.15	c   undercover       :       0.00          0          0
1800.14/1800.15	c   nlp              :       0.01          0          0
1800.14/1800.15	c   trysol           :       0.24       2542        100
1800.14/1800.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.14/1800.15	c   primal LP        :       0.00          0          0       0.00          -
1800.14/1800.15	c   dual LP          :     625.57     170633     813506       4.77    1300.42
1800.14/1800.15	c   lex dual LP      :       0.00          0          0       0.00          -
1800.14/1800.15	c   barrier LP       :       0.00          0          0       0.00          -
1800.14/1800.15	c   diving/probing LP:     121.36      64766     251560       3.88    2072.84
1800.14/1800.15	c   strong branching :      48.78      10518     202379      19.24    4148.81
1800.14/1800.15	c     (at root node) :          -         33       4443     134.64          -
1800.14/1800.15	c   conflict analysis:       0.00          0          0       0.00          -
1800.14/1800.15	c B&B Tree           :
1800.14/1800.15	c   number of runs   :          1
1800.14/1800.15	c   nodes            :     418330
1800.14/1800.15	c   nodes (total)    :     418330
1800.14/1800.15	c   nodes left       :     418329
1800.14/1800.15	c   max depth        :       1041
1800.14/1800.15	c   max depth (total):       1041
1800.14/1800.15	c   backtracks       :       1089 (0.3%)
1800.14/1800.15	c   delayed cutoffs  :          0
1800.14/1800.15	c   repropagations   :        164 (1 domain reductions, 0 cutoffs)
1800.14/1800.15	c   avg switch length:       2.16
1800.14/1800.15	c   switching time   :      28.80
1800.14/1800.15	c Solution           :
1800.14/1800.15	c   Solutions found  :        102 (2 improvements)
1800.14/1800.15	c   First Solution   : +1.54946000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.14/1800.15	c   Primal Bound     : +1.54902000000000e+05   (in run 1, after 1 nodes, 0.23 seconds, depth 0, found by <trysol>)
1800.14/1800.15	c   Dual Bound       : +0.00000000000000e+00
1800.14/1800.15	c   Gap              :   infinite
1800.14/1800.15	c   Root Dual Bound  : +0.00000000000000e+00
1800.14/1800.15	c   Root Iterations  :       2292
1800.64/1800.65	c Time complete: 1800.69.

Verifier Data 

OK	21769

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693241-1277931877/watcher-2693241-1277931877 -o /tmp/evaluation-result-2693241-1277931877/solver-2693241-1277931877 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693241-1277931877.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: 2.07 2.02 2.17 4/178 15865
/proc/meminfo: memFree=31427940/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=11304 CPUtime=0
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 1759 0 0 0 0 0 0 0 24 0 1 0 134484681 11575296 1679 4089446400 4194304 9819077 140733203297440 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15865/statm: 2826 1679 392 1374 0 1447 0

[startup+0.08757 s]
/proc/loadavg: 2.07 2.02 2.17 4/178 15865
/proc/meminfo: memFree=31427940/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=42948 CPUtime=0.08
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 9685 0 0 0 7 1 0 0 24 0 1 0 134484681 43978752 9251 4089446400 4194304 9819077 140733203297440 18446744073709551615 8679021 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 10737 9251 469 1374 0 9358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42948

[startup+0.10056 s]
/proc/loadavg: 2.07 2.02 2.17 4/178 15865
/proc/meminfo: memFree=31427940/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=42948 CPUtime=0.09
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 9685 0 0 0 8 1 0 0 24 0 1 0 134484681 43978752 9251 4089446400 4194304 9819077 140733203297440 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 10737 9251 469 1374 0 9358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42948

[startup+0.300533 s]
/proc/loadavg: 2.07 2.02 2.17 4/178 15865
/proc/meminfo: memFree=31427940/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=50432 CPUtime=0.29
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 12490 0 0 0 26 3 0 0 25 0 1 0 134484681 51642368 11215 4089446400 4194304 9819077 140733203297440 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 12608 11215 576 1374 0 11229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50432

[startup+0.700462 s]
/proc/loadavg: 2.07 2.02 2.17 4/178 15865
/proc/meminfo: memFree=31427940/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=57236 CPUtime=0.69
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 14255 0 0 0 65 4 0 0 25 0 1 0 134484681 58609664 12422 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 14309 12422 674 1374 0 12930 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57236

[startup+1.50032 s]
/proc/loadavg: 2.07 2.02 2.17 3/179 15866
/proc/meminfo: memFree=31380316/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=60328 CPUtime=1.49
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 15656 0 0 0 144 5 0 0 25 0 1 0 134484681 61775872 13034 4089446400 4194304 9819077 140733203297440 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 15082 13034 674 1374 0 13703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60328

[startup+3.10103 s]
/proc/loadavg: 2.07 2.02 2.17 3/179 15866
/proc/meminfo: memFree=31377712/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=65428 CPUtime=3.09
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 40325 0 0 0 300 9 0 0 25 0 1 0 134484681 66998272 13340 4089446400 4194304 9819077 140733203297440 18446744073709551615 6581282 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 16149 13308 695 1374 0 14770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65428

[startup+6.30048 s]
/proc/loadavg: 2.07 2.02 2.17 3/179 15866
/proc/meminfo: memFree=31377256/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=64800 CPUtime=6.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 108887 0 0 0 609 21 0 0 25 0 1 0 134484681 66355200 13316 4089446400 4194304 9819077 140733203297440 18446744073709551615 7302694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 16200 13316 700 1374 0 14821 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 64800

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.17 3/179 15866
/proc/meminfo: memFree=31377140/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=64752 CPUtime=12.69
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 251806 0 0 0 1229 40 0 0 25 0 1 0 134484681 66306048 13338 4089446400 4194304 9819077 140733203297440 18446744073709551615 7296888 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 16188 13338 700 1374 0 14809 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64752

[startup+25.5011 s]
/proc/loadavg: 2.05 2.02 2.17 3/179 15866
/proc/meminfo: memFree=31376108/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=65148 CPUtime=25.49
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 545299 0 0 0 2463 86 0 0 25 0 1 0 134484681 66711552 13585 4089446400 4194304 9819077 140733203297440 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 16287 13588 700 1374 0 14908 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65148

[startup+51.1005 s]
/proc/loadavg: 2.03 2.02 2.16 3/179 15867
/proc/meminfo: memFree=31367992/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=69044 CPUtime=51.09
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 843866 0 0 0 4945 164 0 0 25 0 1 0 134484681 70701056 15167 4089446400 4194304 9819077 140733203297440 18446744073709551615 6367550 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 17261 15167 701 1374 0 15882 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69044

[startup+102.308 s]
/proc/loadavg: 2.01 2.01 2.15 3/179 15868
/proc/meminfo: memFree=31349236/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=82656 CPUtime=102.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 1486046 0 0 0 9889 341 0 0 25 0 1 0 134484681 84639744 18713 4089446400 4194304 9819077 140733203297440 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 20664 18720 701 1374 0 19285 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 82656

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 15870
/proc/meminfo: memFree=31319056/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=104744 CPUtime=162.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 2104106 0 0 0 15681 549 0 0 25 0 1 0 134484681 107257856 24120 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 26186 24120 701 1374 0 24807 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 104744

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 15872
/proc/meminfo: memFree=31290732/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=128204 CPUtime=222.29
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 2692421 0 0 0 21488 741 0 0 25 0 1 0 134484681 131280896 30191 4089446400 4194304 9819077 140733203297440 18446744073709551615 7263242 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 32051 30192 701 1374 0 30672 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 128204

[startup+282.301 s]
/proc/loadavg: 2.05 2.01 2.12 3/179 15873
/proc/meminfo: memFree=31248908/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=162696 CPUtime=282.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 3415548 0 0 0 27271 959 0 0 25 0 1 0 134484681 166600704 38767 4089446400 4194304 9819077 140733203297440 18446744073709551615 6367489 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 40674 38767 701 1374 0 39295 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 162696

[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.12 3/179 15875
/proc/meminfo: memFree=31211304/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=193996 CPUtime=342.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 4115593 0 0 0 33059 1171 0 0 25 0 1 0 134484681 198651904 46639 4089446400 4194304 9819077 140733203297440 18446744073709551615 5813924 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 48499 46639 701 1374 0 47120 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 193996

[startup+402.301 s]
/proc/loadavg: 2.03 2.02 2.11 3/179 15876
/proc/meminfo: memFree=31165616/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=232244 CPUtime=402.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 4533955 0 0 0 38881 1349 0 0 25 0 1 0 134484681 237817856 56324 4089446400 4194304 9819077 140733203297440 18446744073709551615 6003037 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 58061 56324 701 1374 0 56682 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 232244

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.09 3/179 15878
/proc/meminfo: memFree=31110896/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=282204 CPUtime=462.3
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 4979277 0 0 0 44689 1541 0 0 25 0 1 0 134484681 288976896 68339 4089446400 4194304 9819077 140733203297440 18446744073709551615 6567593 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 70551 68339 702 1374 0 69172 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 282204

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 15880
/proc/meminfo: memFree=31054192/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=330568 CPUtime=522.31
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 5372938 0 0 0 50519 1712 0 0 25 0 1 0 134484681 338501632 80501 4089446400 4194304 9819077 140733203297440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 82642 80501 706 1374 0 81263 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 330568

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 15881
/proc/meminfo: memFree=31000720/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=374168 CPUtime=582.31
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 5872539 0 0 0 56346 1885 0 0 25 0 1 0 134484681 383148032 91445 4089446400 4194304 9819077 140733203297440 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 93542 91445 706 1374 0 92163 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 374168

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 15883
/proc/meminfo: memFree=30947836/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=418136 CPUtime=642.31
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 6267003 0 0 0 62192 2039 0 0 25 0 1 0 134484681 428171264 102511 4089446400 4194304 9819077 140733203297440 18446744073709551615 8656404 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 104534 102511 706 1374 0 103155 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 418136

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 2.05 3/179 15891
/proc/meminfo: memFree=30672708/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=640020 CPUtime=942.31
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 8267363 0 0 0 91386 2845 0 0 25 0 1 0 134484681 655380480 157239 4089446400 4194304 9819077 140733203297440 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 160005 157239 706 1374 0 158626 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 640020

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 15892
/proc/meminfo: memFree=30624804/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=683496 CPUtime=1002.31
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 8836424 0 0 0 97207 3024 0 0 25 0 1 0 134484681 699899904 168175 4089446400 4194304 9819077 140733203297440 18446744073709551615 6361104 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 170874 168175 706 1374 0 169495 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 683496

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 15894
/proc/meminfo: memFree=30577868/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=727016 CPUtime=1062.32
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 9403202 0 0 0 103022 3210 0 0 25 0 1 0 134484681 744464384 179078 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 181754 179078 706 1374 0 180375 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 727016

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 15896
/proc/meminfo: memFree=30529988/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=771148 CPUtime=1122.32
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 9981462 0 0 0 108838 3394 0 0 25 0 1 0 134484681 789655552 190154 4089446400 4194304 9819077 140733203297440 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 192787 190158 706 1374 0 191408 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 771148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 15897
/proc/meminfo: memFree=30485800/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=812020 CPUtime=1182.32
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 10546272 0 0 0 114659 3573 0 0 25 0 1 0 134484681 831508480 200472 4089446400 4194304 9819077 140733203297440 18446744073709551615 6670503 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 203005 200472 706 1374 0 201626 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 812020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 15899
/proc/meminfo: memFree=30437656/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=855388 CPUtime=1242.32
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 11070959 0 0 0 120481 3751 0 0 25 0 1 0 134484681 875917312 211379 4089446400 4194304 9819077 140733203297440 18446744073709551615 4826977 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 213847 211379 706 1374 0 212468 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 855388

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 15900
/proc/meminfo: memFree=30388608/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=899620 CPUtime=1302.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 11644108 0 0 0 126300 3933 0 0 25 0 1 0 134484681 921210880 222498 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 224905 222498 706 1374 0 223526 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 899620

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 15902
/proc/meminfo: memFree=30342948/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=942584 CPUtime=1362.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 12284275 0 0 0 132111 4122 0 0 25 0 1 0 134484681 965206016 233299 4089446400 4194304 9819077 140733203297440 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 235646 233299 706 1374 0 234267 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 942584

[startup+1422.31 s]
/proc/loadavg: 1.88 1.98 2.00 2/171 15926
/proc/meminfo: memFree=30610644/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=985696 CPUtime=1422.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 12928626 0 0 0 137916 4317 0 0 25 0 1 0 134484681 1009352704 244136 4089446400 4194304 9819077 140733203297440 18446744073709551615 8494830 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 246424 244136 706 1374 0 245045 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 985696

[startup+1482.3 s]
/proc/loadavg: 1.32 1.80 1.93 2/171 15927
/proc/meminfo: memFree=30569092/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1028188 CPUtime=1482.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 13542451 0 0 0 143723 4510 0 0 25 0 1 0 134484681 1052864512 254807 4089446400 4194304 9819077 140733203297440 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 257047 254807 706 1374 0 255668 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1028188

[startup+1542.3 s]
/proc/loadavg: 1.12 1.65 1.87 2/171 15929
/proc/meminfo: memFree=30524544/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1071588 CPUtime=1542.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 14176066 0 0 0 149526 4707 0 0 25 0 1 0 134484681 1097306112 265697 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 267897 265697 706 1374 0 266518 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1071588

[startup+1602.3 s]
/proc/loadavg: 1.04 1.53 1.81 2/171 15930
/proc/meminfo: memFree=30483228/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1112644 CPUtime=1602.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 14862370 0 0 0 155327 4906 0 0 25 0 1 0 134484681 1139347456 276057 4089446400 4194304 9819077 140733203297440 18446744073709551615 4332123 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 278161 276057 706 1374 0 276782 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1112644

[startup+1662.3 s]
/proc/loadavg: 1.01 1.43 1.76 2/171 15935
/proc/meminfo: memFree=30438388/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1158096 CPUtime=1662.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 15525116 0 0 0 161127 5106 0 0 25 0 1 0 134484681 1185890304 287459 4089446400 4194304 9819077 140733203297440 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 289524 287459 706 1374 0 288145 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1158096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.35 1.71 2/171 15937
/proc/meminfo: memFree=30397076/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1199808 CPUtime=1722.34
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 16130275 0 0 0 166946 5288 0 0 25 0 1 0 134484681 1228603392 297958 4089446400 4194304 9819077 140733203297440 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 299952 297958 706 1374 0 298573 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1199808

[startup+1782.3 s]
/proc/loadavg: 1.00 1.28 1.66 2/171 15938
/proc/meminfo: memFree=30354636/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1240956 CPUtime=1782.33
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 16813854 0 0 0 172752 5481 0 0 25 0 1 0 134484681 1270738944 308242 4089446400 4194304 9819077 140733203297440 18446744073709551615 4966039 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 310239 308242 706 1374 0 308860 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1240956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.27 1.65 2/171 15939
/proc/meminfo: memFree=30341232/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1253696 CPUtime=1800.04
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 16995380 0 0 0 174462 5542 0 0 25 0 1 0 134484681 1283784704 311513 4089446400 4194304 9819077 140733203297440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15865/statm: 313424 311513 706 1374 0 312045 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1253696

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.27 1.65 2/171 15939
/proc/meminfo: memFree=30341232/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=1253272 CPUtime=1800.23
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 16995383 0 0 0 174481 5542 0 0 25 0 1 0 134484681 1283350528 311425 4089446400 4194304 9819077 140733203297440 18446744073709551615 6179984 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15865/statm: 313318 311425 709 1374 0 311939 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1253272

[startup+1800.6 s]
/proc/loadavg: 1.00 1.26 1.65 2/172 15940
/proc/meminfo: memFree=31330372/32950928 swapFree=67111528/67111528
[pid=15865] ppid=15863 vsize=232192 CPUtime=1800.64
/proc/15865/stat : 15865 (pbscip.linux.x8) R 15863 15865 15240 0 -1 4202496 16995383 0 0 0 174518 5546 0 0 25 0 1 0 134484681 237764608 55899 4089446400 4194304 9819077 140733203297440 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15865/statm: 57792 55899 709 1374 0 56413 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 232192

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.7
CPU user time (s): 1745.22
CPU system time (s): 55.4766
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1253840

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

runsolver used 3.00954 second user time and 6.15706 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 23:04:37
IDJOB=2693241
IDBENCH=79328
IDSOLVER=1205
FILE ID=node120/2693241-1277931877
PBS_JOBID= 11197411
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl--soft-0-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-2693241-1277931877/watcher-2693241-1277931877 -o /tmp/evaluation-result-2693241-1277931877/solver-2693241-1277931877 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693241-1277931877.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8cd432ce35ac43809c1c027beb7ff72a
RANDOM SEED=2145907806

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31428344 kB
Buffers:        217780 kB
Cached:         944420 kB
SwapCached:          0 kB
Active:         763224 kB
Inactive:       615432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31428344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6272 kB
Writeback:           0 kB
AnonPages:      216488 kB
Mapped:          16280 kB
Slab:            79604 kB
PageTables:       5100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   367972 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= 74204 MiB
End job on node120 at 2010-06-30 23:34:39