Trace number 3723755

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 NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cOPT18 224.68 224.734

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c Parsing PB file...
0.00/0.02	c Converting 15115 PB-constraints to clauses...
0.00/0.02	c   -- Unit propagations: (none)
0.00/0.02	c   -- Detecting intervals from adjacent constraints: ======
0.00/0.02	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.03	c ---[   0]---> Adder-cost: 958   maxlim: 461   bits: 9/9
0.00/0.04	c ==================================[MINISAT+]==================================
0.00/0.04	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   21769    61715 |    7256       0        0    -nan |  0.000 % |
0.00/0.05	c |       100 |   21762    61692 |    7981      99      896     9.1 |  0.265 % |
0.00/0.06	c |       250 |   21729    61581 |    8779     244     2236     9.2 |  0.379 % |
0.00/0.08	c |       475 |   21644    61286 |    9657     456     3967     8.7 |  0.663 % |
0.00/0.10	c |       812 |   21637    61263 |   10623     792     6886     8.7 |  0.682 % |
0.00/0.13	c |      1319 |   21628    61234 |   11685    1297    25476    19.6 |  0.720 % |
0.00/0.18	c |      2078 |   21628    61234 |   12854    2056    98289    47.8 |  0.720 % |
0.00/0.26	c |      3218 |   21628    61234 |   14139    3196   213622    66.8 |  0.720 % |
0.00/0.34	c ==============================================================================
0.00/0.34	c Found solution: 26
0.00/0.34	c ---[   0]---> Sorter-cost:18406     Base:
0.00/0.35	c ==================================[MINISAT+]==================================
0.00/0.35	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.35	c ==============================================================================
0.00/0.35	c |      4025 |   40291   104730 |   13430    4003   354809    88.6 |  0.720 % |
0.00/0.36	c |      4125 |   40291   104730 |   14773    4103   360939    88.0 |  2.512 % |
0.00/0.38	c ==============================================================================
0.00/0.38	c Found solution: 23
0.00/0.38	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.38	c ==================================[MINISAT+]==================================
0.00/0.38	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.38	c ==============================================================================
0.00/0.38	c |      4262 |   40304   104752 |   13434    4237   367879    86.8 |  2.512 % |
0.00/0.39	c |      4362 |   40304   104752 |   14777    4337   371385    85.6 |  2.521 % |
0.00/0.41	c |      4512 |   40304   104752 |   16255    4487   379880    84.7 |  2.521 % |
0.00/0.43	c |      4737 |   40304   104752 |   17880    4712   395380    83.9 |  2.521 % |
0.00/0.47	c |      5075 |   40304   104752 |   19668    5050   410439    81.3 |  2.521 % |
0.00/0.53	c |      5581 |   40304   104752 |   21635    5556   452140    81.4 |  2.521 % |
0.00/0.62	c |      6340 |   40304   104752 |   23799    6315   533593    84.5 |  2.521 % |
0.00/0.82	c |      7480 |   40304   104752 |   26179    7455   665532    89.3 |  2.521 % |
0.00/0.85	c ==============================================================================
0.00/0.85	c Found solution: 22
0.00/0.85	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.86	c ==================================[MINISAT+]==================================
0.00/0.86	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.86	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.86	c ==============================================================================
0.00/0.86	c |      7721 |   40164   104432 |   13388    7567   654885    86.5 |  2.521 % |
0.00/0.88	c |      7821 |   40164   104432 |   14726    7667   663868    86.6 |  3.115 % |
0.00/0.90	c |      7972 |   40164   104432 |   16199    7818   672517    86.0 |  3.115 % |
0.00/0.92	c |      8197 |   40164   104432 |   17819    8043   679300    84.5 |  3.115 % |
0.00/0.95	c |      8535 |   40164   104432 |   19601    8381   697915    83.3 |  3.115 % |
1.00/1.02	c |      9043 |   40164   104432 |   21561    8889   740138    83.3 |  3.115 % |
1.10/1.10	c |      9802 |   40164   104432 |   23717    9648   803791    83.3 |  3.115 % |
1.29/1.32	c |     10945 |   40164   104432 |   26089   10791   882745    81.8 |  3.115 % |
1.59/1.64	c |     12653 |   40164   104432 |   28698   12499  1042741    83.4 |  3.115 % |
2.09/2.15	c |     15217 |   40164   104432 |   31568   15063  1236222    82.1 |  3.115 % |
2.69/2.78	c |     19063 |   40164   104432 |   34725   18909  1588579    84.0 |  3.115 % |
3.49/3.58	c |     24829 |   40164   104432 |   38197   24675  1884289    76.4 |  3.115 % |
5.28/5.32	c |     33480 |   40155   104401 |   42017   33323  2598609    78.0 |  3.120 % |
8.70/8.75	c |     46456 |   40155   104401 |   46219   16357  1235414    75.5 |  3.120 % |
13.49/13.56	c |     65917 |   40155   104401 |   50840   35818  2986443    83.4 |  3.120 % |
22.59/22.68	c |     95110 |   40155   104401 |   55924   30539  2093499    68.6 |  3.120 % |
26.48/26.51	c ==============================================================================
26.48/26.51	c Found solution: 21
26.48/26.51	c ---[   0]---> Sorter-cost:    0     Base:
26.48/26.53	c ==================================[MINISAT+]==================================
26.48/26.53	c | Conflicts | Original         | Learnt                           | Progress |
26.48/26.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.48/26.53	c ==============================================================================
26.48/26.53	c |    110976 |   40168   104434 |   13389   46405  3290398    70.9 |  3.120 % |
26.68/26.76	c |    111076 |   40168   104434 |   14727    9312   567371    60.9 |  3.125 % |
26.68/26.79	c |    111227 |   40168   104434 |   16200    9463   581401    61.4 |  3.124 % |
26.78/26.83	c |    111452 |   40168   104434 |   17820    9688   593609    61.3 |  3.124 % |
26.88/26.90	c |    111790 |   40168   104434 |   19602   10026   617463    61.6 |  3.125 % |
26.98/27.00	c |    112297 |   40168   104434 |   21563   10533   678912    64.5 |  3.124 % |
27.08/27.11	c |    113058 |   40168   104434 |   23719   11294   733301    64.9 |  3.125 % |
27.28/27.32	c |    114197 |   40168   104434 |   26091   12433   806184    64.8 |  3.124 % |
27.58/27.61	c |    115905 |   40168   104434 |   28700   14141   919072    65.0 |  3.125 % |
27.98/28.00	c |    118467 |   40168   104434 |   31570   16703  1092320    65.4 |  3.124 % |
28.49/28.57	c |    122314 |   40168   104434 |   34727   20550  1328398    64.6 |  3.124 % |
29.59/29.62	c |    128080 |   40168   104434 |   38200   26316  1650357    62.7 |  3.124 % |
31.48/31.54	c |    136730 |   40168   104434 |   42020   34966  2398192    68.6 |  3.124 % |
34.28/34.31	c |    149706 |   40168   104434 |   46222   22136  1082836    48.9 |  3.125 % |
38.88/38.95	c |    169167 |   40154   104406 |   50844   41593  2839437    68.3 |  3.158 % |
46.58/46.68	c |    198362 |   40154   104406 |   55929   37937  2957102    77.9 |  3.158 % |
47.98/48.07	c ==============================================================================
47.98/48.07	c Found solution: 20
47.98/48.07	c ---[   0]---> Sorter-cost:    0     Base:
47.98/48.08	c ==================================[MINISAT+]==================================
47.98/48.08	c | Conflicts | Original         | Learnt                           | Progress |
47.98/48.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
47.98/48.08	c ==============================================================================
47.98/48.08	c |    205583 |   40139   104369 |   13379   45058  3693228    82.0 |  3.158 % |
48.18/48.23	c |    205683 |   40139   104369 |   14716    8226   590895    71.8 |  3.247 % |
48.18/48.25	c |    205835 |   40139   104369 |   16188    8378   606560    72.4 |  3.247 % |
48.18/48.30	c |    206063 |   40139   104369 |   17807    8606   619072    71.9 |  3.247 % |
48.28/48.37	c |    206401 |   40139   104369 |   19588    8944   653008    73.0 |  3.247 % |
48.38/48.46	c |    206908 |   40139   104369 |   21547    9451   710185    75.1 |  3.247 % |
48.48/48.59	c |    207667 |   40139   104369 |   23701   10210   766556    75.1 |  3.247 % |
48.68/48.78	c |    208806 |   40139   104369 |   26071   11349   871355    76.8 |  3.247 % |
49.08/49.11	c |    210515 |   40139   104369 |   28679   13058  1093365    83.7 |  3.247 % |
49.58/49.64	c |    213078 |   40139   104369 |   31546   15621  1325399    84.8 |  3.247 % |
50.48/50.50	c |    216923 |   40139   104369 |   34701   19466  1710833    87.9 |  3.247 % |
51.78/51.84	c |    222691 |   40139   104369 |   38171   25234  2246132    89.0 |  3.247 % |
53.78/53.86	c |    231341 |   40139   104369 |   41989   33884  2816523    83.1 |  3.247 % |
57.38/57.46	c |    244315 |   40139   104369 |   46187   18941  1473974    77.8 |  3.247 % |
61.68/61.76	c |    263776 |   40139   104369 |   50806   38402  2996276    78.0 |  3.247 % |
61.98/62.09	c ==============================================================================
61.98/62.09	c Found solution: 19
61.98/62.09	c ---[   0]---> Sorter-cost:    0     Base:
62.08/62.10	c ==================================[MINISAT+]==================================
62.08/62.10	c | Conflicts | Original         | Learnt                           | Progress |
62.08/62.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
62.08/62.10	c ==============================================================================
62.08/62.10	c |    264822 |   40152   104402 |   13384   39448  3065880    77.7 |  3.247 % |
62.18/62.20	c |    264922 |   40152   104402 |   14722    8733   480659    55.0 |  3.251 % |
62.18/62.23	c |    265073 |   40152   104402 |   16194    8884   497182    56.0 |  3.251 % |
62.18/62.28	c |    265298 |   40152   104402 |   17814    9109   519495    57.0 |  3.251 % |
62.28/62.35	c |    265635 |   40152   104402 |   19595    9446   558016    59.1 |  3.251 % |
62.38/62.45	c |    266142 |   40152   104402 |   21555    9953   614757    61.8 |  3.251 % |
62.58/62.62	c |    266901 |   40152   104402 |   23710   10712   703675    65.7 |  3.251 % |
62.78/62.84	c |    268041 |   40152   104402 |   26081   11852   833327    70.3 |  3.251 % |
63.18/63.20	c |    269752 |   40152   104402 |   28689   13563  1046496    77.2 |  3.251 % |
63.68/63.72	c |    272314 |   40152   104402 |   31558   16125  1319164    81.8 |  3.251 % |
64.58/64.66	c |    276159 |   40152   104402 |   34714   19970  1888930    94.6 |  3.251 % |
66.28/66.34	c |    281925 |   40152   104402 |   38186   25736  2614704   101.6 |  3.251 % |
68.68/68.77	c |    290574 |   40152   104402 |   42004   34385  3294257    95.8 |  3.251 % |
72.97/73.04	c |    303548 |   40152   104402 |   46205   21517  1497250    69.6 |  3.251 % |
78.47/78.59	c |    323009 |   40152   104402 |   50825   40978  2992059    73.0 |  3.251 % |
87.17/87.29	c |    352201 |   40152   104402 |   55908   36918  2365275    64.1 |  3.251 % |
88.67/88.73	c ==============================================================================
88.67/88.73	c Found solution: 18
88.67/88.73	c ---[   0]---> Sorter-cost:    0     Base:
88.67/88.75	c ==================================[MINISAT+]==================================
88.67/88.75	c | Conflicts | Original         | Learnt                           | Progress |
88.67/88.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
88.67/88.75	c ==============================================================================
88.67/88.75	c |    357453 |   39128   102010 |   13042   41137  2746048    66.8 |  3.251 % |
88.77/88.88	c |    357553 |   39128   102010 |   14346    9730   543008    55.8 |  7.129 % |
88.87/88.91	c |    357704 |   39128   102010 |   15780    9881   550863    55.7 |  7.129 % |
88.87/88.96	c |    357929 |   39128   102010 |   17358   10106   566277    56.0 |  7.129 % |
88.98/89.05	c |    358267 |   39128   102010 |   19094   10444   593165    56.8 |  7.129 % |
89.08/89.17	c |    358774 |   39128   102010 |   21004   10951   632022    57.7 |  7.129 % |
89.27/89.33	c |    359535 |   39128   102010 |   23104   11712   708748    60.5 |  7.129 % |
89.47/89.56	c |    360674 |   39128   102010 |   25415   12851   795593    61.9 |  7.129 % |
89.87/89.91	c |    362383 |   39128   102010 |   27956   14560   916407    62.9 |  7.129 % |
90.47/90.52	c |    364945 |   39128   102010 |   30752   17122  1077482    62.9 |  7.129 % |
91.37/91.45	c |    368789 |   39128   102010 |   33827   20966  1431578    68.3 |  7.129 % |
92.87/92.99	c |    374555 |   39128   102010 |   37210   26732  1925008    72.0 |  7.129 % |
95.68/95.79	c |    383204 |   39128   102010 |   40931   35381  3022573    85.4 |  7.129 % |
100.27/100.38	c |    396178 |   39128   102010 |   45024   23687  1533633    64.7 |  7.129 % |
105.67/105.79	c |    415641 |   39128   102010 |   49526   43150  3092237    71.7 |  7.129 % |
114.77/114.87	c |    444835 |   39128   102010 |   54479   40802  2482710    60.8 |  7.129 % |
129.67/129.77	c |    488625 |   39128   102010 |   59927   46881  3452053    73.6 |  7.129 % |
152.25/152.34	c |    554310 |   39128   102010 |   65920   28243  1660312    58.8 |  7.129 % |
181.74/181.83	c |    652838 |   39020   101763 |   72512   37189  2102902    56.5 |  7.537 % |
224.63/224.73	c ==============================================================================
224.63/224.73	c Optimal solution: 18
224.63/224.73	s OPTIMUM FOUND
224.63/224.73	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 x1664 -x62 -x1691 -x65 -x1718 x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 x375 -x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 x3205 -x393 -x3210 x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x369 -x371 -x372 -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 x390 x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 x490 x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 -x443 -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 x593 x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 x2814 x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 x3069 x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 x3208 -x3209 x3211 -x3212 x3213 -x3214 x3216 -x3217 x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 x3249 -x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 x3273 x3275 x3277 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 x3395 -x3396 -x3398 -x3399 -x3400 -x3401 x3403 -x3404 -x3405 -x3406 x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 x3423 -x3424 -x3425 -x3426 -x3428 -x3430 x3432 x3434 -x3436 -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 x3460 -x3462 -x3464 x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 x3543 -x3544 x3545 -x3546 x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 x3593 x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 -x3616 x3618 -x3620 -x3622 x3624 x3626 -x3628 x3630 -x3632 x3634 -x3636 -x3638 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 x4116 -x4118 -x4119 -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 x4142 -x4144 -x4145 -x4146 -x4147 x4149 x4151 -x4152 -x4153 x4154 x4156 x4158 -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 -x4229 -x4230 -x4231 -x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 x4247 -x4248 x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318
224.63/224.73	c _______________________________________________________________________________
224.63/224.73	c 
224.63/224.73	c restarts              : 100
224.63/224.73	c conflicts             : 786765         (3502 /sec)
224.63/224.73	c decisions             : 2284781        (10171 /sec)
224.63/224.73	c propagations          : 0              (0 /sec)
224.63/224.73	c inspects              : 0              (0 /sec)
224.63/224.73	c CPU time              : 224.639 s
224.63/224.73	c _______________________________________________________________________________

