Trace number 354609

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.16SAT962 1800.06 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
MD5SUM41d95962f9f821e00bc6bf0e503d69d6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark960
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 957
Optimality of the best value was proved NO
Number of variables6175
Total number of constraints17920
Number of constraints which are clauses17920
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint495
Number of terms in the objective function 6175
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 6175
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6175
Number of bits of the biggest sum of numbers13
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.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354609-1176720334/instance-354609-1176720334.opb
0.00/0.00	c File size is 1073828 bytes.
0.19/0.20	c Highest Coefficient sum: 6175
0.19/0.20	c Parsing was ok!!
0.19/0.20	c Total parsing time: 0.204 s
0.19/0.21	c Var: 6175 Constr: 17920 17920/0/0 Lit: 101140 Watch. Lit: 35672
0.19/0.21	c Obj. Vars: 6175 (100 % of total variables)
0.49/0.57	c Formula reductions applied at preprocessing
0.49/0.57	c Pre-processing Time: 0.568 s
5.19/5.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.28	c        0   4253     9891    60793    6    19782    3296      0      0 0.57
5.19/5.28	c Initial Lower Bound: 904
5.19/5.28	c Initial Path Cost: 257
5.29/5.30	o 1022	5.298
71.18/71.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.18/71.21	c       31   4250     9923    65192    6    23331    4296     32      5 5.30
71.18/71.21	o 977	71.194 * 
117.67/117.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
117.67/117.74	c       56   4248     9949    69577    6    26914    4296     58      0 71.20
117.67/117.74	o 974	117.709 * 
159.16/159.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.16/159.28	c      124   4244    10056   134833   13    30660    4296    165      1 117.71
159.16/159.28	c      224   4244    10243   242905   23    31034    4726    352      1 142.64
159.16/159.28	o 973	159.24 * 
231.74/231.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
231.74/231.86	c      237   4243    10258   249094   24    34600    4296    367      1 159.24
231.74/231.86	c      337   4242    10450   426085   40    34983    4726    559      1 185.43
231.74/231.86	c      587   4242    10942   811835   74    35967    5199   1051      2 211.16
231.74/231.86	o 965	231.808 * 
569.56/569.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
569.56/569.79	c      600   4242    10956   816130   74    39540    4296   1065      2 231.81
569.56/569.79	c      700   4242    11152   936114   83    39932    4726   1261      2 249.52
569.56/569.79	c      950   4242    11644  1321864  113    40916    5199   1753      3 276.30
569.56/569.79	c     1425   4242    12589  2702607  214    42806    5719   2698      4 310.52
569.56/569.79	c     2238   4242    14206  3765291  265    46040    6291   4315      6 360.22
569.56/569.79	c     3558   4242    16827  5624936  334    51282    6921   6936      8 444.35
569.56/569.79	c     5639   4242    14710  3338320  226    32954    7614   4819     10 560.03
569.56/569.79	o 964	569.655 * 
1495.43/1495.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1495.43/1495.94	c     5733   4242    14895  3475311  233    36870    4296   5004     10 569.66
1495.43/1495.94	c     5833   4242    15093  3780018  250    37266    4726   5202     10 580.19
1495.43/1495.94	c     6083   4242    15581  4089496  262    38242    5199   5690     10 604.35
1495.43/1495.94	c     6558   4242    16525  5132710  310    40130    5719   6634     10 632.09
1495.43/1495.94	c     7371   4242    12785  2198985  171    29105    6291   2894     10 683.40
1495.43/1495.94	c     8691   4242    15402  4233628  274    34339    6921   5511     11 760.46
1495.43/1495.94	c    10772   4242    13405  2729668  203    30345    7614   3514     12 862.44
1495.43/1495.94	c    13995   4242    13753  3379744  245    31041    8376   3862     13 1032.01
1495.43/1495.94	c    18931   4242    16522  4542962  274    36579    9214   6631     14 1282.10
1495.43/1495.94	o 962	1495.47 * 
1799.95/1800.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.57	c    22760   4242    16932  4230051  249    40947    4296   7041     15 1495.47
1799.95/1800.57	c    22860   4242    12293  1401267  113    28123    4726   2402     15 1510.95
1799.95/1800.57	c    23110   4242    12783  2018425  157    29103    5199   2892     15 1539.78
1799.95/1800.57	c    23585   4242    13729  2659173  193    30995    5719   3838     14 1584.74
1799.95/1800.57	c    24398   4242    15352  4447946  289    34241    6291   5461     14 1631.49
1799.95/1800.57	c    25718   4242    17986  6976553  387    39509    6921   8095     15 1699.27
1799.95/1800.57	c Resources Exceeded
1799.95/1800.57	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 -x29
1799.95/1800.57	v 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 -x55 -x56
1799.95/1800.57	v -x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 x82 -x83
1799.95/1800.57	v -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108
1799.95/1800.57	v -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130
1799.95/1800.57	v -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152
1799.95/1800.57	v -x153 x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174
1799.95/1800.57	v -x175 -x176 -x177 x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196
1799.95/1800.57	v -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218
1799.95/1800.57	v -x219 -x220 -x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239
1799.95/1800.57	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1799.95/1800.57	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
1799.95/1800.57	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302
1799.95/1800.57	v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 x320 -x321 -x322 -x323
1799.95/1800.57	v x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345
1799.95/1800.57	v -x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367
1799.95/1800.57	v x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 x388 -x389
1799.95/1800.57	v -x390 -x391 x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411
1799.95/1800.57	v x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433
1799.95/1800.57	v -x434 -x435 x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 x452 -x453 -x454 -x455
1799.95/1800.57	v x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 -x477
1799.95/1800.57	v -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 -x498 -x499
1799.95/1800.57	v x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 x520 -x521
1799.95/1800.57	v -x522 -x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1799.95/1800.57	v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1799.95/1800.57	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1799.95/1800.57	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605
1799.95/1800.57	v -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 x619 -x620 x621 -x622 x623 -x624 x625 -x626 x627
1799.95/1800.57	v -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 x637 -x638 x639 -x640 x641 -x642 x643 -x644 x645 -x646 x647 -x648 x649 -x650
1799.95/1800.57	v x651 -x652 x653 -x654 x655 -x656 x657 -x658 x659 -x660 x661 -x662 x663 -x664 x665 -x666 x667 -x668 x669 -x670 x671 -x672 x673
1799.95/1800.57	v -x674 x675 -x676 -x677 -x678 x679 -x680 x681 -x682 x683 -x684 x685 -x686 x687 -x688 x689 -x690 x691 -x692 x693 -x694 x695 -x696
1799.95/1800.57	v x697 -x698 x699 -x700 x701 -x702 x703 -x704 x705 -x706 x707 -x708 x709 -x710 x711 -x712 x713 -x714 x715 -x716 -x717 -x718 -x719
1799.95/1800.57	v -x720 x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1799.95/1800.57	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1799.95/1800.57	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1799.95/1800.57	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1799.95/1800.57	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1799.95/1800.57	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1799.95/1800.57	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1799.95/1800.57	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1799.95/1800.57	v -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1799.95/1800.57	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1799.95/1800.57	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950
1799.95/1800.57	v x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971
1799.95/1800.57	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1799.95/1800.57	v -x993 -x994 -x995 -x996 x997 x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 x1011
1799.95/1800.57	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029
1799.95/1800.57	v -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1799.95/1800.57	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1799.95/1800.57	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1799.95/1800.57	v -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1799.95/1800.57	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1799.95/1800.57	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1799.95/1800.57	v -x1133 -x1134 x1135 x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 x1150
1799.95/1800.57	v -x1151 x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 x1168
1799.95/1800.57	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185
1799.95/1800.57	v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1799.95/1800.57	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220
1799.95/1800.57	v -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 x1238
1799.95/1800.57	v -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
1799.95/1800.57	v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273
1799.95/1800.57	v -x1274 -x1275 -x1276 -x1277 x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291
1799.95/1800.57	v -x1292 -x1293 -x1294 x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309
1799.95/1800.57	v -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327
1799.95/1800.57	v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
1799.95/1800.57	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 x1360 x1361 -x1362
1799.95/1800.57	v x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1799.95/1800.57	v -x1380 -x1381 -x1382 x1383 -x1384 x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397
1799.95/1800.57	v x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415
1799.95/1800.57	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1799.95/1800.57	v x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1799.95/1800.57	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1799.95/1800.57	v -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1799.95/1800.57	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 x1502 -x1503
1799.95/1800.57	v x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521
1799.95/1800.57	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1799.95/1800.57	v x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1799.95/1800.57	v x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574
1799.95/1800.57	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591
1799.95/1800.57	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1799.95/1800.57	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1799.95/1800.57	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1799.95/1800.57	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1799.95/1800.57	v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1799.95/1800.57	v -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697
1799.95/1800.57	v -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 x1712 -x1713 -x1714 -x1715
1799.95/1800.57	v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732
1799.95/1800.57	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
1799.95/1800.57	v -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767
1799.95/1800.57	v -x1768 -x1769 x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 -x1785
1799.95/1800.57	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 x1801 -x1802 -x1803
1799.95/1800.57	v x1804 -x1805 -x1806 x1807 -x1808 -x1809 x1810 -x1811 -x1812 x1813 -x1814 -x1815 x1816 -x1817 -x1818 x1819 -x1820 -x1821
1799.95/1800.57	v x1822 -x1823 -x1824 x1825 -x1826 -x1827 x1828 -x1829 -x1830 x1831 -x1832 -x1833 x1834 -x1835 -x1836 x1837 -x1838 -x1839
1799.95/1800.57	v x1840 -x1841 -x1842 x1843 -x1844 -x1845 x1846 -x1847 -x1848 x1849 -x1850 -x1851 x1852 -x1853 -x1854 x1855 -x1856 -x1857
1799.95/1800.57	v x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875
1799.95/1800.57	v x1876 -x1877 -x1878 x1879 -x1880 -x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 -x1893
1799.95/1800.57	v x1894 -x1895 -x1896 x1897 -x1898 -x1899 x1900 -x1901 -x1902 x1903 -x1904 -x1905 x1906 -x1907 -x1908 x1909 -x1910 -x1911
1799.95/1800.57	v x1912 -x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 -x1920 x1921 -x1922 -x1923 x1924 -x1925 -x1926 x1927 -x1928 -x1929
1799.95/1800.57	v x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937 -x1938 x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947
1799.95/1800.57	v x1948 -x1949 -x1950 x1951 -x1952 -x1953 x1954 -x1955 -x1956 x1957 -x1958 -x1959 x1960 -x1961 -x1962 x1963 -x1964 -x1965
1799.95/1800.57	v -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983
1799.95/1800.57	v -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 x2001
1799.95/1800.57	v -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 x2019
1799.95/1800.57	v -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 x2037
1799.95/1800.57	v -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 x2055
1799.95/1800.57	v -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 x2073
1799.95/1800.57	v -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 x2091
1799.95/1800.57	v -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 x2109
1799.95/1800.57	v -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 x2127
1799.95/1800.57	v -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145
1799.95/1800.57	v -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 x2163
1799.95/1800.57	v -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 x2181
1799.95/1800.57	v -x2182 x2183 -x2184 x2185 -x2186 x2187 -x2188 x2189 -x2190 x2191 -x2192 x2193 -x2194 x2195 -x2196 x2197 -x2198 -x2199 -x2200
1799.95/1800.57	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 x2214 -x2215 -x2216 x2217 -x2218
1799.95/1800.57	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
1799.95/1800.57	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252
1799.95/1800.57	v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1799.95/1800.57	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1799.95/1800.57	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1799.95/1800.57	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1799.95/1800.57	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
1799.95/1800.57	v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1799.95/1800.57	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1799.95/1800.57	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1799.95/1800.57	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1799.95/1800.57	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1799.95/1800.57	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439
1799.95/1800.57	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1799.95/1800.57	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473
1799.95/1800.57	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1799.95/1800.57	v x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1799.95/1800.57	v -x2509 x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526
1799.95/1800.57	v -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 x2541 -x2542 -x2543 x2544
1799.95/1800.57	v -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 x2557 x2558 -x2559 x2560 -x2561 -x2562
1799.95/1800.57	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1799.95/1800.57	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 x2596 -x2597
1799.95/1800.57	v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 x2613 -x2614 -x2615
1799.95/1800.57	v -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633
1799.95/1800.57	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650
1799.95/1800.57	v -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 x2658 -x2659 x2660 -x2661 x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668
1799.95/1800.57	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685
1799.95/1800.57	v -x2686 -x2687 -x2688 x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 x2698 -x2699 -x2700 -x2701 x2702 -x2703
1799.95/1800.57	v -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1799.95/1800.57	v -x2721 -x2722 x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738
1799.95/1800.57	v -x2739 x2740 -x2741 x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1799.95/1800.57	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
1799.95/1800.57	v -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1799.95/1800.57	v x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808
1799.95/1800.57	v -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1799.95/1800.57	v x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
1799.95/1800.57	v -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859
1799.95/1800.57	v -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1799.95/1800.57	v -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1799.95/1800.57	v -x2895 x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912
1799.95/1800.57	v x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1799.95/1800.57	v x2931 -x2932 x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1799.95/1800.57	v -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1799.95/1800.57	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982
1799.95/1800.57	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000
1799.95/1800.57	v -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018
1799.95/1800.57	v -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
1799.95/1800.57	v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052
1799.95/1800.57	v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069
1799.95/1800.57	v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 x3086 -x3087
1799.95/1800.57	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105
1799.95/1800.57	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1799.95/1800.57	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140
1799.95/1800.57	v -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158
1799.95/1800.57	v x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1799.95/1800.57	v x3176 -x3177 -x3178 -x3179 x3180 x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193
1799.95/1800.57	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
1799.95/1800.57	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228
1799.95/1800.57	v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1799.95/1800.57	v -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263
1799.95/1800.57	v x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281
1799.95/1800.57	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299
1799.95/1800.57	v -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317
1799.95/1800.57	v -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335
1799.95/1800.57	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352
1799.95/1800.57	v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 x3366 x3367 x3368 -x3369 -x3370
1799.95/1800.57	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1799.95/1800.57	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404
1799.95/1800.57	v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422
1799.95/1800.57	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
1799.95/1800.57	v -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 x3454 -x3455 -x3456 -x3457 -x3458
1799.95/1800.57	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1799.95/1800.57	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1799.95/1800.57	v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
1799.95/1800.57	v -x3511 -x3512 x3513 x3514 -x3515 x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528
1799.95/1800.57	v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 x3544 -x3545 -x3546
1799.95/1800.57	v -x3547 x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564
1799.95/1800.57	v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 x3576 -x3577 x3578 -x3579 x3580 -x3581 -x3582
1799.95/1800.57	v x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
1799.95/1800.57	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1799.95/1800.57	v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635
1799.95/1800.57	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 x3649 -x3650 -x3651 -x3652 x3653
1799.95/1800.57	v -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671
1799.95/1800.57	v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688
1799.95/1800.57	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1799.95/1800.57	v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722
1799.95/1800.57	v x3723 x3724 -x3725 -x3726 x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
1799.95/1800.57	v -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757
1799.95/1800.57	v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775
1799.95/1800.57	v x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1799.95/1800.57	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811
1799.95/1800.57	v -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1799.95/1800.57	v -x3830 x3831 -x3832 -x3833 -x3834 -x3835 x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847
1799.95/1800.57	v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1799.95/1800.57	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881
1799.95/1800.57	v -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898
1799.95/1800.57	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915
1799.95/1800.57	v -x3916 -x3917 -x3918 -x3919 x3920 -x3921 -x3922 x3923 -x3924 x3925 -x3926 -x3927 -x3928 x3929 -x3930 x3931 -x3932 -x3933
1799.95/1800.57	v -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951
1799.95/1800.57	v x3952 x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969
1799.95/1800.57	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1799.95/1800.57	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003
1799.95/1800.57	v -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1799.95/1800.57	v -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038
1799.95/1800.57	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055
1799.95/1800.57	v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 x4072 -x4073
1799.95/1800.57	v -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091
1799.95/1800.57	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108
1799.95/1800.57	v -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125
1799.95/1800.57	v -x4126 -x4127 -x4128 -x4129 x4130 x4131 -x4132 -x4133 -x4134 -x4135 x4136 x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143
1799.95/1800.57	v -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
1799.95/1800.57	v -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 x4177 -x4178
1799.95/1800.57	v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
1799.95/1800.57	v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213
1799.95/1800.57	v -x4214 -x4215 x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231
1799.95/1800.57	v x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 x4246 -x4247 x4248 -x4249
1799.95/1800.57	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 x4267
1799.95/1800.57	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 x4281 x4282 -x4283 x4284 -x4285
1799.95/1800.57	v -x4286 x4287 x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303
1799.95/1800.57	v x4304 -x4305 x4306 -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1799.95/1800.57	v -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1799.95/1800.57	v x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1799.95/1800.57	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1799.95/1800.57	v x4373 x4374 -x4375 x4376 -x4377 -x4378 x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1799.95/1800.57	v -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407
1799.95/1800.57	v -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425
1799.95/1800.57	v -x4426 -x4427 -x4428 -x4429 -x4430 x4431 x4432 -x4433 -x4434 -x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443
1799.95/1800.57	v -x4444 -x4445 -x4446 x4447 x4448 x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461
1799.95/1800.57	v -x4462 -x4463 -x4464 -x4465 x4466 x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 x4478 -x4479
1799.95/1800.57	v -x4480 x4481 -x4482 x4483 x4484 x4485 -x4486 x4487 x4488 -x4489 x4490 -x4491 -x4492 x4493 -x4494 -x4495 -x4496 -x4497 -x4498
1799.95/1800.57	v x4499 x4500 -x4501 x4502 -x4503 -x4504 x4505 -x4506 x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 x4514 x4515 x4516 -x4517
1799.95/1800.57	v x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 x4526 -x4527 -x4528 x4529 x4530 x4531 -x4532 -x4533 -x4534 -x4535
1799.95/1800.57	v -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552
1799.95/1800.57	v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569
1799.95/1800.57	v -x4570 -x4571 x4572 -x4573 -x4574 -x4575 x4576 -x4577 x4578 x4579 -x4580 x4581 x4582 -x4583 x4584 -x4585 -x4586 -x4587
1799.95/1800.57	v -x4588 -x4589 -x4590 x4591 x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 x4599 -x4600 -x4601 x4602 x4603 -x4604 -x4605
1799.95/1800.57	v x4606 -x4607 -x4608 x4609 -x4610 x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623
1799.95/1800.57	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
1799.95/1800.57	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 x4653 -x4654 x4655 x4656 -x4657 -x4658
1799.95/1800.57	v -x4659 -x4660 -x4661 x4662 x4663 x4664 x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676
1799.95/1800.57	v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693
1799.95/1800.57	v -x4694 x4695 -x4696 x4697 x4698 x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 x4709 -x4710 -x4711
1799.95/1800.57	v -x4712 x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729
1799.95/1800.57	v x4730 x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 x4747
1799.95/1800.57	v x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765
1799.95/1800.57	v -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 x4780 -x4781 x4782 -x4783
1799.95/1800.57	v -x4784 x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801
1799.95/1800.57	v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 -x4817 -x4818
1799.95/1800.57	v x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836
1799.95/1800.57	v -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848 -x4849 x4850 x4851 x4852 -x4853 x4854
1799.95/1800.57	v -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872
1799.95/1800.57	v -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
1799.95/1800.57	v x4891 -x4892 x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
1799.95/1800.57	v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 x4915 -x4916 x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926
1799.95/1800.57	v -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943
1799.95/1800.57	v -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1799.95/1800.57	v -x4961 -x4962 -x4963 x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 x4978
1799.95/1800.57	v -x4979 x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 x4989 x4990 -x4991 -x4992 x4993 -x4994 x4995 x4996
1799.95/1800.57	v -x4997 x4998 -x4999 x5000 -x5001 -x5002 -x5003 x5004 x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 x5014
1799.95/1800.57	v -x5015 x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032
1799.95/1800.57	v -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049
1799.95/1800.57	v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066
1799.95/1800.57	v -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 x5074 -x5075 -x5076 x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084
1799.95/1800.57	v -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102
1799.95/1800.57	v -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120
1799.95/1800.57	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137
1799.95/1800.57	v x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x5150 x5151 -x5152 -x5153 -x5154 -x5155
1799.95/1800.57	v -x5156 -x5157 x5158 -x5159 -x5160 x5161 x5162 -x5163 -x5164 -x5165 x5166 x5167 -x5168 x5169 x5170 -x5171 -x5172 -x5173
1799.95/1800.57	v -x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x5190 -x5191
1799.95/1800.57	v -x5192 x5193 -x5194 -x5195 x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 x5209
1799.95/1800.57	v x5210 -x5211 x5212 -x5213 x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 x5225 -x5226 x5227
1799.95/1800.57	v x5228 x5229 -x5230 x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245
1799.95/1800.57	v -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262
1799.95/1800.57	v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279
1799.95/1800.57	v -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 x5289 -x5290 -x5291 -x5292 x5293 -x5294 -x5295 -x5296 -x5297
1799.95/1800.57	v -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 -x5309 -x5310 -x5311 x5312 -x5313 -x5314 -x5315
1799.95/1800.57	v -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 x5329 x5330 -x5331 -x5332 -x5333
1799.95/1800.57	v x5334 x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351
1799.95/1800.57	v x5352 -x5353 x5354 -x5355 x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369
1799.95/1800.57	v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386
1799.95/1800.57	v -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403
1799.95/1800.57	v -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420
1799.95/1800.57	v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437
1799.95/1800.57	v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454
1799.95/1800.57	v -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 x5464 x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472
1799.95/1800.57	v -x5473 -x5474 -x5475 x5476 x5477 -x5478 -x5479 -x5480 -x5481 x5482 x5483 -x5484 x5485 x5486 x5487 -x5488 -x5489 -x5490
1799.95/1800.57	v -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508
1799.95/1800.57	v -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526
1799.95/1800.57	v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 x5540 -x5541 -x5542 -x5543 x5544
1799.95/1800.57	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 x5558 -x5559 -x5560 -x5561
1799.95/1800.57	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579
1799.95/1800.57	v -x5580 -x5581 x5582 -x5583 -x5584 x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 -x5592 x5593 x5594 -x5595 -x5596 -x5597
1799.95/1800.57	v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615
1799.95/1800.57	v -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 x5632 -x5633
1799.95/1800.57	v -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 x5650 -x5651
1799.95/1800.57	v -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 x5668 -x5669
1799.95/1800.57	v -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 x5681 -x5682 -x5683 -x5684 x5685 -x5686 x5687
1799.95/1800.57	v -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705
1799.95/1800.57	v -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 x5719 x5720 -x5721 -x5722 -x5723
1799.95/1800.57	v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741
1799.95/1800.57	v -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758
1799.95/1800.57	v -x5759 -x5760 -x5761 -x5762 x5763 x5764 -x5765 x5766 -x5767 -x5768 -x5769 -x5770 x5771 x5772 x5773 -x5774 -x5775 -x5776
1799.95/1800.57	v x5777 -x5778 -x5779 -x5780 x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 x5794
1799.95/1800.57	v x5795 -x5796 -x5797 -x5798 x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812
1799.95/1800.57	v x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 x5830
1799.95/1800.57	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 x5843 -x5844 x5845 -x5846 -x5847 -x5848
1799.95/1800.57	v -x5849 x5850 -x5851 -x5852 x5853 x5854 x5855 -x5856 -x5857 x5858 -x5859 -x5860 -x5861 x5862 x5863 x5864 x5865 -x5866 -x5867
1799.95/1800.57	v -x5868 -x5869 x5870 -x5871 -x5872 x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885
1799.95/1800.57	v -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 x5900 -x5901 -x5902 x5903
1799.95/1800.57	v -x5904 -x5905 x5906 -x5907 -x5908 -x5909 x5910 x5911 x5912 -x5913 -x5914 x5915 -x5916 x5917 -x5918 x5919 -x5920 -x5921
1799.95/1800.57	v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 x5936 -x5937 x5938 x5939
1799.95/1800.57	v -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956
1799.95/1800.57	v -x5957 x5958 -x5959 x5960 x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 x5969 -x5970 x5971 -x5972 -x5973 -x5974
1799.95/1800.57	v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 x5989 x5990 x5991 -x5992
1799.95/1800.57	v x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010
1799.95/1800.57	v -x6011 -x6012 x6013 -x6014 -x6015 -x6016 x6017 -x6018 x6019 -x6020 -x6021 -x6022 x6023 x6024 x6025 x6026 -x6027 -x6028
1799.95/1800.57	v -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045
1799.95/1800.57	v x6046 x6047 -x6048 -x6049 x6050 x6051 -x6052 -x6053 -x6054 -x6055 x6056 x6057 -x6058 x6059 -x6060 -x6061 x6062 -x6063 -x6064
1799.95/1800.57	v -x6065 -x6066 -x6067 -x6068 x6069 x6070 -x6071 x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 x6080 -x6081 x6082
1799.95/1800.57	v -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 x6096 -x6097 -x6098 -x6099 -x6100
1799.95/1800.57	v x6101 -x6102 -x6103 -x6104 -x6105 -x6106 x6107 -x6108 -x6109 -x6110 x6111 -x6112 -x6113 -x6114 -x6115 x6116 x6117 -x6118
1799.95/1800.57	v -x6119 -x6120 x6121 -x6122 x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136
1799.95/1800.57	v -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 x6145 -x6146 -x6147 x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154
1799.95/1800.57	v -x6155 x6156 -x6157 -x6158 -x6159 x6160 x6161 -x6162 x6163 x6164 x6165 -x6166 x6167 -x6168 -x6169 x6170 x6171 x6172 -x6173
1799.95/1800.57	v -x6174 x6175
1799.95/1800.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.57	c   29    27690    559    48721    15631  4808537   5740     15 1800.03
1799.95/1800.57	c Objective: 962
1799.95/1800.57	s SATISFIABLE
1799.95/1800.57	c Total time: 1800.03 s

