Trace number 2692332

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.64 1800.63

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-66-100-0.wbo
MD5SUM34826a5359f13c7b3705d5842f0dda66
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark0.034994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2355
Total number of constraints6744
Number of soft constraints2250
Number of constraints which are clauses6568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints176
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 113822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 113821
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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: SoPlex 1.4.2] [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-2692332-1277913046.wbo>
0.00/0.06	c original problem has 6855 variables (4605 bin, 0 int, 0 impl, 2250 cont) and 8995 constraints
0.00/0.06	c problem read
0.00/0.06	c presolving settings loaded
0.09/0.10	c presolving:
0.09/0.13	c (round 1) 56 del vars, 36 del conss, 15 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.13	c (round 2) 64 del vars, 135 del conss, 17 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.14	c (round 3) 75 del vars, 142 del conss, 21 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.14	c (round 4) 81 del vars, 151 del conss, 26 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.15	c (round 5) 90 del vars, 175 del conss, 31 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44867 impls, 0 clqs
0.09/0.15	c (round 6) 123 del vars, 245 del conss, 51 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44941 impls, 0 clqs
0.09/0.15	c (round 7) 147 del vars, 277 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44961 impls, 0 clqs
0.09/0.16	c (round 8) 173 del vars, 302 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.09/0.16	c (round 9) 183 del vars, 315 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.09/0.18	c (round 10) 188 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.19/0.22	c (round 11) 189 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 4282 upgd conss, 45059 impls, 0 clqs
0.69/0.79	c    (0.7s) probing: 1000/4460 (22.4%) - 0 fixings, 13 aggregations, 1854 implications, 0 bound changes
1.10/1.17	c    (1.1s) probing: 2000/4460 (44.8%) - 0 fixings, 18 aggregations, 1926 implications, 0 bound changes
1.19/1.28	c    (1.2s) probing: 2308/4460 (51.7%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.19/1.28	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.19/1.28	c (round 12) 207 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 4282 upgd conss, 56880 impls, 0 clqs
1.29/1.30	c    (1.2s) probing: 2318/4460 (52.0%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.29/1.30	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.29/1.30	c presolving (13 rounds):
1.29/1.30	c  207 deleted vars, 316 deleted constraints, 2258 tightened bounds, 0 added holes, 88 changed sides, 194 changed coefficients
1.29/1.30	c  56880 implications, 0 cliques
1.29/1.30	c presolved problem has 6648 variables (4442 bin, 0 int, 0 impl, 2206 cont) and 8679 constraints
1.29/1.30	c    2206 constraints of type <indicator>
1.29/1.30	c      15 constraints of type <varbound>
1.29/1.30	c     117 constraints of type <knapsack>
1.29/1.30	c    2191 constraints of type <linear>
1.29/1.30	c    4150 constraints of type <logicor>
1.29/1.30	c transformed objective value is always integral (scale: 1)
1.29/1.30	c Presolving Time: 1.17
1.29/1.30	c - non default parameters ----------------------------------------------------------------------
1.29/1.30	c # SCIP version 1.2.1.2
1.29/1.30	c 
1.29/1.30	c # frequency for displaying node information lines
1.29/1.30	c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.30	c display/freq = 10000
1.29/1.30	c 
1.29/1.30	c # maximal time in seconds to run
1.29/1.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.30	c limits/time = 1799.94
1.29/1.30	c 
1.29/1.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.30	c limits/memory = 3420
1.29/1.30	c 
1.29/1.30	c # should presolving try to simplify inequalities
1.29/1.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.30	c constraints/linear/simplifyinequalities = TRUE
1.29/1.30	c 
1.29/1.30	c # should presolving try to simplify knapsacks
1.29/1.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.30	c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.30	c 
1.29/1.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.30	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.30	c separating/rapidlearning/freq = 0
1.29/1.30	c 
1.29/1.30	c -----------------------------------------------------------------------------------------------
1.29/1.30	c start solving
1.29/1.30	c 
1.29/1.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.33	c   1.2s|     1 |     0 |   224 |     - |  28M|   0 | 155 |6648 |8679 |6648 |4233 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.78	c   1.7s|     1 |     0 |  2505 |     - |  28M|   0 | 337 |6648 |8679 |6648 |4374 | 141 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.78	o 110624
1.69/1.78	c y 1.7s|     1 |     0 |  2505 |     - |  28M|   0 | 337 |6648 |8679 |6648 |4374 | 141 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
1.99/2.08	c   2.0s|     1 |     0 |  3006 |     - |  29M|   0 | 357 |6648 |8679 |6648 |4589 | 356 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
2.49/2.54	c   2.4s|     1 |     0 |  3960 |     - |  29M|   0 | 323 |6648 |8679 |6648 |4725 | 492 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
2.89/2.96	c   2.8s|     1 |     0 |  4612 |     - |  29M|   0 | 471 |6648 |8679 |6648 |4842 | 609 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
3.59/3.64	c   3.5s|     1 |     0 |  5775 |     - |  29M|   0 | 452 |6648 |8679 |6648 |4959 | 726 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
4.19/4.27	c   4.1s|     1 |     0 |  6577 |     - |  29M|   0 | 541 |6648 |8679 |6648 |5055 | 822 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
10.28/10.30	c  10.1s|     1 |     2 |  6577 |     - |  30M|   0 | 541 |6648 |8679 |6648 |5055 | 822 |   0 |  28 | 0.000000e+00 | 1.106240e+05 |    Inf 
38.29/38.36	o 110547
38.29/38.36	c y37.8s|    24 |    23 |  9839 | 141.8 |  30M|  22 |   - |6648 |8695 |   0 |   0 | 822 |  16 | 484 | 0.000000e+00 | 1.105470e+05 |    Inf 
140.38/140.42	c   139s| 10000 |  9971 |134963 |  12.8 |  76M| 121 |  31 |6648 |8753 |6648 |4797 |6606 |  74 |2092 | 0.000000e+00 | 1.105470e+05 |    Inf 
200.49/200.50	c   198s| 20000 | 19957 |192217 |   9.3 | 113M| 129 |   0 |6648 |8760 |6648 |4818 |  12k|  82 |2362 | 0.000000e+00 | 1.105470e+05 |    Inf 
264.89/264.96	c   262s| 30000 | 29937 |250579 |   8.1 | 150M| 135 |   0 |6648 |8777 |6648 |4857 |  19k| 100 |3111 | 0.000000e+00 | 1.105470e+05 |    Inf 
326.19/326.23	c   323s| 40000 | 39915 |310266 |   7.6 | 187M| 135 |   0 |6648 |8788 |6648 |4824 |  25k| 115 |3482 | 0.000000e+00 | 1.105470e+05 |    Inf 
400.89/400.93	c   397s| 50000 | 49859 |397806 |   7.8 | 223M| 135 |   0 |6648 |8789 |6648 |4846 |  34k| 148 |4632 | 0.000000e+00 | 1.105470e+05 |    Inf 
469.20/469.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
469.20/469.28	c   464s| 60000 | 59810 |472856 |   7.8 | 261M| 135 |   0 |6648 |8806 |6648 |4830 |  41k| 187 |5374 | 0.000000e+00 | 1.105470e+05 |    Inf 
535.70/535.74	c   530s| 70000 | 69737 |547158 |   7.7 | 298M| 135 |   0 |6648 |8845 |6648 |4863 |  48k| 242 |6127 | 0.000000e+00 | 1.105470e+05 |    Inf 
596.00/596.04	c   590s| 80000 | 79693 |606758 |   7.5 | 335M| 135 |   0 |6648 |8871 |6648 |4814 |  55k| 277 |6542 | 0.000000e+00 | 1.105470e+05 |    Inf 
658.49/658.56	c   651s| 90000 | 89673 |649715 |   7.1 | 372M| 155 |   5 |6648 |8887 |6648 |4836 |  61k| 297 |7044 | 0.000000e+00 | 1.105470e+05 |    Inf 
714.09/714.10	c   706s|100000 | 99665 |662554 |   6.6 | 408M| 157 |   0 |6648 |8890 |6648 |4848 |  64k| 301 |7080 | 0.000000e+00 | 1.105470e+05 |    Inf 
770.80/770.86	c   762s|110000 |109653 |683223 |   6.2 | 444M| 167 |   0 |6648 |8890 |6648 |4822 |  67k| 308 |7163 | 0.000000e+00 | 1.105470e+05 |    Inf 
826.50/826.51	c   816s|120000 |119639 |699096 |   5.8 | 479M| 167 |   0 |6648 |8890 |6648 |4865 |  69k| 317 |7206 | 0.000000e+00 | 1.105470e+05 |    Inf 
883.00/883.00	c   872s|130000 |129623 |716993 |   5.5 | 515M| 173 |   0 |6648 |8888 |6648 |4858 |  71k| 327 |7298 | 0.000000e+00 | 1.105470e+05 |    Inf 
942.10/942.16	c   930s|140000 |139601 |737224 |   5.2 | 550M| 173 |   0 |6648 |8884 |6648 |4864 |  74k| 345 |7612 | 0.000000e+00 | 1.105470e+05 |    Inf 
1000.00/1000.06	c   987s|150000 |149581 |754535 |   5.0 | 586M| 173 |   0 |6648 |8896 |6648 |4853 |  77k| 368 |7869 | 0.000000e+00 | 1.105470e+05 |    Inf 
1056.10/1056.17	c  1042s|160000 |159576 |767260 |   4.8 | 621M| 173 |   0 |6648 |8891 |6648 |4843 |  80k| 370 |8061 | 0.000000e+00 | 1.105470e+05 |    Inf 
1110.20/1110.24	c  1095s|170000 |169574 |775241 |   4.5 | 657M| 173 |   0 |6648 |8888 |6648 |4854 |  82k| 371 |8083 | 0.000000e+00 | 1.105470e+05 |    Inf 
1172.40/1172.40	c  1156s|180000 |179556 |813395 |   4.5 | 693M| 173 | 200 |6648 |8893 |6648 |4787 |  87k| 388 |8400 | 0.000000e+00 | 1.105470e+05 |    Inf 
1236.00/1236.02	c  1219s|190000 |189515 |859432 |   4.5 | 729M| 173 |  70 |6648 |8889 |6648 |4787 |  92k| 424 |8723 | 0.000000e+00 | 1.105470e+05 |    Inf 
1298.20/1298.23	c  1280s|200000 |199469 |905845 |   4.5 | 766M| 173 |   0 |6648 |8902 |6648 |4839 |  98k| 458 |9151 | 0.000000e+00 | 1.105470e+05 |    Inf 
1355.50/1355.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1355.50/1355.51	c  1337s|210000 |209451 |940248 |   4.4 | 802M| 173 |   0 |6648 |8902 |6648 |4845 | 104k| 469 |9704 | 0.000000e+00 | 1.105470e+05 |    Inf 
1408.40/1408.49	c  1390s|220000 |219443 |968811 |   4.4 | 837M| 173 |   0 |6648 |8903 |6648 |4836 | 108k| 473 |9867 | 0.000000e+00 | 1.105470e+05 |    Inf 
1462.30/1462.38	c  1443s|230000 |229421 |  1004k|   4.3 | 873M| 173 |   0 |6648 |8918 |6648 |4854 | 113k| 495 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1518.60/1518.63	c  1499s|240000 |239404 |  1050k|   4.3 | 910M| 173 |   0 |6648 |8924 |6648 |4835 | 119k| 507 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1574.70/1574.72	c  1555s|250000 |249362 |  1096k|   4.4 | 946M| 173 |   1 |6648 |8923 |6648 |4787 | 124k| 538 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1627.50/1627.58	c  1607s|260000 |259350 |  1132k|   4.3 | 982M| 173 |   0 |6648 |8921 |6648 |4823 | 129k| 547 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1679.10/1679.15	c  1658s|270000 |269342 |  1162k|   4.3 |1018M| 173 |   0 |6648 |8926 |6648 |4871 | 134k| 555 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1726.10/1726.11	c  1705s|280000 |279336 |  1169k|   4.2 |1054M| 173 |   0 |6648 |8927 |6648 |4831 | 134k| 559 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1774.80/1774.80	c  1753s|290000 |289332 |  1185k|   4.1 |1090M| 181 |   0 |6648 |8933 |6648 |4859 | 137k| 565 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1800.01/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00	c 
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time (sec) : 1778.28
1800.01/1800.00	c Solving Nodes      : 295599
1800.01/1800.00	c Primal Bound       : +1.10547000000000e+05 (114 solutions)
1800.01/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.00	c Gap                : infinite
1800.01/1800.09	s SATISFIABLE
1800.01/1800.09	v x2355 -x2354 x2353 -x2352 x2351 -x2350 x2349 x2348 -x2347 -x2346 x2345 -x2344 -x2343 x2342 -x2341 -x2340 x2339 -x2338 x2337 -x2336 
1800.01/1800.09	v -x2335 -x2334 -x2333 x2332 x2331 x2330 x2329 x2328 -x2327 -x2326 x2325 -x2324 x2323 x2322 x2321 x2320 -x2319 -x2318 x2317 
1800.01/1800.09	v x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 
1800.01/1800.09	v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 
1800.01/1800.09	v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 
1800.01/1800.09	v -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
1800.01/1800.09	v -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 
1800.01/1800.09	v -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 
1800.01/1800.09	v -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
1800.01/1800.09	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 x2173 
1800.01/1800.09	v -x2172 -x2171 x2170 x2169 -x2168 x2167 x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 x2157 x2156 x2155 x2154 
1800.01/1800.09	v -x2153 x2152 -x2151 x2150 x2149 -x2148 -x2147 x2146 x2145 -x2144 -x2143 x2142 x2141 -x2140 -x2139 -x2138 x2137 -x2136 -x2135 
1800.01/1800.09	v x2134 -x2133 x2132 -x2131 x2130 x2129 -x2128 -x2127 x2126 -x2125 x2124 -x2123 -x2122 x2121 x2120 x2119 x2118 x2117 x2116 
1800.01/1800.09	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
1800.01/1800.09	v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 
1800.01/1800.09	v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 
1800.01/1800.10	v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 
1800.01/1800.10	v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 
1800.01/1800.10	v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
1800.01/1800.10	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 
1800.01/1800.10	v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
1800.01/1800.10	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
1800.01/1800.10	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
1800.01/1800.10	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 x1929 -x1928 x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
1800.01/1800.10	v x1918 x1917 x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 x1904 x1903 x1902 -x1901 -x1900 
1800.01/1800.10	v x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 x1885 -x1884 -x1883 -x1882 
1800.01/1800.10	v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
1800.01/1800.10	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
1800.01/1800.10	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 
1800.01/1800.10	v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 
1800.01/1800.10	v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 x1793 x1792 -x1791 
1800.01/1800.10	v -x1790 -x1789 x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 
1800.01/1800.10	v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 
1800.01/1800.10	v -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 
1800.01/1800.10	v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
1800.01/1800.10	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
1800.01/1800.10	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
1800.01/1800.10	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
1800.01/1800.10	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 
1800.01/1800.10	v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 
1800.01/1800.10	v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 
1800.01/1800.10	v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 
1800.01/1800.10	v x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582 x1581 x1580 x1579 -x1578 -x1577 x1576 -x1575 -x1574 
1800.01/1800.10	v x1573 -x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 -x1564 -x1563 x1562 x1561 x1560 x1559 -x1558 -x1557 x1556 -x1555 
1800.01/1800.10	v -x1554 x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 
1800.01/1800.10	v -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 
1800.01/1800.10	v x1518 x1517 x1516 x1515 x1514 x1513 x1512 -x1511 x1510 -x1509 x1508 -x1507 x1506 -x1505 -x1504 x1503 x1502 x1501 x1500 x1499 
1800.01/1800.10	v x1498 -x1497 x1496 x1495 x1494 x1493 -x1492 -x1491 -x1490 x1489 x1488 -x1487 -x1486 x1485 -x1484 -x1483 -x1482 x1481 -x1480 
1800.01/1800.10	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 x1466 -x1465 -x1464 -x1463 -x1462 -x1461 
1800.01/1800.10	v -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 
1800.01/1800.10	v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 
1800.01/1800.10	v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 
1800.01/1800.10	v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 
1800.01/1800.10	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
1800.01/1800.10	v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
1800.01/1800.10	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
1800.01/1800.10	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
1800.01/1800.10	v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 
1800.01/1800.10	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1800.01/1800.10	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 
1800.01/1800.10	v -x1263 x1262 -x1261 -x1260 -x1259 x1258 x1257 -x1256 x1255 -x1254 -x1253 x1252 x1251 x1250 x1249 -x1248 x1247 -x1246 -x1245 
1800.01/1800.10	v -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 x1228 x1227 
1800.01/1800.10	v x1226 -x1225 -x1224 x1223 x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 x1210 -x1209 -x1208 
1800.01/1800.10	v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 x1191 -x1190 
1800.01/1800.10	v x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 
1800.01/1800.10	v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 
1800.01/1800.10	v x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 
1800.01/1800.10	v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
1800.01/1800.10	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 
1800.01/1800.10	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 x1083 x1082 x1081 
1800.01/1800.10	v x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 
1800.01/1800.10	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
1800.01/1800.10	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
1800.01/1800.10	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 
1800.01/1800.10	v x1008 x1007 x1006 x1005 x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 x991 x990 -x989 -x988 
1800.01/1800.10	v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 
1800.01/1800.10	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 
1800.01/1800.10	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 
1800.01/1800.10	v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 
1800.01/1800.10	v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 
1800.01/1800.10	v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 
1800.01/1800.10	v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 
1800.01/1800.10	v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 
1800.01/1800.10	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 
1800.01/1800.10	v -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 
1800.01/1800.10	v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 
1800.01/1800.10	v x757 x756 x755 x754 x753 x752 -x751 x750 x749 x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 x737 x736 x735 
1800.01/1800.10	v -x734 -x733 -x732 -x731 -x730 x729 x728 x727 x726 x725 -x724 -x723 x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 
1800.01/1800.10	v x712 -x711 x710 x709 x708 x707 x706 x705 -x704 x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 
1800.01/1800.10	v -x690 -x689 x688 x687 x686 x685 x684 -x683 x682 x681 x680 x679 -x678 -x677 -x676 -x675 -x674 x673 x672 x671 x670 x669 -x668 
1800.01/1800.10	v -x667 -x666 -x665 x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
1800.01/1800.10	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 x637 x636 -x635 x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 
1800.01/1800.10	v -x624 -x623 x622 -x621 x620 x619 x618 x617 x616 x615 x614 x613 -x612 x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 
1800.01/1800.10	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
1800.01/1800.10	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 x571 x570 x569 x568 x567 x566 x565 x564 x563 -x562 -x561 -x560 -x559 
1800.01/1800.10	v x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 -x539 -x538 
1800.01/1800.10	v x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 x526 -x525 -x524 -x523 -x522 x521 x520 x519 x518 x517 x516 -x515 
1800.01/1800.10	v -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 x494 
1800.01/1800.10	v x493 x492 -x491 -x490 -x489 x488 x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 
1800.01/1800.10	v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 x461 x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 x450 
1800.01/1800.10	v -x449 -x448 x447 -x446 x445 -x444 x443 x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 x429 x428 
1800.01/1800.10	v -x427 x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 
1800.01/1800.10	v -x406 -x405 -x404 -x403 x402 x401 -x400 -x399 -x398 -x397 x396 x395 -x394 -x393 -x392 x391 -x390 x389 x388 -x387 -x386 -x385 
1800.01/1800.10	v -x384 -x383 x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 
1800.01/1800.10	v -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 
1800.01/1800.10	v -x341 -x340 -x339 -x338 -x337 x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
1800.01/1800.10	v -x320 -x319 -x318 -x317 x316 x315 x314 -x313 -x312 -x311 -x310 x309 -x308 x307 x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 
1800.01/1800.10	v x298 x297 -x296 x295 -x294 -x293 x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 x278 x277 
1800.01/1800.10	v -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 x257 -x256 -x255 
1800.01/1800.10	v -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
1800.01/1800.10	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
1800.01/1800.10	v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 
1800.01/1800.10	v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 
1800.01/1800.10	v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 -x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 -x150 
1800.01/1800.10	v x149 -x148 x147 -x146 x145 x144 x143 x142 x141 -x140 -x139 x138 x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 
1800.01/1800.10	v x126 x125 x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 x112 x111 -x110 -x109 -x108 -x107 x106 -x105 
1800.01/1800.10	v -x104 -x103 -x102 x101 x100 x99 x98 x97 x96 -x95 x94 x93 x92 -x91 -x90 x89 -x88 x87 x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 
1800.01/1800.10	v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 
1800.01/1800.10	v -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 x40 x39 -x38 -x37 x36 -x35 x34 -x33 x32 x31 -x30 -x29 x28 -x27 x26 
1800.01/1800.10	v x25 -x24 -x23 x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 -x12 x11 x10 x9 x8 x7 x6 x5 x4 -x3 -x2 -x1 
1800.01/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.10	c Solving Time       :    1778.28
1800.01/1800.10	c Original Problem   :
1800.01/1800.10	c   Problem name     : HOME/instance-2692332-1277913046.wbo
1800.01/1800.10	c   Variables        : 6855 (4605 binary, 0 integer, 0 implicit integer, 2250 continuous)
1800.01/1800.10	c   Constraints      : 8995 initial, 8995 maximal
1800.01/1800.10	c Presolved Problem  :
1800.01/1800.10	c   Problem name     : t_HOME/instance-2692332-1277913046.wbo
1800.01/1800.10	c   Variables        : 6648 (4442 binary, 0 integer, 0 implicit integer, 2206 continuous)
1800.01/1800.10	c   Constraints      : 8679 initial, 8936 maximal
1800.01/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.10	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.10	c   dualfix          :       0.00         88          0          0          0          0          0          0          0
1800.01/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.10	c   implics          :       0.01          0         47          0          0          0          0          0          0
1800.01/1800.10	c   probing          :       1.03          0         18          0          0          0          0          0          0
1800.01/1800.10	c   indicator        :       0.00          0          0          0          0          0         44          0          0
1800.01/1800.10	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.10	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.10	c   linear           :       0.08         52          2          0       2258          0        272         88        194
1800.01/1800.10	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.01/1800.10	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.10	c   integral         :          0          0          0     313522          0          0         33          0          0     114706
1800.01/1800.10	c   indicator        :       2206          0    1039868     256146          0          0     122697          0          0          0
1800.01/1800.10	c   varbound         :         15          6    1039868     256146          0          0       6670          8          0          0
1800.01/1800.10	c   knapsack         :        117          6    1039868     256141          0        302      41883        499          0          0
1800.01/1800.10	c   linear           :       2191          6    1039566     256141          0          0     106498     137186          0          0
1800.01/1800.10	c   logicor          :       4150+         6     853088     237913          0         30    1904570          0          0          0
1800.01/1800.10	c   countsols        :          0          0          0     237913          0          0          0          0          0          0
1800.01/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.10	c   integral         :     128.82       0.00       0.00     128.82       0.00
1800.01/1800.10	c   indicator        :     105.49       0.03      27.17      78.29       0.00
1800.01/1800.10	c   varbound         :       0.93       0.00       0.45       0.48       0.00
1800.01/1800.10	c   knapsack         :       2.61       0.00       1.79       0.82       0.00
1800.01/1800.10	c   linear           :     116.53       0.00      20.04      96.49       0.00
1800.01/1800.10	c   logicor          :      40.33       0.00       7.10      33.23       0.00
1800.01/1800.10	c   countsols        :       0.08       0.00       0.00       0.08       0.00
1800.01/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.10	c   vbounds          :       1.33      98277          0        476
1800.01/1800.10	c   rootredcost      :       0.19          2          0          0
1800.01/1800.10	c   pseudoobj        :      52.31    1034470          0          0
1800.01/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.10	c   propagation      :       0.00        332        332        704        8.5          8        7.1          -
1800.01/1800.10	c   infeasible LP    :       0.05         49         49         49        3.4          0        0.0          0
1800.01/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.10	c   applied globally :          -          -          -        568        7.6          -          -          -
1800.01/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.10	c   cut pool         :       0.00          5          -          -        355          -    (maximal pool size: 1311)
1800.01/1800.10	c   redcost          :      42.60     313262          0          0          0          0
1800.01/1800.10	c   impliedbounds    :       0.00          6          0          0         71          0
1800.01/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.10	c   gomory           :       0.41          6          0          0       2525          0
1800.01/1800.10	c   strongcg         :       0.46          6          0          0       1364          0
1800.01/1800.10	c   cmir             :       0.22          6          0          0         56          0
1800.01/1800.10	c   flowcover        :       0.49          6          0          0        620          0
1800.01/1800.10	c   clique           :       0.02          6          0          0         13          0
1800.01/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.10	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.10	c Pricers            :       Time      Calls       Vars
1800.01/1800.10	c   problem variables:       0.00          0          0
1800.01/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.10	c   relpscost        :     128.62      57376          0         33          0          0     114706
1800.01/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.10	c   inference        :     146.22     237913          0          0          0          0     475826
1800.01/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.10	c   LP solutions     :       0.00          -          0
1800.01/1800.10	c   pseudo solutions :       0.00          -          0
1800.01/1800.10	c   oneopt           :       0.30          2          0
1800.01/1800.10	c   feaspump         :       0.13          1          0
1800.01/1800.10	c   intshifting      :       0.02         10          0
1800.01/1800.10	c   crossover        :       0.60         10          0
1800.01/1800.10	c   fracdiving       :       7.76       3635          0
1800.01/1800.10	c   veclendiving     :       7.79       3635          0
1800.01/1800.10	c   linesearchdiving :       7.66       3635          0
1800.01/1800.10	c   guideddiving     :       7.02       3635          0
1800.01/1800.10	c   coefdiving       :       7.79       3635          0
1800.01/1800.10	c   pscostdiving     :       7.44       3636          0
1800.01/1800.10	c   objpscostdiving  :       7.40       3630          0
1800.01/1800.10	c   rootsoldiving    :       7.41       3630          0
1800.01/1800.10	c   trivial          :       0.02          2          0
1800.01/1800.10	c   simplerounding   :       0.47      52469          0
1800.01/1800.10	c   zirounding       :       0.29       1000          0
1800.01/1800.10	c   rounding         :       0.93       3228          0
1800.01/1800.10	c   shifting         :       2.47       1004          0
1800.01/1800.10	c   twoopt           :       0.00          0          0
1800.01/1800.10	c   fixandinfer      :       0.00          0          0
1800.01/1800.10	c   intdiving        :       0.00          0          0
1800.01/1800.10	c   actconsdiving    :       0.00          0          0
1800.01/1800.10	c   octane           :       0.00          0          0
1800.01/1800.10	c   rens             :       0.08          1          0
1800.01/1800.10	c   rins             :       0.00          0          0
1800.01/1800.10	c   localbranching   :       0.00          0          0
1800.01/1800.10	c   mutation         :       0.00          0          0
1800.01/1800.10	c   dins             :       0.00          0          0
1800.01/1800.10	c   undercover       :       0.00          0          0
1800.01/1800.10	c   nlp              :       0.13          0          0
1800.01/1800.10	c   trysol           :       0.45       4845        114
1800.01/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.10	c   dual LP          :     737.97      75285    1177412      15.64    1595.47
1800.01/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.10	c   diving/probing LP:       3.07        760       9850      12.96    3208.47
1800.01/1800.10	c   strong branching :     127.44      10482     324365      30.94    2545.24
1800.01/1800.10	c     (at root node) :          -         28      16406     585.93          -
1800.01/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.10	c B&B Tree           :
1800.01/1800.10	c   number of runs   :          1
1800.01/1800.10	c   nodes            :     295599
1800.01/1800.10	c   nodes (total)    :     295599
1800.01/1800.10	c   nodes left       :     294929
1800.01/1800.10	c   max depth        :        187
1800.01/1800.10	c   max depth (total):        187
1800.01/1800.10	c   backtracks       :       3694 (1.2%)
1800.01/1800.10	c   delayed cutoffs  :          5
1800.01/1800.10	c   repropagations   :       2360 (2062 domain reductions, 0 cutoffs)
1800.01/1800.10	c   avg switch length:       2.26
1800.01/1800.10	c   switching time   :      47.08
1800.01/1800.10	c Solution           :
1800.01/1800.10	c   Solutions found  :        114 (2 improvements)
1800.01/1800.10	c   First Solution   : +1.10624000000000e+05   (in run 1, after 1 nodes, 1.66 seconds, depth 0, found by <trysol>)
1800.01/1800.10	c   Primal Bound     : +1.10547000000000e+05   (in run 1, after 23 nodes, 37.82 seconds, depth 97, found by <trysol>)
1800.01/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.10	c   Gap              :   infinite
1800.01/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.10	c   Root Iterations  :       6577
1800.61/1800.62	c Time complete: 1800.63.

Verifier Data 

OK	4875

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692332-1277913046/watcher-2692332-1277913046 -o /tmp/evaluation-result-2692332-1277913046/solver-2692332-1277913046 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692332-1277913046.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.00 2.00 2.01 4/176 13669
/proc/meminfo: memFree=31312020/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=9144 CPUtime=0
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1603 0 0 0 0 0 0 0 25 0 1 0 132601167 9363456 1522 4089446400 4194304 8223781 140735386051168 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13669/statm: 2286 1522 369 984 0 1299 0

[startup+0.0873911 s]
/proc/loadavg: 2.00 2.00 2.01 4/176 13669
/proc/meminfo: memFree=31312020/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=34072 CPUtime=0.08
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 8116 0 0 0 8 0 0 0 25 0 1 0 132601167 34889728 7671 4089446400 4194304 8223781 140735386051168 18446744073709551615 7257375 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13669/statm: 8518 7674 387 984 0 7531 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34072

[startup+0.100387 s]
/proc/loadavg: 2.00 2.00 2.01 4/176 13669
/proc/meminfo: memFree=31312020/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=39216 CPUtime=0.09
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 9081 0 0 0 9 0 0 0 25 0 1 0 132601167 40157184 8636 4089446400 4194304 8223781 140735386051168 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13669/statm: 9804 8639 422 984 0 8817 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39216

[startup+0.300352 s]
/proc/loadavg: 2.00 2.00 2.01 4/176 13669
/proc/meminfo: memFree=31312020/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=45640 CPUtime=0.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 15169 0 0 0 26 3 0 0 25 0 1 0 132601167 46735360 10347 4089446400 4194304 8223781 140735386051168 18446744073709551615 4947985 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13669/statm: 11410 10347 486 984 0 10423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45640

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.01 4/176 13669
/proc/meminfo: memFree=31312020/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=46560 CPUtime=0.69
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 15415 0 0 0 66 3 0 0 25 0 1 0 132601167 47677440 10593 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 11640 10593 486 984 0 10653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46560

[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 13670
/proc/meminfo: memFree=31271216/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=57148 CPUtime=1.49
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 19628 0 0 0 145 4 0 0 25 0 1 0 132601167 58519552 13278 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 14287 13278 570 984 0 13300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57148

[startup+3.10086 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 13670
/proc/meminfo: memFree=31258776/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=61424 CPUtime=3.09
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 22222 0 0 0 303 6 0 0 25 0 1 0 132601167 62898176 14175 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 15356 14175 593 984 0 14369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61424

[startup+6.30031 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13670
/proc/meminfo: memFree=31251184/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=68044 CPUtime=6.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 46737 0 0 0 618 11 0 0 25 0 1 0 132601167 69677056 15860 4089446400 4194304 8223781 140735386051168 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 17011 15860 604 984 0 16024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68044

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 13671
/proc/meminfo: memFree=31252488/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=67624 CPUtime=12.69
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 73868 0 0 0 1251 18 0 0 25 0 1 0 132601167 69246976 15763 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 16906 15763 604 984 0 15919 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67624

[startup+25.501 s]
/proc/loadavg: 2.06 2.02 2.01 3/177 13671
/proc/meminfo: memFree=31253032/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=67544 CPUtime=25.49
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 134252 0 0 0 2519 30 0 0 25 0 1 0 132601167 69165056 15749 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 16886 15749 604 984 0 15899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67544

[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.01 3/177 13671
/proc/meminfo: memFree=31251640/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=70268 CPUtime=51.09
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 307894 0 0 0 5048 61 0 0 25 0 1 0 132601167 71954432 16175 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 17567 16175 607 984 0 16580 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70268

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13673
/proc/meminfo: memFree=31221732/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=98448 CPUtime=102.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 613372 0 0 0 10102 128 0 0 25 0 1 0 132601167 100810752 23208 4089446400 4194304 8223781 140735386051168 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 24612 23208 611 984 0 23625 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 98448

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13674
/proc/meminfo: memFree=31190824/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=130420 CPUtime=162.28
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 852651 0 0 0 16032 196 0 0 25 0 1 0 132601167 133550080 31184 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 32605 31184 609 984 0 31618 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 130420

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13675
/proc/meminfo: memFree=31150120/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=169000 CPUtime=222.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1010598 0 0 0 21981 248 0 0 25 0 1 0 132601167 173056000 40897 4089446400 4194304 8223781 140735386051168 18446744073709551615 5002109 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 42250 40897 609 984 0 41263 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 169000

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13677
/proc/meminfo: memFree=31116748/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=202824 CPUtime=282.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1245853 0 0 0 27916 313 0 0 25 0 1 0 132601167 207691776 49343 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 50706 49343 622 984 0 49719 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 202824

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13679
/proc/meminfo: memFree=31080996/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=237556 CPUtime=342.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1431877 0 0 0 33856 374 0 0 25 0 1 0 132601167 243257344 58057 4089446400 4194304 8223781 140735386051168 18446744073709551615 6483609 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 59389 58057 609 984 0 58402 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237556

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13681
/proc/meminfo: memFree=31049100/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=269704 CPUtime=402.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1660492 0 0 0 39791 438 0 0 25 0 1 0 132601167 276176896 66121 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 67426 66121 609 984 0 66439 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 269704

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13683
/proc/meminfo: memFree=31013616/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=305436 CPUtime=462.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 1884351 0 0 0 45729 501 0 0 25 0 1 0 132601167 312766464 75075 4089446400 4194304 8223781 140735386051168 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 76359 75075 609 984 0 75372 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 305436

[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13683
/proc/meminfo: memFree=30979736/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=340232 CPUtime=522.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 2117598 0 0 0 51662 568 0 0 25 0 1 0 132601167 348397568 83313 4089446400 4194304 8223781 140735386051168 18446744073709551615 6003021 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 85058 83313 609 984 0 84071 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 340232

[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 13685
/proc/meminfo: memFree=30937548/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=382868 CPUtime=582.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 2282706 0 0 0 57602 628 0 0 25 0 1 0 132601167 392056832 93995 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 95717 93995 609 984 0 94730 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 382868

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13696
/proc/meminfo: memFree=30900484/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=417292 CPUtime=642.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 2494936 0 0 0 63510 720 0 0 25 0 1 0 132601167 427307008 102638 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 104323 102638 609 984 0 103336 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 417292

[startup+702.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13704
/proc/meminfo: memFree=30712952/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=603360 CPUtime=942.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 2861925 0 0 0 93023 1207 0 0 25 0 1 0 132601167 617840640 149367 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 150840 149367 609 984 0 149853 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 603360

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13706
/proc/meminfo: memFree=30672376/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=641484 CPUtime=1002.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 2954620 0 0 0 98921 1309 0 0 25 0 1 0 132601167 656879616 158953 4089446400 4194304 8223781 140735386051168 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 160371 158953 609 984 0 159384 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 641484

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13707
/proc/meminfo: memFree=30635524/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=680228 CPUtime=1062.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3023523 0 0 0 104824 1406 0 0 25 0 1 0 132601167 696553472 168683 4089446400 4194304 8223781 140735386051168 18446744073709551615 6002984 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 170057 168683 609 984 0 169070 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 680228

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13708
/proc/meminfo: memFree=30594940/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=715936 CPUtime=1122.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3095188 0 0 0 110722 1508 0 0 25 0 1 0 132601167 733118464 177644 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 178984 177644 609 984 0 177997 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 715936

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13710
/proc/meminfo: memFree=30557092/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=752780 CPUtime=1182.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3221109 0 0 0 116612 1618 0 0 25 0 1 0 132601167 770846720 186896 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13669/statm: 188195 186896 609 984 0 187208 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 752780

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13740
/proc/meminfo: memFree=30520404/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=784704 CPUtime=1242.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3354908 0 0 0 122505 1725 0 0 25 0 1 0 132601167 803536896 194918 4089446400 4194304 8223781 140735386051168 18446744073709551615 4633276 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13669/statm: 196176 194918 609 984 0 195189 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 784704

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13742
/proc/meminfo: memFree=30436060/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=824008 CPUtime=1302.31
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3525875 0 0 0 128450 1781 0 0 25 0 1 0 132601167 843784192 203736 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13669/statm: 206002 203736 609 984 0 205015 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 824008

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13744
/proc/meminfo: memFree=30395872/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=861888 CPUtime=1362.29
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3705129 0 0 0 134392 1837 0 0 25 0 1 0 132601167 882573312 213266 4089446400 4194304 8223781 140735386051168 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 215472 213266 609 984 0 214485 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 861888

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13744
/proc/meminfo: memFree=30356172/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=901220 CPUtime=1422.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3813021 0 0 0 140348 1882 0 0 25 0 1 0 132601167 922849280 223143 4089446400 4194304 8223781 140735386051168 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 225305 223143 609 984 0 224318 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 901220

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13746
/proc/meminfo: memFree=30313368/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=939644 CPUtime=1482.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 3941624 0 0 0 146297 1933 0 0 25 0 1 0 132601167 962195456 232756 4089446400 4194304 8223781 140735386051168 18446744073709551615 6439615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 234911 232756 619 984 0 233924 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 939644

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13748
/proc/meminfo: memFree=30265480/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=980984 CPUtime=1542.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4087330 0 0 0 152242 1988 0 0 25 0 1 0 132601167 1004527616 243106 4089446400 4194304 8223781 140735386051168 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 245246 243106 609 984 0 244259 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 980984

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13750
/proc/meminfo: memFree=30202588/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1018060 CPUtime=1602.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4211710 0 0 0 158194 2036 0 0 25 0 1 0 132601167 1042493440 252485 4089446400 4194304 8223781 140735386051168 18446744073709551615 6329557 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 254515 252485 609 984 0 253528 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1018060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13752
/proc/meminfo: memFree=30143284/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1060812 CPUtime=1662.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4306555 0 0 0 164150 2080 0 0 25 0 1 0 132601167 1086271488 263198 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 265203 263198 609 984 0 264216 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1060812

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13752
/proc/meminfo: memFree=30078764/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1101228 CPUtime=1722.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4353673 0 0 0 170116 2114 0 0 25 0 1 0 132601167 1127657472 273352 4089446400 4194304 8223781 140735386051168 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 275307 273352 609 984 0 274320 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1101228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13754
/proc/meminfo: memFree=30015868/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1143988 CPUtime=1782.3
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4427419 0 0 0 176074 2156 0 0 25 0 1 0 132601167 1171443712 284102 4089446400 4194304 8223781 140735386051168 18446744073709551615 6439545 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 285997 284102 609 984 0 285010 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1143988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13755
/proc/meminfo: memFree=30002720/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1156168 CPUtime=1800.01
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4437834 0 0 0 177834 2167 0 0 25 0 1 0 132601167 1183916032 287161 4089446400 4194304 8223781 140735386051168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13669/statm: 289042 287161 609 984 0 288055 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1156168

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: 2.00 2.00 2.00 3/177 13755
/proc/meminfo: memFree=30002720/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=1156168 CPUtime=1800.2
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4437836 0 0 0 177853 2167 0 0 25 0 1 0 132601167 1183916032 287163 4089446400 4194304 8223781 140735386051168 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13669/statm: 289042 287163 611 984 0 288055 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1156168

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13756
/proc/meminfo: memFree=30890428/32951132 swapFree=67111528/67111528
[pid=13669] ppid=13667 vsize=262264 CPUtime=1800.61
/proc/13669/stat : 13669 (pbscip.linux.x8) R 13667 13669 13334 0 -1 4202496 4437836 0 0 0 177890 2171 0 0 25 0 1 0 132601167 268558336 63694 4089446400 4194304 8223781 140735386051168 18446744073709551615 6207010 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13669/statm: 65566 63694 611 984 0 64579 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 262264

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.64
CPU user time (s): 1778.91
CPU system time (s): 21.7227
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1156168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.91
system time used= 21.7227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4437840
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= 1
involuntary context switches= 2508

runsolver used 3.17552 second user time and 6.26105 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 17:50:46
IDJOB=2692332
IDBENCH=79008
IDSOLVER=1204
FILE ID=node131/2692332-1277913046
PBS_JOBID= 11197294
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692332-1277913046/watcher-2692332-1277913046 -o /tmp/evaluation-result-2692332-1277913046/solver-2692332-1277913046 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692332-1277913046.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 34826a5359f13c7b3705d5842f0dda66
RANDOM SEED=1547054140

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31312548 kB
Buffers:        200404 kB
Cached:        1140568 kB
SwapCached:          0 kB
Active:         679716 kB
Inactive:       812192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31312548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4924 kB
Writeback:           0 kB
AnonPages:      150396 kB
Mapped:          17260 kB
Slab:            81440 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   298056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node131 at 2010-06-30 18:20:48