Verifier Data

OK	18

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723755-1338574719/watcher-3723755-1338574719 -o /tmp/evaluation-result-3723755-1338574719/solver-3723755-1338574719 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723755-1338574719.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26125
/proc/meminfo: memFree=29146696/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0

[startup+0.072087 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26125
/proc/meminfo: memFree=29146696/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100187 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26125
/proc/meminfo: memFree=29146696/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300102 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26125
/proc/meminfo: memFree=29146696/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700109 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26125
/proc/meminfo: memFree=29146696/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29135868/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=13712 CPUtime=1.49 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 3434 0 0 0 148 1 0 0 20 0 1 0 323597411 14041088 3230 33554432000 4194304 5276501 140735354901248 140735354899496 4394677 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 3428 3230 151 265 0 3160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22860

[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29132644/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=17808 CPUtime=3.09 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 4435 0 0 0 308 1 0 0 20 0 1 0 323597411 18235392 4231 33554432000 4194304 5276501 140735354901248 140735354898840 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 4452 4231 151 265 0 4184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26956

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29125456/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=24392 CPUtime=6.28 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 6071 0 0 0 627 1 0 0 20 0 1 0 323597411 24977408 5867 33554432000 4194304 5276501 140735354901248 140735354898840 4399768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 6098 5867 151 265 0 5830 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33540

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29119660/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=28036 CPUtime=12.69 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 6957 0 0 0 1267 2 0 0 20 0 1 0 323597411 28708864 6753 33554432000 4194304 5276501 140735354901248 140735354899432 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 7009 6753 151 265 0 6741 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37184

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29113840/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=34704 CPUtime=25.49 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 8559 0 0 0 2547 2 0 0 20 0 1 0 323597411 35536896 8355 33554432000 4194304 5276501 140735354901248 140735354899432 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 8676 8355 151 265 0 8408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43852

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26130
/proc/meminfo: memFree=29111980/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=36500 CPUtime=51.08 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 8969 0 0 0 5106 2 0 0 20 0 1 0 323597411 37376000 8765 33554432000 4194304 5276501 140735354901248 140735354899496 4394817 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 9125 8765 152 265 0 8857 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45648

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26133
/proc/meminfo: memFree=29065352/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=38552 CPUtime=102.27 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 9419 0 0 0 10225 2 0 0 20 0 1 0 323597411 39477248 9215 33554432000 4194304 5276501 140735354901248 140735354899496 4397710 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 9638 9215 152 265 0 9370 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47700

[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 26219
/proc/meminfo: memFree=29450336/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=46512 CPUtime=162.25 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 11299 0 0 0 16222 3 0 0 20 0 1 0 323597411 47628288 11240 33554432000 4194304 5276501 140735354901248 140735354899432 4399757 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 11628 11240 152 265 0 11360 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 55660

[startup+222.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/179 26261
/proc/meminfo: memFree=29442516/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=49200 CPUtime=222.23 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 11916 0 0 0 22220 3 0 0 20 0 1 0 323597411 50380800 11857 33554432000 4194304 5276501 140735354901248 140735354899432 4399992 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 12300 11857 152 265 0 12032 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58348

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

[startup+223.9 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 26261
/proc/meminfo: memFree=29442268/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=49484 CPUtime=223.83 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 11961 0 0 0 22380 3 0 0 20 0 1 0 323597411 50671616 11902 33554432000 4194304 5276501 140735354901248 140735354899432 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 12371 11902 152 265 0 12103 0
Current children cumulated CPU time (s) 223.83
Current children cumulated vsize (KiB) 58632

[startup+224.3 s]
/proc/loadavg: 2.16 2.04 2.01 4/179 26261
/proc/meminfo: memFree=29442184/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=49484 CPUtime=224.24 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 11961 0 0 0 22421 3 0 0 20 0 1 0 323597411 50671616 11902 33554432000 4194304 5276501 140735354901248 140735354899432 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 12371 11902 152 265 0 12103 0
Current children cumulated CPU time (s) 224.24
Current children cumulated vsize (KiB) 58632

[startup+224.7 s]
/proc/loadavg: 2.16 2.04 2.01 4/179 26261
/proc/meminfo: memFree=29442184/32873648 swapFree=7116/7116
[pid=26125] ppid=26123 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26125/stat : 26125 (minisat+_script) S 26123 26125 23316 0 -1 4202496 382 550 0 0 0 0 0 0 20 0 1 0 323597410 9367552 277 33554432000 4194304 5064252 140737083999808 140737083998720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26125/statm: 2287 277 236 213 0 72 0
[pid=26129] ppid=26125 vsize=49484 CPUtime=224.63 cores=0,2,4,6
/proc/26129/stat : 26129 (minisat+_64-bit) R 26125 26125 23316 0 -1 4202496 11961 0 0 0 22460 3 0 0 20 0 1 0 323597411 50671616 11902 33554432000 4194304 5276501 140735354901248 140735354899432 4391563 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26129/statm: 12371 11902 152 265 0 12103 0
Current children cumulated CPU time (s) 224.63
Current children cumulated vsize (KiB) 58632

Child status: 0
Real time (s): 224.734
CPU time (s): 224.68
CPU user time (s): 224.641
CPU system time (s): 0.038994
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 58632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.641
system time used= 0.038994
maximum resident set size= 47608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12907
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= 31
involuntary context switches= 262

runsolver used 0.345947 second user time and 0.909861 second system time

The end

Launcher Data

Begin job on node123 at 2012-06-01 20:18:39
IDJOB=3723755
IDBENCH=25017
IDSOLVER=2307
FILE ID=node123/3723755-1338574719
RUNJOBID= node123-1338568896-25239
PBS_JOBID= 14635861
Free space on /tmp= 71316 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723755-1338574719/watcher-3723755-1338574719 -o /tmp/evaluation-result-3723755-1338574719/solver-3723755-1338574719 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723755-1338574719.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=160494302

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29147340 kB
Buffers:          443460 kB
Cached:          2001924 kB
SwapCached:         2248 kB
Active:          1151156 kB
Inactive:        1700792 kB
Active(anon):     401640 kB
Inactive(anon):     5492 kB
Active(file):     749516 kB
Inactive(file):  1695300 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100308 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:        479348 kB
Mapped:            10984 kB
Shmem:                 0 kB
Slab:             735800 kB
SReclaimable:     180260 kB
SUnreclaim:       555540 kB
KernelStack:        1488 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     525752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71312 MiB
End job on node123 at 2012-06-01 20:22:24