Trace number 353935

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, and are wall clock time (not CPU 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
bsolo 3.0.16SAT (TO)6707757 1800.18 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
MD5SUM9d08937c2a2ec73e4fca19adadace920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3208192
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3208192
Optimality of the best value was proved NO
Number of variables3720
Total number of constraints142
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints142
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 3720
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 679702048135
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 679702048135
Number of bits of the biggest sum of numbers40
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 (download as text)

0.00/0.12	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.12	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.12	c type "bsolo -h" for help
0.00/0.12	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.12	c Time Limit set to 1800
0.00/0.12	c Memory Limit set to 1800 MB
0.00/0.12	c Instance file /tmp/evaluation/353935-1176688951/instance-353935-1176688951.opb
0.00/0.12	c File size is 187985 bytes.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.13	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.14	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Coefficients are big enough for not using lower bounding.
0.00/0.15	c Highest Coefficient sum: 6.79702e+11
0.00/0.15	c Parsing was ok!!
0.00/0.15	c Total parsing time: 0.032 s
0.00/0.16	c Var: 3720 Constr: 164 0/0/164 Lit: 18120 Watch. Lit: 10964
0.00/0.16	c Obj. Vars: 3720 (100 % of total variables)
0.00/0.19	c Pre-processing Time: 0.073 s
0.07/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.23	c        0   1686      164    18120  110    10994   36240      0      0 0.07
0.07/0.23	o 6725458	0.106
188.72/188.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.72/188.96	c       76   1686      241    37335  154    13540   39612     77    703 0.11
188.72/188.96	c      177   1686      342    45776  133    13661   43574    178   1393 0.13
188.72/188.96	c      427   1686      592    70021  118    14132   47932    428   2511 0.17
188.72/188.96	c      902   1686     1067   112346  105    14961   52726    903   3496 0.26
188.72/188.96	c     1715   1686     1880   180946   96    16688   57999   1716   4213 0.41
188.72/188.96	c     3037   1686     3202   337499  105    19776   63799   3038   3791 0.80
188.72/188.96	c     5120   1686     5285   801060  151    23800   70179   5121   1955 2.62
188.72/188.96	c     8343   1686     8508  1198319  140    30193   77197   8344   2296 3.63
188.72/188.96	c    13279   1686    13444  4103189  305    40364   84917  13280    850 15.62
188.72/188.96	c    20785   1686    20950  7231291  345    55348   93409  20786    709 29.30
188.72/188.96	c    32146   1686    32311 11715677  362    77873  102750  32147    212 150.98
188.72/188.96	c    49290   1686    49455 19912522  402   112315  113026  49291    261 188.22
188.72/188.96	o 6707757	188.778
1799.98/1800.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.62	c    50008   1686    50174 20073212  400   114899   39612  50010    264 188.78
1799.98/1800.62	c    50108   1686    11907  5043705  423    36372   43574  11743    263 189.89
1799.98/1800.62	c    50358   1686    12157  5066772  416    36865   47932  11993    265 189.96
1799.98/1800.62	c    50833   1686    12632  5168868  409    38239   52726  12468    266 190.59
1799.98/1800.62	c    51647   1686    13446  5282634  392    39854   57999  13282    270 190.94
1799.98/1800.62	c    52970   1686    14769  5857067  396    42827   63799  14605    274 192.74
1799.98/1800.62	c    55051   1686    16850  6155947  365    46612   70179  16686    284 193.54
1799.98/1800.62	c    58275   1686    20074  6959618  346    53541   77197  19910    287 202.64
1799.98/1800.62	c    63212   1686    25011  8457528  338    63362   84917  24847    300 210.18
1799.98/1800.62	c    70718   1686    32517 12409522  381    78300   93409  32353    311 227.17
1799.98/1800.62	c    82081   1686    43880 15115657  344   100723  102750  43716    309 265.15
1799.98/1800.62	c    99230   1686    61029 21946120  359   135482  113026  60865    314 315.17
1799.98/1800.62	c   125049   1686    86848 24761289  285   186966  124329  86684    358 348.85
1799.98/1800.62	c   163881   1686   125680 36542698  290   264803  136762 125516    351 465.90
1799.98/1800.62	c   222233   1686    56879 19577711  344   127120  150439  56715    289 768.27
1799.98/1800.62	c   309866   1686   144512 69411850  480   302213  165483 144348    266 1162.76
1799.98/1800.62	c Resources Exceeded
1799.98/1800.62	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1799.98/1800.62	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1799.98/1800.62	v -x55 -x56 -x57 -x58 -x59 -x60 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1799.98/1800.62	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1799.98/1800.62	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1799.98/1800.62	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1621 x1622 x1623 x1624 -x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632
1799.98/1800.62	v -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1799.98/1800.62	v -x1650 x1951 x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967
1799.98/1800.62	v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x2281 -x2282 -x2283 -x2284
1799.98/1800.62	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
1799.98/1800.62	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2611 x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619
1799.98/1800.62	v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1799.98/1800.62	v -x2637 -x2638 -x2639 -x2640 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953
1799.98/1800.62	v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
1799.98/1800.62	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
1799.98/1800.62	v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x61 -x62 -x63 -x64 -x65 -x66
1799.98/1800.62	v -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391
1799.98/1800.62	v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412
1799.98/1800.62	v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1799.98/1800.62	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1799.98/1800.62	v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1799.98/1800.62	v -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 x784 x785 -x786 x787 x788 x789 x790 x791 -x792 -x793 -x794 -x795 -x796 -x797
1799.98/1800.62	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1799.98/1800.62	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1799.98/1800.62	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860
1799.98/1800.62	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881
1799.98/1800.62	v -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1799.98/1800.62	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1799.98/1800.62	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1799.98/1800.62	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x991 -x992 -x993 -x994 -x995
1799.98/1800.62	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1799.98/1800.62	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1799.98/1800.62	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1799.98/1800.62	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1799.98/1800.62	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1799.98/1800.62	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1799.98/1800.62	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 -x1115 -x1116
1799.98/1800.62	v -x1117 -x1118 x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
1799.98/1800.62	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
1799.98/1800.62	v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168
1799.98/1800.62	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185
1799.98/1800.62	v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1799.98/1800.62	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1799.98/1800.62	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1799.98/1800.62	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1799.98/1800.62	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
1799.98/1800.62	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1799.98/1800.62	v -x1288 -x1289 -x1290 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1799.98/1800.62	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1799.98/1800.62	v x1352 -x1353 x1354 x1355 x1356 x1357 x1358 -x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1799.98/1800.62	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
1799.98/1800.62	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1799.98/1800.62	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1799.98/1800.62	v x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1799.98/1800.62	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1799.98/1800.62	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1799.98/1800.62	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1799.98/1800.62	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507
1799.98/1800.62	v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1799.98/1800.62	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541
1799.98/1800.62	v x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
1799.98/1800.62	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1799.98/1800.62	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1799.98/1800.62	v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1799.98/1800.62	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657
1799.98/1800.62	v -x1658 -x1659 -x1660 x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1799.98/1800.62	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1799.98/1800.62	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1799.98/1800.62	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1799.98/1800.62	v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1799.98/1800.62	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1799.98/1800.62	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1799.98/1800.62	v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
1799.98/1800.62	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1799.98/1800.62	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1799.98/1800.62	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 x1843 -x1844 -x1845 -x1846
1799.98/1800.62	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1799.98/1800.62	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1799.98/1800.62	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1799.98/1800.62	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1799.98/1800.62	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1799.98/1800.62	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1799.98/1800.62	v -x1949 -x1950 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
1799.98/1800.62	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1799.98/1800.62	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1799.98/1800.62	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
1799.98/1800.62	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1799.98/1800.62	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1799.98/1800.62	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1799.98/1800.62	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1799.98/1800.62	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131
1799.98/1800.62	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1799.98/1800.62	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1799.98/1800.62	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
1799.98/1800.62	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1799.98/1800.62	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1799.98/1800.62	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1799.98/1800.62	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1799.98/1800.62	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1799.98/1800.62	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2311 -x2312 -x2313 -x2314
1799.98/1800.62	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1799.98/1800.62	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
1799.98/1800.62	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1799.98/1800.62	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 x2380 x2381 -x2382 -x2383
1799.98/1800.62	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1799.98/1800.62	v -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
1799.98/1800.62	v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435
1799.98/1800.62	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452
1799.98/1800.62	v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 x2465 -x2466 x2467 -x2468 -x2469 -x2470
1799.98/1800.62	v -x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488
1799.98/1800.62	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1799.98/1800.62	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
1799.98/1800.62	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539
1799.98/1800.62	v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1799.98/1800.62	v -x2557 x2558 x2559 x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1799.98/1800.62	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
1799.98/1800.62	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1799.98/1800.62	v -x2609 -x2610 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1799.98/1800.62	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672
1799.98/1800.62	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1799.98/1800.62	v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 x2705 x2706 x2707
1799.98/1800.62	v x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1799.98/1800.62	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1799.98/1800.62	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1799.98/1800.62	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1799.98/1800.62	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1799.98/1800.62	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1799.98/1800.62	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1799.98/1800.62	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1799.98/1800.62	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1799.98/1800.62	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1799.98/1800.62	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1799.98/1800.62	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1799.98/1800.62	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1799.98/1800.62	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2971 -x2972 -x2973 -x2974 -x2975
1799.98/1800.62	v -x2976 -x2977 x2978 -x2979 -x2980 x2981 x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993
1799.98/1800.62	v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
1799.98/1800.62	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027
1799.98/1800.62	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044
1799.98/1800.62	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
1799.98/1800.62	v -x3062 x3063 x3064 -x3065 -x3066 -x3067 x3068 -x3069 x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1799.98/1800.62	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1799.98/1800.62	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1799.98/1800.62	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1799.98/1800.62	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
1799.98/1800.62	v -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
1799.98/1800.62	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
1799.98/1800.62	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1799.98/1800.62	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 -x3213 x3214 -x3215 -x3216
1799.98/1800.62	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1799.98/1800.62	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1799.98/1800.62	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1799.98/1800.62	v -x3268 -x3269 -x3270 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314
1799.98/1800.62	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331
1799.98/1800.62	v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348
1799.98/1800.62	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1799.98/1800.62	v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382
1799.98/1800.62	v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399
1799.98/1800.62	v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416
1799.98/1800.62	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433
1799.98/1800.62	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
1799.98/1800.62	v -x3451 -x3452 x3453 -x3454 x3455 x3456 x3457 x3458 x3459 x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469
1799.98/1800.62	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486
1799.98/1800.62	v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503
1799.98/1800.62	v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
1799.98/1800.62	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537
1799.98/1800.62	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554
1799.98/1800.62	v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571
1799.98/1800.62	v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
1799.98/1800.62	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98
1799.98/1800.62	v -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119
1799.98/1800.62	v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
1799.98/1800.62	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161
1799.98/1800.62	v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182
1799.98/1800.62	v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203
1799.98/1800.62	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
1799.98/1800.62	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245
1799.98/1800.62	v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
1799.98/1800.62	v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
1799.98/1800.62	v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308
1799.98/1800.62	v x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
1799.98/1800.62	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
1799.98/1800.62	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371
1799.98/1800.62	v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422
1799.98/1800.62	v -x423 -x424 -x425 x426 -x427 -x428 x429 -x430 x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1799.98/1800.62	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 x458 -x459 x460 -x461 x462 -x463 -x464 -x465
1799.98/1800.62	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1799.98/1800.62	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1799.98/1800.62	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1799.98/1800.62	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1799.98/1800.62	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1799.98/1800.62	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1799.98/1800.62	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1799.98/1800.62	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1799.98/1800.62	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
1799.98/1800.62	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
1799.98/1800.62	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1799.98/1800.62	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1799.98/1800.62	v -x718 -x719 -x720 -x3601 -x3602 x3633 -x3644 x3655 x3666 -x3677 x3688 -x3699 -x3710 -x3603 -x3614 x3625 -x3626 x3627 -x3628
1799.98/1800.62	v x3629 x3630 -x3631 -x3632 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3645 x3646 -x3647 x3648
1799.98/1800.62	v -x3649 x3650 -x3651 x3652 -x3653 -x3654 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3667 -x3668
1799.98/1800.62	v -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3678 -x3679 x3680 x3681 x3682 x3683 -x3684 -x3685 x3686 -x3687
1799.98/1800.62	v -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3700 -x3701 -x3702 x3703 -x3704 -x3705 x3706 -x3707
1799.98/1800.62	v x3708 -x3709 x3711 -x3712 -x3713 -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3604 x3605 -x3606 -x3607 -x3608 -x3609
1799.98/1800.62	v -x3610 x3611 -x3612 -x3613 x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624
1799.98/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.63	c   28   426187  85943   699412   105050 45616180 104886    236 1800.02
1799.98/1800.63	c Objective: 6707757
1799.98/1800.63	s SATISFIABLE
1799.98/1800.63	c Total time: 1800.02 s

Verifier Data (download as text)

OK	6707757

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-353935-1176688951 -o ROOT/results/node15/solver-353935-1176688951 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353935-1176688951/instance-353935-1176688951.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.13 1.08 1.02 3/77 20545
/proc/meminfo: memFree=1897072/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=18568 CPUtime=0
/proc/20545/stat : 20545 (runsolver) D 20543 20545 19777 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 116812748 19013632 292 18446744073709551615 4194304 4296420 548682068960 18446744073709551615 240472616231 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/20545/statm: 4642 292 257 24 0 2626 0

[startup+0.100297 s]
/proc/loadavg: 1.13 1.08 1.02 3/77 20545
/proc/meminfo: memFree=1897072/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=3780 CPUtime=0
/proc/20545/stat : 20545 (bsolo3.0.16) D 20543 20545 19777 0 -1 4194304 161 0 6 0 0 0 0 0 18 0 1 0 116812748 3870720 135 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7978656 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/20545/statm: 945 135 111 324 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3780

[startup+0.202305 s]
/proc/loadavg: 1.13 1.08 1.02 3/77 20545
/proc/meminfo: memFree=1897072/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=5100 CPUtime=0.07
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 734 0 17 0 6 1 0 0 18 0 1 0 116812748 5222400 662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 1275 662 311 324 0 344 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5100

[startup+0.302315 s]
/proc/loadavg: 1.13 1.08 1.02 3/77 20545
/proc/meminfo: memFree=1897072/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=5756 CPUtime=0.17
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 898 0 17 0 16 1 0 0 18 0 1 0 116812748 5894144 826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 1439 826 313 324 0 508 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5756

[startup+0.701351 s]
/proc/loadavg: 1.13 1.08 1.02 3/77 20545
/proc/meminfo: memFree=1897072/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=8340 CPUtime=0.57
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 1528 0 17 0 56 1 0 0 22 0 1 0 116812748 8540160 1456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 2085 1456 313 324 0 1154 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8340

[startup+1.50142 s]
/proc/loadavg: 1.13 1.08 1.02 2/78 20546
/proc/meminfo: memFree=1888488/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=11548 CPUtime=1.37
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 2348 0 17 0 135 2 0 0 25 0 1 0 116812748 11825152 2276 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7946387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 2887 2276 313 324 0 1956 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11548

[startup+3.10157 s]
/proc/loadavg: 1.13 1.08 1.02 2/78 20546
/proc/meminfo: memFree=1884904/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=17736 CPUtime=2.97
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 3874 0 17 0 294 3 0 0 25 0 1 0 116812748 18161664 3802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 4434 3802 313 324 0 3503 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 17736

[startup+6.30187 s]
/proc/loadavg: 1.12 1.07 1.02 2/78 20546
/proc/meminfo: memFree=1869928/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=31264 CPUtime=6.17
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 7278 0 17 0 612 5 0 0 25 0 1 0 116812748 32014336 7206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 7816 7206 313 324 0 6885 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 31264

[startup+12.7015 s]
/proc/loadavg: 1.11 1.07 1.01 2/78 20546
/proc/meminfo: memFree=1849384/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=50704 CPUtime=12.57
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 12116 0 17 0 1248 9 0 0 25 0 1 0 116812748 51920896 12044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 12676 12044 313 324 0 11745 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 50704

[startup+25.5026 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 20546
/proc/meminfo: memFree=1813224/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=86016 CPUtime=25.36
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 20947 0 17 0 2521 15 0 0 25 0 1 0 116812748 88080384 20875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 21504 20875 313 324 0 20573 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 86016

[startup+51.103 s]
/proc/loadavg: 1.06 1.06 1.01 2/78 20546
/proc/meminfo: memFree=1789288/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=109352 CPUtime=50.95
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 26783 0 17 0 5077 18 0 0 25 0 1 0 116812748 111976448 26711 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 27338 26711 313 324 0 26407 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 109352

[startup+102.302 s]
/proc/loadavg: 1.02 1.05 1.01 2/78 20546
/proc/meminfo: memFree=1769256/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=129096 CPUtime=102.14
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 31735 0 17 0 10191 23 0 0 25 0 1 0 116812748 132194304 31663 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 32274 31663 313 324 0 31343 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 129096

[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 20546
/proc/meminfo: memFree=1706024/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=194068 CPUtime=162.12
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 47954 0 17 0 16178 34 0 0 25 0 1 0 116812748 198725632 47882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 48517 47882 313 324 0 47586 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 194068

[startup+222.307 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 20546
/proc/meminfo: memFree=1632168/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=265640 CPUtime=222.11
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 65906 0 17 0 22163 48 0 0 25 0 1 0 116812748 272015360 65785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 66410 65785 313 324 0 65479 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 265640

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20546
/proc/meminfo: memFree=1632112/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=265640 CPUtime=282.09
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 65907 0 17 0 28156 53 0 0 25 0 1 0 116812748 272015360 65786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7943504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 66410 65786 313 324 0 65479 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 265640

[startup+342.303 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20546
/proc/meminfo: memFree=1572976/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=324932 CPUtime=342.07
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 80715 0 17 0 34139 68 0 0 25 0 1 0 116812748 332730368 80594 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 81233 80594 313 324 0 80302 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 324932

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20546
/proc/meminfo: memFree=1498992/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=400220 CPUtime=402.06
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 99565 0 17 0 40122 84 0 0 25 0 1 0 116812748 409825280 99444 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 100055 99444 313 324 0 99124 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 400220

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1418032/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=479696 CPUtime=462.05
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 119427 0 17 0 46105 100 0 0 25 0 1 0 116812748 491208704 119306 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 119924 119306 313 324 0 118993 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 479696

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1358768/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=539328 CPUtime=522.03
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 134335 0 17 0 52090 113 0 0 25 0 1 0 116812748 552271872 134214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 134832 134214 313 324 0 133901 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 539328

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1353520/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=543304 CPUtime=582.01
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 135454 0 17 0 58086 115 0 0 25 0 1 0 116812748 556343296 135196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 135826 135196 313 324 0 134895 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 543304

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1353520/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=543304 CPUtime=641.99
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 135454 0 17 0 64080 119 0 0 25 0 1 0 116812748 556343296 135196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 135826 135196 313 324 0 134895 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 543304


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1353392/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=543304 CPUtime=821.94
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 135454 0 17 0 82067 127 0 0 25 0 1 0 116812748 556343296 135196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 135826 135196 313 324 0 134895 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 543304

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1353264/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=543304 CPUtime=881.93
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 135454 0 17 0 88062 131 0 0 25 0 1 0 116812748 556343296 135196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 135826 135196 313 324 0 134895 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 543304

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1273904/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=623196 CPUtime=941.91
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 155421 0 17 0 94044 147 0 0 25 0 1 0 116812748 638152704 155163 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 155799 155163 313 324 0 154868 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 623196

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1194928/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=701492 CPUtime=1001.9
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 175016 0 17 0 100028 162 0 0 25 0 1 0 116812748 718327808 174758 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 175373 174758 313 324 0 174442 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 701492

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1130160/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=767328 CPUtime=1061.88
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 191468 0 17 0 106014 174 0 0 25 0 1 0 116812748 785743872 191210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 191832 191210 313 324 0 190901 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 767328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1039664/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=856460 CPUtime=1121.86
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 213740 0 17 0 111996 190 0 0 25 0 1 0 116812748 877015040 213482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 214115 213482 313 324 0 213184 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 856460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=955568/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=940708 CPUtime=1181.84
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 234803 0 17 0 117980 204 0 0 25 0 1 0 116812748 963284992 234545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 235177 234545 313 324 0 234246 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 940708

[startup+1242.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 20546
/proc/meminfo: memFree=876592/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1019308 CPUtime=1241.83
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 254454 0 17 0 123961 222 0 0 25 0 1 0 116812748 1043771392 254196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 254827 254196 313 324 0 253896 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1019308

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 20546
/proc/meminfo: memFree=860080/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1301.82
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 129955 227 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1034816

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=860016/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1361.8
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 135946 234 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1034816

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859952/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1421.79
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 141942 237 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7946011 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1034816

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859952/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1481.77
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 147936 241 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1034816

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859888/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1541.75
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 153932 243 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1034816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859824/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1601.74
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 159927 247 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1034816

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859760/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1661.71
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 165919 252 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1034816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859696/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1721.7
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 171915 255 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1034816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=859504/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=1034816 CPUtime=1781.68
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194304 258510 0 17 0 177911 257 0 0 25 0 1 0 116812748 1059651584 258087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 258704 258087 313 324 0 257773 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1034816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20546
/proc/meminfo: memFree=1344944/2055920 swapFree=4169120/4192956
[pid=20545] ppid=20543 vsize=0 CPUtime=1800.08
/proc/20545/stat : 20545 (bsolo3.0.16) R 20543 20545 19777 0 -1 4194308 258511 0 17 0 179743 265 0 0 17 0 1 0 116812748 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20545/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.18
CPU user time (s): 1797.44
CPU system time (s): 2.73658
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1035476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 2.73658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258511
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 37566

runsolver used 2.15967 second user time and 4.08938 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Apr 16 02:02:31 UTC 2007

IDJOB= 353935
IDBENCH= 2295
IDSOLVER= 163
FILE ID= node15/353935-1176688951

PBS_JOBID= 4559406

Free space on /tmp= 66507 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353935-1176688951/instance-353935-1176688951.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-353935-1176688951 -o ROOT/results/node15/solver-353935-1176688951 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353935-1176688951/instance-353935-1176688951.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9d08937c2a2ec73e4fca19adadace920

RANDOM SEED= 473946872

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1897480 kB
Buffers:          6760 kB
Cached:          75156 kB
SwapCached:       2540 kB
Active:          48056 kB
Inactive:        57652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1897480 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            7132 kB
Writeback:           0 kB
Mapped:          31116 kB
Slab:            38140 kB
Committed_AS:  6089336 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66507 MiB

End job on node15 on Mon Apr 16 02:32:34 UTC 2007