Trace number 2692972

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.72 1800.68

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: 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-2692972-1277913049.wbo>
0.01/0.06	c original problem has 6855 variables (4605 bin, 0 int, 0 impl, 2250 cont) and 8995 constraints
0.01/0.06	c problem read
0.01/0.06	c presolving settings loaded
0.01/0.09	c presolving:
0.09/0.12	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.12	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.12	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.13	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.13	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.14	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.14	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.14	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.15	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.16	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.09/0.19	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.68/0.74	c    (0.6s) probing: 1000/4460 (22.4%) - 0 fixings, 13 aggregations, 1854 implications, 0 bound changes
1.09/1.11	c    (1.0s) probing: 2000/4460 (44.8%) - 0 fixings, 18 aggregations, 1926 implications, 0 bound changes
1.19/1.22	c    (1.1s) probing: 2308/4460 (51.7%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.19/1.22	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.19/1.22	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.19/1.24	c    (1.1s) probing: 2318/4460 (52.0%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.19/1.24	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.19/1.24	c presolving (13 rounds):
1.19/1.24	c  207 deleted vars, 316 deleted constraints, 2258 tightened bounds, 0 added holes, 88 changed sides, 194 changed coefficients
1.19/1.24	c  56880 implications, 0 cliques
1.19/1.24	c presolved problem has 6648 variables (4442 bin, 0 int, 0 impl, 2206 cont) and 8679 constraints
1.19/1.24	c    2206 constraints of type <indicator>
1.19/1.24	c      15 constraints of type <varbound>
1.19/1.24	c     117 constraints of type <knapsack>
1.19/1.24	c    2191 constraints of type <linear>
1.19/1.24	c    4150 constraints of type <logicor>
1.19/1.24	c transformed objective value is always integral (scale: 1)
1.19/1.24	c Presolving Time: 1.07
1.19/1.24	c - non default parameters ----------------------------------------------------------------------
1.19/1.24	c # SCIP version 1.2.1.2
1.19/1.24	c 
1.19/1.24	c # frequency for displaying node information lines
1.19/1.24	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.24	c display/freq = 10000
1.19/1.24	c 
1.19/1.24	c # maximal time in seconds to run
1.19/1.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24	c limits/time = 1799.95
1.19/1.24	c 
1.19/1.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24	c limits/memory = 3420
1.19/1.24	c 
1.19/1.24	c # should presolving try to simplify inequalities
1.19/1.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24	c constraints/linear/simplifyinequalities = TRUE
1.19/1.24	c 
1.19/1.24	c # should presolving try to simplify knapsacks
1.19/1.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.24	c 
1.19/1.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.24	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24	c separating/rapidlearning/freq = 0
1.19/1.24	c 
1.19/1.24	c -----------------------------------------------------------------------------------------------
1.19/1.24	c start solving
1.19/1.25	c 
1.19/1.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.27	c   1.1s|     1 |     0 |   179 |     - |  28M|   0 | 108 |6648 |8679 |6648 |4233 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.54	c   1.4s|     1 |     0 |   480 |     - |  28M|   0 | 319 |6648 |8679 |6648 |4388 | 155 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.55	o 110624
1.49/1.55	c y 1.4s|     1 |     0 |   480 |     - |  28M|   0 | 319 |6648 |8679 |6648 |4388 | 155 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
1.79/1.84	c   1.6s|     1 |     0 |   823 |     - |  29M|   0 | 407 |6648 |8679 |6648 |4539 | 306 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
2.19/2.26	c   2.1s|     1 |     0 |  1647 |     - |  29M|   0 | 605 |6648 |8679 |6648 |4676 | 443 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
2.59/2.67	c   2.5s|     1 |     0 |  1909 |     - |  29M|   0 | 584 |6648 |8679 |6648 |4825 | 592 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
2.99/3.08	c   2.9s|     1 |     0 |  2063 |     - |  29M|   0 | 607 |6648 |8679 |6648 |4878 | 645 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
3.49/3.58	c   3.4s|     1 |     0 |  2538 |     - |  29M|   0 | 630 |6648 |8679 |6648 |4926 | 693 |   0 |   0 | 0.000000e+00 | 1.106240e+05 |    Inf 
4.79/4.86	c   4.6s|     1 |     2 |  2538 |     - |  29M|   0 | 630 |6648 |8679 |6648 |4926 | 693 |   0 |  18 | 0.000000e+00 | 1.106240e+05 |    Inf 
19.29/19.38	o 110620
19.29/19.38	c y19.0s|    18 |    17 |  4922 | 140.2 |  29M|  16 |   - |6648 |8696 |   0 |   0 | 693 |  17 | 370 | 0.000000e+00 | 1.106200e+05 |    Inf 
31.38/31.46	o 110547
31.38/31.46	c y30.9s|    44 |    43 |  9072 | 152.0 |  30M|  16 |   - |6648 |8709 |   0 |   0 | 693 |  30 | 796 | 0.000000e+00 | 1.105470e+05 |    Inf 
102.59/102.66	c   100s| 10000 |  9979 |101722 |   9.9 |  74M| 127 |   0 |6648 |8807 |6648 |4785 |  12k| 129 |2158 | 0.000000e+00 | 1.105470e+05 |    Inf 
158.49/158.52	c   155s| 20000 | 19967 |149316 |   7.3 | 110M| 155 |   0 |6648 |8813 |6648 |4764 |  22k| 135 |3046 | 0.000000e+00 | 1.105470e+05 |    Inf 
203.09/203.12	c   198s| 30000 | 29953 |170757 |   5.6 | 145M| 155 |   0 |6648 |8815 |6648 |4794 |  24k| 145 |3353 | 0.000000e+00 | 1.105470e+05 |    Inf 
243.80/243.83	c   238s| 40000 | 39943 |179093 |   4.4 | 181M| 159 |   0 |6648 |8818 |6648 |4788 |  25k| 150 |3363 | 0.000000e+00 | 1.105470e+05 |    Inf 
284.59/284.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.59/284.68	c   277s| 50000 | 49943 |184238 |   3.6 | 216M| 159 |   0 |6648 |8818 |6648 |4787 |  26k| 150 |3364 | 0.000000e+00 | 1.105470e+05 |    Inf 
330.20/330.27	c   322s| 60000 | 59939 |205595 |   3.4 | 251M| 159 |  12 |6648 |8810 |6648 |4702 |  29k| 152 |3512 | 0.000000e+00 | 1.105470e+05 |    Inf 
378.41/378.44	c   369s| 70000 | 69915 |225189 |   3.2 | 287M| 159 |   0 |6648 |8808 |6648 |4798 |  33k| 164 |3939 | 0.000000e+00 | 1.105470e+05 |    Inf 
434.19/434.29	c   424s| 80000 | 79913 |255470 |   3.2 | 322M| 159 |   0 |6648 |8805 |6648 |4802 |  42k| 165 |4162 | 0.000000e+00 | 1.105470e+05 |    Inf 
490.20/490.26	c   479s| 90000 | 89887 |284420 |   3.1 | 358M| 159 |   4 |6648 |8799 |6648 |4702 |  48k| 181 |4575 | 0.000000e+00 | 1.105470e+05 |    Inf 
550.80/550.82	c   538s|100000 | 99869 |328690 |   3.3 | 393M| 159 |   0 |6648 |8796 |6648 |4777 |  58k| 195 |5439 | 0.000000e+00 | 1.105470e+05 |    Inf 
610.00/610.03	c   597s|110000 |109835 |376185 |   3.4 | 429M| 159 |   0 |6648 |8801 |6648 |4760 |  68k| 214 |6111 | 0.000000e+00 | 1.105470e+05 |    Inf 
669.40/669.40	c   655s|120000 |119821 |417970 |   3.5 | 465M| 159 |   0 |6648 |8803 |6648 |4777 |  77k| 224 |6706 | 0.000000e+00 | 1.105470e+05 |    Inf 
729.60/729.69	c   714s|130000 |129807 |460186 |   3.5 | 501M| 159 | 140 |6648 |8810 |6648 |4702 |  87k| 235 |7436 | 0.000000e+00 | 1.105470e+05 |    Inf 
786.70/786.74	c   770s|140000 |139771 |494518 |   3.5 | 536M| 159 |  11 |6648 |8819 |6648 |4702 |  91k| 258 |8016 | 0.000000e+00 | 1.105470e+05 |    Inf 
841.00/841.06	c   824s|150000 |149751 |531015 |   3.5 | 572M| 159 |   0 |6648 |8823 |6648 |4820 | 102k| 272 |8119 | 0.000000e+00 | 1.105470e+05 |    Inf 
902.61/902.60	c   884s|160000 |159709 |586206 |   3.6 | 608M| 159 |   0 |6648 |8838 |6648 |4800 | 112k| 303 |8929 | 0.000000e+00 | 1.105470e+05 |    Inf 
955.70/955.76	c   937s|170000 |169703 |605474 |   3.5 | 643M| 159 |   0 |6648 |8836 |6648 |4806 | 116k| 309 |9165 | 0.000000e+00 | 1.105470e+05 |    Inf 
1012.41/1012.41	c   992s|180000 |179681 |643561 |   3.6 | 679M| 161 |   0 |6648 |8830 |6648 |4774 | 123k| 323 |9521 | 0.000000e+00 | 1.105470e+05 |    Inf 
1063.72/1063.72	c  1043s|190000 |189681 |661284 |   3.5 | 714M| 189 |   0 |6648 |8830 |6648 |4793 | 127k| 323 |9552 | 0.000000e+00 | 1.105470e+05 |    Inf 
1113.51/1113.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1113.51/1113.58	c  1093s|200000 |199677 |676537 |   3.4 | 748M| 189 |   0 |6648 |8831 |6648 |4773 | 131k| 325 |9584 | 0.000000e+00 | 1.105470e+05 |    Inf 
1162.52/1162.50	c  1141s|210000 |209677 |687905 |   3.3 | 783M| 189 |   0 |6648 |8831 |6648 |4783 | 133k| 325 |9647 | 0.000000e+00 | 1.105470e+05 |    Inf 
1211.62/1211.64	c  1190s|220000 |219677 |696290 |   3.2 | 818M| 191 |   0 |6648 |8831 |6648 |4769 | 135k| 325 |9848 | 0.000000e+00 | 1.105470e+05 |    Inf 
1262.62/1262.65	c  1240s|230000 |229677 |705846 |   3.1 | 853M| 191 |   0 |6648 |8830 |6648 |4779 | 137k| 325 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1312.02/1312.09	c  1289s|240000 |239677 |714287 |   3.0 | 887M| 191 |   0 |6648 |8830 |6648 |4795 | 138k| 325 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1359.72/1359.73	c  1337s|250000 |249677 |722228 |   2.9 | 922M| 191 |   0 |6648 |8830 |6648 |4785 | 139k| 325 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1407.22/1407.25	c  1384s|260000 |259677 |726859 |   2.8 | 957M| 191 |   0 |6648 |8829 |6648 |4789 | 139k| 325 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1460.62/1460.62	c  1437s|270000 |269665 |745736 |   2.8 | 992M| 191 |   0 |6648 |8832 |6648 |4784 | 144k| 333 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1513.93/1513.94	c  1489s|280000 |279657 |772661 |   2.8 |1028M| 191 |   0 |6648 |8831 |6648 |4786 | 151k| 338 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1564.23/1564.29	c  1539s|290000 |289653 |790331 |   2.7 |1062M| 191 |   0 |6648 |8833 |6648 |4805 | 156k| 341 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1613.82/1613.86	c  1588s|300000 |299653 |803506 |   2.7 |1097M| 191 |   0 |6648 |8833 |6648 |4792 | 159k| 341 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1663.84/1663.89	c  1638s|310000 |309653 |817250 |   2.6 |1132M| 191 |   0 |6648 |8832 |6648 |4811 | 163k| 341 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1714.04/1714.01	c  1688s|320000 |319647 |828055 |   2.6 |1167M| 191 |   0 |6648 |8835 |6648 |4783 | 165k| 345 |  10k| 0.000000e+00 | 1.105470e+05 |    Inf 
1766.64/1766.61	c  1740s|330000 |329631 |852725 |   2.6 |1202M| 191 |   0 |6648 |8840 |6648 |4785 | 170k| 355 |  10k| 0.000000e+00 | 1.105470e+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) : 1772.83
1800.04/1800.00	c Solving Nodes      : 336310
1800.04/1800.00	c Primal Bound       : +1.10547000000000e+05 (139 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.10	s SATISFIABLE
1800.04/1800.10	v -x2355 -x2354 x2353 -x2352 -x2351 x2350 -x2349 -x2348 x2347 x2346 x2345 x2344 x2343 -x2342 -x2341 -x2340 -x2339 x2338 -x2337 -x2336 
1800.04/1800.10	v -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 x2327 x2326 -x2325 -x2324 x2323 -x2322 x2321 x2320 x2319 -x2318 
1800.04/1800.10	v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 
1800.04/1800.10	v -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 
1800.04/1800.10	v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 x2268 x2267 -x2266 -x2265 x2264 x2263 
1800.04/1800.10	v -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2246 x2245 
1800.04/1800.10	v -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 x2227 
1800.04/1800.10	v -x2226 -x2225 x2224 x2223 -x2222 -x2221 x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 
1800.04/1800.10	v -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
1800.04/1800.10	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 x2183 -x2182 -x2181 -x2180 -x2179 x2178 x2177 x2176 x2175 -x2174 -x2173 -x2172 
1800.04/1800.10	v x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 x2160 x2159 x2158 x2157 x2156 x2155 x2154 x2153 
1800.04/1800.10	v -x2152 -x2151 x2150 -x2149 -x2148 -x2147 x2146 x2145 -x2144 -x2143 x2142 -x2141 x2140 -x2139 x2138 -x2137 x2136 x2135 x2134 
1800.04/1800.10	v -x2133 x2132 -x2131 x2130 -x2129 x2128 -x2127 x2126 -x2125 -x2124 -x2123 -x2122 x2121 x2120 x2119 x2118 x2117 x2116 -x2115 
1800.04/1800.10	v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 
1800.04/1800.10	v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 
1800.04/1800.10	v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1800.04/1800.10	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
1800.04/1800.10	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
1800.04/1800.10	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 
1800.04/1800.10	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1800.04/1800.10	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 
1800.04/1800.10	v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956 -x1955 -x1954 
1800.04/1800.10	v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 
1800.04/1800.10	v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 x1920 -x1919 -x1918 -x1917 
1800.04/1800.10	v -x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 x1906 x1905 -x1904 -x1903 -x1902 x1901 -x1900 x1899 
1800.04/1800.10	v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 
1800.04/1800.10	v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 
1800.04/1800.10	v -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 
1800.04/1800.10	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 x1829 x1828 -x1827 
1800.04/1800.10	v -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 x1811 x1810 x1809 
1800.04/1800.10	v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798 -x1797 x1796 x1795 x1794 x1793 x1792 -x1791 -x1790 
1800.04/1800.10	v -x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
1800.04/1800.10	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
1800.04/1800.10	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
1800.04/1800.10	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
1800.04/1800.10	v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 
1800.04/1800.10	v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
1800.04/1800.10	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
1800.04/1800.10	v -x1664 -x1663 -x1662 -x1661 -x1660 x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
1800.04/1800.10	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 
1800.04/1800.10	v -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 
1800.04/1800.10	v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 
1800.04/1800.10	v -x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 -x1582 -x1581 x1580 -x1579 x1578 -x1577 -x1576 x1575 x1574 -x1573 
1800.04/1800.10	v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 
1800.04/1800.10	v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 x1541 x1540 -x1539 -x1538 -x1537 -x1536 
1800.04/1800.10	v -x1535 -x1534 -x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 x1518 x1517 
1800.04/1800.10	v x1516 x1515 x1514 x1513 x1512 -x1511 x1510 x1509 x1508 -x1507 x1506 -x1505 -x1504 x1503 -x1502 x1501 x1500 x1499 x1498 -x1497 
1800.04/1800.10	v x1496 x1495 x1494 x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 -x1483 x1482 x1481 x1480 -x1479 -x1478 
1800.04/1800.10	v -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
1800.04/1800.10	v -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 
1800.04/1800.10	v -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 
1800.04/1800.10	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 
1800.04/1800.10	v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 
1800.04/1800.10	v -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 
1800.04/1800.10	v -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 
1800.04/1800.10	v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 
1800.04/1800.10	v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 
1800.04/1800.10	v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
1800.04/1800.10	v -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 
1800.04/1800.10	v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 
1800.04/1800.10	v x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 x1251 x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 
1800.04/1800.10	v x1243 x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 
1800.04/1800.10	v -x1225 -x1224 -x1223 x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 
1800.04/1800.10	v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 x1198 x1197 -x1196 -x1195 -x1194 -x1193 x1192 x1191 -x1190 x1189 
1800.04/1800.10	v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 
1800.04/1800.10	v -x1170 x1169 x1168 x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 x1153 
1800.04/1800.10	v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 
1800.04/1800.10	v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
1800.04/1800.10	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 x1100 x1099 -x1098 
1800.04/1800.10	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 x1083 x1082 x1081 x1080 
1800.04/1800.10	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
1800.04/1800.10	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 
1800.04/1800.10	v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 
1800.04/1800.10	v -x1025 x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 x1008 -x1007 
1800.04/1800.10	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 x995 -x994 -x993 -x992 x991 x990 -x989 -x988 -x987 
1800.04/1800.10	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
1800.04/1800.10	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 
1800.04/1800.10	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937 -x936 x935 x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 
1800.04/1800.10	v -x923 -x922 x921 -x920 -x919 x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 
1800.04/1800.10	v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 
1800.04/1800.10	v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 
1800.04/1800.10	v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 x841 -x840 
1800.04/1800.10	v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 
1800.04/1800.10	v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 
1800.04/1800.10	v -x797 -x796 -x795 x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 
1800.04/1800.10	v -x776 -x775 -x774 x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
1800.04/1800.10	v -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 
1800.04/1800.10	v -x733 -x732 -x731 -x730 x729 x728 x727 x726 x725 x724 -x723 -x722 -x721 x720 x719 x718 -x717 x716 -x715 -x714 -x713 x712 -x711 
1800.04/1800.10	v -x710 x709 x708 x707 x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 x697 x696 x695 x694 -x693 -x692 -x691 -x690 -x689 
1800.04/1800.10	v -x688 -x687 x686 -x685 -x684 -x683 x682 x681 x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
1800.04/1800.10	v -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 
1800.04/1800.10	v -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 x633 x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 
1800.04/1800.10	v -x623 x622 -x621 x620 -x619 -x618 x617 x616 x615 x614 x613 -x612 -x611 -x610 x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 
1800.04/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.04/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.04/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.04/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 
1800.04/1800.10	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1800.04/1800.10	v -x494 -x493 -x492 -x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1800.04/1800.10	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1800.04/1800.10	v -x452 -x451 x450 -x449 x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 
1800.04/1800.10	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
1800.04/1800.10	v -x410 -x409 -x408 -x407 -x406 x405 x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 x392 -x391 -x390 -x389 
1800.04/1800.10	v x388 -x387 -x386 -x385 -x384 x383 x382 x381 x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 
1800.04/1800.10	v -x366 -x365 -x364 x363 x362 x361 x360 x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 
1800.04/1800.10	v -x344 -x343 -x342 -x341 -x340 x339 -x338 x337 x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 x324 -x323 
1800.04/1800.10	v -x322 -x321 -x320 -x319 -x318 -x317 x316 x315 -x314 -x313 x312 -x311 -x310 x309 x308 x307 x306 -x305 -x304 x303 -x302 -x301 
1800.04/1800.10	v -x300 -x299 x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 
1800.04/1800.10	v -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 -x260 -x259 -x258 
1800.04/1800.10	v -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
1800.04/1800.10	v -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 
1800.04/1800.10	v -x214 -x213 x212 x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 
1800.04/1800.10	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 
1800.04/1800.10	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 x157 x156 -x155 -x154 -x153 -x152 -x151 
1800.04/1800.10	v -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 x133 -x132 x131 x130 x129 x128 
1800.04/1800.10	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 
1800.04/1800.10	v -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 
1800.04/1800.10	v x82 -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 -x56 
1800.04/1800.10	v x55 x54 x53 x52 -x51 x50 x49 -x48 x47 x46 -x45 -x44 -x43 -x42 x41 x40 -x39 x38 -x37 x36 x35 -x34 -x33 x32 -x31 x30 -x29 -x28 
1800.04/1800.10	v -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 x7 x6 x5 x4 -x3 -x2 -x1 
1800.04/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.10	c Solving Time       :    1772.83
1800.04/1800.10	c Original Problem   :
1800.04/1800.10	c   Problem name     : HOME/instance-2692972-1277913049.wbo
1800.04/1800.10	c   Variables        : 6855 (4605 binary, 0 integer, 0 implicit integer, 2250 continuous)
1800.04/1800.10	c   Constraints      : 8995 initial, 8995 maximal
1800.04/1800.10	c Presolved Problem  :
1800.04/1800.10	c   Problem name     : t_HOME/instance-2692972-1277913049.wbo
1800.04/1800.10	c   Variables        : 6648 (4442 binary, 0 integer, 0 implicit integer, 2206 continuous)
1800.04/1800.10	c   Constraints      : 8679 initial, 8843 maximal
1800.04/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.10	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.10	c   dualfix          :       0.00         88          0          0          0          0          0          0          0
1800.04/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.10	c   implics          :       0.00          0         47          0          0          0          0          0          0
1800.04/1800.10	c   probing          :       0.97          0         18          0          0          0          0          0          0
1800.04/1800.10	c   indicator        :       0.00          0          0          0          0          0         44          0          0
1800.04/1800.10	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.10	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.10	c   linear           :       0.06         52          2          0       2258          0        272         88        194
1800.04/1800.10	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.10	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.10	c   integral         :          0          0          0     355537          0          0         66          0          0      68238
1800.04/1800.10	c   indicator        :       2206          0    1140138     321373          0          0      99030          0          0          0
1800.04/1800.10	c   varbound         :         15          6    1140138     321373          0          0       7436        232          0          0
1800.04/1800.10	c   knapsack         :        117          6    1140138     321146          0        186      38983        368          0          0
1800.04/1800.10	c   linear           :       2191          6    1139952     321146          0          0      92762     172889          0          0
1800.04/1800.10	c   logicor          :       4150+         6     964836     302004          0          8    1735916          0          0          0
1800.04/1800.10	c   countsols        :          0          0          0     302004          0          0          0          0          0          0
1800.04/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.10	c   integral         :      86.43       0.00       0.00      86.43       0.00
1800.04/1800.10	c   indicator        :     134.80       0.00      30.16     104.64       0.00
1800.04/1800.10	c   varbound         :       1.53       0.00       0.70       0.83       0.00
1800.04/1800.10	c   knapsack         :       2.79       0.00       1.69       1.10       0.00
1800.04/1800.10	c   linear           :     163.31       0.00      22.76     140.55       0.00
1800.04/1800.10	c   logicor          :      57.70       0.00       7.29      50.41       0.00
1800.04/1800.10	c   countsols        :       0.09       0.00       0.00       0.09       0.00
1800.04/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.10	c   vbounds          :       1.81     118590          0       3655
1800.04/1800.10	c   rootredcost      :       0.27          3          0          0
1800.04/1800.10	c   pseudoobj        :      59.13    1134740          0          0
1800.04/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.10	c   propagation      :       0.00        194        194        405        8.9          4        7.0          -
1800.04/1800.10	c   infeasible LP    :       0.03         71         71         74        4.0          0        0.0          0
1800.04/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.10	c   applied globally :          -          -          -        359        7.4          -          -          -
1800.04/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.10	c   cut pool         :       0.00          5          -          -        192          -    (maximal pool size: 863)
1800.04/1800.10	c   redcost          :      49.09     355338          0          0          0          0
1800.04/1800.10	c   impliedbounds    :       0.01          6          0          0         89          0
1800.04/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.10	c   gomory           :       0.57          6          0          0       1199          0
1800.04/1800.10	c   strongcg         :       0.50          6          0          0       1009          0
1800.04/1800.10	c   cmir             :       0.19          6          0          0         47          0
1800.04/1800.10	c   flowcover        :       0.44          6          0          0        529          0
1800.04/1800.10	c   clique           :       0.02          6          0          0         24          0
1800.04/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.10	c   mcf              :       0.01          1          0          0          0          0
1800.04/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.10	c Pricers            :       Time      Calls       Vars
1800.04/1800.10	c   problem variables:       0.00          0          0
1800.04/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.10	c   relpscost        :      86.17      34164          0         66          0          0      68238
1800.04/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.10	c   inference        :     205.43     302004          0          0          0          0     604008
1800.04/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.10	c   LP solutions     :       0.00          -          0
1800.04/1800.10	c   pseudo solutions :       0.00          -          0
1800.04/1800.10	c   oneopt           :       0.41          3          0
1800.04/1800.10	c   feaspump         :       0.02          1          0
1800.04/1800.10	c   intshifting      :       0.06          9          0
1800.04/1800.10	c   crossover        :       0.65         10          0
1800.04/1800.10	c   veclendiving     :       7.81       3852          0
1800.04/1800.10	c   linesearchdiving :       7.05       3852          0
1800.04/1800.10	c   guideddiving     :       6.80       3852          0
1800.04/1800.10	c   coefdiving       :       6.91       3853          0
1800.04/1800.10	c   pscostdiving     :       6.70       3853          0
1800.04/1800.10	c   fracdiving       :       6.42       3853          0
1800.04/1800.10	c   objpscostdiving  :       6.31       3201          0
1800.04/1800.10	c   rootsoldiving    :       6.96       3733          0
1800.04/1800.10	c   trivial          :       0.01          2          0
1800.04/1800.10	c   simplerounding   :       0.46      32250          0
1800.04/1800.10	c   zirounding       :       0.36       1000          0
1800.04/1800.10	c   rounding         :       0.73       2492          0
1800.04/1800.10	c   shifting         :       2.11        810          0
1800.04/1800.10	c   twoopt           :       0.00          0          0
1800.04/1800.10	c   fixandinfer      :       0.00          0          0
1800.04/1800.10	c   intdiving        :       0.00          0          0
1800.04/1800.10	c   actconsdiving    :       0.00          0          0
1800.04/1800.10	c   octane           :       0.00          0          0
1800.04/1800.10	c   rens             :       0.07          1          0
1800.04/1800.10	c   rins             :       0.00          0          0
1800.04/1800.10	c   localbranching   :       0.00          0          0
1800.04/1800.10	c   mutation         :       0.00          0          0
1800.04/1800.10	c   dins             :       0.00          0          0
1800.04/1800.10	c   undercover       :       0.00          0          0
1800.04/1800.10	c   nlp              :       0.10          0          0
1800.04/1800.10	c   trysol           :       0.71       4744        139
1800.04/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.10	c   dual LP          :     637.45      60624     855110      14.11    1341.45
1800.04/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.10	c   diving/probing LP:       3.87        853      14445      16.93    3732.56
1800.04/1800.10	c   strong branching :      85.40      11037     253860      23.00    2972.60
1800.04/1800.10	c     (at root node) :          -         18       4392     244.00          -
1800.04/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.10	c B&B Tree           :
1800.04/1800.10	c   number of runs   :          1
1800.04/1800.10	c   nodes            :     336310
1800.04/1800.10	c   nodes (total)    :     336310
1800.04/1800.10	c   nodes left       :     335937
1800.04/1800.10	c   max depth        :        191
1800.04/1800.10	c   max depth (total):        191
1800.04/1800.10	c   backtracks       :       3883 (1.2%)
1800.04/1800.10	c   delayed cutoffs  :          0
1800.04/1800.10	c   repropagations   :       1252 (1556 domain reductions, 0 cutoffs)
1800.04/1800.10	c   avg switch length:       2.29
1800.04/1800.10	c   switching time   :      39.59
1800.04/1800.10	c Solution           :
1800.04/1800.10	c   Solutions found  :        139 (3 improvements)
1800.04/1800.10	c   First Solution   : +1.10624000000000e+05   (in run 1, after 1 nodes, 1.36 seconds, depth 0, found by <trysol>)
1800.04/1800.10	c   Primal Bound     : +1.10547000000000e+05   (in run 1, after 43 nodes, 30.85 seconds, depth 108, found by <trysol>)
1800.04/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.10	c   Gap              :   infinite
1800.04/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.10	c   Root Iterations  :       2538
1800.64/1800.67	c Time complete: 1800.72.

Verifier Data 

OK	5476

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.85 2.02 2.01 3/196 15422
/proc/meminfo: memFree=30909508/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=10876 CPUtime=0
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 1673 0 0 0 0 0 0 0 21 0 1 0 132599522 11137024 1594 4089446400 4194304 9819077 140735402605968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15422/statm: 2719 1595 392 1374 0 1340 0

[startup+0.016628 s]
/proc/loadavg: 1.85 2.02 2.01 3/196 15422
/proc/meminfo: memFree=30909508/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=14184 CPUtime=0.01
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 2338 0 0 0 1 0 0 0 21 0 1 0 132599522 14524416 2259 4089446400 4194304 9819077 140735402605968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15422/statm: 3546 2293 392 1374 0 2167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14184

[startup+0.100614 s]
/proc/loadavg: 1.85 2.02 2.01 3/196 15422
/proc/meminfo: memFree=30909508/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=41320 CPUtime=0.09
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9359 0 0 0 9 0 0 0 21 0 1 0 132599522 42311680 8926 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 10330 8926 491 1374 0 8951 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41320

[startup+0.300577 s]
/proc/loadavg: 1.85 2.02 2.01 3/196 15422
/proc/meminfo: memFree=30909508/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=46868 CPUtime=0.29
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 15196 0 0 0 24 5 0 0 21 0 1 0 132599522 47992832 10386 4089446400 4194304 9819077 140735402605968 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 11717 10386 532 1374 0 10338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46868

[startup+0.700501 s]
/proc/loadavg: 1.85 2.02 2.01 3/196 15422
/proc/meminfo: memFree=30909508/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=47788 CPUtime=0.68
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 15447 0 0 0 62 6 0 0 22 0 1 0 132599522 48934912 10637 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 11947 10637 532 1374 0 10568 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47788

[startup+1.50036 s]
/proc/loadavg: 1.85 2.02 2.01 3/197 15423
/proc/meminfo: memFree=30868456/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=61748 CPUtime=1.49
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 19996 0 0 0 138 11 0 0 18 0 1 0 132599522 63229952 13557 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 15437 13557 685 1374 0 14058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61748

[startup+3.10106 s]
/proc/loadavg: 1.85 2.02 2.01 3/197 15423
/proc/meminfo: memFree=30855808/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=67744 CPUtime=3.09
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 22746 0 0 0 294 15 0 0 20 0 1 0 132599522 69369856 14722 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 16936 14722 702 1374 0 15557 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67744

[startup+6.30048 s]
/proc/loadavg: 1.87 2.02 2.01 3/197 15423
/proc/meminfo: memFree=30849732/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=73208 CPUtime=6.29
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 50396 0 0 0 609 20 0 0 25 0 1 0 132599522 74964992 15915 4089446400 4194304 9819077 140735402605968 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 18302 15915 725 1374 0 16923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73208

[startup+12.7003 s]
/proc/loadavg: 1.88 2.02 2.01 3/197 15424
/proc/meminfo: memFree=30845180/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=73068 CPUtime=12.69
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 97215 0 0 0 1243 26 0 0 25 0 1 0 132599522 74821632 15815 4089446400 4194304 9819077 140735402605968 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 18267 15815 725 1374 0 16888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73068

[startup+25.501 s]
/proc/loadavg: 1.90 2.02 2.01 3/197 15424
/proc/meminfo: memFree=30845420/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=74508 CPUtime=25.49
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 227662 0 0 0 2502 47 0 0 25 0 1 0 132599522 76296192 15296 4089446400 4194304 9819077 140735402605968 18446744073709551615 6371243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 18627 15296 728 1374 0 17248 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74508

[startup+51.1003 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 15424
/proc/meminfo: memFree=30826064/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=83544 CPUtime=51.09
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 501697 0 0 0 5010 99 0 0 25 0 1 0 132599522 85549056 18910 4089446400 4194304 9819077 140735402605968 18446744073709551615 4820462 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 20886 18910 730 1374 0 19507 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83544

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 15426
/proc/meminfo: memFree=30777068/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=115452 CPUtime=102.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 974986 0 0 0 10004 226 0 0 25 0 1 0 132599522 118222848 26328 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 28863 26328 730 1374 0 27484 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115452

[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 10/197 15428
/proc/meminfo: memFree=30711316/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=155484 CPUtime=162.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 1571859 0 0 0 15845 385 0 0 25 0 1 0 132599522 159215616 36438 4089446400 4194304 9819077 140735402605968 18446744073709551615 6519265 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 38871 36438 730 1374 0 37492 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 155484

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/197 15429
/proc/meminfo: memFree=30635516/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=206340 CPUtime=222.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 1880251 0 0 0 21691 539 0 0 25 0 1 0 132599522 211292160 49114 4089446400 4194304 9819077 140735402605968 18446744073709551615 4651280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 51585 49114 730 1374 0 50206 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 206340

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15431
/proc/meminfo: memFree=30562696/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=258076 CPUtime=282.29
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 2232204 0 0 0 27520 709 0 0 25 0 1 0 132599522 264269824 62154 4089446400 4194304 9819077 140735402605968 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 64519 62154 730 1374 0 63140 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 258076

[startup+342.301 s]
/proc/loadavg: 2.27 2.10 2.03 3/197 15432
/proc/meminfo: memFree=30485520/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=304428 CPUtime=342.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 2664756 0 0 0 33348 882 0 0 25 0 1 0 132599522 311734272 73750 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15422/statm: 76107 73750 730 1374 0 74728 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 304428

[startup+402.301 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 15434
/proc/meminfo: memFree=30435576/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=346104 CPUtime=402.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 3167972 0 0 0 39223 1007 0 0 25 0 1 0 132599522 354410496 83724 4089446400 4194304 9819077 140735402605968 18446744073709551615 6670009 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15422/statm: 86526 83724 730 1374 0 85147 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 346104

[startup+462.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/197 15436
/proc/meminfo: memFree=30394884/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=384928 CPUtime=462.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 3502906 0 0 0 45143 1087 0 0 25 0 1 0 132599522 394166272 93736 4089446400 4194304 9819077 140735402605968 18446744073709551615 7263106 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15422/statm: 96232 93736 730 1374 0 94853 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 384928

[startup+522.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/197 15437
/proc/meminfo: memFree=30357148/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=424708 CPUtime=522.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 3996447 0 0 0 51042 1188 0 0 25 0 1 0 132599522 434900992 103402 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15422/statm: 106177 103402 730 1374 0 104798 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 424708

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 4/197 15439
/proc/meminfo: memFree=30321788/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=459212 CPUtime=582.3
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 4511252 0 0 0 56935 1295 0 0 25 0 1 0 132599522 470233088 112080 4089446400 4194304 9819077 140735402605968 18446744073709551615 6002962 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15422/statm: 114803 112080 730 1374 0 113424 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 459212

[startup+642.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/197 15449
/proc/meminfo: memFree=30280500/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=498964 CPUtime=642.31
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 4912088 0 0 0 62849 1382 0 0 25 0 1 0 132599522 510939136 122077 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15422/statm: 124741 122077 730 1374 0 123362 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 498964

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.01 2.08 2.02 3/179 15487
/proc/meminfo: memFree=30687652/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=679192 CPUtime=942.31
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 7288762 0 0 0 92338 1893 0 0 25 0 1 0 132599522 695492608 167381 4089446400 4194304 9819077 140735402605968 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 169798 167381 730 1374 0 168419 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 679192

[startup+1002.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/179 15489
/proc/meminfo: memFree=30639004/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=713824 CPUtime=1002.31
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 7697162 0 0 0 98243 1988 0 0 25 0 1 0 132599522 730955776 176019 4089446400 4194304 9819077 140735402605968 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 178456 176019 730 1374 0 177077 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 713824

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/179 15491
/proc/meminfo: memFree=30580072/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=763584 CPUtime=1062.31
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 7987095 0 0 0 104172 2059 0 0 25 0 1 0 132599522 781910016 188522 4089446400 4194304 9819077 140735402605968 18446744073709551615 6162160 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 190896 188522 730 1374 0 189517 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 763584

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 15492
/proc/meminfo: memFree=30525088/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=805848 CPUtime=1122.31
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8134871 0 0 0 110120 2111 0 0 25 0 1 0 132599522 825188352 198083 4089446400 4194304 9819077 140735402605968 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 201462 198083 730 1374 0 200083 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 805848

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/179 15494
/proc/meminfo: memFree=30471740/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=845616 CPUtime=1182.32
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8308715 0 0 0 116069 2163 0 0 25 0 1 0 132599522 865910784 208064 4089446400 4194304 9819077 140735402605968 18446744073709551615 5893845 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 211404 208064 730 1374 0 210025 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 845616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15495
/proc/meminfo: memFree=30415768/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=886728 CPUtime=1242.32
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8464005 0 0 0 122015 2217 0 0 25 0 1 0 132599522 908009472 218423 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 221682 218423 730 1374 0 220303 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 886728

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15497
/proc/meminfo: memFree=30362416/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=928428 CPUtime=1302.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8627455 0 0 0 127966 2267 0 0 25 0 1 0 132599522 950710272 228889 4089446400 4194304 9819077 140735402605968 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 232107 228889 730 1374 0 230728 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 928428

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15499
/proc/meminfo: memFree=30312420/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=969980 CPUtime=1362.32
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8704938 0 0 0 133920 2312 0 0 25 0 1 0 132599522 993259520 239332 4089446400 4194304 9819077 140735402605968 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 242495 239332 730 1374 0 241116 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 969980

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15500
/proc/meminfo: memFree=30257808/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1011780 CPUtime=1422.32
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 8863109 0 0 0 139864 2368 0 0 25 0 1 0 132599522 1036062720 249825 4089446400 4194304 9819077 140735402605968 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 252945 249825 730 1374 0 251566 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1011780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15502
/proc/meminfo: memFree=30200852/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1053476 CPUtime=1482.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9044560 0 0 0 145804 2429 0 0 25 0 1 0 132599522 1078759424 260292 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 263369 260292 730 1374 0 261990 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1053476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15503
/proc/meminfo: memFree=30146628/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1094432 CPUtime=1542.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9230282 0 0 0 151747 2486 0 0 25 0 1 0 132599522 1120698368 270608 4089446400 4194304 9819077 140735402605968 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 273608 270608 730 1374 0 272229 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1094432

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15505
/proc/meminfo: memFree=30094640/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1133308 CPUtime=1602.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9365865 0 0 0 157694 2539 0 0 25 0 1 0 132599522 1160507392 280341 4089446400 4194304 9819077 140735402605968 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 283327 280341 730 1374 0 281948 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1133308

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15507
/proc/meminfo: memFree=30041524/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1174508 CPUtime=1662.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9481754 0 0 0 163645 2588 0 0 25 0 1 0 132599522 1202696192 290683 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 293627 290683 730 1374 0 292248 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1174508

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15508
/proc/meminfo: memFree=29985076/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1216264 CPUtime=1722.33
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9613041 0 0 0 169596 2637 0 0 25 0 1 0 132599522 1245454336 301190 4089446400 4194304 9819077 140735402605968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 304066 301190 730 1374 0 302687 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1216264

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 15510
/proc/meminfo: memFree=29934308/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1255760 CPUtime=1782.34
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9829641 0 0 0 175535 2699 0 0 25 0 1 0 132599522 1285898240 311069 4089446400 4194304 9819077 140735402605968 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 313940 311069 730 1374 0 312561 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1255760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 15510
/proc/meminfo: memFree=29918176/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1269084 CPUtime=1800.04
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9882430 0 0 0 177288 2716 0 0 25 0 1 0 132599522 1299542016 314402 4089446400 4194304 9819077 140735402605968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15422/statm: 317271 314402 730 1374 0 315892 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1269084

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.03 2.02 2.00 3/179 15510
/proc/meminfo: memFree=29918176/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=1268968 CPUtime=1800.23
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9882431 0 0 0 177307 2716 0 0 25 0 1 0 132599522 1299423232 314397 4089446400 4194304 9819077 140735402605968 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15422/statm: 317242 314397 731 1374 0 315863 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1268968

[startup+1800.6 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 15511
/proc/meminfo: memFree=30748844/32951124 swapFree=67111528/67111528
[pid=15422] ppid=15420 vsize=416952 CPUtime=1800.64
/proc/15422/stat : 15422 (pbscip.linux.x8) R 15420 15422 15397 0 -1 4202496 9882431 0 0 0 177344 2720 0 0 25 0 1 0 132599522 426958848 101393 4089446400 4194304 9819077 140735402605968 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15422/statm: 104238 101137 731 1374 0 102859 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 416952

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.72
CPU user time (s): 1773.49
CPU system time (s): 27.2319
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1269192

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

runsolver used 2.46563 second user time and 5.78812 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 17:50:49
IDJOB=2692972
IDBENCH=79008
IDSOLVER=1205
FILE ID=node142/2692972-1277913049
PBS_JOBID= 11197306
Free space on /tmp= 74176 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692972-1277913049/watcher-2692972-1277913049 -o /tmp/evaluation-result-2692972-1277913049/solver-2692972-1277913049 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692972-1277913049.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 34826a5359f13c7b3705d5842f0dda66
RANDOM SEED=1127742420

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30910160 kB
Buffers:        193704 kB
Cached:        1073488 kB
SwapCached:          0 kB
Active:        1055456 kB
Inactive:       839832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30910160 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6436 kB
Writeback:           0 kB
AnonPages:      628208 kB
Mapped:          20260 kB
Slab:            80008 kB
PageTables:       5452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658328 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= 74168 MiB
End job on node142 at 2010-06-30 18:20:51