Trace number 3711353

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0.6-R5325MSAT (TO) 1800.03 1800.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark2.01369
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Calling clasp with: --restart-on-model --opt-heu=2 --sat-p=20,25,120,-1,2 --heu=Berkmin --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=20000,1.1 --reverse-arcs=2
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...180325/instance-3711353-1338180325.wbo
0.00/0.00	c Solving...
0.00/0.01	o 2117
0.00/0.01	o 2114
0.00/0.02	o 2100
0.00/0.03	o 2092
0.00/0.05	o 2071
0.00/0.07	o 2057
0.00/0.12	o 2049
0.00/0.18	o 2029
0.00/0.28	o 2015
0.00/0.42	o 1992
0.00/0.66	o 1974
1.00/1.03	o 1971
1.59/1.63	o 1957
2.49/2.55	o 1934
3.99/4.05	o 1921
6.29/6.39	o 1920
9.99/10.04	o 1907
15.88/15.91	o 1886
25.18/25.25	o 1872
39.58/39.69	o 1850
61.97/62.02	o 1847
96.68/96.71	o 1833
150.86/150.93	o 1813
236.36/236.46	o 1799
363.13/363.21	o 1795
566.70/566.81	o 1776
879.45/879.65	o 1762
1384.08/1384.31	o 1742
1800.02/1800.30	
1800.02/1800.30	*** INTERRUPTED! ***
1800.02/1800.30	c Answer: 28
1800.02/1800.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
1800.02/1800.30	v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
1800.02/1800.30	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
1800.02/1800.30	v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61
1800.02/1800.30	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.02/1800.30	v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1800.02/1800.30	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105
1800.02/1800.30	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.02/1800.30	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.02/1800.30	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1800.02/1800.30	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153
1800.02/1800.30	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.02/1800.30	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.02/1800.30	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.02/1800.30	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201
1800.02/1800.30	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.02/1800.30	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.02/1800.30	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
1800.02/1800.30	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.02/1800.30	v x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
1800.02/1800.30	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.02/1800.30	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
1800.02/1800.30	v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.02/1800.30	v -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
1800.02/1800.30	v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.02/1800.30	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.02/1800.30	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
1800.02/1800.30	v -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.02/1800.30	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
1800.02/1800.30	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.02/1800.30	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1800.02/1800.30	v -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405
1800.02/1800.30	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.02/1800.30	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429
1800.02/1800.30	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.02/1800.30	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453
1800.02/1800.30	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.02/1800.30	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.02/1800.30	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1800.02/1800.30	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.02/1800.30	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
1800.02/1800.30	v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.02/1800.30	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
1800.02/1800.30	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1800.02/1800.30	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561
1800.02/1800.30	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.02/1800.30	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.02/1800.30	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1800.02/1800.30	v -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.02/1800.30	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621
1800.02/1800.30	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1800.02/1800.30	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.02/1800.30	v -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.02/1800.30	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.02/1800.30	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
1800.02/1800.30	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.02/1800.30	v -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705
1800.02/1800.30	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1800.02/1800.30	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729
1800.02/1800.30	v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
1800.02/1800.30	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753
1800.02/1800.30	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
1800.02/1800.30	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.02/1800.30	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1800.02/1800.30	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
1800.02/1800.30	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.02/1800.30	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1800.02/1800.30	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1800.02/1800.30	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1800.02/1800.30	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.02/1800.30	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873
1800.02/1800.30	v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1800.02/1800.30	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.02/1800.30	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909
1800.02/1800.30	v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.02/1800.30	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.02/1800.30	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.02/1800.30	v -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957
1800.02/1800.30	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.02/1800.30	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
1800.02/1800.30	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1800.02/1800.30	v -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.02/1800.30	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016
1800.02/1800.30	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1800.02/1800.30	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.02/1800.30	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1800.02/1800.30	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.02/1800.30	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
1800.02/1800.30	v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
1800.02/1800.30	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.02/1800.30	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104
1800.02/1800.30	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.02/1800.30	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.02/1800.30	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1800.02/1800.30	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1800.02/1800.30	v x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.02/1800.30	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
1800.02/1800.30	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.02/1800.30	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.02/1800.30	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203
1800.02/1800.30	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.02/1800.30	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1800.02/1800.30	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.02/1800.30	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.02/1800.30	v -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
1800.02/1800.30	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.02/1800.30	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.02/1800.30	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1800.02/1800.30	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302
1800.02/1800.30	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.02/1800.30	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324
1800.02/1800.30	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.02/1800.30	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.02/1800.30	v -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357
1800.02/1800.30	v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
1800.02/1800.30	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.02/1800.30	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1800.02/1800.30	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401
1800.02/1800.30	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412
1800.02/1800.30	v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.02/1800.30	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1800.02/1800.30	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
1800.02/1800.30	v -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
1800.02/1800.30	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1800.02/1800.30	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
1800.02/1800.30	v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
1800.02/1800.30	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500
1800.02/1800.30	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511
1800.02/1800.30	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1800.02/1800.30	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.02/1800.30	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1800.02/1800.30	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
1800.02/1800.30	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.02/1800.30	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
1800.02/1800.30	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1800.02/1800.30	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599
1800.02/1800.30	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1800.02/1800.30	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1800.02/1800.30	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632
1800.02/1800.30	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1800.02/1800.30	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.02/1800.30	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.02/1800.30	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1800.02/1800.30	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.02/1800.30	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
1800.02/1800.30	v x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1800.02/1800.30	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1800.02/1800.30	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
1800.02/1800.30	v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
1800.02/1800.30	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753
1800.02/1800.30	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
1800.02/1800.30	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.02/1800.30	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1800.02/1800.30	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1800.02/1800.30	v -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1800.02/1800.30	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1800.02/1800.30	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
1800.02/1800.30	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
1800.02/1800.30	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852
1800.02/1800.30	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.02/1800.30	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.02/1800.30	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
1800.02/1800.30	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1800.02/1800.30	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1800.02/1800.30	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
1800.02/1800.30	v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1800.02/1800.30	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.02/1800.30	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951
1800.02/1800.30	v -x1952 -x1953 -x1954 -x1955 x1956 -x1957 x1958 x1959 -x1960 x1961 x1962
1800.02/1800.30	v x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973
1800.02/1800.30	v -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984
1800.02/1800.30	v x1985 x1986 x1987 -x1988 x1989 x1990 x1991 -x1992 -x1993 -x1994 x1995 -x1996
1800.02/1800.30	v -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1800.02/1800.30	v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018
1800.02/1800.30	v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1800.02/1800.30	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1800.02/1800.30	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1800.02/1800.30	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062
1800.02/1800.30	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073
1800.02/1800.30	v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.02/1800.30	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.02/1800.30	v -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1800.02/1800.30	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117
1800.02/1800.30	v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.02/1800.30	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1800.02/1800.30	v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150
1800.02/1800.30	v -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 x2158 x2159 -x2160 x2161
1800.02/1800.30	v x2162 x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 x2171 -x2172
1800.02/1800.30	v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183
1800.02/1800.30	v -x2184 x2185 x2186 x2187 -x2188 x2189 x2190 x2191 -x2192 -x2193 -x2194
1800.02/1800.30	v x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205
1800.02/1800.30	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1800.02/1800.30	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227
1800.02/1800.30	v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1800.02/1800.30	v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1800.02/1800.30	v x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1800.02/1800.30	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.02/1800.30	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
1800.02/1800.30	v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293
1800.02/1800.30	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304
1800.02/1800.30	v -x2305 x2306 -x2307 x2308 x2309 -x2310 x2311 x2312 x2313 x2314 -x2315 -x2316
1800.02/1800.30	v -x2317 x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327
1800.02/1800.30	v -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 -x2338
1800.02/1800.30	v x2339 x2340 x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 x2349
1800.02/1800.30	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 x2358 x2359 -x2360
1800.02/1800.30	v x2361 x2362 x2363 x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 x2371
1800.02/1800.30	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382
1800.02/1800.30	v -x2383 -x2384 x2385 x2386 x2387 -x2388 x2389 x2390 x2391 -x2392 -x2393
1800.02/1800.30	v -x2394 x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1800.02/1800.30	v -x2405 x2406 -x2407 x2408 x2409 -x2410 x2411 x2412 x2413 x2414 -x2415 -x2416
1800.02/1800.30	v -x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1800.02/1800.30	v -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 x2436 x2437 -x2438
1800.02/1800.30	v x2439 x2440 x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449
1800.02/1800.30	v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1800.02/1800.30	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471
1800.02/1800.30	v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482
1800.02/1800.30	v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493
1800.02/1800.30	v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504
1800.02/1800.30	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515
1800.02/1800.30	v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.02/1800.30	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.02/1800.30	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
1800.02/1800.30	v -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 x2558 x2559
1800.02/1800.30	v -x2560 x2561 x2562 x2563 x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570
1800.02/1800.30	v x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581
1800.02/1800.30	v -x2582 -x2583 -x2584 x2585 x2586 x2587 -x2588 x2589 x2590 x2591 -x2592
1800.02/1800.30	v -x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603
1800.02/1800.30	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614
1800.02/1800.30	v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1800.02/1800.30	v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1800.02/1800.30	v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.02/1800.30	v -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 x2658
1800.02/1800.30	v x2659 -x2660 x2661 x2662 x2663 x2664 -x2665 -x2666 x2667 x2668 -x2669 -x2670
1800.02/1800.30	v x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681
1800.02/1800.30	v -x2682 -x2683 -x2684 x2685 x2686 x2687 -x2688 x2689 x2690 x2691 -x2692
1800.02/1800.30	v -x2693 -x2694 x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703
1800.02/1800.30	v -x2704 -x2705 x2706 -x2707 x2708 x2709 -x2710 x2711 x2712 x2713 x2714 -x2715
1800.02/1800.30	v -x2716 -x2717 x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1800.02/1800.30	v -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 x2736 x2737
1800.02/1800.30	v -x2738 x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748
1800.02/1800.30	v x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.02/1800.30	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1800.02/1800.30	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.02/1800.30	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.02/1800.30	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803
1800.02/1800.30	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814
1800.02/1800.30	v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1800.02/1800.30	v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1800.02/1800.30	v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847
1800.02/1800.30	v -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1800.02/1800.30	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
1800.02/1800.30	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1800.02/1800.30	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891
1800.02/1800.30	v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902
1800.02/1800.30	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913
1800.02/1800.30	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924
1800.02/1800.30	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1800.02/1800.30	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1800.02/1800.30	v -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957
1800.02/1800.30	v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.02/1800.30	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979
1800.02/1800.30	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1800.02/1800.30	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001
1800.02/1800.30	v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012
1800.02/1800.30	v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023
1800.02/1800.30	v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034
1800.02/1800.30	v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.02/1800.30	v -x3046 -x3047 -x3048 -x3049 x3050 x3051 x3052 x3053 x3054 x3055 x3056 x3057
1800.02/1800.30	v x3058 x3059 x3060 x3061 x3062 x3063 x3064 x3065 x3066 -x3067 x3068 x3069
1800.02/1800.30	v x3070 x3071 x3072 -x3073 -x3074 x3075 x3076 x3077 x3078 x3079 x3080 x3081
1800.02/1800.30	v x3082 x3083 x3084 x3085 x3086 x3087 x3088 x3089 x3090 x3091 x3092 x3093
1800.02/1800.30	v x3094 x3095 x3096 x3097 x3098 x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105
1800.02/1800.30	v x3106 -x3107 x3108 x3109 -x3110 x3111 x3112 x3113 x3114 -x3115 -x3116 -x3117
1800.02/1800.30	v x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128
1800.02/1800.30	v x3129 -x3130 -x3131 -x3132 -x3133 -x3134 x3135 x3136 x3137 -x3138 x3139
1800.02/1800.30	v x3140 x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 x3149 -x3150
1800.02/1800.30	v -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 x3159 -x3160 x3161
1800.02/1800.30	v x3162 x3163 x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 x3171 -x3172
1800.02/1800.30	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183
1800.02/1800.30	v -x3184 x3185 x3186 x3187 -x3188 x3189 x3190 x3191 -x3192 -x3193 -x3194
1800.02/1800.30	v x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205
1800.02/1800.30	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1800.02/1800.30	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227
1800.02/1800.30	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
1800.02/1800.30	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
1800.02/1800.30	v x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 x3258 x3259 -x3260
1800.02/1800.30	v x3261 x3262 x3263 x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 x3271
1800.02/1800.30	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282
1800.02/1800.30	v -x3283 -x3284 x3285 x3286 x3287 -x3288 x3289 x3290 x3291 -x3292 -x3293
1800.02/1800.30	v -x3294 x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304
1800.02/1800.30	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315
1800.02/1800.30	v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1800.02/1800.30	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1800.02/1800.30	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348
1800.02/1800.30	v -x3349 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
1800.02/1800.30	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1800.02/1800.30	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
1800.02/1800.30	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392
1800.02/1800.30	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403
1800.02/1800.30	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414
1800.02/1800.30	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1800.02/1800.30	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1800.02/1800.30	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447
1800.02/1800.30	v -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
1800.02/1800.30	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469
1800.02/1800.30	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.02/1800.30	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
1800.02/1800.30	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 -x3502
1800.02/1800.30	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513
1800.02/1800.30	v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1800.02/1800.30	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1800.02/1800.30	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
1800.02/1800.30	v -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557
1800.02/1800.30	v x3558 x3559 -x3560 x3561 x3562 x3563 x3564 -x3565 -x3566 -x3567 x3568 -x3569
1800.02/1800.30	v -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580
1800.02/1800.30	v -x3581 -x3582 -x3583 -x3584 x3585 x3586 x3587 -x3588 x3589 x3590 x3591
1800.02/1800.30	v -x3592 -x3593 -x3594 x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602
1800.02/1800.30	v -x3603 -x3604 -x3605 x3606 -x3607 x3608 x3609 -x3610 x3611 x3612 x3613
1800.02/1800.30	v x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624
1800.02/1800.30	v -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635
1800.02/1800.30	v x3636 x3637 -x3638 x3639 x3640 x3641 -x3642 -x3643 -x3644 x3645 -x3646
1800.02/1800.30	v -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.02/1800.30	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668
1800.02/1800.30	v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
1800.02/1800.30	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1800.02/1800.30	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701
1800.02/1800.30	v -x3702 -x3703 -x3704 -x3705 x3706 -x3707 x3708 x3709 -x3710 x3711 x3712
1800.02/1800.30	v x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 x3721 -x3722 -x3723
1800.02/1800.30	v -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734
1800.02/1800.30	v x3735 x3736 x3737 -x3738 x3739 x3740 x3741 -x3742 -x3743 -x3744 x3745 -x3746
1800.02/1800.30	v -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757
1800.02/1800.30	v x3758 x3759 -x3760 x3761 x3762 x3763 x3764 -x3765 -x3766 -x3767 x3768 -x3769
1800.02/1800.30	v -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780
1800.02/1800.30	v -x3781 -x3782 -x3783 -x3784 x3785 x3786 x3787 -x3788 x3789 x3790 x3791
1800.02/1800.30	v -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 x3799 -x3800 -x3801 -x3802
1800.02/1800.30	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813
1800.02/1800.30	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824
1800.02/1800.30	v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835
1800.02/1800.30	v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1800.02/1800.30	v -x3847 -x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
1800.02/1800.30	v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868
1800.02/1800.30	v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1800.02/1800.30	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
1800.02/1800.30	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901
1800.02/1800.30	v -x3902 -x3903 -x3904 -x3905 x3906 -x3907 x3908 x3909 -x3910 x3911 -x3912
1800.02/1800.30	v x3913 x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 x3921 -x3922 -x3923
1800.02/1800.30	v -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934
1800.02/1800.30	v x3935 x3936 x3937 -x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 x3945 -x3946
1800.02/1800.30	v -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957
1800.02/1800.30	v x3958 x3959 -x3960 x3961 x3962 x3963 x3964 -x3965 -x3966 -x3967 x3968 -x3969
1800.02/1800.30	v -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980
1800.02/1800.30	v -x3981 -x3982 -x3983 -x3984 x3985 x3986 x3987 -x3988 x3989 x3990 x3991
1800.02/1800.30	v -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002
1800.02/1800.30	v -x4003 -x4004 -x4005 x4006 -x4007 x4008 x4009 -x4010 x4011 x4012 x4013
1800.02/1800.30	v x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024
1800.02/1800.30	v -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035
1800.02/1800.30	v x4036 x4037 -x4038 x4039 x4040 x4041 -x4042 -x4043 -x4044 x4045 -x4046
1800.02/1800.30	v -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057
1800.02/1800.30	v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.02/1800.30	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079
1800.02/1800.30	v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
1800.02/1800.30	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101
1800.02/1800.30	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112
1800.02/1800.30	v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
1800.02/1800.30	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134
1800.02/1800.30	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1800.02/1800.30	v -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.02/1800.30	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1800.02/1800.30	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178
1800.02/1800.30	v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189
1800.02/1800.30	v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200
1800.02/1800.30	v -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 x4208 x4209 -x4210 x4211
1800.02/1800.30	v x4212 x4213 x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220 x4221 -x4222
1800.02/1800.30	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233
1800.02/1800.30	v -x4234 x4235 x4236 x4237 -x4238 x4239 x4240 x4241 -x4242 -x4243 -x4244
1800.02/1800.30	v x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255
1800.02/1800.30	v x4256 -x4257 x4258 x4259 -x4260 x4261 x4262 x4263 x4264 -x4265 -x4266 -x4267
1800.02/1800.30	v x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278
1800.02/1800.30	v x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 x4286 x4287 -x4288 x4289
1800.02/1800.30	v x4290 x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 x4299 -x4300
1800.02/1800.30	v -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 x4308 x4309 -x4310 x4311
1800.02/1800.30	v x4312 x4313 x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 x4321 -x4322
1800.02/1800.30	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333
1800.02/1800.30	v -x4334 x4335 x4336 x4337 -x4338 x4339 x4340 x4341 -x4342 -x4343 -x4344
1800.02/1800.30	v x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.02/1800.30	v x4356 -x4357 x4358 x4359 -x4360 x4361 x4362 x4363 x4364 -x4365 -x4366 -x4367
1800.02/1800.30	v x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378
1800.02/1800.30	v x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 x4386 x4387 -x4388 x4389
1800.02/1800.30	v x4390 x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 x4399 -x4400
1800.02/1800.30	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411
1800.02/1800.30	v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422
1800.02/1800.30	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433
1800.02/1800.30	v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444
1800.02/1800.30	v -x4445 -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455
1800.02/1800.30	v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466
1800.02/1800.30	v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477
1800.02/1800.30	v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488
1800.02/1800.30	v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1800.02/1800.30	v x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 x4508 x4509 -x4510
1800.02/1800.30	v x4511 x4512 x4513 x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 x4521
1800.02/1800.30	v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 -x4530 -x4531 -x4532
1800.02/1800.30	v -x4533 -x4534 x4535 x4536 x4537 -x4538 x4539 x4540 x4541 -x4542 -x4543
1800.02/1800.30	v -x4544 x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4554
1800.02/1800.30	v -x4555 x4556 -x4557 x4558 x4559 -x4560 x4561 x4562 x4563 x4564 -x4565 -x4566
1800.02/1800.30	v -x4567 x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577
1800.02/1800.30	v -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 x4586 x4587 -x4588
1800.02/1800.30	v x4589 x4590 x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 x4599
1800.02/1800.30	v -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 x4608 x4609 -x4610
1800.02/1800.30	v x4611 x4612 x4613 x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 x4621
1800.02/1800.30	v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632
1800.02/1800.30	v -x4633 -x4634 x4635 x4636 x4637 -x4638 x4639 x4640 x4641 -x4642 -x4643
1800.02/1800.30	v -x4644 x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654
1800.02/1800.30	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
1800.02/1800.30	v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
1800.02/1800.30	v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687
1800.02/1800.30	v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698
1800.02/1800.30	v -x4699 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 x4708 x4709
1800.02/1800.30	v -x4710 x4711 x4712 x4713 x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720
1800.02/1800.30	v x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731
1800.02/1800.30	v -x4732 -x4733 -x4734 x4735 x4736 x4737 -x4738 x4739 x4740 x4741 -x4742
1800.02/1800.30	v -x4743 -x4744 x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753
1800.02/1800.30	v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764
1800.02/1800.30	v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775
1800.02/1800.30	v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786
1800.02/1800.30	v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.02/1800.30	v -x4798 -x4799 x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 x4808
1800.02/1800.30	v x4809 -x4810 x4811 x4812 x4813 x4814 -x4815 -x4816 -x4817 x4818 -x4819
1800.02/1800.30	v -x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830
1800.02/1800.30	v -x4831 -x4832 -x4833 -x4834 x4835 x4836 x4837 -x4838 x4839 x4840 x4841
1800.02/1800.30	v -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 -x4852
1800.02/1800.30	v -x4853 -x4854 -x4855 x4856 -x4857 x4858 x4859 -x4860 x4861 x4862 x4863
1800.02/1800.30	v x4864 -x4865 -x4866 -x4867 x4868 -x4869 -x4870 x4871 -x4872 -x4873 -x4874
1800.02/1800.30	v -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 x4885
1800.02/1800.30	v x4886 x4887 -x4888 x4889 x4890 x4891 -x4892 -x4893 -x4894 x4895 -x4896
1800.02/1800.30	v -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907
1800.02/1800.30	v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918
1800.02/1800.30	v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929
1800.02/1800.30	v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
1800.02/1800.30	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 x4950 -x4951
1800.02/1800.30	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962
1800.02/1800.30	v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973
1800.02/1800.30	v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
1800.02/1800.30	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995
1800.02/1800.30	v -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006
1800.02/1800.30	v -x5007 x5008 x5009 -x5010 x5011 x5012 x5013 x5014 -x5015 -x5016 -x5017
1800.02/1800.30	v x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028
1800.02/1800.30	v x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 x5036 x5037 -x5038 x5039
1800.02/1800.30	v x5040 x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 x5049 -x5050
1800.02/1800.30	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061
1800.02/1800.30	v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072
1800.02/1800.30	v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083
1800.02/1800.30	v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094
1800.02/1800.30	v -x5095 -x5096 -x5097 -x5098 -x5099 x5100
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	
1800.02/1800.30	c INTERRUPTED   : 1
1800.02/1800.30	c Models        : 1+    
1800.02/1800.30	c   Enumerated  : 28
1800.02/1800.30	c   Optimum     : unknown
1800.02/1800.30	c Optimization  : 1742
1800.02/1800.30	c Time          : 1800.304s (Solving: 1800.30s 1st Model: 0.01s Unsat: 0.00s)
1800.02/1800.30	c CPU Time      : 1800.020s