Verifier Data (download as text)

OK	962

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-354609-1176720334 -o ROOT/results/node30/solver-354609-1176720334 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354609-1176720334/instance-354609-1176720334.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: 0.91 0.95 0.97 3/77 3439
/proc/meminfo: memFree=1929336/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=12788 CPUtime=0
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 119949051 13094912 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 3197 337 281 324 0 2003 0

[startup+0.081343 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3439
/proc/meminfo: memFree=1929336/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=6276 CPUtime=0.07
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 798 0 0 0 7 0 0 0 18 0 1 0 119949051 6426624 766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 1569 766 383 324 0 375 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6276

[startup+0.101343 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3439
/proc/meminfo: memFree=1929336/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=6548 CPUtime=0.09
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 119949051 6705152 864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 1637 864 409 324 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6548

[startup+0.301356 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3439
/proc/meminfo: memFree=1929336/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=8336 CPUtime=0.29
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 2013 0 0 0 27 2 0 0 19 0 1 0 119949051 8536064 1463 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 2084 1463 308 324 0 1153 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8336

[startup+0.70138 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3439
/proc/meminfo: memFree=1929336/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=9204 CPUtime=0.69
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 2913 0 0 0 65 4 0 0 23 0 1 0 119949051 9424896 1689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 2301 1689 333 324 0 1370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9204

[startup+1.50143 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 3440
/proc/meminfo: memFree=1923568/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=9988 CPUtime=1.49
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 60906 0 0 0 130 19 0 0 25 0 1 0 119949051 10227712 1828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 2497 1837 333 324 0 1566 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9988

[startup+3.10153 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 3440
/proc/meminfo: memFree=1922864/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=10888 CPUtime=3.09
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 240510 0 0 0 224 85 0 0 25 0 1 0 119949051 11149312 2014 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 2722 2020 333 324 0 1791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10888

[startup+6.30173 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 3440
/proc/meminfo: memFree=1922096/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=19044 CPUtime=6.3
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 376051 0 0 0 485 145 0 0 25 0 1 0 119949051 19501056 2882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135262904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 4761 2882 394 324 0 3830 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 19044

[startup+12.7011 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 3440
/proc/meminfo: memFree=1918448/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=21948 CPUtime=12.69
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 563454 0 0 0 1042 227 0 0 25 0 1 0 119949051 22474752 3083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306194 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 5487 3083 394 324 0 4556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21948

[startup+25.5019 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 3440
/proc/meminfo: memFree=1918960/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=19496 CPUtime=25.49
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 939194 0 0 0 2161 388 0 0 25 0 1 0 119949051 19963904 2885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 4874 2885 394 324 0 3943 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19496

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 3440
/proc/meminfo: memFree=1917872/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=18448 CPUtime=51.08
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 1705934 0 0 0 4381 727 0 0 25 0 1 0 119949051 18890752 2755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135259984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 4612 2760 394 324 0 3681 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18448

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 3440
/proc/meminfo: memFree=1918192/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=22704 CPUtime=102.27
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 3278253 0 0 0 8817 1410 0 0 25 0 1 0 119949051 23248896 3369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 5676 3369 394 324 0 4745 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22704

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1916720/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=14848 CPUtime=162.25
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 5128324 0 0 0 14012 2213 0 0 25 0 1 0 119949051 15204352 3090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135195221 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 3712 3090 394 324 0 2781 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14848

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1909936/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=28240 CPUtime=222.24
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 6938823 0 0 0 19224 3000 0 0 25 0 1 0 119949051 28917760 5120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 7060 5120 394 324 0 6129 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28240

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1902320/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=36756 CPUtime=282.22
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 8652598 0 0 0 24461 3761 0 0 25 0 1 0 119949051 37638144 7134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 9189 7134 394 324 0 8258 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 36756

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1879472/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=58676 CPUtime=342.21
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 10315552 0 0 0 29720 4501 0 0 25 0 1 0 119949051 60084224 13030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135262904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 14669 13033 394 324 0 13738 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 58676

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1863536/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=76244 CPUtime=402.19
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 11648415 0 0 0 35125 5094 0 0 25 0 1 0 119949051 78073856 16908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 19061 16909 394 324 0 18130 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 76244

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1847472/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=89672 CPUtime=462.18
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 13025556 0 0 0 40530 5688 0 0 25 0 1 0 119949051 91824128 20666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135261714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 22418 20666 394 324 0 21487 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 89672

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1825968/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=114072 CPUtime=522.17
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 14321334 0 0 0 45956 6261 0 0 25 0 1 0 119949051 116809728 26397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134688072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 28518 26397 394 324 0 27587 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 114072

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1823280/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=108768 CPUtime=582.15
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 14524891 0 0 0 51870 6345 0 0 25 0 1 0 119949051 111378432 26651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 27192 26651 394 324 0 26261 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 108768

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3440
/proc/meminfo: memFree=1823280/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=108768 CPUtime=642.14
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 14524891 0 0 0 57868 6346 0 0 25 0 1 0 119949051 111378432 26651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 27192 26651 394 324 0 26261 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 108768


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

/proc/meminfo: memFree=1804720/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=130984 CPUtime=1061.92
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 18551413 0 0 0 98023 8169 0 0 25 0 1 0 119949051 134127616 31139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135259988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32746 31139 394 324 0 31815 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 130984

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3638
/proc/meminfo: memFree=1804656/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=130500 CPUtime=1121.91
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 19541921 0 0 0 103562 8629 0 0 25 0 1 0 119949051 133632000 31027 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135256010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32625 31027 394 324 0 31694 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 130500

[startup+1182.3 s]
/proc/loadavg: 1.06 0.99 0.98 2/78 3638
/proc/meminfo: memFree=1804848/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=124716 CPUtime=1181.9
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 20526728 0 0 0 109110 9080 0 0 25 0 1 0 119949051 127709184 30638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 31179 30638 394 324 0 30248 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 124716

[startup+1242.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 3638
/proc/meminfo: memFree=1804656/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=133192 CPUtime=1241.88
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 21548591 0 0 0 114645 9543 0 0 25 0 1 0 119949051 136388608 31175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 33298 31175 394 324 0 32367 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 133192

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 3638
/proc/meminfo: memFree=1804784/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=131744 CPUtime=1301.87
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 22532052 0 0 0 120195 9992 0 0 25 0 1 0 119949051 134905856 31166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32936 31166 394 324 0 32005 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 131744

[startup+1362.3 s]
/proc/loadavg: 1.03 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1804720/2055920 swapFree=4157112/4192956
[pid=3439] ppid=3437 vsize=132628 CPUtime=1361.86
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 23540519 0 0 0 125727 10459 0 0 25 0 1 0 119949051 135811072 31057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32751 31012 405 324 0 31820 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 132628

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1804592/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=132608 CPUtime=1421.85
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 24551364 0 0 0 131258 10927 0 0 25 0 1 0 119949051 135790592 31051 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134802403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 33152 31051 394 324 0 32221 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 132608

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1805936/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=131272 CPUtime=1481.82
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 25133593 0 0 0 136978 11204 0 0 25 0 1 0 119949051 134422528 30851 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135334295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32818 30851 394 324 0 31887 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 131272

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=132412 CPUtime=1541.81
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 25512697 0 0 0 142786 11395 0 0 25 0 1 0 119949051 135589888 30773 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134688068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 33103 30773 394 324 0 32172 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 132412

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806384/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=131296 CPUtime=1601.8
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 25802675 0 0 0 148628 11552 0 0 25 0 1 0 119949051 134447104 30729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134802937 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32824 30729 394 324 0 31893 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 131296

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806256/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=124672 CPUtime=1661.78
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26147183 0 0 0 154439 11739 0 0 25 0 1 0 119949051 127664128 30627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134710141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 31168 30627 394 324 0 30237 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 124672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806192/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=124672 CPUtime=1721.77
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26507344 0 0 0 160250 11927 0 0 25 0 1 0 119949051 127664128 30627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 31168 30627 394 324 0 30237 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 124672

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806000/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=131612 CPUtime=1781.75
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26862815 0 0 0 166062 12113 0 0 25 0 1 0 119949051 134770688 30737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134802372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32903 30737 394 324 0 31972 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 131612

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=129420 CPUtime=1791.35
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26919193 0 0 0 166995 12140 0 0 25 0 1 0 119949051 132526080 30700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32355 30700 394 324 0 31424 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 129420

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1805936/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=131576 CPUtime=1794.56
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26938416 0 0 0 167305 12151 0 0 25 0 1 0 119949051 134733824 30737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134792585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32894 30737 394 324 0 31963 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 131576

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=129416 CPUtime=1797.75
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26957304 0 0 0 167616 12159 0 0 25 0 1 0 119949051 132521984 30698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32354 30698 394 324 0 31423 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 129416

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=129440 CPUtime=1799.35
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26966593 0 0 0 167770 12165 0 0 25 0 1 0 119949051 132546560 30700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135259902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 32360 30700 394 324 0 31429 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 129440

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=124668 CPUtime=1799.74
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26968816 0 0 0 167808 12166 0 0 25 0 1 0 119949051 127660032 30626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134784200 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 31167 30626 394 324 0 30236 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (KiB) 124668

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 3638
/proc/meminfo: memFree=1806128/2055920 swapFree=4157116/4192956
[pid=3439] ppid=3437 vsize=124668 CPUtime=1799.95
/proc/3439/stat : 3439 (bsolo3.0.16) R 3437 3439 3331 0 -1 4194304 26969964 0 0 0 167828 12167 0 0 25 0 1 0 119949051 127660032 30626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3439/statm: 31167 30626 394 324 0 30236 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 124668

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.06
CPU user time (s): 1678.36
CPU system time (s): 121.698
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 135128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1678.36
system time used= 121.698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26970434
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= 13
involuntary context switches= 38252

runsolver used 2.09168 second user time and 4.43333 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Apr 16 10:45:34 UTC 2007

IDJOB= 354609
IDBENCH= 2845
IDSOLVER= 163
FILE ID= node30/354609-1176720334

PBS_JOBID= 4559470

Free space on /tmp= 66528 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354609-1176720334/instance-354609-1176720334.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-354609-1176720334 -o ROOT/results/node30/solver-354609-1176720334 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354609-1176720334/instance-354609-1176720334.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  41d95962f9f821e00bc6bf0e503d69d6

RANDOM SEED= 941231536

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1929744 kB
Buffers:         15048 kB
Cached:          53476 kB
SwapCached:      15048 kB
Active:          60096 kB
Inactive:        31144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1929744 kB
SwapTotal:     4192956 kB
SwapFree:      4157112 kB
Dirty:            5456 kB
Writeback:           0 kB
Mapped:          29548 kB
Slab:            20472 kB
Committed_AS:  2761080 kB
PageTables:       1776 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= 66528 MiB

End job on node30 on Mon Apr 16 11:15:34 UTC 2007