Verifier Data 

OK	1742

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711353-1338180325/watcher-3711353-1338180325 -o /tmp/evaluation-result-3711353-1338180325/solver-3711353-1338180325 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711353-1338180325.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 27572
/proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0

[startup+0.0255639 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 27572
/proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 27572
/proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300296 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 27572
/proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 27572
/proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29861344/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=9212 CPUtime=1.49 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2154 0 0 0 149 0 0 0 20 0 1 0 284157271 9433088 1987 33554432000 4194304 6212839 140737477521632 140737477519784 4676484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 2303 1987 242 493 0 1808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18364

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29859236/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=10268 CPUtime=3.09 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2404 0 0 0 309 0 0 0 20 0 1 0 284157271 10514432 2237 33554432000 4194304 6212839 140737477521632 140737477519640 4685406 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 2567 2237 242 493 0 2072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19420

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29857268/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=11456 CPUtime=6.29 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2712 0 0 0 629 0 0 0 20 0 1 0 284157271 11730944 2545 33554432000 4194304 6212839 140737477521632 140737477519640 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 2864 2545 242 493 0 2369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20608

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29853836/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=13460 CPUtime=12.69 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 3228 0 0 0 1269 0 0 0 20 0 1 0 284157271 13783040 3061 33554432000 4194304 6212839 140737477521632 140737477519640 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 3365 3061 242 493 0 2870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22612

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29852008/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=15492 CPUtime=25.48 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 3726 0 0 0 2548 0 0 0 20 0 1 0 284157271 15863808 3555 33554432000 4194304 6212839 140737477521632 140737477519640 4298183 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 3873 3555 242 493 0 3378 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24644

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29848908/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=17472 CPUtime=51.07 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 4224 0 0 0 5107 0 0 0 20 0 1 0 284157271 17891328 4053 33554432000 4194304 6212839 140737477521632 140737477519640 4676463 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 4368 4053 242 493 0 3873 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26624

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27620
/proc/meminfo: memFree=29844368/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=20772 CPUtime=102.28 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 5045 0 0 0 10227 1 0 0 20 0 1 0 284157271 21270528 4876 33554432000 4194304 6212839 140737477521632 140737477519640 4298171 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 5193 4876 242 493 0 4698 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29924

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27620
/proc/meminfo: memFree=29838736/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=24028 CPUtime=162.26 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 5872 0 0 0 16225 1 0 0 20 0 1 0 284157271 24604672 5702 33554432000 4194304 6212839 140737477521632 140737477519640 4334941 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 6007 5702 242 493 0 5512 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 33180

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27620
/proc/meminfo: memFree=29836748/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=25288 CPUtime=222.25 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 6304 0 0 0 22224 1 0 0 20 0 1 0 284157271 25894912 6022 33554432000 4194304 6212839 140737477521632 140737477519928 4298186 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 6322 6022 242 493 0 5827 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34440

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 27623
/proc/meminfo: memFree=29834296/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=27664 CPUtime=282.24 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 6868 0 0 0 28223 1 0 0 20 0 1 0 284157271 28327936 6587 33554432000 4194304 6212839 140737477521632 140737477519640 4674907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 6916 6587 242 493 0 6421 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 36816

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 27623
/proc/meminfo: memFree=29832288/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=28584 CPUtime=342.23 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 7469 0 0 0 34222 1 0 0 20 0 1 0 284157271 29270016 6849 33554432000 4194304 6212839 140737477521632 140737477519928 4298169 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 7146 6849 242 493 0 6651 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37736

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27624
/proc/meminfo: memFree=29830852/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=43468 CPUtime=1122.12 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12560 0 0 0 112209 3 0 0 20 0 1 0 284157271 44511232 10570 33554432000 4194304 6212839 140737477521632 140737477519928 4705182 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 10867 10570 242 493 0 10372 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 52620

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27652
/proc/meminfo: memFree=29813784/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=43468 CPUtime=1182.11 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12738 0 0 0 118208 3 0 0 20 0 1 0 284157271 44511232 10570 33554432000 4194304 6212839 140737477521632 140737477519928 4674569 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 10867 10570 242 493 0 10372 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 52620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27652
/proc/meminfo: memFree=29813040/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=44000 CPUtime=1242.1 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12867 0 0 0 124207 3 0 0 20 0 1 0 284157271 45056000 10699 33554432000 4194304 6212839 140737477521632 140737477519640 4334733 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 11000 10699 242 493 0 10505 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 53152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27653
/proc/meminfo: memFree=29812420/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=43976 CPUtime=1302.1 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12943 0 0 0 130207 3 0 0 20 0 1 0 284157271 45031424 10697 33554432000 4194304 6212839 140737477521632 140737477519928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 10994 10697 242 493 0 10499 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 53128

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27653
/proc/meminfo: memFree=29812232/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=44240 CPUtime=1362.08 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12989 0 0 0 136205 3 0 0 20 0 1 0 284157271 45301760 10742 33554432000 4194304 6212839 140737477521632 140737477519640 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 11060 10742 242 493 0 10565 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 53392

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27653
/proc/meminfo: memFree=29808696/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=47752 CPUtime=1422.07 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 13832 0 0 0 142204 3 0 0 20 0 1 0 284157271 48898048 11601 33554432000 4194304 6212839 140737477521632 140737477519640 4685809 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 11938 11601 242 493 0 11443 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 56904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 27656
/proc/meminfo: memFree=29807680/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=47828 CPUtime=1482.06 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14037 0 0 0 148203 3 0 0 20 0 1 0 284157271 48975872 11640 33554432000 4194304 6212839 140737477521632 140737477519928 4705179 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 11957 11640 242 493 0 11462 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 56980

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27656
/proc/meminfo: memFree=29806460/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50020 CPUtime=1542.05 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 154202 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4745310 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12505 12157 242 493 0 12010 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 59172

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29806336/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50020 CPUtime=1602.04 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 160201 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4333831 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12505 12157 242 493 0 12010 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 59172

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29806212/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50020 CPUtime=1662.03 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 166200 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4745255 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12505 12157 242 493 0 12010 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 59172

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29804600/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50020 CPUtime=1722.02 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14550 0 0 0 172199 3 0 0 20 0 1 0 284157271 51220480 12171 33554432000 4194304 6212839 140737477521632 140737477519800 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12505 12171 242 493 0 12010 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 59172

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29803420/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50216 CPUtime=1782.01 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 178198 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12554 12257 242 493 0 12059 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 59368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29803480/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50216 CPUtime=1800.02 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 179999 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4335232 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12554 12257 242 493 0 12059 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 59368

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27657
/proc/meminfo: memFree=29803480/32873844 swapFree=7372/7372
[pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27572/statm: 2288 273 232 213 0 73 0
[pid=27573] ppid=27572 vsize=50216 CPUtime=1800.02 cores=0,2,4,6
/proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 179999 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4335232 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 12554 12257 242 493 0 12059 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 59368

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.99
CPU system time (s): 0.038994
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 59568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.038994
maximum resident set size= 49108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15028
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= 28
involuntary context switches= 1923

runsolver used 3.15052 second user time and 7.84581 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 06:45:25
IDJOB=3711353
IDBENCH=78664
IDSOLVER=2290
FILE ID=node133/3711353-1338180325
RUNJOBID= node133-1338178524-27452
PBS_JOBID= 14624565
Free space on /tmp= 71728 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp-wbo.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711353-1338180325/watcher-3711353-1338180325 -o /tmp/evaluation-result-3711353-1338180325/solver-3711353-1338180325 -C 1800 -W 1900 -M 15500  HOME/clasp-wbo.sh HOME/instance-3711353-1338180325.wbo

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=590290303

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29872616 kB
Buffers:          368272 kB
Cached:          1794976 kB
SwapCached:          104 kB
Active:           630492 kB
Inactive:        1543988 kB
Active(anon):       2420 kB
Inactive(anon):    11368 kB
Active(file):     628072 kB
Inactive(file):  1532620 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              2476 kB
Writeback:             0 kB
AnonPages:         18464 kB
Mapped:            14000 kB
Shmem:               212 kB
Slab:             686832 kB
SReclaimable:     128668 kB
SUnreclaim:       558164 kB
KernelStack:        1480 kB
PageTables:         3868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node133 at 2012-05-28 07:15:25